Operational Success Stories

Why precedent is worth consulting

Chapter 42 itemised the reasons to keep looking for an operator whose spectrum is the Riemann zeros. Chapter 43 priced the discovery in commitments we would have to release. Both chapters were written in the conditional. This one is not. Four times in the modern record, a spectrum was known or strongly suspected before anyone could write down the operator behind it, and each time the operator eventually arrived. The record does not tell us whether the Riemann operator exists. It tells us what tends to happen when such an object is found.

Read the cases as case law rather than as encouragement. Precedent constrains expectation; it does not supply evidence about the case at hand.

One: the function-field Riemann Hypothesis

Over finite fields, the analogue of the Riemann Hypothesis is a theorem. Weil proved it for curves; Deligne proved the general case. The proof works by showing that the zeros are literally eigenvalues of the Frobenius endomorphism acting on étale cohomology. A spectral interpretation that had been conjectural became fact.

What the neighbourhood gave up: the clean separation between arithmetic and geometry. Number theory absorbed a large part of algebraic geometry's machinery, and the traffic ran both directions. New cabinets had to be built for objects that belonged to neither discipline as previously drawn.

This is the one place where the Hilbert-Pólya intuition is fully vindicated. It is vindicated in a different arithmetic universe, and no transfer to the integers is known. That caveat is the whole reason Chapter 42 listed this entry as convergence rather than as progress.

Two: Selberg's trace formula and the Laplacian

The Selberg zeta function of a hyperbolic surface has zeros and poles corresponding exactly to eigenvalues of the Laplace-Beltrami operator on that surface. A formal resemblance to the explicit formula for the Riemann zeros became a precise dictionary: primes correspond to closed geodesics, zeros to eigenvalues.

The unusual feature of this case is that the operator was already known. The Laplacian is the least exotic object in differential geometry. The surprise was that so ordinary an operator generates a spectrum with an arithmetic-looking distribution. Spectral geometry acquired an arithmetic flavour, and the trace-formula style of argument spread well beyond its origin.

What the neighbourhood gave up: the assumption that arithmetic-looking regularity requires an arithmetic source. Sometimes the geometry alone produces it.

Three: quantum mechanics itself

Empirical atomic spectra existed for decades before anyone wrote down the operators. Balmer fitted his series in 1885; Lyman, Paschen and others extended the catalogue. Schrödinger and Heisenberg supplied the self-adjoint Hamiltonians whose eigenvalues those spectral lines are. This is the archetype of the situation: precise numbers first, mechanism later.

What the neighbourhood gave up: a great deal. The planetary-orbit picture — the Bohr proxy Chapter 41 retired — had to go. Determinism at the fundamental level was released. Probability amplitudes, non-commuting observables, and the measurement problem entered the permanent furniture of physics and have not left. Several thoughts held inviolate did not survive the arrival of the operator that explained the numbers.

It is worth being exact about the chronology, because the moral depends on it. The operators did not merely reproduce the spectra; they reproduced them from a formalism nobody would have accepted on aesthetic grounds beforehand.

Four: Wigner and the nuclear spectra

Heavy nuclei showed statistical level-repulsion patterns long before there was a theory of them. Wigner recognised that the statistics matched the eigenvalues of large random Hermitian matrices — not one operator, but an entire ensemble. Random-matrix theory followed, and with it the concept of universality.

What the neighbourhood gave up: the expectation that explanation means naming the specific operator. Sometimes the detailed Hamiltonian is inaccessible and less important than its symmetry class. A whole class of operators became a respectable answer.

This case cuts both ways for the Riemann problem. It legitimises the Montgomery-Dyson observation as real physics-style knowledge. It also demonstrates precisely the ceiling Chapter 42 insisted on: symmetry class fixes statistics and never identifies the member.

The pattern

In every genuine success the spectrum was known or strongly suspected first, and the operator was constructed later. Each time, a cherished separation had to be relaxed or redrawn: arithmetic from geometry, classical from quantum, specific from universal. And each time the world did not end. It acquired new permanent furniture and lost a few comfortable illusions.

The pattern is suggestive and it is not an argument. Four cases where the operator was eventually found is a sample selected by the fact that the operator was eventually found. The cases where a suspected spectral structure never resolved into an operator do not get written up, which means this chapter's evidence base is survivorship-shaped by construction.

Still on the lam

For the Riemann zeros over the integers, none of these successes has been repeated. Candidates appear regularly. None has met the four discharge conditions set out in Chapter 42: self-adjointness on a specified Hilbert space, the correct spectrum with correct multiplicities, the correct counting asymptotics, and a trace formula that returns the explicit formula.

The operator remains honest in every fingerprint and unpaid on the ledger, and it still carries the price listed in Chapter 43. The neighbourhood is intact for now. The historical record only says that when these operators finally do arrive, the neighbourhood rarely stays the same.

Which is a reason to read the four cases as warnings rather than as promises. Each success was a good outcome for knowledge and an uncomfortable one for whoever had built a settled position on the ground that shifted.