🔢 mathematics

Dirichlet improvability in $L_p$ -norms

本文通过 $L_p$ 范数的连分数模式，对 $F$ -狄利克雷可改进数进行了完整的刻画，解决了 Kleinbock 和 Rao 关于特定集合差集的完整豪斯多夫维度的开放性问题，并确定了使得常数 $e$ 为狄利克雷可改进的 $p$ 的精确范围。

原作者： Nikolay Moshchevitin, Nikita Shulga

发布于 2026-06-23

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Nikolay Moshchevitin, Nikita Shulga

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

想象一下，你正试图通过像 $1/2$ 、 $3/4$ 或 $22/7$ 这样的分数来猜测一个秘密数字 $\alpha$ 。在数学世界中，这被称为丢番图逼近（Diophantine approximation）。其目标是观察一个分数能在不等于该秘密数字的情况下，与其“亲密贴合”到何种程度。

一个多世纪以来，数学家们一直已知一条规则（狄利克雷定理），它指出：“无论你的秘密数字是什么，你总能找到足够接近它的分数。”然而，对于某些非常顽固的数字，你无法靠得“太近”。这些被称为**不良近似（Badly Approximable）**的数字。它们是数学世界中那些“不配合”的数字。

这篇由 Nikolay Moshchevitin 和 Nikita Shulga 撰写的论文，探索了一种衡量“接近程度”的新方法。他们没有使用标准的尺子（通常的距离），而是使用了不同形状的“尺子”，称为 $L_p$ -范数（ $L_p$ -norms）。

不同的尺子

可以将这些范数想象成测量城市距离的不同方式：

出租车范数 ( $L_1$ )： 你只能沿着城市街区行驶（上下、左右）。距离是步数的总和。
直线范数 ( $L_2$ )： 你可以斜着飞过去。这是标准的欧几里得距离。
“最大值”范数 ( $L_\infty$ )： 你只关心你走过的最长的一步，忽略其他步骤。

作者们问道：如果我们更换尺子，“不配合”数字的名单会改变吗？

核心发现：一个秘密代码

这篇论文最大的突破在于为这些数字找到了一个“解码环”。他们发现，一个数字是“可改进的”（容易逼近）还是“不可改进的”（难以逼近），完全取决于其连分数中的数字模式。

连分数就像是一个数字的“食谱”，写成一系列整数的形式： $[a_0; a_1, a_2, a_3, \dots]$ 。

旧规则： 对于标准尺子（ $L_\infty$ ），如果一个数字的食谱中包含不断变大的巨大数字，它就是顽固的。
新规则： 作者发现，对于其他尺子（ $L_1, L_2$ 等），其“顽固性”取决于食谱中特定的对称模式。

想象一下食谱是一首歌。

对于出租车范数 ( $L_1$ )，如果这首歌有一个非常特定的、几乎对称的副歌，且随着音量增大而不断重复，那么它就是顽固的。
对于直线范数 ( $L_2$ )，如果这首歌有一种特定的模式，即两个部分的乘积等于 3，那么它就是顽固的。
对于最大值范数 ( $L_\infty$ )，它仅仅关乎于是否存在巨大的数字。

作者们精确地绘制出了对于每种类型的尺子，什么样的模式会让一个数字变得顽固。

令人惊讶的结果

通过这种模式映射，他们解决了几个此前未解的谜题：

“中间地带”的数字：
他们证明了存在着一大群规模庞大的、无穷无尽的数字，它们在使用一种尺子时是“可改进的”（容易逼近），而在使用另一种尺子时是“不可改进的”（难以逼近）。
- 类比： 想象一个数字，用方形的网（出租车范数）很容易捕捉到，但用圆形的网（直线范数）却无法捕捉。作者表明，这类“变色龙”数字的集合非常庞大，具有“全维数”（在数学意义上，它们与整个数轴一样大）。
数字 $e$ 的谜团：
他们将新规则应用于著名的数字 $e$ （自然对数的底数，约等于 2.718）。
- 他们发现， $e$ 在使用出租车尺子（ $L_1$ ）和直线尺子（ $L_2$ ）时是容易逼近的。
- 然而，如果你使用一个在 2 到一个特殊的常数 $p_0$ （约 2.57）之间具有特定“拉伸度”的尺子，或者使用比这更拉伸的尺子，那么 $e$ 就会变得顽固（难以逼近）。
- 简单来说： $e$ 是一个变色龙。它根据你用来测量它的“尺子”不同，表现也不同。
“临界”常数 ( $p_0$ )：
存在一个神奇的数字 $p_0 \approx 2.57$ ，在这里，游戏的规则发生了彻底的变化。在这个数字之下，成为“顽固”所需的模式是一种样子；而在它之上，规则则完全不同。作者识别出了这个转折点，并描述了规则是如何翻转的。

