🔢 mathematics

A Numerical Realization of Suzuki's Weil-Quadratic-Form Operator: The Archimedean Spectral Law, its Universality, and an Operator Form of Weil's Positivity Criterion

This paper presents the first numerical realization of Suzuki's theoretical Weil-Quadratic-Form operator using finite-element discretization, confirming an Archimedean spectral law and demonstrating how Weil's positivity criterion manifests as bounded residual growth while explicitly showing that nontrivial zeros appear in error terms rather than as eigenvalues.

Original authors: Taebong Kim, Youngsik Hong, Minsik Kim, Sunyoung Choi, Jaewon Jang, Junghoon Shin, Minseo Kim

Published 2026-07-29

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Taebong Kim, Youngsik Hong, Minsik Kim, Sunyoung Choi, Jaewon Jang, Junghoon Shin, Minseo Kim

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Great Number Hunt: A Map to the Invisible

Imagine the universe of numbers as a vast, chaotic ocean. Most numbers are easy to understand, but there is a special group called "prime numbers" (like 2, 3, 5, 7) that act as the building blocks for everything else. For over 160 years, mathematicians have been trying to find a hidden pattern in how these primes are spaced out. They suspect the pattern is governed by a mysterious mathematical object called the Riemann zeta function, which has "zeros" (points where the function hits zero) scattered in a specific strip of the complex number plane. The famous Riemann Hypothesis is the bet that all these zeros line up perfectly on a single, straight vertical line. If they do, the primes follow a predictable rhythm; if they don't, the rhythm breaks, and much of modern cryptography and number theory would fall apart.

To solve this, some scientists have tried a different approach called the Hilbert–Pólya program. Instead of looking at the numbers directly, they ask: "Is there a physical machine, or a mathematical operator, whose 'vibrations' (eigenvalues) match the positions of these zeros?" If such a machine exists and is built correctly, the fact that it is a "real" machine would mathematically force the zeros to line up perfectly. Recently, a mathematician named M. Suzuki built the theoretical blueprints for such a machine, but he left it as a drawing on paper—no one had ever actually built it or turned it on. This paper is the story of the first team to take those blueprints, build the machine on a computer, and see what happens when they run it.

Building the Machine and Listening to the Hum

The team from VIDRAFT AI Research took Suzuki's theoretical operator and realized it on a computer using a method called finite-element discretization. Think of this as taking a smooth, continuous curve and chopping it into thousands of tiny, Lego-like blocks to measure it. They didn't just build it; they ran it under different conditions to see how it behaved.

The "Prime-Free" Zone: A Universal Ladder
First, they tested the machine in a "prime-free" window, a setting where the influence of prime numbers is turned off. In this quiet zone, they discovered something beautiful and universal. The machine's vibrations (its spectrum) didn't look random; they formed a perfect, rigid ladder. The height of each rung followed a simple, closed-form formula:
$\lambda_k(a) = \log(1/a) + \log(k - 1/2) + B_0$
Here, $B_0$ is a constant that depends only on the "conductor" (a specific property of the number system being tested) and not on other messy details. They calculated this constant to 30 digits of precision. This finding suggests that the "background hum" of this mathematical machine is a universal law that applies to a whole family of number systems, not just the primes. It's like finding that every piano in the world, when played without the keys, hums at the exact same frequency.

The Zeros Are Not the Notes
One of the most surprising discoveries was where the "zeros" actually live. Many people hoped that the zeros of the Riemann zeta function would be the exact notes (eigenvalues) the machine played. The team proved this is not the case. The machine's notes are actually that rigid, predictable ladder mentioned above. Instead, the mysterious zeros hide in the "error term"—the tiny, subtle deviation between the machine's prime signal and the expected average. It's as if the zeros aren't the main melody, but rather the specific, tiny imperfections in the sound that only appear when you listen very closely to the background noise.

The Machine Tracks the Target
The team also watched how the machine behaved as they turned up the "volume" (increasing the parameter $a$ ). They found that the machine's prime signal seemed to be "aiming" for the critical line where the zeros are supposed to be. As they increased the size of the simulation, the best match for the signal moved closer and closer to the target line ( $\sigma = 1/2$ ). However, they also found a hard limit: to get within 0.01 of the target, they would need to simulate roughly $10^{36}$ primes, which is computationally impossible. The machine is definitely pointing in the right direction, but it can't quite reach the finish line with current technology.

