🔢 mathematics

The uniform Littlewood conjecture fails on a set of positive Hausdorff dimension

本文证明了均匀利特尔伍德猜想的反例集合（特别是涉及不良近似数的反例）的豪斯多夫维数至少为 3/2，从而与经典利特尔伍德猜想中反例构成零维集合的情况形成了鲜明对比。

原作者： Nikita Shulga

发布于 2026-08-27

📖 1 分钟阅读🧠 深度阅读

原作者： Nikita Shulga

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

在广袤的数学领域中，有一个安静的角落，致力于研究如何利用一个数字来尽可能好地逼近另一个数字。想象一下，试图寻找一个能极其接近某个奇怪且无穷无尽的小数的分数。有些数字很容易被锁定，而另一些数字则表现得异常顽固，无论你如何努力，都无法将其紧密匹配。数学家们长期以来一直痴迷于“难逼近”（badly approximable）的数字，即那些拒绝被简单分数紧密匹配的顽固数值。这种抵抗并非随机，它遵循着一种隐藏的结构，这种结构在观察这些数字成对出现时的行为时便会显现出来。几十年来，一个被称为利特尔伍德猜想（Littlewood conjecture）的著名设想一直在追问：对于任何两个这样的数字，我们是否总能找到一种方法，只需通过乘以一个足够大的整数，就能让它们同时看起来非常接近整数？答案被认为对于几乎所有的数对都是肯定的，尽管这些潜在例外集合如此之小，以至于在标准测量下几乎是不可见的。

最近，数学家们将注意力转向了这个问题的更严格版本，称为一致利特尔伍德猜想（uniform Littlewood conjecture）。这个版本要求逼近不仅要最终实现，还要在特定的乘数范围内持续且高效地实现。这是一个更严苛的测试，它询问在一定的努力窗口内，是否总能找到最佳匹配。长期以来，人们一直希望这一更严格的规则对所有数对都成立。然而，近期的研究表明情况并非如此。存在一些打破这一规则的数字对，它们在测试中失败，并留下了一个可测量的差距。剩下的问题是，这类失败的数对有多少，以及它们的“规模”究竟有多大。

尼基塔·舒尔加（Nikita Shulga）的一项新研究现在以惊人的深度回答了这个问题。研究者证明，那些打破一致性规则的集合不仅仅是极少数零星的例外。相反，这些反例构成了一个实质性的家族，其占据的空间之大，足以用特定的复杂性尺度来衡量。该研究聚焦于一类以难以逼近而闻名的特殊数字，即难逼近数。舒尔加证明，如果你将其中一个这类顽固数字作为起点，你可以为它找到大量的伴侣，从而创造出一个对一致性规则的失效。事实上，这类起始数字的集合如此庞大，以至于在几何复杂性方面填满了整个可能性空间。

论文确定了这些失败数对的集合具有特定的维度——这是一种超越简单计数的数学规模度量。虽然经典版本的猜想暗示任何例外都会稀有到规模为零，但这项新工作表明，一致性版本允许存在一个更为丰富的失败集合。作者证明，这些反例集合的维度至少为一点五。这是一个重要的发现，因为这意味着该集合不仅仅是一条线或一个点，而是具有一种超越简单描述的“厚度”。此外，研究表明，能够作为此类失败数对第一部分的难逼近数集合非常广泛，其维度达到了一，意味着它在这一类别中与整个实数集一样大。

为了得出这一结论，研究者构建了一个特定且复杂的数对家族。这一构建过程涉及根据数字在连分数表示下的特征进行精细选择，连分数是揭示数字隐藏模式的一种表示方法。通过选择具有有界数字的数字，研究者确保了它们属于那类顽固的、难逼近的群体。随后，通过将它们与精心挑选的伴侣配对，研究表明这些数对始终无法通过一致性测试。该证明依赖于计算在特定范围内可以找到多少此类数对，并证明这种计数增长得足够快，从而保证了一个较大的正维度。这项工作不仅是在说这些数对的存在，更是通过构建并测量它们的规模，证明了一致性利特尔伍德猜想的失效是一个稳健且广泛存在的现象，而非罕见的异常。

这一发现改变了我们对数论景观的理解。它揭示了虽然经典的利特尔伍德猜想可能对几乎所有的数对都成立，但更严格的一致性版本却要脆弱得多。存在一个具有较大正维度的反例集合，意味着这种违背规则的行为深深植根于这些数字的结构之中。这项研究证实，即使我们将范围限制在最难逼近的数字中，我们仍然可以发现一个广阔且复杂的、违背一致性预期的数对世界。这项成果解决了关于这些例外规模的长期疑问，表明它们比此前认为的更加多见且在结构上更具重要性，从而为逼近规则失效之处提供了一幅更清晰、更详尽的地图。

