Zeta function & prime distribution — flashcards

An entire function of controlled growth is determined by its zeros up to an exponential factor. This — completeness of the zero set plus a growth bound — is what licenses Euler's product for sine, not the fact that the zeros happen to be evenly spaced.

ζ(2) = π²/6, obtained by reading the second coefficient of the sine product as an elementary symmetric function of the reciprocal zeros. The inference runs from coefficients to statistics of the roots, not the other way round.

The sum of a function over a lattice equals the sum of its Fourier transform over the dual lattice. It is the bridge back from harmonic analysis to the Bernoulli and zeta material, and the reason the functional equation of ζ looks like a symmetry rather than a coincidence.

The zeta function of a variety over a finite field is a rational function — the first of the Weil conjectures, and proved by p-adic analysis rather than by the geometry the conjectures were about.

The Circular Unitary Ensemble (CUE — Haar-random N×N unitary matrices, eigenvalues on the unit circle, joint density ∝ ∏_{j<k}|e^{iθⱼ}−e^{iθₖ}|²) is not an analogy for the deterministic evenly-spaced-points construction used elsewhere on this map (st/wallis-product-three-routes, st/chord-rational-classification) — it is that construction's finite-temperature (β=2) Coulomb-gas generalization, with the deterministic case as its zero-temperature limit. The correspondence to zeta zeros is two separate claims of different strength, chained together: zeta zeros ↔ GUE (the 'GUE hypothesis' — conjectural, though Montgomery proved a restricted form of it, with Odlyzko's numerical verification near height 10^20 as its evidential support) and GUE ↔ CUE (a proven theorem: both converge to the same bulk-scaling-limit determinantal sine-kernel process). The original arc-vs-chord question this resolves: the CUE correlation kernel's denominator, sin((θ−φ)/2), is literally the Chord function already used throughout the Wallis-video material; the GUE-on-a-line kernel is the sine kernel sin(πx)/(πx); the two coincide in the bulk limit because chord and arc agree to leading order as the angular window shrinks — curvature is a finite-N correction, not a persistent distinction. The Keating–Snaith conjecture (moments of |ζ(1/2+it)| match moments of |det(I−U)| for Haar-random U(N)) is the natural next question once the kernels are known to match.

Combining the functional equation ξ(s)=ξ(1−s) with the Schwarz reflection ζ(s̄)=ζ(s)‾ shows every nontrivial zero ρ comes with three siblings: {ρ, 1−ρ, ρ̄, 1−ρ̄}. The critical line Re(s)=1/2 is exactly the fixed-point locus of the involution s↦1−s combined with reflection — so the Riemann Hypothesis is precisely the statement that this quartet always collapses to a pair (ρ=1−ρ̄, i.e. Re(ρ)=1/2), rather than remaining four genuinely distinct points. The Riemann–Siegel Z function was verified in the source conversation to flag a genuine sign change bracketing the first zero, giving a concrete, checkable instance of the general symmetry structure.

For CUE, the maximum of the log-characteristic polynomial obeys max_θ log|P_N(θ)| = log N − (3/4)log log N + O(1) — proved (Arguin–Belius–Harper) — with the −(3/4)log log N correction term the precise signature distinguishing a log-correlated field's extremes from an independent (REM-type) field's, and the whole result an instance of branching Brownian motion universality. The analogous statement for max|ζ(1/2+it)| over a bounded range is conjectured, not proved, by the same mechanism.

Katz–Sarnak's theorem for curves over finite fields shows Frobenius eigenvalues — a genuine, proven arithmetic object — converge to classical compact-group statistics, the strongest available non-numerical evidence for the zeta–random-matrix correspondence. Its scope is explicitly bounded: there is no known analogue of Frobenius or étale cohomology over ℤ, so the theorem cannot be strengthened into evidence for the Riemann Hypothesis itself, only for the shape the correspondence takes in a genuinely provable adjacent setting. The logical endpoint of pushing the whole analogy is the Hilbert–Pólya conjecture: the search for a self-adjoint operator whose spectrum is literally the zeros. The CFKRS conjecture — an exact splitting of zeta's moment-asymptotics into a universal random-matrix factor times an arithmetic Euler-product factor — is the structural tool proposed for locating the correspondence's boundary without further numerical computation, though the arithmetic factor itself was named in the source conversation, not computed or explored there.

