🔢 mathematics

Decomposition of real numbers into sums of Lüroth sets

本文研究了由 Lüroth 展开中数字受限定义的 Lüroth 集的实数分解问题，建立了其和的模 1 同余性质并分析了相关集合及其和的 Hausdorff 维数，从而将连分数领域的经典结论推广至 Lüroth 展开。

原作者： Maiken Gravgaard, Ying Wai Lee

发布于 2026-02-18

📖 1 分钟阅读🧠 深度阅读

原作者： Maiken Gravgaard, Ying Wai Lee

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

这是一篇关于数学中“数字拼图”游戏的论文。为了让你轻松理解，我们可以把这篇论文想象成是在研究如何用不同形状的“积木”拼出完整的“长条”。

1. 核心概念：什么是"Luroth 展开”？

想象一下，我们通常用十进制（0-9）来表示数字，比如 $0.375$。
但在数学家眼里，数字还有很多种“方言”。这篇论文研究的是一种叫Luroth 展开的“方言”。

普通十进制：就像用乐高积木（0-9）搭房子。
Luroth 展开：就像用一种特殊的、无限长的“俄罗斯套娃”或者“分形积木”来描述数字。每个数字都被拆解成一系列特定的整数序列。

关键规则：
在这篇论文里，作者们玩了一个限制游戏。他们规定：

$L_{\le k}$ ：只能使用数字 $2, 3, \dots, k$ 作为积木（上限限制）。
$L_{\ge k}$ ：只能使用数字 $k, k+1, \dots$ 作为积木（下限限制）。

这些被限制的数字集合，长得像康托尔集（Cantor Set）。你可以把它们想象成瑞士奶酪：虽然它们占据了空间，但里面有很多空洞（被挖掉的数字），看起来像是一堆破碎的碎片，而不是完整的实心块。

2. 研究问题：碎片能拼成完整的长条吗？

论文的核心问题是：如果我们把两堆（或更多堆）这样的“破碎积木”加起来，能不能拼成一条完整的、没有缝隙的“长条”（即覆盖所有实数）？

在数学上，这叫做模 1 同余。简单说就是：

无论你想得到哪个数字（比如 3.14159...），能不能把它拆成“一个整数” + “两个来自特定集合的碎片”？

历史上的经典案例（背景知识）

在研究这个之前，数学家们已经发现了一个著名的现象：

如果你取中间三分之一康托尔集（一种特定的破碎积木），把两堆这样的集合加起来，奇迹发生了！它们竟然能拼成完整的区间 $[0, 2]$ 。
这就像把两块满是洞的瑞士奶酪叠在一起，洞竟然完美错开，变成了一块实心的奶酪。

3. 这篇论文发现了什么？

作者把目光从“中间三分之一康托尔集”转移到了Luroth 展开定义的集合上，并得出了以下有趣的结论：

A. 上限积木的拼图游戏 ( $L_{\le k}$ )

作者研究了当积木数字有上限时（比如只能用 2, 3, 4, 5）：

成功拼合：
- 两堆 $L_{\le 3}$ 和 $L_{\le 5}$ 的积木加起来，能拼成完整的长条。
- 两堆 $L_{\le 4}$ 的积木加起来，也能拼成完整的长条。
- 三堆 $L_{\le 3}$ 的积木加起来，也能拼成完整的长条。
失败案例：
- 两堆 $L_{\le 3}$ 的积木加起来，拼不完整！中间会有缝隙。
- 两堆 $L_{\le 3}$ 和 $L_{\le 4}$ 加起来，虽然看起来密密麻麻，但作者还没完全确定是否填满了所有缝隙（这是一个未解之谜，提出了猜想）。

B. 下限积木的拼图游戏 ( $L_{\ge k}$ )

作者研究了当积木数字有下限时（比如只能用 3, 4, 5...）：

神奇公式：如果你取 $k$ 堆 $L_{\ge k}$ 的积木（比如 3 堆 $L_{\ge 3}$ ，4 堆 $L_{\ge 4}$ ），它们一定能拼成完整的长条！
这就像是一个数学定理：只要堆叠的数量足够多（等于下限数字），无论缝隙多大，都能被填满。

C. 混合拼图 ( $L_{\le k+2} + L_{\ge k}$ )

作者还尝试把“上限积木”和“下限积木”混在一起：

发现 $L_{\le k+2}$ （上限稍大）加上 $L_{\ge k}$ （下限稍小），也能完美拼合。
这就像用“短积木”和“长积木”互补，刚好填补了彼此的缺口。

