정교한 단어의 비밀 에피스트루미안과 스큐 에피스트루미안의 완전 분류

초록

이 논문은 무한 단어 w에 대해 각 길이 k에 대한 사전식 최소·최대 인자를 모아 만든 min(w), max(w)를 정의하고, 모든 사전식 순서에서 min(w)=a s (a는 알파벳 최소 문자)인 경우를 “fine”이라 부른다. 주요 결과는 w가 fine일 필요충분조건이 w가 엄격(episturmian) 혹은 엄격(skew episturmian) 단어와 정확히 일치한다는 것이다. 이는 2문자 알파벳에 대한 Pirillo의 Sturmian·skew Sturmian 결과를 일반 알파벳으로 확장한다.

상세 분석

논문은 먼저 알파벳 A에 대한 사전식 순서를 고정한 뒤, 무한 단어 t∈A^ω에 대해 길이 k인 모든 인자 중 사전식 최소(min(t|k))와 최대(max(t|k))를 정의한다. k→∞ 로 한계값을 취해 얻은 무한 단어 min(t)와 max(t)는 각각 t의 모든 길이에 대한 최소·최대 인자를 앞쪽에서 차례대로 이어 붙인 형태가 된다. “fine word”는 어떤 무한 단어 s가 존재해 모든 사전식 순서에 대해 min(t)=a s (여기서 a= min(A))가 되는 경우로 정의된다. 이 정의는 2문자 알파벳에서 (a,b) 순서일 때 (min(t),max(t))=(a s,b s)와 동치이며, Pirillo가 제시한 Sturmian·skew Sturmian 분류와 일치한다.

핵심은 fine word가 두 종류 중 하나와 동등함을 보이는 정리이다. 첫 번째는 “strict episturmian word”이다. episturmian 단어는 모든 인자가 역전(역사) 폐쇄성을 가지며, 각 길이에 대해 오른쪽(또는 왼쪽) 특수 인자가 최대 하나인 무한 단어이다. “strict”는 직접어(directive word) ∆(s) 안에 알파벳 A의 모든 문자가 무한히 등장함을 의미한다. 이러한 단어는 Arnoux‑Rauzy 시퀀스와 동일하며, 복잡도는 (|A|−1)n+1 로 최소 복잡도를 갖는다. 두 번째는 “strict skew episturmian word”이다. 이는 결국 비재귀적(infinite non‑recurrent) 형태이지만, 모든 유한 인자는 어떤 strict episturmian 단어의 인자와 동일하다. 즉, 스큐 단어는 결국 “모든 인자는 episturmian이지만 전체 구조는 결국 주기적이 아닌” 특성을 가진다.

증명은 여러 단계로 구성된다. 먼저 epistandard morphism Ψ_a (a∈A) 를 도입하고, 이들이 자유군 F(A) 위에서 양의 자동사임을 이용해 구조를 보존한다. Lemma 4.4와 그 변형을 통해 Ψ_z 적용 전후의 min 연산이 어떻게 변하는지를 정밀히 분석한다. 특히, min(t)=a s ⇔ min(t^{(1)})=a s^{(1)} (t=Ψ_z(t^{(1)}), s=Ψ_z(s^{(1)})) 를 보이며, 사전식 최소 인자가 morphism에 의해 보존되는 조건을 명시한다. 이와 함께 Proposition 4.2·4.3을 활용해 strict episturmian 단어가 모든 a∈A에 대해 a s = min(s) 혹은 a s ≤ min(s) 를 만족함을 확인한다.

주요 정리(Theorem 4.6)는 “t가 fine ⇔ t가 strict episturmian 혹은 strict skew episturmian”이다. 증명은 (⇒) 방향에서 fine 조건을 이용해 t를 적절한 epistandard morphism들의 합성으로 표현하고, 그 결과가 strict episturmian 혹은 그 변형인 skew 형태임을 귀류법으로 보여준다. (⇐) 방향에서는 이미 알려진 episturmian·skew episturmian의 구조적 특성으로부터 min(t)=a s 를 직접 구축한다. 결과적으로, 2문자 경우에 Pirillo가 제시한 Sturmian·skew Sturmian 분류가 일반 알파벳에서도 동일한 형태로 확장됨을 확인한다.

이 논문은 fine word라는 새로운 개념을 도입하고, 이를 episturmian 이론과 연결함으로써 무한 단어의 사전식 최소성 특성을 완전히 분류한다는 점에서 의미가 크다. 특히, epistandard morphism의 가역성, 직접어의 무한 반복성, 그리고 스큐 구조의 비재귀성이라는 세 가지 핵심 아이디어가 조화롭게 사용된 점이 돋보인다.