에피스트루미안 단어의 지시어: 동치성 및 정규화

본 논문은 에피스트루미안 단어(Episturmian word)의 지시어(Directive word)와 그 동치성, 그리고 정규화 방법을 체계적으로 연구한다. 서론에서는 Sturmian 단어의 일반화로서 에피스트루미안 단어가 어떻게 정의되는지를 간략히 소개하고, 에피스트루미안 모핑(Episturmian morphism)의 중요성을 강조한다. 특히, 모든 에피스트루미안 단어는 순수 에피스트루미안 모핑(Lₐ·Rₐ)의 무한 합성으로 표현될 수 있다는 점을 바탕으로, 지시어라는 무한 스핀 문자열이 해당 단어를 완전히 규정한다는 점을 강조한다. **2장**에서는 기본 용어와 기존 이론을 정리한다. 알파벳 A, 단어와 길이, 스핀(L, R) 개념, 그리고 스핀된 단어(Spinned word)의 정의를 제시한다. 에피스트루미안 단어는 ‘요인 집합이 역전(closed under reversal)되고, 각 길이에 대해 최대 하나의 오른쪽(또는 왼쪽) 특수 요인만을 갖는다’는 특성으로 정의된다. 표준 에피스트루미안 단어(Epistandard word)는 모든 왼쪽 특수 요인이 접두사라는 추가 조건을 만족한다. 다음으로 **에피스트루미안 모핑**을 소개한다. Lₐ와 Rₐ는 각각 문자 a를 기준으로 다른 문자들의 왼쪽·오른쪽에 a를 삽입하는 사상이며, 순수 에피스트루미안 모핑은 Lₐ·Rₐ의 임의 조합으로 구성된다. 이 모핑들은 전단사(monad)이며, 좌측 결합성을 갖는다(즉, f·g = f·h ⇒ g = h). **정리 2.1**은 에피스트루미안 단어와 지시어 사이의 핵심 연결고리를 제공한다. (i) 표준 에피스트루미안 단어는 무한 Lₓₙ 합성으로, (ii) 일반 에피스트루미안 단어는 스핀된 지시어 Δ̂와 재귀적 전이 t⁽ⁿ⁾ = μ_{Δ̂ₙ}(t⁽ⁿ⁺¹⁾) 로 표현된다. 여기서 μ_{Δ̂ₙ}는 Δ̂ₙ에 대응하는 순수 모핑이다. **정리 2.2**에서는 스핀 구조에 따른 지시어의 유일성/다중성을 분석한다. L-스핀만으로 이루어진 무한 지시어는 정확히 하나의 에피스트루미안 단어를 만든다. 반면, R-스핀만으로 이루어진 경우에는 Ult(Δ) (무한히 자주 등장하는 문자 집합)의 크기만큼의 서로 다른 에피스트루미안 단어를 만든다. 또한, R-스핀 지시어에 특정 문자 a가 Ult에 포함될 때, 그 문자 a로 시작하는 에피스트루미안 단어는 유일하게 결정된다. **3장**에서는 기존 연구에서 제시된 ‘블록 동치(Block‑equivalence)’ 개념을 재검토한다. 블록 동치는 두 지시어가 동일한 블록(연속된 동일 스핀 구간) 구조를 공유할 때 같은 에피스트루미안 모핑을 생성한다는 정의이며, 이는 주로 유한 지시어에 적용되었다. 저자들은 이 개념이 무한 지시어와 비주기적 경우에 충분히 일반적이지 않음을 지적한다. **4장**은 논문의 핵심 결과인 **정규화 정리**(Theorem 5.2)를 제시한다. 정규화 과정은 다음 단계로 구성된다. 1. **스핀 이동 규칙**: 연속된 R‑스핀 구간을 가능한 한 앞쪽으로 옮겨 L‑스핀과 겹치지 않게 만든다. 2. **스핀 압축 규칙**: 동일 문자에 대한 연속된 L‑스핀을 하나로 압축한다(예: LₐLₐ → Lₐ). 3. **우측 우선 순위**: 각 문자 a에 대해 최초 등장 시점에 L‑스핀을 배치하고, 그 이후 모든 a는 R‑스핀으로 표기한다. 이 과정을 거치면, 어떤 에피스트루미안 단어라도 **정규화된 지시어(Normalized Directive Word)**를 갖게 되며, 이는 **유일**한다. 즉, 서로 다른 스핀 배열을 가진 두 지시어가 같은 단어를 만든다면, 정규화 후에는 동일한 형태가 된다. 정규화된 지시어의 존재와 유일성은 **유일 지시어를 갖는 에피스트루미안 단어**를 구분하는 기준이 된다. 저자들은 다음과 같은 조건을 제시한다. - **조건 A**: 정규화된 지시어가 전부 L‑스핀만을 포함한다(즉, 모든 문자에 대해 최초 등장 시점에만 L‑스핀이 존재). - **조건 B**: 정규화된 지시어가 전부 R‑스핀만을 포함하고, Ult(Δ) = {a} (즉, 무한히 자주 등장하는 문자가 하나뿐)인 경우. 위 두 경우에 해당하는 에피스트루미안 단어는 **유일한 지시어**를 가진다. 이는 Sturmian 단어가 2문자 알파벳에서 유일 지시어를 갖는 기존 결과를 일반 알파벳 크기로 확장한 것이다. 또한, 정규화된 지시어를 이용해 **주기성**과 **비주기성**을 명확히 구분한다. 주기적 에피스트루미안 단어는 정규화된 지시어가 형태 μ_{ŵ}(x)ω 로 표현되며, 여기서 ŵ는 유한 스핀 단어, x는 단일 문자이다. 비주기적 경우에는 정규화된 지시어가 무한히 다양한 L‑스핀·R‑스핀 패턴을 포함한다. **5장**에서는 정규화 정리를 활용한 응용 사례를 제시한다. 특히, **quasiperiodic** 에피스트루미안 단어(모든 구간이 일정한 길이의 ‘quasiperiod’에 의해 덮이는 경우)를 완전하게 특성화한다. 저자들은 이전에 제시된 ‘Arnoux‑Rauzy’ 시퀀스와 그 이미지들을 포함하는 넓은 클래스에 대해, 정규화된 지시어가 존재하면 해당 단어가 quasiperiodic임을 보인다. 마지막으로, 논문은 **미래 연구 방향**으로 다음을 제안한다. (1) 정규화된 지시어를 이용한 **동형 사상**(isomorphism) 분류, (2) **S‑adic 시스템**과의 연계 연구, (3) **복합 알파벳**(예: 무한 알파벳)에서의 정규화 가능성 탐구. 전반적으로, 이 논문은 에피스트루미안 단어의 지시어 이론을 한 단계 끌어올려, 동치성 판단을 블록에 의존하지 않고 스핀 구조 자체로 해결하며, 정규화 과정을 통해 모든 에피스트루미안 단어에 대해 유일한 표준 지시어를 제공한다는 점에서 이 분야에 중요한 기여를 한다.