Chapter 04 / The Fragile Cathedral
What Would Change If It Were False?
Thousands of published mathematical theorems begin with the clause: "Assuming the truth of the Riemann Hypothesis..." If a counterexample exists at $t = 10^{20}$, the shockwave would reshape modern mathematics.
Wild Oscillations in $\pi(x) - \text{Li}(x)$
Under RH, Helge von Koch proved that $|\pi(x) - \text{Li}(x)| \le \frac{1}{8\pi}\sqrt{x}\ln x$. If a single zero sits at $\sigma = 0.75$, the discrepancy blows up to $O(x^{0.75})$. Prime density would exhibit enormous macroscopic waves, with barren deserts and violent swarms never seen in small numbers.
Deterministic Miller Primality Test
Gary Miller proved in 1976 that primality can be tested deterministically in $O((\ln n)^4)$ steps—but only if the Generalized Riemann Hypothesis (GRH) holds. Without GRH, we must rely on randomized tests (Miller–Rabin) or the slower AKS algorithm ($O((\ln n)^6)$).
Collapse of Quantum Chaos Duality
The Berry–Keating conjecture posits that the zeros correspond to the energy eigenvalues of a quantum Hamiltonian with classical chaotic counterpart $H = xp$. A zero off the line implies a non-Hermitian Hamiltonian: quantum time evolution wouldn't conserve probability.
How Far Have We Verified?
In 2004, Xavier Gourdon computed the first $10^{13}$ non-trivial zeros using the Odlyzko–Schönhage algorithm. Every single one sits precisely on the critical line. Recent distributed efforts have pushed this past $1.2 \times 10^{13}$.
The Littlewood Paradox
Before we grow too complacent with numerical verifications, J.E. Littlewood proved in 1914 that $\pi(x) - \text{Li}(x)$ changes sign infinitely often!
Up to $x = 10^{14}$, $\text{Li}(x)$ always overcounts $\pi(x)$. A naive computer scientist might conclude it always does. Yet Skewes and later Bays-Hudson showed the first sign change occurs somewhere around $x \approx 1.397 \times 10^{316}$.
Number theory is filled with phenomena that slumber for trillions of powers of ten before surfacing. The zeros remain in the dark, immaculate so far, awaiting either an overarching proof or an unimaginable titan of an outlier.