Duffin--Schaeffer examples, real residue systems, and Bohr-set primes

Each language version is independently generated for its own context, not a direct translation.

这篇论文听起来像是一堆高深莫测的数学符号，但实际上，它讲述的是一个关于**“如何精准控制随机性”**的有趣故事。

想象一下，你有一个巨大的、混乱的**“数字游乐场”（数学家称之为实数轴）。在这个游乐场里，有一群调皮的“数字精灵”**（我们称之为 $x$ ），它们喜欢在特定的规则下到处乱跑。

这篇论文的核心任务就是：设计一套特殊的规则（函数 $\psi$ ），让某些特定的精灵永远找不到家（测度为 0），而让另一些精灵几乎肯定能找到家（测度为 1）。

让我们用更生活化的比喻来拆解这篇论文的四个主要部分：

1. 核心挑战：给精灵们“定规矩”

在数学里，有一个经典问题叫**“丢芬 - 谢弗问题” (Duffin-Schaeffer problem)**。

场景：想象你在玩一个游戏，规则是：如果你能找到一个整数 $q$ ，使得 $q$ 乘以某个数字 $x$ 后，离另一个数字 $y$ 非常近（比如只差一点点），你就赢了。
目标：作者想证明，对于任何你想指定的“坏运气”人群（集合 $Y$ $Y$ ）和“好运气”人群（集合 $Z$ $Z$ ），都能设计出一套游戏规则。
- 对于 $Y$ 里的人，无论他们怎么努力，几乎永远赢不了（概率为 0）。
- 对于 $Z$ 里的人，只要他们玩得够久，几乎肯定能赢（概率为 1）。
难点：以前大家以为只要规则是“单调”的（比如随着数字变大，要求越来越宽松或越来越严格）就能做到。但作者发现，必须打破常规，设计一些忽松忽紧、非常不规则的规则，才能同时满足这两种截然不同的结果。

2. 新工具：实数“余数系统”

为了设计这套规则，作者发明了一个新玩具，叫**“实数余数系统”**。

传统玩法：以前我们处理余数就像处理钟表。比如“除以 12 余 3"，这很整齐。
新玩法：作者允许余数变成任意实数，而且允许这个“余数区间”有一定的宽度（就像钟表上的刻度变粗了，变成了一个模糊的带子）。
罗杰斯定理的升级版：作者证明了一个惊人的事实：无论你怎么移动这些模糊的带子（改变余数），它们覆盖的总面积，永远不会比把它们整齐排列（余数为 0）时覆盖的面积小。
- 比喻：就像你在地板上铺地毯。无论你把地毯怎么歪歪扭扭地铺，只要地毯的总长度和宽度不变，它们覆盖地面的总面积，最少也就是“整齐铺”时的大小。这给了作者一个保底的安全网。

3. 关键资源：Bohr 集合里的“素数宝藏”

为了构造那些不规则的规则，作者需要大量的素数（像 2, 3, 5, 7, 11... 这样只能被 1 和自身整除的数字）。

Bohr 集合：这是一个数学概念，可以想象成在数字宇宙中划定的一些“特殊区域”。这些区域里的数字有一些特殊的周期性。
作者的发现：作者证明了，在这些特殊的“区域”里，素数依然像星星一样密集。
- 素数定理的推广：以前我们知道素数在普通的等差数列（比如 3, 6, 9...）里分布有规律。作者证明了，即使在那些更复杂、更奇怪的“特殊区域”（Bohr 集合）里，素数依然分布得井井有条，数量足够多。
- 均匀分布：作者还证明了，如果你沿着这些特殊区域里的素数走，它们的位置在圆周上会像撒胡椒面一样均匀分布，不会扎堆。

4. 最终成果：完美的“分岔路口”

有了上述工具，作者终于构建出了那个神奇的函数 $\psi$ ：

他们利用Bohr 集合里的素数作为“砖块”。
利用实数余数系统来确保这些砖块铺出来的路，对 $Y$ 组的人来说是“死胡同”（几乎走不通）。
利用素数的均匀分布来确保对 $Z$ 组的人来说，这条路是“康庄大道”（几乎肯定能走到）。

附录的小插曲：关于“倒数和”的谜题

文章最后还有一个附录，由 Manuel Hauke 撰写，解决了一个关于**“数字倒数和”**的谜题。

