숫자 자리 제한 집합의 균등 분포와 마코프 연쇄 분석

초록

본 논문은 자리수와 자리수 합 제한을 가진 정수 집합의 잔여류 분포를 마코프 연쇄를 이용해 연구한다. 주요 결과는 ‘누락된 자리수 집합’이 산술 진행에 대해 균등하게 분포하기 위한 필요충분조건을 제시하고, 이를 일반적인 곱셈 불변 집합으로 확장한다. 또한 기존의 푸리에 분석 대신 확률 전이 행렬과 수렴 이론을 활용함으로써 기존 결과를 강화하고, Glasscock‑Moreira‑Richter가 제기한 열린 질문에 부분적인 부정적 답변을 제공한다.

상세 분석

이 논문은 먼저 g진법에서 허용된 자리집합 D⊂{0,…,g−1} 로 정의되는 누락된 자리수 집합 C_{g,D} 를 곱셈‑불변(×g‑invariant) 구조와 연결한다. 저자는 g‑additive 함수 f(n)=∑{i}f(w_i g^i) 를 도입해, 다중 잔여류 조건 (1.2) 의 극한 비율을 마코프 연쇄의 상태 분포 μ_i 로 변환한다. 핵심은 p를 선택해 g^p≡1 (mod a) 를 만족시키고, 전이 행렬 M_i(b,b′)=|E_i(b′−b)|/|D|^p 로 정의함으로써 μ{i+np}=μ_i M_n^i 가 성립한다는 점이다. 전이 행렬은 이중 확률 행렬이므로, 불변 분포가 존재하고, 체인이 비감소·비주기적(irreducible, aperiodic) 조건을 만족하면 μ_i는 균등 분포 1/a 로 수렴한다.

균등 분포의 필요충분조건은 gcd(a·a′, d_2−d_1,…,d_t−d_1)=1 로 요약된다. 여기서 d_1은 D의 최소 자리이며, 이 조건이 깨지면 특정 잔여류 클래스에 대한 접근 확률이 영이 되어 균등성 실패를 보인다. 논문은 이 조건을 증명하기 위해 전이 행렬의 고유값 분석과 Perron‑Frobenius 정리를 활용한다. 또한 a와 a′가 서로소가 아닐 때의 일반화(정리 A의 Lemma 5.6)와, 합성 함수 S_g(n) (자리수 합)와 n 자체의 동시 균등 분포를 다루는 정리 B를 제시한다. 정리 B는 “n≡0 (mod a) 이면서 S_g(n)≡1 (mod a′) 인 n이 존재한다면 균등 분포가 성립한다”는 새로운 필요조건을 제공한다. 이는 기존 Gelfond의 충분조건 gcd(g−1,a′)=1 을 완화한다.

다음으로 저자는 곱셈‑불변 집합을 심볼릭 다이내믹스의 서브시프트와 동형시킨다. 특히 전이 행렬이 전이성(transitive)과 소피크(sofic)인 경우에만 모든 무한 산술 진행 P에 대해 차원(dim M) 교차가 0 또는 원집합 차원과 동일함을 보인다(정리 C). 반면 전이성만 있거나 소피크만 있는 경우에는 반례를 제시해 일반적인 부정답을 증명한다. 마지막으로 “엔트로피 최소 서브시프트”라는 새로운 개념을 도입해, 차원 보존 성질을 만족하는 곱셈‑불변 집합을 완전히 특징짓는 conjecture 를 제시한다.

전반적으로 이 연구는 마코프 연쇄를 통한 확률적 접근이 자리수 제한 집합의 잔여류 분포를 이해하는 강력한 도구임을 입증하고, 기존 푸리에 기반 방법보다 더 정밀한 필요충분조건을 제공한다는 점에서 의미가 크다.