2025-11-25T15:01:18.134380

On the decimal digits of $1/p$

Girstmair

Let $p$ be a prime $\equiv 3$ mod 4, $p>3$, and suppose that 10 has the order $(p-1)/2$ mod p. Then $1/p$ has a decimal period of length $(p-1)/2$. We express the frequency of each digit $0,\ldots,9$ in this period in terms of the class numbers of two imaginary quadratic number fields. We also exhibit certain analogues of this result, so for the case that 10 is a primitive root mod $p$ and for octal digits of $1/p$.

academic

$1/p$ の十進法の桁に関して

基本情報

論文ID: 2510.07873
タイトル: On the decimal digits of $1/p$
著者: Kurt Girstmair (インスブルック大学)
分類: math.NT (数論)
発表日時: 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$ の出現頻度を、2つの虚二次数体の類数を用いて表現する。また、10が法 $p$ の原始根である場合および $1/p$ の八進法表示の場合を含む、類似の結果も示す。

研究背景と動機

問題の背景: Girstmairが1994年に $1/p$ の桁と類数の間の関連性を初めて確立して以来、この分野は多くの研究を生み出してきた。既存の研究は主に、 $1/p$ またはより一般的な $m/p$ （ここで $m$ は法 $p$ の二次剰余）の十進法表示の桁の分布に焦点を当てている。
問題の重要性: 素数の逆数の桁の分布を理解することは、純粋数学的な意義を持つだけでなく、代数的数論における類数理論と密接に関連している。この関連性は、大素数の桁の頻度を計算するための効果的な方法を提供する。
既存の制限: 既知の結果は、桁の平均値、すなわち $\sum_{j=1}^{(p-1)/2} a_j = 9(p-1)/4 + 9h_1/2$ のみを与えることができる。ここで $h_1$ は虚二次数体 $\mathbb{Q}(\sqrt{-p})$ の類数であるが、各桁の具体的な頻度を与えることはできない。
研究動機: 本論文は、周期における各桁 $0,\ldots,9$ の頻度を正確に決定し、これらの頻度を2つの虚二次数体の類数を用いて表現することを目指している。

核心的貢献

主定理: 特定の条件下での各桁の頻度の正確な公式を与える定理1を提示し、2つの類数 $h_1$ と $h_2$ を含む。
拡張結果: 10が原始根である場合の類似の結果（定理2）および八進法表示の対応する結果（定理3）を提供する。
計算上の利点: $10^{15}$ のような大素数の桁の頻度計算に対して効果的な方法を提供し、直接計算の困難を回避する。
理論の深化: 2つの類数を含む桁の分布結果を文献で初めて提示する。

方法の詳細説明

問題の定義

素数 $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})$ は周期を構成する。

重要補題

補題1: $\theta_b(k) = \frac{b(k)_p - (bk)_p}{p}$ とすると、 $a_j = \theta_{10}(m \cdot 10^{j-1})$

補題2: Berndtの結果に基づき、特定の区間内における二次剰余と非剰余の分布の差異を与える。

主定理

定理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}$ $p \equiv 3 (mod 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}$ $p \equiv 7 (mod 8)$ の場合：
- $\delta_0 = h_1 - h_2/2$
- $\delta_1 = h_2/4$
- $\delta_2 = 3h_2/4$
- $\delta_3 = \delta_4 = -\delta_1$

技術的革新点

区間分析法: 桁と特定の区間内の整数の対応関係を確立することにより、桁の頻度問題を区間内の二次剰余計数問題に変換する。
類数表現: Berndtの深刻な結果を利用して、二次剰余の分布の差異を虚二次数体の類数で表現する。
対称性の利用: $p-l$ と $l$ の二次剰余性質の双対関係を巧妙に利用して、 $n_k$ と $n_{9-k}$ の関係を確立する。

実験設定

検証ケース

論文は複数の具体的な数値検証を提供する：

$p = 67$ : $h_1 = 1$ $h_{1} = 1$ , $h_2 = 18$ $h_{2} = 18$
- $1/67 = 0.\overline{014925373134328358208955223880597}$
- 理論的に予測された頻度と実際の計算は完全に一致する
$p = 79$ : より一般的な場合の応用を示す
- $1/79$ 、 $9/79$ 、 $2/79$ の複数の分数の周期分析を含む
$p = 47$ : 原始根の場合の検証
- 定理2の正確性を検証する