🔢 mathematics

On the graph of the dimension function of the Lagrange and Markov spectra

该论文利用动态康托尔集豪斯多夫维数在擦除马氏划分元素后下降的性质确定了拉格朗日和马尔可夫谱维数函数 $d(t)$ 的十二个非平凡平台，并结合严格数值方法绘制了平台间的函数图像，从而证明了长度大于 0.005 的十个最大非平凡平台即为该函数的所有此类平台。

原作者： Carlos Matheus, Carlos Gustavo Moreira, Polina Vytnova

发布于 2026-04-24

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Carlos Matheus, Carlos Gustavo Moreira, Polina Vytnova

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

这篇文章就像是在绘制一张**“数学地形图”**，试图搞清楚两个非常神秘的数学集合（拉格朗日谱和马尔可夫谱）的“形状”和“高度”。

为了让你轻松理解，我们可以把这篇论文想象成一次**“登山探险”**。

1. 背景：两座神秘的“山峰”

想象在数学的世界里，有两个非常特殊的集合，我们叫它们拉格朗日山（L）和马尔可夫山（M）。

这两座山不是普通的山，它们是由无数个**“缝隙”**组成的。就像瑞士奶酪一样，中间有很多空洞（Gap）。
数学家们早就知道，这两座山在某个高度（大约 3 到 4.5 之间）有着极其复杂的分形结构（Fractal structure）。分形就像花椰菜或者海岸线，你越放大看，细节越丰富，永远画不完。

2. 主角：高度计 $d(t)$

这篇论文的主角是一个叫 $d(t)$ 的函数。你可以把它想象成一个**“登山高度计”**。

当你站在横轴上的某个位置 $t$ 时，这个高度计会告诉你：在 $t$ 左边的所有山峰部分，它的**“复杂程度”**（数学上叫豪斯多夫维数，Hausdorff dimension）是多少。
简单理解：如果 $d(t)$ 的值很高（接近 1），说明那里的山峰非常“拥挤”、非常复杂；如果值很低，说明那里比较“稀疏”。

3. 核心发现：奇怪的“高原”（Plateaux）

作者们发现，当你拿着高度计 $d(t)$ 沿着横轴走时，它并不是一直平滑上升的。相反，它经常会在某些区间**“走平”，形成一个个“高原”**。

什么是高原？ 想象你在爬山，突然遇到一片平坦的草地，无论你怎么往前走，海拔高度都不变。在数学上，这意味着在这个区间内，山峰的“复杂程度”是恒定的。
为什么会有高原？ 因为山峰中间有很多“空洞”（Gap）。当你走进一个空洞时，你并没有遇到新的山峰结构，所以“复杂程度”保持不变，高度计就画出了一条水平线。

4. 论文做了什么？（探险过程）

作者们的任务就是**“绘制这张高度计地图”，并找出最大的十个高原**在哪里。

第一步：寻找最大的“平坦草地”

作者们通过严密的数学推导，像侦探一样找出了12 个最大的高原。

他们发现，最大的那些高原，长度都超过 0.005。
这就好比他们告诉世界：“嘿，在这座山上，长度超过 5 米（比喻）的平坦草地，我们就找到了这 12 块最大的，其他的都太小了，可以忽略不计。”
他们甚至给这些高原起了代号（比如 $P_2, P_3 \dots$ ），并精确计算出了它们的起点和终点。

第二步：填补“山谷”的地图

在那些巨大的高原之间，还有起伏的山谷。作者们没有只停留在理论推导，他们还用了超级计算机和严谨的数值算法（就像用高精度的卫星扫描）。

他们计算了在这些高原之间，高度计 $d(t)$ 到底是怎么变化的。
最终，他们画出了一张非常详细的图（论文中的 Figure 1），展示了从起点到终点，高度是如何一步步上升的。

5. 他们是怎么算出来的？（魔法工具）

为了计算这些“复杂程度”，作者们用了一些很酷的工具：

