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$ 이다. 본 논문은 두 개의 허이차 수체의 류수(class number)를 이용하여 해당 주기에서 각 자릿수 $0,\ldots,9$ 의 빈도를 표현한다. 또한 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$ 의 빈도를 정확히 결정하고, 두 개의 허이차 수체의 류수를 이용하여 이러한 빈도를 표현하는 것을 목표로 한다.

핵심 기여

주요 정리: 특정 조건 하에서 각 자릿수 빈도의 정확한 공식을 제시하는 정리 1을 제안하며, 이는 두 개의 류수 $h_1$ 과 $h_2$ 를 포함한다.
확장 결과: 10이 원시근인 경우의 유사한 결과(정리 2)와 팔진 자릿수의 대응 결과(정리 3)를 제공한다.
계산상 이점: $10^{15}$ 규모와 같은 큰 소수의 자릿수 빈도 계산을 위한 효율적인 방법을 제공하며, 직접 계산의 어려움을 회피한다.
이론적 심화: 문헌에서 처음으로 두 개의 류수를 포함하는 자릿수 분포 결과를 제시한다.

방법론 상세 설명

문제 정의

소수 $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의 정확성을 검증한다.

이론적 분석

광의의 리만 가설 하에서, 조건을 만족하는 소수의 밀도는 약 $A/2 = 0.186977\ldots$ (여기서 $A$ 는 Artin 상수)이다.
약 37%의 소수 $p \equiv 3 \pmod{4}$ 가 10의 위수가 $(p-1)/2$ 인 조건을 만족한다.

실험 결과

주요 결과

정확한 일치: 모든 수치 검증이 이론 공식의 정확성을 완벽하게 검증한다.
계산 효율성: 큰 소수의 경우, 류수를 이용한 빈도 계산이 직접 계산보다 훨씬 빠르다.
분포 규칙성: 자릿수 빈도의 내재적 규칙성을 드러낸다. 예를 들어, $p \equiv 3 \pmod{8}$ 일 때 $n_3 > n_6$ 이다.