4. 为什么这很重要？（维度的秘密）

除了拼图，作者还测量了这些“积木堆”的分形维度（可以理解为“碎片的密集程度”或“填满空间的潜力”）。

如果两个集合的维度加起来超过 1，通常意味着它们拼在一起能填满空间。
作者证明了，对于 Luroth 集合，这个规律是成立的：只要两个集合的“碎片密度”加起来足够大，它们就能拼成完整的实数线。

5. 总结与比喻

想象你在玩一个填色游戏：

Luroth 集合是画在纸上的镂空模板。
加法就是把两个模板重叠在一起。
论文的成果就是告诉我们要用什么样的模板（比如限制数字大小），重叠几次，才能把纸上的所有空白都涂满，不留一丝缝隙。

这篇论文的贡献在于：
它把以前在“连分数”（另一种数字方言）中发现的拼图规律，成功移植到了"Luroth 展开”这个新领域。它告诉我们，虽然这些数字集合看起来像破碎的雪花，但只要组合得当，它们就能奇迹般地变成完整的宇宙（实数线）。

一句话总结：
数学家们发现，只要把特定规则生成的“破碎数字”以正确的方式叠加，就能像变魔术一样，把无数个空洞填满，还原出完整的数字世界。

论文技术总结：实数分解为 Luroth 集之和

作者：Maiken Gravgaard (奥胡斯大学), Ying Wai Lee (约克大学)
发表期刊：International Journal of Number Theory (2026)

1. 研究背景与问题 (Problem)

核心问题：研究实数是否可以分解为具有特定数字约束的 Luroth 展开数之和。具体而言，探讨由 Luroth 展开定义的集合（Luroth sets）的**和集（Sumsets）**性质，特别是这些和集在模 1 意义下是否覆盖整个实数集（即 $A + B \equiv \mathbb{R} \pmod 1$ ）。
背景联系：
- 该研究是对经典**连分数（Continued Fractions）**理论的推广。已知连分数中，部分商受限的集合（如 $F_{\le k}$ 和 $F_{\ge k}$ ）的和集具有特定的覆盖性质（例如 Hall 定理指出 $F_{\le 4} + F_{\le 4} \equiv \mathbb{R} \pmod 1$ ）。
- Luroth 展开是一种类似于连分数的数系表示，但具有线性动力学特性（Luroth 映射），其生成的集合在分形几何和动力系统理论中具有重要意义。
- 本文旨在建立 Luroth 展开集合的类似结果，填补从连分数到 Luroth 展开在加性数论和分形几何交叉领域的空白。

2. 方法论 (Methodology)

本文结合了动力系统、分形几何和加性数论的工具：

广义 Cantor 集构造 (General Cantor Set Construction)：
- 将 Luroth 集合（如 $L_{\le k}, L_{\ge k}$ ）视为广义 Cantor 集。
- 提出了逐步完备构造（Stepwise Complete Construction, SCC），用于精确描述 Luroth 集合的区间层级结构。
- 定义了构造中的关键参数：
  - $g$ ：最大移除比例（maximal removal ratio）。
  - $h$ ：最小保留比例（minimal retaining ratio）。
  - $\tau$ （厚度，Thickness）：衡量 Cantor 集“稠密”程度的指标。
  - $\gamma$ ：基于厚度定义的参数，用于判断和集是否包含区间。
利用现有和集定理：
- 应用 Hall (1947)、Hlavka (1975) 和 Astels (2000) 关于广义 Cantor 集和集的定理。
- 特别是 Astels 的定理（Proposition 3.4）：若多个 Cantor 集的 $\gamma$ 值之和 $S_\gamma \ge 1$ ，且满足特定的间隙条件，则它们的和集包含一个区间（进而模 1 覆盖 $\mathbb{R}$ ）。
Hausdorff 维数分析：
- 利用迭代函数系统（IFS）理论（Peres-Shmerkin 定理）计算 Luroth 集合及其和集的 Hausdorff 维数。
- 通过积分估计和不等式分析，推导 $L_{\ge k}$ 集合维数的下界。

3. 主要贡献与结果 (Key Contributions & Results)

A. 模 1 同余性结果 (Congruence Modulo 1)

论文证明了多个 Luroth 集合的和在模 1 意义下等于实数集 $\mathbb{R}$ ：

