🔢 mathematics

Collatz Representations With Bounded Partial Quotients

该论文定义了有理数子集的 Collatz 表示，并证明了任何位于区间 $(-1, 1)$ 之外的实数都可以由其 Collatz 表示仅由数字 1 和 2 组成的有理数进行任意精度的逼近。

原作者： Franciszek Kobus

发布于 2026-07-20

📖 1 分钟阅读🧠 深度阅读

原作者： Franciszek Kobus

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

数字的无限迷宫

想象你正站在一座宏伟、无限的图书馆里，每一本书都是一个数字。我们大多数人都熟悉书写数字的标准方式：比如小数 3.14 或分数 1/2。但数学家们有一种习惯，喜欢用新的方式去观察旧的事物，就像雕塑家能从一块原石中看到雕像，而其他人只看到了石头。这个图书馆中最著名的谜题之一是“考拉兹猜想”（Collatz Conjecture）。这是一个简单的游戏：取任何一个正整数，如果是偶数，就将其减半；如果是奇数，就将其乘以 3 再加 1。如此循环往复。核心问题在于：是否所有的起始数字最终都会陷入 1, 4, 2, 1, 4, 2... 这样一个微小的循环中？目前无人能给出确切答案，但这个谜题几十年来一直困扰着世界顶尖的思想家。

为了解决这类谜题，数学家经常使用“映射”（maps）。一种常见的映射被称为“连分数”（continued fraction），它将一个数字分解为一串较小的整数，就像一份食谱。这篇由 Franciszek Kobus 撰写的新论文发明了一种全新的映射方式，称之为“考拉兹表示法”（Collatz representation）。这种映射不仅仅是分解数字，它还记录了一个数字在进行考拉兹游戏时所采取的具体步骤。事实证明，通过观察这些步骤，我们可以以一种揭示隐藏模式的方式来描述数字，这几乎就像是在数学的 DNA 中寻找一段秘密代码。论文提出了一个引人入胜的问题：如果我们只允许在食谱中使用数字 1 和 2，我们究竟能触及多少个数字？

1 与 2 的神奇食谱

在这篇论文中，作者介绍了一种利用考拉兹游戏来书写有理数（分子和分母均为奇数的数字）的特殊方法。把考拉兹算法想象成一台机器。你向它输入一个数字，它就会吐出一系列指令。如果数字是奇数，机器会将其乘以 3 再加 1。然后，它会不断除以 2，直到结果再次变为奇数。它需要除以 2 的次数被记录为一个“部分商”（partial quotient）。

例如，如果你从数字 1 开始，机器的操作是： $3(1)+1 = 4$ ，然后连续除以 2 两次，回到 1。因此，指令是“除以 2 两次”，我们将其记作数字 2。1 的“考拉兹表示法”就是一个重复的 2 的序列。如果你从 -1 开始，机器的操作是： $3(-1)+1 = -2$ ，然后除以 2 一次，回到 -1。因此，-1 的表示法是一个重复的 1 的序列。

论文证明了一个非常酷的事实：每一个最终会循环回自身（如 1 或 -1）的有理数，都有一个唯一的、重复的指令序列。这就像是一个指纹；没有两个不同的数字拥有完全相同的重复步骤序列。

1 与 2 的分形森林

真正的魔力发生在作者问道：“如果我们只使用数字 1 和 2 来制作我们的食谱会怎样？”

想象你在建造一棵树。你从一个点开始。然后，你向外分支。如果你在食谱中加入一个“1”，你就往一个方向走；如果你加入一个“2”，你就往另一个方向走。论文表明，如果你持续这样做，利用仅由 1 和 2 组成的序列来构建所有可能的数字的图谱，你得到的不仅仅是随机散落的点。你得到的是一个分形（fractal）。

分形是一种无论你如何放大，看起来都保持不变形状的图形，比如蕨类植物的叶子或雪花。作者将这些点绘制在坐标系上并用线段连接。结果是一个美丽且自我重复的图案。论文证明了这些形状是“相似”的，这意味着它们是相同的形状，只是比例大小不同。具体来说，如果你有两个共享一个顶角的形状，如果它们并排排列，其中一个的大小恰好是另一个的 2/3；如果它们上下堆叠，则其中一个的大小是另一个的 4/3。这就像是一套俄罗斯套娃，只不过这些套娃是由数学构成的。

填补空白

最令人惊讶的发现是关于这个分形的“充实度”。作者证明，如果你观察从负无穷到 -1 以及从 1 到正无穷的数轴，你可以找到一个仅由 1 和 2 组成的数字，它与这些范围内的任何数字都任意接近。

把它想象成尝试用飞镖射中靶心。如果目标是一个像 -5.738 这样的数字，你可能无法用一个由 1 和 2 组成的飞镖精确命中它。但论文证明，你可以尽可能地接近它。你可以投出一个落在 -5.7380001 或 -5.7380000001 处的飞镖。无论你在目标周围画出的间隙多么微小，总有一个“1 和 2”组成的数字落在该间隙之内。

作者提供了一个循序渐进的食谱（构造性证明）来寻找这些数字。这就像是一个“靠近或远离”的游戏。你从一个数字开始，如果你的数值太高，就在食谱中加入一个“2”来降低数值；如果数值太低，就加入一个“1”来向上微调。通过遵循这一逻辑，你可以以无限的精度锁定任何位于 $(-\infty, -1] \cup [1, \infty)$ 范围内的数字。

这意味着什么（以及它并不意味着什么）

论文对于自己的主张非常谨慎。它证明了对于任何重复的 1 和 2 的序列，都存在唯一的一个匹配的有理数。然而，它也指出，并非每一个由 1 和 2 组成的无限序列都对应于分子分母均为奇数的有理数集中的一个数。有些序列过于狂野，无法落在特定的有理数位置上。

