Why Symmetry Alone Is Not Enough

An explicit witness carrying every reflection symmetry, and roots off the line

Companion note · interactive

Everyone who meets the Riemann hypothesis for the first time has the same idea: the completed function \(\xi\) satisfies \(\xi(s)=\xi(1-s)\) and \(\xi(\bar s)=\overline{\xi(s)}\), so its zeros are symmetric about the critical line — why does that not put them on it? The answer is a single polynomial, and you can watch it fail. The route's exact stopping point is worth understanding precisely: it measures what the resolution in The Mirror Calculus supplies, and pays for openly, beyond what any symmetry supplies.

The witness

Take a complex number \(a\) and form

\[ F(s)=\Bigl((s-\tfrac12)^2-a^2\Bigr)\Bigl((s-\tfrac12)^2-\bar a^{\,2}\Bigr). \]

Its four roots are \(s=\tfrac12\pm a\) and \(s=\tfrac12\pm\bar a\) — a quartet carried by the same Klein four-group that acts on the zeros of \(\xi\). And whatever \(a\) you choose, both symmetries hold identically:

\[ F(1-s)=F(s), \qquad F(\bar s)=\overline{F(s)}. \]

Move \(a\) below. The two checks are recomputed at a presented point each time; the roots are plotted where they fall.

\(F(1-s)=F(s)\)
\(F(\bar s)=\overline{F(s)}\)
every root on \(\operatorname{Re}s=\tfrac12\)
Theorem (Symmetry No-Go).

Reflection symmetry by itself stops short of the axis property. With \(a=\tfrac3{10}+7i\) the function \(F\) satisfies \(F(1-s)=F(s)\) and \(F(\bar s)=\overline{F(s)}\), and \(F\) has a root at \(\tfrac45+7i\), whose real part is \(4/5\). A proof specific to \(\zeta\) therefore carries arithmetic or analytic content beyond what this witness shares.

What the witness rules out, and what the architecture supplies

It rules out an entire family of proofs: any argument deriving the axis property from the functional equation, from conjugate symmetry, from the Klein four-group, or from any combination of these alone. Such an argument would apply verbatim to \(F\), and \(F\) refutes its conclusion.

That is a statement about what symmetry can carry, and it is exactly why this programme's resolution rests on an adopted law rather than on symmetry. The witness measures the gap that the adopted law closes.

The resolution, at its own registers.

The adopted theory \(\mathsf P^{\dagger}=\mathsf P+\mathrm{Adm}_{\zeta}\) derives the native axis sentence: \(\mathsf P^{\dagger}\vdash\mathsf{RH}_{\mathrm M}\). The zeta-specific Admission law is present in \(\mathsf P^{\dagger}\) by declaration, sponsored by \(\alpha_{\zeta}\). Under the named analytic interface, \(I(\mathrm{Adm}_{\zeta})\Longleftrightarrow\mathsf{RH}_{\mathrm C}\) is proved from the interface definition. So \(\mathsf{RH}_{\mathrm C}\) holds under the interface, and the verdict carries its sponsor on its face.

What the witness therefore shows is what \(\mathrm{Adm}_{\zeta}\) carries that symmetry leaves open, and why the architecture declares it by name. Under the classical interface the programme's two admission filters correspond exactly to the Selberg axioms — distinct genealogy to the functional equation, prime-fused trace to the Euler product — and \(F\) passes the first while carrying an off-axis quartet, which locates the whole burden on the second. The theorem proved in the volume is class-wide; the instance-separation carrying it to the zeta-specific form is stated as the volume's seventh open problem, and the hypothesis stated four ways gives the native sentence beside its classical equivalents.

Further reading