上界受限集合的和：
- 定理 2.1：证明了以下组合覆盖 $\mathbb{R} \pmod 1$ $R (mod 1)$ ：
  - $L_{\le 3} + L_{\le 5} \equiv \mathbb{R} \pmod 1$
  - $L_{\le 4} + L_{\le 4} \equiv \mathbb{R} \pmod 1$
  - $L_{\le 3} + L_{\le 3} + L_{\le 3} \equiv \mathbb{R} \pmod 1$
- 反例：证明了 $L_{\le 3} + L_{\le 3} \not\equiv \mathbb{R} \pmod 1$ （其和集不是区间，存在空隙）。
- 猜想 2.2：推测 $L_{\le 3} + L_{\le 4} \equiv \mathbb{R} \pmod 1$ ，尽管目前尚未完全证明，但数值证据支持这一结论。
下界受限集合的和：
- 定理 2.3：给出了 $n$ $n$ 个下界受限集合 $L_{\ge k_j}$ $L_{\geq k_{j}}$ 之和覆盖 $\mathbb{R}$ $R$ 的充分条件。
  - 条件 (2.1)：总直径 $\sum \text{diam}(L_{\ge k_j}) \ge 1$ 。
  - 条件 (2.2)：序列 $k_j$ 不能过于分散，需满足 $k_{j-1} \le k_j \le \dots$ 的递推关系，以确保间隙能被填补。
- 推论 2.4：作为定理 2.3 的直接应用，证明了对于任意 $k \ge 2$ ，有 $k L_{\ge k} \equiv \mathbb{R} \pmod 1$ 。这是 Cusick-Lee 关于连分数结果在 Luroth 展开中的对应推广。
混合受限集合的和：
- 定理 2.5：证明了 $L_{\le k+2} + L_{\ge k} \equiv \mathbb{R} \pmod 1$ 。
- 猜想 2.6：推测更强的结论 $L_{\le k} + L_{\ge k} \equiv \mathbb{R} \pmod 1$ 成立。

B. Hausdorff 维数结果 (Hausdorff Dimension)

和集维数公式：
- 定理 2.9：对于有限集合 $A, B \subset \mathbb{N} \setminus \{1\}$ ，其 Luroth 集合和集的维数为：
  $\dim(L_A + L_B) = \min\{1, \dim L_A + \dim L_B\}$
  这利用了 Peres-Shmerkin 关于 IFS 和集维数的结果，证明了在特定条件下（对数比无理），维数具有可加性。
下界估计：
- 定理 2.10：给出了 $L_{\ge k}$ 维数的下界：
  $\dim L_{\ge k} > \frac{1}{2} + \frac{1}{2 \log(\max\{16, k\})}$
  这推广了 Good 关于连分数集合维数的经典结果。
自和集维数：
- 定理 2.11：证明了对于任意 $k \ge 2$ ， $\dim(L_{\ge k} + L_{\ge k}) = 1$ 。这意味着两个下界受限的 Luroth 集合之和虽然可能不是整个区间，但其 Hausdorff 维数达到了最大值 1。

4. 意义与影响 (Significance)

理论扩展：本文成功地将连分数理论中关于“受限数字表示之和”的经典结果（如 Hall 定理、Cusick-Lee 定理）推广到了Luroth 展开领域。这证明了不同数系表示（连分数 vs. Luroth）在加性结构上具有深刻的相似性。
分形几何应用：通过引入广义 Cantor 集构造和厚度（Thickness）分析，为研究复杂分形集合的和集性质提供了一套系统的计算框架。
数论与动力系统的桥梁：Luroth 映射作为线性化的高斯映射，连接了线性动力系统与非线性动力系统。本文结果加深了对 Luroth 映射不变集（Luroth 集合）算术性质的理解。
开放问题：论文提出了多个重要猜想（如 $L_{\le 3} + L_{\le 4}$ 的覆盖性，以及 $L_{\le k} + L_{\ge k}$ 的覆盖性），为未来的研究指明了方向。特别是关于“坏可逼近数”与“好可逼近数”之和的猜想（Conjecture 2.8），将问题提升到了更一般的 Diophantine 逼近层面。

5. 总结

该论文通过严谨的构造性证明和分形几何工具，确立了 Luroth 集合在实数分解中的核心地位。它不仅验证了若干具体的和集覆盖性质，还给出了维数计算的通用公式，为理解受限数字表示系统的加性结构提供了新的视角和强有力的数学工具。