A Normality Conjecture on Rational Base Number Systems

이 논문은 **유리수 기수 체계 (Rational Base Number Systems)**에서 생성된 **최소 단어 (minimal words)**와 **최대 단어 (maximal words)**의 **정규성 (normality)**에 대한 새로운 추측을 제시하고, 이를 지지하는 수치적 증거와 이론적 함의를 다루고 있습니다.

저자 Mélodie Andrieu, Shalom Eliahou, Léo Vivion 은 이 추측이 성립할 경우 마할러 (Mahler) 의 Z-수 부재 추측, 아키야마 (Akiyama) 의 삼중 전개 추측, 콜라츠 (Collatz) 와 유사한 문제 등 여러 장기적인 미해결 문제들이 해결될 수 있음을 보여줍니다.

다음은 논문의 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem Statement)

• 배경: 2008 년 Akiyama, Frougny, Sakarovitch 가 도입한 유리수 기수 체계 ($p/q$, 여기서 $p, q$는 서로소인 양의 정수) 는 정수 기수 체계의 일반화입니다. 이 체계는 $q=1$일 때 일반적인 정수 기수와 같지만, $q \neq 1$일 때 매우 복잡한 행동을 보입니다.
• 핵심 객체: 유리수 기수 체계에서 자연스럽게 등장하는 두 가지 무한 단어의 계열인 **최소 단어 (minimal words, $w_{min}$)**와 **최대 단어 (maximal words, $w_{max}$)**에 주목합니다.
  • 이들은 특정 시드 (seed) $u$에서 시작하여, $u$를 확장하여 정수 표현을 유지하는 모든 가능한 단어 중 사전식 (lexicographical) 으로 가장 작은 (또는 큰) 접두사를 선택하여 정의된 무한 단어입니다.
• 주요 문제: 이러한 최소/최대 단어들이 **정규성 (normality)**을 만족하는가?
  • 정규성이란 알파벳 상의 모든 길이의 부분 문자열이 동일한 빈도로 나타나는 성질을 의미합니다.
  • 기존 연구들은 이 단어들이 비주기적 (aperiodic) 이고 복잡도가 높음을 보였으나, 정규성 여부는 알려지지 않았습니다.

2. 주요 추측 (Key Conjectures)

논문은 다음과 같은 **정규성 추측 (Conjecture 1.2)**을 제시합니다:

• 최소 단어: $p/q$ 기수 체계에서 시드 $u$ (공백 문자 $\epsilon$ 제외) 로 생성된 최소 단어 $w_{min}^{p/q}(u)$는 부분 알파벳 $\{0, 1, \dots, q-1\}$ 위에서 **정규 (normal)**하다.
• 최대 단어: 시드 $u$로 생성된 최대 단어 $w_{max}^{p/q}(u)$는 부분 알파벳 $\{p-q, \dots, p-1\}$ 위에서 정규하다.
• 동치성: 최소 단어와 최대 단어는 서로 변환 가능하므로, 최소 단어의 정규성이 증명되면 최대 단어의 정규성도 자동으로 증명됩니다.

3. 방법론 (Methodology)

저자들은 이 추측을 검증하기 위해 이론적 증명과 광범위한 수치 실험을 병행했습니다.

A. 이론적 연결 (Theoretical Links)

1. 동등성 증명 (Theorem 1.7):
   • 최소 단어의 정규성 추측 (Conjecture 1.2) 은 정수 시퀀스 $(T_{p/q}^l(n))_{l \in \mathbb{N}}$이 모듈로 $q^k$의 잉여류에서 **균등 분포 (equidistributed)**된다는 추측 (Conjecture 1.6) 과 동치임을 증명했습니다.
   • 여기서 $T_{p/q}(x) = \lceil \frac{p}{q}x \rceil$는 최소 단어 생성과 직접적으로 연관된 연산자입니다.
2. 다른 추측들과의 관계 (Theorem 1.5 및 Section 3.3):
   • 이 정규성 추측이 참이면 다음과 같은 유명한 추측들이 참이 됨을 보였습니다:
     • 마할러의 Z-수 부재 추측 (1968): $p < q^2$일 때, $Z_{p/q}$-수 (분수 부분열이 $[0, 1/q)$에 머무는 실수) 는 존재하지 않음.
     • 아키야마의 삼중 전개 추측 (2008): 유리수 기수 체계에서 3 개 이상의 전개를 갖는 실수는 존재하지 않음.
     • Dubickas-Mossinghoff 의 '4/3 문제' (2009): 특정 반복 사상의 종료성.
   • 특히, 최소 단어에 '0'이 한 번이라도 등장한다는 사실만으로도 아키야마의 추측이 증명됨을 보였으며, 이는 정규성보다 훨씬 약한 조건입니다.

