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

提供されたテキストに基づき、Runlong Yuによる論文「Tail Criteria, No-Go Audits, and Apéry-Type Certificate Obstructions for the Irrationality of $e + \pi$」の技術的な要約を以下に記す。

問題提起

本論文は、$e + \pi$ の無理数性を証明するという長年の未解決問題に取り組んでいる。$e$ と $\pi$ はそれぞれ（HermiteおよびLindemannの定理により）超越数であることが知られているが、その和は理論上、有理数である可能性がある。本論文は、$e + \pi \notin \mathbb{Q}$ を直接証明しようとするものではない。代わりに、どのような初等的な「アペリー型（Apéry-type）」証明が満たすべき具体的な算術的要件を孤立させるという構造的なアプローチを採用している。その目的は、低複雑度の証明メカニズムにおける「禁止領域」を明確にするための「有界なノーゴー定理（bounded no-go theorem）」を定義し、なぜ標準的な近似手法がこの特定の定数に対して無理数性の有効な証明書（certificate）を生成できないのかを明らかにすることである。

手法

本論文は、厳密な算術的等価性、積分恒等式、および計算学的監査を組み合わせた三層のメソッドを用いている。

1. テイル基準解析（Tail Criteria Analysis）: 著者による、$e + \pi \in \mathbb{Q}$ という仮説と、階乗展開における特定の最終的な挙動との間の厳密な等価性の導出。これには、$\pi$ の階乗・カントール展開の「テイル（裾）」の解析、および $N!\pi$ に適用された天井関数の漸化式の解析が含まれる。
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 Audit）: 様々な低複雑度構成ファミリー（例：パデ近似、交差近似、J分数、ホロノミック・アンザッツ、カーネル・格子探索）に対する「監査」が本論文の核心である。この監査には以下の厳格なフィルタが適用される：
   • 分母のクリアリング（Denominator Clearing）: 整数線形形式が、分母を払った後に真に小さくなっていることを確認する。
   • 原始還元（Primitive Reduction）: 共通因子を取り除き、原始形式であることを確認する。
   • CFシャドウ監査（CF-Shadow Auditing）: 得られた有理近似が、単に $e + \pi$ の連分数（continued fraction）の収束値または中間収束値（これを「CFシャドウ」と呼ぶ）ではないかを確認する。これは、そのメカニズムが新しい無理数性証明書を生成しているのではなく、単に古典的な近似を再発見しているだけであることを示す。

主な貢献

1. 有理性のための厳密なテイル基準
本論文は、もし $e + \pi$ が有理数であれば、$\pi$ の階乗算術において特定の硬直した挙動が強制されることを証明している：

• 天井漸化式: もし $e + \pi \in \mathbb{Q}$ ならば、十分大きな $N$ に対して、数列 $A_N = \lceil N!\pi \rceil$ は漸化式 $A_{N+1} = (N+1)A_N - 1$ を満たさなければならない。
• 階乗・カントール数字: 階乗・カントール数字 $d_N(\pi)$ は、最終的に $N-2$ と等しくなければならない。
• 割り切れ条件: 特定の数列 $Q_N = \lfloor N!e \rfloor + \lceil N!\pi \rceil$ は、最終的に $N$ で割り切れなければならない。
  著者は、これらが厳密な等価性ではあるものの、有限の障害（obstruction）ではないことを強調している。無理数性を証明するには、これらのパターンが無限に失敗することを示す必要があるが、それは依然として困難である。

2. 混合カーネル恒等式
導入された中心的な数学的ツールは、任意の整数多項式 $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. ノーゴー監査フレームワーク
本論文は、厳格な「ノーゴー」フィルタを定義している。あるメカニズムは、以下の条件を満たす場合、有効なアペリー型証明書生成器としては却下される：

• 分母のクリアリングと原始還元を行った後、その整数線形形式がゼロに収束しない場合。
• その最強の出力が、非CF改善（non-CF improvements）の次数継続的なファミリーを形成することなく、単なる「CFシャドウ」（古典的な連分数近似）に帰着する場合。

結果

計算学的監査では、いくつかの低複雑度ファミリーをテストした：

• 混合パデ近似（Mixed Padé Approximations）: 解析的な近接性は提供したが、分母を払った後に小さな整数線形形式を生成することには失敗した。
• 交差近似（Crossed Approximations）: $e$ と $\pi$ の個別の近似を同期させる試みは、同一スケールでの必要な誤差キャンセルを生み出すことに失敗した。
• ホロノミックおよびロドリゲス型ファミリー: これらは局所的な解析残差を減少させることはできたが、得られた形式はゼロに収束しないか、あるいは共通因子やCFシャドウによって支配されていた。
• カーネル・格子探索（Kernel-Lattice Search）: これが最も感度の高い探索であった。145個の生の候補のうち、133個が原始レコードとして分類された。
  • CFシャドウの支配: 最良の信号（最小の残差）は、ほぼ例外なく「CFシャドウ」であった。例えば、次数14の候補は形式 $245223(e+\pi) - 1436976$ を与えたが、これは $9(27247(e+\pi) - 159664)$ に簡約された。この比率 $159664/27247$ は、$e + \pi$ の連近似であることが検証された。
  • 非CFファミリーの失敗: 「最良の非CF」候補は、多項式の次数が増加しても、安定して改善するファミリーを形成しなかった。分母のサイズは増大したが、残差の精度は単調に改善しなかった。

監査の結論: テストされた低複雑度ファミリーの範囲内では、非循環的なアペリー型メカニズムは見つからなかった。一般的な失敗モードは、分母と係数を考慮に入れた際に、解析的な小ささが算術的な小ささに変換されないことである。

意義と主張

本論文は、これが普遍的な不可能証明ではないことを明示的に主張している。$e + \pi$ が無理数であることを証明しているわけでも、証明が存在しないことを証明しているわけでもない。

むしろ、その意義は以下の点にある：

1. 構造的明確化: 単なる有理近似と、真の無理数証明を区別する厳密な算術的要件（整数線形形式がゼロに収束すること）を孤立させた。
2. 「禁止領域」の定義: 指定された低複雑度戦略の宇宙における「有界なノーゴー定理」を確立した。解析的な打ち消しと、算術的な増大（分母のクリアリング、原始還元）との間の競争が、証明書の可能性を破壊することを実証した。
3. 診断ツール: 「CFシャドウ監査」は、将来の試みのための必要なフィルタとして提示されている。新しいメカニズムは、原始還元を通過し、それが単に古典的な連分数近似を再パッケージ化したものではないことを証明しなければならない。

本論文は、アペリー的な手段による $e + \pi \notin \mathbb{Q}$ の成功する証明は、整数係数、非ゼロの残差、そして強い算術的フィルタリングを生き残る方法でゼロに収束する残差推定を組み合わせる必要があると結論付けている。テストされた低複雑度ファミリーはこの結合を実現できなかった。