S‑아디 구조로 바라본 최소 부분이동의 연속 고유값 연구

초록

본 논문은 인식성·프리미티브성을 갖는 S‑아디 표현을 가진 최소 심볼릭 서브시프트의 연속 고유값을, 국소 코바운더리와 확장 그래프의 조합을 통해 완전히 기술한다. 알파벳 순위가 유한하거나 지시열이 결정적일 때는 코바운더리를 이용한 명시적 조건으로 고유값을 판별할 수 있다. 또한 불균형·레터‑밸런스와 복잡도에 대한 새로운 충분조건을 제시한다.

상세 분석

이 연구는 최소 서브시프트 X에 대해 S‑아디 지시열 τ = (τₙ)ₙ을 가정하고, τ가 인식성(recognizability)과 프리미티브성(primitivity)을 만족하면 연속 고유값 α∈ℝ을 완전히 기술할 수 있음을 보인다. 핵심은 τ의 발생 행렬 Mₙ의 열합 hₙ(a)=|τ₀·…·τₙ₋₁(a)|와 실수열 ρ = (ρₙ)ₙ을 이용해
 ‖ρₙ(u₀)−ρₙ(u_k)−α·(hₙ(u₀)+…+hₙ(u_{k−1}))‖₁ →0
인 조건을 제시한 정리 4.1이다. 여기서 ‖·‖₁은 정수와 가장 가까운 정수와의 거리이다. 이 식은 α·hₙ(a)가 모듈러 1에서 0에 수렴하도록 보정해 주는 ρₙ의 존재 여부를 묻는다.

강한 프리미티브성(strong primitivity)을 추가하면 정리 4.2에서 ρₙ을 전역적인 보정 없이도 α·hₙ(a) 자체가 수렴함을 보인다. 이후 결정성(decisiveness) 혹은 알파벳 순위 유한성(finite alphabet rank)을 가정하면 ρₙ이 실제로 “레터‑코바운더리”라는 코바운더리 함수열로 구조화됨을 증명한다(정리 5.2, 5.3). 레터‑코바운더리는 각 문자 a에 대해 실수값 β(a)를 할당하고, α가 연속 고유값이 되려면 β가 확장 그래프(빈 단어에 대한 확장 그래프)의 연결 성분 수 r와 관련된 선형 관계 β∈Ker(L)·(r−1) 차원의 실벡터공간에 속해야 함을 보여준다(정리 3.14).

코바운더리와 확장 그래프 사이의 관계는 “연결 성분 수 = 레터‑코바운더리 차원 + 1”이라는 정리로 요약된다. 이를 통해 복잡도(pₓ(n))와 고유값 군의 유리 차원 사이에 상한을 두는 보조정리 6.5, 6.7을 얻는다. 특히, Tijdeman의 정리를 새로운 증명으로 재현하고, 레터‑밸런스가 성립하는 경우(문자 빈도가 유리 독립)에는 복잡도가 최소 n+1임을 보인다.

마지막으로, 예시 섹션에서는 (i) 결정적이지만 알파벳 순위가 무한인 경우 코바운더리 없이 고유값이 존재할 수 있음을, (ii) 고정 길이·유한 알파벳 순위 시스템에서는 모든 연속 고유값이 유리수임을 보이며, 기존 결과와 일치함을 확인한다. 전체적으로 이 논문은 S‑아디 구조를 통한 연속 고유값 분석에 코바운더리와 확장 그래프라는 두 개의 강력한 조합 도구를 도입함으로써, 기존의 대수적·측도론적 접근을 보완하고, 새로운 충분조건과 구조적 해석을 제공한다.