On the normality of the concatenated Fibonacci constant

1. 연구 문제 (Problem)

이 논문은 피보나치 상수 (Fibonacci constant) $F = 0.F_1F_2F_3\dots = 0.11235813\dots$ 가 10 진법에서 정규수 (normal number) 인지 여부를 연구합니다.

• 정의: 피보나치 수열 ($F_1=1, F_2=1, F_n=F_{n-1}+F_{n-2}$) 의 항들을 순서대로 연결하여 만든 소수입니다.
• 정규수 (Normal Number): 정수 기수 $b \ge 2$ 에서, 모든 유한 문자열 $s$ 가 기수 $b$ 의 전개식에서 점근적 빈도 $b^{-k}$ 로 나타나는 수를 의미합니다.
• 배경: 체르프노브 (Champernowne) 상수나 코플랜드 - 에르되스 (Copeland-Erdős) 상수와 달리, 피보나치 수열은 지수적 성장 (exponential growth) 을 보이므로 기존의 다항식 성장 가정을 전제로 하는 정규성 증명 기법들이 적용되지 않습니다.

2. 방법론 (Methodology)

논문은 이론적 분석과 대규모 수치 실험을 결합하여 접근합니다.

A. 이론적 분석

1. 기존 충분 조건의 실패 확인:

   • 코플랜드 - 에르되스 (Copeland-Erdős) 정리: 피보나치 수열의 카운팅 함수가 너무 느리게 증가 ($\Phi_F(N) \sim \log N$) 하여 조건을 만족하지 못함.
   • 데이븐포트 - 에르되스 (Davenport-Erdős) 및 나카이 - 시오카와 (Nakai-Shiokawa) 확장: 다항식 또는 일반화 다항식 성장 함수에 대한 정리로, 지수적 성장을 보이는 피보나치 수열에는 적용 불가.
   • 폴락 - 반데헤이 (Pollack-Vandehey) 의 $\phi-\sigma-\lambda$ 접근: 오일러 피 함수, 약수 합 함수, 카르마이클 함수의 합성으로 생성된 수열에 대한 정리로, 피보나치 수열은 이 범주에 포함되지 않음.

2. 새로운 충분 조건 도출 (Pollack-Vandehey 기준 적용):

   • 정리 3 (Theorem 3): 연결된 수열 $0.a_1a_2\dots$ 가 정규수가 되기 위한 충분 조건으로, 개별 항 $a_n$ 이 거의 모두 $(\varepsilon, k)$-정규 (digit statistics 가 균일) 해야 함을 제시.
   • 주요 명제: 피보나치 수열은 길이 조건 (i, ii) 을 만족하므로, 대부분의 피보나치 수 $F_n$ 이 $(\varepsilon, k)$-정규수라면 $F$ 는 정규수가 됨 (Corollary 5).

