트라페조이드 단어의 열린·닫힌 분류와 스투르미안 특성

초록

트라페조이드 단어를 ‘열린’과 ‘닫힌’ 두 종류로 구분하고, 열린 단어는 원시(primitive)이며 닫힌 단어는 모두 스투르미안임을 보였다. 또한 트라페조이드 팰린드롬은 반드시 닫힌 형태이며, 따라서 스투르미안 팰린드롬의 특수 인자들을 완전히 규명했다.

상세 분석

논문은 먼저 트라페조이드 단어의 정의를 복습한다. 복잡도 함수 f w(n)이 모든 n≥0에 대해 f w(n)≤n+1을 만족하는 이진 단어들을 말한다. 기존 연구에서 스투르미안 단어가 이 조건을 만족한다는 사실을 이용해, 트라페조이드 단어가 스투르미안 단어의 일반화임을 확인한다. 저자는 여기서 ‘닫힌’(closed)과 ‘열린’(open)이라는 새로운 이분법을 도입한다. 닫힌 단어는 가장 긴 반복 접두사가 정확히 두 번 등장하고, 두 번째 등장 위치가 단어의 접미사인 경우이며, 이는 ‘완전 반환’(complete return) 개념과 동등하다. 반대로 열린 단어는 이 조건을 만족하지 않는다.

핵심 정리는 다음과 같다. (1) 열린 트라페조이드 단어는 모두 원시이며, 즉 자기 자신을 거듭 제곱으로 표현할 수 없는 단어이다. 이는 Lemma 13에서 증명되며, 열린 단어가 반복 구조를 갖는다면 가장 긴 반복 접두사가 두 번 이상 나타나게 되어 닫힌 형태와 모순된다. (2) 닫힌 트라페조이드 단어는 반드시 스투르미안이다. Proposition 12는 비스투르미안 트라페조이드 단어가 Theorem 6에 의해 특정 형태(p·q)로 분해된다는 점을 이용해, 닫힌 경우에는 p와 q가 모두 스투르미안이므로 전체 단어도 스투르미안이 됨을 보인다. (3) 트라페조이드 팰린드롬은 언제나 닫힌 형태이며, 따라서 스투르미안 팰린드롬과 동치이다. Theorem 16은 이를 기존의 Theorem 7(트라페조이드 팰린드롬 ⇔ 스투르미안 팰린드롬)과 연결시켜, 팰린드롬이 닫힌 단어임을 새로운 관점에서 증명한다.

특수 인자(special factors)에 대한 분석도 눈에 띈다. 열린 단어에서는 가장 긴 반복 접두사가 동시에 가장 긴 오른쪽 특수 인자가 되고, 그 길이는 H w=R w, K w=L w이라는 관계가 성립한다 (Proposition 10, Lemma 11). 닫힌 경우에는 H w=K w, L w=R w가 되며, 가장 긴 특수 인자는 중심 단어(central word)임이 Lemma 14에서 밝혀진다. 이러한 관계는 트라페조이드 단어의 복잡도 그래프가 정규 사다리꼴 형태를 이루는 이유를 구조적으로 설명한다.

마지막으로 저자는 몇 가지 열린 문제를 제시한다. 예를 들어, 열린 트라페조이드 단어의 길이와 알파벳 크기 사이의 최적 경계, 혹은 닫힌 트라페조이드 단어의 자동 생성 알고리즘 등이 있다. 전체적으로 논문은 트라페조이드 단어를 기존의 스투르미안 이론과 연결시키면서, 새로운 분류 체계와 특수 인자에 대한 정밀한 관계식을 제공한다. 이는 조합론, 형식 언어 이론, 그리고 디지털 직선 코딩 등 다양한 응용 분야에서 활용 가능성을 열어준다.