Prime-Exponent Transition Geometry and Divisor Barriers Between Consecutive Highly Composite Numbers

技術要約：高度合成数間の素数指数遷移の幾何学と約数障壁

問題設定
本論文は、連続する2つの高度合成数（HCN）$H < H'$ の間の遷移における幾何学的および算術的な構造を調査するものである。HCNは、約数関数 $d(n)$ の厳密な記録保持者であり、$m < H$ であるすべての $m$ に対して $d(m) < d(H)$ を満たす。この遷移は、素数指数の格子における有向パスとしてモデル化され、状態空間は算術的な「天井」 $z \le H'$ によって制約される。

中心となる対象は、$(H, H')$ 間の測地線（指数格子における最短経路）における**最大最小容量（maximin capacity）**である。これは、初期の約数個数 $d(H)$ で正規化された、経路上で遭遇する最小の約数個数の最大値を求めるものである。これは、固定端点を持つ最大最小問題として以下のように定式化される：
$$\beta_{\text{geo}}(H, H') = \frac{1}{d(H)} \max_{\gamma} \min_{z \in \gamma} d(z)$$
ここで、最大値はすべての $H'$-許容な測地線 $\gamma$ について取られる。

手法
本アプローチは、厳密な算術列挙、動的計画法、および構造的数論を組み合わせたものである：

1. 状態空間と再帰: 遷移は、$H$ と $H'$ の素数指数の成分ごとの最小値および最大値によって定義される「指数ボックス」を通るパスとして表現される。本論文は、任意の固定された $(H, H')$ ペアおよび天井に対して、最適なボトルネック容量を計算するための厳密な動的計画法再帰（定理 2.3）を確立している。
2. 相補的反射: 主要な構造的ツールは、対合（involution） $z \mapsto z^\sharp = HH'/z$ である。本論文は、指数ボックス内の任意の状態 $z$ に対して、約数個数の積が $d(z)d(z^\sharp) \ge d(H)d(H')$ を満たすことを証明している。
3. 静的解析 vs 動的解析: 著者らは、静的な重なり（$d(\gcd(H, H'))$ で測定される）と、「動的」な容量（最適にスケジューリングされたパス）を対比させている。彼らは、静的なgcdルートが必ずしも最適ではないことを示している。なぜなら、それは「削除してから挿入する」というシーケンスを強制するが、削除と挿入を交互に行うことで、より高い約数個数を維持できるからである。
4. 削除距離による層別化: 問題は、$L^-$（指数が減少する素数レイヤーの数）に基づいて分析される。本論文は、$L^- \le 1$ の場合の厳密な解を提供し、$L^- = 2$ のケースを有限の約数選択汎関数へと還元している。
5. コンピュータ支援検証: $10^{70}$ までのHCNの網羅的な列挙が行われた。これには889個の記録生成と888個の連続する遷移が含まれる。すべての遷移に対して、整数演算を用いて厳密な最大最小容量が計算された一方、ヒューリスティックな貪欲スケジューラは、任意精度区間演算を用いてそれらの最適値と比較検証された。

主要な貢献と結果

• 静的半値境界の破綻: 本論文は、静的なgcdの重なりが常に約数の半分以上の値を保持するという予想、すなわち $d(\gcd(H, H')) \ge d(H)/2$ が誤りであることを証明している。最初の反例は $H = 48,886,437,600$ で発生し、その比率は $4/9$ である。$10^{70}$ までの範囲において、この静的境界は119回破綻している。
• レコードボックス・ギャップ（Record-Box Gap）: 反射原理を用いて、著者は $H$ と $H'$ の指数ベクトルに対して成分ごとに間にあるような、両者の間にある整数状態 $z$ は存在しないことを証明している。したがって、いかなる許容可能な測地線も、$H'$ に戻る前に $H$ より下へと下降しなければならない。
• 動的半容量: 静的境界の失敗にもかかわらず、計算された動的容量 $\beta_{\text{geo}}(H, H')$ は、検証された範囲内では決して $1/2$ を下回らない。
• 等価性の分類: $\beta_{\text{geo}}(H, H') = 1/2$ となるのは、ちょうど $H$ において指数1の素数が取り除かれたとき（すなわち、サポートのサイズが減少したとき）であると特定されている。これらの場合、サポート素数の消失が回避不能な $1/2$ の減少を強いる。
• 厳密な還元:
  • $L^- = 1$ の場合、容量は正確に $\frac{a}{a+1}$ である（ここで $a$ は削除された素数の指数）。
  • $L^- = 2$ の場合、問題は、2番目の削除が行われる前に蓄積されるべき「修復（挿入）」を分離する、約数選択汎関数 $R_s(C; g)$ へと還元される。
• 証明書とスケジューリング: 本論文は、すべてのパスを列挙することなく $1/2$ の下限を保証するいくつかの算術的証明書（crossing, source-profile packing, および compensated matching）を提供している。また、計算された888個の遷移すべてにおいて、動的計画法の最適値と一致する、記録固有の貪欲スケジューラ（ルール G1-G2）を提案している。

意義と主張

本論文は、HCN間の遷移を分析するための扱いやすい状態空間と、証明された一連のメカニズムを確立したと主張している。その主要な貢献は、静的な算術的重なりと、動的なスケジューリング幾何学との区別にある。著者は、「標準的な」gcdパスが約数個数の半分を大幅に下回ることがある一方で、最適にインターリーブされたパスは常に少なくとも半分まで回復できることを示している。

本研究は、普遍的な証明に関しては控えめな内容となっている：

• 普遍的半容量予想（すべての連続するHCNに対して $\beta_{\text{geo}} \ge 1/2$）は未解決のまま提示されているが、証明されたすべての層（$L^- \le 1$）および検証された全範囲（$10^{70}$）において成立している。
• 等価性の分類（等価性はサポート素数が失われたときのみ成立する）も、証明されたケース以外では予想として提示されているが、検証されたデータにおいては成立している。
• 本論文は、一般的な整数に対する最大最小問題を解決したり、この予想を普遍的に証明したりすることを目的としているのではなく、むしろ「有限の証明書」と「2次削除への還元」を提供することで、残された未解決問題を、約数選択汎関数の特定の算術的制御へと絞り込んでいる。

その意義は、遷移を素数指数格子上の制約付きスケジューリング問題として厳密に定式化し、「レコードボックス・ギャップ」を発見し、静的なgcd解析の十分性に疑問を投げかける再現可能な計算フレームワークを提供した点にある。