🔢 mathematics

Prescribed realisation of longest runs in continued fractions

本文证明了，对于任何给定的部分商和容许增长尺度，都存在一个具有全豪斯多夫维数的无理数集合，在该集合中，该特定符号的最长连续出现长度唯一地决定了总体的最大连续出现长度，从而证明了负责最长连续出现的符号可以在预先设定的情况下被固定，且不会降低该例外集合的维数。

原作者： Ying Wai Lee

发布于 2026-06-02

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Ying Wai Lee

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

想象你正在注视着一串极长、永无止境的数字。这些不只是随机数字；它们是特定无理数（如 $\pi$ 或 $\sqrt{2}$ ）的连分数所组成的“部分商”。你可以将这串数字想象成一串有颜色的珠子，每个珠子上都写着一个数字。

在这篇论文中，作者李英威（Ying Wai Lee）研究了一个围绕这些珠子进行的特定游戏：最长连胜游戏（The Longest Run Game）。

游戏规则：寻找最长连胜

想象你正在扫描这串珠子，寻找同一个数字连续出现的最高纪录。

如果你看到序列为 ... 5, 5, 5, 2, 2, 2, 2, 7 ...，那么数字 5 的最长连胜是 3。数字 2 的最长连胜是 4。
“整体最长连胜”就是该部分中任何数字所能达到的最大连胜纪录。在上面的例子中，整体冠军是数字 2，其连胜纪录为 4。

通常，数学家研究的是两个独立的研究方向：

固定符号游戏：“数字 5 的最长连胜是多少？”
整体游戏：“任何数字的最长连胜是多少？”

问题所在：“意外”的赢家

在过去，研究人员知道对于几乎所有的数，这些连胜长度都会以一种可预测的方式增长。然而，我们的理解中存在一个空白。

如果你强行让数字 5 拥有一个非常特定的、不断增长的连胜长度，这是否能保证 5 总是“整体最长连胜”游戏的获胜者？
或者，会不会有另一个数字（比如 7）意外地“偷跑”，通过更长的连胜纪录来夺走冠军头衔？

在此论文之前，我们并不知道能否在控制特定数字连胜长度的同时，还确保它一定是“冠军”。

解决方案：“冠军控制器”

李英威的论文指出：是的，你可以。

作者证明了你可以构造一个极其庞大且复杂的集合（这个集合规模巨大，具有“满维数”，意味着它不是一个微小的、罕见的例外），在这个集合中，你可以预先设定：

哪个数字是冠军（例如：“我希望数字 7 始终是冠军”）。
冠军的连胜增长速度（例如：“我希望它的连胜增长速度正好与总长度的平方根成正比”）。

论文表明，你可以构建这些数字，使得数字 7 不仅能按照你指定的精确速度增长其连胜长度，而且它始终能击败其他所有数字。没有任何其他数字被允许拥有比 7 更长的连胜纪录。

类比：赛车场

把连分数想象成一个有很多选手（数字 1, 2, 3 等）的赛车场。

旧观点： 我们知道如果观察得足够久，选手们通常会保持一定的平均速度。我们也知道如果你选定一名特定选手（比如选手 7），你可以找到一条让选手 7 以特定速度奔跑的赛道。但我们当时并不知道选手 7 是否能始终保持领先。
新观点（本论文）： 李展示了你可以设计一条赛道，让选手 7 不仅能按照你规定的速度奔跑，而且保证在每一时刻都是赛道上最快的选手。没有任何其他选手能通过连胜冲刺追上选手 7 的纪录。

为什么这在数学上很重要

论文通过构建一个“康托尔型集合”（Cantor-type set，一种分形结构）来实现这一目标。他们使用了一种构造方法，其中包含以下步骤：

插入长而完美的“冠军”数字块（例如：7, 7, 7...）。
仔细地用其他数字填充间隙，但要保持这些其他数字的连胜长度足够短，以免威胁到冠军。
使用“分隔符”（如 8 和 9）来打破其他数字可能产生的意外长连胜。

其结果是一个数学证明，证明了“最长连胜”的冠军是可以预先设定的。你不需要寄希望于某个特定数字获胜；你可以通过数学手段强制它获胜，同时依然保持所研究集合的完整复杂性和规模。

总结

主题： 连分数（一种表示数的方法）。
谜题： 能否强制一个特定数字拥有最长的连胜，并以特定的速率增长，同时确保没有其他数字能超越它？
答案： 可以。论文构建了一个巨大的数字集合，其中一个选定的数字是“最长连胜”游戏中无可争议、唯一的冠军，并且其增长速度完全符合我们的设定。
影响： 它将两个独立的数学问题（固定符号增长与整体增长）统一为一个强大的结论，证明了这场游戏的“赢家”是完全可控的。

技术摘要：连分数中长连跑的预设实现

问题陈述
本文研究了单位区间 $[0, 1)$ 中无理数连分数展开式中长连跑（longest runs）的渐近行为。关于长连跑，传统上研究两种不同的视角：

