이분특수 스투르미안 단어와 크리스토펠 단어의 구조적 연결

초록

본 논문은 이분특수(st bispecial) 스투르미안 단어를 모든 크리스토펠 단어의 최대 내부 인자(maximal internal factor)로 정확히 규정하고, 이를 이용해 길이 n인 이분특수 스투르미안 단어의 개수를 2^{n+2}−φ(n+2) 로 구한다. 또한 스투르미안 언어의 최소 금지어(minimal forbidden words)를 비원시 크리스토펠 단어와 연결시켜 완전히 기술한다.

상세 분석

스투르미안 단어는 이진 알파벳 {a,b} 위에서 균형(balanced) 조건을 만족하는 유한 단어이며, 좌·우 확장 가능성에 따라 특수(st)와 이분특수(bispecial)로 구분된다. 기존 연구에서는 엄격히 이분특수인 경우가 바로 원시(primitive) 크리스토펠 단어의 중앙어(central word)와 동형임을 보였으며, 이는 “palindromic bispecial ⇔ maximal internal factor of primitive Christoffel”이라는 형태로 정리되었다. 본 논문의 핵심은 이 관계를 일반화하여, 모든 이분특수 스투르미안 단어 u에 대해 적절한 문자 x,y∈{a,b}가 존재해 xuy가 (필요조건 없이) 크리스토펠 단어가 됨을 증명한 것이다(정리 3.11).

이를 위해 저자는 먼저 스투르미안 언어 St가 factorial하고 extendible함을 재확인하고, 좌·우 특수성은 각각 SBS(엄격 이분특수) 단어의 접두·접미와 동등함을 보이는 보조 정리(Lemma 3.1)를 제시한다. 이어서 중앙어와 크리스토펠 단어 사이의 고전적 대응관계(Theorem 3.8)를 활용해, 비원시(비primitive) 크리스토펠 단어 w_{p,q}가 (aub)^r 형태임을 이용한다. 여기서 u는 정확히 xuy 형태의 내부 인자로, r≥1인 경우에도 u가 이분특수임을 보인다.

주요 결과인 정리 3.11은 “u∈BS ⇔ ∃x,y∈{a,b} : xuy ∈ Christoffel”를 선언하고, 이를 통해 길이 n인 이분특수 스투르미안 단어의 개수를 직접 계산한다. φ 함수는 n+2와 서로소인 정수의 개수를 세어, 전체 2^{n+2}개의 길이 n+2 이진 문자열 중에서 원시 크리스토펠 단어에 해당하지 않는 경우를 제외함으로써 2^{n+2}−φ(n+2)라는 식을 얻는다(Corollary 4.2).

또한 최소 금지어에 대한 연구에서는, 언어 L이 factorial일 때 최소 금지어는 “v₁…v_{n-1}, v₂…v_n ∈ L이지만 v₁…v_n ∉ L”인 단어로 정의한다. 저자는 St의 최소 금지어가 정확히 “y w x” 형태이며, 여기서 x w y는 비원시 크리스토펠 단어임을 보인다(Theorem 5.1). 이와 결합해 길이 n인 최소 금지어의 수는 2^{(n−1−φ(n))}임을 도출한다(Corollary 5.2).

이러한 결과는 스투르미안 언어의 구조를 크리스토펠 기하와 직접 연결시켜, combinatorial word theory와 discrete geometry 사이의 교량을 강화한다. 특히 비엄격 이분특수 단어가 이전에 상대적으로 무시되던 점을 해소하고, 모든 이분특수 단어가 동일한 기하학적 해석을 갖는다는 점을 명확히 함으로써, 향후 Sturmian 구조를 이용한 코딩, 데이터 압축, 그리고 생물정보학에서의 응용 가능성을 넓힌다.