🔢 mathematics

Power sums and Siegel-type zero-free regions for L-functions

本文引入了一种利用幂和下界来建立与幺正尖点自守表示相关的标准及 Rankin-Selberg $L$ -函数的非有效型 Siegel 型零区域的新方法，从而在素数定理及 Brauer-Siegel 定理的推广方面取得了显著改进。

原作者： Jesse Thorner

发布于 2026-08-13

📖 1 分钟阅读🧠 深度阅读

原作者： Jesse Thorner

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，数轴是一条向两个方向无限延伸的广阔无垠的高速公路。几个世纪以来，数学家们一直痴迷于这条路上的一段特定区域：即著名的黎曼猜想声称所有交通都停止的“临界线”。但在讨论这些交通工具之前，我们需要先了解它们是什么。在数字的世界里，有一种特殊的函数叫做 L-函数。你可以将它们视为复杂的乐谱或无线电信号，编码着素数（算术的基础）的隐藏模式。正如无线电信号可能会出现静电或寂静一样，这些数学函数也会达到零点。这些函数的“零点”就是信号消失的沉默之地。

零点的位置至关重要。如果一个零点出现在错误的位置（具体来说，是太靠近实数轴上的数字 1），它就会让整个素数分布系统陷入混乱。这就像是在机器中发现了一个幽灵，扰乱了城市中每一台时钟的计时。长期以来，数学家们已经能够证明在某些“安全区”内不存在这些“幽灵”，但这个安全区非常狭窄，且高度依赖于信号本身的复杂程度。信号越大（通过所谓的“解析导数”来衡量），安全区就变得越窄，使得预测素数行为变得更加困难。核心问题在于：能否在不依赖未证明理论的前提下，无论信号多么复杂，都能将这个安全区推得更宽？

杰西·索纳（Jesse Thorner）的这篇论文正是针对这一问题展开研究的。他引入了一种全新的方法，证明了即使对于最复杂的信号，这些危险的零点也不会隐藏在离 1 太近的地方。作者不仅改进了现有的安全区，还为一类庞大的 L-函数家族（包括标准 L-函数以及更复杂的“兰金-塞尔伯格” L-函数）创造了一个更宽、更统一的安全区。

这项发现的核心在于：作者证明了对于任何微小的误差范围（我们称之为 $\epsilon$ ），都存在一个保证性的“禁区”。具体而言，如果你观察数轴上一个位于 $1 - c(C_\pi(|t| + 3))^{-\epsilon}$ 的点（其中 $C_\pi$ 是信号的复杂度， $t$ 是类时间变量），该 L-函数在该点处一定不会为零。事实上，该函数在该点的值被保证至少为 $c(C_\pi(|t| + 3))^{-\epsilon}$ 。这是一个巨大的进步，因为以往的研究结果要求“禁区”随着信号复杂度的增加而缩减得更快。

论文通过拒绝旧有的标准解题方式取得了成功。此前，数学家试图通过将多个 L-函数相乘来构建一个“安全网”，从而创建一个仅包含正数的全新函数（就像堆叠砝码以确保天平永远不会倾斜）。这种方法在简单情况下效果很好，但在处理最复杂的自对偶信号时却碰壁了。索纳指出，对于一般情况，这种旧方法是不够的。相反，他使用了一种涉及“幂和”的巧妙两步舞步。想象你有一组数字，你想知道它们是全都比较小，还是其中至少有一个比较大。论文使用了两种不同的数学工具（其灵感源自 20 世纪 40 年代的工作）来进行检查：一个工具检查数字的总大小，另一个工具检查它们的实部。通过结合这两者，作者可以检测是否有“幽灵”零点试图潜入。如果幽灵存在，数学逻辑会强制产生矛盾，从而证明幽灵不可能存在于该特定区域。

研究结果是严谨且无条件的，这意味着它们并不依赖于假设其他未证明理论为真。论文确立了这些无零点区域的存在性，适用于所有 $\epsilon > 0$ ，其常数取决于数域和表示的维数，尽管这些常数本身是“非有效”的（意味着我们知道它们存在且为正值，但论文并未给出计算其精确数值的具体配方）。

这些成果对数论具有直接且实际的意义。论文表明，这种更宽的安全区可以带来更优化的复杂信号下的“素数定理”版本。本质上，它允许数学家以更高的精度和更广的数值范围来预测素数的分布。它还导致了“布劳尔-西格尔定理”的新推广，该定理将数域的大小与其类数（衡量算术接近完美的程度）联系在一起。简而言之，索纳在数轴最危险的部分周围建造了一道更坚固、更灵活的围栏，使我们在无需依赖未证明假设的情况下，就能更清晰地洞察数字的基本结构。

技术摘要：L-函数的幂和与 Siegel 型零点自由区域

