스투르미안 단어의 열린·닫힌 접두사 시퀀스 완전 해석

초록

본 논문은 단어의 각 접두사가 ‘열린’(내부에 같은 인자 없이) 혹은 ‘닫힌’(정확히 두 번, 앞·뒤에만 등장) 여부를 0·1 이진수열인 oc‑시퀀스로 기록한다. 특히 스투르미안 단어에 대해 이 시퀀스가 단어 자체를 (문자 교환을 제외하고) 완전히 규정한다는 것을 보이며, 이를 이용한 선형 시간 알고리즘을 제시한다.

상세 분석

논문은 먼저 ‘닫힌 단어’를 기존의 periodic‑like 개념과 동일시하고, 가장 긴 반복 접두사(또는 접미사)가 내부에 나타나지 않을 때 해당 단어를 닫힌다고 정의한다. 이 정의는 완전 반환(complete return) 개념과도 일치한다는 점을 강조한다. 이후 모든 단어 w에 대해 접두사의 열림·닫힘 여부를 0·1 로 표시한 oc‑시퀀스를 도입하고, 이 시퀀스가 단어의 구조적 특성과 어떻게 연결되는지를 탐구한다. 특히, Lemma 4와 Lemma 5를 통해 닫힌 접두사의 오른쪽 확장은 유일하며, 그 확장은 원래 단어와 동일한 주기를 유지한다는 사실을 증명한다. 이는 oc‑시퀀스에서 연속된 1들의 길이가 바로 해당 접두사의 두 번째 등장까지의 거리와 일치함을 의미한다.

주요 결과는 두 가지이다. 첫째, 모든 스투르미안 단어 w는 그 oc‑시퀀스 oc(w)만으로 (알파벳 교환을 제외하고) 유일하게 결정된다(Theorem 14). 이를 증명하기 위해 오른쪽 특수(sturmian) 단어의 가장 긴 반복 접두사가 w의 접미사임을 보이는 Lemma 15 등을 활용한다. 둘째, 스투르미안 언어(St) 자체가 “이진 팩터리 언어” 중에서 oc‑시퀀스로 완전 구분 가능한 최대 클래스임을 보인다. 즉, St보다 더 큰 팩터리 언어에서는 동일한 oc‑시퀀스를 갖는 비동형 단어가 존재한다는 반례가 존재한다.

또한, 표준 스투르미안 단어의 경우 oc‑시퀀스의 1‑런 길이가 피보나치 수열의 두 배 형태로 나타나는 것을 일반화한다. 구체적으로, 표준 스투르미안 단어 w의 기울기 α와 연속분수 전개 사이에 직접적인 대응이 존재함을 보이며, 이는 oc‑시퀀스의 0‑런·1‑런 패턴이 α의 부분분수 계수와 연속분수 상수에 의해 결정된다는 의미다. 이러한 관계는 Sturmian 단어의 세미중심 접두사(semi‑central prefixes)와도 연결되어, w를 uₙ₋₁ uₙ uₙ₊₁ 형태의 무한 곱으로 표현할 수 있음을 보여준다.

알고리즘적 측면에서는 두 개의 선형 시간 절차를 제시한다. 첫 번째는 임의의 유한 단어 w에 대해 oc‑시퀀스를 O(|w|) 시간에 계산하는 방법이며, 핵심 아이디어는 현재까지의 가장 긴 반복 접두사의 길이를 유지하면서 새 문자를 추가할 때 주기 변화를 감지하는 것이다. 두 번째는 주어진 oc‑시퀀스로부터 유일한(알파벳 교환을 제외한) 스투르미안 단어를 복원하는 알고리즘이다. 여기서는 1‑런의 길이를 이용해 반복 접두사의 길이를 역추적하고, 이를 기반으로 표준 Sturmian 단어의 생성 규칙(피보나치 형태의 합성)으로 복원한다. 두 알고리즘 모두 메모리 사용량이 선형이며, 실제 구현에서도 높은 효율성을 보인다.

전체적으로 논문은 “열림·닫힘”이라는 단순한 이진 특성을 통해 스투르미안 단어의 복잡한 조합 구조와 주기성을 완전히 포착함으로써, 언어 이론·조합론·알고리즘 설계 사이의 깊은 연결고리를 제시한다는 점에서 의의가 크다.