Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.
For the classical de Bruijn–Newman constant, RH is equivalent to Λ = 0. Λ is defined by H_t(z) = ∫₀∞ exp(tu²) Φ(u) cos(zu) du, using the classical Riemann kernel Φ and normalization in the cited paper; all H_t zeros are real exactly when t ≥ Λ.
Classical heat-flow family.
Use the proved Rodgers–Tao inequality Λ ≥ 0.
Scope: The equivalence is a theorem; whether the constant is zero remains the unresolved target.
For the classical de Bruijn–Newman constant, RH is equivalent to Λ = 0. Λ is defined by H_t(z) = ∫₀∞ exp(tu²) Φ(u) cos(zu) du, using the classical Riemann kernel Φ and normalization in the cited paper; all H_t zeros are real exactly when t ≥ Λ.
Classical heat-flow family.
Use the proved Rodgers–Tao inequality Λ ≥ 0.
Scope: The equivalence is a theorem; whether the constant is zero remains the unresolved target.
After the nonnegativity theorem, RH is equivalent to Λ = 0.
paraphrase · No upstream full text or code is republished by this record.
Brad Rodgers · Terence Tao · Published
Published in Forum of Mathematics, Pi (2020). The pinned 2021 author revision records a correction to Section 8; earlier manuscript history is not silently substituted.
Revision & attribution
Source revision: arxiv-v5. Observed Oct 10, 2026.
The cited work does not report AI involvement; absence of attribution is not evidence of absence.
Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.