Collatz 轨道的统计学——奇偶向量、漂移与陶哲轩

父节点：orbit · 前置：ergodic-theory-of-orbits、symbolic-dynamics

这是 collatz 问题在动力系统一侧的视角。迄今为止关于 $3n+1$ 能够证明的一切都是统计性的——而障碍恰恰就是 ergodic-theory-of-orbits 中"几乎处处"与"处处"之间的那堵墙。

全文使用 $\mathbb{Z}$ 上的捷径映射（shortcut map）：

（每一个奇数步之后必然跟着至少一次减半，所以把它折叠进来不会丢失信息。）

奇偶向量：符号编码

$n$ 的奇偶向量是 $v_k(n) = \big(n \bmod 2,\ T(n) \bmod 2,\ \dots,\ T^{k-1}(n) \bmod 2\big) \in \{0,1\}^k$——即轨道在奇偶之间穿行的行程记录，也就是一种符号编码（symbolic-dynamics）。

Terras（1976）

$v_k(n)$ 只取决于 $n \bmod 2^k$，且映射 $n \bmod 2^k \mapsto v_k(n)$ 是一个双射 $\mathbb{Z}/2^k \to \{0,1\}^k$。前 $k$ 位奇偶性 ↔ 模 $2^k$ 的余数，精确对应。

因此在一个完整的剩余类上，前 $k$ 个奇偶位的行为就像 $k$ 次公平抛硬币——下文的随机性启发式论证，对于有限前缀而言其实是一条定理。Terras 的推论：轨道最终降到 $n$ 以下的那些 $n$，其自然密度为 1。

漂移计算（为什么大家都相信这个猜想）

沿着一条轨道，奇数步上 $\log T(n) - \log n \approx \log\tfrac{3}{2}$，偶数步上则是 $\log\tfrac{1}{2}$。如果奇偶性是公平硬币（Terras 的结果为典型前缀担保了这一点），那么每一步的期望变化是

典型轨道是对数尺度上带有向下漂移的随机游走——每一步以速率 $\left(\tfrac{3}{4}\right)^{1/2}$ 几何衰减，因此典型的总停止时间 $\approx \tfrac{2}{\log(4/3)} \ln n \approx 6.95 \ln n$，与计算结果吻合。同样的算术也给"近亲"们定了罪：对 $5n+1$，漂移是 $\tfrac{1}{2}\log\tfrac{5}{4} > 0$（被猜测几乎处处发散），而 $3n-1$ 则确实存在非平凡循环，例如它的捷径映射下 $5 \to 7 \to 10 \to 5$。这幅被相信的图景在系数上是脆弱的——"$3n+1$ 会到达 1"这件事，在这个大家族里并不是通例。

为什么漂移不是证明：负的期望漂移约束的是典型行为；而猜想本身是全称量化的。一个测度为零的、专门对抗的奇偶序列集合，完全可以与上面的一切相容——而根据 Conway 的结果，在更宽的家族里，这种对抗行为不仅是可能的，甚至是不可判定的（无法排除）。

2-adic 完备化：动力系统变得平凡之处

把 $T$ 延拓到 2-adic 整数 $\mathbb{Z}_2$ 上（在那里，"模 $2^k$，对每个 $k$"就是整个拓扑）。把奇偶向量取到无穷，Terras 的那些双射拼接成一个映射 $\Phi: \mathbb{Z}_2 \to \{0,1\}^{\mathbb{N}}$，它是一个测度保持的同胚，把 $T$ 共轭到完整的 2-移位（Lagarias，1985）。在 $\mathbb{Z}_2$ 上，Collatz 就是那个抛硬币移位：遍历、熵为 $\log 2$，被完全理解。

而猜想谈的是 $\mathbb{N} \subset \mathbb{Z}_2$——一个测度为零的子集。遍历论这台机器能回答关于"几乎每一个 2-adic 点"的一切问题，但对这个特定的零测集，它天生沉默。（和倍增映射下的有理数是同一处小字条款，只是被抬升成了一个研究问题。）

目前最好的无条件结果

• 陶哲轩（2019）：对任意 $f: \mathbb{N} \to \mathbb{R}$（满足 $f(n) \to \infty$），几乎所有 $n$（对数密度意义下）都满足 $\min_k T^k(n) < f(n)$。"几乎所有轨道都能取到几乎有界的值"——证明方法是把问题搬运到一个显式的随机模型上，再跑一个鞅/一阶矩论证；这是漂移启发式在真正接受证明检验后所能存活下来的最强形式。
• Krasikov–Lagarias（2003）：至少有 $x^{0.84}$ 个小于 $x$ 的整数能到达 1。
• 验证：所有 $n \le 2^{68}$ 都能到达 1（Barina，2020）。
• 循环：借助 $\log_2 3$ 的连分数展开，Eliahou（1993）证明任何非平凡循环的长度至少为 $17{,}087{,}915$（这一界依赖于当时的验证高度，会随之增长）。

大约90年后的计分板是这样的：密度为1的命题、测度意义下的命题、有限范围内的验证——每一次成功都是对原本那个 $\forall$ 的放松，而原本的那个 $\forall$ 分毫未动。