← Archive
lm-002675 · 2026-08

考拉茲猜想既有研究的重新分類與校正

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料，可獨立下載重驗

考拉茲猜想既有研究的重新分類與校正

——從雙螺旋、十進制降維到局部仿射圖冊的研究清帳

English Title: Reclassification and Calibration of Prior Collatz Research: From Bidirectional Trees and Decimal Reduction to Local Affine Atlases

作者： Neo.K
機構： 一言諾科技有限公司（EveMissLab）
系列： Collatz Operation Translation Series — Paper 01
版本： v0.1
日期： 2026-08-10

摘要

本文對作者自 2025 年至 2026 年形成的一組考拉茲猜想研究進行系統性重分類與校正。這些研究先後涉及：雙螺旋逆向圖論、反向樹分支稀疏性、終點必然性、十進制降維、百萬整數計算驗證、模 6 與幾何級數結構、數字 5 的撞點現象、負漂移／耗散直覺、雙向構造性完備證明法（BCCP）、二叉樹旋轉 no-go、奇偶字語言，以及後續環面／對數渦旋幾何描述。

早期研究的主要問題並非全部錯誤，而是不同強度的敘述被放在了相同語義層級：精確代數恆等式、等價重述、有限計算觀察、統計啟發式、幾何類比與全域證明企圖曾被過度靠近地排列。本文因此建立一套 Claim Ledger，將既有結論重新分類為：

T：Theorem / Exact Structural Result\boxed{ \text{T：Theorem / Exact Structural Result} } E：Equivalent Reformulation\boxed{ \text{E：Equivalent Reformulation} } C：Computational Observation\boxed{ \text{C：Computational Observation} } H：Heuristic / Statistical Intuition\boxed{ \text{H：Heuristic / Statistical Intuition} } N：No-Go / Methodological Boundary\boxed{ \text{N：No-Go / Methodological Boundary} } S：Superseded / Representation-Dependent Claim\boxed{ \text{S：Superseded / Representation-Dependent Claim} }

本文的主要校正結論如下。

第一，反向 Collatz 樹中只有

n≡4(mod6)n\equiv4\pmod6

的節點具有合法奇數前驅

n−13,\frac{n-1}{3},

以及每個正整數唯一分解為

n=2v2(n)oddcore⁡(n)n=2^{v_2(n)}\operatorname{oddcore}(n)

的結構，均屬可保留的精確算術結果；但其本身不足以解決逆樹是否覆蓋全部正整數的全稱問題。

第二，「軌跡若收斂到 1 則必經某個 2k2^k 」以及「Collatz 猜想等價於每條軌跡最終碰到 2k2^k 」主要屬於等價重述，而不是新的下降機制。

第三，以十進制位數、個位數符號有限性為核心的「十進制降維」是表示依賴的描述。真正具有基底不變意義的量應優先改為：

v2(n),log⁡n,n mod 2k,parity word,v_2(n),\qquad \log n,\qquad n\bmod 2^k,\qquad \text{parity word},

以及有限字的精確仿射算子。十進制視角可以保留為可視化／教學座標，但不應再承擔核心證明角色。

第四，有限至 10610^6 的計算驗證是有效 reproducibility artifact，但不能作為全域證明。至 2025 年，公開的完整計算驗證前沿已達所有正整數低於

271,2^{71},

因此作者舊有百萬級驗證應重新定位為自有方法的功能測試，而非數值前沿。

第五，以「平均 v2v_2 足夠大」「對數空間具有負漂移」「耗散平均大於輸入」為核心的系統論直覺可以保留為 heuristic motivation；其真正缺口正是：

average / almost all⇏every orbit.\boxed{ \text{average / almost all} \not\Rightarrow \text{every orbit}. }

Tao 對幾乎所有 Collatz 軌跡達到任意緩慢增長界以下的結果進一步說明：即使幾乎所有軌跡的下降行為能被高度強化，剩餘 exceptional set 的全稱排除仍然是另一個層級的問題。

