🔢 mathematics

Positive dyadic density for rational weighted binary expansions

该论文证明了，若加权二进展开式 $\eta_S = \sum_{n\in S} n 2^{-n}$ 为有理数，则索引集 $S$ 必须在每一个足够大的二进块中占据正比例，这一结果通过对进位状态和间隙窗口的分析，通过建立局部密度障碍解决了埃尔德什问题 260。

原作者： Han Wang

发布于 2026-07-17

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Han Wang

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

想象一下你是一名试图破解数字谜题的侦探。在数学的世界里，有一个特殊的俱乐部叫做“有理数”。这些是可以通过简单分数表示的数字，比如 1/2 或 3/4。它们是数学世界中“整洁”的数字。然后是“无理数”，比如 $\pi$ 或 $\sqrt{2}$ 。这些是杂乱无章、永无止境且不重复的数字，它们会永远延续下去而没有任何规律。

长期以来，数学家们一直试图判断一个特定的、复杂的数字之和究竟属于“整洁”俱乐部还是“杂乱”俱乐部。想象你有一台机器，它可以对一组数字进行求和。如果机器停止运行并给出一个干净的分数，它就是有理数；如果它会永远进行下去，且从未进入重复的模式，它就是无理数。一个核心问题是：我们能否仅仅通过观察数字列表中数字的“位置”来预测答案？如果这个列表非常稀疏（即数字之间的间距很大），这是否会迫使最终的和变得杂乱（无理）？这就是一个著名的谜题——Erdős Problem 260 的核心，保罗·厄多斯（Paul Erdős）以提出关于数字在分布时如何表现的问题而闻名，这个问题正是以他命名的。

现在，让我们认识一位新的侦探——王汉（Han Wang）。在最近的一篇论文中，王汉处理了这个谜题的一个特定版本，涉及“加权二进制展开”。把这想象成一种使用 2 的幂（如 1/2, 1/4, 1/8）来构建数字的特殊方式，但有一个转折：每个部分都有一个基于其位置的权重。王汉的任务是证明，如果你尝试使用这些加权部分来构建一个“整洁”的分数（有理数），这些部分的分布不能太稀疏。事实上，它们必须以一种非常特定的、密集的方式聚集在一起。如果这些部分太稀疏，总和就“必然”是杂乱的（无理的）。王汉不仅仅是在猜测，他构建了一座数学堡垒来无可辩驳地证明这一点。

稀疏间隙之谜

让我们拆解一下王汉的调查过程。想象你正在用砖块建造一面墙。每块砖代表列表中的一个数字。为了建造一面“整洁”的墙（有理数），砖块必须完美地契合在一起。王汉发现了一个隐藏的规则：如果你的墙是由有理砖块组成的，你就不能有巨大的间隙。

他证明了，在任何足够大的墙段中，砖块必须占据“正比例”的空间。这意味着，无论你向墙的远方看去，你总会发现一定数量的砖块。你不能有一段墙几乎完全是空的。如果你试图建造一面砖块非常稀疏（即间距很大）的墙，数学会迫使这面墙坍塌成一种杂乱的、无理的形状。

侦探的工具箱：进位与窗口

王汉是如何证明这一点的？他使用了一个聪明的技巧——“进位”，这是一个你在纸上做加法时可能了解的概念。当你把 5 和 7 相加时，得到 12。你写下 2，并将 1 “进位”到下一列。在王汉的数学世界里，这些进位就像是在数字线路上穿梭的小信使。

王汉表明，如果最终的和是一个整洁的分数，这些进位信使必须遵循严格的规则。它们不能跑得太远；它们会被限制在一个简单的界限内。这是第一个线索。

调查的第二部分涉及“窗口”。想象将一个窗口框架在你的砖墙上滑动。在这个窗口内，你统计看到的砖块数量。王汉观察了如果你尝试做一个几乎没有砖块的窗口（即“稀疏”区块）会发生什么。他发现，如果你有一个砖块极少的窗口，那些“进位信使”就会感到困惑。它们会开始堆积，从而产生一种巨大的、不可能的失衡。

