{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-1801.05914","versions":[{"work":{"authors":["Brad Rodgers","Terence Tao"],"kind":"research_paper","publication":"published","publication_note":"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.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; absence of attribution is not evidence of absence.","artifacts":[{"kind":"pdf","title":"Corrected Newman proof PDF · v5","url":"https://arxiv.org/pdf/1801.05914v5","version":"arXiv:1801.05914v5","assessment":"paper_proof","note":"External source evidence; no OpenMath execution or independent reproduction is attached."}]},"id":"arxiv-1801.05914@arxiv-v5","source_id":"arxiv-1801.05914","title":"Rodgers–Tao · Newman constant is nonnegative","owner":"Brad Rodgers; Terence Tao","url":"https://arxiv.org/abs/1801.05914v5","subject_scope":"Rodgers–Tao · Newman constant is nonnegative","revision":"arxiv-v5","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2021-07-03","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/1801.05914v5","attribution":"Brad Rodgers; Terence Tao","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}],"entries":[{"id":"riemann-hypothesis:rh-newman-equivalence:v1","source_version_id":"arxiv-1801.05914@arxiv-v5","item_id":"arxiv-1801.05914#rh-newman-equivalence","url":"https://arxiv.org/abs/1801.05914v5","wording":"After the nonnegativity theorem, RH is equivalent to Λ = 0.","wording_kind":"paraphrase","locator":"§1: RH iff Λ ≤ 0; Theorem 1.1: Λ ≥ 0","supersedes":null},{"id":"riemann-hypothesis:rh-newman-lower:v1","source_version_id":"arxiv-1801.05914@arxiv-v5","item_id":"arxiv-1801.05914#rh-newman-lower","url":"https://arxiv.org/abs/1801.05914v5","wording":"The de Bruijn–Newman constant Λ is nonnegative.","wording_kind":"paraphrase","locator":"Theorem 1.1; §1 normalization and RH equivalence","supersedes":null}],"problems":[{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13}],"selected_version_id":"arxiv-1801.05914@arxiv-v5","available_versions":[{"id":"arxiv-1801.05914@arxiv-v5","revision":"arxiv-v5","observed_on":"2026-10-10","title":"Rodgers–Tao · Newman constant is nonnegative","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-2f13b789f116766ffb5c","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Equivalent target Λ = 0 remains open","claim":{"id":"claim-rh-newman-zero-equivalence","version":3,"slug":"rh-newman-zero-equivalence","title":"RH is equivalent to Λ = 0"},"fragment":"claim-rh-newman-zero-equivalence","assessment":{"id":"riemann-hypothesis:rh-newman-equivalence:report:v1","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","state":"reported_open","source_label":"Equivalent target Λ = 0 remains open","scope":"Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.","source_date":"2021-07-03","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/1801.05914v5","supersedes":null},"superseded":true,"formalization":null,"update":null},{"id":"source-use-644c2af51d6fbf174126","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-rh-newman-zero-target","version":2,"slug":"rh-newman-zero-target","title":"the classical Newman constant is zero"},"fragment":"claim-rh-newman-zero-target","assessment":{"id":"riemann-hypothesis:rh-newman-zero-target:report:v1","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","state":"reported_open","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/1801.05914v5","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-fd8e1ee2580c1c26e260","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-rh-newman-zero-equivalence","version":3,"slug":"rh-newman-zero-equivalence","title":"RH is equivalent to Λ = 0"},"fragment":"claim-rh-newman-zero-equivalence","assessment":{"id":"riemann-hypothesis:rh-newman-zero-equivalence-theorem:report:v1","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/1801.05914v5","supersedes":"riemann-hypothesis:rh-newman-equivalence:report:v1"},"superseded":false,"formalization":null,"update":null},{"id":"source-use-9a236401171a2f090d58","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"connection","title":"RH gives Λ ≤ 0; the proved Λ ≥ 0 turns this into the target Λ = 0.","claim":{"id":"claim-rh-newman-zero-equivalence","version":3,"slug":"rh-newman-zero-equivalence","title":"RH is equivalent to Λ = 0"},"fragment":"claim-rh-newman-zero-equivalence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4a1b7c032d7916eee0d7","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"question","title":"Riemann hypothesis","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b29d9adcbf47bb4b67db","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"RH is equivalent to Λ = 0","claim":{"id":"claim-rh-newman-zero-equivalence","version":3,"slug":"rh-newman-zero-equivalence","title":"RH is equivalent to Λ = 0"},"fragment":"claim-rh-newman-zero-equivalence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-da8d0bf63218ac753a6c","entry_id":"riemann-hypothesis:rh-newman-equivalence:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"the classical Newman constant is zero","claim":{"id":"claim-rh-newman-zero-target","version":2,"slug":"rh-newman-zero-target","title":"the classical Newman constant is zero"},"fragment":"claim-rh-newman-zero-target","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f3f98e6904385c56ab6c","entry_id":"riemann-hypothesis:rh-newman-lower:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"assessment","title":"Scoped theorem in cited source","claim":{"id":"claim-rh-newman-nonnegative","version":2,"slug":"rh-newman-nonnegative","title":"The Newman constant satisfies Λ ≥ 0"},"fragment":"claim-rh-newman-nonnegative","assessment":{"id":"riemann-hypothesis:rh-newman-lower:report:v1","entry_id":"riemann-hypothesis:rh-newman-lower:v1","state":"resolved","source_label":"Scoped theorem in cited source","scope":"Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.","source_date":"2021-07-03","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/1801.05914v5","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-ac10a07995f403acc9e1","entry_id":"riemann-hypothesis:rh-newman-lower:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"bound","title":"Classical Newman constant Λ","claim":{"id":"claim-rh-newman-nonnegative","version":2,"slug":"rh-newman-nonnegative","title":"The Newman constant satisfies Λ ≥ 0"},"fragment":"claim-rh-newman-nonnegative","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1ab47270c0752dff5578","entry_id":"riemann-hypothesis:rh-newman-lower:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"connection","title":"The two proved inequalities enclose the same normalized constant in [0, 0.2].","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3d0b02777f5c1597c48c","entry_id":"riemann-hypothesis:rh-newman-lower:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"milestone","title":"Newman’s nonnegativity conjecture","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3aca2430f350698ecb1e","entry_id":"riemann-hypothesis:rh-newman-lower:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"question","title":"Riemann hypothesis","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1949b8bf3e95c9c182a2","entry_id":"riemann-hypothesis:rh-newman-lower:v1","problem":{"slug":"riemann-hypothesis","title":"Riemann hypothesis","publication_version":13},"kind":"statement","title":"The Newman constant satisfies Λ ≥ 0","claim":{"id":"claim-rh-newman-nonnegative","version":2,"slug":"rh-newman-nonnegative","title":"The Newman constant satisfies Λ ≥ 0"},"fragment":"claim-rh-newman-nonnegative","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}