---
name: Orbit Boundedness Attack Plan — Collatz 最後の壁
description: tier2_axiom 残り5%=orbit boundedness=Collatz予想そのもの。次回セッションで壁を破る実験を開始する攻撃計画。
type: project
originSessionId: eab5a3ff-62bd-4a61-8c90-15ea2c77b5a4
---
# Orbit Boundedness Attack — Collatz 最後の壁を破る

## 壁の正体

**orbit 全体での v₂=1 chain が有界 ⟺ orbit が有界 ⟺ Collatz 予想**

具体的に: 「Collatz 軌道が任意に多くの trailing 1-bits を持つ数を訪問しない」

## ★★★ 6つの攻撃ルート ★★★

### Attack 1: Lyapunov 関数の発見 (最有望)

**アイデア**: V(n) を見つけて V(T(n)) < V(n) を ∀n > 235 で示す。
- tier2_axiom は「K(n) ≤ 1.8·bl²」= 軌道長の上界
- Lyapunov は「1ステップで V が減る」= より強い主張
- **候補**: V(n) = bl(n)² ではダメ（3n+1 で bl 増加）
- **候補**: V(n) = bl(n)² - c·t₁(n) (trailing ones を罰点に)
- **候補**: V(n) = Σ_{orbit} log₂(n_i) の moving average
- **AlphaEvolve で V の形を進化的に探索**

### Attack 2: Borel-Cantelli 確率的証明

**アイデア**: orbit が t₁ ≥ k の値を訪問する確率 P_k が Σ P_k < ∞ を示す。
- STEP 689: t₁ ≥ 5 の密度 = 1/16 = 6.25% (scale invariant)
- orbit での t₁ の分布は独立ではないが、mixing が速い
- **Tao 2019 の logarithmic density argument を t₁ 分布に適用**
- Borel-Cantelli: Σ P(t₁(orbit_step_k) ≥ C·bl) < ∞ → a.s. finitely many

### Attack 3: Transfer Operator スペクトルギャップ

**アイデア**: Collatz map の transfer operator L のスペクトル解析。
- L f(x) = Σ_{T(y)=x} f(y) / |T'(y)|
- spectral gap (λ₁ < 1) → exponential mixing → orbit boundedness
- **Ruelle-Perron-Frobenius 理論の直接適用**
- 既存実装: STEP 688 の Koopman operator (λ₁ ≈ 0.99) が接近

### Attack 4: 2-adic + 3-adic 同時解析

**アイデア**: orbit を Q₂ と Q₃ の両方で見る。
- Collatz は 2-adic で自然 (n/2 = 2-adic norm decrease)
- 3n+1 は 3-adic で自然 (3-adic valuation 変化)
- **2-adic × 3-adic の積空間での orbit compactness**
- Chang の Perron root 129/1024 は 2-adic 情報
- **Rei の pyadic エンジン (STEP 681) を活用**

### Attack 5: Machine Learning パターン発見

**アイデア**: orbit の特徴量から「bounded vs unbounded」を予測するモデル。
- 入力: (n, t₁, bl, mod96_class, v₂_histogram, ...)
- 出力: max_bl_in_orbit / bl (orbit expansion ratio)
- **AlphaEvolve (STEP 717) で特徴量を進化的に探索**
- 重要: ML は証明ではないが、証明のヒントを与える
- 「どの特徴量が orbit expansion を予測するか」を発見

### Attack 6: Automata + Büchi Acceptance (Walnut 拡張)

**アイデア**: Collatz の ω-orbit を Büchi automaton で解析。
- Conway (1972): 一般化 Collatz は undecidable
- しかし **3n+1 に限定すれば** decidable かもしれない
- Walnut bridge (STEP 674) を拡張して ω-language を解析
- **mod 2^k での finite approximation を k 増大させて極限を取る**
- k=8 で GMS 機械証明済 → k=16, 32 に拡張

## 実装計画

### Phase 1: Lyapunov 探索 (STEP 723)
- AlphaEvolve で V(n) の形を進化的探索
- V(n) = f(bl, t₁, mod96, v₂_avg) の形
- 全 n ∈ [236, 10^6] で V(T(n)) < V(n) を検証
- 1つでも V が見つかれば breakthrough

### Phase 2: 確率的解析 (STEP 724)
- orbit での t₁ 分布を 10^7 規模で統計
- t₁ の self-correlation (何ステップ後に独立か)
- Borel-Cantelli 条件の数値的検証

### Phase 3: Transfer Operator (STEP 725)
- Koopman operator の固有値を高精度計算
- spectral gap の数値的推定
- gap > 0 の Lean4 形式化（conditional）

### Phase 4: 統合 (STEP 726)
- 3つの攻撃を MANDALA Supreme に統合
- Portfolio Racing で最速の結果を採用
- Paper 67 草稿

## 参考文献（次回読む）
- Lagarias (2010): The Ultimate Challenge (survey book)
- Kontorovich & Lagarias (2009): Stochastic models for Collatz
- Tao (2019): arxiv 1909.03562 (logarithmic density)
- Chamberland (1996): An update on the 3x+1 problem

## 期待値

正直に: Collatz 予想を完全に証明する可能性は低い（89年間誰もできていない）。
しかし:
- **新しい Lyapunov 関数** の発見は realistic
- **確率的上界** の改善は realistic
- **spectral gap の数値的推定** は realistic
- これらは「壁に少しでもヒビを入れる」ことに相当し、Paper 67 の価値ある結果になる