[论文解读] Simplifications of the Keiper/Li approach to the Riemann Hypothesis

André Voros|arXiv (Cornell University)|Feb 10, 2016

Analytic Number Theory Research参考文献 1被引用 3

一句话总结

本文提出了一种基于凯珀-李方法研究黎曼猜想的新显式序列 $Λ_n$，通过共形映射变形简化了原始的 $λ_n^\text{K}$ 和 $\u03bb_n^\text{L}$ 序列。新序列 $\Lambda_n$ 具有完全封闭形式的表达式，并保留了对黎曼猜想的敏感性，在黎曼猜想成立时其渐近行为为 $\Lambda_n \sim \frac{1}{2}\log n + c$，其中 $c \approx -1.13033$，为检验该猜想提供了更具解析可处理性与数值可行性的替代方案。

ABSTRACT

The Keiper/Li constants $\{λ_n\}_{n=1,2,\ldots}$ are asymptotically ($n o \infty$) sensitive to the Riemann Hypothesis, but highly elusive analytically and difficult to compute numerically. We present quite explicit variant sequences that stay within the abstract Keiper--Li frame, and appear simpler to analyze and compute.

研究动机与目标

• 通过将原始序列 $\lambda_n^\text{K}$ 替换为一种更具解析可访问性的新变体，简化凯珀-李方法对黎曼猜想的研究。
• 开发一个序列 $\Lambda_n$，使其在保留对黎曼猜想完全敏感性的同时，避免先前方法中递归结构的复杂性。
• 为 $\Lambda_n$ 提供一个完全显式、封闭形式的表达式，使其在计算与分析效率上优于原始的凯珀-李常数。
• 在黎曼猜想成立的假设下，建立 $\Lambda_n$ 的渐近行为，证明其满足 $\Lambda_n \sim \frac{1}{2}\log n + c$，其中 $c \approx -1.13033$。
• 探索其他基点（如 $x = \frac{1}{2}$）的可能性，并推导出一个中心化变体 $\Lambda_n^0(\tilde{w})$，尽管其代数结构不够简洁。

提出的方法

• 通过用一个新的解析函数替代原始的共形映射 $M(z) = (1 - z)^{-1}$，对凯珀-李框架进行变形，以生成新序列 $\Lambda_n$。
• 利用留数计算与变量替换 $r$，推导出 $\Lambda_n$ 的封闭形式表达式，得到公式 $\Lambda_n = \sum_{m=1}^n \frac{2}{(r_m+1)^2} \frac{\prod_{k=0}^n (r_m + r_k)}{\prod_{k \neq m} (r_m - r_k)} \log 2\xi(2m)$。
• 利用 $\xi(x)$ 的函数方程与解析延拓，确保新序列仍能敏感反映非平凡零点的位置。
• 应用鞍点法与渐近分析，推导在黎曼猜想成立与不成立两种情形下 $\Lambda_n$ 的大 $n$ 渐近行为。
• 引入一个基于不同共形映射的中心化变体 $\Lambda_n^0(\tilde{w})$，其以 $x = \frac{1}{2}$ 为中心，但代数结构不够理想。
• 通过数值验证新序列，并与已知结果比较，结果表明其在黎曼猜想成立时与渐近预测 $\Lambda_n \sim \frac{1}{2}\log n + c$ 一致。

实验结果

研究问题

• RQ1 能否通过重新参数化生成函数的共形映射，简化凯珀-李方法对黎曼猜想的研究？
• RQ2 是否存在一个完全显式、封闭形式的序列，能够保持原始 $\lambda_n^\text{K}$ 与 $\lambda_n^\text{L}$ 序列对黎曼猜想的敏感性？
• RQ3 在黎曼猜想成立的假设下，新序列 $\Lambda_n$ 的渐近行为如何？
• RQ4 由于其封闭形式结构，新序列 $\Lambda_n$ 是否比原始的凯珀-李常数计算更高效？
• RQ5 在黎曼猜想成立与不成立两种情形下，特别是在大 $n$ 范围内，新序列的性能与敏感性相较于原始序列有何差异？

主要发现

• 新序列 $\Lambda_n$ 通过涉及留数与 $r_m = \sqrt{1 + (4m - 1)^2 / \tilde{w}}$ 的有理函数的显式封闭公式给出，可直接计算而无需递归。
• 在黎曼猜想成立时，$\Lambda_n \sim \frac{1}{2}\log n + c$，其中 $c = \frac{1}{2}(\gamma - \log 2\pi - 1) \approx -1.130330700754$，与原始 $\lambda_n^\text{L}$ 的渐近行为一致。
• 序列 $\Lambda_n$ 仍对黎曼猜想保持敏感：若黎曼猜想不成立，则 $\Lambda_n$ 的增长快于任意 $o(n^\varepsilon)$，且对非临界线上的零点有 $\log|\Delta_\rho \Lambda_n| \sim (\rho - \frac{1}{2})\log n$。
• 数值计算表明，$\Lambda_n$ 的行为与理论渐近性一致，其主导对数增长与常数项与原始凯珀-李序列相同。
• 推导出一个中心化变体 $\Lambda_n^0(\tilde{w})$，其渐近行为为 $\Lambda_n^0(\tilde{w}) \sim \sqrt{\tilde{w}}(\log n + C)$，其中 $C \approx -0.78375711$，但其代数结构对分析不够有利。
• 新序列避免了原始 $\lambda_n^\text{L}$ 递归计算中每步约 $\sim \frac{1}{4}$ 位小数精度损失的问题，显著提升了数值可行性。