为了捕捉这种失衡，王汉使用了一种“积分过剩”（integrated excess）的方法。把它想象成测量如果你倾斜一个桶时，会有多少水溢出来。如果砖块太稀疏，那么“水”（数学误差）会溢出得太多，以至于破坏了有理数的物理定律。如果间隙太大，数学根本无法平衡这个方程。

仿射直线：一条神奇的轨道

这里是故事变得非常酷的地方。王

汉注意到，当这些“进位信使”重复某种间距模式时，它们会完美地排列在一条直线上。在数学中，这被称为“仿射直线”（affine line）。想象一条神奇的火车轨道，火车（数字）必须在这条轨道上行驶。如果停靠站之间的间距过长且过于规律，火车就会被迫行驶在单条轨道上。

王汉计算了有多少列火车可以挤在这条轨道上。他发现，如果间距是稀疏的，这条轨道就会因为充斥着无数种不可能的情况而变得过于拥挤，从而产生矛盾。这就像试图把太多人塞进一个太小的房间里；最终，一定会有人违反规则。在这种情况下，规则就是总和必须是一个整洁的分数。既然数学逻辑崩溃了，那么这个和就不可能是整洁的。它必然是无理的。

判决

王汉的论文是一个完整的证明。他不仅是在计算机上进行模拟或暗示这可能是真的；他构建了一个逻辑严密的论证，不留任何疑点。他证明了对于任何间距增长足够快（具体而言，即第 $n$ 个数远大于 $n$ ）的无限数字列表，级数 $\sum \frac{a_n}{2^{a_n}}$ 的和保证是无理数。

这解决了 Erdős Problem 260 的一个特定的、长期存在的版本。它告诉我们，“整洁”的数字有一个秘密要求：它们需要稳定的原料供应。你不能用一个食材过于分散的配方来制作一个完美的分数。如果食材太稀疏，结果必然是杂乱且无穷无尽的。

所以，下次当你看到一个向远方延伸的数字列表时，请记住王汉的发现：如果间隙变得足够宽，你所构建的数字永远不会是一个简单的分数。它将成为那些美丽的、永无止境的无理数，让数学家们永远保持好奇并忙碌不已。

技术摘要：有理加权二进展开式的正二进密度

问题陈述
本文研究了形式为 $\eta_S = \sum_{n \in S} n 2^{-n}$ 的加权二进级数的无理性问题，其中 $S \subseteq \mathbb{N}$ 是一个无穷正整数集。具体而言，本文探讨了 Erdős 问题 260，该问题询问：若序列 $a_n$ 满足增长条件 $a_n/n \to \infty$ ，则级数 $\sum_{n \ge 1} a_n 2^{-a_n}$ 是否必然是无理数。

虽然之前的研究在更强的假设下（如 $a_{n+1} - a_n \to \infty$ (Erdős) 或 $\limsup (a_{n+1}-a_n)/\log a_{n+1} = \infty$ (Borwein 和 Loring)）已经确立了无理性，但 $a_n/n \to \infty$ 这一条件仅能保证全局稀疏性（ $\# \{n : a_n \le X\} = o(X)$ ）。它允许存在高度不规则的局部间隙模式，包括短间隙的聚集，而以往的方法无法排除这些模式。核心难点在于，一个全局稀疏的序列仍可能包含复杂的短间隙模式，从而规避标准的递推准则。

方法论与证明策略
本文证明了一个更强的局部结果：若 $\eta_S$ 是有理数，则 $S$ 必须在每一个充分大的二进块 $(X, 2X]$ 中占据正比例。这一“正二进密度”与 $a_n/n \to \infty$ 所暗示的稀疏性相矛盾。

证明采用反证法，假设 $\eta_S = P/Q \in \mathbb{Q}$ 且一个二进块是稀疏的（即 $S$ 在 $(X, 2X]$ 中的密度较低）。论证结合了有理尾部的算术性质与间隙模式的组合计数：

