A Fixed-Prime Criterion for Reciprocals in Missing-Digit Sets

本文通过建立缺失数字集中有理数分母 $p$-进赋值的结构性上界，推广了 Lin-Wu-Yang 关于阶乘倒数的关键步骤，并据此提出了针对超阶乘、多项式乘积及斐波那契数乘积等序列倒数在缺失数字集中有限性的有效判别准则。

要点

这篇论文听起来非常高深，充满了数学术语，但我们可以用一个生动的故事和比喻来拆解它的核心思想。

想象一下，你正在玩一个**“数字寻宝游戏”**。

1. 游戏背景：缺失数字的迷宫

首先，我们要定义一个特殊的“迷宫”，数学家称之为**“缺失数字集”**（Missing-Digit Set）。

• 规则：假设我们使用三进制（就像只有 0、1、2 三种颜色的积木）。在这个迷宫里，我们禁止使用数字"1"。
• 结果：所有由 0 和 2 组成的数字（比如 $0.20202...$）都安全地待在迷宫里。而一旦出现了"1"（比如$0.1...$），你就被“踢”出了迷宫。
• 著名的例子：这就是著名的康托尔集（Cantor Set），一个像瑞士奶酪一样被挖空了很多部分的数学结构。

2. 挑战：寻找“漏网之鱼”

现在，我们要在这个迷宫里寻找一种特殊的宝藏：分数的倒数。
具体来说，我们要看像 $\frac{1}{n!}$（1 除以阶乘）、$\frac{1}{F_n}$（1 除以斐波那契数）或者 $\frac{1}{\text{超级阶乘}}$ 这样的数字，它们掉进这个“缺失数字迷宫”的概率有多大？

• 直觉：这些数字的分母（$n!$ 等）长得非常快，它们的小数展开（在三进制下）看起来应该非常随机、混乱。
• 问题：在这么混乱的数字中，会不会恰好有一些数字，它们的三进制表示里完全碰巧没有"1"？如果有，有多少个？

3. 核心发现：数学的“安检门”

作者 Scott Duke Kominers 发现了一个惊人的规律：这些数字几乎不可能长期留在迷宫里。

他发明了一个**“固定素数安检门”**（Fixed-Prime Criterion）。

比喻：分母里的“重量”与“周期”

想象每个分数 $\frac{1}{Q}$ 都有一个分母 $Q$。

• 重量（$p$-adic 估值）：分母里包含某个特定素数（比如 5）的“重量”有多大？如果分母是 $5^{100}$，那它的重量就非常大。
• 周期（阶）：当你把分数写成三进制小数时，它会开始循环。这个循环的长度（周期）取决于分母的性质。

作者的发现是：
如果你把一个分数放进“缺失数字迷宫”，它的分母必须满足一个极其苛刻的条件：

分母里那个特定素数的“重量”，不能超过它产生的“循环周期”所允许的范围。

这就好比你试图把一个巨大的铁球（分母里巨大的素数幂）塞进一个小盒子（由循环周期决定的限制）里。

• 如果铁球太大，盒子就装不下，分数就会被“弹”出迷宫（即不属于缺失数字集）。
• 作者证明，对于像阶乘（$n!$）、斐波那契数乘积这样增长极快的序列，分母里的“重量”增长得太快了，而“盒子”的大小（由循环周期决定）增长得太慢了。
• 结论：很快，铁球就会大到装不进盒子。因此，只有有限个这样的分数能留在迷宫里。

4. 为什么这篇论文很厉害？（两个层面的突破）

第一层：通用的“万能钥匙”

以前的研究（如 Lin, Wu, Yang）主要盯着“阶乘”看，用了一种特定的方法。
作者把这种方法提炼成了一个通用的公式。不管你的分母是阶乘、超级阶乘、多项式乘积，还是斐波那契数的乘积，只要它们的增长速度够快，这个“安检门”就能把绝大多数数字挡在门外。

• 比喻：以前大家是用一把钥匙开一扇门，现在作者造了一把万能钥匙，能打开所有这类“缺失数字迷宫”的大门。

第二层：更聪明的“安检员”（结构 vs. 粗糙）

这是论文最精彩的部分。
通常，数学家会看分母里最大的那个素数有多大（就像只看铁球里最重的那块石头）。
但在某些特殊情况下（比如分母是 $(3^k - 1)$ 的乘积），最大的素数可能大得离谱（像一座山），但作者发现，如果我们不看“最大的石头”，而是看整个结构的循环规律（就像看铁球内部的结构），我们会发现限制其实很宽松。

• 比喻：
  • 粗糙的方法：看到分母里有个巨大的素数，就大喊“这肯定装不进去！”，结果误判了，因为那个大素数虽然大，但它产生的循环规律很特殊，反而能装下。
  • 作者的方法：作者不仅看石头的大小，还看石头的纹理和结构。他发现，即使石头很大，只要纹理（循环结构）合适，它依然可能装进盒子。
  • 结果：作者的方法能处理那些连“最大素数法”都搞不定的复杂情况。

