Eigenvalue-by-Eigenvalue Comparison of a Sierra--Rodríguez-Laguna-Type Spectrum with the Riemann Zeros

技术摘要：Sierra–Rodríguez-Laguna 型谱与黎曼零点的逐特征值比较

问题陈述
本文研究了希尔伯特–波利亚猜想（Hilbert–Pólya conjecture）的有效性，该猜想认为黎曼 Zeta 函数的非平凡零点（$1/2 + i\gamma_n$）对应于某个自伴算子的特征值。具体而言，作者分析了 Sierra–Rodríguez-Laguna (SR) 模型，这是对 Berry–Keating 哈密顿量（$H_{BK} = xp$）的一种修正。虽然 $H_{BK}$ 能重现黎曼零点的平均密度，但它具有连续谱。SR 模型定义为 $H_{SR} = x(p + \ell_p^2/p)$，并在 $x = \ell_x$ 处设有硬壁，从而产生离散谱。本文探讨的核心问题是：SR 哈密顿量的单个特征值（$E_n$）是否可以与黎曼零点的序数（$\gamma_n$）进行一一对应，以及如果可以，当 $n \to \infty$ 时，$E_n - \gamma_n$ 的渐近行为如何？

研究方法
作者结合了数值计算和严谨的渐近分析方法：

1. 数值谱生成： SR 哈密顿量的自伴扩张导致了一个关于特征值的超越方程：$\text{Re}[e^{-i\theta/2}K_{1/2+iE/2}(2\pi)] = 0$，其中 $K_\nu$ 是修正贝塞尔函数，$\theta$ 是一个自由参数。作者针对 $\theta = 1.417\pi$ 求解了该方程，得到了前 606 个特征值（$E_1, \dots, E_{606}$）。
2. 渐近分析（最速下降法）： 为了推导 $E_n$ 的闭式预测，作者对修正贝塞尔函数 $K_{1/2+iE/2}(2\pi)$ 在大 $E$ 下的积分表示应用了最速下降法（鞍点法）。他们识别了主导鞍点并推导了领先阶的相位行为。
3. 针对严谨渐近公式的验证： 作者将他们的鞍点推导结果与已知的具有大虚阶特征的 $K_\nu(x)$ 的严谨渐近公式进行了交叉验证（引用了 Temme, Balogh, Booker, Strömbergsson, Then, 和 Tseng 的工作），以确保没有遗漏任何隐藏的相位项。
4. 量子化与 Lambert-W 解： 利用 Lambert-W 函数求解量化条件，从而将 $E_n$ 表示为关于量子数 $n$ 的显式函数。
5. 与 Riemann–von Mangoldt 公式对比： 作者将推导出的 $E_n$ 与 Riemann–von Mangoldt 计数函数 $N(T)$ 进行了对比。他们批判性地分析了在零点（$T = \gamma_n$）处对波动项 $S(T)$ 的处理，特别是针对 $N(T)$ 跳跃间断处的约定问题。
6. 经验验证： 将理论预测与 A. Odlyzko 编录的前 105 个黎曼零点进行了对比测试。

主要贡献与结果

• 渐近匹配： 作者证明，通过鞍点法从修正贝塞尔函数中导出的领先阶相位与严谨的渐近结果完全一致。这排除了贝塞尔函数本身是导致 SR 谱与黎曼零点之间出现数值不匹配的原因。
• 相位偏移的解决： 研究发现了一个偏差，即标准预测（假设 $N(\gamma_n) = n$）与数值数据之间的差异。作者将此归因于对零点处计数函数处理方式的不同。他们认为，在跳跃处使用 $S(T)$ 的标准“中点约定”会使有效量子数偏移 $1/2$。
  • 标准方法： $\gamma_n \sim g(n - 7/8)$。
  • 修正方法： $\gamma_n \sim g(n - 11/8)$。
• 闭式预测： 使用修正后的计数函数，作者推导出了 $E_n - \gamma_n$ 的闭式表达式：
  $$E_n - \gamma_n \sim \frac{\theta + 15\pi/4}{1 + W(n/e)}$$
  其中 $W$ 是 Lambert-W 函数。该式预测差值以 $O(1/\ln n)$ 的速度衰减。
• 数值一致性： 在对比前 105 个零点时，修正后的预测（图 2 中的黑线）与测量数据的吻合度达到了 0.03%。相比之下，未经修正的“标准”预测偏差约为 24%。数据中的残余散射与 $S(T)$ 的 Selberg 中心极限定理是一致的。
• 人工伪像识别： 作者识别并剔除了一个位于 $E \approx 947.5$ 附近的伪根（原标记为 $E_{607}$），这是一个两个根合并产生的数值伪像，通过异常的能级间距比得到了确认。

意义
本文声称为“SR 哈密顿量的特征值是否追踪黎曼零点”这一问题提供了一个令人满意的解答。其意义在于：

1. 精确性： 确立了 SR 模型不仅在统计上，而且是在逐个特征值层面上重现了黎曼零点，并且具有一个随 $n \to \infty$ 而消失的可预测误差项。
2. 理论清晰度： 阐明了此前观察到的不匹配并非源于哈密顿量的物理特性或贝塞尔函数的性质，而是源于对黎曼计数函数 $N(T)$ 在零点处定义的微妙约定问题。
3. 模型的验证： 该工作加强了 SR 哈密顿量作为希尔伯特–波利亚猜想潜在算符候选者的地位，表明其领先阶渐近行为是稳健的，且剩余的差异是完全可理解且可修正的。

作者保持了谦逊的语气，指出虽然一致性很强且解答令人满意，但该论证依赖于对 $S(T)$ 的特定约定，而这些约定在文献中虽属标准做法，但仍可进一步审视。他们并未声称证明了黎曼猜想，而是建立了一个特定的量子模型与已知零点之间的精确对应关系。