On the decimal digits of $1/p$

基本信息

• 论文ID: 2510.07873
• 标题: On the decimal digits of $1/p$
• 作者: Kurt Girstmair (University of Innsbruck)
• 分类: math.NT (Number Theory)
• 发表时间: 2025年10月28日 (arXiv v4)
• 论文链接: https://arxiv.org/abs/2510.07873

摘要

设$p$是一个满足$p \equiv 3 \pmod{4}$且$p > 3$的素数，假设10在模$p$下的阶为$(p-1)/2$。则$1/p$的十进制周期长度为$(p-1)/2$。本文用两个虚二次数域的类数来表达该周期中每个数字$0,\ldots,9$的频率。文章还展示了该结果的类似情形，包括10是模$p$的原根的情况以及$1/p$的八进制数字的情况。

研究背景与动机

1. 问题背景: 自Girstmair在1994年首次建立$1/p$的数字与类数之间的联系以来，这一领域产生了众多研究。现有研究主要关注$1/p$或更一般的$m/p$（其中$m$是模$p$的二次剩余）的十进制数字分布。
2. 问题重要性: 理解素数倒数的数字分布不仅具有纯数学意义，还与代数数论中的类数理论密切相关。这种联系为计算大素数的数字频率提供了有效方法。
3. 现有局限性: 已知结果只能给出数字的平均值，即$\sum_{j=1}^{(p-1)/2} a_j = 9(p-1)/4 + 9h_1/2$，其中$h_1$是虚二次数域$\mathbb{Q}(\sqrt{-p})$的类数，但无法给出每个数字的具体频率。
4. 研究动机: 本文旨在精确确定周期中每个数字$0,\ldots,9$的频率，并用两个虚二次数域的类数来表达这些频率。

核心贡献

1. 主要定理: 提出了Theorem 1，给出了在特定条件下每个数字频率的精确公式，涉及两个类数$h_1$和$h_2$。
2. 扩展结果: 提供了10是原根情况下的类似结果（Theorem 2）和八进制数字的对应结果（Theorem 3）。
3. 计算优势: 为大素数（如$10^{15}$量级）的数字频率计算提供了有效方法，避免了直接计算的困难。
4. 理论深化: 首次在文献中给出涉及两个类数的数字分布结果。

方法详解

任务定义

给定素数$p \equiv 3 \pmod{4}$，$p > 3$，且10在模$p$下的阶为$(p-1)/2$，确定$m/p$（$m$为二次剩余）的十进制展开式中每个数字的频率。

核心方法

基本设置

对于$m/p$的十进制展开： $m/p = \sum_{j=1}^{\infty} a_j 10^{-j}$

其中$a_j \in \{0,\ldots,9\}$，序列$(a_1,\ldots,a_{(p-1)/2})$构成周期。

关键引理

Lemma 1: 设$\theta_b(k) = \frac{b(k)_p - (bk)_p}{p}$，则 $a_j = \theta_{10}(m \cdot 10^{j-1})$

Lemma 2: 基于Berndt的结果，给出了二次剩余和非剩余在特定区间内的分布差异。

主要定理

Theorem 1: 在上述设置下，对于$k \in \{0,\ldots,9\}$：

$n_k = \frac{1}{2}\left(\left\lfloor\frac{(k+1)p}{10}\right\rfloor - \left\lfloor\frac{kp}{10}\right\rfloor + \delta_k\right)$

$n_{9-k} = n_k - \delta_k, \quad k = 0,\ldots,4$

其中$\delta_k$的值依赖于$p \bmod 8$：

• 若$p \equiv 3 \pmod{8}$：
  • $\delta_0 = 0$
  • $\delta_1 = \delta_4 = 3h_1/2 - h_2/4$
  • $\delta_2 = -\delta_1$
  • $\delta_3 = 3h_1/2 + h_2/4$
• 若$p \equiv 7 \pmod{8}$：
  • $\delta_0 = h_1 - h_2/2$
  • $\delta_1 = h_2/4$
  • $\delta_2 = 3h_2/4$
  • $\delta_3 = \delta_4 = -\delta_1$

