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

본 논문은 유한 알파벳 A 위의 무한 단어 w에 대해 두 개의 파생 무한 단어 min(w)와 max(w)를 정의함으로써 시작한다. min(w|k)와 max(w|k)는 각각 길이 k인 인자들 중 사전식 최소·최대인자를 의미하고, k가 무한대로 갈 때 이들의 극한을 취해 무한 단어 min(w), max(w)를 만든다. 이때 min(w)의 모든 접두사는 w의 같은 길이 인자 중 사전식 최소이며, max(w)도 동일하게 최대이다. ‘fine word’는 다음과 같이 정의된다. 알파벳 A에 최소 문자 a = min(A)가 존재하고, 어떤 무한 단어 s가 존재해 모든 사전식 순서에 대해 min(w) = a s 가 되면 w를 fine라 부른다. 2문자 알파벳 {a,b}에서는 (min(w),max(w)) = (a s, b s)와 동치이며, 이는 Pirillo가 2문자 경우에 제시한 Sturmian·skew Sturmian 분류와 일치한다. 논문은 먼저 기본 용어와 표기법을 정리한다. 단어의 길이, 접두사·접미사·인자, 알파벳의 사전식 순서, 그리고 morphism과 자유군 F(A)의 개념을 소개한다. 특히 epistandard morphism Ψ_a (a∈A)를 정의하고, 이는 a를 고정하고 다른 문자 x를 ax 로 바꾸는 비소멸성 morphism이며, 자유군 위에서는 양의 자동사이다. 이러한 morphism들의 합성으로 형성되는 epistandard morphism 군은 episturmian 단어를 생성하는 핵심 도구가 된다. 다음으로 episturmian 단어의 정의와 성질을 제시한다. episturmian 단어는 인자 집합이 역전 폐쇄성을 가지며, 각 길이에 대해 오른쪽(또는 왼쪽) 특수 인자가 최대 하나인 무한 단어이다. ‘표준(epistandard)’ episturmian 단어는 모든 왼쪽 특수 인자가 그 자체의 접두사인 경우이며, 이는 직접어(directive word) ∆(s)=x₁x₂… 로 기술된다. ∆(s)의 각 문자에 대응하는 morphism Ψ_{x_i}를 순차적으로 적용해 얻은 팔린드롬 접두사들의 극한이 바로 s가 된다. ‘strict’는 ∆(s) 안에 알파벳 A의 모든 문자가 무한히 나타나는 경우를 의미한다. strict episturmian 단어는 바로 Arnoux‑Rauzy 시퀀스로, 복잡도는 (|A|−1)n+1 로 최소 복잡도를 갖는다. ‘skew episturmian’은 비재귀적(infinite non‑recurrent) 형태로, 전체 구조는 주기적이 아니지만 모든 유한 인자는 어떤 strict episturmian 단어의 인자와 동일하다. 즉, 스큐 단어는 “모든 인자는 episturmian이지만 전체는 episturmian이 아니다”는 특성을 가진다. 논문에서는 이러한 스큐 단어를 ‘strict skew episturmian’이라 명명한다. 핵심 정리를 증명하기 위해 여러 보조 결과가 제시된다. Proposition 4.2와 4.3은 각각 표준 Arnoux‑Rauzy 시퀀스와 표준 episturmian 단어가 사전식 최소성 조건 a s ≤ min(s) 혹은 a s = min(s) 를 만족함을 보인다. Lemma 4.4는 epistandard morphism Ψ_z가 적용된 두 단어 t=Ψ_z(t^{(1)}), s=Ψ_z(s^{(1)})에 대해 min(t)=a s ⇔ min(t^{(1)})=a s^{(1)} 를 증명한다. 이는 사전식 최소 인자가 morphism에 의해 보존되는 핵심 메커니즘을 제공한다. Remark 4.5는 z가 알파벳에 포함되지 않을 경우에도 최소 인자가 어떻게 변하는지를 설명한다. Theorem 4.6(주요 정리)은 “w가 fine ⇔ w가 strict episturmian 혹은 strict skew episturmian”이라는 양방향 명제를 증명한다. (⇒) 방향에서는 fine 조건을 이용해 w를 연속적인 epistandard morphism들의 합성 형태로 분해하고, 그 결과가 strict episturmian이거나, 그렇지 않으면 스큐 형태임을 보인다. (⇐) 방향에서는 이미 알려진 strict episturmian·skew episturmian의 구조적 특성으로부터 직접 min(w)=a s 를 구성한다. 따라서 2문자 경우에 Pirillo가 제시한 Sturmian·skew Sturmian 결과가 일반 알파벳에서도 동일하게 적용됨을 확인한다. 결론적으로, 논문은 fine word라는 새로운 개념을 도입하고, 이를 episturmian 이론과 연결함으로써 무한 단어의 사전식 최소성 특성을 완전히 분류한다. 이 과정에서 epistandard morphism의 가역성, 직접어의 무한 반복성, 그리고 스큐 구조의 비재귀성이라는 세 가지 핵심 아이디어가 조화롭게 활용된다. 또한, 기존 Sturmian·skew Sturmian 분류를 다중 알파벳으로 일반화함으로써 combinatorics on words 분야에 중요한 확장을 제공한다.