The Wild Tails

I. What has actually been settled

It is worth being exact about the state of the evidence, because the argument that follows depends on the evidence being strong rather than weak.

Rigorous computational verification places the low-lying non-trivial zeros on the line where the real part equals one half, and reaches heights on the order of three trillion. Beyond the verified range, large sampled blocks at far greater height have been checked and conform. Unconditionally — that is, without assuming the hypothesis — a positive proportion of all zeros is known to lie on the critical line, and the proportion established has been pushed above two thirds in the asymptotic sense. Every zero is known to lie inside the critical strip, and the functional equation forces them into a symmetry about the line whether or not they sit on it.

This is not thin. It is one of the most heavily confirmed patterns in the history of mathematics. And it settles nothing about the tail.

II. Why the verified part cannot vouch for the tail

A verified zero is a located point. The hypothesis is a statement about every point, including the ones nobody will ever compute. Between those two there is no bridge made of counting. This is not a shortage of machine time; it is a category difference. A list of confirmed instances is a record of what was looked at. The theorem would be a statement about what could not have been otherwise.

The density makes the gap worse rather than better. The number of zeros up to a given height grows faster than the height itself — the spacing between consecutive zeros shrinks as one climbs. So the farther out one goes, the more zeros there are per unit of height, each of them as unconstrained by the verified region as the first one was. The verified portion is not a large fraction of the whole approaching completion. It is a fixed, finite initial segment of an object whose local population keeps increasing without bound. The fraction checked is zero, and stays zero, no matter how far the computation runs.

Mathematics has already been embarrassed on exactly this point. Numerical patterns in analytic number theory have held for astronomically long ranges and then failed — the first counterexample arriving at a height no computation would ever have reached. The discipline knows that regularity, however vast, is not proof. What it has not yet produced is the thing that would make regularity unnecessary.

Established

Verification of the low zeros on the critical line to heights on the order of three trillion; a positive proportion — above two thirds asymptotically — proven on the line unconditionally; the functional equation and the resulting symmetry of the zeros about the line. These are standard results, independent of anything argued here.

Established

Zero counting: the number of zeros below a given height grows faster than linearly in that height, so mean spacing decreases without limit as height increases.

Argument

That no quantity of verified zeros constitutes partial progress toward the theorem, because the verified set is a finite initial segment of an object with unbounded local density, and the fraction checked remains zero.

III. Placeholder, precisely

I use the word placeholder in a narrow sense, and it is worth separating it from two things it could be mistaken for.

It does not mean the zeros are fictions, or that the numerical work is suspect, or that the computations were a waste. It does not mean the zeros are unimportant: almost everything known about the distribution of primes, about the size of the error in the prime number theorem, about the pair correlation of the zeros that so uncannily resembles the spectrum of a random matrix, is already encoded in the zeros as we have them. The zeros do enormous work.

A placeholder is an entry that occupies the position a reason should occupy. Each verified zero says: here is one more location consistent with the hypothesis. None of them says: here is why a location off the line is unavailable. The list grows; the reason does not appear in it. You can extend a placeholder indefinitely and never convert it into what it stands in for. That is what makes the tail wild — not that it is expected to misbehave, but that nothing so far compels it to behave.

IV. The wonderful and the wild

Two things are true at once, and both should be held.

The wonderful part is the stubbornness of the regularity. Trillions of zeros, no exception, and a statistical structure so specific that it matches the eigenvalue spacings of a class of random matrices from physics — a correspondence nobody designed and nobody has fully explained. When something is that regular for that long, it is reasonable to suspect a reason exists.

The wild part is the ones we have not seen. They are the same objects, subject to the same functional equation, occupying the same strip, and they remain the part that has not been forced to sit still. There is no principle in the confirmed region that reaches them. They are not rebellious. They are simply not yet bound.

V. The figure and the passport

This is the shape I hold everywhere else in this archive, and it lands here without modification. The figure is seen first; the equation is the passport that lets it travel. A passport confirms an identity already possessed. It does not create one, and a drawer full of passports is not a population.

The zeros are where the wave structure of the primes interferes with itself. What the computations have produced is an extraordinarily detailed record of the interference pattern. What no one has produced is the geometry of the wave that makes that pattern the only pattern available. Tabulating fringes is not the same as knowing the aperture. Three trillion confirmations of a pattern are not one glimpse of the reason.

Which is why I do not read the hypothesis as a question about the location of points at all, and why I have said elsewhere that it is not unsolvable, but unsolvable as written. As written it asks: where do the zeros lie? The question that could be answered is a different one: what is the structure for which the critical line is the only place a zero can sit? Answer the second and the first collapses into a corollary. Chase the first and one accumulates placeholders.

Working hypothesis

The productive reformulation is structural rather than positional: identify the object whose geometry admits zeros only on the line, and the location statement follows. The positional question is a shadow of the structural one.

Speculation

That the relevant structure is the wave organization I have described elsewhere — a substrate whose interference pattern the zeros mark, in the way fringes mark an aperture — and that the critical line is the spine along which open and material regions are resolved.

Out of scope

No claim that any argument here constitutes progress on the Riemann Hypothesis, no claim about the truth or falsity of the hypothesis, and no claim that the physical reading has been shown to correspond to the analytic object.

Falsifier

If a proof arrives that is genuinely positional — a bound or a counting argument that closes the statement as written, without passing through a structural characterization — then the reframing offered here is rhetoric rather than diagnosis and should be dropped.

Falsifier

If a single zero is found off the critical line, the wonderful half of this monograph is finished and the wild half was the whole story.

VI. What follows for anyone chasing zeros

Nothing in this argues against the computation. The verified zeros are the ground on which the statistical intuitions were built, and without them nobody would have noticed the random-matrix resemblance that is currently the most suggestive lead in the whole subject. Extending the record is honest work and it produces real objects.

What it does not do is close distance. Adding agents, machines, or years multiplies the search speed and leaves the search space untouched. The measurable progress is measurable precisely because it is the wrong quantity. That is the uncomfortable structure of the problem and it is the reason to say plainly, without discouraging anyone, that the effort and the proof are not on the same axis.