为什么这很重要（根据论文所述）

这篇论文并不是在讨论如何建造桥梁或治愈疾病。相反，它解决了一个关于数字结构的深层理论谜题。

它将“尺子”的抽象形状与一个数字食谱中特定的数字序列联系了起来。
它证明了这些不同类型的数字之间的差异不仅仅是一个微小的斑点，而是一个宏大且复杂的景观。
它提供了一份完整的“说明书”，让你只需通过观察连分数的模式，就能判断一个数字是否顽固。

简而言之，作者们将一个关于用不同形状测量数字的复杂问题，转化为了一个模式识别的游戏，揭示了数字宇宙比以往认为的更加多样且具有高度的结构性。

技术摘要： $L^p$ -范数下的狄利克雷可改进性 (Dirichlet Improvability)

问题陈述

本文研究了关于 $\mathbb{R}^2$ 上一般 $L^p$ 范数的狄利克雷可改进数 (Dirichlet improvable numbers) 的分类问题。在经典的最高范数（ $L^\infty$ ）情形下，该问题已有成熟的理解——即一个数是狄利克雷可改进的，当且仅当它不是坏近似数 (badly approximable)（定理 B）。

具体而言，作者解决了三个相互关联的问题：

分类问题 (问题 I)： 是否能根据其正则连分数展开中的模式，对 $p$ -狄利克雷可改进数 ( $DI_p$ ) 进行刻画，类似于经典 $L^\infty$ 的结果？
度量大小问题 (问题 II)： 集合差集 $DI_p \setminus BA$ （即是 $p$ -可改进但不是坏近似的数）是否具有满豪斯多夫维数 (full Hausdorff dimension)？这是 Kleinbock 和 Rao 针对欧几里得范数 ( $p=2$ ) 提出的开放性问题。
比较规模问题 (问题 III)： 两个不同范数下的可改进数集合之间的差集大小是多少，具体为 $DI_{p_1} \setminus DI_{p_2}$ ？

研究方法

作者结合了几何数论、动力系统以及连分数的度量理论。

