Explicit Formula

The explicit formula of Riemann and von Mangoldt is one of the most striking results in analytic number theory: it expresses the prime-counting function as a sum over the non-trivial zeros of the Riemann zeta function. Where the prime number theorem gives an asymptotic approximation, the explicit formula gives an exact identity — a Fourier-like decomposition in which the primes are the "time domain" and the zeta zeros are the "frequency domain."

The formula takes the schematic form:

Σₙ Λ(n) f(n) = ∫ f(x) dx − Σ_ρ ∫ f(x) x^(ρ−1) dx + (other terms)

where Λ(n) is the von Mangoldt function (a weighted indicator of prime powers) and the sum over ρ ranges over the non-trivial zeros. The parallel with the trace formula of spectral theory is exact: both relate a sum over a discrete spectrum to an integral over a continuous geometry.

This identity makes precise the metaphor of the primes as "music" and the zeros as "frequencies." It also reveals that the irregularities in the distribution of primes — the fluctuations around the smooth prime number theorem prediction — are controlled by the locations of the zeta zeros. The explicit formula transforms a problem in arithmetic into a problem in harmonic analysis, and in doing so, it connects the Riemann hypothesis to questions about the spacing and distribution of zeros that have analogues throughout mathematical physics.