특권 단어와 스투르미안 단어의 복잡도

초록

이 논문은 ‘특권 단어(privileged words)’라는 새로운 단어 클래스를 정의하고, 그 기본 성질을 전개한다. 특권 단어는 회문과 유사한 구조적 특징을 가지며, 풍부한 단어(rich words), 스투르미안(sturmian) 및 에피스투르미안(episturmian) 단어와의 관계를 조사한다. 특히, 스투르미안 단어를 특권 복잡도(privileged complexity) 관점에서 새롭게 특징짓는 정리를 제시하고, 투에-모스(Thue‑Morse) 단어에 대한 특권 복잡도도 간략히 분석한다.

상세 분석

특권 단어는 “특권 접두사(privileged prefix)”라는 개념을 기반으로 정의된다. 길이 n 인 단어 w 가 특권 단어가 되려면, w의 가장 긴 특권 접두사가 w 자체이며, 그 접두사는 길이 n‑1 인 특권 단어와 동일해야 한다는 재귀적 조건을 만족한다. 이 정의는 회문이 “가장 긴 회문 접두사가 자기 자신”이라는 성질과 직접적으로 유사하다. 논문은 먼저 특권 단어가 항상 고유한 특권 접두사를 갖는다는 사실을 증명하고, 이를 이용해 특권 단어 집합이 접두사-폐쇄(prefix‑closed)임을 보인다. 즉, 특권 단어의 모든 접두사는 다시 특권 단어가 된다.

다음으로 특권 단어와 풍부한 단어 사이의 포함 관계를 탐구한다. 풍부한 단어는 모든 길이 n 에 대해 정확히 n + 1 개의 회문을 포함하는데, 특권 단어 역시 같은 방식으로 “특권 복잡도” P_w(n) 을 정의할 수 있다. 저자는 P_w(n) ≤ n + 1 임을 보이며, 등호가 성립하는 경우를 ‘특권 풍부(privileged‑rich)’라고 명명한다. 흥미롭게도, 모든 회문 풍부 단어는 자동으로 특권 풍부가 되지만, 그 역은 일반적으로 성립하지 않는다.

스투르미안 단어와의 연결 고리는 논문의 핵심이다. 스투르미안 단어는 이진 알파벳 위에서 복잡도 C_w(n) = n + 1 을 만족하는 최소 복잡도 무한 단어이며, 기존에는 균형성(balanced)과 비주기성(aperiodicity)으로 특징지어졌다. 저자는 특권 복잡도 P_w(n) 이 모든 n 에 대해 P_w(n) = 2 또는 P_w(n) = n + 1 인 경우에만 스투르미안 단어가 될 수 있음을 증명한다. 구체적으로, 스투르미안 단어는 길이 n 에 대해 정확히 두 개의 특권 단어(길이 0 과 n)만을 포함하고, 이는 특권 복잡도가 최소값 2를 유지함을 의미한다. 반대로, 특권 복잡도가 n + 1 에 도달하면 단어는 회문 풍부와 동일한 구조를 가지며, 이는 스투르미안이 아닌 경우에 해당한다. 이 정리는 스투르미안 단어를 특권 복잡도 관점에서 완전히 새롭게 규정함으로써, 기존의 복잡도 이론과 특권 구조 사이의 깊은 연관성을 드러낸다.

마지막으로 투에‑모스 단어에 대한 특권 복잡도를 조사한다. 투에‑모스 단어는 자가‑동형성(self‑similar)과 높은 회문 복잡도로 유명하지만, 특권 복잡도는 상대적으로 낮다. 저자는 실험적 계산을 통해 P_{TM}(n) 이 n 에 대해 주기적으로 2와 4 사이를 오가며, 이는 투에‑모스가 특권 풍부가 아님을 확인한다. 또한, 특권 접두사의 길이 분포가 이진 자동수열의 구조와 일치함을 보이며, 특권 복잡도가 자동수열의 다른 복잡도 지표와 어떻게 차별화되는지를 논의한다. 전체적으로, 논문은 특권 단어라는 새로운 관점을 통해 기존 언어 이론에 새로운 도구와 시각을 제공한다.