连分数（Continued Fractions）：你可以把它想象成一种特殊的“数字积木”。山峰的结构是由这些积木（1 和 2）按照特定规则堆出来的。
禁止规则（Forbidden Subsequences）：作者们发现，如果积木堆里出现了某些特定的“坏模式”（比如连续的"121"），那么那座山峰就会崩塌或者变得不一样。
删除积木法：他们利用一个数学定理：如果你从一堆积木里拿走一块关键的积木，剩下的结构就会变得“更简单”（维度降低）。通过这种方法，他们能精确地算出在某个区间内，山峰到底有多复杂。

6. 结论：我们知道了什么？

这篇论文最重要的成果是：

确认了最大的十个高原：它们确实存在，而且长度都大于 0.005。
绘制了完整地图：不仅画出了平坦的“草地”（高原），还画出了草地之间起伏的“山坡”。
证明了规律：除了这 12 个主要的高原，剩下的所有高原都太小了（小于 0.005），在宏观地图上几乎看不见。

总结

这就好比数学家们拿着放大镜和 GPS，把一座极其复杂的数学山脉（拉格朗日和马尔可夫谱）给彻底测绘了一遍。他们不仅找到了最大的几块平坦区域，还精确地画出了整条山脉的起伏曲线。

一句话概括：这篇论文用数学和计算机，把两个神秘数学集合的“复杂程度变化图”给画清楚了，并找出了其中最大的 10 个“平坦地带”。

这是一份关于论文《拉格朗日和马尔可夫谱维数函数图像的绘制》（ON THE GRAPH OF THE DIMENSION FUNCTION OF THE LAGRANGE AND MARKOV SPECTRA）的详细技术总结。

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

背景：
拉格朗日谱（Lagrange spectrum, $L$ ）和马尔可夫谱（Markov spectrum, $M$ ）是数论中关于丢番图逼近和无定二元二次型最佳常数的两个重要集合。它们具有复杂的分形结构，特别是在区间 $(3, c_F)$ 之间（其中 $c_F \approx 4.5278$ 是弗雷曼常数）。

核心问题：
定义维数函数 $d(t) = \dim_H(L \cap (-\infty, t)) = \dim_H(M \cap (-\infty, t))$ ，其中 $\dim_H$ 表示豪斯多夫维数。已知 $d(t)$ 是一个连续函数，且在 $t < 3$ 时 $d(t)=0$ ，在 $t \ge t_1 \approx 3.334384$ 时 $d(t)=1$ 。
该函数的一个显著特征是它包含许多“平台”（plateaux），即函数值保持恒定的区间。这些平台对应于谱中的间隙（gaps）。
本文旨在解决的问题是：

严格确定 $d(t)$ 在区间 $(3, t_1)$ 内最大的非平凡平台（即长度大于 0 的区间）有哪些。
绘制出 $d(t)$ 在这些平台之间的精确图像。
证明最大的十个非平凡平台恰好是那些长度大于 0.005 的平台。

2. 方法论 (Methodology)

作者结合了理论推导与严格的数值计算方法：

A. 理论工具：

