The Connes–van Suijlekom truncated Weil quadratic form, indexed by a cutoff parameter c that controls the primes p ≤ c entering the operator, produces a ground state whose Fourier–Mellin zeros provably lie on the critical line; whether they converge to the Riemann zeros as c → ∞ is open (Connes 2026; Connes–Consani–Moscovici 2025). We present, to our knowledge, the first independent public implementation of the Connes–van Suijlekom Galerkin matrix at sixteen cutoffs (c = 13 through 67, plus c = 100). Across the in-sample window c = 13 through c = 67 at N = 100, the first-zero absolute error |γ1 − γ1Riemann| shrinks monotonically from ∼2×10−55 to ∼1.5×10−168, a 113-OOM convergence across fifteen cutoffs. The smallest-positive even-sector eigenvalue λmineven separately reaches ∼10−334 at c = 100, N = 250 (275-OOM span from c = 13). Out-of-sample test at c = 100. On the four-point N-sweep N ∈ {100, 150, 200, 250} at dps = 500, consecutive first-difference ratios 0.837 and 0.836 match to two decimal places. Aitken-Δ2 on the two overlapping triples yields log10|λ∞even| ≈ −536.8 and ≈ −533.7, approaching the Connes 2026 §6.4 heuristic prediction (≈ −530.4) monotonically with N (6.4 and 3.3 OOM gaps out of |x∞| ∼ 530). The same eigenvector recovers γ1, …, γ10 to 307–329 matching digits at N = 250, dps = 500. Under the unitary equivalence with Connes–Consani–Moscovici Lemma 5.1, this is the deepest such Galerkin-truncation recovery in the public Connes–van Suijlekom / Connes–Consani–Moscovici literature, subject to a hypothesis-status caveat. The raw finite-N matrix carries a small block of negative-sign eigenvalues at the finite archimedean cutoff T = 800; these are an artifact of that cutoff and are absent once T is increased, so the smallest-positive even-sector eigenvalue is the genuine smallest one (continuum positivity of QWλ is RH-equivalent and is not assumed at λ = √100). The fit |log10 λmin| ≈ 13.24 c0.634 on c ≤ 67 at N = 100 is shown to be a finite-N rate, falsified at c = 100, N = 200 by 49 OOM in the direction of faster decay. Structural observations include approximate eigenvector c-invariance (overlap ≥ 0.9498 on all 105 cutoff pairs despite eigenvalues differing by 113 OOM), multi-zero convergence universality (all ten detectable zeros within 3.8% of each other), an empirical Galerkin-convergence exponent s(c) ≈ 55 log c − 128, un-rescaled Galerkin bulk-spectrum Poisson statistics (β < 0.05; this is a structural diagnostic of the truncated operator, not a test of Montgomery's conjecture, which applies to locally-rescaled zero spacings), and tight bulk invariants log|det Qc| ≈ −65.6 c + 542 (R2 = 0.997). We make no claim of proof; the contribution is reproducible numerical data and its careful interpretation under the existing CvS / CCM framework. All code, data, and ancillary files are publicly available. Version 3.3 (2026-06-26) correction. The negative-sign eigenvalue blocks reported at c = 100 and for L(s, χ3) at c = 23, 29 are a finite archimedean-cutoff (T) artifact, not a feature of the operator: they are stable in working precision but vanish once T is increased, so cutoff-free the relevant even sectors are non-negative and the smallest-positive branch is the genuine smallest eigenvalue. No quantitative result changes. See ERRATA.md and the paper's note added in revision. The cutoff sensitivity was independently identified by B. W. A. Silva, consistent with the naturally even, positive ground state reported by R. Andrews; the investigation was prompted by A. Connes.
Sungmin Lee, Kichang Lee, Gyeongmin Han, JeongGil Ko
Many location-based services rely on a point-in-polygon test ( PiP ), checking whether a point or a trajectory lies inside a geographic zone. Since geometric operations are expensive in zero-knowledge proofs, privately performing the PiP test is challenging. In this paper, we answer the research questions of how different ways of encoding zones affect accuracy and proof cost by exploiting grid-based lookup tables under a fixed STARK execution model. Beyond a Boolean grid-based baseline that marks cells as in- or outside, we explore a distance-aware encoding approach that stores how far each cell is from a zone boundary and uses interpolation to reason within a cell. % Our experiments on real-world data demonstrate that the proposed distance-aware approach achieves higher accuracy on coarse grids with only a moderate verification overhead, making zone encoding the key lever for efficient zero-knowledge spatial checks. Our experiments on real-world data demonstrate that the proposed distance-aware approach achieves higher accuracy on coarse grids (max. % 60%p 60%p accuracy gain) with only a moderate verification overhead (approximately 1.4×), making zone encoding the key lever for efficient zero-knowledge spatial checks.
We consider two-dimensional zero-temperature systems of $N$ particles to which we associate an energy of the form $$ \mathcal{E}[V](X):=\sum_{1\le i<j\le N}V(|X(i)-X(j)|), $$ where $X(j)\in\mathbb R^2$ represents the position of the particle $j$ and $V(r)\in\mathbb R$ is the {pairwise interaction} energy potential of two particles placed at distance $r$. We show that under suitable assumptions on the single-well potential $V$, the ground state energy per particle converges to an explicit constant $\bar{\mathcal E}_{\mathrm{sq}}[V]$ which is the same as the energy per particle in the square lattice infinite configuration. We thus have $$ N{\bar{\mathcal E}_{\mathrm{sq}}[V]}\le \min_{X:\{1,\ldots,N\}\to\mathbb R^2}\mathcal E[V](X)\le N{\bar{\mathcal E}_{\mathrm{sq}}[V]}+O(N^{\frac 1 2}). $$ Moreover $\bar{\mathcal E}_{\mathrm{sq}}[V]$ is also re-expressed as the minimizer of a four point energy. In particular, this happen{s} if the potential $V$ is such that $V(r)=+\infty$ for $r<1$, $V(r)=-1$ for $r\in [1,\sqrt{2}]$, $V(r)=0$ if $r>\sqrt{2}$, in which case ${\bar{\mathcal E}_{\mathrm{sq}}[V]}=-4$. To the best of our knowledge, this is the first proof of crystallization to the square lattice for a two-body interaction energy.