Minimum Steps to reach to a Smaller Number in 3n+1/Collatz Process

技術要約：コラッツ過程における停止限界とサイクル数について

問題提起
本論文は、3n + 1問題（コラッツ予想）に焦じ、特に $F_0(n) = n/2$ （$n$ が偶数の場合）および $F_1(n) = (3n+1)/2$ （$n$ が奇数の場合）で定義される正規化されたコラッツ反復に焦点を当てている。主な目的は、この過程における停止時間とサイクルの構造を分析することである。著者は、解析対象を停止時間 $s \ge 4$ を持つ奇数 $m \equiv 3 \pmod 4$ に限定している（より小さなケースは自明に検証可能であるため）。中心的な問いは、この反復において有限の非自明なサイクル（1における自明なサイクル以外の周期軌道）が存在し得るかどうかである。

手法
本論文は、コラッツ過程をモデル化するために、許容可能なバイナリ・シーケンス（二進列）の再帰的な記述を採用している。長さ $s$ で、1の数（奇数ステップを表す）が $r$ 個、0の数（偶数ステップを表す）が $s-r$ 個含まれるシーケンス $q$ を用いて、変換 $F_q(n)$ を定義する。

主要な手法構成要素は以下の通りである：

1. バイナリ・シーケンスによる表現： 変換は $F_q(n) = \frac{3^r n + \sum_{i=1}^r 3^{r-i} 2^{l(i)-1}}{2^s}$ と表される。ここで、$l(i)$ はシーケンス内の $i$ 番目の '1' の位置を示す。
2. 再帰的ツリー構築： 著者は、許容可能なシーケンスを生成するために、修正された根付きシーケンス・ツリー（図1）を導入している。このツリーは、末尾のゼロのブロックの前に特定の部分文字列（"1" または "10"）を挿入することで構築され、シーケンスと開始整数との間の一意なマッピングを保証する。
3. 数論的解析： 本論文は、整数（特に $2^s$ および 4 を法とする剰余）に関する性質と、バイナリ展開の一意性を利用して、許容可能なシーケンス $q$ と整数 $m \equiv 3 \pmod 4$ の間の全単射を確立する。
4. 不等式の導出： 並べ替え不等式を適用することで、反復の加法的成分を表す総和項 $\sum_{i=1}^r 3^{r-i} 2^{l(i)-1}$ の下限および上限を導出する。

主要な貢献と結果

• 表現の一意性（定理 2.10）： 本論文は、許容可能なバイナリ・シーケンス $q$ と整数 $m \equiv 3 \pmod 4$ の間の全単射を確立している。すべてのそのような整数は、構築されたツリー内の特定のシーケンスから一意に生成され、すべてのシーケンスは $F_q(m) < m$ を満たす一意の整数に対応する。
• 加法的項の境界（定理 2.3 & 2.4）： シーケンス内の総和項は制限されている。その最小値は $3^r - 2^r$ であり（すべての '1' がシーケンスの先頭にある場合に発生）、最大値はシーケンス・ツリーの対数的間隔に従って '1' が分布する場合に達成される。
• 有限の非自明なサイクルの不在（定理 2.11 & 3.1）：
  • 本論文は、任意の有限シーケンスに対して $F_q(4i-1) \neq 4i-1$ であることを証明している。サイクルが存在するためには $2^s = 3^r$ という等式が必要であるが、これは整数 $s, r > 0$ に対して不可能である。
  • したがって、有限の非自明なサイクルは起こり得ない。唯一許容される周期軌道は、1における自明なサイクルのみである。
• 比率の漸近挙動（定理 3.2）： 本論文は、比率 $F_q(m)/m$ の境界を導出している。シーケンスの長さが増大するにつれ（$r \to \infty$）、比率 $3^r/2^s$ は 1 に近づくが、決して 1 にはならないことを示している。
  • 比率 $F_q(m)/m$ は $1 - \epsilon_1 < F_q(m)/m < 1 + \epsilon_2$ によって抑えられている。
  • $r \to \infty$ のとき、$\lim F_q(m)/m \to 1$ となる。
• サイクル数の境界： 本論文は、仮説上の非自明なサイクル数 $m_c$ の下限および上限を提示している。下限は $m_c \ge \frac{3^r - 2^r}{2^s - 3^r}$ で与えられる。大きな $r$（例：$r \approx 4.3 \times 10^{14}$）の場合、下限は約 $7.5 \times 10^{14}$ であり、上限は約 $5.12 \times 10^{29}$ である。

意義と主張
本論文は、正規化されたコラッツ反復における有限の非自明なサイクルのための構造的要件が、達成不可能であることを示すと主張している。具体的には、そのようなサイクルの存在は、2のべき乗と3のべき乗の間の正確な恒等式（$2^s = 3^r$）を必要とするが、これは数学的に不可能である。

著者は次のように結論付けている：

1. コラッツ過程における停止時間には、有限の上限が存在しない。
2. 比率 $F_q(m)/m$ はシーケンスの長さが増大するにつれて 1 に近づくが、任意の有限シーケンスにおいて 1 に達することはない。
3. この構造的な障害と導出された境界を組み合わせることで、有限の非自明なサイクルの可能性を排除できる。
4. したがって、1における自明なサイクルが唯一の許容される周期軌道である。

本論文は、大きなパラメータ（例：$1 - 3^r/2^s \approx 10^{-15}$）において、$3^r$ と $2^s$ の差が極めて微小になるものの、それは厳密に非ゼロであり、サイクルの形成を防いでいることを指摘しつつ、大きな $r$ に対する理論的境界と、小さなケースに対する計算による検証に依拠している。