整数进位递推： 有理性意味着级数的“尾部”可以表示为一个非负整数进位 $R_N$ ，该进位满足线性递推关系 $R_{N+1} = 2R_N - Q(N+1)d_{N+1}$ ，且具有线性规模界限 $0 \le R_N \le Q(N+2)$ 。
稀疏块下界： 如果一个二进块是稀疏的，则支撑点之间的间隙将会很大。作者定义了“窗口-阈值对” $(k, T)$ ，其中 $k$ 锚定一个连续间隙窗口，而 $T$ 是一个阈值。他们定义了“集成过剩” $y(k, T)$ ，代表窗口跨度超过 $T$ 的部分。稀疏块会迫使许多窗口具有较大的过剩量，从而建立了一个总集成过剩的下界。
组合上界： 作者分析了具有大过剩量的窗口结构。
- 前缀选择： 他们为每个大过剩窗口隔离出一个唯一的“初始长前缀”间隙。
- 格点共线性： 利用进位递推关系，他们表明频繁出现的模式在 $(x, R_x)$ 平面上必须排列在仿射直线上（格点共线性）。
- 斜率动力学： 这些直线上的归一化斜率 $\mu = K/(QH)$ $μ = K / (Q H)$ 的演化受映射 $\mu \mapsto 2^g \mu - 1$ $μ \mapsto 2^{g} μ - 1$ 控制。作者将分析分为两个区域：
  - 内部斜率 ( $0 < \mu < 1$ )： 斜率保持有界。作者表明，斜率的约化分母最终会稳定为一个固定的奇整数 $q$ 。他们将间隙序列划分为“对数块”，并利用熵界和 Farey 分离理论证明此类情况发生的次数很小。
  - 外部斜率 ( $\mu \notin [0, 1]$ )： 一旦斜率离开 $[0, 1]$ 区间，其与该区间的距离会随共享间隙词的跨度呈指数级增长。这种指数级的分离极大地限制了仿射直线上有效整数参数的数量。
矛盾： 组合分析得出了一个总集成过剩的上界，该上界在渐近意义上小于由稀疏块假设导出的下界。这一矛盾证明了如果 $\eta_S$ 是有理数，则不存在稀疏的二进块。

主要贡献与结果

定理 1.1 (正二进密度)： 若 $S$ 是无穷集且 $\eta_S = P/Q \in \mathbb{Q}$ （最简形式），则存在常数 $c_{dens}(Q) > 0$ ，使得对于每一个充分大的二进尺度 $X = 2^L$ ：
$A_S(2X) - A_S(X) \ge c_{dens}(Q) X$
其中 $A_S(X)$ 是 $S$ 的计数函数。这确立了有理性要求在每一个大二进块中都具有一致的正密度，而非仅仅在某个子序列上。
推论 1.2 (解决 Erdős 问题 260)： 若 $a_1 < a_2 < \dots$ 满足 $a_n/n \to \infty$ ，则 $\sum_{n \ge 1} a_n 2^{-a_n}$ 是无理数。
- 推理： 条件 $a_n/n \to \infty$ 意味着 $A_S(X) = o(X)$ ，这与有理性所要求的正密度下界相矛盾。
方法论创新： 本文引入了一种使用重叠间隙窗口和集成过剩的技术，用以处理短间隙与长间隙的任意混合情况，而无需依赖于某个“异常”的大间隙。它利用了线性进位界限与格点在仿射几何中的相互作用，来统计间隙模式出现的次数。

意义与声明
本文声称通过识别一种局部密度障碍解决了 Erdős 问题 260。该结果比以往的无理性判据更强，因为它并不依赖于是否存在一个大间隙子序列；相反，它证明了有理性与二进块中的任何局部稀疏性都是不相容的。

作者明确指出，其方法是针对加权二进级数的特定算术结构（分母为 2 的幂，分子为线性权重）而定制的。他们并未声称为其他进制、其他权重序列或比存在常数 $c_{dens}(Q)$ 更精确的定量密度律提供通用解。证明依赖于初等但复杂的算术与组合估计，避免了深奥的超越数论，转而利用进位递推结构的约束。

稀疏间隙之谜

侦探的工具箱：进位与窗口

仿射直线：一条神奇的轨道

判决

技术摘要：有理加权二进展开式的正二进密度

类似论文