佩龙刻画 (Perron's Characterization)： 利用佩龙定理将拉格朗日和马尔可夫值与双无限序列 $\alpha \in \{1, 2\}^\mathbb{Z}$ 上的连分数展开联系起来。
高斯 - 康托尔集 (Gauss-Cantor Sets)： 将维数计算转化为具有特定“禁止子序列”（forbidden subsequences）的连分数集合的豪斯多夫维数计算。
引理 2.2 (关于连分数的引理)： 用于确定在特定约束下，马尔可夫值何时达到最小值。这有助于确定间隙的端点（孤立点）。
引理 2.3 (关于豪斯多夫维数的引理)： 指出如果从动态康托尔集的构造中移除一个元素（即增加禁止条件），其豪斯多夫维数会严格下降。这是证明平台存在的关键：当参数 $t$ 跨越某个间隙时，禁止的序列集合发生变化，导致维数发生跳跃或保持恒定。

B. 数值算法：

递归禁止字符串构建 (Algorithm 1)： 为了计算 $d(t)$ $d (t)$ 的上下界，作者使用递归算法构建“禁止字符串”集合。
- 给定阈值 $s$ 和最大长度 $n$ ，算法递归地扩展字符串，直到其对应的马尔可夫值区间完全位于 $s$ 的右侧（成为禁止项）或左侧。
- 通过排除包含这些禁止字符串的连分数，构造出一个康托尔集 $K$ 。
维数估计：
- 上界： 利用 $d(s) \le 2 \dim_H(K)$ 获得上界。
- 下界： 利用 $d(s') \ge \min\{2 \dim_H(K), 1\}$ 获得下界，其中 $s'$ 是未排除字符串的最大马尔可夫值。
严格验证： 使用区间算术（interval arithmetic）和严格的误差控制，确保数值计算结果的数学严谨性，而非仅仅是近似。

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

A. 确定了 12 个主要平台：
作者识别并严格证明了 $d(t)$ 在 $(3, t_1)$ 区间内的 12 个非平凡平台（记为 $P_2$ 到 $P_{13}$ ，按长度排序，而非按 $t$ 值排序）。

平台定义： 每个平台 $P_i$ 对应于特定的禁止子序列模式（如 $121, 212, 1212$ 等）首次出现的临界点。
具体数据： 论文列出了每个平台的精确端点（涉及 $\sqrt{30}, \sqrt{210}$ $30, 210$ 等代数数）及其对应的豪斯多夫维数值 $2D_i$ $2 D_{i}$ 。
- 例如，最大的平台 $P_2$ 对应于禁止子序列 $121 $的首次出现，区间约为$ [3.1298, 3.1666]$。
- 第七大平台 $P_8$ 实际上只是马尔可夫谱中的一个单一间隙。

B. 核心定理 (Theorem 3.1)：
定理内容： 维数函数 $d(t)$ 的十个最大的（非平凡）平台，恰好是那些长度大于 0.005 的平台。

作者还识别了两个长度约为 0.004 的较小平台（ $P_{12}$ 和 $P_{13}$ ），并证明了不存在其他长度超过 0.005 的平台。
通过计算平台之间“检查点”（checkpoints）处的维数上下界，证实了在这些间隙中函数是严格单调增加的，没有隐藏的大平台。

C. 图像绘制：
基于上述理论分析和数值计算，作者绘制了 $d(t)$ 的完整图像（见论文 Figure 1 和 Figure 2）。

图像展示了函数在平台处保持水平（常数），在平台之间平滑上升。
附录 B 提供了平台之间区间的详细放大图，展示了上下界非常接近，验证了函数的连续性。

4. 意义与影响 (Significance)

分形几何的精确刻画： 拉格朗日和马尔可夫谱是经典的分形对象。本文首次严格地、定量地描绘了其维数函数的宏观结构，特别是明确了最大平台的数量和大小。
连接数论与动力系统： 研究通过连分数的禁止子序列（数论概念）与康托尔集的维数（动力系统概念）建立了精确联系，展示了如何通过动态系统的工具解决经典的数论问题。
数值方法的严谨性： 论文展示了如何将数值计算提升到“严格证明”的高度。通过算法 1 和区间分析，作者不仅得到了近似值，还给出了数学上可验证的误差界，这对于分形维数的计算是一个重要的范例。
解决长期悬而未决的猜想/问题： 虽然之前已知 $d(t)$ 是康托尔阶梯函数，但具体哪些间隙构成了最大的平台，以及平台的精确长度和位置，此前并未被完全厘清。本文填补了这一空白。

总结

这篇论文通过结合深刻的理论分析（利用连分数和康托尔集的性质）和高度严谨的数值算法，成功绘制了拉格朗日和马尔可夫谱维数函数 $d(t)$ 的图像。其核心结论是：在 $t < 3.334384$ 的范围内，只有 12 个显著的平台，其中最大的 10 个平台长度均超过 0.005。这项工作为理解这些经典谱集的精细分形结构提供了决定性的证据。