Dani 对应关系与临界格点 (Dani's Correspondence and Critical Lattices)：
研究利用 Dani 对应关系，将丢番图逼近问题转化为单位模格点空间中格点轨迹的动力学问题。一个数 $\alpha$ 是 $F$ -狄利克雷不可改进的，当且仅当格点轨迹 $\Lambda_\alpha(t)$ 在范数 $F$ 的单位球 $B_F$ 的临界格点 (critical lattice) 上累积。
作者高度依赖于对 $L^p$ 单位球 ( $B_p$ ) 临界格点的分类，这一结果由 Glazunov, Golovanov 和 Malyshev [14] 完成。该分类揭示了在临界常数 $p_0 \approx 2.57$ 处存在结构性的分叉。
连分数模式分析：
通过分析收敛至临界格点的格点轨迹的极限行为，作者推导出了 $p$ -狄利克雷不可改进性的充分必要条件。这些条件被表达为连分数展开中特定回文或对称模式的出现：
- 对于 $2 < p < p_0$ ，不可改进性对应于如 $x, 1, 1, y$ 或 $x, 2, y$ （其中 $x, y$ 很大）之类的模式。
- 对于 $p \in (1, 2) \cup (p_0, \infty)$ ，模式取决于特定常数 $\varsigma_p$ （方程 $\varsigma + (1+\varsigma)^p = 2$ 的根）的连分数展开。
豪斯多夫维数界限：
为了证明某些集合具有满豪斯多夫维数，作者通过在坏近似数的连分数中插入特定模式来构造子集。他们利用符号空间映射 (symbolic space mapping) 技术（引理 9.1）来证明，插入这些模式可以在改变丢番图性质的同时，保持底层集合的满维数。这涉及证明该插入映射是局部 Lipschitz 连续的，且其逆映射是局部 Hölder 连续的。

主要贡献与结果

1. 完全分类 (定理 3.1)

本文为所有 $p \in [1, \infty)$ 的 $DI_p^c$ （ $p$ -狄利克雷可改进数的补集）提供了一个完整的、有效的刻画。

情况 $2 < p < p_0$ ： $\alpha \in DI_p^c$ 当且仅当其连分数包含模式 $x, 1, 1, y$ 或 $x, 2, y$ ，其中 $\min(x, y) \to \infty$ 。
情况 $p \in (1, 2) \cup (p_0, \infty)$ ： 条件取决于 $\varsigma_p$ 。若 $\varsigma_p$ 为有理数，则必须出现涉及 $\varsigma_p$ 数字的特定有限回文模式；若 $\varsigma_p$ 为无理数，则必须出现由 $\varsigma_p$ 的连分数导出的任意长的回文模式。
情况 $p=1$ 和 $p=2$ ： 刻画涉及更复杂的对称模式；对于 $p=2$ ，涉及满足 $\beta \cdot \beta^* = 3$ 的数对 $\beta, \beta^*$ 。

2. 解决维数开放问题

定理 1.1： 对于任何 $p \in [1, \infty)$ ，集合 $DI_p \setminus BA$ 具有满豪斯多夫维数（维数为 1）。这解决了 Kleinbock 和 Rao 对 $p=2$ 提出的开放问题，并将其推广到所有 $L^p$ 范数。作者明确指出，这在 $p=\infty$ 时失效（此时 $DI_\infty \setminus BA = \mathbb{Q}$ ）。
定理 1.2： 集合 $DI_2 \setminus DI_1$ 和 $DI_1 \setminus DI_2$ 均具有满豪斯多夫维数。这证明了不同 $L^p$ 范数下的可改进数集合是不同的，且它们的差集在分形意义上是“巨大”的。

3. 特定常数的刻画

推论 3.9： 作者将分类结果应用于数字 $e$ 。他们证明了 $e \in DI_p$ 当且仅当 $p \in (1, 2) \cup (p_0, \infty)$ 。因此， $e$ 在 $p \in [2, p_0]$ 时不是 $p$ -狄利克雷可改进的。
推论 3.8： 存在 $p$ -狄利克雷不可改进的坏近似数的 $p$ 值集合在 $(1, 2) \cup (p_0, \infty)$ 中是稠密的，其勒贝格测度为零，但具有满豪斯多夫维数。

4. 验证闵可夫斯基猜想 (Minkowski's Conjecture)

论文在附录 A 中包含了对 $L^p$ 球临界格点之闵可夫斯基猜想证明的独立验证，解决了 Glazunov 等人 [14] 原文中缺乏代码的问题。

意义与主张

本文声称提供了第一个关于 $L^p$ 范数下狄利克雷可改进数的完全且有效的分类，通过连分数模式建立了联系。这填补了经典 $L^\infty$ 理论与更复杂的其他范数几何之间的空白。

其重要性在于：

统一性： 它统一了整个 $L^p$ 范数族下对狄利克雷可改进性的理解，揭示了在 $p_0 \approx 2.57$ 处的相变。
度量解析： 它解决了 $DI_p \setminus BA$ 和 $DI_{p_1} \setminus DI_{p_2}$ 集合的“大小”问题，表明它们不仅是非空的，而且具有最大的可能豪斯多夫维数。
具体应用： 它为数字 $e$ 在 $L^p$ 范数下的丢番图性质提供了确定性的答案，这是更广泛分类中的一个具体实例。

作者强调，他们的结果是从临界格点的分类和连分数的理论中推导出来的，避免了启发式论证。这项工作证实了虽然几乎所有的数都是不可改进的（定理 C），但可改进数的集合在结构上是丰富的，并且随范数 $p$ 的选择而显著变化。