Certified Minimal-Prime Branch Closures for Odd Perfect Numbers

技術要約：奇数完全数に関する最小素数枝の認定済みの閉鎖

問題設定
本論文は、正の奇数 $N$ で $\sigma(N) = 2N$（$\sigma$ は約数の和関数）を満たす、古典的な未解決問題である奇数完全数（OPN）の存在に焦に焦点を当てている。$N$ の下限およびその素因数の数に関する広範な文献が確立されている一方で、完全な非存在証明は依然として困難なままである。本研究は、特に「最小素数枝（minimal-prime branch）」問題、すなわち、最小の素因数 $q = \min\{p : p \mid N\}$ が特定の小さな値を取る場合に、OPNが存在し得るかどうかを判定することに焦点を絞っている。

本論文は、$q \in \{5, 7, 11, 13, 17\}$ の枝の隔離および閉鎖を試みている。これらが「最小素数」の主張であることを明示しておく。例えば、$q=5$ の枝の閉鎖は、5がその「最小の」素因数である場合に（すなわち $3 \nmid N$ である場合に）OPNが存在しないことを証明するものであり、3も因子として持つ場合に5で割り切れるOPNを排除するものではない（それは $q=3$ の枝に属するためである）。$q=3$ および $q \ge 19$ のケースは、本研究の範囲から明示的に除外されている。

手法
アプローチは、局所的な $q$ 進評価と下位素数回避制約によって駆動される「枝刈り（branch-and-bound）」認定戦略を利用している。手法は以下の論理的レイヤーを通じて進行する：

1. 評価のバランス（Valuation Balance）: オイラーの形式 $N = \pi^\alpha M^2$（$\pi$ はオイラー素数）に基づき、本論文は $q$ 進評価バランス方程式を確立する。最小素数 $q$ に対して、評価 $v_q(\sigma(N)) = v_q(2N) = v_q(N)$ は、$N$ の他の素数冪の約数の和によって完全に供給されなければならない（なぜなら $\sigma(q^{e_q}) \equiv 1 \pmod q$ であるため）。
2. 下位素数回避（Lower-Prime Avoidance）: $q$ が最小の素数であるため、$N$ を割る素数 $\ell < q$ は存在し得ない。したがって、すべての素数冪 $p^e$ について、条件 $v_\ell(\sigma(p^e)) = 0$ が成立しなければならない。これは、多くの潜在的な構成を排除する厳格な「回避」フィルタを作成する。
3. 入力証拠（Input Witnesses）と被覆分割（Coverage Splits）: 証明は、$N$ の支持集合における $N$ に含まれる素数 $p \neq q$（入力証拠）を特定する。これらは $q$ を法とする位数 $d = \text{ord}_q(p)$ によって分類される。これにより、枝を有限の「被覆分割」へと分類する（例：特定の次数の非オイラー証拠、またはオイラー素数が証拠となる場合）。
4. 簡約された余因子（Reduced Cofactors）と強制される素数: 各サブケースにおいて、「簡約された余因子」（必要な $q$ の冪で割ったシクロトミック因子 $\Phi_d(p)$）を分析する。
   • 余因子が素因数 $\ell < q$ を持つ場合、下位素数回避によってその枝は反駁される。
   • 余因子が素因数 $r > q$ を持つ場合、この素数は $N$ の支持集合へと「強制」される。これは $N$ の構造に対する新たな制約を生む。
   • 余因子が「純粋な」ケース（例：2の冪）である場合、特定のディオファントス・フィルタまたはテイル（尾部）証明書を用いて処理される。
5. テイル制御と証明書（Tail Control and Certificates）: 直ちに反駁されない、あるいは強制されない枝に対しては、「テイル・エンベロープ（tail envelopes）」を用いる。これは不等式 $H(K_{env}) \left(\frac{B}{B-1}\right)^M < 2$ を用いる。ここで $H$ は素因数の積 $(p/(p-1))$、$B$ は残りの素数の下限、$M$ は残りの素数の数の上限である。この積が2未満であれば、その枝にはOPNが含まれ得ない。

証明はハイブリッド形式である。論理的枠組み（補題、被覆分割、定理）は手書きであるが、有限の枝の網羅的な検証は、機械可読な証明書（JSONLファイルおよびPython検証器）によって行われる。

主な貢献

• 5つの枝の形式的認定: 本論文は、$q = 5, 7, 11, 13, 17$ の最小素数枝の完全な機械検証可能な閉鎖を提供する。
• 統一的メカニズム: 複雑な算術問題を有限の被覆分割とテイル制御不等式に還元する、統一的な「強制または純粋（forced-or-pure）」メカニズムを確立した。
• 再現可能な証明書の公開: 著者による、特定のデータ（因子分解、位数記録、テイル数）を含む凍結された証明書セット（$C_{small}$）のリリース。これには、手書きの数学的論理と機械チェックされた算術データを分離する「検証契約（verifier contract）」が含まれる。
• 詳細な監査モデル: $q=5$ の枝は詳細な監査モデルとして提示されており、初期の分割から最終的なテイル制御証明書に至るまでの全導出を示しており、他の枝のテンプレートとして機能する。

結果
主定理（定理 1.1 および定理 14.1）は、証明書リリース $C_{small}$ に関して、$\min\{p : p \mid N\} \in \{5, 7, 11, 13, 17\}$ となる奇数完全数 $N$ は存在しないことを述べている。

具体的には：

• $q=5$: オイラー素数の剰余および非オイラー証拠の存在に基づき、枝は3つの子（$Q5E2, Q5E1, Q5N$）に分割される。すべてのサブ枝は、有限ウィンドウチェック、パラメトリック・テイル証明書、および純粋な族の排除によって閉鎖される。
• $q=7, 11, 13, 17$: これらの枝は、それぞれの「厳密なフロンティア（strict frontier）」リーフ（被覆分割の終端ノード）が、下位素数回避によって反駁されるか、テイル制御状態に強制されるか、あるいは純粋なディオファントス・スクリーン（例：$\Phi_5(x) = 11^c$ のような方程式の解法）によって排除されることを検証することで閉鎖される。

意義と範囲
本論文は、新たな $N$ の大域的な下限ではなく、「証明書定理（certificate theorem）」としての意義を主張している。これは、奇数完全数が存在しないことを証明するものではない。単に、5, 7, 11, 13, または 17 を「最小の」素数として持つ奇数完全数は存在しないことを証明するものである。

著者は、結果のモジュール性を強調している：

• 最小素数問題を、完全なOPN問題から分離している。
• 再現可能で機械監査可能な、算術的な障害を検証するための枠組みを提供している。
• $q=3$ の枝（下位素数回避の制約を欠くもの）および $q \ge 19$ の枝（入力次数の別途処理を必要とするもの）を、今後の課題としてオープンな問題として残している。

本研究は、既存の大域的フィルタ（例：Nielsenによる素因数の数の下限）を整合性チェックとしてのみ利用し、実際の閉鎖は、入力の位数ラベル付きシクロトミック関数と提供された有限の証明書によって駆動されている。