A proof of the Riemann hypothesis

Basic Information

• Paper ID: 0807.0090
• Title: A proof of the Riemann hypothesis
• Author: Xian-Jin Li
• Classification: math.GM (General Mathematics)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/0807.0090

Abstract

This paper investigates the trace of integral operators on two orthogonal subspaces of L² space. It is proven that one of the traces equals zero, while the trace of the operator on the other subspace is non-negative. Consequently, the operator on L² space possesses a non-negative trace, which implies the positivity of the Li criterion. According to the Li criterion, all non-trivial zeros of the Riemann ζ function lie on the critical line.

Research Background and Motivation

Significance of the Problem

The Riemann hypothesis is one of the most famous unsolved problems in mathematics, proposed by Bernhard Riemann in 1859. The hypothesis asserts that all non-trivial zeros of the Riemann ζ function have real part equal to 1/2, that is, they all lie on the critical line Re(s) = 1/2. This hypothesis is closely related to the theory of prime distribution and is a central problem in number theory.

Historical Development

• 1896: Hadamard and de la Vallée Poussin independently proved that ζ(s) has no zeros on the line Re(s) = 1
• 1914: Hardy first proved that the ζ function has infinitely many zeros on the line Re(s) = 1/2
• 1942: Selberg proved that a positive proportion of zeros lie on the 1/2 line
• 1974: Levinson proved that more than 1/3 of the zeros lie on the critical line
• 1989: Conrey proved that more than 2/5 of the zeros lie on the critical line
• 2012: Feng improved this proportion to at least 41.28%

Research Motivation

This paper employs the trace formula method of Connes, attempting to prove the Riemann hypothesis by studying the trace properties of specific integral operators on the orthogonal decomposition of L² space, utilizing the Li criterion.

Core Contributions

1. Establishment of a new operator decomposition framework: The integral operator Th on L²(CS) space is decomposed into operators on two orthogonal subspaces ES(Q⊥Λ) and ES(QΛ)
2. Proof of critical trace properties:
   • Proved that traceES(Q⊥Λ)(Th) = 0 (Theorem 1.3)
   • Proved that traceES(QΛ)(Th) ≥ 0 (Theorem 1.4)
3. Construction of special function families: For each Li coefficient λn, constructed functions hn,ε satisfying specific boundary conditions
4. Completion of the Riemann hypothesis proof: Established the conclusion that all non-trivial zeros lie on the critical line through the positivity of the Li criterion

Detailed Methodology

Theoretical Foundation of the Li Criterion

The Li criterion is an equivalence theorem: All non-trivial zeros of the Riemann ζ function lie on the critical line if and only if for all positive integers n, the Li coefficients λn ≥ 0, where:

$\lambda_n = \sum_\rho \left[1-\left(1-\frac{1}{\rho}\right)^n\right]$

Here the sum ranges over all non-trivial zeros ρ.

Operator Construction

Define the integral operator: $T_h = V_S(h)\left(S_\Lambda - E_SF^t_SP_\Lambda F_SE^{-1}_S\right)$

where:

• $V_S(h)F(x) = \int_{C_S} h(x/\lambda)\sqrt{|x/\lambda|}F(\lambda) d^×\lambda$
• $h(x) = \int_0^∞ g(xt)g(t) dt$
• $g(u) = |u|^{-1}g_{n,ε}(|u|^{-1})$

Space Decomposition

Using the unitarity of the Fourier transform, decompose L²(XS) as: $L^2(X_S) = Q^⊥_\Lambda \oplus Q_\Lambda$

where QΛ is the subspace of functions satisfying FSf(x) = 0 when |x| < Λ.

Key Theorems

Theorem 1.1 (Trace Formula): $\text{trace}_{L^2(C_S)}(T_h) = \Delta(h) - \hat{h}(0) - \hat{h}(1)$

where $\Delta(h) = \sum_\rho \hat{h}(\rho)$ is the sum over all zeros of the ζ function.

Theorem 1.2 (Function Construction): For each positive integer n, there exists a family of real-valued smooth functions gn,ε(t) such that:

• $\hat{g}_{n,ε}(0) = 0$
• $g_{n,ε}(t) = 0$ when $t \notin (\mu_ε^{-1}, (1-ε)^{-1})$
• $\lim_{ε→0^+} \Delta(h_{n,ε}) = 2\lambda_n$
• $\hat{h}_{n,ε}(0) = \hat{h}_{n,ε}(1) = 0$

Proof Strategy

Step One: Zero Trace Proof

Key points of Theorem 1.3's proof:

1. Utilize the density of ES and the unitarity of F^t_S
2. Through variable substitution and integration by parts
3. Exploit the symmetry of the O*S group action
4. Prove that the integrand vanishes after summation

Critical identity: $\text{trace}_{E_S(Q^⊥_\Lambda)}(T_h) = -\sum_{\xi \in O^*_S} \int_{I_S,|v|<1} dv \int_{C_S,|x|<1} \Psi_S(xv)|x| d^×x \int_0^∞ g(|vz|)\Phi(z,x) dz$

Due to symmetry, each term is identical, and the finite sum implies each term must vanish.

Step Two: Non-negativity Proof

Key points of Theorem 1.4's proof:

1. Prove that VS(h) is a positive operator (Lemma 5.1)
2. Utilize properties of SΛ to decompose the trace
3. Apply similar symmetry arguments
4. Prove that the main contributing terms are non-negative