技术摘要：一致性利特洛沃猜想在正豪斯多夫维数集上失效

问题陈述
本文探讨了一致性利特洛沃猜想（Uniform Littlewood Conjecture, ULC），这是由 Badi、Fregoli 和 Kleinbock 提出的经典利特洛沃猜想的一个加强版本。经典猜想断言，对于所有实数 $\xi, \zeta$ ， $\liminf_{n\to\infty} n\|n\xi\|\|n\zeta\| = 0$ 。ULC 则提出了一个一致性的版本：对于所有实数 $\xi, \zeta$ ，
$\lim_{Q\to\infty} Q \min_{1\le n \le Q} \|n\xi\|\|n\zeta\| = 0.$
虽然 ULC 对几乎所有的对 $(\xi, \zeta)$ 成立，但 Schleischitz 最近通过构造特定的对，证明了该猜想的失效，并显示其反例集（记作 $\mathcal{U}$ ）包含一个稠密的 $G_\delta$ 集。然而，Schleischitz 的工作并未提供关于 $\mathcal{U}$ 的豪斯多夫维数的界限，也未确定当其中一个或两个坐标是坏近似数（即具有有界连分数部分商的数）时，是否存在反例。

方法论
作者利用基于有界部分商的连分数的一种类似于康托尔（Cantor-like）的迭代过程，构造了一族反例。该方法依赖于以下几个关键技术组成部分：

有界部分商： 构造过程聚焦于在 $(0,1)$ 中连分数部分商被固定整数 $A \ge 2$ 所界定的集合 $F_A$ 。该集合中无理数部分的豪斯多夫维数记为 $\delta_A$ 。
乘积集估计： 一个关键步骤是估计具有有界部分商的对 $(p, q)$ 的数量，使得 $p/q$ 落在特定区间内，且满足对于某个属于有界集的 $b$ ，有 $r \equiv pb \pmod q$ ，且 $r/q$ 落在目标区间内。这利用了针对有界连分数（bounded continuants）的 Hensley 计数定理以及针对复合模的 Vinogradov 双线性指数和界。
矩形构造： 作者定义了 $\mathbb{R}^2$ 中的“容许 $T$ -矩形”。这些矩形是连分数柱体（针对第一个坐标）与一个小区间（针对第二个坐标）的乘积。构造确保了对于位于这些矩形内的点 $(\xi, \zeta)$ ，在直到规模 $Q$ 的范围内，乘积 $\|n\xi\|\|n\zeta\|$ 保持远离零。
质量分布原理： 为了建立下界，作者构造了一个嵌套紧集序列，并应用了质量分布原理（引理 5.2）。这涉及验证所构造集合的分离性质，并计算每一层相对于缩放参数的子矩形（子集）数量。

主要贡献与结果

具有坏近似坐标的反例的下界： 本文证明了第一个坐标为坏近似数的反例集具有正的豪斯多夫维数。具体而言，定理 1.1 指出，若 $A \ge 2$ 满足 $\delta_A > (\sqrt{21}-1)/4$ ，则：
$\dim_H \big( \mathcal{U} \cap (F_A \times \mathbb{R}) \big) \ge \frac{2\delta_A - 1}{2}.$
令 $A \to \infty$ （此时 $\delta_A \to 1$ ），作者推导出：
$\dim_H \big( \mathcal{U} \cap (\text{Bad}_1 \times \mathbb{R}) \big) \ge \frac{3}{2}.$
这解决了 Schleischitz 关于存在至少一个坏近似坐标的反例这一特定开放问题的研究。
第一坐标的全维数： 定理 1.3 确立了坏近似数 $\xi$ 的集合，其对应的 $\zeta$ 使得 $(\xi, \zeta) \in \mathcal{U}$ ，具有全豪斯多夫维数（维数为 1）。更准确地说，对于任何非空的有界开区间 $U \subset \mathbb{R}$ ， $\dim_H(P \cap U) = 1$ ，其中 $P$ 是 $\mathcal{U}$ 在限制在坏近似数上的第一坐标上的投影。
与经典猜想的区别： 本文强调了一致性设置与经典设置之间的根本区别。虽然经典利特洛沃猜想的反例集（如果非空）已知其豪斯多夫维数为 0（由 Einsiedler, Katok, 和 Lindenstrauss 证明），但一致性猜想的反例集包含正维数的族。

意义
本文表明，一致性利特洛沃猜想的失效不仅是一个拓扑现象（如 Schleischitz 所展示的稠密 $G_\delta$ 集），也是一个度量现象。反例集在豪斯多夫维数的意义上是“大”的。通过构造具有坏近似第一坐标的反例，作者展示了一致性失效是稳健的，并且发生在实数中最具结构的子集（即具有有界部分商的数）之中。这些结果首次为 ULC 的反例集提供了定量的度量界限。

类似论文