A Normality Conjecture on Rational Base Number Systems

这是一份关于论文《有理数基数制上的正规性猜想》（A Normality Conjecture on Rational Base Number Systems）的详细技术总结。

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

有理数基数制 (Rational Base Number Systems)
该研究基于 Akiyama、Frougny 和 Sakarovitch (2008) 提出的有理数基数制系统。给定互质的正整数 $p > q$，非负整数 $n$ 在基 $p/q$ 下的展开式 $rep_{p/q}(n)$ 是一个有限单词，满足特定的求和公式。当 $q=1$ 时，退化为经典的整数基系统；当 $q \neq 1$ 时，该系统表现出极其复杂的行为（例如，语言 $L_{p/q}$ 不是上下文无关的）。

核心问题：最小与最大单词的正规性
在 $p/q$ 基下，自然涌现出两类无限单词：

• 最小单词 (Minimal words, $w_{min}$)：以某个整数展开 $u$ 为种子，通过字典序最小化后续扩展得到的无限单词。
• 最大单词 (Maximal words, $w_{max}$)：以 $u$ 为种子，通过字典序最大化后续扩展得到的无限单词。

猜想提出
作者提出了一个核心猜想（Conjecture 1.2）：

对于所有互质的 $p > q \ge 1$，以及所有非空整数展开 $u$，最小单词 $w_{min}^{p/q}(u)$ 在子字母表 $\{0, \dots, q-1\}$ 上是正规 (Normal) 的；最大单词 $w_{max}^{p/q}(u)$ 在子字母表 $\{p-q, \dots, p-1\}$ 上是正规的。

注：正规性意味着对于任意长度 $l$，所有可能的子单词在极限频率下均匀分布（概率为 $1/d^l$，其中 $d$ 为字母表大小）。

2. 方法论 (Methodology)

论文采用了理论证明与大规模数值实验相结合的方法。

A. 理论推导

1. 等价性证明：

   • 证明了正规性猜想（Conjecture 1.2）等价于一个关于迭代算子 $T_{p/q}(x) = \lceil \frac{p}{q}x \rceil$ 的等分布猜想（Conjecture 1.6）。即：对于任意 $n$，序列 $(T_{p/q}^l(n))_{l \in \mathbb{N}}$ 在模 $q^k$ 的剩余类中是等分布的。
   • 证明了最小单词与最大单词通过特定的字母替换是相互关联的，因此只需研究最小单词。

2. 逻辑蕴含关系：

   • 证明了如果正规性猜想成立，则能直接推导出四个长期未解决的猜想：
     • Mahler 的 Z-数猜想 (1968)：不存在正实数 $x$，使得序列 $\{x(p/q)^n\}$ 的分数部分始终落在 $[0, 1/q)$ 区间内（当 $p < q^2$ 时）。
     • Akiyama 的三重展开猜想 (2008)：在 $p/q$ 基下，没有实数拥有三个不同的展开式。
     • Dubickas 和 Mossinghoff 的"4/3 问题” (2009)：关于特定整数迭代映射的终止性问题。
     • Collatz 猜想：虽然未直接证明，但指出了 $3/2$ 基下的最小/最大单词与 Collatz 映射轨迹在组合性质上的深刻联系。

B. 数值实验设计

为了验证猜想，作者进行了大规模的数值实验，主要关注两个指标：

1. 丰富度阈值 (Richness Threshold, $rt_w(l)$)：
   • 定义：在单词 $w$ 的前缀中，首次包含所有长度为 $l$ 的子单词所需的最小长度。
   • 目的：正规性要求单词是“丰富”的（即包含所有可能的子单词）。实验计算了最小单词的 $rt_w(l)$，并与随机单词、$\pi$ 和 $\sqrt{2}$ 的展开式进行对比。
2. 均匀性偏差 (Deviation from Uniformity, $D_{w,l}(n)$)：
   • 定义：长度为 $l$ 的子单词在长度为 $n$ 的前缀中的出现频率与均匀分布 $1/q^l$ 之间的最大偏差。
   • 目的：正规性要求当 $n \to \infty$ 时，偏差趋于 0。

