🔢 mathematics

Minimum Steps to reach to a Smaller Number in 3n+1/Collatz Process

本文通过分析归一化 Collatz 迭代的停止时间与循环结构，证明了在 1 处的平凡循环是唯一的容许周期轨道，其方法是论证不存在任何有限非平凡循环能与该过程相兼容。

原作者： Daohang Sha

发布于 2026-01-28

📖 1 分钟阅读🧠 深度阅读

原作者： Daohang Sha

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

以下是对达豪·沙（Daohang Sha）的论文《论 Collatz 过程中停止数与循环数的界限》的通俗化解释，采用了日常语言和类比。

大局观：“3n + 1”游戏

想象一个用数字玩的游戏。你选择一个起始数字，然后遵循两条简单的规则：

如果数字是偶数： 将它减半。
如果数字是奇数： 将其乘以 3，加 1，然后减半。

你不断重复这个过程。著名的 Collatz 猜想（考拉兹猜想） 问道：无论你从哪个数字开始，最终是否总会到达数字 1？

大多数数学家认为答案是“是的”，但目前还没有人能证明这一点。达豪·沙的这篇论文试图证明，除了 1 之外，不存在其他的“循环”（loops）。

作者的策略：绘制旅程地图

沙将移动序列（减半或乘以 3）视为一种 二进制代码（由 0 和 1 组成的字符串）。

0 代表“减半”步骤。
1 代表“乘以 3”步骤。

把一个特定的起始数字想象成一名旅行者。论文分析了这位旅行者所遵循的“地图”（0 和 1 的序列）。作者关注一类特定的旅行者：那些除以 4 余 3 的起始数字（例如 3, 7, 11, 15 等）。

核心概念解释

1. “停止时间”（何时变小？）

想象你正在爬山。有时你会向上迈一步（“1”步，使数字变大），有时你会向下迈一步（“0”步，使数字变小）。

停止时间： 这是指当你向下走的步数足够多，使得你比出发时位置更低的那一刻。
论文的观点： 沙计算了这次远足的“最好情况”和“最坏情况”。他表明，对于任何特定的远足长度，对于你能降到多低是有数学极限的。

2. “循环”问题（无限循环）

“循环”就像是一个过山车，它会上升也会下降，但最终会回到你开始的完全相同的位置，从而创建一个永不触底（到达 1）的无限循环。

目标： 论文试图证明，对于任何有限的旅程，这样的循环都是不可能存在的。

3. “完美平衡”类比

要形成一个循环，数字必须以一种极其完美的方式增长和缩小，使其最终能回到起点。

数学隐喻： 想象一个天平。在其中一端，你有 2 的幂（减半）。在另一端，你有 3 的幂（乘以 3）。
为了让循环存在，天平必须达到完美的平衡： $2^s = 3^r$ （其中 $s$ 是向下走的步数， $r$ 是向上走的步数）。
现实情况： 沙指出，2 的幂（如 2, 4, 8, 16...）永远不会等于 3 的幂（如 3, 9, 27, 81...）。它们就像两种永远无法翻译成相同句子的不同语言。因为它们永远不会相等，所以天平永远无法达到完美平衡。

主要发现

1. “差一点就到了”的陷阱
随着旅程变得越来越长（步数增多），“乘以 3”与“减半”的比例会变得极其接近完美的平衡。这就像一个走钢丝的人越来越靠近中心线。

论文表明，随着序列变长，最终的数字会越来越接近起始数字（ $F_q(m)/m \to 1$ ）。
然而，它永远不会真正到达 1。它会无限趋近，但始终存在一个微小的、非零的差距。

2. “有限”的障碍
因为 2 和 3 的幂之间的差距永远不会为零，所以对于任何有限步数的旅程，一个“完美的循环”在数学上是不可能的。

类比： 想象尝试用尺寸略有不同的砖块来建造一座桥。你可以让两端靠得非常近，但如果砖块的尺寸永远不完全一样，你就无法在不留缝隙的情况下完美地闭合缺口。
因此，“非平凡循环”（即不包含数字 1 的循环）在有限步数内是不可能存在的。

3. 唯一的避风港
论文得出结论，只有在数字 1 处（1 $\to$ 4 $\to$ 2 $\to$ 1）时，过程才会真正重复。任何其他起始数字最终都会打破模式并走向 1，而不是陷入另一个循环。

总结

达豪·沙通过使用详细的“上升”和“下降”步骤地图，展示了虽然 Collatz 游戏中的数字可以非常接近于形成一个完美的循环，但 2 和 3 的幂的基本数学特性使得它们永远无法完全闭合这个圆圈。

核心结论： 如果你从任何数字开始，你可能会陷入一段非常漫长、复杂的舞蹈，但你永远不会找到一个会在没有最终踏入 1 之前就绕回原点的舞池。“无限循环”在数学上是不可能的。

总结来说： 如果你开始玩 Collatz 游戏，你可能会陷入一场非常漫长且复杂的舞蹈，但你永远不会找到一个在没有最终踏出舞池并落在 1 上之前，就循环回到起点的舞池。这个“无限循环”在数学上是不存在的。

