부분분수 부분몫의 최장 연속 구간에 대한 정량적 법칙

초록

이 논문은 기호열의 최장 연속 구간 길이를 연구한다. 일반적인 측정보존 동역학계에서 정량적 혼합성 및 상수 단어에 대한 지수적 실린더 추정을 가정하면, 최장 연속 구간 길이가 로그 n/2log ρ에 이중 로그 오차항을 더한 형태로 거의 확실히 수렴함을 보인다. 이를 가우스 변환에 적용해 연속분수의 부분몫에 대해 구체적인 중심 상수 τ(λ)와 φ를 제시하고, 고정값 최장 구간과 전체값 최장 구간 모두에 대해 두 배 로그 오차를 갖는 양면 경계를 얻는다.

상세 분석

본 연구는 “최장 연속 구간(longest‑run)”이라는 비가산적 관측값을, 확률·동역학·수론이 교차하는 영역에서 정량화한다. 먼저 기호열 Xₖ가 정의된 측정보존 변환 (Ω,𝔽,μ,T) 위에서, 고정 심볼 m에 대한 최장 연속 구간 Lₙ(·,m)와 전체 심볼에 대한 최장 연속 구간 Rₙ을 정의한다. 핵심 가정은 세 가지이다. (1) 정량적 혼합성(5) – 일정 간격 g 이상 떨어진 두 σ‑알제브라 사이의 상관을 C₀θ^{g} 로 제어한다. 이는 ψ‑mixing의 지수적 감소와 동치이며, 가우스 변환에 대해 기존 연구(예: Schindler‑Zweimüller)에서 확인된다. (2) 특정 심볼 m*에 대한 상수 단어 실린더의 확률이 ρ^{-2k} 로 양·음 상수 c_{±} 사이에 존재한다(6). 이는 부분몫이 동일한 값 λ 로 연속되는 사건 Δ_k(λ)의 측정이 지수적으로 감소함을 의미한다. (3) 모든 심볼에 대해 합산된 상수 단어 실린더의 측정이 동일한 지수 ρ^{-2k} 로 상한을 갖는다(7). 이 세 가정을 바탕으로 정리 1을 증명한다.

증명 전략은 크게 두 부분으로 나뉜다. 상한은 Borel–Cantelli 보조정리를 이용해, 각 n에 대해 가능한 시작점 t를 모두 합친 뒤, (6)·(7)과 (5)를 적용해 사건의 확률을 ∑{j} j^{-2c₁} 형태로 만든다. 여기서 c₁>½를 선택하면 급수 수렴을 보장하고, 거의 확실히 Lₙ··· ≤ b{n,ρ}+c log log n·log ρ 가 된다. 하한은 “분리된 시도(separated trials)” 방식을 사용한다. 길이 k−j 의 상수 단어가 나타날 확률 p_j≈c n_j j^{-2c₁} 를 구하고, 각 시도 사이에 충분히 큰 간격 g_j를 두어 (5)의 혼합 효과를 최소화한다. 기대값 E