An analytic identity that relates sums over prime powers (or weighted prime-counting functions) to explicit sums over the nontrivial zeros of L-functions, making precise how prime distribution is encoded in spectral data of zeta or L-functions.

Principle

A test-function transform (e.g. Mellin or Fourier transform) converts an arithmetic sum over prime powers into a spectral sum over zeros of an L-function; the equality follows from analytic continuation and the functional equation of the L-function, so analytic spectral data and arithmetic data are dual.

Demonstration

Riemann's explicit formula for the Chebyshev function ψ(x): ψ(x)=x−∑_ρ x^ρ/ρ − (1/2)log(1−x^{−2}) + constants, where the sum runs over nontrivial zeros ρ of ζ(s); the formula expresses deviations of ψ(x) from x in terms of the zeros' locations.

Misapplication

Treating the formal sums as absolutely convergent and rearranging terms without the required smoothing/test function, or applying the formula to a Dirichlet series lacking analytic continuation or a functional equation, producing invalid conclusions about primes.

Consequence

Correct use translates estimates about zeros (location, density, gaps) into quantitative statements about prime-counting error terms, and conversely gives spectral interpretations of arithmetic fluctuations; it underpins results like explicit error bounds in prime number theorems for arithmetic progressions.

Reversal

Viewed dually, one can treat empirical prime data or weighted prime sums as input to infer constraints on possible zeros or on averages of spectral data; the explicit formula thus provides a two-way bridge rather than a one-way encoding.

Boundary

Applies only for L-functions with the necessary analytic continuation and functional equation and for test functions in the admissible class; it does not directly apply to arbitrary arithmetic sums, formal Dirichlet series without analytic properties, or purely combinatorial prime arguments.

Semantic Tension

Differs from a general trace formula in spectral geometry: the explicit formula is an analytic-number-theoretic identity tied to Mellin/Fourier transforms and arithmetic primes, whereas trace formulas often involve operator traces and geometric lengths; both are duality statements but operate in different analytic frameworks.

Synthesis

The explicit formula is the precise analytic identity that translates between prime-power weighted sums and the spectral zeros of L-functions via an admissible test-function transform, enabling bidirectional inferences between prime distribution and spectral properties when the L-function has the required analytic structure.