3n+1 の構造 — ペア分解で見るコラッツ写像

高校数学＋二進法の知識で読める要約

§0 前提：コラッツ予想とは

任意の正の整数 n に対して、次の操作を繰り返す：

• n が偶数なら → n ÷ 2
• n が奇数なら → 3n + 1

「どんな数から始めても、いつか必ず 1 に到達する」——これがコラッツ予想。1937年に提起されて以来、約90年間未解決。

この論文が問うのは：3n+1 の計算の「中身」は何か？ なぜ x=3 だけが特別なのか？

§1 ファスナー構造：数を2ビットずつ切る

任意の正の整数は二進法で書ける。それを2ビットずつ区切ってペアにする。

ここで重要なのがファスナー構造。m4 と m6 を交互に噛み合わせると元の数に戻る：

もっと単純な例で見ると：

つまりどんな数も、m4 と m6 の2本のビット列に分解でき、ファスナーで元に戻せる。これがペア分解の基本。

§2 ペアの4種類とGPK

2ビットのペアは4種類しかない。それぞれに名前をつける：

この G / P / K の分類は、半導体の加算回路（carry-lookahead adder）で1960年代から使われている標準的な概念。

§3 3n+1 の中身：掛け算せずに表を引く

3n+1 = 2n + n + 1。ここで 2n は n を1ビット左にずらしたもの。つまり：

この足し算は、ペアごとに分解できる。各ペア位置で「どのビットとどのビットを足すか」が決まっていて、結果は16通りしかない。

なぜ16通りか：

• 入力ペアの種類：4通り（K, P, P, G）
• 状態：4通り（下記参照）
• 合計：4 × 4 = 16通り

「状態」とは何か

表を引くには、入力ペアの他に状態が必要。状態は4つだけ：

c_in = 直前のペアから来た繰り上がり（carry in）。 a_i-1 = 直前に処理した入力ペア(a, b)のa。 c_out = 今のペアから出る繰り上がり（carry out）→ 次のペアの c_in になる。

初期状態 = S2（+1 による繰り上がりあり、前のペアがないので上ビット=0）。
次の状態は、表の出力（繰り上がりが出たか）と今の入力ペアの上ビットで決まる。表を引けば自動的にわかる。

この16通りを全部書き出したのがTable 5.1（論文の核心）。

Table 5.1：3n+1 の完全なスキャン遷移表

これが表の全体。この要約の全ての主張はこの表を読めば検証できる。

この表から直接読み取れること：
■ Case 13–16：G入力 → c_out=1 が全4ケース（無条件キャリー生成）
■ Case 1–4：K入力 → c_out=0 が全4ケース、出力にGなし（K→G不可能）
■ Case 5, 10, 11：P→G — ただし c_out=0（生成は連鎖しない）

§4 n → n' の完全なフロー

※ このフロー図では「n → ペア分解」と「n'」を整数として書いているが、実際の計算では整数に戻す工程は不要。スキャンの入力はペア列、出力もペア列。÷2^d はペアの除去と境界シフト。re-pairing もペア→ペア。次のステップの入力もペア列。ペア列のまま、1に到達するまで進行する。結合（ファスナーを閉じる）は人間が数を確認したいときだけ必要になる表示上の操作であり、計算の一部ではない。

§5 3n+1 は完全に「閉じている」

フロー全体で、ペアの種類はこの4種の外に出ない：

「閉じている」は「毎回4種が全部登場する」ではない。各ステップで使われる種類は異なりうるが、5番目の型が発生することは絶対にない。出力の n' をまた同じ表に入れれば次の n'' が出る。その次も同じ表。永久に同じ4種と同じ16行の表で回り続ける。これが閉鎖。

しかも、以下の性質が例外なく成り立つ：

「常に」「絶対に」は比喩ではない。16行の表を全部調べた結果、例外がゼロ。

§6 5n+1 と比べると何が違うか

