考拉茲猜想的旋轉視角與字語言分析
一份方法論偵察報告
作者： Neo.K 機構： 一言諾科技有限公司（EveMissLab） 理論協作： Theia 日期： 2026 年 5 月
定位聲明
本文不是考拉茲猜想的證明嘗試，也不聲稱推進了它的解決。本文是一份方法論偵察報告：記錄一條以「二叉樹旋轉」為起點的探索路徑，誠實標明它在何處撞牆、為何撞牆，以及撞牆後問題被翻譯成了什麼形態。本文最硬的成果是兩個負面結果與一個等價翻譯——它們的價值不在於更接近答案，而在於精確劃定了一整類方法的失效邊界，並把困難搬到一張新的工具桌上。
對「為何正常數學家不證考拉茲」這個老問題，本文提供一個結構性的回答：因為它的困難不在技巧層，而在邏輯類型層；任何只操作結構與形狀的方法，對它的核心困難結構性失明。
1. 二叉逆樹的形式定義
1.1 基本構造
考拉茲映射定義為
$$ f(n) = \begin{cases} n/2 & n \equiv 0 \pmod 2,\\ 3n+1 & n \equiv 1 \pmod 2. \end{cases} $$
我們不從正向迭代切入，而是構造一棵以 $1$ 為根、節點為正整數的有根二叉樹。
定義 1（考拉茲逆樹 $T_C$）。 對任意節點 $n \in \mathbb{Z}^+$：
$$ L(n) := 2n \quad (\text{總是存在的左子}), $$ $$ R(n) := \frac{n-1}{3} \quad \text{若 } n \equiv 4 \pmod 6\text{，否則未定義}. $$
排除 $1 \to 4 \to 2 \to 1$ 的平凡回邊（即不把 $1$ 當作 $4$ 的右子的下游）。
定義 2（中序遍歷 $I$）。 $I(\varnothing) = []$，$I(T_n) = I(T_{L(n)}) \oplus [n] \oplus I(T_{R(n)})$。
定義 3（顏色）。 $\chi(n) = n \bmod 6$。
定義 4（深度/旋轉距離 $\rho$）。 $\rho(n)$ 為 $n$ 在 $T_C$ 中到根的路徑長度。
關於右子條件的一個註記：$n \equiv 4 \pmod 6$ 蘊含 $(n-1)/3 = (6k+3)/3 = 2k+1$ 永遠為奇數，故「$(n-1)/3$ 為奇」這個附加條件自動滿足，無需單獨檢查。
1.2 關鍵引理：父節點即正向一步
引理 1。 在 $T_C$ 中，節點 $m$（$m \neq 1$）的父節點為
$$ \mathrm{parent}(m) = \begin{cases} m/2 & m \text{ 偶},\\ 3m+1 & m \text{ 奇}. \end{cases} $$
證明。 若 $m$ 偶，則 $m = L(m/2) = 2(m/2)$，故父為 $m/2$。若 $m$ 奇，則 $m$ 只能是某節點的右子：$m = R(n) = (n-1)/3 \Rightarrow n = 3m+1$，且 $n = 3m+1 \equiv 4 \pmod 6$（因 $m$ 奇）滿足右子條件。故父為 $3m+1$。$\square$
引理 1 說明：在 $T_C$ 中沿樹往根走一步，恰好等於對 $m$ 施加正向考拉茲一步。於是得到一個立即的推論。
推論 1（$\rho \equiv \tau$ 塌縮）。 對任意 $n \in T_C$，其深度 $\rho(n)$ 恆等於 $n$ 的完整考拉茲停止時間 $\tau(n)$（含偶數步）。
這個推論有一個方法論後果：把「旋轉距離」當作一個獨立於停止時間的新不變量，是錯誤的期望。$\rho$ 沒有提供任何 $\tau$ 之外的信息。任何關於 $\rho$ 上界的猜想（如 $\rho(n) \le c\log n$）僅僅是停止時間上界問題的改寫。數值上，在 $[1, 10^5]$ 範圍內 $\rho(n)/\ln n$ 平均約 $10.23$，上界約 $33.68$（且不隨範圍上升刷新）——這就是經驗停止時間常數本身。
1.3 覆蓋性等價
命題 1。 考拉茲猜想 $\iff \{n : n \in T_C\} = \mathbb{Z}^+$。
由引理 1，$n \in T_C$（根為 $1$）等價於 $n$ 的正向軌跡到達 $1$。$\square$
2. 第一個負面結果：旋轉不可見性
二叉樹旋轉是平衡樹算法的核心操作。它的定義性質是：保持節點集合與中序遍歷不變，只改變樹的拓撲形狀。 這正是它在資料結構中有用的原因——重組樹形不丟失資料。
但這個性質對考拉茲是致命的。
定理 1（旋轉不可見性 No-go）。 覆蓋性（命題 1）是旋轉等價類商空間上的不變量。任何只操作樹形狀的方法——旋轉、splay、平衡——都無法觸及覆蓋性。
論證。 旋轉按定義保持節點集合不變。考拉茲的全部困難在於節點集合是否等於 $\mathbb{Z}^+$（命題 1）。一個不改變節點集合的操作，無論如何組合，都不可能改變「節點集合是否等於 $\mathbb{Z}^+$」這一事實。$\square$
此外，由 Sleator–Tarjan–Thurston 的經典結果，固定節點集的所有二叉樹形狀在旋轉下構成連通圖（associahedron 的 1-骨架），即旋轉在形狀空間上本來就傳遞。因此「旋轉群是否傳遞」這個問題，若指形狀空間則 trivially true 且與考拉茲無關；若指作用在 $\mathbb{Z}^+$ 上，則旋轉根本不是數字上的操作，構不成。兩種詮釋都是死路。
方法論教訓。 考拉茲的困難不在「樹擺成什麼形狀」，而在「哪些數字進入樹」。前者是旋轉管轄的自由度，後者是生成規則管轄的自由度。把賭注押在形狀自由度上的整類方法，注定失明。
3. 從旋轉到么半群：正確的代數對象
既然自由度不在形狀，就只能在節點生成規則本身。正確的代數對象是兩個生成算子的么半群。
定義 5。 令 $L: n \mapsto 2n$（無條件），$R: n \mapsto (n-1)/3$（僅當 $n \equiv 4 \pmod 6$）。考慮么半群 $M = \langle L, R\rangle$ 在 $\mathbb{Z}^+$ 上的作用。
命題 2。 考拉茲猜想 $\iff \{1\}$ 在 $M$ 下的軌道等於 $\mathbb{Z}^+$。
等價地，反向觀察每個 $n$ 到根的路徑，得到一個正向軌跡的奇偶字
$$ w(n) \in \{u, d\}^*, \quad u = \text{奇數步 }(3n+1), \quad d = \text{偶數步 }(n/2). $$
問題從「群的傳遞性」轉為「字語言 $\mathcal{L} = \{w(n) : n \in \mathbb{Z}^+\}$ 的形式語言類別」。這是真正的技術棧轉移——從代數轉到自動機理論。
4. 字語言的局部結構（實證）
以下結論皆由對 $[1, 10^5]$ 的窮舉計算得出（代碼見附錄 A.2）。
4.1 禁止因子與唯一下降閘門
觀察 1。 在 $10^5$ 個字中，因子 uu 出現 0 次；最大 $u$-run 長度為 $1$。
命題 3。 字語言滿足 $\mathcal{L} \subseteq d^(u\,d^+)^$，即每個 $u$ 後必接至少一個 $d$。
證明。 $u$ 對應 $n \mapsto 3n+1$。$n$ 奇時 $3n+1$ 必偶，故下一步必為 $d$。等價地，$R$ 算子的值域為奇數（$2k+1$），而 $R$ 的定義域為 $\equiv 4 \pmod 6$ 的偶數，二者不交，故 $RR$ 永不可能連續發生。$\square$
換言之，所有「下降」（縮小數值的潛在能力）的閘門完全鎖死在 $\chi(n) = 4$ 的節點上；所有奇數節點都是純鏈節點，只有左子 $2n$。
4.2 比例不變量
觀察 2。 $\#d/\#u$ 在 $N = 10^4$ 時為 $1.94$，在 $N = 10^5$ 時為 $2.02$，隨範圍微升。
推導（標為推導，非定理）。 兩條獨立關係：
$$ \#d \approx 2\,\#u \quad (\text{由 d-run 期望} \approx 2), $$ $$ \#d \approx (\log_2 3)\,\#u + \log_2 n \quad (\text{由值守恆 } 3^{\#u}/2^{\#d}\cdot n \approx 1). $$
聯立得 $\#u \approx 2.41\log_2 n$，$\#d \approx 4.82\log_2 n$，總長 $\rho \approx 7.23\log_2 n \approx 10.4\ln n$，與 4.1.2 節獨立測得的 $\rho/\ln n \approx 10.23$ 自洽。微升項即 $\log_2 n / \#u$ 的修正。注意 $\log_2 3 \approx 1.585$ 是天真比例估計，被真實的 d-run 期望（=2）主導後修正為約 2。
4.3 d-run 分佈
觀察 3。 d-run 長度（$= v_2(3n+1)$）的計數為 $\{1: 1808744,\ 2: 855100,\ 3: 448392,\ 4: 326688, \dots\}$，呈幾何衰減，期望 $1.99 \approx 2$，與 $v_2(3n+1)$ 的幾何分佈理論一致。
4.4 公共後綴森林
觀察 4。 不同起點的字常共享相同後綴。例：$n = 27$（長 111）與 $n = 97$（長 118）的軌跡字後段完全相同。
這是軌跡匯流的直接體現：兩條軌跡一旦到達同一個值，到根的剩餘路徑即鎖死為同一條。因此 $\mathcal{L}$ 並非任意字集，而是一個共享公共後綴森林的語言——每個字的後綴即它與其他節點的公共祖先路徑。匯流結構等同於樹結構本身。
5. 通用指紋提取器
上述分析的全部機制可抽象成一個與「考拉茲是否被解」完全脫鉤的工具：對任意迭代映射 $n \mapsto qn+c$（奇）/ $n \mapsto n/2$（偶），提取其字語言指紋。
對三個參數運行同一套程式（代碼見附錄 A.3），結果如下：
| 映射 | 收斂率 | $\#d/\#u$ | uu 禁止 | 吸引子數量 | $E[\text{d-run}]$ | |---|---|---|---|---|---| | $3n+1$ | 100% | 1.94 | True | 1（全歸於 1） | 1.98 | | $3n-1$ | 100% | 1.99 | True | 3（1, 5, 17） | 2.04 | | $5n+1$ | 7.26% | 2.69 | True | 3 | 2.75 |
幸存者偏差作為指紋。 $5n+1$ 的 $\#d/\#u = 2.69$ 高於收斂的 $3n+1$（1.94），直覺上「除更多 2 應更收斂」，但它 92.7% 發散。原因是統計僅在收斂軌跡上進行，2.69 只是 7% 倖存者的數字；$5n+1$ 的真實生成偏好是發散（每壓縮步 $\approx 5/2^2 = 1.25 > 1$）。這個異常本身即指紋：當收斂樣本的比例反常偏高，它指示該映射的收斂是被篩選的少數而非常態。逼近的偏差不是噪音，是訊號。
6. 第二個負面結果：局部正則 ≠ 全局可判定
第 5 節的三映射數據蘊含一個比定理 1 更乾淨的結論。
定理 2（實證版分離）。 局部語言約束對全局判定幾乎零預測力。
論證。 $3n+1$、$3n-1$、$5n+1$ 共享完全相同的局部語言（皆禁 uu，皆為 $q, c$ 奇的族不變量），但其全局行為天差地別：$3n+1$ 單吸引子收斂、$3n-1$ 三吸引子收斂、$5n+1$ 主導發散。三個系統擁有相同的有限自動機層級結構，卻有完全不同的命運。$\square$
這是用三個並排實例實證了「局部正則性無法決定全局終止性」——不是抽象援引 Post 定理，而是直接擺出三個有相同局部語法、不同全局歸宿的具體系統。困難因此被定位：它不在自動機可見的局部層，而在自動機不可見的全局判定層。
7. 方法論結算
本文的三個主要成果，按誠實的當量排列：
- 旋轉不可見性（定理 1）：拓撲重組類方法對覆蓋性結構性失明。一整類方法被排除。
- 么半群字語言翻譯（命題 2、第 4 節）：問題被乾淨地搬入自動機理論，局部結構完全鎖定（單一禁止因子
uu，比例與分佈不變量自洽）。 - 局部正則 ≠ 全局可判定（定理 2）：用三映射實證困難所在的精確層級。
沒有一個成果讓我們更接近證明。但它們合起來劃定了一條清晰的不可能邊界：旋轉、形狀代數、初等自動機——這些工具對考拉茲的核心困難全部失效。殘存的希望被逼到唯一的活門：$3$ 與 $2$ 這組特定常數的算術特殊性，而非任何可推廣的結構。
這條偵察路徑的真正產物，不是地圖上的前進，而是地圖上劃掉的死路，以及一個可獨立使用的工具（指紋提取器，第 5 節）。
附錄 A：代碼範例
A.1 二叉逆樹與覆蓋性
def parent(m):
if m == 1:
return None
return m // 2 if m % 2 == 0 else 3 * m + 1
def right_child(n):
# n ≡ 4 mod 6 → (n-1)/3 = 2k+1 永遠為奇, 條件自動滿足
if n > 1 and n % 6 == 4:
return (n - 1) // 3
return None
def left_child(n):
return 2 * n
def stopping_time(n):
t = 0
while n != 1:
n = n // 2 if n % 2 == 0 else 3 * n + 1
t += 1
if t > 100000:
return -1
return t
# 推論 1: rho(n) = stopping_time(n) 恆成立A.2 字語言分析（禁止因子、比例、run-length）
def collatz_word(n):
"""返回正向軌跡的 u/d 字"""
w = []
while n != 1:
if n % 2 == 1:
w.append('u'); n = 3 * n + 1
else:
w.append('d'); n = n // 2
if len(w) > 100000:
return None
return ''.join(w)
def analyze(N):
uu_hits = 0
sum_u = sum_d = 0
from collections import Counter
d_runs = Counter()
for start in range(1, N + 1):
w = collatz_word(start)
if w is None:
continue
sum_u += w.count('u'); sum_d += w.count('d')
if 'uu' in w:
uu_hits += 1
i = 0
while i < len(w):
j = i
while j < len(w) and w[j] == w[i]:
j += 1
if w[i] == 'd':
d_runs[j - i] += 1
i = j
return uu_hits, sum_d / sum_u, dict(sorted(d_runs.items()))A.3 通用指紋提取器（任意 qn+c）
from collections import Counter
def trajectory_word(n, q, c, max_steps=2000, max_val=10**15):
"""返回 (狀態, u/d字, 吸引子標籤)
狀態: 'halt'=進入循環 | 'escape'=逃逸"""
seen, w, step = {}, [], 0
while step < max_steps:
if n in seen:
idx = list(seen.values()).index(seen[n])
cycle_min = min(list(seen.keys())[idx:] + [n])
return 'halt', ''.join(w), cycle_min
if n > max_val:
return 'escape', ''.join(w), None
seen[n] = step
if n % 2 == 1:
w.append('u'); n = q * n + c
else:
w.append('d'); n = n // 2
step += 1
return 'escape', ''.join(w), None
def fingerprint(q, c, N):
halt = escape = sum_u = sum_d = uu_hits = 0
attractors = Counter()
for start in range(1, N + 1):
state, w, attr = trajectory_word(start, q, c)
if state == 'halt':
halt += 1
attractors[attr] += 1
sum_u += w.count('u'); sum_d += w.count('d')
if 'uu' in w:
uu_hits += 1
else:
escape += 1
return {
'map': f"{q}n{'+' if c>=0 else ''}{c}",
'halt_rate': halt / N,
'd/u': (sum_d / sum_u) if sum_u else float('nan'),
'uu_forbidden': uu_hits == 0,
'num_attractors': len(attractors),
'top_attractors': attractors.most_common(3),
}
# 用法: 同一套程式, 不同參數
# for q, c in [(3,1), (3,-1), (5,1)]: print(fingerprint(q, c, 10000))我們想用形狀解開它，它告訴我們形狀無關；我們想用結構解開它，它告訴我們結構有限而判定無窮。這份報告唯一確定的成果，是把幾條路標上了「此路不通」——而在一片宣稱走通了的喧嘩裡，誠實地劃掉死路，本身就是一種前進。