问题陈述
本文研究了为数域 $F$ 上 $\text{GL}(n)$ 的酉自守表示 $\pi$ 的标准 $L$ -函数 $L(s, \pi)$ 以及 Rankin–Selberg $L$ -函数 $L(s, \pi \times \pi')$ 在 $\text{Re}(s) = 1$ 线附近建立零点自由区域的问题。

虽然广义黎曼假设（GRH）预测在 $\text{Re}(s) > 1/2$ 时不存在零点，但无条件的结论仍然有限。以往的工作为非自对偶情况或在未证明的模性假设（例如 Langlands 函子性）下，建立了“标准”零点自由区域，形式为 $\sigma \geq 1 - c(\log C_\pi)^{-1}$ 。对于自对偶情况或一般的 Rankin–Selberg 乘积，无条件的结论被限制在 $L$ -函数值与解析导体 $C_\pi$ 呈多项式衰减（例如 $\sigma \geq 1 - c C_\pi^{-\delta}$ ）的区域内。本文的目标是将这些界限改进为“Siegel 型”形式，即衰减可以任意小（即 $C_\pi^{-\epsilon}$ ），且不依赖于关于 Rankin–Selberg $L$ -函数的模性之未证明假设。

方法论
作者引入了一种新的方法，该方法背离了通过构造具有非负系数的辅助狄利克雷级数来检测极点的经典策略。证明依赖于两种截然不同的幂和下界，受 Sós 和 Turán 工作的启发，并以互补的角色发挥作用：

Turán 第二主定理（命题 2.1）： 用于建立复数幂和量级的下界。这被应用于辅助函数 $F(z) = L(z, \pi_\epsilon \times \pi')L(z, \pi_\epsilon \times \tilde{\pi})$ 的零点，以表明如果存在一个异常零 $\beta_\epsilon$ ，则特定的对数导数导数 $G_k(1+\epsilon)$ 必须很大。
实部下界（命题 2.2）： 用于限制幂和的实部。这通过 Moreno 版的 Deuring–Heilbronn 零点排斥现象来应用。它允许作者通过涉及潜在第二个零 $\beta_1$ 到 1 的距离（具体为 $1-\beta_1$ ）的因子，从上方限制同一个量 $G_k(1+\epsilon)$ 。

策略通过矛盾法进行：

假设存在一个靠近 1 的实零 $\beta_1$ 。
构造一个与 $F(z)$ 的对数导数的 $k$ 阶导数相关的函数 $G_k(z)$ 。
利用命题 2.1 表明，初始“异常”零 $\beta_\epsilon$ 的存在会迫使 $|G_k(1+\epsilon)|$ 很大。
利用命题 2.2（通过零点排斥）表明，如果 $\beta_1$ 存在，则 $|G_k(1+\epsilon)|$ 必须很小（由 $1-\beta_1$ 的倍数限制）。
通过比较这些估计值并利用对素理想求和的界限（命题 5.1），作者得出结论：除非零点自由区域足够宽，否则将产生矛盾。

主要贡献与结果
本文建立了以下无条件的结论，其中常数 $c$ 是无效的（取决于 $n, F, \epsilon$ 以及可能的固定表示）：

标准 $L$ -函数（定理 1.1）： 对于所有 $\epsilon > 0$ ，存在一个无效常数 $c_4 > 0$ ，使得若 $\sigma \geq 1 - c_4 C_\pi^{-\epsilon}$ ，则 $|L(\sigma, \pi)| \geq c_4 C_\pi^{-\epsilon}$ 。这对于所有 $\pi \in \mathcal{F}_n$ 均成立，包括以往无条件结果较弱的自对偶情况。
Rankin–Selberg $L$ -函数（定理 1.2）： 固定 $\pi'$ ，对于所有 $\epsilon > 0$ ，存在一个无效常数 $c_9 > 0$ ，使得若 $\sigma \geq 1 - c_9 C_\pi^{-\epsilon}$ ，则 $|L(\sigma, \pi \times \pi')| \geq c_9 C_\pi^{-\epsilon}$ 。该结果对 $\pi$ 是统一的，并涵盖了以往关于特征扭转的结果。
素数定理（定理 3.1 & 3.2）： 零点自由区域意味着这些 $L$ -函数的素数定理具有改进的误差项。具体而言，对于自对偶情况，误差项 $E(x; \pi)$ 满足 $E(x; \pi) \leq c_{14} e^{-\sqrt{\log x}}$ ，其中 $\log x \geq c_{13} C_\pi^\epsilon$ ，其行为与实狄利克雷特征一致。
Brauer–Siegel 型定理（定理 3.3）： 这些结果推广了 Brauer–Siegel 定理，表明对于具有增长导数的表示序列， $\lim_{j \to \infty} \frac{\log |L(1, \pi_j)|}{\log C_{\pi_j}} = 0$ 。

意义与主张
本文声称提供了第一个无条件的、统一的、针对标准及 Rankin–Selberg $L$ -函数的 Siegel 型下界，且无需诉诸于关于 Rankin–Selberg 模性的未证明假设（例如自守张量积的存在性）。

作者强调，该方法是真正崭新的。以往基于辅助级数狄利克雷系数非负性的方法（如 Hoffstein, Ramakrishnan 等人所使用的）在没有假设模性的情况下，无法为任意自对偶 $\pi$ 或一般的 Rankin–Selberg 乘积产生此类结果。论文指出，虽然 Goldfeld 对狄利克雷 $L$ -函数 Siegel 定理的证明是早期工作的直接推广，但当前 $\text{GL}(n)$ 的问题需要通过结合两种幂和不等式（命题 2.1 和 2.2）来克服缺乏模性的困难。

由于零点排斥论证的性质，这些结果被描述为是“无效的”，但它们代表了对解析导体 $C_\pi$ 依赖关系的显著改进，从多项式衰减（ $C_\pi^{-\delta}$ ）提升到了任意小的多项式衰减（ $C_\pi^{-\epsilon}$ ）。论文明确指出，对于一般情况，该方法是必要的，且关于以往方法局限性的证明将出现在 Nawapan Wattanawanichkul 未来的工作中。

类似论文