A Fibonacci theorem for Collatz trajectories via modular graph structure

技術的要約：モジュラーグラフ構造を介したコラッツ軌道に関するフィボナッチ定理

問題提起
本論文は、偶数の場合は $n/2$、奇数の場合は $(3n+1)/2$ と定義される加速コラッツ写像 $T(n)$ のダイナミクスを扱う。コラッツ予想はすべての正の整数が最終的にサイクル $1 \leftrightarrow 2$ に到達することを提唱しているが、証明は存在しない。本論文は、軌道の特定の構造的特性、具体的には、奇数が初期反復のステップ $2, \dots, m$ において、モジュラーグラフ上の頂点 $4$を回避する剰余類$4 \pmod 6$を避ける頻度に焦点を当てる。具体的には、ステップ$2, \dots, m$において$T$の軌道がモジュラーグラフの頂点$4$を訪問しないような奇数$n \in {1, \dots, 2^m}$ の個数を調査する。

手法
著者は、バイナリ（二進法）とモジュラー（剰余）の両方のレンズを通じてコラッツのダイナミクスを同時に分析し、それらを特定の全単射と構造的対称性によって結びつける、デュアル・エンコーディング・フレームワークを用いる。

1. バイナリ・エンコーディングと補正剰余：
   本論文は、パリティ・エンコーディング $C_m(n) = (c_1, \dots, c_m)$（ここで $c_i = T^{i-1}(n) \pmod 2$）を利用する。主要な代数的ツールは「補正剰余」$R(C_m(n))$ であり、これは $T^m(n) = (3^s n + R)/2^m$ となるように定義される（ここで $s$ はエンコーディングのハミング重さである）。$R$ はバイナリ・エンコーディングのみに依存することを本論文は確立しており、これにより、$n$ という具体的な整数値に言及することなく、バイナリ文字列のレベルのみで $T^m(n)$ の分析を行うことが可能となる。

2. モジュラー・エンコーディングとグラフ構築：
   ダイナミクスはまた、頂点 $\{0, 1, 2, 3, 4, 5\}$ を持つ有向グラフ $G$ を通じて $\pmod 6$ でエンコードされる。遷移は現在の反復値のパリティによって決定される。著者は、整数を $G$ 内の長さ $m$ の有向パスへと写す全単射 $\Psi_m: \{1, \dots, 6 \cdot 2^m\} \to \mathcal{P}_m(G)$ を構築する。この全単射は、バイナリ・エンコーディング写像 $\Phi_m$ と同様の構造的特性（全単射性、周期性、および反対称性）を共有している。

3. スペクトルグラフ理論：
   分析は、奇数の軌道における唯一の吸収強連結成分（ステップ2以降）である部分グラフ $G' = G[\{1, 2, 4, 5\}]$ に焦点を当てる。本論文は、$G'$ 自体と、頂点 $4$を除去して得られる部分グラフ$H_4$との間のスペクトル・ギャップに基づいたスペクトル特性を調査する。核心となるメカニズムは、有効な部分グラフ$G'$と、回避用部分グラフ$H_4$ のスペクトル半径の差に依存している。

主要な貢献と結果

• 正確なフィボナッチ個数（定理 4.7）：
  本論文の主要な結果は、特定の剰余を回避する奇数の正確なカウントである。各 $m \ge 1$ に対して、$\{1, \dots, 2^m\}$ 内の奇数のうち、ステップ $2, \dots, m$ において剰余類 $4 \pmod 6$ を回避する軌道を持つものは、ちょうど $F(m+1)$ 個存在する。ここで、$F(m+1)$ は第 $(m+1)$ フィボナッチ数である。このカウントは、回避用部分グラフ $H_4$ のスペクトル半径である黄金比 $\phi = (1+\sqrt{5})/2$ から導出される。

• 指数的減衰率（系 4.9）：
  そのような整数の割合は、$(\phi/2)^m$ の割合で指数的に減少する。この割合は、回避用部分グラフのスペクトル半径 $\rho(H_4) = \phi$ と、完全な有効部分グラフのスペクトル半径 $\rho(G') = 2$ の比に正確に一致する。

• モジュラー・パス定理（定理 4.1）：
  本論文は、変位 $+2^m$ がモジュラー・エンコーディングに与える作用を特徴づけている。ある整数 $n$ について、モジュラー・パスのレベル $i$ がこの変位の下で保持されるための必要十分条件は $2^{i-1} \nmid n$ である。もし $2^{i-1} \mid n$ であれば、パスは $m+i$ のパリティに応じて $+2$ または $+4 \pmod 6$ だけシフトする。この剛性は、公差 $2^m$ を持つ算術級数における長さ $m$ のサイクルが、少なくとも $6 \cdot 2^m$ によって分離されていることを示唆している。

• 頂点の不可欠性とスペクトル階層（定理 4.15）：
  本論文は、有効部分グラフ $G'$ 内のどの頂点も、切り捨て不可能であることを示している。$G'$ から任意の単一の頂点 $v \in \{1, 2, 4, 5\}$ を除去すると、スペクトル半径は厳密に 2 を下回る。得られるスペクトル半径は以下の厳密な階層を形成する：
  $$\rho(H_2) = 1 < \rho(H_5) = \sqrt{2} < \rho(H_4) = \rho(H_1) = \phi < \rho(G') = 2$$
  この階層は、それぞれの頂点を回避する軌道の指数的減衰率を支配している。

• 正のサイクルの制約（系 4.17 および 4.19）：
  スペクトル階層に基づき、本論文は $T$ のすべての正のサイクルは必ず剰余類 $2 \pmod 6$ を訪問することを証明している。さらに、$G'$ 内のフロー保存則を用いることで、頂点 2 は、長さ $m$ の任意の正のサイクルにおいて、ステップの $18\%$ 以上（$> m(1-\log_3 2)/2$）を占めなければならないことを示している。

意義と主張
本論文は、置換の組合せ論的な列挙とは異なる、コラッツ軌道におけるフィボナッチ数の出現に対する構造的な説明を提供していると主張している。この接続は、モジュラーグラフ上のスペクトル引数から生じるものであり、そこでは黄金比が回避用部分グラフのペロン・フロベニウス固有値として現れる。

著者は、フィボナッチによるカウントが近似ではなく、スペクトルギャップ $\phi/2 < 1$ によって駆動される正確かつ無条件のものであることを強調している。本研究は、先行文献には存在しない新しいモジュラー全単射 $\Psi_m$ とその構造的特性を導入している。本論文はコラッツ予想を解決するものではないが、仮説的なサイクルにおける剰余の分布に対して厳格な制約を課しており、特に剰余 2 が回避不可能であり、かつ任意のサイクルの長さの大部分を占めることを証明している。最後に、本論文は、これらの境界の有効性（剰余 4 の初出を抑えること）や、すべての $G'$ の頂点が非自明なサイクルによって訪問されるかどうかといった未解決の問いを提示して締めくくられている。