Bifix 코드와 Sturmian 단어의 관계

초록

본 논문은 자유군 위의 부분군 지수와 연결된 Sturmian 집합 내에서의 최대 bifix 코드(F‑maximal bifix code)의 구조를 조사한다. Sturmian 집합 $F$에서 차수 $d$인 $F$‑maximal bifix 코드가 정확히 $(k-1)d+1$개의 원소를 가지며, 이는 길이 $d$인 $F$의 단어 수와 일치한다는 결과를 보인다. 또한, 이러한 코드는 자유군 $A^{*}$의 지수 $d$인 부분군의 기저가 됨을 증명하고, 무한 단어가 제한된 수의 $X$‑요소만을 포함하면 결국 주기적임을 보인다.

상세 분석

이 논문은 형식언어 이론과 자유군 이론을 연결하는 새로운 교차점을 제시한다. 먼저, 저자들은 ‘bifix 코드’라는 개념을 일반적인 ‘maximal bifix code’에서 확장하여, 주어진 재발 집합 $F$에 대해 최대성을 정의한다. $F$‑maximal bifix 코드는 $F$ 안에서 더 이상 확장할 수 없는 양쪽 접두·접미사 자유 집합이며, 그 차수 $d$는 코드가 커버하는 $F$‑요소들의 길이와 직접적인 관계를 가진다. 특히 Sturmian 집합, 즉 엄격한 episturmian 단어의 인자 집합에 적용했을 때, 차수 $d$인 $F$‑maximal bifix 코드의 원소 수는 $(k-1)d+1$이라는 간단한 식으로 표현된다. 여기서 $k$는 알파벳 $A$의 크기이다. 이 식은 기존 Sturmian 집합이 길이 $d$인 단어를 정확히 $(k-1)d+1$개 포함한다는 사실을 일반화한 것으로, 코드와 단어 집합 사이의 동형성을 강조한다.

주요 정리 중 하나는 “$F$‑maximal bifix 코드 $X$는 자유군 $A^{*}$의 지수 $d$인 부분군의 기저가 된다”는 명제이다. 이를 증명하기 위해 저자들은 코드를 그래프 이론적 구조인 ‘Rauzy 그래프’와 연결하고, 해당 그래프의 강연결성 및 사이클 구조를 이용해 자유군의 코사인 분할을 구성한다. 결과적으로 $X$의 각 원소는 자유군의 생성원으로 작용하며, $X$가 생성하는 부분군의 왼쪽 코사인 수가 정확히 $d$임을 보인다. 이는 전통적인 ‘maximal bifix code = basis of index‑$d$ subgroup’ 결과를 $F$‑maximal 상황으로 일반화한 것으로, Sturmian 집합이라는 특수한 재발 구조에서도 동일한 군론적 성질이 유지된다는 점에서 의미가 크다.

또 다른 흥미로운 결과는 무한 단어 $x$에 대해 “어떤 유한 최대 bifix 코드 $X$가 차수 $d$를 갖고, $x$가 $X$에 속하는 길이 $d$의 인자를 $d$개 이하만 포함한다면 $x$는 결국 주기적이다”는 정리이다. 이는 코드가 단어의 복잡도와 주기성을 판단하는 새로운 도구가 될 수 있음을 시사한다. 증명은 $X$가 생성하는 부분군의 지수와 $x$의 인자 집합 사이의 상호작용을 분석함으로써, 인자 수가 제한될 경우 해당 부분군이 유한 지수를 갖게 되고, 이는 결국 $x$가 유한 상태 기계에 의해 인식될 수 있음을 의미한다.

전반적으로 이 논문은 Sturmian 및 episturmian 구조를 가진 언어 집합에서 bifix 코드의 최대성, 군론적 기저, 그리고 복잡도와 주기성 사이의 깊은 연관성을 체계적으로 밝힌다. 특히, 코드 이론과 자유군 이론을 연결하는 방법론은 향후 형식언어, 동적 시스템, 그리고 코딩 이론 분야에서 새로운 연구 방향을 제시할 것으로 기대된다.