Pith. sign in

reduction graph

The Riemann Hypothesis

Every nontrivial zero of the Riemann zeta function has real part 1/2.

81 statements · 63 links from papers · 4 composed · updated 2026-08-12 11:30:21.142468+00:00

Typed form: /api/frontier/riemann-hypothesis · the inclusive shelf of every claim is at /topics/riemann-hypothesis

Share X Bluesky LinkedIn Reddit HN

Derived, and unstated

Each of these follows from links two or more papers assert, but no paper in the corpus states it. A chain is only as strong as its weakest link, and the tier below reports that weakest link, not the best one.

  1. Grand Riemann Hypothesis implies The Riemann Hypothesis

    2 hops · weakest link proved · confidence 0.90

    1. Grand Riemann Hypothesis implies Generalized Riemann Hypothesis (Dirichlet L-functions are automorphic L-functions of degree one.)
    2. Generalized Riemann Hypothesis implies The Riemann Hypothesis (The Riemann hypothesis is the principal-character case of GRH.)

What would settle it

  1. Grand Riemann Hypothesis implies the target

    composed/composition · proved · Dirichlet L-functions are automorphic L-functions of degree one. then The Riemann hypothesis is the principal-character case of GRH.

  2. Generalized Riemann Hypothesis implies the target

    seed · proved · The Riemann hypothesis is the principal-character case of GRH.

  3. A Hilbert-Polya spectral realization implies the target

    seed · proved · A self-adjoint spectral realization forces the zeros onto the critical line.

  4. The Mertens Conjecture implies the target

    seed · proved · The Mertens bound implies RH; the bound itself was disproved by Odlyzko and te Riele, J. Reine Angew. Math. 357 (1985).

  5. conversely, the mere existence of any moderate net of this damped-Báez–Duarte form that is uniformly… implies the target

    paper/phrase · stated · arxiv:2606.22562

    conversely, the mere existence of any moderate net of this damped-Báez–Duarte form that is uniformly L²-bounded and associated with −χ_{(0,1)} forces the Riemann hypothesis.

  6. A finite spectral averaging framework replaces this obstruction by proving cancellation at the critical… implies the target

    paper/phrase · stated · arxiv:2606.24924

    A finite spectral averaging framework replaces this obstruction by proving cancellation at the critical line, positivity of the off-critical paired contribution on the left under a concrete low-frequency kernel condition, a conditional zero-density consequence, and a precise statement of the additional localization hypotheses needed to imply the Riemann Hypothesis.

  7. the two standpoints are offered as complementary routes toward clarifying the operator’s still-unsettled… is partial progress toward the target

    paper/phrase · stated · arxiv:2606.24405

    the two standpoints are offered as complementary routes toward clarifying the operator’s still-unsettled connection to the Riemann hypothesis.