第六，2026 年的「旋轉視角與字語言分析」應被提升為既有研究中最重要的校正節點之一。該研究證明：二叉樹旋轉保持節點集合，因此無法改變「逆樹是否覆蓋全部正整數」這一性質；同時它將研究自由度從樹形移回生成算子、parity words 與形式語言。這一轉向與既有 semigroup、parity-vector、automata 與 base-conversion 研究存在直接近鄰，也成為本系列後續「Local Affine Atlas」的自然入口。

第七，原 BCCP 所追求的「前向＋後向＋完備覆蓋」思想不應被視為已接近全域證明，而應重新限制為有限域上的精確 certificate methodology：

[1,N]⊆⋃γ∈CNDγ.\boxed{ [1,N] \subseteq \bigcup_{\gamma\in\mathcal C_N}D_\gamma. }

這一修正後的 BCCP 與本系列後續的 finite certificate frontier 可以自然整合。

本文最終不試圖宣告任何舊論文「全部無效」，而是建立新的研究分層：保留精確算術與 no-go 結果，將 representation-dependent 與 statistical claims 降至適當證據層級，並把全部既有成果重新組織到「運算轉譯—局部仿射圖冊—精確還原—有限證書」的新框架中。

關鍵詞： Collatz conjecture、3n+1、研究校正、逆向樹、parity word、 22 -adic valuation、finite verification、operation translation、local affine atlas、claim ledger

1. 研究目的：不是重寫歷史，而是建立證據層級

考拉茲猜想定義為：