5. 总结：我们得到了什么？

1. 有限性：对于很多快速增长的数列（阶乘、斐波那契等），它们的倒数中，只有有限个能躲进“缺失数字迷宫”。
2. 具体名单：作者不仅证明了“只有有限个”，还给出了具体的计算方法，可以算出到底是哪几个（比如在三进制康托尔集中，阶乘的倒数只有 $1/1!$ 和 $1/5!$ 两个）。
3. 新工具：他提供了一个更强大、更精细的数学工具，用来判断复杂的数字结构是否属于特定的集合。

一句话总结：
这篇论文就像是在告诉我们要去一个“禁止出现数字 1"的迷宫寻宝，作者发明了一套精密的探测仪，证明那些长得太快的数字（如阶乘倒数）因为“太重”或“结构太特殊”，最终都会撞墙，只有极少数幸运儿能留在里面。而且，这套探测仪比以前的更灵敏，能发现以前看不见的细节。

技术摘要

这是一份关于 Scott Duke Kominers 论文《缺失数字集中倒数的固定素数判据》（A FIXED-PRIME CRITERION FOR RECIPROCALS IN MISSING-DIGIT SETS）的详细技术总结。

1. 研究问题 (Problem)

该论文旨在解决缺失数字集（Missing-Digit Sets）与有理数倒数序列交集的有限性问题。

• 缺失数字集定义：给定基数 $m \ge 3$ 和数字子集 $D \subset \{0, 1, \dots, m-1\}$（其中 $1 < \#D < m$），缺失数字集 $K_{m,D}$ 定义为所有在 $m$ 进制展开中仅包含 $D$ 中数字的实数集合：
  $$K_{m,D} := \left\{ \sum_{j=1}^{\infty} \frac{a_j}{m^j} : a_j \in D \right\}$$
• 核心问题：对于给定的整数序列 $\{a_n\}_{n \ge 1}$，研究集合 $\left\{ \frac{1}{a_n} : n \in \mathbb{N} \right\} \cap K_{m,D}$ 是否为有限集。
• 背景：Lin, Wu 和 Yang (2026) 最近证明了对于阶乘序列 $a_n = n!$，该交集是有限的，并精确计算了在三进制康托尔集（Cantor set）中的交集。然而，他们的方法依赖于阶乘的具体结构，缺乏通用性。本文试图提取其背后的算术机制，建立一个适用于更广泛序列的通用判据。

2. 方法论 (Methodology)

论文的核心思想是将 Lin-Wu-Yang 的证明步骤抽象化，分离为两个独立的算术步骤，并建立一个新的分母障碍（Denominator Obstruction）。

2.1 关键工具

1. Korobov 的数字分布估计：
   利用 Korobov (1972) 关于纯周期 $m$ 进制展开中数字分布的估计。如果分数 $r/Q$ 属于 $K_{m,D}$，其 $m$ 进制展开的周期长度 $\text{ord}_Q(m)$ 受到限制。具体而言，周期长度与分母的无平方因子核（Radical, $\text{rad}(Q)$）的阶有关：
   $$\text{ord}_Q(m) \le c_{m,D} \cdot \text{ord}_{\text{rad}(Q)}(m)$$
   其中 $c_{m,D}$ 是一个仅依赖于 $m$ 和 $D$ 的常数。

2. 素数幂下的阶提升公式 (Order-lifting formulas)：
   利用标准的数论引理（Legendre 公式的变体及 $p$-进估值性质），分析当分母 $Q$ 包含固定素数 $p_0$ 的高次幂时，$\text{ord}_Q(m)$ 的 $p_0$-进估值 $\nu_{p_0}(\text{ord}_Q(m))$ 如何增长。

   • 对于奇素数 $p_0$ 和 $p_0 \nmid m$，若 $\nu_{p_0}(Q) = k$，则 $\nu_{p_0}(\text{ord}_Q(m)) \ge k - t$，其中 $t$ 是仅依赖于 $m, p_0$ 的常数。
   • 对于 $p_0=2$ 也有类似的提升公式。

2.2 核心逻辑链条

1. 约化：将任意分母 $A$ 约化为与 $m$ 互质的部分 $Q = A / (A, m^\infty)$。
2. 结构障碍：如果 $r/Q \in K_{m,D}$，则 $Q$ 中固定素数 $p_0$ 的幂次 $\nu_{p_0}(Q)$ 必须受到 $\text{ord}_{\text{rad}(Q)}(m)$ 的 $p_0$-进估值的限制。
   具体不等式为：
   $$\nu_{p_0}(Q) \le t + \nu_{p_0}(\text{ord}_{\text{rad}(Q)}(m)) + \log_{p_0}(c_{m,D})$$
   这意味着，如果序列中分母的 $p_0$-进估值增长过快，超过了由 $\text{rad}(Q)$ 决定的阶的增长速度，则该倒数不可能属于缺失数字集。