What it would settle

  1. the target is equivalent to von Koch prime counting error term

    seed · proved · von Koch, Acta Math. 24 (1901).

  2. the target is equivalent to Square-root cancellation in the Mertens function

    seed · proved · Littlewood, 1912; see Titchmarsh, Theory of the Riemann Zeta-Function, ch. 14.

  3. the target is equivalent to Robin's inequality

    seed · proved · Robin, J. Math. Pures Appl. 63 (1984), 187-213.

  4. the target is equivalent to Lagarias' criterion

    seed · proved · Lagarias, Amer. Math. Monthly 109 (2002), 534-543.

  5. the target is equivalent to The Nyman-Beurling criterion

    seed · proved · Nyman 1950; Beurling, PNAS 41 (1955), 312-314.

  6. the target is equivalent to Li's criterion

    seed · proved · Li, J. Number Theory 65 (1997), 325-333.

  7. the target is equivalent to The de Bruijn-Newman constant

    seed · proved · de Bruijn 1950, Newman 1976; Lambda >= 0 by Rodgers and Tao, Acta Math. 2020.

  8. the target is equivalent to The Franel-Landau criterion

    seed · proved · Franel and Landau, 1924.

  9. the target is equivalent to Weil positivity

    seed · proved · Weil, 1952; see Bombieri, Problems of the Millennium: the Riemann Hypothesis.

  10. the target implies The Lindelof Hypothesis

    seed · proved · Backlund; see Titchmarsh, ch. 13.

  11. the target implies The quasi-Riemann hypothesis

    seed · proved · Immediate from the zero-free half plane with theta = 1/2.

  12. the target implies The Density Hypothesis

    composed · proved · Backlund; see Titchmarsh, ch. 13. then Ingham; see Ivic, The Riemann Zeta-Function, ch. 11.

  13. the target is equivalent to The paper shows that for certain pairs of normalized error terms, such as those associated with ψ(x) and the…

    paper · stated · arxiv:2507.13504

  14. the target is equivalent to The Riemann hypothesis is equivalent to the validity of a collection of estimates involving an operator…

    paper · stated · arxiv:2208.12937

  15. the target is equivalent to The main result is that the property 'For all n > 0, log g(n) < li^{-1}(n)' (where g(n) is the maximal order…

    paper · stated · arxiv:1907.07664

  16. the target is equivalent to For any fixed c>0, the Riemann hypothesis is equivalent to the assertion that the local moments M_{q,c}(N)…

    paper · stated · arxiv:2607.25002

  17. the target is equivalent to Under the Deep Riemann Hypothesis, for any fixed spectral scale T the difference between the mollified…

    paper · stated · arxiv:2607.28931

  18. the target is equivalent to RH holds if and only if the trajectory error functional satisfies E(X) ≪ X^(1/2) log X for all X ≥ e^120.

    paper · stated · arxiv:2509.10588

  19. the target is equivalent to if that uniqueness holds, it characterizes the zeta zeros intrinsically without settling the Riemann…

    paper · stated · arxiv:2507.07253

  20. the target is equivalent to dRe xi/dt, dIm xi/dt) equals the sign of epsilon for every point s=1/2+epsilon+it in the critical strip if…

    paper · stated · arxiv:2501.10826

  21. the target is equivalent to the Riemann hypothesis is true if and only if a_{1/2}(n)=sigma_{1/2}(n)/(n^{1/2} exp(li((log n)^{1/2}))) is…

    paper · stated · arxiv:2411.19259

  22. the target is equivalent to for i=1,2, the Riemann hypothesis holds if and only if the integral from 2 to X of the ith Mertens error…

    paper · stated · arxiv:2411.18903

  23. the target implies Modifying the work of Klagsbrun, Mazur, and Rubin, the authors prove that under the extended Riemann…

    paper · stated · arxiv:2607.01126

  24. the target implies we show that for k>0, (1/T) meas{t in [T,2T]:

    paper · stated · arxiv:2604.25579

  25. the target implies we prove the result holds for every n > 24.

    paper · stated · arxiv:2605.02426

  26. the target implies the poles activate at times t_n ∝ ρ_n³ and condense into an infinite-time essential singularity.

    paper · stated · arxiv:2604.12207

  27. the target implies As an application, we break the persistent practical barrier around 0.515 and prove μ < 0.50895 under the…

    paper · stated · arxiv:2604.05733

  28. the target implies Σ_p ||M_p(n)||²_{L∞} ≤ C M_n² n^{4/3+o(1)}.

    paper · stated · arxiv:2509.19067

  29. the target implies the authors calculate that the logarithmic density of the set where two specific error terms have the same…

    paper · stated · arxiv:2507.13504

  30. the target implies for large n, B(n) = O(n^{3/4} (log n)^{1/2}) and L(n) ≥ c' n^{1/4} (log n)^{-1/2}.

    paper · stated · arxiv:2605.22752

  31. the target implies the normalized correlation ⟨μ(n)M(n-1)⟩(T) equals −3/π²(1 − T^{(c−1)δ(T)}) plus the sum from 0 < γ < T of 1…

    paper · stated · arxiv:2409.02106

  32. the target implies χ) and that the non-trivial zeros ρ=½+iγ of L(s,χ) are simple, the discrete moments ∑_{0<γ≤T} |L'(ρ,χ)|^{-2}…

    paper · stated · arxiv:2606.25094

  33. the target implies the two damped nets are moderate, uniformly L²-bounded, and associated with −χ_{(0,1)};

    paper · stated · arxiv:2606.22562

  34. the target implies the sum over those zeros of the squared modulus of a fixed ratio of zeta functions is at least half the…

    paper · stated · arxiv:2606.12376

  35. the target implies Schrödinger operators with anisotropic potentials, Dirichlet Laplacians on infinite-volume domain

    paper · stated · arxiv:2605.25591

  36. the target implies in the abelian case and under the Riemann Hypothesis for Dirichlet L-functions a more precise error estimate…

    paper · stated · arxiv:2606.28832

  37. the target implies Assuming the Riemann Hypothesis and a mild lower bound on the Gaussian smoothing width relative to a fixed…

    paper · stated · arxiv:2607.04316

  38. the target implies For 1<α_1<...<α_r, the vector (log ζ(s+i(log τ)^{α_1}),...,log ζ(s+i(log τ)^{α_r})) is jointly universal in…

    paper · stated · arxiv:2607.20041

  39. the target implies for all t ≥ e^18.

    paper · stated · arxiv:2602.06199

  40. the target implies for every 0<δ<1 and x≥e^e, |E^AN_{σ1}(x)| ≪ x^{δ'} exp(log x / log log x) with δ'=max{1/2,δ}.

    paper · stated · arxiv:2601.11052

  41. the target implies SZC, and a convergence condition) that A_f^exp(x) - Δ_1(x) = Δ_{1/2}(x) + Σ_ρ Δ_ρ(x) + O(x^a), where Δ_1,…

    paper · stated · arxiv:2512.18936

  42. the target implies for any fixed spectral scale T the difference between the mollified prime-power sums for 1 and a (mod N),…

    paper · stated · arxiv:2607.28931

  43. the target implies Conjecture 1 states that the discrete shifted moment Σ_{0<γ≤T} ζ(1/2+iγ+α_1)···ζ(1/2+iγ+α_k) equals the…

    paper · stated · arxiv:2509.07792

  44. the target implies for Re(k)>−3, the average of ζ′(1/2+iγ)^k over zeros γ with 0<γ≤T is asymptotically (log(T/2π))^k / Γ(k+2).

    paper · stated · arxiv:2509.07788

  45. the target implies define $P_{k/2}(T)$ as the normalized count of pairs of zeros with imaginary parts in $[T/\log^2 T, T]$…

    paper · stated · arxiv:2508.10857

  46. the target implies f)$ and Dirichlet $L$-functions, the long-interval proportion rises to at least $1/2$, and for $1/2<\mu<1$…

    paper · stated · arxiv:2507.14566

  47. the target implies Theorem 1.2 achieves the same factorization for the imaginary part with the full support $\eta<2/k$;

    paper · stated · arxiv:2507.04150

  48. the target implies so the lower bound is unconditional.

    paper · stated · arxiv:2506.09334

  49. the target implies $\mu(\theta)\le 1-\theta/2$ under the Lindelöf hypothesis, and $\mu(\theta)\le 1-\theta/12$ under the…

    paper · stated · arxiv:2505.24017

  50. the target implies all zeros of $\zeta(2s)$ lie on $\Re(s)=1/4$ and are simple, so the pole sum runs over that line up to a…

    paper · stated · arxiv:2502.02598

  51. the target implies the pair correlation conjecture (Conjecture 1.2), the triple correlation conjecture (Conjecture 1.3), and…

    paper · stated · arxiv:2412.20099

  52. the target implies N_r(T,c), the number of ordinates γ_n ≤ T whose next r gaps are all at least 2πc/log T, satisfies N_r(T,c) ≥…

    paper · stated · arxiv:2412.15481

  53. the target implies For the third Mertens error term, RH implies the same positivity, and if the supremum of the real parts of…

    paper · stated · arxiv:2411.18903

  54. the target implies and $\mu(\theta)\le 1-\theta/12$ under the density hypothesis.

    composed · stated · Backlund; see Titchmarsh, ch. 13. then 2505.24017

  55. the target implies The same framework recovers the classical thresholds for the prime number theorem in all short intervals and…

    composed · stated · Backlund; see Titchmarsh, ch. 13. then Ingham; see Ivic, The Riemann Zeta-Function, ch. 11. then 2505.24017

Named statements in this graph