오스트로프스키 수 체계와 스투르미안 단어의 국소 주기

초록

본 논문은 특성 스투르미안 단어에서 위치 n 의 국소 주기가 n + 1의 오스트로프스키 표현으로 정확히 기술될 수 있음을 증명한다. 이를 통해 수 체계와 단어 구조 사이의 깊은 연관성을 밝히고, 국소 주기 계산의 효율적인 알고리즘을 제시한다.

상세 분석

오스트로프스키 수 체계는 피보나치와 같은 계열의 부분합을 기반으로 정수 n을 고유한 자릿수 배열로 표현한다. 이 표현은 각 자릿수가 해당 계열의 계수보다 작으며, 연속된 두 자릿수가 동시에 최대값을 가질 수 없다는 제약을 가진다. 스투르미안 단어는 두 글자 알파벳으로 이루어진 무한 이진 문자열로, 기하학적 절단점이나 회전수의 비율이 무리수인 경우에 등장한다. 특히 ‘특성’ 스투르미안 단어는 그 생성 규칙이 ‘표준’ 형태로 주어져, 각 위치의 문자와 그 앞선 부분 문자열 사이에 강한 자기유사성을 보인다.

논문은 먼저 오스트로프스키 표현을 이용해 n + 1을 a₀, a₁, …, a_k 로 나타낸다. 그 다음, 각 자릿수 a_i 가 나타내는 피보나치 구간의 길이와 스투르미안 단어의 ‘표준’ 블록(즉, S_i)의 길이를 대응시킨다. 핵심 정리는 “위치 n 에서의 최소 국소 주기 p_n 은 n + 1의 오스트로프스키 표현에서 가장 큰 비제로 자릿수 a_j 에 대응하는 S_j 의 길이와 같다”는 것이다. 증명은 귀납적 구조를 활용한다. 기본 단계에서는 n이 작은 경우 직접 검증하고, 귀납 단계에서는 n을 두 부분으로 나누어(오스트로프스키 자릿수에 따라) 각각의 국소 주기가 어떻게 결합되는지를 분석한다. 특히, 스투르미안 단어의 ‘표준’ 블록은 서로 겹치지 않으며, 각 블록은 이전 블록들의 접미사와 접두사 관계를 유지한다는 점을 이용해 국소 주기의 최소성을 보인다.

이 결과는 기존에 알려진 ‘국소 주기와 리턴 워드’ 사이의 관계를 일반화한다. 오스트로프스키 수 체계는 단순히 정수를 표현하는 도구를 넘어, 스투르미안 단어의 구조적 특성을 정량화하는 ‘좌표계’ 역할을 한다. 또한, n + 1의 오스트로프스키 표현을 O(log n) 시간에 구할 수 있기 때문에, 국소 주기 p_n 역시 동일한 복잡도로 계산 가능함을 시사한다. 이는 문자열 압축, 패턴 매칭, 그리고 자동화 이론에서 중요한 응용 가능성을 제공한다.