作者还提到了著名的考拉兹猜想。在这种新的语言中，猜想意味着在正整数中，唯一会陷入循环的数字是 1。论文列出了其他存在于负数中的循环（如 -1, -5, -7 等），但对于正整数而言，1 是目前已知的唯一的“绝对周期性”数字。

所以，我们学到了什么？我们学到了考拉兹游戏的混沌之舞可以被转化为一种结构化、美丽的 1 与 2 的语言。这种语言创造了一个分形图谱，以一种非常特定的方式覆盖了数轴，使我们能够以惊人的精度逼近数轴外区域的几乎任何数字。这提醒我们，即使在最顽固的数学难题中，也存在着等待被描绘、连接和理解的隐藏模式。

技术摘要：具有有界部分商的 Collatz 表示法

问题陈述
本文研究了通过一种受著名的 Collatz 猜想启发的创新算法框架，对具有奇数分子和分母的有理数（记作 $Q_{odd}$ ）进行表示。虽然标准的 Collatz 猜想涉及整数在映射 $x \mapsto 3x+1$ （配合除以 2）下的轨迹，但本研究定义了一种针对 $Q_{odd}$ 中元素的“Collatz 表示”，类似于连分数。本文研究的核心问题是：其 Collatz 表示仅由 1 和 2 组成的部分商构成的有理数集合，在实数中的结构如何。具体而言，作者试图确定该集合在实数中的密度和几何性质。

方法论
作者为起始数 $a \in Q_{odd}$ 定义了 Collatz 算法：

初始化 $A_1 = 3a + 1$ 。
确定 $A_i$ （在最简形式下）分子的 2-进赋值（2-adic valuation） $a_i$ 。
定义 $B_i = A_i \cdot 2^{-a_i}$ ，并迭代计算 $A_{i+1} = 3B_i + 1$ 。

这一过程生成了一个正整数无穷序列 $C(a) = [a_1, a_2, \dots]$ ，称为 $a$ 的 Collatz 表示。本文证明了最终周期序列集与具有最终周期 Collatz 表示的 $Q_{odd}$ 中的有理数集之间存在双射关系。

核心方法论包括：

逆映射：推导出一个显式公式（等式 5），用于计算任何最终周期序列的唯一有理数 $a = C^{-1}([a_1, \dots, a_n, (b_1, \dots, b_k)])$ 。
几何构造：对于任何由 1 和 2 组成的有限序列 $A$ ，定义一个点 $P(A) = (C^{-1}[A, (2)], C^{-1}[A, (1)])$ 在 $\mathbb{R}^2$ 中。通过连接由递增长度序列导出的点，作者构造了一系列几何图形 $P_n$ 。
解析证明：利用归纳法和逆映射公式的代数操作，证明这些几何结构的缩放性质和收敛极限。

主要贡献与结果

存在性与唯一性：本文证明了对于每一个最终周期序列，都存在有且仅有一个 $Q_{odd}$ 中的有理数生成该序列。这建立了最终周期序列与 $Q_{odd}$ 中特定子集之间的明确双射关系。
有界商的分形结构：由仅包含 1 和 2 的序列生成的点集展现出自相似的分形结构。作者证明了关于集合 $P_n$ 的三个特定几何假设：
- 缩放：构造中相邻点形成的三角形是相似的，其缩放因子分别为 $2/3$ （水平相邻）或 $4/3$ （垂直相邻）。
- 有界性：集合 $P_n$ 被直线 $y - x = 0$ 、 $x - 1 = 0$ 和 $y + 1 = 0$ 所包围。
- 极限行为：直线 $y=x$ 与 $P_n$ 集合极限的交集的闭包，对应于 $x \leq 1$ 的半直线。
密度定理：主要结果（定理 3.8）表明，Collatz 表示仅由 1 和 2 组成的有理数集合在区间 $(-\infty, -1] \cup [1, \infty)$ 中是稠密的。证明过程是构造性的，展示了对于任何实数 $z \leq -1$ 和任何 $\epsilon > 0$ ，都可以通过算法构造一个由 1 和 2 组成的序列，使其在 $\epsilon$ 范围内逼近 $z$ 。
弱 Collatz 猜想的重述：本文指出，在这种记法下，弱 Collatz 猜想可以重述为：“ $Q_{odd}$ 中唯一具有绝对周期 Collatz 表示的正整数是 1。” 作者列举了已知对于负整数的绝对周期环路（例如 $[-1], [-5, -7]$ ）。
非周期序列的非唯一性：本文澄清，虽然该映射对于最终周期序列是双射的，但对于所有无限序列并不成立。存在由 1 和 2 组成的无限序列，它们并不对应于任何 $Q_{odd}$ 中数字的 Collatz 表示。

意义与主张
本文声称提供了一种“表示有理数的原创方式”，在 Collatz 算法与连分数之间建立了类比。其意义在于：

揭示了在 Collatz 映射下，具有有界部分商（特别是 1 和 2）的有理数子集中蕴含的分形结构。
证明了该特定子集在区域 $(-\infty, -1]$ 和 $[1, \infty)$ 中是稠密的，这意味着这些定义域内的实数可以被具有简单 Collatz 表示的有理数任意好地逼近。
通过 $P_n$ 构造提供了一个几何视角，使这些数字的分布可视化。

作者对研究范围保持谦逊，指出其结果依赖于与不同环境下连分数的联系，并且工作重点在于特定 $Q_{odd}$ 有理数子集。本文并不声称解决了 Collatz 猜想本身，而是利用猜想的机制定义了一个具有有趣拓扑性质的新表示系统。