Bounded-box reductions in the Subbarao-Warren problem for unitary perfect numbers

技術的サマリー：単位的完全数におけるサブラオ・ウォレン問題の有界ボックス削減

問題の定義
本論文は、単位的完全数（UPN）に関するサブラオ・ウォレン問題を取り扱っている。正整数 $n$ が UPN であるとは、$n$ の単位的約数の和 $\sigma^*(n)$ が $2n$ に等しいことを意味する。現在知られている例は 5 つのみであり、それらは 6, 60, 90, 87360、および 146361946186458562560000 である。厳密な予想は、これら 5 つが UPN のすべてであると主張している。

UPN $n = 2^a \prod p_i^{e_i}$（$p_i$ は奇数）の定義方程式は、「完全なバランス」である：
$$(2^a + 1) \prod (p_i^{e_i} + 1) = 2^{a+1} \prod p_i^{e_i}$$
ここで、$2^a + 1$ は依存カスケードを開始する「シード因子」として機能する。UPN のすべての奇素数約数は「3-ヒッグス」素数でなければならない（3-ヒッグス素数とは、$p-1$ のすべての素因数もまた 3-ヒッグスであり、$p-1$ の素因数分解における指数が 3 以下に制限されている素数 $p$ を指す）。本論文は、既知の例には含まれないが初期の構造的制約を満たす「なりすましカーネル」（奇数依存グラフ内のソース成分）を分析することにより、新しい UPN の存在可能性を調査する。

手法
著者は、厳密な計算列挙と解析的整数論の組み合わせを採用しており、これは「有界ボックス」アプローチと 3 つのフィルタによる認証システムを中心に構成されている。

1. 有界列挙ボックス ($B$)：探索は特定の領域に制限される。すなわち、素数 $p \le 2000$、指数 $e \le 6$、$p^e \le 10^9$、およびサイズ $\le 6$ の強連結成分（SCC）である。このボックス内において、著者はソースと互換性のある SCC を列挙する。
2. 3 つのフィルタ認証：各候補カーネルとシード指数 $a$ に対して、UPN の可能性を排除するために 3 つの厳密なフィルタが適用される。
   • フィルタ Z（ジグモンディ/ヒッグス）：$p^e+1$ の原始素因数が 3-ヒッグス制約に違反する指数の障害を検出するために、ジグモンディの定理を用いる。
   • フィルタ N（非 3-ヒッグス証人）：$a$ の約数 $m$（$a/m$ が奇数）をチェックする。もし $2^m+1$ が非 3-ヒッグス素因数を含んでいる場合、シード $2^a+1$ はこの因子を継承するため、候補は無効となる。このフィルタは FactorDB からの部分因数分解と再帰的なプラット木検証を利用する。
   • フィルタ O（2 進予算超過）：奇数成分によって必要とされる累積 2 進付値 $v_2$ を計算する。もし $v_2(p^e+1)$ の和が利用可能な予算 $a+1$ を超える場合、候補は排除される。
3. 集合 $H_{even}$ の分析：本論文は、$2^m+1$ のすべての素因数が 3-ヒッグスであるような偶数 $m$ の集合を $H_{even}$ と定義する。非平方自由な奇数部分を持つ新しい UPN の存在は、この集合の有限性と関連している。著者は問題を「素数ケース」（$m=2p$）に還元し、アウフェイル分解と深いプラット木降下を用いてこれらの候補の構造的性質を分析する。

主要な貢献と結果

• なりすましカーネルの排除：有界ボックス $B$ 内において、著者は 2 つの既知のカーネル 32 と 54 に加えて、初期の安価なフィルタを通過する 5 つの「なりすましカーネル」を特定した。3 つのフィルタ認証を用いて、すべてのシード指数 $1 \le a \le 10,000$ に対して、これらのなりすましカーネルを洗練する奇数成分構造を持つ UPN は存在しないことを証明した。
  • 統計：この範囲内の 2,119 件の候補のうち、495 件がフィルタ Z によって、1,614 件がフィルタ N によって、10 件がフィルタ O によって排除された。
• $H_{even}$ に対する厳密な境界：本論文は、$H_{even}$ 集合に対する検証済みの境界を提供する。
  • $|H_{even} \cap [2, 40000]| \le 201$（191 件の未決定候補を含む）。
  • $|H_{even} \cap [2, 50000]| \le 272$（262 件の未決定候補を含む）。
  • これらの境界は、大規模な証人素数（最大 3053 桁）に対する APR-CL 素性検証トランスクリプトと、部分因数分解の保守的な処理に依存しており、厳密である。
• 構造的削減：
  • 定理 7：$H_{even}$ が有限であることは、素数ケースの部分集合 $H_{even}^{prime} = \{2p \in H_{even} : p \text{ は素数}\}$ が有限であることと同値であることを証明する。さらに、$|H_{even}| \le 4^{|H_{even}^{prime}|}$ である。
  • 定理 21：$H_{even}$ に対する無条件の「べき節約的な薄さ」の境界（すなわち、個数は $O(X^{1-\eta})$ として増加する）を確立するが、これは有限性を証明するものではない。
• 解析的障害の特定：本論文は、有限性を証明するための正確な障壁を特定する。フォードの定理は 3-ヒッグス素数に対する大域的密度境界を提供するが、円分値 $\Phi_{4p}(2)$ の原始約数のスケールでは不十分である。残された課題は約数レベルの問題であり、大きな $p$ に対して、$2^{2p}+1$ の原始素因数がすべて 3-ヒッグスになり得ないことを証明することである。

意義と主張
本論文は、厳密なサブラオ・ウォレン予想（UPN は 5 つのみ存在する）を証明していないと明言している。代わりに、「有界ボックスによる排除」と「検証済みの有限フロンティア」を達成している。

• 単一の解析的問いへの還元：この研究は、有界ボックス内での新しい UPN の発見の問題を、$H_{even}$ の有限性に還元し、それはさらに $\Phi_{4p}(2)$ の素因数の振る舞いに依存している。
• 将来の研究に対する正確な目標：著者は、欠けている定理を $\Phi_{4p}(2)$ の素因数に対する約数レベルの等分布または対数質量の境界として特定している。具体的には、本論文は問題を閉じるために必要な条件として、予想 23（ハイブリッド半群・friable 移動素数予想）と予想 29（約数 mod-16 等分布）を定式化している。
• 再現性：本論文は、すべての計算結果が再現可能であることを強調している。なりすましカーネルの排除と $H_{even}$ の境界を検証するための因数キャッシュ、APR-CL 検証トランスクリプト、および Python スクリプト（impostor_certificate.py、verify_Heven_rigorous.py）が提供されている。

要約すると、本論文は定義された探索空間内でシード指数 10,000 までのすべての潜在的な「なりすまし」ソースを厳密に排除し、残された未解決の問題を、円分多項式の素因数に関する具体的かつ明確に定義された解析的予想に還元している。