[论文解读] The De Bruijn-Newman constant is non-negative

Brad Rodgers, Terence Tao|arXiv (Cornell University)|Jan 18, 2018

Analytic Number Theory Research参考文献 24被引用 7

一句话总结

本文通過分析 Hₜ(z) 在反向熱方程下的零點動力學，證明了紐曼猜想：德布魯因-紐曼常數 Λ 非負。該論證假設 Λ < 0 後導出矛盾，因為此假設會迫使 H₀ 的零點處於局部平衡狀態，與黎曼 zeta 函數零點在黎曼猜想下的已知對相關統計性質相衝突。

ABSTRACT

For each $t \in {\bf R}$, define the entire function $$ H_t(x) := \int_0^\infty e^{tu^2} Φ(u) \cos(xu)\ du$$ where $Φ$ is the super-exponentially decaying function $$ Φ(u) := \sum_{n=1}^\infty (2π^2 n^4 e^{9u} - 3πn^2 e^{5u} ) \exp(-πn^2 e^{4u} ).$$ Newman showed that there exists a finite constant $Λ$ (the \emph{de Bruijn-Newman constant}) such that the zeroes of $H_t$ are all real precisely when $t \geq Λ$. The Riemann hypothesis is the equivalent to the assertion $Λ\leq 0$, and Newman conjectured the complementary bound $Λ\geq 0$. In this paper we establish Newman's conjecture. The argument proceeds by assuming for contradiction that $Λ&lt; 0$, and then analyzing the dynamics of zeroes of $H_t$ (building on the work of Csordas, Smith, and Varga) to obtain increasingly strong control on the zeroes of $H_t$ in the range $Λ&lt; t \leq 0$, until one establishes that the zeroes of $H_0$ are in local equilibrium, in the sense that locally behave (on average) as if they were equally spaced in an arithmetic progression, with gaps staying close to the global average gap size. But this latter claim is inconsistent with the known results about the local distribution of zeroes of the Riemann zeta function, such as the pair correlation estimates of Montgomery.

研究动机与目标

• 解決紐曼猜想，即德布魯因-紐曼常數 Λ ≥ 0。
• 確立若黎曼猜想成立，則僅「幾乎成立」，透過證明 Λ 不可能為負。
• 顯示假設 Λ < 0 會與黎曼 zeta 函數非平凡零點的已知統計性質產生矛盾。
• 在假設 Λ < 0 條件下，將零點之間的排斥現象強化為局部平衡條件。
• 證明黎曼 zeta 函數零點的局部分佈，依蒙哥馬利對相關定理所預測，與 Λ < 0 所隱含的平衡行為不相容。

提出的方法

• 分析 Hₜ(z) 的零點在反向熱方程 ∂ₜHₜ = −∂_{zz}Hₜ 下的演化。
• 應用楚爾達斯、史密斯與瓦爾加的排斥機制，顯示負的 Λ 會迫使零點避免緊密聚集。
• 確立在 Λ < 0 條件下，H₀ 的零點必須處於局部平衡狀態，即其平均分佈類似於等距點。
• 使用能量泛函 E^K(t) 量化區間 K 內零點間距的規律性，並追蹤其隨時間的演化。
• 應用高斯單位系陣（GUE）假設來模擬 zeta 函數零點的統計分佈，並從平衡假設中推導出矛盾。
• 利用蒙哥馬利對相關定理反駁該結果，該定理顯示有正比例的零點間距小於平均值，違反了平衡條件。

实验结果

研究问题

• RQ1 德布魯因-紐曼常數 Λ 是否滿足 Λ ≥ 0，如紐曼所猜想？
• RQ2 當 t 從上方趨近 Λ 時，若 Λ < 0，Hₜ(z) 的零點分佈會如何變化？
• RQ3 H₀ 的零點是否可能處於局部平衡狀態，且與黎曼 zeta 函數非平凡零點的已知對相關統計數據相容？
• RQ4 當 Λ < 0 時，零點之間的排斥力是否強大到足以防止局部聚集？此現象是否導致矛盾？
• RQ5 假設 Λ < 0 是否意味著黎曼 zeta 函數連續零點間距會漸近接近平均間距，從而與已知結果矛盾？

主要发现

• 德布魯因-紐曼常數滿足 Λ ≥ 0，確認了紐曼猜想。
• 假設 Λ < 0 會導致 H₀ 的零點處於局部平衡狀態，即其間距在平均上趨於均勻。
• 局部平衡狀態意味著黎曼 zeta 函數非平凡零點的連續間距會漸近等於平均間距 4π/log T。
• 此結論與蒙哥馬利對相關定理矛盾，該定理顯示有正比例的連續零點間距嚴格小於平均值。
• 矛盾產生的原因在於，平衡假設迫使間距緊密集中於平均值附近，而對相關理論則預測頻繁出現較小間距。
• 因此，假設 Λ < 0 無法成立，Λ 必須 ≥ 0。