Step Three: Application of the Li Criterion

Combining Theorems 1.1-1.4: $\Delta(h_{n,ε}) = \text{trace}_{E_S(Q^⊥_\Lambda)}(T_h) + \text{trace}_{E_S(Q_\Lambda)}(T_h) = 0 + (\geq 0) \geq 0$

Therefore $\lim_{ε→0^+} \Delta(h_{n,ε}) = 2\lambda_n \geq 0$, meaning λn ≥ 0 for all n.

Technical Innovations

1. Application of p-adic Methods

Innovatively employs the adelic ring AS = R × ∏p∈S' Qp and related harmonic analysis tools, where:

• p-adic fields Qp are used for each prime p
• Characteristic functions ψp(ξ) = exp(2πi{ξ}p) are constructed
• Properties of p-adic Fourier transforms are utilized

2. Operator Decomposition Techniques

Decompose complex integral operators onto orthogonal subspaces, utilizing:

• Unitarity of the Fourier transform
• Properties of projection operators
• Additivity of the trace

3. Function Construction Methods

Precisely construct function families satisfying boundary conditions:

• Utilize convolution structure to ensure smoothness
• Control support through parameter ε
• Ensure Mellin transform vanishes at 0 and 1

Mathematical Tools and Techniques

Main Lemmas

• Lemma 2.1: IS is a fundamental domain for the action of O*S on JS
• Lemma 2.2: Explicit expressions for the Fourier transform
• Lemma 2.3: Plancherel formula and integral representations
• Lemmas 4.1-4.4: Technical results for trace calculations
• Lemmas 5.1-5.3: Key steps in positivity proofs

Analytical Techniques

1. Integration by parts: Rational exchange of integration order in multiple integrals
2. Variable substitution: Coordinate transformation using group actions
3. Asymptotic analysis: Control limiting behavior as ε→0
4. Convergence analysis: Prove absolute convergence of infinite series and integrals

Key Steps of the Proof

Step 1: Establish Trace Formula Connection

Through Theorem 1.1, establish direct connection between operator trace and ζ function zeros: $\text{trace}_{L^2(C_S)}(T_h) = \Delta(h) - \hat{h}(0) - \hat{h}(1)$

Step 2: Construct Appropriate Test Functions

Theorem 1.2 guarantees existence of functions such that $\hat{h}_{n,ε}(0) = \hat{h}_{n,ε}(1) = 0$, thus: $\text{trace}_{L^2(C_S)}(T_{h_{n,ε}}) = \Delta(h_{n,ε}) → 2\lambda_n$

Step 3: Space Decomposition and Trace Calculation

Decompose L²(CS) into orthogonal subspaces and calculate traces separately:

• Trace on ES(Q⊥Λ) equals zero (Theorem 1.3)
• Trace on ES(QΛ) is non-negative (Theorem 1.4)

Step 4: Derive Final Conclusion

$2\lambda_n = \lim_{ε→0^+} \Delta(h_{n,ε}) = \lim_{ε→0^+} \text{trace}_{L^2(C_S)}(T_{h_{n,ε}}) \geq 0$

Therefore λn ≥ 0, and according to the Li criterion, the Riemann hypothesis holds.

In-Depth Evaluation

Strengths

1. Innovation of the method:
   • Cleverly combines noncommutative geometry, harmonic analysis, and number theory
   • Innovatively applies p-adic methods to classical problems
   • Operator trace method provides new perspective for studying ζ function zeros
2. Technical rigor:
   • Detailed treatment of all technical details
   • Strict control of limiting processes and convergence
   • Complete proofs of all auxiliary results
3. Theoretical depth:
   • Deep utilization of functional and harmonic analysis theory
   • Skillful application of group theory and algebraic geometry tools
   • Establishes profound connections between operator theory and number theory

Potential Issues

1. Technical complexity:
   • The proof is extremely complex, involving numerous technical lemmas
   • Extensive use of refined estimates and asymptotic analysis
   • Reasonableness of certain steps requires careful verification
2. Artificiality of construction:
   • Construction of functions gn,ε is somewhat artificial
   • Rationality of parameter choices needs further clarification
   • Necessity of certain technical assumptions is insufficiently clear
3. Verification difficulty:
   • Proof length and complexity make independent verification difficult
   • Involves deep results from multiple mathematical branches
   • Certain computational steps may contain subtle errors

Historical Significance

If the proof is correct, this would be one of the most important breakthroughs in mathematical history:

• Solves one of the Clay Millennium Prize Problems
• Produces profound impact on prime number theory
• Advances development of related mathematical branches

Subsequent Impact

Potential impacts of this work include:

• Inspiring new proof methods and techniques
• Promoting application of noncommutative geometry in number theory
• Providing new insights for research on other L-functions

Conclusion

This paper presents a complete proof of the Riemann hypothesis through ingenious operator theory and harmonic analysis methods, establishing connections between ζ function zeros and trace properties of specific integral operators. The core idea of the proof is to utilize the Li criterion by constructing appropriate test functions and analyzing operator behavior on orthogonal subspaces to establish the required non-negativity.

Although the proof is extremely complex technically, its innovative methodology and profound mathematical insights make it an important academic contribution. However, given the importance of the problem and the complexity of the proof, this result requires careful examination and verification by the mathematical community.

Note: This paper claims to solve the famous Riemann hypothesis, but given the historical record of similar claims, readers are advised to await peer review and verification by the mathematical community before accepting the conclusion.