固定符号的长连跑 ( $L_n(x, \lambda)$ )： 在前 $n$ 项中，特定部分商数值 $\lambda$ 的连续出现次数的最大值。
整体最长连跑 ( $R_n(x)$ )： 在前 $n$ 项中，任何部分商数值的连续出现次数的最大值。

既往文献（如 Song–Zhou, Wang–Wu）已经确定，对于几乎处处的 $x$ ，这些量遵循特定的对数增长律。此外，存在具有全豪斯多夫维数的异常集，其增长率偏离了典型规律或遵循预设的增长尺度。然而，理解这两类预设之间的相互作用仍存在空白：

预设一个固定符号的增长并不保证该特定符号 $\lambda$ 就是整体最大连跑长度的实现者。
反之，预设整体最大值的增长并不指定哪个符号实现了它。

核心问题在于：是否可以构造一个具有全豪斯多夫维数的集合，使得一个预设的符号 $\lambda$ 不仅表现出预设的其长连跑增长率，而且在每个阶段都能够唯一地在连跑长度方面优于所有其他符号。

方法论
作者采用了一种构造性方法，通过创建具有特定组合和动力学性质的 Cantor 型集合来实现。

容许函数： 增长率由“容许”函数 $f: \mathbb{N} \to \mathbb{N}$ 控制，该函数定义为非减且无界的函数，且满足 $\lim_{n \to \infty} \frac{f(n+f(n))}{f(n)} = 1$ 。这一类函数推广了以往的研究，以往研究通常局限于对数尺度。
Cantor 集构造： 通过迭代定义部分商块来构造集合 $\mathcal{K}_{\lambda, f, M, B}$ $K_{λ, f, M, B}$ 。
- 构造过程将展开式划分为若干阶段 $k$ 。
- 在每个阶段，保留并细分“自由”数字。
- 至关重要的是，插入特定长度的“预设”目标符号 $\lambda$ 块（长度为 $s_k \approx f(t_k)$ ）。
- 在自由段与预设块之间插入“分隔”数字（ $\sigma_1 = \lambda+1, \sigma_2 = \lambda+2$ ），以防止在边界处意外形成 $\lambda$ 或其他符号的长连跑。
维数估计：
- 使用适配于连分数的质量分布原理来估计豪斯多夫维数。
- 一个关键的技术步骤是分析连分数函数（continuant function） $K(\omega)$ ，它决定了收敛项的分母以及柱集（cylinder sets）的大小。
- 作者建立了失真引理（引理 7 和 8），表明插入分隔符和预设块会以受控的方式使连分数函数发生失真。具体而言，扩展后的词与底层词的连分数函数之比是有界的，这使得构造集的维数可以与一个更简单的集合 $\mathcal{F}_B$ （部分商有界的数）的维数相关联。
- 通过令 $B \to \infty$ 且 $\alpha \to 1$ 取极限，证明其维数趋于 1。

主要贡献与结果

定理 1（主要结果）：
对于任何预设符号 $\lambda \in \mathbb{N}$ 和任何容许增长函数 $f$ ，集合
$E_{\lambda, f} = \left\{ x \in [0, 1) \setminus \mathbb{Q} : \lim_{n \to \infty} \frac{L_n(x, \lambda)}{f(n)} = 1 \text{ 且 } \forall n, \forall \mu \neq \lambda, L_n(x, \lambda) > L_n(x, \mu) \right\}$
的豪斯多夫维数为 1。

该结果同时预设了特定符号的连跑增长率，并确保该符号是整体最长连跑的唯一极大值实现者。

推论：

精炼的固定符号结果： 固定符号 $\lambda$ 的最长连跑增长精确为 $f(n)$ 的数集维数为 1。这通过允许任何容许函数 $f$ （而不局限于对数尺度）推广了 Song–Zhou 的结果。
精炼的整体结果： 整体最长连跑增长精确为 $f(n)$ 的数集维数为 1。这恢复了 Wang–Wu 的结果，但增加了可以预先指定极大化符号的约束。
预设支配性： 特定符号 $\lambda$ 在连跑长度上严格支配所有其他符号（最终，且在构造集中实际上对于所有 $n$ 均成立）的数集维数为 1。这是一种此前在文献中未曾确立的新现象。

意义
本文声称提供了一种“真正的同步精炼”（genuine simultaneous refinement）现有异常集定理的方法。通过证明负责整体最长连跑的符号可以在不损失豪斯多夫维数的情况下被预先固定，这项工作弥合了固定符号理论与整体最长连跑理论之间的鸿沟。它表明，在整体问题中的“极大化符号”是可以完全预设的。研究结果强化了对连分数中非典型行为的理解，证明了极端的连跑长度行为可以被设计成既针对特定符号，又在所有其他符号之上具有支配地位，即使这种增长率是在（容许函数类内）任意预设的情况下。