HEXAGONbeta

A two-sided criterion for the Riemann hypothesis from weighted prime sums, verified up to 2·10^29

A mix of human-written and AI-generated textHuman understanding: all partsmath.NT — Number Theorymath.CV — Complex Variables

Contributed by Pedro Caceres ↗

Version 1 / Oct 31, 2026 / CC BY 4.0

Abstract

For N > 1 let C(N) = 2 Σ_{n<N} Λ(n) n^{-1/2} log(N/n) and M(N) = R(N) − C(N), where R(N) = 8√N − 5.3721834 log N − 7.4013354 + O(N^{-5/2}) is explicit. By a theorem of Suzuki, the Riemann hypothesis (RH) holds if and only if M(N) ≥ 0 for all large N, and then 0 ≤ M(N) ≤ 4(log ξ)''(1/2) = 0.18484. We prove, with computer assistance, that this two-sided inequality holds for every real 1 < N ≤ 2.15·10^29: up to 10^10 from the primes with correctly rounded arithmetic, and beyond from the first 4520 zeros, certified with ball arithmetic, together with the verification of RH to 3·10^12 and an explicit zero-density estimate. The same ingredients give, for every N and without any hypothesis, −E(N) ≤ M(N) ≤ 0.18484 + E(N) with E(N) explicit and E(10^20) < 3·10^-5. We describe the local minima of M exactly and prove an unconditional energy identity for the slope α(x) = Σ_{n≤x} Λ(n) n^{-1/2} − 2√x + c0/2. We then show that positive weights within q^{δ−1/2} of Λ(q) q^{-1/2} satisfy the energy identity, the prime number theorem and Chebyshev’s identity, yet carry an off-line zero, so any proof must use Λ = μ∗log exactly. We do not prove the Riemann hypothesis.

Provenance statement

Author’s original research under the program M=R-C; Claude (Anthropic) assisted with proofs, code, literature search and drafting; all computations are reproducible from the ancillary files and were verified by the author, who takes full responsibility.

Tools used

Anthropic
Claude OpusVersion 5.5
Python
PythonVersion 3.13

References

  1. F. Johansson, Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Trans. Comput. 66 (2017), 1281--1292.
  2. A. Akbary, N. Ng, M. Shahabi, Limiting distributions of the classical error terms of prime number theory, Q. J. Math. 65 (2014), 743--780.
  3. A. S. Besicovitch, Almost Periodic Functions , Cambridge University Press, 1932.
  4. E. Bombieri, Remarks on Weil's quadratic functional in the theory of prime numbers I, Rend. Mat. Acc. Lincei (9) 11 (2000), 183--233.
  5. A. Connes, The Riemann hypothesis: past, present and a letter through time, arXiv:2602.04022, 2026.arXiv
  6. H. Davenport, H. Heilbronn, On the zeros of certain Dirichlet series I, II, J. London Math. Soc. 11 (1936), 181--185, 307--312.
  7. S. M. Gonek, On negative moments of the Riemann zeta-function, Mathematika 36 (1989), 71--88.
  8. H. G. Diamond, H. L. Montgomery, U. M. A. Vorhauer, Beurling primes with large oscillation, Math. Ann. 334 (2006), 1--36.
  9. H. Iwaniec, E. Kowalski, Analytic Number Theory , AMS Colloquium Publications 53, 2004.
  10. A. E. Ingham, The Distribution of Prime Numbers , Cambridge Tracts 30, Cambridge University Press, 1932.
Show all 28 referencesShow fewer references
  1. D. R. Johnston, Improving bounds on prime counting functions by partial verification of the Riemann hypothesis, Ramanujan J. 59 (2022), 1307--1321.
  2. M. Rubinstein, P. Sarnak, Chebyshev's bias, Experiment. Math. 3 (1994), 173--197.
  3. H. L. Montgomery, R. C. Vaughan, Multiplicative Number Theory I. Classical Theory , Cambridge University Press, 2007.
  4. H. Kadiri, A. Lumley, N. Ng, Explicit zero density for the Riemann zeta function, J. Math. Anal. Appl. 465 (2018), 22--46; arXiv:2101.12263.arXiv
  5. N. Ng, The distribution of the summatory function of the Möbius function, Proc. London Math. Soc. (3) 89 (2004), 361--389.
  6. D. Platt, T. Trudgian, The Riemann hypothesis is true up to 3⋅10123\cdot10^{12}, Bull. Lond. Math. Soc. 53 (2021), 792--797.
  7. M. Suzuki, Aspects of the screw function corresponding to the Riemann zeta-function, arXiv:2206.03682, 2022 (v4, 2023).arXiv
  8. M. Suzuki, On variants of Chebyshev's conjecture, Ramanujan J. (2025), doi:10.1007/s11139-025-01238-9, arXiv:2411.07436.arXivDOI
  9. E. C. Titchmarsh, The Theory of the Riemann Zeta-Function , 2nd ed., Oxford University Press, 1986, Section 10.25.
  10. T. S. Trudgian, An improved upper bound for the argument of the Riemann zeta-function on the critical line II, J. Number Theory 134 (2014), 280--292.
  11. A. Voros, Zeta Functions over Zeros of Zeta Functions , Lecture Notes of the Unione Matematica Italiana 8, Springer, 2010.
  12. A. Weil, Sur les ``formules explicites'' de la théorie des nombres premiers, Comm. Sém. Math. Univ. Lund (1952), tome supplémentaire, 252--265.
  13. D. V. Widder, The Laplace Transform , Princeton University Press, 1941.
  14. P. Caceres, The Caceres Prime Function: a square-root damped prime weight, its exact Prime Zeta structure, and a dual spectrum of the Riemann zeros, preprint, 2026.
  15. P. Caceres, Cross-energy of Dirichlet partial sums. Part 20: The Euler cross-energy, Weil positivity and a one-variable form of the Riemann hypothesis, preprint, 2026.
  16. P. Caceres, Cross-energy of Dirichlet partial sums. Part 21: The margin as W−EW-E, a Hodge index for the integers, preprint, 2026.
  17. P. Caceres, Cross-energy of Dirichlet partial sums. Part 22: The minimizer of the Weil form in a window, and the scale 2πN2\pi N, preprint, 2026.
  18. P. Caceres, The 6k±16k\pm1 race: Chebyshev's bias, the margin of L(s,χ−3)L(s,\chi_{-3}) and an exact weighted inequality, preprint, 2026.

Version history

  1. v1Submitted by Pedro CaceresInitial depositCurrentOct 29, 2026