问题：如果你有一大堆数字（密度很高），能不能从中挑出一部分，让它们的倒数加起来无穷大，而且这些数字之间没有太大的“共同因子”（互不干扰）？
答案：Hauke 发现，并不是所有高密度数字集合都能做到这一点。只有那些包含“素数倍数”的集合才行。这就像说，如果你想让一群人的声音汇聚成巨大的噪音，他们必须都来自同一个“家族”（素数家族），否则声音就会互相抵消。

总结

这篇论文就像是一场精密的魔术表演：

魔术师（作者）利用素数（最基础的数字积木）和Bohr 集合（特殊的舞台区域）。
通过实数余数系统（一种新的铺路技巧）。
成功地在同一个数字世界里，为不同的观众（ $Y$ 和 $Z$ ）设计了完全不同的命运：一个注定失败，一个注定成功。

这不仅解决了困扰数学界几十年的一个猜想，还展示了数学中“混乱”与“秩序”之间精妙的平衡。

Each language version is independently generated for its own context, not a direct translation.

这篇论文题为《Duffin–Schaeffer 示例、实剩余系与 Bohr 集素数》（Duffin–Schaeffer Examples, Real Residue Systems, and Bohr-Set Primes），由 Stefan M. Hesseling 和 Felipe A. Ramírez 撰写，并附有 Manuel Hauke 的附录。

以下是对该论文的详细技术总结：

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

核心问题：
论文旨在解决非齐次 Duffin–Schaeffer 猜想（Inhomogeneous Duffin–Schaeffer Conjecture）中的反例构造问题。

背景： 经典的 Khintchine 定理指出，对于单调递减函数 $\psi$ ，集合 $W(\psi, y) = \{x \in [0,1] : \|qx - y\| < \psi(q) \text{ i.o.}\}$ 的测度取决于级数 $\sum \psi(q)$ 的敛散性。Duffin 和 Schaeffer (1941) 证明了单调性条件不可省略，即存在 $\sum \psi(q)$ 发散但测度为 0 的反例。
具体挑战： 作者之前的工作 [12] 表明，对于任意可数集 $Y \subseteq \mathbb{R}$ ，可以构造 $\psi$ 使得对所有 $y \in Y$ ，测度为 0；若 $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$ 是另一个可数集，则存在 $\psi$ 使得对所有 $z \in Z$ ，测度为 1。然而，之前的证明依赖于一个未证明的猜想（关于覆盖系统的动力学陈述）。
本文目标： 无条件地证明这一结论，即构造一个函数 $\psi$ ，使其在指定的可数集 $Y$ 上表现为“零测度”，而在指定的可数集 $Z$ 上表现为“全测度”。

2. 方法论 (Methodology)

论文采用了构造性证明方法，结合了数论、遍历理论和组合数学的工具：

构造策略：
- 函数 $\psi$ 的支撑集（support）被构造为一系列整数块的并集。
- 这些块由 Bohr 集（Bohr sets）的元素乘积构成。Bohr 集定义为 $N_v(y, \epsilon) = \{n \in \mathbb{N} : \|ny - v\| < \epsilon\}$ 。
- 利用 Bohr 集条件来确保在 $Y$ 中的参数下测度很小，而通过素数分布的性质来确保在 $Z$ 中的参数下测度很大。
实剩余系 (Real Residue Systems)：
- 作者引入了“实剩余系”的概念，推广了经典的整数剩余系。允许余数 $a_i$ 取任意实数值，且区间宽度为 $\epsilon$ 。
- 关键引理： 证明了 Rogers 定理在实剩余系中的推广（Theorem 1.2）。该定理指出，对于给定的模数 $n$ 和宽度 $\epsilon$ ，实剩余系的测度在余数 $a=0$ 时达到最小值。这为下界估计提供了基础。
Bohr 集中的素数分布：
- 为了控制测度下界，作者需要确保支撑集中包含足够多的素数。
- 作者将素数分布定理推广到 Bohr 集环境：
  - Theorem 1.3： 推广了 Siegel–Walfisz 素数定理，证明了 Bohr 集中素数的渐近分布规律。
  - Theorem 1.4： 推广了 Vinogradov 关于素数序列 $(pz)_{p \in P}$ 模 1 等分布的定理，证明了在 Bohr 集素数采样下的等分布性。