3. 序列判据：将上述单分母障碍转化为序列判据。如果对于序列 $\{a_n\}$，存在固定素数 $p_0 \nmid m$，使得 $\nu_{p_0}(Q_n)$ 的增长速度严格快于 $\nu_{p_0}(\text{ord}_{\text{rad}(Q_n)}(m))$ 的增长速度，则交集有限。

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

3.1 理论贡献

• 通用判据 (Theorem 3.5)：提出了一个基于固定素数的结构性判据。该判据不依赖于序列的具体形式（如阶乘），而是依赖于两个函数 $\alpha(n)$（$p_0$-进估值下界）和 $\gamma(n)$（$\text{ord}_{\text{rad}(Q_n)}(m)$ 的 $p_0$-进估值上界）的比较。
• 最大素因子形式的推论 (Corollary 3.6)：提供了一个更易于应用的简化版本，仅使用分母的最大素因子 $P^+(Q_n)$ 来界定。这涵盖了大多数自然例子（如阶乘、超阶乘）。
• 结构性判据的优越性：证明了在某些情况下，完整的结构性判据（基于 $\text{ord}_{\text{rad}(Q)}$）比基于最大素因子的粗略判据更有效。

3.2 具体应用结果

论文将判据应用于以下序列，证明了它们与缺失数字集的交集均为有限集：

1. 阶乘 (Factorials)：$a_n = n!$。
   • 结果：恢复了 Lin-Wu-Yang 的结果，并给出了更精确的截断值（例如在三进制康托尔集中，仅 $1/1!$ 和 $1/5!$ 属于该集合）。
2. 超阶乘 (Superfactorials)：$a_n = \prod_{k=1}^n k!$。
   • 结果：证明了交集有限，并精确计算了三进制康托尔集中的元素为 $\{1, 1/12\}$。
3. 多项式值的乘积：$a_n = \prod_{k=1}^n f(k)$，其中 $f(x)$ 为非零多项式。
   • 结果：利用 Schur 定理找到合适的素数 $p_0$，证明了有限性。例如 $f(x)=x^2+1$ 时，在三进制康托尔集中仅 $1/10$ 属于该集合。
4. 斐波那契数列的乘积：$a_n = \prod_{k=1}^n F_k$。
   • 结果：这是一个临界案例，因为 $F_k$ 的素因子可能指数级增长。利用 $p_0=2$ 的估值性质，证明了交集有限。在三进制康托尔集中，元素为 $\{1, 1/30\}$。
5. 指数型乘积 (结构性优势案例)：$a_n = \prod_{k=1}^n (m^k - 1)$。
   • 关键发现：对于此序列，最大素因子 $P^+(Q_n)$ 呈指数级增长，导致基于最大素因子的粗略判据失效（无法证明有限性）。
   • 然而，利用完整的结构性判据，发现 $\text{ord}_{\text{rad}(Q_n)}(m)$ 的 $p_0$-进估值仅是对数级增长（$\approx \log n$），而 $\nu_{p_0}(Q_n)$ 是线性增长。因此，结构性判据成功证明了有限性，而粗略判据失败。这突显了使用 $\text{rad}(Q)$ 而非 $P^+(Q)$ 的重要性。

4. 局限性与非示例 (Limitations)

论文也指出了该方法的局限性，即对于某些序列，固定素数的估值增长不够快：

• 素数阶乘 (Primorials)：$a_n = p_n\#$。由于 $Q_n$ 是无平方因子数，任何固定素数的估值 $\nu_{p_0}(Q_n) \le 1$，无法超过结构障碍中的常数项。
• 中心二项式系数：$a_n = \binom{2n}{n}$。沿着子序列 $n=p_0^k$，其 $p_0$-进估值保持有界（为 0 或 1），同样无法满足判据条件。

5. 意义 (Significance)

1. 方法论的抽象与推广：成功将针对阶乘的特定证明转化为一个通用的算术框架，使得处理各种倒数序列（多项式、递推数列等）成为可能。
2. 揭示了算术结构的深层联系：阐明了缺失数字集的限制本质上是对分母**无平方因子核（Radical）**的阶（Order）的限制，而不仅仅是分母的大小或最大素因子。
3. 解决了临界案例：通过 $m^k-1$ 的例子，展示了传统基于最大素因子的方法在指数增长序列中的失效，并证明了基于 $\text{ord}_{\text{rad}(Q)}$ 的精细分析是解决此类问题的关键。
4. 计算有效性：论文不仅提供了理论证明，还给出了具体的截断值（Cutoff）和验证算法（基于长除法模拟），使得对于具体实例（如康托尔集）可以精确计算交集。

综上所述，该论文通过引入“固定素数判据”和“分母障碍”概念，极大地扩展了缺失数字集与有理数倒数交集问题的研究范围，并揭示了 $p$-进估值与乘法阶之间深刻的算术约束关系。