Abelian-normal decimal expansions

本文引入了基于子词等价类的“阿贝尔正规数”概念，构造了一个非正规的类 Champernowne 常数 $D_{10}$ 并证明其在特定加权函数下具有阿贝尔正规性，最后提出了两个相关开放问题。

要点

这篇文章介绍了一个非常有趣的数学概念，我们可以把它想象成是在给数字“排队”和“重新洗牌”。

为了让你轻松理解，我们把这篇文章的核心内容拆解成几个简单的故事：

1. 什么是“正规数”（Normal Number）？

想象你有一个巨大的、无限长的数字串，比如 0.123456789101112...（这就是著名的钱珀努恩常数 $C_{10}$，它是把 1, 2, 3... 所有整数连在一起写出来的）。

• 正规数就像是一个完美的随机抽奖机。
• 如果你在这个数字串里找"1"，它出现的频率大约是 1/10。
• 如果你找"12"，频率大约是 1/100。
• 如果你找"123"，频率大约是 1/1000。
• 关键点：无论你看多长，数字出现的概率都完全符合“随机”的预期。没有哪个数字或组合会特别偏爱，也不会特别被冷落。

2. 什么是“阿贝尔正规数”（Abelian-normal Number）？

这是作者约翰·坎贝尔（John Campbell）提出的新概念。

• 普通正规数讲究顺序：比如"12"和"21"是两回事。在随机机器里，"12"出现的次数应该和"21"一样多，但它们必须按顺序出现才算数。
• 阿贝尔正规数不讲究顺序，只讲究成分。
  • 比喻：想象你在玩乐高积木。
  • 普通正规数要求：你必须按“红块 - 蓝块”的顺序拼，才算拼好了。
  • 阿贝尔正规数要求：只要你的手里有“一个红块和一个蓝块”，不管你是先拿红的还是先拿蓝的（红蓝 或 蓝红），都算你拼好了。
  • 在数学上，这叫**“阿贝尔等价”**（Abelian equivalence）：只要字母（数字）的种类和数量一样，顺序打乱了也没关系，它们属于同一类。

3. 作者做了什么？（核心故事）

作者发现，虽然所有的“正规数”肯定也是“阿贝尔正规数”（因为如果顺序都随机，那打乱顺序肯定也随机），但反过来不一定成立。

他问了一个大胆的问题：能不能造出一个数字串，它“打乱顺序”后看起来很随机（阿贝尔正规），但“按顺序看”却完全不随机（不是正规数）？

他的做法：

1. 他拿来了那个著名的“完美随机”数字串 $C_{10}$（123456...）。
2. 他找到里面所有的二进制片段（只包含 0 和 1 的部分）。
3. 他把这些片段里的 0 和 1 重新排序，全部排成"000...111..."的形式（比如把 10100 变成 00011）。
4. 这样得到的新数字串叫 $D_{10}$。

结果很有趣：

• $D_{10}$ 不是正规数：因为作者故意把 10 这种组合给“消灭”了（在 $D_{10}$ 里，1 后面永远跟着 1，或者 0 后面跟着 0，很难出现 10 这种跳跃）。所以，如果你按顺序找 10，你会发现它几乎不存在。这违反了“正规数”的规则。
• $D_{10}$ 却是阿贝尔正规数：虽然顺序乱了，但如果你只数“有多少个 0"和“有多少个 1"，你会发现它们的比例依然是完美的 50:50。就像你把一袋混合了红蓝弹珠的袋子摇匀了，虽然你不再按“红蓝红蓝”的顺序拿，但红蓝的比例依然是对的。

4. 作者怎么证明的？（加权魔法）

为了证明 $D_{10}$ 是“阿贝尔正规”的，作者发明了一个**“加权计数器”**（Weighting Function）。

• 比喻：想象你在统计班级里有多少种“组合”。
  • 在普通统计里，"红蓝"和"蓝红"算两次。
  • 在阿贝尔统计里，"红蓝"和"蓝红"其实是一回事（都是 1 红 1 蓝）。
  • 因为 $D_{10}$ 把顺序打乱了，某些组合出现的次数会变多或变少。作者设计了一个复杂的数学公式（权重），用来**“修正”**这些数量的偏差。
  • 只要加上这个“修正系数”，$D_{10}$ 里的数字分布就完美符合阿贝尔正规的标准了。

5. 这篇文章有什么用？

• 打破直觉：它告诉我们，“随机”有不同的层次。你可以让数字在“成分”上随机，但在“顺序”上完全死板。
• 新工具：它引入了“阿贝尔复杂度”这个概念，这是计算机科学和组合数学里的热门话题，现在被用来研究数字的随机性。
• 未解之谜：文章最后提出了两个问题：
  1. 这个新数字 $D_{10}$ 是不是“超越数”（像 $\pi$ 或 $e$ 一样，不能写成简单分数）？
  2. 是否存在一种“纯粹”的阿贝尔正规数（不需要复杂的权重修正，天然就是阿贝尔正规但不是正规数）？

总结

这就好比作者造了一个**“乱序但平衡”的数字世界**。
在这个世界里，如果你按顺序看，数字排列得乱七八糟，甚至有点“作弊”（比如没有 10）；但如果你把数字打散，只看每种数字有多少个，它们依然保持着完美的平衡和公平。

这篇论文就是给这个新世界的规则（阿贝尔正规性）立下了法律，并造出了第一个完美的“居民”（$D_{10}$）。

技术摘要

以下是基于 John M. Campbell 的论文《Abelian-normal decimal expansions》（阿贝尔正规小数展开）的详细技术总结：

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