st/dwork-rationality establishes the zeta function of a variety over a finite field is rational (the first Weil conjecture); the second Weil conjecture (the 'Riemann Hypothesis for curves') states its zeros satisfy |α|=√q. Both were made concrete rather than merely cited: a genus-2 hyperelliptic curve over F_11 was built, its point counts over F_11 and F_121 fed through Newton's identities (st/newton-identities) to obtain the Frobenius characteristic polynomial exactly, and its roots verified to satisfy |α|=√q to eight decimal places. This was then scaled into an actual statistical family — 101 curves at q=11, then 861 at q=31 using a vectorized finite-field-arithmetic implementation — pooling Frobenius angles and tracking the emergence of symplectic-ensemble (USp(4)) endpoint repulsion as q grows, the predicted structure for this family type.

Analytically continuing the Keating–Snaith formula to complex moment-order β reveals a genuine pole at β=−1/2 — an exact divergence of the formula itself, not merely an asymptotic artifact — traced to the elementary local level-repulsion exponent governing near-coincidence of eigenvalues; confirmed via the argument principle, a small contour around β=−1/2 in the complex moment-order plane having winding number exactly −1. Purely imaginary β=iτ computes something structurally different: the characteristic function of log|det(I−U)|, verified by direct Monte Carlo, with the complete absence of phase-transition behavior on that axis (boundedness by 1 at every τ tested, smooth decay with N) following directly from the fact that a characteristic function of a real random variable cannot diverge.

The reciprocal-square identity π²/sin²(πx) = ∑_{n=−∞}^{∞} 1/(x−n)², obtained by Wästlund's lighthouse argument: equal-brightness sources at every integer, brightness ∝ 1/distance², a circle-doubling construction using the inverse-Pythagorean identity 1/a²+1/b²=1/h² at a right angle, iterated to infinity. x = 1/2 gives ∑ 1/(n−1/2)² = π², which is 8 times the sum of reciprocal squares over the positive odd integers, so that sum is π²/8; since ζ(2) = (odd sum) + ¼ζ(2), this forces ζ(2) = π²/6 — Euler's destination, reached by an elementary route with no complex analysis.

Log-differentiating Euler's sine product sin(πx) = πx·∏(1−x²/n²) once gives the cotangent partial-fraction expansion π cot(πx) = ∑ 1/(x−n); differentiating again gives π²/sin²(πx) = ∑ 1/(x−n)² — exactly the lighthouse formula (st/lighthouse-reciprocal-square). Wallis' product is instead the x=1/2 evaluation of the original, undifferentiated product. So the lighthouse/Basel identity and Wallis' product are two different operations — differentiate twice, versus evaluate at 1/2 — performed on the same underlying product, not two independent facts that happen to coincide.

The Wallis product 2/1·2/3·4/3·4/5·⋯ = π/2 has at least three independent derivations that manage error differently, not three restatements of one argument. (1) Analytic: it is the x=1/2 evaluation of Euler's undifferentiated sine product sin(πx) = πx·∏(1−x²/n²) (st/basel-wallis-same-product) — a substitution into an already-established product, with no limiting process of its own beyond the product's own convergence. (2) Geometric/algebraic: N evenly-spaced points on a circle as the roots of x^N−1, giving two exact finite-N lemmas (observer halfway between two points: distance product = 2; observer replacing one point: distance product = N) whose ratio N·(distance)/2 is an *exact* invariant at every finite N — a single limit, taken once at the very end as N→∞, converts that invariant into π/2 via chord-length-to-arc-length convergence. (3) Classical calculus: Wallis's own route via the reduction formula ∫₀^(π/2) sin^n θ dθ, giving the asymptotic (2n)!!/(2n−1)!! ∼ √(πn) — which stacks two separate approximations (a pointwise limit inside the reduction, and an asymptotic equivalence) that must cancel jointly, rather than carrying one exact quantity to a single final limit. Routes (2) and (3) both pass through the same trigonometric object — a quarter-circle arc — entered through different doors: chord geometry directly, versus a sine substitution turning an algebraic integral into an arc-length integral.

Karl Weierstrass, then Jacques Hadamard, 1876 (Weierstrass), 1893 (Hadamard).

Leonhard Euler, 1735.

Siméon Denis Poisson, 1823.

Bernard Dwork, 1960.

Johan Wästlund, 2010 (Wästlund's paper); popularized 2018 by 3Blue1Brown.

Pair correlation of the zeta zeros ↔ eigenvalue statistics of large random Hermitian matrices. Numerically overwhelming, still conjectural.

Recorded as conjectural: expected, not proved.

REFUTED at the level asked. Checked against Maynard's actual definition of an admissible tuple, and the objects are not the same. A real connection was found one level up instead — at the level of technique (moment methods), not of the objects themselves. The surface-level naming match was the wrong place to look.

Recorded as refuted: this edge was drawn and then withdrawn.

The Riemann zeta function encodes the primes analytically; its zeros control their distribution.