实验规模：

• 研究了 139 个最小单词（长度达 $10^6$）和 40,000 个最小单词（长度达 $10^5$）。
• 覆盖了多种基 $p/q$（如 $3/2, 7/2, 8/3, 11/3, 5/3, 6/5$ 等），包括 $p < q^2$ 和 $p > q^2$ 的情况。
• 使用了 Python 实现，涉及大整数运算（Modified Division Algorithm）。

3. 关键贡献 (Key Contributions)

1. 提出并形式化正规性猜想：首次明确提出了有理数基数制中最小/最大单词在特定子字母表上的正规性猜想。
2. 建立猜想间的逻辑桥梁：
   • 证明了正规性猜想 $\iff$ 迭代算子 $T_{p/q}$ 的等分布猜想。
   • 证明了正规性猜想 $\implies$ Mahler 的 Z-数不存在性、Akiyama 的三重展开不存在性、以及 Dubickas-Mossinghoff 的终止性猜想。这表明正规性猜想是一个比这些著名猜想更强的命题。
3. 提供强有力的数值证据：
   • 通过 40,000 多个样本的实验，发现最小单词的丰富度阈值和均匀性偏差的统计分布与随机单词几乎无法区分。
   • 发现最小单词的行为与 Champernowne 词（连接所有整数）或 De Bruijn 词（每个子词恰好出现一次）显著不同，后者具有更规则的偏差模式，而最小单词表现出类似随机过程的混沌特性。

4. 主要结果 (Results)

• 丰富度分析：

  • 在测试的所有最小单词中，直到长度 $10^6$ 的前缀，所有长度为 $l$ 的子单词（直到 $l \approx 16-17$）都出现了。
  • 缺失的子单词数量与随机单词的统计分布高度一致（例如，在 $l=17$ 时，最小单词缺失约 60-64 个子词，与随机单词的分布区间重叠）。
  • 丰富度阈值的增长曲线 $rt_w(l)$ 符合随机单词的渐近行为 $q^l \log(q^l)$。

• 偏差分析：

  • 最小单词的均匀性偏差 $D_{w,l}(n)$ 随着 $n$ 的增加而减小，其衰减率与随机序列的理论界限 $O(\sqrt{\log \log n / n})$ 相符。
  • 偏差的分布直方图（在不同 $n$ 和 $l$ 下）与随机单词的分布呈现高度重叠的泊松状形状。

• 理论推论验证：

  • 数值结果强烈支持正规性猜想，从而间接支持了 Mahler、Akiyama 等人的猜想。
  • 特别是，实验证实了最小单词中确实出现了字母 '0'（这是避免三重展开的关键），且分布均匀。

5. 意义与影响 (Significance)

1. 解决长期悬案的可能性：如果该猜想被证明为真，将直接解决 Mahler 关于 Z-数（Z-numbers）的著名猜想，这是数论中一个困扰学界数十年的难题。
2. 深化对有理数基数制的理解：揭示了 $q \neq 1$ 时，有理数基数制生成的无限单词具有极高的随机性和正规性，这与直觉上认为的“确定性算法生成的序列”形成对比，展示了确定性系统产生伪随机性的能力。
3. 连接不同数学领域：该工作将数论（Z-数）、组合数学（单词复杂度、正规性）、动力系统（迭代映射）和概率论（随机性测试）紧密联系在一起。
4. 为 Collatz 猜想提供新视角：虽然未直接证明 Collatz 猜想，但通过 $3/2$ 基下的最小单词与 Collatz 轨迹的相似性，为研究 Collatz 问题提供了新的组合数学工具和视角。

总结：
这篇论文通过严谨的理论推导和详尽的大规模数值实验，提出了一个关于有理数基数制中无限单词正规性的强猜想。该猜想不仅自身具有深刻的数学意义，而且作为“母猜想”，能够推导出多个著名的未解难题。数值证据表明，这些由确定性算法生成的单词在统计特性上与真正的随机序列无异，这为理解复杂数制系统的内在随机性提供了重要线索。