背景：
正规数（Normal Number）的概念由 Borel 于 1909 年提出，指在给定进制 $B$ 下，所有长度为 $k$ 的数字块出现的频率趋于 $1/B^k$ 的实数。近年来，组合数学中的“词论”（Combinatorics on Words）领域引入了阿贝尔复杂度函数（Abelian complexity function），即统计长度相同的子词在忽略排列顺序（即阿贝尔等价类）下的出现次数。

核心问题：
现有的研究多关注保持正规性的选择规则（如算术级数子序列）或操作（如插入/删除数字）。然而，目前尚缺乏将“阿贝尔等价”概念引入正规数定义的理论框架。
本文旨在解决以下问题：

1. 如何定义一种新的数类，使其在“阿贝尔等价”意义下是正规的，但在传统意义下不是正规的？
2. 能否构造一个具体的常数（类似 Champernowne 常数），证明其具有这种“阿贝尔正规性”？

2. 方法论 (Methodology)

核心概念定义：

• 阿贝尔等价类： 两个子词如果互为排列（permutation），则属于同一阿贝尔等价类。
• 阿贝尔计数函数 $BE(\alpha, n)$： 统计前 $n$ 位数字中，子词 $E$ 及其所有排列出现的总次数。
• 加权函数 $W(E)$： 为了归一化阿贝尔计数，定义一个权重函数。对于传统正规数，权重通常为 $E$ 的排列总数（即多重集排列数 $\frac{\ell(E)!}{0_E! 1_E! \dots}$）。
• 阿贝尔正规数（Abelian-normal）： 若对于所有块 $E$，满足 $\lim_{n\to\infty} \frac{1}{W(E)} \frac{BE(\alpha, n)}{n} = \frac{1}{B^{\ell(E)}}$，则称 $\alpha$ 为阿贝尔正规数。

构造策略：
作者构造了一个新的常数 $D_{10}$，它是 Champernowne 常数 $C_{10}$（由 $0.123456789101112\dots$ 拼接而成）的变体。

• 变换规则： 识别 $C_{10}$ 小数展开中的最大二进制子词（maximal binary subword，即由 0 和 1 组成的连续片段）。
• 重排操作： 将每个最大二进制子词按字典序排序（即所有的 0 排在前面，所有的 1 排在后面）。例如，子串 110100 变为 000111。
• 结果： 得到新常数 $D_{10}$。由于排序操作破坏了原有的数字分布模式（例如消除了 10 这种模式），$D_{10}$ 被证明不是传统意义上的正规数。

证明方法：
为了证明 $D_{10}$ 是阿贝尔正规的，作者设计了一个特定的加权函数 $W$。

1. 分类讨论： 将子词分为三类：
   • 不含二进制数字（0 或 1）的子词。
   • 仅含单个二进制数字的子词。
   • 同时包含二进制和非二进制数字的混合子词。
2. 误差分析： 分析从 $C_{10}$ 到 $D_{10}$ 的映射 $\sigma$ 对子词计数的影响。
   • 对于不含二进制数字的子词，排列计数不变。
   • 对于混合子词，由于排序操作，某些排列在 $C_{10}$ 中出现但在 $D_{10}$ 中消失（或反之）。
3. 构造权重： 定义 $W(w)$ 不仅包含排列总数，还包含一个修正项。该修正项基于 $C_{10}$ 中因排序操作而“丢失”或“增加”的特定排列的渐近频率差（通过 $C_w$ 和 $D_w$ 函数量化）。
4. 极限验证： 利用 $C_{10}$ 的正规性，证明在修正后的权重 $W$ 下，$D_{10}$ 的阿贝尔计数频率收敛于理论值。

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

1. 提出新概念： 首次定义了阿贝尔正规数（Abelian-normal number），建立了正规数理论与词论中阿贝尔复杂度之间的桥梁。
2. 构造反例： 构造了一个具体的实数 $D_{10}$，证明了：
   • $D_{10}$ 不是传统正规数（因为它不包含某些特定模式的子词，如 10）。
   • $D_{10}$ 是阿贝尔正规数（在作者定义的特定加权函数 $W$ 下）。
3. 理论证明： 给出了 $D_{10}$ 阿贝尔正规性的严格数学证明。通过引入加权函数 $W$，成功抵消了因子词重排（排序）导致的计数偏差，使得在阿贝尔等价意义下，数字分布依然均匀。
4. 权重函数的创新： 提出了一种非平凡的加权函数，该函数不仅考虑子词本身的排列数，还考虑了由变换操作引起的特定子词出现频率的渐近偏差。

4. 结论与意义 (Significance)

• 理论扩展： 该研究扩展了正规数的定义域，表明“正规性”可以依赖于不同的等价关系（如排列等价）。这为研究数字序列的随机性提供了新的视角。
• 跨学科融合： 成功将组合词论（Combinatorics on Words）中的阿贝尔复杂度概念应用于数论中的正规数研究，展示了两个领域的深度交叉。
• 对 Champernowne 常数的新认识： 通过对 $C_{10}$ 进行局部重排构造 $D_{10}$，揭示了 Champernowne 常数在保持某种统计规律（阿贝尔意义下的均匀性）方面的鲁棒性，同时也展示了其结构在特定变换下的脆弱性（失去传统正规性）。
• 未来方向： 论文最后提出了两个开放性问题：
  1. 能否证明 $D_{10}$ 是超越数（Transcendental number）？（类比 Mahler 对 $C_{10}$ 的证明）。
  2. 是否存在一个“纯阿贝尔正规”（Purely Abelian-normal）但非正规的实数？（即使用最自然的权重函数，无需额外修正项的情况）。

总结：
本文通过构造一个基于 Champernowne 常数变体的新常数 $D_{10}$，并引入加权函数，成功证明了存在非正规但阿贝尔正规的实数。这项工作不仅丰富了正规数理论，也为理解数字序列在排列等价下的统计性质提供了新的数学工具。