삼분의 이진법 토이스머스 단어의 기호 빈도와 조화 분석

논문은 서론에서 기호 빈도의 존재와 계산이 동역학, 수론, 정보이론 등 다양한 분야에서 중요한 역할을 한다는 점을 강조하고, 특히 3/2 진법이라는 비정수 기반에서 발생하는 자동수열 t₃/₂에 대한 오랜 추측—0과 1이 각각 1/2의 빈도를 가질 것이라는 가설—을 소개한다. 기존의 퍼론‑프루비니우스 이론은 원시(primitive) 치환에만 적용 가능하므로, 두 개의 서로 다른 치환 f₀와 f₁을 주기적으로 적용하는 교대 치환 구조에서는 직접 사용할 수 없었다. 이를 해결하기 위해 저자들은 다음과 같은 단계적 접근을 제시한다. 1. **수열 정의와 치환 구조** - t₃/₂는 정수 n의 3/2 진법 전개 ⟨n⟩₍₃/₂₎의 자릿수 합 s(n)을 2로 나눈 나머지로 정의된다. - 두 개의 길이‑3 동형사상 f₀(0→00,1→11)와 f₁(0→1,1→0)를 교대로 적용해 무한 단어를 생성한다. - 동일한 수열은 2‑블록 치환 τ(00→001,01→000,10→111,11→110)의 고정점으로도 표현된다. 2. **첫 차이열과 Toeplitz 구조** - t₃/₂의 첫 차이열 dₙ = tₙ₊₁ – tₙ을 고려하면, 이 차이열은 Toeplitz 행렬에 의해 생성되는 것으로 확인된다. - Toeplitz 구조는 동역학적 강직성(rigidity)을 제공하여, 시스템이 최소적(minimal)이며 고유 측정이 유일함을 보인다. 3. **2‑adic 군 위의 필터링된 빈도** - 빈도 계산을 위해 부분합을 dyadic 구간(2ⁿ 길이 블록)별로 평균하고, 이를 𝔃₂(2‑adic 정수군) 위의 함수로 해석한다. - 𝔃₂의 Pontryagin 이중성에 따라 푸리에 변환을 수행하면, 탈치환 연산이 푸리에 계수에 대한 선형 연산 L으로 전환된다. 4. **스펙트럴 수축과 고유점** - 연산 L은 스펙트럼 반경이 1보다 작은 고유값만을 갖는 수축 연산임을 증명한다. - 따라서 반복 적용 Lⁿ은 모든 초기 계수를 고유점(즉, 1/2)으로 수렴시킨다. 이는 0과 1의 빈도가 각각 1/2임을 강제한다. 5. **균등 재발 및 대칭성** - Toeplitz 구조와 2‑adic 분석을 결합해, 모든 구간 길이 m에 대해 어떤 블록이든 일정한 상수 C(m) 이하의 갭을 갖는 균등 재발을 보인다. - 또한, 수열의 언어는 비트wise 보완(0↔1)과 역전(문자열 뒤집기) 연산에 대해 닫혀 있음을 증명한다. 6. **Dekking의 형제수열 t′에 대한 결과** - Dekking이 제시한 t′는 φ(0)=010, φ(1)=101이라는 코딩을 통해 t₃/₂와 동형임을 보인다. - 따라서 t′에 대한 빈도, 균등 재발, 대칭성에 관한 모든 추측은 t₃/₂에 대한 결과를 그대로 적용해 해결된다. 7. **연구 의의와 향후 과제** - 본 연구는 자동수열의 빈도 문제를 푸리에 분석과 2‑adic 조화론으로 접근하는 새로운 방법론을 제시한다. - 특히, 비정수 기반(유리 진법) 자동수열에서 기존 대체 이론이 실패할 때 대체 가능한 도구로서 2‑adic 스펙트럼 수축을 활용할 수 있음을 보여준다. - 향후 연구에서는 이 방법을 Oldenburger‑Kolakoski와 같은 복잡한 교대 치환 수열, 그리고 더 일반적인 유리 진법 자동수열에 확장하는 방향을 제시한다. 전체적으로, 논문은 교대 치환 구조, Toeplitz 동역학, 그리고 2‑adic 푸리에 분석을 결합해 3/2 진법 토이스‑머스 수열의 기호 빈도와 구조적 특성을 완전히 규명하고, Dekking이 제시한 형제수열에 대한 여러 오랜 추측을 해결함으로써 자동수열 이론과 조화 분석 사이의 새로운 연결 고리를 제공한다.