3. 구조적 편향 분석:

   • 선두 자리 (Leading Digits): 베르포드 법칙 (Benford's Law) 을 따르지만, 전체 자리 수 대비 비율이 $O(1/m)$ 로 점근적으로 무시할 수 있음.
   • 말단 자리 (Trailing Digits): 피사노 주기 (Pisano period) 에 의해 결정되나, 이 역시 전체 대비 $O(k/m)$ 로 무시할 수 있음.
   • 깊은 자리 (Deep Digits): 실제 장애물은 $F_n$ 의 깊은 자리 (interior digits) 의 분포입니다. 현재 등분포 이론 (equidistribution theory) 과 코크스마 - 흘라야 (Koksma-Hlawka) 부등식은 $F_n$ 의 깊은 자리에서 발생하는 급격한 진동 (exponential oscillation) 을 제어하지 못합니다.

4. 행렬 균일성 vs 열 균일성 (Benfield-Manes 접근 비판):

   • 베인필드와 맨스는 특정 기수 ($5^x 2^y$) 에서 행 (row) 단위의 균일성을 증명했으나, 이는 연결된 상수의 정규성 (열/column 단위의 균일성) 을 보장하지 않음을 반례 (Example 6) 를 통해 보임.

B. 수치 실험 (Numerical Experiments)

• 데이터 규모: 10 진법과 2 진법에서 각각 처음 500,000 개의 피보나치 수 ($F_1 \dots F_{500,000}$) 를 연결.
  • 10 진법: 약 261 억 자리 ($2.6 \times 10^{10}$).
  • 2 진법: 약 870 억 비트 ($8.7 \times 10^{10}$).
• 분석 기법:
  • 단일 자리 빈도 및 블록 (2, 3, 4 자리) 빈도 분석.
  • 위치 분해 (Positional Decomposition): 각 블록을 '선두 (leading)', '말단 (trailing)', '중간 (middle/interior)', '경계 (boundary)'로 분류하여 편향의 원인을 규명.
  • 통계적 검정: 카이제곱 검정, 굿의 시리얼 통계량 (Good's serial statistic, 중복 블록의 분산 보정 적용).

3. 주요 결과 (Key Results)

A. 이론적 발견

• 피보나치 상수의 정규성은 대부분의 피보나치 수 $F_n$ 이 $(\varepsilon, k)$-정규수인지에 달려 있음.
• 선두 자리 (베르포드 편향) 와 말단 자리 (피사노 주기) 는 전체 숫자 분포에 점근적으로 영향을 미치지 않음.
• 진정한 난제는 $F_n$ 의 깊은 자리 (deep digits) 의 분포이며, 이는 $2^n$ 의 자리 수 분포 문제와 유사하게 현재 수학적으로 해결되지 않은 영역에 속함.

B. 수치 실험 결과

1. 전체적 균일성:

   • 10 진법과 2 진법 모두에서 단일 자리 및 블록 ($k=2,3,4$) 의 빈도는 균일 분포와 통계적으로 일치함.
   • 최대 편향 (deviation) 은 $D^{-1/2}$ ($D$는 총 자리 수) 의 i.i.d. (독립 동일 분포) 변동 스케일과 일치하는 속도로 감소함.

2. 위치 분해 분석 (Positional Decomposition):

   • 중간 블록 (Middle Blocks): 전체 블록의 99.99% 이상을 차지하며, 10 진법과 2 진법 모두에서 균일 분포와 매우 잘 일치함.
   • 경계 블록 (Boundary Blocks): $F_n$ 과 $F_{n+1}$ 이 만나는 지점에서 발생하는 편향이 관찰됨. 이는 $F_n$ 의 말단 (피사노 주기) 과 $F_{n+1}$ 의 선두 (베르포드 법칙) 가 만나는 구조적 산물임.
   • 결론: 관찰 가능한 구조적 편향은 거의 전적으로 경계 (boundary) 에 집중되어 있으며, $N \to \infty$ 로 갈수록 전체 분포에 미치는 영향은 무시할 수 있을 정도로 작아짐.

3. 개별 피보나치 수의 정규성:

   • 개별 $F_n$ 에 대해 $(\varepsilon, 1)$-정규성을 검사했을 때, $\varepsilon=0.01$ 기준 10 진법에서는 약 3.2%, 2 진법에서는 약 0.73% 만이 조건을 만족하지 못함. 이는 대부분의 $F_n$ 이 내부적으로 균일한 자리 분포를 가짐을 시사함.

4. 주요 기여 (Key Contributions)

1. 정규성 증명의 새로운 경로 제시: 피보나치 상수의 정규성을 증명하기 위해 개별 피보나치 수의 $(\varepsilon, k)$-정규성이 필요충분 조건임을 명확히 함.
2. 기존 기법의 한계 규명: 지수적 성장으로 인해 기존 다항식 기반의 정규성 증명 기법들이 왜 실패하는지 이론적으로 설명하고, 베르포드 편향과 피사노 주기가 실제 장애물이 아님을 증명.
3. 대규모 실증 데이터 제공: 10 진법과 2 진법에서 각각 260 억, 870 억 자리에 달하는 방대한 데이터를 생성하여, 피보나치 상수가 정규수일 가능성이 매우 높음을 통계적으로 뒷받침함.
4. 구조적 편향의 국소화: 편향이 전체가 아닌 '경계'에만 집중됨을 위치 분해를 통해 규명하여, 내부 자리들의 분포가 균일할 것이라는 가설을 지지함.

5. 의의 및 결론 (Significance & Conclusion)

• 결론: 이 논문은 피보나치 상수 $F$ 가 정규수임을 증명하지는 못했지만, 수치적, 이론적 모든 증거가 $F$ 가 정규수일 것이라는 가설과 강력하게 일치함을 보였습니다.
• 장애물: 최종적인 증명의 장벽은 $F_n$ 의 깊은 자리 (deep digits) 가 점근적으로 균등하게 분포하는지 여부에 있으며, 이는 $2^n$ 의 자리 수 분포 문제와 같이 현재 수학의 난제 영역에 속합니다.
• 향후 연구 방향:
  1. 피보나치 점화식의 반복이 자리 분포에 '혼합 (mixing)' 효과를 주는지 연구 (고차 마르코프 체인 등).
  2. 완전한 정규성 증명 대신, 유한 상태 차원 (finite-state dimension) 이나 특정 구간 내 빈도 bound 와 같은 약한 구조적 결과를 도출.
  3. $\sigma$ (약수 합 함수) 의 치역에 속하는 피보나치 수에 대한 산술적 연구 (부록적 흥미).

이 연구는 연결된 수열의 정규성 문제에 대한 이론적 틀을 정립하고, 방대한 계산을 통해 수학적 직관을 검증한 중요한 작업으로 평가됩니다.