Tail Criteria, No-Go Audits, and Apéry-Type Certificate Obstructions for the Irrationality of e+\pi

基于提供的文本，以下是 Runlong Yu 的论文《关于 $e + \pi$ 无理性的尾部准则、No-Go 审计以及 Apéry 型证书障碍》的技术摘要。

问题陈述

本文探讨了证明 $e + \pi$ 无理性的长期开放问题。虽然 $e$ 和 $\pi$ 各自已知是超越数（通过 Hermite 和 Lindemann 的定理），但它们的和在理论上仍可能是有理数。本文并不试图直接证明 $e + \pi \notin \mathbb{Q}$，而是采用一种结构化方法，旨在隔离任何初等“Apéry 型”证明需要满足的具体算术要求。其目标是定义一个“有界 No-Go 定理”，以划定低复杂度证明机制的“禁区”，阐明为什么标准的逼近技术无法为这个特定的常数产生有效的无理性证书。

研究方法

本文采用了结合精确算术等价性、积分恒等式和计算审计的三管齐下的方法论：

1. 尾部准则分析（Tail Criteria Analysis）： 作者推导了假设 $e + \pi \in \mathbb{Q}$ 与阶乘展开中特定最终行为之间的精确等价关系。这涉及分析 $\pi$ 的阶乘-Cantor 展开的“尾部”，以及应用于 $N!\pi$ 的取整函数（ceiling functions）的递推关系。
2. 混合积分证书框架（Mixed Integral Certificate Framework）： 本文建立了一个框架，用于生成整数线性形式 $L_n = A_n(e + \pi) + B_n$，该框架利用了一种混合分部积分恒等式。该恒等式结合了 $e$ 的积分表示（通过 $\int P(x)e^x dx$）和 $\pi$ 的积分表示（通过 $\int \frac{1}{1+x^2} dx$），从而产生使得 $A_n, B_n \in \mathbb{Z}$ 的形式。
3. No-Go 审计（No-Go Audit）： 本文的核心是对各种低复杂度构造族（例如 Padé 近似、交叉近似、J-分数、全纯 ansatz 以及核格搜索）进行“审计”。该审计应用了严格的过滤器：
   • 分母消除（Denominator Clearing）： 确保在消除分母后，整数线性形式确实是微小的。
   • 本原约简（Primitive Reduction）： 去除公因子以检查本原形式。
   • CF-影子审计（CF-Shadow Auditing）： 检查生成的有理逼近是否仅仅是 $e + \pi$ 连分数的一个渐近分数或中间渐近分数（即“CF-影子”），这将表明该机制并非在生成新的无理性证书，而仅仅是在重新发现经典的逼近。

主要贡献

1. 有理性的精确尾部准则
本文证明，如果 $e + \pi$ 是有理数，它将迫使 $\pi$ 的阶乘算术呈现出特定的、僵化的行为：

• 取整递推（Ceiling Recurrence）： 如果 $e + \pi \in \mathbb{Q}$，则对于足够大的 $N$，序列 $A_N = \lceil N!\pi \rceil$ 必须满足递推关系 $A_{N+1} = (N+1)A_N - 1$。
• 阶乘-Cantor 数字（Factorial-Cantor Digits）： 阶乘-Cantor 数字 $d_N(\pi)$ 最终必须等于 $N-2$。
• 整除准则（Divisibility Criterion）： 特定的序列 $Q_N = \lfloor N!e \rfloor + \lceil N!\pi \rceil$ 必须最终能被 $N$ 整除。
  作者强调，虽然这些是精确的等价关系，但它们并不是有限的阻碍；证明无理性需要证明这些模式会无限次地失效，这仍然是一个难题。

2. 混合核恒等式（The Mixed Kernel Identity）
本文引入的一个核心数学工具是针对任何整数多项式 $P(x)$ 的混合积分恒等式：
$$\int_0^1 \left( P(x)e^x + \frac{4A(P)}{1+x^2} \right) dx = A(P)(e + \pi) - S_P(0)$$
其中 $A(P) = \sum (-1)^j P^{(j)}(1)$ 且 $S_P(0) = \sum (-1)^j P^{(j)}(0)$。这提供了一种系统生成 $e + \pi$ 整数线性形式的方法。本文识别出的挑战在于，如何在不让算术系数（分母）增长过快以破坏无理性证明所需的“微小性”的前提下，使积分在解析上趋于极小。

3. No-Go 审计框架
本文定义了一个严谨的“no-go”过滤器。如果一个机制满足以下条件，则被排除在有效的 Apéry 型证书生成器之外：

• 其整数线性形式在消除分母并进行本原约简后，并不趋于零。
• 其最强的输出简化后属于“CF-影子”（经典连分数逼近），而未能形成一个度数持续增长的非 CF 改进族。

结果

计算审计测试了几种低复杂度族：

• 混合 Padé 近似（Mixed Padé Approximations）： 提供了解析上的接近性，但在消除分母后，无法产生微小的整数线性形式。
• 交叉近似（Crossed Approximations）： 同步 $e$ 和 $\pi$ 的独立近似，未能产生在同一尺度上必要的误差抵消。
• 全纯与 Rodrigues 型族（Holonomic and Rodrigues-type Families）： 虽然这些方法可以减少局部解析残差，但产生的形式要么不趋于零，要么被公因子和 CF-影子所主导。
• 核格搜索（Kernel-Lattice Search）： 这是最敏感的搜索。在 145 个原始候选者中，133 个被归类为本原记录。
  • CF-影子的主导地位： 最好的信号（最低残差）几乎全是“CF-影子”。例如，一个 14 阶的候选者产生了一个形式 $245223(e+\pi) - 1436976$，该形式简化为 $9(27247(e+\pi) - 159664)$。经验证，$159664/27247$ 是 $e + \pi$ 的一个连分数渐近分数。
  • 非 CF 族的失败： “最佳非 CF”候选者并未随着多项式次数的增加而形成一个稳定且改进的族。分母的大小在增长，但残差精度并未实现单调改进。

审计结论： 在测试的低复杂度族中，未发现任何非循环的 Apéry 型机制。常见的失败模式是：一旦考虑到分母和系数，解析上的微小性并不能转化为算术上的微小性。

意义与主张

本文明确声明并非一项普遍的不可能定理。它既没有证明 $e + \pi$ 是无理数，也没有证明不存在证明方法。

相反，其意义在于：

1. 结构化澄清： 它隔离了区分真正的无理性证明与单纯的有理逼近所需的精确算术要求（即整数线性形式趋于零）。
2. 定义“禁区”： 它为指定的低复杂度策略宇宙建立了一个“有界 No-Go 定理”。它证明了对于这些策略，解析抵消与算术增长（分母消除、本原约简）之间的竞争破坏了证书生成的可能性。
3. 诊断工具： “CF-影子审计”被呈现为未来尝试的必要过滤器。任何新机制都必须通过本原约简测试，并证明其不仅仅是在重新包装经典的连分数逼近。

本文得出结论，通过 Apéry 型手段实现 $e + \pi \notin \mathbb{Q}$ 的成功证明，必须使整数系数、非零余项以及趋于零的余项估计，以一种能够经受住强算术过滤的方式耦合在一起——而测试的低复杂度族未能实现这种耦合。