- 这些结果依赖于 Weyl 准则和遍历理论，特别是处理了轨道闭包（orbit closure）和连通分量。
组合附录 (Appendix A)：
- 由 Manuel Hauke 撰写，回答了一个关于正密度子集倒数和发散性的组合问题。
- 证明了并非所有正密度集都包含一个最大公约数有界且倒数和发散的子集，给出了反例构造。

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

主要定理 (Theorem 1.1)

无条件的 Duffin–Schaeffer 示例：
对于任意两个可数集 $Y, Z \subseteq \mathbb{R}$ ，且满足 $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$ ，存在一个函数 $\psi: \mathbb{N} \to \mathbb{R}_{\ge 0}$ 使得：

对于所有 $y \in Y$ ， $\mu(W(\psi, y)) = 0$ 。
对于所有 $z \in Z$ ， $\mu(W(\psi, z)) = 1$ 。
意义： 这是一个无条件的证明，去除了之前工作所需的动力学猜想，彻底解决了该构造性问题。

理论推广

实剩余系中的 Rogers 定理 (Theorem 1.2)：
- 证明了对于实余数系统，其测度在余数为 0 时最小。这是处理非整数余数情况下的关键工具，用于建立测度的下界。
Bohr 集中的素数定理 (Theorem 1.3)：
- 将素数定理推广到 Bohr 集 $N_v(w, \epsilon)$ 。
- 结论：如果 Bohr 集与轨道闭包的“互素部分”相交非空，则其中的素数数量趋于无穷，且满足 $\sim \frac{X}{\log X}$ 的渐近公式（系数由 Haar 测度决定）。
Bohr 集素数的等分布性 (Theorem 1.4)：
- 推广了 Vinogradov 定理。如果 $z$ 与 Bohr 集参数 $y$ 在有理数域上线性无关，则序列 $(pz)_{p \in P \cap N_v(y, \epsilon)}$ 模 1 是等分布的。

附录结果 (Theorem A.1 & Corollary A.2)

刻画了包含“最大公约数有界且倒数和发散”子集的整数集 $A$ 的充要条件： $A$ 必须包含形如 $n_0 P$ 的集合，其中 $P$ 是倒数和发散的素数子集。
构造了一个密度为 1 的集合 $A$ ，它不包含任何满足上述条件的子集，从而否定了问题 1.7 的普遍性。

4. 技术细节与证明逻辑

证明 Theorem 1.1 的概要：
1. 将 $Y$ 和 $Z$ 枚举为序列。
2. 通过归纳构造 $\psi$ 的支撑集块 $S_{k, \ell}$ 。
3. 利用 Proposition 2.1：对于给定的 $y_1, \dots, y_k$ 和 $z$ ，存在一个无平方因子整数 $P$ （由 Bohr 集中的素数乘积构成），使得在 $y_i$ 处的覆盖测度很小（ $< 2\epsilon$ ），而在 $z$ 处的覆盖测度很大（ $\ge 1/3$ ）。
4. 利用 Theorem 1.2（实剩余系测度下界）和 Theorem 1.3/1.4（Bohr 集素数分布）来证明 Proposition 2.1 中的测度估计。
5. 利用 Borel-Cantelli 引理证明 $Y$ 中元素的零测度，利用 Erdős–Turán 引理和混合性（mixing）证明 $Z$ 中元素的全测度。

5. 意义与影响 (Significance)

解决长期问题： 该论文无条件地解决了非齐次 Duffin–Schaeffer 反例构造中的关键障碍，消除了对未证明猜想的依赖，完善了丢番图逼近理论中的这一重要章节。
新工具的开发： 引入了“实剩余系”并证明了其测度性质，为处理非整数参数下的覆盖问题提供了新的数学框架。
数论与动力学的交叉： 将素数分布理论（Siegel–Walfisz, Vinogradov）从算术级数成功推广到更复杂的 Bohr 集环境，展示了遍历理论在解析数论中的强大应用。
组合数学的补充： 附录部分对正密度集的结构给出了深刻的刻画，澄清了关于倒数和发散性的误解。

综上所述，这篇论文通过结合解析数论、遍历理论和组合数学，不仅解决了一个具体的反例构造问题，还发展了一套处理实参数下 Diophantine 逼近问题的通用工具，具有重要的理论价值。