技术摘要：论 Collatz 过程中停止时间与循环数的界限

问题陈述
本文探讨了 $3n + 1$ 问题（Collatz 猜想），特别关注由 $F_0(n) = n/2$ （当 $n$ 为偶数时）和 $F_1(n) = (3n+1)/2$ （当 $n$ 为奇数时）定义的归一化 Collatz 迭代。主要目标是分析该过程的停止时间（stopping time）和循环结构。作者将分析限制在满足 $s \ge 4$ 的奇数起始值 $m \equiv 3 \pmod 4$ ，因为较小的情形可以通过平凡验证。核心问题在于，在此迭代过程中是否存在有限非平凡循环（除 1 处的平凡循环之外的周期轨道）。

方法论
本文采用一种对可容许二进序列（admissible binary sequences）的递归描述来对 Collatz 过程进行建模。长度为 $s$ 、包含 $r$ 个“1”（代表奇数步）和 $s-r$ 个“0”（代表偶数步）的序列 $q$ 被用于定义变换 $F_q(n)$ 。

关键方法组成部分包括：

二进序列表示法： 变换被表示为 $F_q(n) = \frac{3^r n + \sum_{i=1}^r 3^{r-i} 2^{l(i)-1}}{2^s}$ ，其中 $l(i)$ 表示序列中第 $i$ 个“1”的位置。
递归树构建： 作者引入了一种改进的根序列树（图 1）来生成可容许序列。该树通过在末端零块前插入特定的子串（“1”或“10”）来构建，从而确保序列与起始整数之间存在唯一的映射关系。
数论分析： 本文利用模运算性质（特别是模 $2^s$ 和模 4）以及二进展开的唯一性，在可容许二进序列 $q$ 与整数 $m \equiv 3 \pmod 4$ 之间建立双射。
不等式推导： 通过应用重排不等式（Rearrangement Inequality），作者推导出了迭代中加性项 $\sum_{i=1}^r 3^{r-i} 2^{l(i)-1}$ 的下界和上界。

主要贡献与结果

表示的唯一性（定理 2.10）： 本文建立了可容许二进序列 $q$ 与整数 $m \equiv 3 \pmod 4$ 之间的双射。每一个此类整数都唯一地对应于构造树中的特定序列，且每个序列都对应一个满足 $F_q(m) < m$ 的唯一整数。
加性项的界限（定理 2.3 & 2.4）： 迭代公式中的求和项是有界的。其最小值是 $3^r - 2^r$ （当所有的“1”都位于序列开头时），而最大值则在“1”根据序列树的对数间距分布时达到。
有限非平凡循环的非存在性（定理 2.11 & 3.1）：
- 本文证明了对于任何有限序列， $F_q(4i-1) \neq 4i-1$ 。若要形成循环，则需要满足 $2^s = 3^r$ ，这对于整数 $s, r > 0$ 而言是不可能的。
- 因此，不存在有限非平凡循环。唯一的容许周期轨道是 1 处的平凡循环。
比率的渐近行为（定理 3.2）： 本文推导了比率 $F_q(m)/m$ $F_{q} (m) / m$ 的界限。研究表明，随着序列长度增加（且 $r \to \infty$ $r \to \infty$ ），比率 $3^r/2^s$ $3^{r} / 2^{s}$ 趋向于 1，但永远不会等于 1。
- 比率 $F_q(m)/m$ 被限定在 $1 - \epsilon_1 < F_q(m)/m < 1 + \epsilon_2$ 之间。
- 当 $r \to \infty$ 时， $\lim F_q(m)/m \to 1$ 。
循环数界限： 本文提供了假设的非平凡循环数 $m_c$ 的下界和上界。下界由 $m_c \ge \frac{3^r - 2^r}{2^s - 3^r}$ 给出。对于较大的 $r$ （例如 $r \approx 4.3 \times 10^{14}$ ），下界约为 $7.5 \times 10^{14}$ ，而上界约为 $5.12 \times 10^{29}$ 。

意义与主张
本文声称证明了有限非平凡循环在归一化 Collatz 迭代中的结构性要求是无法实现的。具体而言，此类循环的存在将要求 2 的幂次与 3 的幂次之间存在精确恒等关系（即 $2^s = 3^r$ ），这在数学上是不可能的。

作者得出结论：

Collatz 过程中的停止时间不存在有限上界。
比率 $F_q(m)/m$ 随着序列长度的增加趋于 1，但对于任何有限序列，它永远不会达到 1。
这种结构性障碍结合所推导的界限，排除了有限非平凡循环的可能性。
因此，1 处的平凡循环是唯一的容许周期轨道。

本文利用了针对小规模情形的计算验证以及针对大 $r$ 值的理论界限，并指出虽然当参数极大时（例如 $1 - 3^r/2^s \approx 10^{-15}$ ）， $3^r$ 与 $2^s$ 之间的差距变得微乎其微，但它仍然严格非零，从而阻止了循环的形成。