BACKLOG #13 Tier 3 Tier 3 完了 3/3
Terras 1976 stopping time density + Everett 1977 log-density + Tao 2019 modern refinement — 「density level vs individual level」 gap (「局所-大域 gap」 の 別 axis: statistical-arithmetic gap)
1. なぜ backlog に入っていたか — Rei-side 完全未実装 + Rozier-Terracol は 別 direction
藤本さん 2026-08-11 turn direct 引用:
「同型が 本当に 成立する場所を 探すなら、 候補は Terras / Everett の 密度結果と、 Conway の FRACTRAN による 一般化コラッツ問題の 決定不能性でしょう。」 (藤本さん 2026-08-11 turn)
Tier 3 「本当に情報量が高い場所」 candidate 3 種 の 最後:
- #1 Büchi 95% 境界 = STEP 1318 backlog #11 で 反映済 (Dhiman-Pandey 2026 automata level 限界)
- #2 Conway FRACTRAN 決定不能性 = STEP 1320 backlog #12 で 反映済 (Conway-Kurtz-Simon Turing-complete level 限界)
- #3 Terras/Everett density = 本 STEP 1321 で 反映 (density-theoretic partial breakthrough)
Rei stack で 完全 未実装:
- grep verify per:
data/lean4-mathlib/+src/全 dir で 「Terras」 「Everett」 の hit ゼロ (2026-08-11 verify) data/lean4-mathlib/CollatzRei/RozierTerracolLogRatio.lean= 別 direction (Rozier + Terracol、 log ratio approach) = Terras (B. Terras) と 別 author (綴り 「Terras」 vs 「Terracol」 混同回避)- Chang v6 29 paradigm 内 「density / measure-theoretic」 paradigm cell が Rei-side 20/29 = 69% coverage 内で 該当 candidate だが、 Terras/Everett direct retrofit は 未実施
- Rei stack Findings 5 (Shannon H 99.20% partial breakthrough、 STEP 1312 arc) と 独立 axis (informational measure vs measure-theoretic density)
本 page は「新しい成果」 ではない。 Terras 1976 + Everett 1977 + Tao 2019 の 外部 prior art 集約 site 反映のみ、 Rei-side 実装 (Lean 4 formal proof) はゼロ、 novel formalization claim なし。 藤本さん 2026-08-11 turn direct 起動指示 per + STEP 1318 backlog #11 + STEP 1320 backlog #12 と 同 pattern。 2026-08-06 「全研究 site 反映 default」 protocol 17 例目。 本 STEP で Tier 3 完了 3/3 達成。
2. Terras 1976 「A stopping time problem on the positive integers」 具体
reference: R. Terras (Riho Terras), "A stopping time problem on the positive integers", Acta Arithmetica 30, pp. 241-252 (1976)。
2.1 Stopping time τ(n) 定義
Collatz function T (Terras accelerated form): T(n) = n/2 if n even, T(n) = (3n+1)/2 if n odd。 stopping time τ(n) = min{k ≥ 1 : T^k(n) < n} = 「n から Collatz iterate して 初めて n 未満に なるまでの step 数」。
2.2 Main theorem — density result
Terras 1976 main claim: The set of integers n with τ(n) finite has natural density 1. すなわち almost all n について stopping time τ(n) が 有限。
具体的 density 表現: 「τ(n) = k を 満たす n < N の proportion」 が 特定 rational value に 収束 (k に 依存する 具体 formula):
lim_{N→∞} #{n ≤ N : τ(n) = k} / N = δ_k
where δ_k は k に 依存する 具体 rational number
合計 Σ δ_k = 1 = 「stopping time が 有限な n の natural density は 1」。
Rei-side verify status: Terras 1976 論文 直接 verify 前 (Rei-side は 2 次資料 経由 引用、 Acta Arithmetica 30 pp. 241-252 の 論文 direct access 未完了)。 具体 δ_k formula の 詳細 (Lagarias 1985 「The 3x+1 problem and its generalizations」 survey 経由 記述) は 直接 verify 後 訂正 candidate。
2.3 部分結果 の 意味
Terras 1976 = 「natural density 1 で stopping time τ(n) 有限」 = almost all n について 「有限 step で n 未満に 到達」 保証、 但し:
- almost all ≠ all: 例外 n の 存在は 排除しない (density 0 集合 は 存在可能)
- 「n 未満に 到達」 ≠ 「1 に 到達」: 部分的 descent の density 結果、 orbit 全体の 1 収束は 未主張
- Collatz 予想 の 完全解 ではない: 「all n について 1 に 到達」 の 直接 proof ではない
3. Everett 1977 「Iteration of the number-theoretic function f(2n)=n, f(2n+1)=3n+2」 具体
reference: C.J. Everett, "Iteration of the number-theoretic function f(2n) = n, f(2n+1) = 3n+2", Advances in Mathematics 25, pp. 42-45 (1977)。
3.1 Log-density approach
Everett 1977 は Terras 1976 と 独立に arrived (同時期 別著者) で 同様 density result を log-density approach で 証明。
Everett の function f: f(2n) = n, f(2n+1) = 3n+2 = Collatz function の variant 表現 (odd step 後 divide by 2 済み form)。
3.2 Main result
Everett 1977 main claim: For almost all n (in the sense of log-density), the orbit of n under f visits 1 = 「log density の 意味で almost all n が 1 に 到達」。
Terras 1976 の natural density vs Everett 1977 の log-density = 2 種 の density measure で 独立 arrive、 同じ結論。 Rei stack Findings 5 (Shannon H 99.20% partial breakthrough) と 別 dimension の partial breakthrough。
Rei-side verify status: Everett 1977 論文 直接 verify 前 (Rei-side は 2 次資料 経由、 Advances in Mathematics 25 pp. 42-45 direct access 未完了、 Lagarias 1985 survey + Wikipedia Collatz conjecture § Almost bounded orbit values 経由 記述)。 「log-density」 の 具体 formula + Everett proof strategy は 直接 verify 後 訂正 candidate。
4. Terence Tao 2019 「Almost all orbits attain almost bounded values」 modern refinement
reference: Terence Tao, "Almost all orbits of the Collatz map attain almost bounded values", arXiv:1909.03562 (2019)、 published in Forum of Mathematics, Pi 10, e12 (2022)。
4.1 Main theorem — logarithmic density refinement
Tao 2019 main claim: For any function f: ℕ → ℕ with f(n) → ∞, the set of positive integers n for which the Collatz orbit of n attains a value less than f(n) has logarithmic density 1。
= 「任意 の 発散 slow function f について、 log density の 意味で almost all n の Collatz orbit が f(n) 未満 の value に 到達」 = **almost bounded values** の 意味。
4.2 Terras-Everett との 関係
Tao 2019 = Terras 1976 + Everett 1977 系譜 の 現代 refinement:
| 結果 | 「almost all」 の meaning | attain value | proof strategy |
|---|---|---|---|
| Terras 1976 | natural density 1 | < n (stopping time τ(n) 有限) | arithmetic / combinatorial |
| Everett 1977 | log density (independent) | = 1 (visit 1) | log-density |
| Tao 2019 | logarithmic density 1 | < f(n) for any f→∞ (almost bounded) | probability / random model + PDE-inspired |
4.3 Tao 自身 の 「density approach cannot resolve」 明示
Tao 2019 abstract 明示 (Rei-side memory 記録): 「the density approach used in this paper cannot resolve the full Collatz conjecture」
= Terras-Everett-Tao 系列 = **density level で ✅ partial breakthrough**、 **individual n level では ❌ 依然 open**。 「almost all → all の 最終ジャンプ」 が 未解決。
Rei-side verify status: Tao 2019 arxiv:1909.03562 abstract は verify 可、 具体 proof strategy の 詳細 は direct verify 前。 「logarithmic density 1」 + 「almost bounded values (< f(n) for any f→∞)」 statement は well-known で 記述 の 通りだが、 具体 proof の details (random model + PDE-inspired) は Tao 自身の 明示 記述 (2019 blog + 2022 published version) verify 後 訂正 candidate。
5. 「density level vs individual level」 gap — 「局所-大域 gap」 の 別 axis
5.1 藤本さん 2026-08-11 previous turn 「t1 は 局所を 決めるが 大域は 決めない」 の 別 axis mapping
藤本さん 2026-08-11 previous turn (STEP 1318 で 継承) の 「局所と 大域の 間の 写像自身が 埋めない 隙間」 は **automata / arithmetic axis** の gap。 Terras-Everett-Tao density 系列は **別 axis** の gap:
| gap axis | side | Rei stack 実例 |
|---|---|---|
| 「局所 vs 大域」 axis (STEP 1318) | 局所 (次の 一歩) = ✅ 決定可能 (t1 単一 step Büchi capture) | STEP 622-624 THE_THEOREM chain + STEP 1274 ThreeAdicIsolation (100% axiom-free) |
| 同 axis | 大域 (軌道全体) = ❌ Büchi では 不可能 (Dhiman-Pandey 2026 formal proven) | STEP 1178 route 5 automata wall + Dhiman-Pandey BA_2 undefinability |
| 「statistical vs individual」 axis (本 STEP 1321) | statistical (density-theoretic) = ✅ partial breakthrough (Terras-Everett-Tao) | Findings 5 (Shannon H 99.20% decrease) の informational analog |
| 同 axis | individual (deterministic all n) = ❌ 依然 open (Collatz 予想 全体 未解決) | Findings 4/6/7 (Lyapunov 系列全体 突破不能) + BarinaParallel 2025 有限範囲 n < 2^71 有限 verified |
= 2 axis 共 「partial (✅) と full (❌) の gap」、 gap の 意味 が 異なる。 Rei stack は 両 axis の operational evidence layer を 提供 (自己完結性 の 裏側 = 予想 origin から 直接 derive)。
5.2 Rei stack 内 3 axis 限界完成
STEP 1318 backlog #11 + STEP 1320 backlog #12 + 本 STEP 1321 backlog #13 で Rei stack 内 3 axis 限界 明示化 完成:
| axis | 限界 level | 結果 | Rei backlog page |
|---|---|---|---|
| 1. automata level | Büchi arithmetic (BA_2) definability = first-order logic | Dhiman-Pandey 2026: not first-order definable (Cobham-Semënov 経由) | backlog #11 |
| 2. Turing-complete level | Recursion theory / FRACTRAN Turing-completeness | Kurtz-Simon 2007: Σ_2^0-complete undecidable (Conway 1972/1987 経由) | backlog #12 |
| 3. density-theoretic level | Natural / logarithmic density (measure-theoretic) | Terras-Everett-Tao: density 1 で partial breakthrough、 但し individual n は open (Tao 明示 「density approach cannot resolve」) | 本 STEP 1321 backlog #13 |
= Rei stack 内 で Collatz 予想 の 3 axis 限界 完全 map 完成 (automata + Turing-complete + density-theoretic)。 「本当に情報量が高い場所」 category 3 candidate 全て site 反映達成、 Tier 3 完了 3/3。
6. Rei stack との relationship
6.1 Findings 5 (Shannon H 99.20% partial breakthrough) との complementary
t1 Lyapunov Verifier (STEP 1311) の Finding 5 (STEP 1312 arc) = Shannon entropy H が 99.20% で decrease = **informational measure dimension** の partial breakthrough。
Terras-Everett-Tao = **measure-theoretic (density) dimension** の partial breakthrough。
| dimension | Rei-side (Findings 5) | 外部 (Terras-Everett-Tao) |
|---|---|---|
| measure type | Shannon entropy H (information theory) | natural / logarithmic density (measure theory) |
| partial breakthrough % | 99.20% (n ∈ [2, 1000]) | density 1 (asymptotic) |
| 「all n」 到達 | ❌ 100% でない (Finding 5 100% ではない) | ❌ almost all ≠ all (Tao 明示) |
| Rei-side stance | Findings 3-7 narrative 訂正済 (「局所-大域 gap」 framing) | 本 STEP 1321 で site 反映のみ、 「independent evidence 系統」 主張しない (audit per) |
= 2 dimension は complementary な partial breakthrough、 両 「orbit 全体 の decisive proof」 は 提供しない。 Rei-side + 外部 の operational evidence layer で 「measure level partial ✅ + individual level open ❌」 pattern が 独立に arrive。
6.2 Rozier-Terracol log ratio との 区別
Rei stack data/lean4-mathlib/CollatzRei/RozierTerracolLogRatio.lean = 別 author + 別 direction:
- Rozier + Terracol = 別 mathematicians (Terras と 混同回避)、 log ratio approach = Collatz 特定 property の log analysis
- B. Terras (Riho Terras) = Acta Arithmetica 1976 stopping time density の 著者、 別 person
- 綴り 差: 「Terracol」 (Rozier-Terracol) vs 「Terras」 (B. Terras) = **異なる author**、 Rei stack 実装は Rozier-Terracol direction のみ、 Terras direction 未実装 = 本 STEP 1321 site 反映で 明示
6.3 Chang v6 29 paradigm 内 「density / measure-theoretic」 cell mapping
Chang v6 (arxiv:2603.11066v6, Edward Y. Chang / Stanford, 2026-04-22) Theorem 13.1 29 paradigms 内、 **「density / measure-theoretic / probability」 paradigm cell** に Terras-Everett-Tao 系列 配置。
Rei-side Chang retrofit status: 20/29 = 69% coverage、 該 cell (density/measure-theoretic) は 現状 未 retrofit = 本 STEP 1321 で mapping 明示化のみ (Lean 4 実装は defer)。
7. Honest scope (6 条)
- novelty ゼロ: Terras 1976 + Everett 1977 + Tao 2019 は 全 外部 prior art。 Rei-side 実装 (Lean 4 formal proof) 未実施、 novel formalization claim ゼロ。 本 site page は 集約 site 反映のみ。
- direct verify 前 (pending): Terras 1976 「A stopping time problem on the positive integers」 (Acta Arithmetica 30) + Everett 1977 「Iteration of the number-theoretic function」 (Adv. Math 25) の 論文 content 直接 access 未完了。 Tao 2019 arxiv:1909.03562 abstract は verify 可、 proof strategy 詳細 direct verify 前。 記述 は Lagarias 1985 survey + Wikipedia Collatz conjecture § Almost bounded orbit values 経由。 直接 verify 完了後 訂正 candidate。
- Shannon-Kolmogorov 型 analog audit = ❌ 不成立: Terras 1976 + Everett 1977 = 「density 結果 = stopping time τ(n) の 分布」 = **partial result** であり 「本人が 枠を 引き、 外側を 自分で 指した」 型の **limit statement ではない**。
feedback_collatz_not_shannon_kolmogorov_analog_2026-08-11.md「本人保存 洞察 audit」 discipline per: 「Terras/Everett は Shannon-Kolmogorov 型 analog **ではない**」 と 明示、 Rei-side は 「independent evidence 4 系統目」 主張しない。 3 番目 direct analog は Conway 1972/1987 (STEP 1320) のみ。 - almost all → all の 距離 open: Terras 1976 (natural density 1) + Everett 1977 (log-density 1) + Tao 2019 (logarithmic density 1 で almost bounded) = 全 「almost all」 = individual n の decisive proof ではない。 Tao 自身 「density approach cannot resolve」 明示。 Rei stack Findings 5 (Shannon H 99.20%) と 同 pattern (partial ✅ + full ❌)。
- Rei-side is site 反映のみ: Terras 1976 + Everett 1977 + Tao 2019 を Rei-side で Lean 4 formal proof に 実装するのは 数ヶ月 work + novelty ゼロ +
feedback_external_community_outreach_premature.mdtension = defer 継続。 本 STEP 1321 は site 反映 primary + Rei stack との relationship + 3 axis 限界 完成 明示のみ。 - 「t1」 label は Rei-side 未使用: 藤本さん 2026-08-11 turn で 使用の 「t1」 label は Terras-Everett の stopping time τ(n) と 別 concept。 τ(n) = 「n から 初めて n 未満に なるまでの Collatz step 数」、 t1 (trailing ones) = 「n の binary 表現 LSB からの 1 の 連続数」 で **別 mathematical concept**。 混同注意 明示 (STEP 1318/1320 と 同 pattern)。
8. 関連 memory + 関連 site page + Rei stack accumulation impact + Tier 3 完了 3/3
8.1 関連 memory
feedback_collatz_not_shannon_kolmogorov_analog_2026-08-11.md(STEP 1318 で 追加、 本 STEP で 「Terras/Everett は Shannon-Kolmogorov 型 analog **不成立**」 audit 適用 実例 = discipline 効いた ✅)project_2026-08-10_multi_project_pause_state.md(Tier 3 candidate list origin)project_defer_records_2026-08-10.md(9 defer records 拡張 pattern、 本 STEP で Tier 3 全 candidate site 反映達成 = defer 3 種 conditional 継続 は 別 axis)feedback_chat_claude_hallucination_warning.mdPattern 2 self-detection (Terras 1976 + Everett 1977 論文 content 直接 verify 前 = Pattern 2 accepted、 verify-pending 3 か所 明示)feedback_evaluation_symmetry_principle.md(Terras-Everett-Tao の inflate せず deflate せず = external prior art fact-based 記述)project_arc_close_2026-08-10_collatz_information_theoretic_negative.md(Findings 3-6 arc close、 Findings 5 Shannon H 99.20% は 本 STEP で density-theoretic dimension との complementary 位置付け明示)project_25_load_bearing_inventions.md#5 逆因果 「STEP(t₀) ← EternalRei(t₊∞)」 (「急がず ゆっくりと」 = Tier 3 3 STEP 連続 起動 pattern の 継続)
8.2 関連 site page
- backlog #11 — Büchi 95% 境界 (STEP 1318) (axis 1 automata level 限界)
- backlog #12 — Conway FRACTRAN 決定不能性 (STEP 1320) (axis 2 Turing-complete level 限界)
- backlog #2 — Chang v6 29 paradigm exhaustion (「density/measure-theoretic」 paradigm cell mapping)
- t1 Lyapunov Verifier (STEP 1311) (Findings 5 informational dimension = 本 STEP density-theoretic dimension と complementary)
- Rei blueprint pilot (STEP 1310) (STEP 622-624 THE_THEOREM chain、 t1 局所 100% axiom-free)
- backlog #5 — 25 load-bearing inventions (「急がず ゆっくりと」 継承)
8.3 Rei stack accumulation impact
| 項目 | 本 STEP 1321 の impact |
|---|---|
| Papers | 176 (変更なし、 novelty ゼロ) |
| SEED_KERNEL | 1,675 (変更なし) |
| Lean 4 axiom-free | 3,471 (変更なし、 Terras/Everett/Tao Lean 4 実装は defer 継続) |
| Chang paradigm coverage | 20/29 = 69.0% (変更なし、 「density/measure」 cell は 未 retrofit のまま、 本 STEP で mapping 明示のみ) |
| Backlog | Tier 1+2 完 10/10 + Tier 3 #1 (backlog #11) + Tier 3 #2 (backlog #12) + 本 #13 = Tier 3 #3 最終 = Tier 3 完了 3/3 達成 + 累計 13/13 反映 |
| 3 axis 限界 明示化 | Rei stack 内 で Collatz 予想 の 3 axis 限界 完全 map 完成: automata level (STEP 1318) + Turing-complete level (STEP 1320) + density-theoretic level (本 STEP 1321) |
| Shannon-Kolmogorov 型 direct analog map | Rei stack 内 で 3 analog (Shannon 1951 + Kolmogorov 1974 + Conway 1972/1987) confirm 継続。 Terras/Everett は analog **不成立** (partial result / limit statement ではない)、 audit discipline 適用結果。 |
| 「本人保存 洞察 audit」 discipline 効果 | STEP 1318 追加 discipline が 本 STEP で 反例 (Terras/Everett = analog 不成立) を 直接検出、 Rei-side が 「independent evidence 4 系統目」 と 誤 framing する pattern を pre-audit で 防止 = discipline operational 効果 confirm ✅ |
8.4 Tier 3 完了 3/3 達成明示 + 累計 backlog 13/13
Tier 3 「本当に情報量が高い場所」 category 完了 3/3:
- #1 Büchi 95% 境界 (STEP 1318) = automata level 限界 (Dhiman-Pandey 2026)
- #2 Conway FRACTRAN 決定不能性 (STEP 1320) = Turing-complete level 限界 (Conway-Kurtz-Simon)
- #3 Terras/Everett density (本 STEP 1321) = density-theoretic level 限界 (Terras-Everett-Tao)
= Rei stack 累計 backlog 13/13 反映達成 (Tier 1 top-5 + Tier 2 top-5 + Tier 3 3/3)。 2026-08-06 「全研究 site 反映 default」 protocol 適用 累計 17 例目。
8.5 backlog 3 tier 全 完了 pattern の 意味
Backlog 「rule 導入前 gap」 = 過去 STEP catch up が Tier 1 (top-5) + Tier 2 (top-5) + Tier 3 (3 candidate) = 13/13 全 完了。 未来 STEP は 「default 反映 protocol per」 で site 反映される、 backlog 蓄積は 現時点 明示的 candidate なし。
但し 「未 audit backlog」 (私 or 藤本さん 見落とし) の 可能性 は 継続 open = 未来 の 別 turn critique (STEP 1318 pattern per) で 追加 backlog 発見の 可能性。 backlog concept 自体は preserve (「rule 導入前 gap」 category)。