B. 수치 실험 (Numerical Experiments)

수치적 증거를 위해 다음과 같은 실험을 수행했습니다 (Python 기반, 총 139 개 이상의 최소 단어 및 40,000 개의 추가 샘플 분석):

1. 풍부성 임계값 (Richness Threshold) 측정:
   • 무한 단어 $w$가 '풍부 (rich)'하다는 것은 모든 길이의 부분 문자열이 유한한 위치에서 처음 등장함을 의미합니다 (정규성의 필요 조건).
   • 최소 단어들의 풍부성 임계값을 계산하여, $\pi$나 $\sqrt{2}$의 전개, 그리고 무작위 $q$-진 단어 (random q-ary words) 와 비교했습니다.
2. 균일 분포에서의 편차 측정 (Deviation from Uniformity):
   • 부분 문자열의 빈도가 균일 분포에서 얼마나 벗어나는지 (Discrepancy) 를 측정했습니다.
   • 최소 단어들의 편차 곡선이 무작위 단어들의 통계적 분포 (평균, 분위수 등) 와 얼마나 유사한지 분석했습니다.

4. 주요 결과 (Key Results)

A. 수치 실험 결과

• 풍부성 (Richness): 분석된 139 개의 최소 단어 (길이 $10^6$까지) 에 대해, 모든 길이의 부분 문자열이 유한한 임계값 내에서 등장함을 확인했습니다. 이는 최소 단어들이 '풍부'하며 정규성의 전제 조건을 만족함을 시사합니다.
• 통계적 유사성:
  • 최소 단어들의 풍부성 임계값과 균일 분포 편차는 **무작위 단어 (random words)**의 통계적 분포와 거의 구별할 수 없었습니다.
  • 이는 최소 단어들이 결정론적으로 생성되었음에도 불구하고, 무작위성과 유사한 통계적 성질을 가짐을 의미합니다.
  • 반면, 잘 알려진 정규 단어인 Champernowne 단어나 de Bruijn 단어와는 통계적 성질이 뚜렷하게 달랐습니다.

B. 이론적 결과

• 추측의 위상: 정규성 추측 (Conjecture 1.2) 은 마할러의 Z-수 부재 추측, 아키야마의 삼중 전개 추측 등 기존 추측들보다 훨씬 강한 (stronger) 명제임을 증명했습니다. 즉, 기존 추측들의 참을 보장하는 강력한 조건입니다.
• 동치성: 최소 단어의 정규성 문제와 정수 시퀀스의 균등 분포 문제가 수학적으로 동치임을 확립했습니다.

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

• 이론적 기여: 유리수 기수 체계라는 복잡한 수학적 구조에서 생성된 결정론적 무한 단어들이 실제로는 '무작위성'과 같은 정규성을 가진다는 강력한 가설을 제시했습니다.
• 미해결 문제 해결의 열쇠: 이 추측이 증명된다면, 1968 년부터 이어져 온 마할러의 Z-수 문제, 아키야마의 삼중 전개 문제, 그리고 콜라츠 추측과 유사한 동적 시스템 문제 등 여러 난제가 해결될 수 있는 길을 엽니다.
• 수치적 증거: 방대한 규모의 계산을 통해 최소 단어들이 무작위 단어와 통계적으로 구별되지 않는다는 강력한 증거를 제시하여, 추측의 타당성을 높였습니다.
• 향후 과제: 저자들은 이 추측이 더 일반적인 유리수 기수 체계의 확장에서도 성립하는지, 그리고 최소 단어들이 '초정규성 (supernormality)'이나 '포아송 일반성 (Poisson genericity)'과 같은 더 강력한 성질을 갖는지 등을 향후 연구 과제로 제시했습니다.

요약하자면, 이 논문은 유리수 기수 체계의 최소/최대 단어들이 정규성을 가진다는 강력한 추측을 제시하고, 이를 통해 여러 난제들을 해결할 수 있음을 이론적으로 보였으며, 대규모 수치 실험을 통해 그 타당성을 강력하게 지지했습니다.