The "Blow-Up" Test
Perhaps the most dramatic test involved Weil's Positivity Criterion. The team asked: "What happens if we cheat?" They artificially injected a "fake" zero that was not on the critical line. The result was immediate and explosive. The machine's residual error didn't just wiggle; it grew exponentially, blowing up like a balloon being over-inflated. This confirmed that the machine is a sensitive detector: if the zeros are on the line, the machine stays calm and bounded; if even one zero is off-line, the machine screams with exponential growth. This is a numerical realization of a classical mathematical rule, showing the machine works exactly as the theory predicted.

What This Means (and What It Doesn't)
The authors are very clear about what they have achieved. They have not proved the Riemann Hypothesis. They have not found a new way to solve the problem. Instead, they have built the first working model of Suzuki's theoretical machine. They have shown that:

The machine's background noise follows a universal, closed-form law.
The zeros are hidden in the signal's error term, not in the main notes.
The machine correctly detects "fake" zeros by exploding in size.
The machine aims for the critical line but hits a computational wall before reaching it.

They describe this work as "experimental mathematics"—a faithful, numerical realization of a classical idea. They have taken a theoretical object that existed only on paper and turned it into a digital object they can poke, prod, and measure. While they haven't climbed the summit of the Riemann Hypothesis, they have built a very detailed map of the mountain's base camp, showing exactly where the path leads and where the cliffs are too steep to climb.

Technical Summary: A Numerical Realization of Suzuki's Weil-Quadratic-Form Operator

Problem Statement
The Riemann Hypothesis (RH) remains an open problem despite over 160 years of effort. The Hilbert–Pólya program posits that the nontrivial zeros of the Riemann zeta function correspond to the eigenvalues of a self-adjoint operator. In June 2026, M. Suzuki provided a purely theoretical construction of such an operator, realizing Weil's explicit-formula quadratic form via the theory of screw functions and de Branges spaces. Suzuki's operator is self-adjoint, and its positivity is equivalent to RH. However, Suzuki's work contained no numerical computations, leaving the spectrum abstract and the constant $\mu_1$ (the lowest normalized eigenvalue) undetermined. This study addresses the gap between Suzuki's theoretical framework and numerical reality by instantiating the operator on a computer to investigate its spectral properties, universality, and structural relationship to the explicit formula.

Methodology
The authors discretize the Weil quadratic form $Q_W^a(v)$ on the interval $(-a, a)$ using P1 finite-element methods with continuous piecewise-linear ("hat") basis functions.

Discretization: The bilinear form is converted into a generalized eigenproblem $Q\mathbf{v} = \lambda M\mathbf{v}$ , where $Q$ is the stiffness matrix derived from the screw kernel $g(x-y)$ and $M$ is the standard mass matrix.
Precision and Extrapolation: To handle the non-analytic nature of the screw kernel (specifically the $t \log t$ term) and achieve high precision, the authors employ three-point Richardson extrapolation on mesh sizes $N = 2000, 4000, 8000$ .
Regimes: The study operates in two distinct regimes:
1. Prime-free regime ( $2a < \log 2$ ): Here, the operator is purely Archimedean (gamma-factor driven), allowing for the derivation of universal laws without prime interference.
2. Prime-active regime ( $a \ge 3$ ): Here, the operator incorporates the von Mangoldt function, allowing the study of the explicit formula and Weil's positivity criterion.
Validation: Every numerical result is cross-verified against analytic controls, including shuffled surrogates, fake-zero injections, and direct high-precision evaluations (mpmath) to avoid artifacts like spline extrapolation errors.

Key Contributions and Results

First Numerical Spectrum and Closed-Form Law (R1):
The study provides the first computed spectrum of Suzuki's operator. In the prime-free window, the eigenvalues obey a derived closed-form Archimedean law:
$\lambda_k(a) = \log(1/a) + \log(k - 1/2) + B_0 + O(a)$
where $B_0 = \log q - 2\log 2$ . This law is confirmed to 30-digit precision. The authors provide the first numerical value for Suzuki's abstract constant: the lowest normalized eigenvalue $\mu_1 \approx 0.2347$ .
Universality and the Selberg Class (R2, R2b):
The Archimedean law is proven to be universal across the Selberg class. The spectral offset $B_0$ depends only on the conductor $q$ and is independent of the Archimedean parameter $\nu$ (the shift in the gamma factor). Furthermore, the degree $d$ of an $L$ -function appears directly as the logarithmic slope of the spectrum ( $\mu_k \sim d \log(k-1/2)$ ), making the degree a spectral observable.
Spectral Strength and the Prime Number Theorem (R3):
The total spectral intensity $S(a)$ of the prime channels is shown to converge to $(2a)^3/6$ , linking the operator's strength directly to the Prime Number Theorem (PNT).
Localization of Zeros (R4):
A critical structural finding is that the nontrivial zeros are not the eigenvalues of the operator. Instead, the eigenvalues form a rigid "picket-fence" ladder (deterministic spacing). The zeros reside in the error term of the prime symbol (the explicit formula). The prime perturbation acts diagonally on the Archimedean basis, merely rescaling the ladder, while the zero information appears as a sub-2.4% residue in the symbol. Consequently, direct GUE (Gaussian Unitary Ensemble) statistics are structurally blocked in the finite- $a$ spectrum.
Descent to the Critical Line (R5):
The operator's prime symbol, when matched against $-\zeta'/\zeta$ , best aligns on a line $\sigma^*(a)$ that descends toward the critical line $\Re(s) = 1/2$ as $a$ increases. The descent follows a power law $\sigma^*(a) - 1/2 \sim a^{-1.38}$ . However, the authors note that reaching within 0.01 of the critical line requires computationally impossible prime counts ( $a \approx 42$ ).
Operator Form of Weil's Positivity Criterion (R6):
The authors realize Weil's criterion in operator form. They demonstrate that if all zeros lie on the critical line, the operator's residual growth is bounded and $a$ -independent (plateauing at $\approx 1.72$ ). Conversely, injecting a single off-line zero causes the residual to grow exponentially ( $e^{2a\delta}$ ). This confirms the "easy" direction of Weil's criterion (on-line $\implies$ bounded) and shows the operator's sensitivity to violations.
Superexponential Decay of the Lowest Eigenvalue (R7):
The lowest eigenvalue $\lambda_1(a)$ is strictly positive for all tested $a$ and decays superexponentially. It passes smoothly through the first prime threshold ( $a = \log 2 / 2$ ), confirming Suzuki's theoretical continuity results.
Characteristic Function and Zero Statistics (R8, R9):
The characteristic function $W(a, \theta; z)$ is computed for the first time, confirming its zeros are real. While direct GUE observation is blocked, traces of zero statistics appear in the moment structure of the prime perturbation, exhibiting a sign structure analogous to RKKY interactions in condensed matter physics.

Significance and Claims
The authors explicitly state that this work does not prove the Riemann Hypothesis, nor does it advance toward a proof.

Modesty of Claims: The results are described as "experimental mathematics." The Archimedean laws (R1–R3) are universal and apply to all $L$ -functions, saying nothing specific about the zeta function's zeros. The structural findings (R4–R6) are numerical realizations of classical identities (the explicit formula and Weil's criterion).
Primary Value: The value of the work lies in the faithful numerical realization of Suzuki's theoretical operator. It provides the first concrete data on the operator's spectrum, derives a universal Archimedean law, and precisely localizes where the zero information resides (in the symbol, not the eigenvalues).
Limitations: The paper acknowledges that the "hard" direction of Weil's criterion (boundedness $\implies$ on-line zeros) remains unproven and is equivalent to RH. It also notes that the closed-form law is asymptotic ( $k \gtrsim 6$ ) and that direct spectral detection of GUE statistics is structurally impossible at finite $a$ .

In summary, the paper successfully instantiates a theoretical operator, revealing a universal spectral structure and confirming that the operator faithfully encodes the explicit formula, while rigorously delineating the boundaries of what can be deduced about RH from this specific numerical approach.

The Great Number Hunt: A Map to the Invisible

Building the Machine and Listening to the Hum

Technical Summary: A Numerical Realization of Suzuki's Weil-Quadratic-Form Operator

More like this