🔢 mathematics

Lower bounds for the Hausdorff dimension of expressible sets

本文确立了由特定级数展开定义的实数集豪斯多夫维数的正下界，该结果意味着埃尔多斯1976年构造中的某些无理数并非刘维尔数。

原作者： Maiken Gravgaard, Simon Kristensen, Jaroslav Hančl

发布于 2026-05-27

📖 1 分钟阅读🧠 深度阅读

原作者： Maiken Gravgaard, Simon Kristensen, Jaroslav Hančl

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

想象你正在构建一个非常奇特、非常具体的数字。你是通过将无限多个微小的分数相加来实现这一点的。

公式如下：
$\text{Number} = \frac{1}{d_1 a_1} + \frac{1}{d_2 a_2} + \frac{1}{d_3 a_3} + \dots$

在这篇论文中，作者主要摆弄两种成分：

“底数”（ $a_n$ ）： 这些是增长极快的数字。把它们想象成你分数的分母。它们增长得如此之快，以至于分数几乎瞬间就变得微乎其微。
“数字”（ $d_n$ ）： 这些是你选择用来乘以底数的数字。在最简单的版本中，你可以选择任何自然数（1, 2, 3...）。但在这篇论文中，作者对你进行了限制。也许你只能选择 1 到 10 之间的数字，或者只能选择偶数。

核心问题：你会得到什么样的数字？

当你把这些无限分数相加时，你会得到一个实数。作者想要了解所有根据这些规则可以生成的数字集合的两个方面：

它是“无理数”吗？（它可以写成像 1/2 这样的简单分数吗？）
它是“刘维尔数”吗？ 这是一种特殊且奇怪的无理数。刘维尔数“太容易”被简单分数逼近了。它们与有理数如此接近，以至于被认为是“超越数”（不是任何多项式方程的根）。

很长一段时间以来，数学家们知道，如果你的“底数”（ $a_n$ ）增长得足够快，生成的数字就是无理数。但有一个陷阱：如果它们增长得太快，这个数字就会变成刘维尔数。

作者的发现：“间隙”策略

作者想要找到一个“甜蜜点”。他们想要证明，如果你恰当地限制对“数字”（ $d_n$ ）的选择，你就可以创造出一组具有以下特性的数字：

无理数（不是简单分数）。
不是刘维尔数（它们不是“太容易”被逼近的）。
超越数（数学上复杂的）。

为了做到这一点，他们使用了一个涉及康托尔集的巧妙视觉技巧。

类比：挤压的海绵
想象你有一根长棍（代表所有可能的数字）。

第 0 层： 你拥有整根棍子。
第 1 层： 你切掉中间部分，只留下几根较小的棍子。
第 2 层： 你拿起那些较小的棍子，切掉更多的中间部分，留下更小的棍子。
无限重复。

“可表达集”就是当你无限重复此操作后剩下的尘埃。

作者的主要任务是证明，当他们切掉中间部分（即“间隙”）时，剩下的棍子足够厚实，以至于拥有非零的“豪斯多夫维数”。

豪斯多夫维数是一种衡量形状“大小”或“粗糙度”的方法。一条线的维数是 1。一个点的维数是 0。一个分形（比如我们海绵中的尘埃）可能具有 0.5 的维数。
如果维数大于 0，意味着该集合在数学意义上是“大”的。
如果维数为 0，该集合是“微小”的（就像所有刘维尔数的集合，它小到维数为 0）。

三个主要结果

这篇论文根据“底数”（ $a_n$ ）的增长速度提出了三种情景：

1. 几何增长（“快但稳定”的情况）
如果底数像某个数的幂那样增长（例如 $2^n, 3^n, 4^n$ ），并且你将“数字”限制在一个小的固定集合中（例如只选择 1、2 或 3），作者证明了生成的数字集合具有正维数。

陷阱： 底数的增长速度必须相对于你被允许选择的数字数量足够快。如果你选择的数字太多，“间隙”就会消失，集合就会变成一个实心块（一个区间），而不是分形尘埃。

2. 双重指数增长（“爆炸性”的情况）
如果底数增长得极快（例如 $2^{2^n}$ ），作者表明，即使对数字有非常具体的限制，生成的数字集合仍然具有正维数。

这为何重要： 这证明了你不需要数字增长得无限快就能得到复杂的数字。你可以拥有“适度”的爆炸性增长，仍然能得到一组丰富的、不是刘维尔数的数字。

3. “较慢”的双重指数增长
他们还观察了爆炸性增长的一个稍慢版本，并发现了类似的结果，证明了“好”数字的集合仍然是实质性的。

“那又怎样？”（不带行话）

这篇论文最激动人心的部分是推论 5。

几十年来，数学家们知道，如果你的底数（ $a_n$ ）增长得足够快，生成的数字就是无理数。但他们不知道这些数字是“太容易”被逼近（刘维尔数）还是“刚刚好”。

作者证明了埃尔德什（Erdős）著名的 1976 年规则是精确的（sharp）。

如果底数增长得太快，你就会得到刘维尔数（维数为 0）。
但如果它们增长得稍微慢一点（具体来说，如果增长率没有太快地爆炸到无穷大），你就会得到一组不是刘维尔数的数字。

底线：
作者构建了一个数学“筛子”。通过仔细选择分母的增长速度并限制分子的选择，他们证明了你可以创建一个“厚实”的数字集合，这些数字是无理数和超越数，但不是那些奇怪的、容易被逼近的刘维尔数。他们表明，“普通”无理数与“奇怪”刘维尔数之间的界限比之前认为的要精确得多。

