高 μ 領域の有限降下を全面的に改訂しました

コラッツ予想に関する新しいプレプリントを Zenodo にアップロードしました。

日本語版
https://doi.org/10.5281/zenodo.16758917

English version
https://doi.org/10.5281/zenodo.15870106

今回のバージョンでは、証明の中でも特に重要だった「高 μ 領域」に関する議論を大幅に改訂しました。

以前の版では、高 μ 領域から低 μ 領域へ降りるという見通しはありましたが、その有限降下の説明に不安定な部分が残っていました。
今回の版では、その部分を整理し直し、高 μ 領域で残りうる第2の場合を「完全凍結 tail」として定式化しました。

そして、その完全凍結 tail が加速コラッツ写像の下で持続できないことを、最下位ユニットの局所解析によって示す形に書き直しました。

今回の証明の見方

この研究では、コラッツ予想を「自然数を一つずつ追いかける問題」としてではなく、正の奇数を別の表現に移し替えた上で、その構造の変化を調べる問題として扱っています。

具体的には、正の奇数を

交代二進表現 ABN
コラッツ相表現 CPE

という表現に翻訳します。

その上で、加速コラッツ写像を、CPE 上の局所書換えとして記述します。

つまり、通常のように整数列をそのまま追うのではなく、数の内部にあるユニット構造が、コラッツ操作によってどのように書き換わるかを見ています。

この視点により、軌道全体を逐点的に追跡するのではなく、構造の型ごとに議論することができます。

高 μ 領域の改訂

今回の最大の修正点は、高 μ 領域の扱いです。

μ は、CPE の構造の深さや末尾構造に関わる重要な量です。
μ が大きい領域では、通常の低 μ 領域とは異なる構造的な振る舞いが現れます。

以前の版では、この高 μ 領域から低 μ 領域へ有限時間で降りるという主張を、高 μ 降下として扱っていました。

今回の版では、その中でも特に問題になりやすかった第2の場合を、完全凍結 tail として定式化しました。

完全凍結 tail とは、ざっくり言えば、末尾側の構造が加速コラッツ写像の下で固定されたように見える配置です。
もしこの配置がいつまでも続くなら、高 μ 降下が止まってしまう可能性があります。

そこで今回の証明では、末尾に C(1) および C(2) を含む局所パターンを詳しく解析しました。

その結果、完全凍結を仮定すると、有限回の局所遷移の中で矛盾が生じることを明示しました。

これにより、

μ ≥ 4 の任意の軌道は、有限時間で μ ≤ 3 の低 μ 領域に到達する

という高 μ 降下の主張が、以前よりも明確な形になりました。

低 μ 領域と有限型探索

もう一つの重要な整理は、低 μ 領域の有限探索の意味づけです。

以前の説明では、切詰め代表整数が元の整数軌道を保存する、という印象を与えやすい部分がありました。

今回の版では、ここを整理し直しました。

低 μ 領域で行っているのは、通常の整数軌道そのものを保存する確認ではありません。
CPE の切詰めによって誘導される「有限型写像」の確認です。

つまり、整数そのものを無限に追うのではなく、CPE の有限個の型の遷移として最終段を確認します。

この有限型写像の反復を計算機で確認することで、低 μ 側の挙動を扱います。
論文中には、この確認を助けるための疑似コードとチェックリストも追加しました。

高 μ と低 μ をつなぐ構成

今回の証明の流れは、大きく見ると次のようになります。

まず、正の奇数を ABN/CPE に翻訳します。

次に、端点近傍の局所パターンを解析し、構造量に関する一段不等式を導きます。

その上で、高 μ 領域では、完全凍結 tail が持続できないことを示し、有限時間で低 μ 領域へ降りることを示します。

一方、低 μ 領域では、CPE の切詰めによって誘導される有限型写像を確認します。

途中で例外的に高 μ 領域へ上がる枝が出た場合も、高 μ 降下定理へ送ることで、有限時間で再び低 μ 側へ戻ります。

したがって、

高 μ 領域の有限降下
低 μ 領域の有限型探索

この二つを組み合わせることで、任意の正の奇数状態が解決されます。

正の整数については、偶数であれば 2 で割ることで正の奇数へ到達するため、最終的に任意の正整数のコラッツ軌道が有限回で 1 に到達する、という結論になります。

著者情報について

本バージョンでは、著者情報も更新しました。

著者は、上岡良季・日向泰一です。
また、山鳥邦仁氏については、初期の議論および計算的着想に関する貢献として、謝辞に記しました。

リンク

日本語版プレプリント
https://doi.org/10.5281/zenodo.16758917

English version
https://doi.org/10.5281/zenodo.15870106

おわりに

今回の改訂は、単なる誤字修正や説明の追加ではなく、証明の中核部分をかなり大きく組み直したものです。

特に、高 μ 領域における有限降下の扱いを、完全凍結 tail の排除という形に置き直したことで、証明全体の構造が以前よりも明確になりました。

コラッツ予想は、非常に単純に見える一方で、整数軌道をそのまま追いかけるだけでは本質が見えにくい問題です。

今回の研究では、数を ABN/CPE へ翻訳し、加速コラッツ写像を局所書換えとして見ることで、軌道ではなく構造の遷移として問題を扱っています。

数をどう見るか。
どの表現へ翻訳するか。
どの座標系なら、隠れていた構造が見えるのか。

今回のプレプリントは、その問いから出発したコラッツ予想への一つの回答です。