풍부함·스투르미안·트라페지오드 단어의 삼위일체

초록

이 논문은 풍부한 단어, 스투르미안 단어, 트라페지오드 단어 사이의 관계를 밝히고, 트라페지오드 팰린드롬은 오직 스투르미안 팰린드롬뿐임을 증명한다. 또한 풍부 팰린드롬과 스투르미안 팰린드롬을 각각 부분어 복잡도와 팰린드롬 복잡도 사이의 등식으로 특징짓는다.

상세 분석

본 연구는 먼저 풍부한 단어(rich word)의 정의를 복습한다. 풍부한 단어는 길이 |W|인 유한 단어 W가 정확히 |W|+1개의 서로 다른 팰린드롬 부분어를 포함할 때를 말한다. Droubay‑Justin‑Pirillo의 결과에 따라 모든 스투르미안 단어는 풍부하지만 그 역은 성립하지 않는다. 트라페지오드 단어는 부분어 복잡도 C_W(n)가 증가‑평탄‑감소의 세 구간을 이루는 형태, 즉 |W| = R_W + K_W (R_W는 오른쪽 특수 부분어의 최소 길이, K_W는 가장 짧은 비반복 접미사의 길이) 로 정의된다. 저자는 모든 트라페지오드 단어가 풍부함을 귀납적으로 증명하고, 반례로 aa bbaa가 풍부하지만 트라페지오드가 아님을 제시한다.

핵심 정리는 두 가지이다. 첫 번째는 풍부 팰린드롬에 대한 등식
 (P_W(n) + P_W(n+1)) = (C_W(n+1) – C_W(n)) + 2, 0 ≤ n ≤ |W|,
를 제시한다. 여기서 P_W(n)은 길이 n인 서로 다른 팰린드롬 부분어의 개수이다. 이 등식은 풍부 팰린드롬이면 반드시 성립하고, 반대로 등식이 성립하면 W가 풍부 팰린드롬임을 보인다. 증명은 풍부성의 완전 반환(complete return) 특성을 이용하고, 부분어 복잡도와 팰린드롬 복잡도의 차이를 세밀히 추적한다.

두 번째 정리는 스투르미안 팰린드롬을 세 가지 동등한 조건으로 묘사한다. (A’) W가 스투르미안 팰린드롬, (B’) 모든 n에 대해 P_W(n) + P_W(N−n) = 2, (C’) W가 트라페지오드 팰린드롬이다. (B’)는 팰린드롬 복잡도가 0,1,2만을 취하고 대칭성을 보이는 형태이며, (C’)는 부분어 복잡도 차이 D_W(n)=C_W(n+1)−C_W(n) 가 1,0,−1의 구간을 이루는 트라페지오드 구조와 일치한다. 저자는 (A’)⇒(C’)는 기존 결과를 인용하고, (C’)⇒(A’)는 트라페지오드 팰린드롬이 이진 알파벳 위에 존재하고, 풍부성으로부터 가장 긴 반복 접미사를 이용해 최소 주기를 구해 스투르미안임을 귀납적으로 증명한다. 또한 (B’)⇔(A’)는 팰린드롬 복잡도의 값이 0,1,2에 제한되는 점과, 스투르미안 단어가 균형(balanced) 성질을 만족한다는 사실을 활용한다. 전체적으로 복합적인 반환어(return word)와 주기 이론을 결합해 복잡도 함수 사이의 정밀한 관계를 밝혀냈다.

이 논문의 주요 기여는 (1) 트라페지오드 팰린드롬이 스투르미안 팰린드롬과 동치임을 증명함으로써 트라페지오드 성질이 팰린드롬에 한정될 때 완전한 특성을 갖는다는 점, (2) 풍부 팰린드롬과 스투르미안 팰린드롬을 각각 복잡도 함수의 선형 관계식으로 완전하게 특징짓는 새로운 정리들을 제시한 것이다. 이러한 결과는 풍부성, 스투르미안성, 트라페지오드성이라는 세 클래스를 복합적으로 이해하는 데 중요한 이론적 토대를 제공한다.