技术创新点

1. 区间分析法: 通过建立数字与特定区间内整数的对应关系，将数字频率问题转化为区间内二次剩余计数问题。
2. 类数表示: 利用Berndt的深刻结果，将二次剩余的分布差异用虚二次数域的类数表达。
3. 对称性利用: 巧妙利用$p-l$与$l$的二次剩余性质对偶关系，建立$n_k$与$n_{9-k}$的关系。

实验设置

验证案例

论文提供了几个具体的数值验证：

1. $p = 67$: $h_1 = 1$, $h_2 = 18$
   • $1/67 = 0.\overline{014925373134328358208955223880597}$
   • 理论预测的频率与实际计算完全吻合
2. $p = 79$: 展示了更一般情况下的应用
   • 涉及多个分数$1/79$, $9/79$, $2/79$的周期分析
3. $p = 47$: 原根情况的验证
   • 验证Theorem 2的正确性

理论分析

• 在广义黎曼假设下，满足条件的素数密度约为$A/2 = 0.186977\ldots$（其中$A$是Artin常数）
• 约37%的素数$p \equiv 3 \pmod{4}$满足10的阶为$(p-1)/2$的条件

实验结果

主要结果

1. 精确匹配: 所有数值验证都完美验证了理论公式的正确性
2. 计算效率: 对于大素数，使用类数计算频率比直接计算快得多
3. 分布规律: 揭示了数字频率的内在规律，如$p \equiv 3 \pmod{8}$时$n_3 > n_6$

扩展结果

1. 原根情况: Theorem 2处理了10是原根的情形，给出了奇偶位置数字的不同分布
2. 八进制情况: Theorem 3将结果推广到八进制展开，涉及$\mathbb{Q}(\sqrt{-2p})$的类数

相关工作

论文详细回顾了该领域的发展历程：

• Girstmair (1994)首次建立联系
• 后续研究包括Hirabayashi, Murty & Thangadurai, Mizuno等的工作
• 本文是首个涉及两个类数的结果

结论与讨论

主要结论

1. 成功建立了$1/p$数字频率与两个虚二次数域类数的精确关系
2. 提供了计算大素数数字分布的有效方法
3. 揭示了数字分布的深层数论结构

局限性

1. 仅适用于特定条件的素数（$p \equiv 3 \pmod{4}$且10的阶为$(p-1)/2$）
2. 对于$p \equiv 1 \pmod{4}$的情况，虽有公式但难以用类数解释
3. 依赖于类数的高效计算

未来方向

1. 扩展到更一般的素数情况
2. 研究其他进制下的类似结果
3. 探索与椭圆曲线等其他代数结构的联系

深度评价

优点

1. 理论深度: 将初等的数字分布问题与深刻的代数数论联系起来
2. 计算实用性: 为大素数的数字分布计算提供了实际可行的方法
3. 结果完整性: 不仅给出主要结果，还提供了多个扩展和类比
4. 验证充分: 通过多个具体例子验证了理论的正确性

不足

1. 适用范围限制: 结果仅适用于满足特定条件的素数
2. 证明依赖性: 关键步骤依赖于Berndt的深刻结果，本文贡献相对初等
3. 推广困难: 向其他情况的推广面临技术障碍

影响力

1. 学术价值: 为数字分布与类数理论的联系提供了新的视角
2. 计算意义: 在大素数计算中具有实际应用价值
3. 启发性: 可能启发更多相关方向的研究

适用场景

1. 大素数的数字分布快速计算
2. 代数数论中类数的应用研究
3. 数字序列分析和密码学相关应用

参考文献

论文引用了16篇相关文献，主要包括：

• B.C. Berndt的经典二次剩余定理
• 作者自己的早期工作
• 近年来该领域的主要进展
• 类数计算的相关方法

这篇论文在数论领域具有重要意义，它不仅解决了一个具体的数字分布问题，更重要的是揭示了初等数论与代数数论之间的深刻联系，为相关研究提供了新的工具和视角。