同じ手順で 5n+1 の表も作れる（5n+1 = 4n + n + 1、シフト量2ビット）。作って比べると：

両方の表を実際に構成し、奇数500個で全件検証済み

§7 なぜ「閉じている」と逃げられないのか

成長の条件

3n+1 で数が大きくなるには、÷2 で1回しか割れない（d=1）必要がある。d=1 になるのは、一番下のペアが G(1,1) のときだけ。

※ なぜ G(1,1) だけなのか — Syracuse 関数は奇数→奇数の写像なので、入力 n は常に奇数。最下位ビットは必ず1になるため、最下位ペアは P(0,1) か G(1,1) の二択しかない（K(0,0) と P(1,0) は最下位ビットが0なので最下位ペアになれない）。P(0,1) だと 3n+1 の末尾に0が2個以上並び d≥2 で縮小、G(1,1) だと末尾の0はちょうど1個で d=1。

成長すると何が起きるか

一番下のペアが G(1,1) で表を引くと（Case 15）：

• 出力は P(1,0) に変換される → G が消える
• 繰り上がり c_out = 1 が発生 → 隣も巻き込む

つまり「成長の原因（G）」が「成長を壊す繰り上がり」を必ず生む。これが表から逃れようがない。

壊れた後、復活できるか？

生成と破壊の非対称性

破壊は連鎖するが、生成は連鎖しない。この非対称性は16行の表から読み取れる代数的事実。

scan + re-pairing を合わせた構造的上限（net ≤ 0）

Table 5.1 と Table 5.2 を合わせて読むと、最左 G-block の1ステップあたりのネット変化に上限がある：

これは平均ではなく最悪ケースの上限。max(X) ≤ 0 であり、E[X] < 0 ではない。net +1 となる配列は存在しない。

§7.5 なぜ 1 への収束は構造的に不可避か

§7 で示したのは1回の scan 内の話。しかし re-pairing（Table 5.2）が全部ひっくり返すのでは？ この問いに3点で答える。

1. re-pairing は閉鎖性を壊さない

re-pairing の出力も同じ4種のペア（Table 5.2 で全16ケース確認可能）。スキャン → 除算 → re-pairing → 次のスキャン、どの段階でも5番目の型は現れない。§7 で示した表の性質（G→c_out=1、K→G不可能、P→Gはc_out=0）は、re-pairing 後の n' にもそのまま適用される。

2. 連続 d=1 には算術的上限がある（Corollary 5.3）

表とは独立に、剰余算術だけで導ける事実：

成長（d=1）は必ず有限回で止まる。これは GPK とも表とも無関係な算術的事実。

3. 有限の箱の中に逃げ場はない

d=1 が持続できないので軌道は発散しない（有界）。閉鎖性により、軌道がどこにいても同じ表・同じ制約が適用される（スケール不変）。有界な軌道が閉じたスケール不変な系の中で取りうる終状態は、サイクルだけ。x=3 では構造的に許容されるサイクルは n=1 の不動点のみ（§8.4）。

論文本体の Proposition 5.4 では、G-block の左端消滅（net ≤ 0）、次元分離、エピソード構造など、表の性質からの詳細な導出を与えている。上の3点はその結論の核心部分。

実測データ：n = 670,617,279 の軌道

以下は n = 670,617,279 の全370ステップ（83エピソード）の抜粋。赤行 = pair₀ が G（d=1, 成長）、青行 = pair₀ ≠ G（d≥2, 崩壊）。横線がエピソード境界。

赤帯（d=1 成長バースト）が必ず有限で途切れ、青帯（d≥2 崩壊）に移行するのが全83エピソードで確認できる。先頭Gが「生まれ→消費され→崩壊」を繰り返し、GPK列が短くなりながら n=1 に到達する。§7.5 の議論の実証。

§8 全体像：閉鎖性 → 自壊 → 脱出不可能