Col⁡(n)={n/2,n≡0(mod2),3n+1,n≡1(mod2).\operatorname{Col}(n) = \begin{cases} n/2,&n\equiv0\pmod2,\\ 3n+1,&n\equiv1\pmod2. \end{cases}

或使用等價的 modified form：

T(n)={n/2,n≡0(mod2),(3n+1)/2,n≡1(mod2).T(n) = \begin{cases} n/2,&n\equiv0\pmod2,\\ (3n+1)/2,&n\equiv1\pmod2. \end{cases}

猜想要求：

∀n∈Z>0,∃k≥0:Col⁡k(n)=1.\boxed{ \forall n\in\mathbb Z_{>0}, \quad \exists k\ge0: \operatorname{Col}^k(n)=1. }

作者既有研究多次嘗試將問題轉換為：

  • 逆向覆蓋；
  • 分支點；
  • 幾何級數；
  • 降維；
  • 負漂移；
  • 雙向構造；
  • 幾何／旋轉；
  • 字語言。

這些轉換的價值不同。

因此本文不再問：

某篇舊文章是不是「對」？

而問：

某一個 claim 的證據強度到底是多少？

2. Claim Ledger

本文採以下六級。

T — Theorem / Exact Structural Result

可直接由整數算術、模運算、唯一分解或已知代數定理嚴格推出。

E — Equivalent Reformulation

與原 Collatz 命題等價或幾乎等價，但本身沒有減少最終全稱困難。

C — Computational Observation

在有限範圍內由程式驗證。

形式：

∀n≤N, P(n).\forall n\le N,\ P(n).

不可自動提升為：

∀n∈Z>0, P(n).\forall n\in\mathbb Z_{>0},\ P(n).

H — Heuristic / Statistical Intuition

例如：

  • 平均下降；
  • 隨機游走；
  • 典型 v2v_2 ；
  • 負 log drift；
  • 50/50 parity；
  • 耗散比喻。

可提供研究方向，但不能排除 exceptional orbit。

N — No-Go / Methodological Boundary

證明某類方法本身無法接觸核心量詞或 invariant。

這類結果不證明 Collatz，但具有明確研究價值。

S — Superseded / Representation-Dependent Claim

在特定表示中成立或有啟發，但不是 intrinsic Collatz structure；應被更不變的座標替代。

3. 舊研究 I：雙螺旋數論方法

3.1 原始核心

舊研究從終點 1 反向構造：

n↦2nn\mapsto2n

以及在合法條件下：

n↦n−13.n\mapsto\frac{n-1}{3}.

並同時保留任意起點的正向 Collatz iteration。

因此形成：

forward trajectory+backward convergence tree.\boxed{ \text{forward trajectory} + \text{backward convergence tree}. }

3.2 應保留的部分

反向覆蓋的等價性：

Collatz conjecture  ⟺  rooted inverse tree at 1 covers Z>0.\boxed{ \text{Collatz conjecture} \iff \text{rooted inverse tree at 1 covers }\mathbb Z_{>0}. }

屬於：

E.\boxed{E}.

它是正確而有用的 graph-theoretic reformulation。

3.3 不是什麼

它不是自動證明。

因為真正困難變成：

Why does the inverse tree cover every positive integer?\boxed{ \text{Why does the inverse tree cover every positive integer?} }

這正是原全稱問題的逆向版本。

3.4 與既有研究的校準

Applegate–Lagarias 對 3x+1 semigroup 的研究早已將 backward iteration 編碼到乘法 semigroup 中。

因此：

  • backward construction 本身不是新領域；
  • 「雙螺旋」可以保留為作者自己的研究組織語言；
  • novelty 必須落在後續新增的 coordinate / certificate structure，而不是「從 1 往回走」本身。

4. 舊研究 II：稀疏性與分支點

4.1 奇數前驅條件

若：

3m+1=n3m+1=n

且 mm 必須為奇數，

令：

m=2j+1.m=2j+1.

則：

n=6j+4.n=6j+4.

因此：

n 有合法奇數前驅  ⟺  n≡4(mod6).\boxed{ n\text{ 有合法奇數前驅} \iff n\equiv4\pmod6. }

分類：

T.\boxed{T}.

4.2 分支點自然密度

模 6 中只有一個 residue class：

4 mod 64\bmod6

滿足條件。

所以在全部正整數中，其自然密度為：

16.\boxed{\frac16}.

分類：

T.\boxed{T}.

4.3 odd-core decomposition

任意：

n>0n>0

唯一寫為：

n=2v2(n)m,m odd.\boxed{ n=2^{v_2(n)}m, \qquad m\text{ odd}. }

因此若逆樹包含某個 odd mm，

則自動包含：

m,2m,4m,8m,….m,2m,4m,8m,\ldots.

所以：

inverse-tree coverage of Z>0  ⟺  coverage of all positive odd integers.\boxed{ \text{inverse-tree coverage of }\mathbb Z_{>0} \iff \text{coverage of all positive odd integers}. }

分類：

E/T.\boxed{E/T}.

第一部分是唯一分解定理；第二部分是覆蓋問題的等價簡化。

5. 舊研究 III：終點必然性

舊研究指出：

若 Collatz 軌跡到達 1，

則最後必經：

⋯→2j→2j−1→⋯→2→1.\cdots\to2^j\to2^{j-1}\to\cdots\to2\to1.

所以：

trajectory converges to 1⇒trajectory intersects {2k}.\boxed{ \text{trajectory converges to 1} \Rightarrow \text{trajectory intersects }\{2^k\}. }

反之若碰到 2k2^k，

則必然到 1。

所以：

Collatz  ⟺  ∀n, ∃j,k:Tj(n)=2k.\boxed{ \text{Collatz} \iff \forall n,\ \exists j,k: T^j(n)=2^k. }

分類：

E.\boxed{E}.

它是正確的等價重述。

但：

reformulation≠mechanism explaining why every orbit hits 2k.\boxed{ \text{reformulation} \neq \text{mechanism explaining why every orbit hits }2^k. }

因此不再稱其為獨立的「終點必然性證明」。

6. 舊研究 IV：十進制降維

6.1 有效部分

反覆除以 2：

n,n2,n22,…n,\frac n2,\frac n{2^2},\ldots

必然減少數值尺度。

若：

n=2am,m odd,n=2^am, \qquad m\text{ odd},

則恰有：

a=v2(n)a=v_2(n)

次合法整數除 2 步，之後到 odd core mm。

這一部分應重寫為：

v2-reduction.\boxed{ v_2\text{-reduction}. }

分類：

T.\boxed{T}.

6.2 應降級部分

「十進制只有十個符號」「個位數是原子」「位數下降」等敘述依賴 base 10。

若改用 base 2、base 3 或 base BB，

digit structure 會改變。

Collatz map 本身並不依賴十進制。

因此：

decimal digit reduction\boxed{ \text{decimal digit reduction} }

應從核心證明工具降級為：

S.\boxed{S}.

6.3 替代量

後續統一採：

v2(n)\boxed{ v_2(n) } log⁡n\boxed{ \log n } n mod 2k\boxed{ n\bmod2^k } parity word.\boxed{ \text{parity word}. }

這些比十進制 digit count 更接近 intrinsic structure。

7. 舊研究 V：百萬整數計算驗證

舊研究驗證：

1≤n≤1061\le n\le10^6

的軌跡匯入既有收斂集合。

分類：

C.\boxed{C}.

此結果可以保留作：

  • code verification；
  • algorithmic artifact；
  • pattern discovery；
  • regression test。

但不能提升為：

proof over Z>0.\boxed{ \text{proof over }\mathbb Z_{>0}. }

7.1 當前計算尺度校準

公開的 Barina verification project 記錄：

268(2020),2^{68}\quad(2020), 269(2021),2^{69}\quad(2021), 270(2023),2^{70}\quad(2023), 271(2025).\boxed{ 2^{71}\quad(2025). }

因此百萬級驗證在 2026 年的正確定位是：

method validation benchmark,\boxed{ \text{method validation benchmark}, }

而非世界尺度 numerical evidence。

8. 舊研究 VI：幾何級數與模 6

8.1 模 6 三類

任意奇數恰屬：

1,3,5(mod6).1,3,5\pmod6.

分類：

T.\boxed{T}.

但：

partition into three residue classes\boxed{ \text{partition into three residue classes} }

本身並沒有消除類內無限複雜度。

所以「無窮奇數空間被降成三狀態，因此問題已接近有限化」是過度解讀。

8.2 幾何族

舊研究中特別考察：

Pk=2k,P_k=2^k, Mj=4j−13,M_j=\frac{4^j-1}{3},

以及：

5⋅2k.5\cdot2^k.

其中：

3Mj+1=4j=22j.3M_j+1=4^j=2^{2j}.

因此：

MjM_j

確實是一族直接送入 powers-of-two spine 的奇數。

分類：

T.\boxed{T}.

但後續應改寫為 accelerated inverse fiber，而不是把它們當作獨立「高速公路神秘級數」。

9. 數字 5 與「89% 撞點率」

舊有限實驗觀察到大量測試軌跡匯入：

5→16→8→4→2→1.5\to16\to8\to4\to2\to1.

這一現象可以作：

C.\boxed{C}.

但「5 是超級吸引子」應取消。

原因：

  1. 撞點比例取決於 sample；
  2. 取決於 stopping criterion；
  3. 取決於使用哪個 known convergence set；
  4. 5 並不是新的 invariant attractor。

更合適的概念是：

merge centrality.\boxed{ \text{merge centrality}. }

即在指定 finite certificate graph 中：

某個已知節點被多少條測試軌跡首先匯入？

因此舊「超級吸引子」分類：

C/H→finite graph centrality.\boxed{ C/H\rightarrow\text{finite graph centrality}. }

10. 舊研究 VII：系統論負漂移

舊研究核心直覺為：

odd nn 經：

3n+13n+1

後必須除以某個：

2v2(3n+1).2^{v_2(3n+1)}.

對 accelerated odd map：

S(n)=3n+12v2(3n+1).S(n) = \frac{3n+1} {2^{v_2(3n+1)}}.

取 log：

log⁡S(n)−log⁡n=log⁡3−v2(3n+1)log⁡2+log⁡(1+13n).\log S(n)-\log n = \log3 - v_2(3n+1)\log2 + \log\left(1+\frac1{3n}\right).

這個 identity 本身是：

T.\boxed{T}.

10.1 heuristic 在哪裡？

若進一步用：

E[v2(3n+1)]≈2\mathbb E[v_2(3n+1)]\approx2

推：

E[Δlog⁡n]≈log⁡3−2log⁡2=log⁡34<0,\mathbb E[\Delta\log n] \approx \log3-2\log2 = \log\frac34<0,

則已經進入 statistical model。

分類：

H.\boxed{H}.

10.2 真正缺口

E[ΔL]<0\boxed{ \mathbb E[\Delta L]<0 }

不能推出：

∀n, ∃k: Tk(n)<n.\boxed{ \forall n,\ \exists k:\ T^k(n)<n. }

低密度 exceptional orbit 完全可能逃過平均論證。

11. 與 Tao 結果的校準

Tao 證明：

對任意：

f(N)→∞,f(N)\to\infty,

有：

Col⁡min⁡(N)≤f(N)\operatorname{Col}_{\min}(N)\le f(N)

對 logarithmic-density 意義下的幾乎所有 NN 成立。

這比簡單負漂移 heuristic 強得多。

但仍不是：

Col⁡min⁡(N)=1∀N.\operatorname{Col}_{\min}(N)=1 \quad \forall N.

因此舊系統論文章自己指出的：

almost all≠all\boxed{ \text{almost all} \neq \text{all} }

應被保留，並升級成新系列最重要的量詞警告之一。

12. 舊研究 VIII：BCCP

原 BCCP 希望結合：

  1. Forward Logical Deduction；
  2. Backward Regressive Induction；
  3. Bidirectional Coverage Completeness。

這種方法論思想可以保留。

但若要求：

n≥N0⇒must rapidly descend,n\ge N_0 \Rightarrow \text{must rapidly descend},

則真正困難仍然藏在這條 universal statement 裡。

因此 BCCP 不再被定位為：

near-complete global proof paradigm.\boxed{ \text{near-complete global proof paradigm}. }

12.1 修正版 BCCP

對有限：

[1,N],[1,N],

定義 certificate family：

CN.\mathcal C_N.

若能嚴格證：

[1,N]⊆⋃γ∈CNDγ,\boxed{ [1,N] \subseteq \bigcup_{\gamma\in\mathcal C_N}D_\gamma, }

且每個：

γ\gamma

均提供：

  • exact map；
  • exact target；
  • exact descent / merge condition；
  • machine-checkable certificate；

則稱：

CN 為 finite coverage-complete certificate family.\boxed{ \mathcal C_N \text{ 為 finite coverage-complete certificate family}. }

這是 BCCP 應保留的嚴格版本。

分類：

global BCCP claim：S/H\boxed{ \text{global BCCP claim：S/H} } finite BCCP methodology：T-compatible framework.\boxed{ \text{finite BCCP methodology：T-compatible framework}. }

13. 舊研究 IX：旋轉視角

2026 年後期研究考慮 Collatz inverse binary tree 的 tree rotation。

其最重要結果不是新 invariant，

而是：

rotation preserves node set.\boxed{ \text{rotation preserves node set}. }

Collatz coverage 問題只問：

V(TC)=?Z>0.V(T_C)\stackrel{?}{=}\mathbb Z_{>0}.

因此任何只改變 tree shape 而保持 node set 的 operation：

cannot change coverage.\boxed{ \text{cannot change coverage}. }

分類：

N.\boxed{N}.

這是一個真正的方法論 no-go。

14. 「旋轉距離」的塌縮

在 rooted inverse tree 中沿 parent 往根走一步，

恰好等於做一次 forward Collatz step。

因此節點深度：

ρ(n)\rho(n)

若其存在，

就是該節點到 1 的 stopping-time information。

因此把：

ρ\rho

當作獨立新 invariant，

沒有新增資訊。

這也是：

N.\boxed{N}.

15. 從旋轉 no-go 到字語言

旋轉方法失敗後，

真正的生成自由度是：

D:n↦2nD:n\mapsto2n

與合法：

R:n↦n−13.R:n\mapsto\frac{n-1}{3}.

或者 forward parity alphabet：

{D,U}.\{D,U\}.

因此研究對象轉為：

w(n)∈{D,U}∗.\boxed{ w(n)\in\{D,U\}^*. }

這與 semigroup、parity-vector 與 symbolic-dynamics 路線具有直接關聯。

這個轉向應被保留。

分類：

representation shift：T-compatible / productive.\boxed{ \text{representation shift：T-compatible / productive}. }

16. 與 automata / computation 文獻的連接

Stérin–Woods 建立 quasi-cellular automaton 精確模擬 modified Collatz map：

T(n)={n/2,(3n+1)/2.T(n)= \begin{cases} n/2,\\ (3n+1)/2. \end{cases}

並展示 Collatz process 內嵌 base-3 到 base-2 conversion algorithm。

因此作者舊有：

  • 進制；
  • 字；
  • 生成規則；
  • automata intuition；

並非完全錯置。

真正需要修正的是：

base-dependent decimal digit heuristics\boxed{ \text{base-dependent decimal digit heuristics} }

應讓位給：

exact symbolic / residue / automata structure.\boxed{ \text{exact symbolic / residue / automata structure}. }

17. 舊研究 X：環面／對數渦旋幾何

後續 TCGCT 工作把 Collatz lifted 到相量／環面空間。

若幾何 argument 使用：

P(odd)=P(even)=12P(\text{odd})=P(\text{even})=\frac12

或等價的平均耗散假設，

則：

geometric convergence\boxed{ \text{geometric convergence} }

仍只是 statistical heuristic 的幾何重述。

因此任何「Collatz 幾何收斂定理」若依賴這一假設，

應降級為：

H.\boxed{H}.

17.1 可保留部分

幾何／環面 representation 可以作：

  • visualization；
  • phase-coordinate experiment；
  • finite-state embedding；
  • generalized computation research。

但：

representation change≠universal convergence proof.\boxed{ \text{representation change} \neq \text{universal convergence proof}. }

18. 新研究所加入的關鍵校正：local versus global

Series A 的 operation translation framework 提供一個過去缺少的清楚區分。

對固定合法 domain：

Dα,D_\alpha,

可以存在：

exact local transform.\boxed{ \text{exact local transform}. }

但：

exact local simplification⇏global orbit theorem.\boxed{ \text{exact local simplification} \not\Rightarrow \text{global orbit theorem}. }

Collatz 特別適合展示這一差異。

19. 新系列的基礎觀點

後續將對 modified Collatz：

T(n)={n/2,n even,(3n+1)/2,n oddT(n) = \begin{cases} n/2,&n\text{ even},\\ (3n+1)/2,&n\text{ odd} \end{cases}

取有限 parity word：

w.w.

並證明其有限 composition 可寫為：

Tw(n)=3u(w)n+bw2∣w∣.\boxed{ T_w(n) = \frac{3^{u(w)}n+b_w}{2^{|w|}}. }

這表示：

finite Collatz dynamics\boxed{ \text{finite Collatz dynamics} }

在固定合法 word domain 中具有 exact affine closure。

這是新系列 Paper 02 的起點。

20. 新舊研究對照總表

舊研究主張／方法 新分類 保留方式
從 1 逆向構造 Collatz tree E inverse coverage framework
雙向正反搜索 methodology finite certificate search
n≡4(mod6)n\equiv4\pmod6 才有奇數前驅 T exact branch-domain rule
branch-point density 1/61/6 T structural statistic
odd-core / 2k2^k rays T valuation decomposition
所有收斂軌跡碰到 2k2^k E terminal-set reformulation
十進制位數降維 S replace by v2,log⁡, mod 2kv_2,\log,\bmod2^k
個位數有限性 S pedagogical only
10610^6 convergence test C regression / benchmark
odd residues mod 6 T coarse partition only
(4j−1)/3(4^j-1)/3 family T accelerated inverse fiber
5 是「超級吸引子」 C/H finite merge centrality
89% 撞 5 C sample-specific observation
平均 v2≈2v_2\approx2 H stochastic model
negative log drift H + exact identity core motivation, not proof
dissipative-system analogy H intuition
global BCCP nearly closes proof S/H remove
finite BCCP coverage valid framework certificate frontier
tree rotation solves coverage rejected rotation no-go
rotation preserves coverage N keep
parity word / formal language productive upgrade
toroidal geometric convergence H visualization / heuristic

21. 本文最重要的修正原則

原則一：Representation 不等於 Invariant

十進制、螺旋、環面、二叉樹 layout 都是 representations。

若換 representation 後 claim 消失，

就不能把它當 intrinsic theorem。

原則二：Almost All 不等於 All

μ(Ec)=0\boxed{ \mu(E^c)=0 }

不代表：

Ec=∅.\boxed{ E^c=\varnothing. }

Collatz 的核心正是全稱量詞。

原則三：Finite Verification 不等於 Infinite Proof

∀n<N, P(n)\forall n<N,\ P(n)

與：

∀n, P(n)\forall n,\ P(n)

之間不存在自動推理橋。

原則四：Equivalent Reformulation 不等於 Complexity Reduction

把：

reach 1\text{reach 1}

改成：

reach 2k\text{reach }2^k

若沒有使證明 obligation 變弱，

就是 reformulation，不是 closure。

原則五：No-Go 也是正成果

如果證明：

method family M\text{method family }\mathcal M

保持核心 invariant，

因此不可能改變 coverage，

那麼：

M can be removed from proof search.\boxed{ \mathcal M \text{ can be removed from proof search}. }

這是真正減少研究空間的成果。

22. 研究成熟度重新排序

經本文校正後，作者既有研究可大致分成三層。

第一層：最值得保留

  • inverse-tree formulation；
  • branch congruence 4 mod 64\bmod6 ；
  • odd-core / v2v_2 ；
  • parity word；
  • rotation no-go；
  • finite bidirectional certificate idea。

第二層：適合作為 motivation

  • negative drift；
  • dissipative intuition；
  • geometric series families；
  • finite merge statistics；
  • computation.

第三層：應降級／淘汰核心地位

  • decimal digit finiteness 作為證明核心；
  • 「5 超級吸引子」；
  • parity 50/50 推 universal convergence；
  • global BCCP success-probability style claim；
  • geometry alone implies Collatz convergence。

23. 當前外部研究狀態

截至 2026 年：

  1. Collatz conjecture 仍未被解決。
  2. Tao 的重要結果控制 logarithmic-density 意義下幾乎所有 orbit 的最小值。
  3. Barina project 已完整驗證到 2712^{71}。
  4. 2026 年 Angeltveit 提出新的有限驗證演算法，研究如何把 N→N+1N\to N+1 的成本增幅壓到小於 2。
  5. parity-vector、accelerated map、coordinate system 與 generalized Collatz 仍持續有新研究。
  6. backward iteration / semigroup、 22 -adic dynamics 與 automata 並非旁支，而是 Collatz 長期正式研究的一部分。

這也支持本文的新定位：

不追求用單一直覺宣稱終結 Collatz，而是把有限局部結構做到 exact，並清楚指出全域量詞仍然在哪裡。

24. 新系列與舊系列的銜接

本文完成後，舊研究不再作為一組互相競爭的「可能證明」。

它們被重新組成：

Inverse Structure\boxed{ \text{Inverse Structure} } ++ Valuation Structure\boxed{ \text{Valuation Structure} } ++ Parity / Word Structure\boxed{ \text{Parity / Word Structure} } ++ Finite Computational Evidence\boxed{ \text{Finite Computational Evidence} } ++ Methodological No-Go Results.\boxed{ \text{Methodological No-Go Results}. }

下一步再加入：

Operation Translation\boxed{ \text{Operation Translation} }

與：

Exact Recovery.\boxed{ \text{Exact Recovery}. }

25. 新系列核心命題

後續系列採以下母句：

Collatz dynamics is locally affine-trivializable, but globally itinerary-nontrivial.\boxed{ \textbf{Collatz dynamics is locally affine-trivializable, but globally itinerary-nontrivial.} }

即：

考拉茲動力在有限合法判定域內可被精確仿射化，甚至可透過適當 source/target charts 局部平凡化；真正未閉合的困難主要存在於無限局部判定域之間的全域 itinerary，而非單一局部算術操作。

注意：

本文尚未證明這句話中的全部技術內容。

Paper 02–05 將逐步建立其精確版本。

26. 研究誠信聲明

本系列後續若出現以下詞語：

  • theorem；
  • exact；
  • proof；
  • equivalent；

必須附明確 domain。

若只成立：

  • finite NN ；
  • fixed parity word；
  • almost all；
  • average；
  • sampled data；
  • selected norm；
  • selected representation；

則必須明確標示。

不得從：

local\text{local}

偷渡：

global,\text{global},

不得從：

density 1\text{density }1

偷渡：

all,\text{all},

不得從：

numerically verified\text{numerically verified}

偷渡：

proved.\text{proved}.

27. 結論

作者既有 Collatz 研究並不是一組必須全部捨棄的失敗嘗試。

更準確地說，它們混合了不同證據層級。

重新分類後：

  • inverse tree 保留；
  • branch sparsity 保留；
  • odd-core / valuation 保留；
  • parity words 保留並升級；
  • rotation no-go 保留；
  • finite verification 保留；
  • BCCP 改為 finite certificate methodology；
  • negative drift 保留為 heuristic；
  • decimal reduction 降為 representation；
  • 5-attractor 降為 finite merge statistic；
  • geometric convergence 降為 heuristic。

因此真正的研究演化不是：

old Collatz research→discard.\text{old Collatz research} \rightarrow \text{discard}.

而是：

old heterogeneous claims→evidence-calibrated components→new exact framework.\boxed{ \text{old heterogeneous claims} \rightarrow \text{evidence-calibrated components} \rightarrow \text{new exact framework}. }

至此，新的 Collatz Operation Translation Series 可以在乾淨的基礎上開始。

下一篇將不再進行歷史校正，而直接建立第一個核心定理：

Tw(n)=3u(w)n+bw2∣w∣.\boxed{ T_w(n) = \frac{3^{u(w)}n+b_w}{2^{|w|}}. }

並證明有限 parity word 在合法判定域中的 exact affine closure。

參考文獻

  1. Terence Tao, Almost all orbits of the Collatz map attain almost bounded values, Forum of Mathematics, Pi 10 (2022), arXiv:1909.03562.
  2. David Applegate, Jeffrey C. Lagarias, The 3x+1 Semigroup, J. Number Theory 117 (2006), arXiv:math/0411140.
  3. Tristan Stérin, Damien Woods, The Collatz process embeds a base conversion algorithm, arXiv:2007.06979.
  4. David Barina, Improved verification limit for the convergence of the Collatz conjecture, Journal of Supercomputing 81 (2025).
  5. Vigleik Angeltveit, An improved algorithm for checking the Collatz conjecture for all n < 2^N, arXiv:2602.10466 (2026).
  6. Felipe Gonçalves, Rachel Greenfeld, Jose Madrid, Generalized Collatz Maps with Almost Bounded Orbits, arXiv:2111.06170.
  7. Tong Niu, Parity vectors and paradoxical sequences in the accelerated Collatz map, arXiv:2605.13886 (2026).
  8. Neo.K, 考拉茲猜想的雙螺旋數論方法：逆向構造圖論框架, internal/public research manuscript.
  9. Neo.K, 考拉茲猜想的稀疏性結構：小數篩選與分支點理論.
  10. Neo.K, 考拉茲猜想的終點必然性：十進制除法篩選定理.
  11. Neo.K, 考拉茲猜想的十進制降維原理：數字空間的有限性約束.
  12. Neo.K, 考拉茲猜想的雙螺旋驗證：100萬數字的計算實證.
  13. Neo.K, 考拉茲猜想的幾何級數結構與模運算分析：從混沌到秩序的最終簡化.
  14. Neo.K, 考拉茲猜想的系統論直覺：指數收斂的必然性與最後的技術鴻溝.
  15. Neo.K, 雙向構造性完備證明法：考拉茲猜想的新證明範式.
  16. Neo.K, 考拉茲猜想的旋轉視角與字語言分析.

下一篇

Paper 02 —《Collatz Local Affine Atlas：有限奇偶字的精確仿射化》

核心任務：

  1. 定義 modified Collatz branch operators D,UD,U ；
  2. 建立 finite-word affine closure；
  3. 推導 bwb_w 的 closed form；
  4. 證明 count/order decomposition；
  5. 建立三元組／矩陣 representation；
  6. 為 Paper 03 的 parity-word ↔ residue-cylinder theorem 準備代數基礎。