论文・预印本

弥合有限空隙：从有限Pick正定性到解析刚性

SEERAVERSE Research Initiative发布了SEERAVERSE RH PROGRAM的研究笔记 v1.1《Closing the Finite Gap: From All-Depth Pick Positivity to Analytic Rigidity》的Zenodo版本。

本文档是一篇预印本，记录了一条通往黎曼猜想的研究路径，其依赖链包括有限边界Pick矩阵的正定性、正实插值、解析函数族的紧致性、唯一性、解析延拓以及极点排除。我们在同一记录中公开了英文版和日文版的PDF，DOI为 10.5281/zenodo.23145297，发布日期是2026年10月5日，版本为1.1。

本次弥合的“有限空隙”是什么

在本研究项目中，我们不是直接处理无限的论断，而是将问题归结为各深度构成的有限Pick矩阵的正定性。在之前的阶段，存在着需要严格确认初始范围的prefix和从足够大的深度开始工作的effective restart之间，留下了需要单独控制的中央区域，尽管这个区域是有限的。本文所称的finite gap，指的就是这个有限的中央区域。

在v1.1中，我们引入了提供阶段依赖性反射帽（stage-dependent reflection cap）的中心评估，用于控制在每次增加新的反射系数时，其可能增长到何种程度。此外，我们将传递该影响到下一阶段的传播因子进行了严格的因式分解，并将其整理为一部分可以被望远镜型几何项抵消的结构。Zenodo的摘要报告指出，通过结合阈值比收缩和proof-grade的基础裕度，在4053到10148的范围内，保守的均匀裕度超过了$10^{507}$。

连接三个范围

依赖结构分为三个部分。第一是n=4052之前的proof-grade prefix；第二是我们本次解析处理的有限中央区域（4053≦n≦10148）；第三是n≧10149之后的effective restart。本次工作的核心在于，不是简单地用大规模数值扫描来填补中央区域，而是通过阶段性的上限和传播结构来处理它。

文档的论点是，当这三个区域连接起来时，程序内部就能获得all-depth finite Pick positivity。在此之后，工作不局限于有限矩阵的正定性，而是从插值问题中提取极限函数，利用非Blaschke晶格上的唯一性，进而推进到恒等解析延拓和极点排除。标题中的“analytic rigidity”指的是在后续阶段自由度丧失、解析对象被强烈约束的过程。

简要术语介绍

Pick positivity与通过矩阵的正定性来判断解析函数是否能在指定点满足特定条件这一经典框架有关。$ ext{Schur parameter}$是复现过程中出现的系数，控制其大小直接关系到稳定性。$ ext{Montel compactness}$是一种从适当均匀有界解析函数族中提取收敛子列的工具。$ ext{Nevanlinna-class uniqueness}$则与在足够强的零点集上一致的函数必然相同的阶段有关。

仅仅罗列这些经典工具并不能构成证明。重要的是，有限阶段获得的条件是否能通过极限和唯一性真正连接到目标解析对象，以及该连接过程中是否混入了未经验证的假设。本文旨在以可审计的形式呈现这种依赖顺序。

本次发布意味着什么、不意味着什么

Zenodo记录将这份研究笔记定位为SEERAVERSE RH PROGRAM的一个重要的内部里程碑。然而，这并非经过同行评审的论文，而是一个预印本。此外，正如作者自身明确指出的，本文档并非宣称证明了黎曼猜想的公开声明。本次成果应被理解为：在程序内部解析地处理了残留在有限中央区域的障碍，并将其依赖关系整理成一条链条。

因此，“内部依赖链的闭合”与“数学界独立验证并接受为证明”是两个概念。SRI不只是依靠计算值或巨大的安全裕度来强化结论，而是要求对从定义、引理、常数、边界条件到有限确认再到解析结论的每个阶段，都能进行第三方可追溯的验证。

需要独立验证的关键论点

使用variable reflection-cap论证时的中心评估和反射系数上限是否在所述所有范围内成立。
传播因子的严格因式分解以及望远镜型几何项的处理是否存在遗漏。
从阈值收缩 $ ext{T}_{n+1}/ ext{T}_n < 4/9$ 和基础裕度能否导出中央区域的整体均匀裕度。
从有限Pick正定性到正实插值、Montel紧致性、Nevanlinna类唯一性、恒等延拓和极点排除后续逻辑是否有效。
有限计算、区间评估和解析论证的边界是否清晰，并且是可重新计算的形式。

研究资料

Zenodo记录（英文版・日文版PDF）
DOI: 10.5281/zenodo.23145297
相关背景文章：A New Way to Think About the Riemann Hypothesis

验证应按什么顺序进行

在独立验证中，不应该从最终结论倒推来评估印象，而是需要从前向后逐一确认依赖链。首先固定符号、矩阵、晶格、规范化和目标区间的定义；然后列出每个引理所引用的假设。接着，确认有限prefix、中央区域和restart这三个区域是否无重叠或空白地覆盖了所有深度。在中央区域，重要的是追踪上限是否在每个阶段真正适用，包括四舍五入和不等号的方向，以及端点的处理。

在后续的解析论证中，需要分开确认：从有限阶段的正定性能否构成插值函数；取极限时的局部有界性；晶格是否足以作为唯一性集合；恒等延拓所跨越的区域；以及应排除极点的位置。即使数值上存在巨大的裕度，也无法弥补另一个逻辑阶段假设上的缺陷。反之，我们也必须区分描述上的轻微错误和破坏依赖链本质性的错误。

可复现性和修订方针

Zenodo记录收录了英文版和日文版。引用或验证时，请记录的不仅是记录编号，还包括版本1.1、发布日期以及参考PDF的语言。未来如果对常数、引理、记法、验证范围进行任何更改，我们的方针不是覆盖旧版使其消失，而是作为新版本展示差异。

SRI寻求的不仅仅是赞同。反例候选、边界条件遗漏、与现有定理的不一致性、更短的证明路径、等价但易于验证的重述，这些也是重要的成果。通过明确指出验证结果针对的是哪个版本的哪个定义/引理/公式，可以连接到下一个修订版本。

AI辅助与人类责任

在本研究项目中，可以使用AI进行文献整理、式子比较、依赖关系提取、候选反例探索和图表创建。但是，不能将生成的解释或计算直接采纳为数学事实。关于公开的主张范围、证明责任的履行、对外部指摘的回应以及撤回或修订的判断，人类必须承担责任。

本次标题图片遵循同样的原则。它展示了从有限结构到约束传播再到解析刚性的构图，但该图不能替代证明本身。它仅作为导航工具，帮助读者理解整体位置关系，并判断应阅读本文档的哪个部分。

我们建议读者不要仅凭摘要就做出结论，如果可能，最好比较日文版和英文版的对应部分。如果对翻译表达差异、符号定义、引用编号或端点条件有疑问，请勿猜测补充，而应指出Zenodo的相应版本进行确认。公开后收到的有效指摘，其整理标准不是是否有利于结论，而是提高依赖链的精度。