3n+1 = 2n + n + 1（シフト量1ビット < ペア幅2ビット）
  └→ GPK分類がペアを読むだけで確定する（閉鎖性）
      └→ 繰り上がり挙動が状態に依存しない
          ├→ G は無条件に繰り上がりを生む
          │   └→ その繰り上がりが G 自身を破壊する
          ├→ K は無条件に繰り上がりを止める
          │   └→ K が G に戻ることもない
          └→ 成長の源（G）＝ 成長の破壊者。逃げ道なし。

n=1 はペア (0,1)=P で、d=2、n'=1。不動点。他の全ての n は上記の制約により、この不動点に向かう以外の構造を持てない。

§9 これは「確率的に縮みやすい」という話ではない

よくある議論：「3n+1 は平均的に ÷2 の回数が多いから縮む」。しかしこれは確率論なので「運が悪ければ発散するかも」と反論できる。

この論文の議論はそれとは別の層にある：

• G → c_out=1 は「傾向」ではなく恒等式
• K → G 不可能は「稀」ではなくゼロ
• P → G の c_out=0 は「大体」ではなく全件

ネット ≤ 0：構造的上限 vs. 確率的傾向

G-block のネット変化（§7）で、この区別は特に明確になる：

ネット ≤ 0 は G の総量が単調に減ることを意味しない。新しい G-block は生まれうるし（P→G）、÷2^d が非 G ペアを除去すれば G 密度は上昇する — 100% に戻ることすらある。ネット ≤ 0 が保証するのは、個々の最左 G-block の寿命が有限であること：各 d=1 連続（成長バースト）は必ず終わり、終わった後に d≥2 の崩壊が来る。

計算的検証と構造的記述

コラッツ予想に対する計算的検証（2⁶⁸ までの全数確認など）は、予想の信頼性を高め、反例の不在を確認する上で不可欠な貢献を果たしてきた。しかしその性質上、各軌道の検証は両端を 1 に囲まれた有限空間の中の帰納的確認であり、全ての n への拡張には原理的な壁がある。

• 各軌道は n → （有限回の上下）→ 1 という有限の道筋
• しかし GPK 配列は長さ k のペア列で 4^k 通り、k に上限はない
• 有限個の検証から「全ての n で成立」を導くには、個別の確認とは異なる層の議論が必要になる

Table 5.1 はその層に位置する。16 行で全ての GPK 配列の全てのペア位置を網羅し、配列の長さにも中身にも依存しない。計算的検証が「個々の n について事実を確認する」のに対し、表の構成は「全ての n に共通する構造を記述する」。両者は対立するものではなく、異なる層で同じ対象に光を当てている。

§10 表ができた時点で、結論は表の中にある

Table 5.1（スキャン16行）と Table 5.2（再ペアリング16行）が構成された時点で：

論文の Lemma（補題）や Proposition（命題）は、表に既に書いてあることを言語化しているだけ。

† あとがき

この要約を書く過程で、「G-block の世代交代は本当に無限に続かないのか」と自問した瞬間、自分がコラッツ予想の泥沼にそのまま引き戻されていることに気づいた。構造的な説明が「まだ十分でない」という違和感の正体は、実は自分の認識の枠組みがすでに移動していたことの証だった。

構造的に閉じた議論を前にしても、人間は「個々の軌道」に戻ろうとする認知的な傾向がある——そのことに気づいた。「本当にそうなのか」を確かめようとするプロセスそのものが、この問題の複雑さを駆動しているのかもしれない。数学的直感が強い人にとって、これは抗いがたい罠だ。検証できる能力が検証への欲求を生み、軌道が見えるとそれを追いかけずにはいられなくなる。能力そのものが罠になる。この要約を書いている間も、私の思考は何度も軌道の深みに引き戻された。

検証スクリプト: dfst_final.py, dfst_properties.py
構造比較データ: dfst_comparison_record.md
元論文: "Pair Predicate Decomposition of Collatz-type Maps (xn+1)/2^d" v5.1 (February 2026)