他们没有将此应用于医学、工程或金融。他们只是解决了一个关于数字基本性质以及这些特殊数字集合“有多大”的谜题。

技术摘要：可表达集豪斯多夫维数的下界

问题陈述
本文研究了“可表达集”的豪斯多夫维数，该集合定义为形式如下级数构成的实数集：
$x = \sum_{n=1}^{\infty} \frac{1}{d_n a_n}$
其中 $(a_n)_{n=1}^{\infty}$ 是实数序列（称为“底”）， $(d_n)_{n=1}^{\infty}$ 是从特定集合 $D_n$ 中选出的自然数序列（称为“数字”）。

核心问题在于解决关于此类和的无理性与超越性的现有结果与其生成集合的度量性质之间的差距。Erdős（1975 年）和 Hančl 的先前工作确立了这些和为无理数或刘维尔数（Liouville numbers）的条件。具体而言，如果序列 $a_n$ 增长足够快（例如 $\limsup a_n^{1/2^n} = \infty$ ），则生成的数为无理数；如果增长更快，则它们为刘维尔数（豪斯多夫维数为零的集合）。然而，当增长条件处于中间状态或对数字 $d_n$ 施加限制时，会发生什么情况尚不清楚。作者旨在建立这些集合豪斯多夫维数的正下界，从而证明在特定增长条件下，这些集合包含非刘维尔数（且可能为非超越数）。

方法论
作者采用几何构造方法，将可表达集建模为广义康托尔集。策略包括：

康托尔集构造：将级数视为一种记数系统，其中 $a_n$ 充当底， $d_n$ 充当数字。集合 $K(A, (D_n))$ 通过迭代分割区间来构造。
间隙分析：为了应用广义康托尔集豪斯多夫维数的已知下界定理（定理 1，基于 Falconer 的工作），作者必须确保在每一层 $n$ 的子区间之间存在“间隙”。这需要证明相邻部分和之间的差值严格大于该级数最大可能的尾部和。
定量估计：作者推导了每一层间隙大小（ $\varepsilon_n$ ）的显式下界以及子区间数量（ $m_n$ ）的上界。他们将这些估计代入维数公式：
$\dim_H(C) \ge \limsup_{n \to \infty} \frac{\log(m_1 \cdots m_n)}{-\log(m_{n+1} \varepsilon_{n+1})}$
增长分类：分析根据序列 $a_n$ $a_{n}$ 的增长率分为三种情况：
- 几何增长（ $a_n = b^n$ ）。
- 双重指数增长（ $a_n \approx 2^{N^n}$ ）。
- 较慢的双重指数增长（ $a_n \approx N^{2^n}$ ）。

主要贡献与结果

定理 2（几何增长）：对于满足 $a_n = b^n$ （其中 $b > 4$ ）且数字被限制在有限集 $D_n = \{1, \dots, K\}$ 中的序列，且满足 $K^2 < b$ ，作者证明：
$\dim_H(K) \ge \frac{\log(K)}{\log(b)}$
该结果表明，只要底 $b$ 相对于数字集的大小足够大，限制数字可以将维数从满维（区间）降低到一个正值。
定理 3（双重指数增长）：对于按 $a_n = 2^{N^n f(n)}$ 增长的序列，且对数字集 $D_n$ 有特定约束，作者建立了如下下界：
$\dim_H(K) \ge \frac{s}{(N-1)(N-s)}$
其中 $s$ 和 $N$ 是与底和数字集的增长率相关的参数。
定理 4（较慢的双重指数增长）：对于按 $a_n = N^{2^n f(n)}$ 增长的序列，推导出了如下下界：
$\dim_H(K) \ge \frac{s}{2-s}$
值得注意的是，该下界独立于底参数 $N$ ，这与定理 3 形成对比，在定理 3 中，随着 $N$ 的增加，下界会减小。
推论 5（Erdős 判据的尖锐性）：作者将结果应用于整数序列。他们表明，如果对于某个 $t \in \mathbb{N}$ 满足 $\limsup_{n \to \infty} a_n^{1/t^n} < \infty$ ，则可表达集 $K(A)$ 包含非 $U^*$ 数（包含刘维尔数的一类）。由于 $U^*$ 数集的豪斯多夫维数为零，这意味着集合 $K(A)$ 包含非刘维尔数。这证实了 Erdős 关于生成刘维尔数的条件是尖锐的；放宽增长条件会产生具有正维数且包含非刘维尔数的集合。

意义与主张
本文声称提供了对具有受限数字的可表达集豪斯多夫维数的首个正下界。其主要意义在于证明“刘维尔”性质并非快速增长序列的普遍属性；相反，它 critically 取决于具体的增长率和数字集的大小。

作者明确指出，他们的结果表明，Erdős 1976 年的构造在比此前认为更弱的增长条件下会产生非刘维尔数。他们指出，虽然他们的下界是正的，但他们怀疑这些下界并非最优，因为尚未计算出这些特定集合的上界。文章最后指出，定理 2 中移除限制 $K^2 < b$ 以及计算这些集合的上界是未解决的问题。该工作并未提出新的应用，而是 refine 了对由特定级数展开定义的数的度量性质的理论理解。

核心问题：你会得到什么样的数字？

作者的发现：“间隙”策略

三个主要结果

“那又怎样？”（不带行话）

类似论文