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

본 논문은 풍부한 단어(rich word), 스투르미안 단어(Sturmian word), 트라페지오드 단어(trapezoidal word)라는 세 가지 중요한 단어 클래스를 연결하고, 특히 팰린드롬에 초점을 맞춰 이들 사이의 미묘한 관계를 밝힌다. 1. **배경 및 정의** - **풍부한 단어**: 길이 |W|인 유한 단어 W가 정확히 |W|+1개의 서로 다른 팰린드롬 부분어를 포함할 때를 말한다. Droubay‑Justin‑Pirillo의 정리에 따라 모든 단어는 최대 |W|+1개의 팰린드롬을 가질 수 있다. - **스투르미안 단어**: 무한 단어 W에 대해 부분어 복잡도 C_W(n)=n+1 (모든 n≥0)인 경우이며, 팰린드롬 복잡도는 짝수 n에 대해 1, 홀수 n에 대해 2인 특성을 가진다. - **트라페지오드 단어**: 유한 단어 W에 대해 C_W(n)이 일정 구간에서 1씩 증가, 일정 구간에서 일정, 다시 같은 길이 구간에서 1씩 감소하는 ‘트라페지오드’ 형태를 보이며, |W|=R_W+K_W (R_W는 오른쪽 특수 부분어의 최소 길이, K_W는 가장 짧은 비반복 접미사의 길이) 로 정의된다. 2. **주요 정리 1 – 트라페지오드 단어는 풍부** - 귀납법을 이용해 |W|≤2인 경우는 자명하고, 가정하에 트라페지오드 단어 W가 풍부하지 않다면 완전 반환이 팰린드롬이 아닌 경우가 존재한다. 이 경우 알파벳이 이진임을 이용해 반환 형태를 aU a 로 표현하고, 복잡도와 최소 주기 관계를 분석하면 W가 스투르미안이 되므로 모순이 발생한다. 따라서 모든 트라페지오드 단어는 풍부하다. 반례로 aa bbaa는 풍부하지만 트라페지오드가 아니다. 3. **주요 정리 2 – 풍부 팰린드롬의 복잡도 등식** - 정리 1은 다음 두 조건이 동치임을 보인다. (A) W가 풍부 팰린드롬, (B) 모든 n에 대해 P_W(n)+P_W(n+1)=C_W(n+1)−C_W(n)+2. - (B)⇒(A): n=|W|을 대입해 P_W(|W|)=1, 즉 W가 팰린드롬임을 얻는다. 이후 전체 팰린드롬 수 S를 구하면 S=|W|+1이므로 풍부함이 증명된다. - (A)⇒(B): 귀납적으로 풍부 팰린드롬 V(길이 N−2)를 이용해 등식이 성립함을 보이고, W와 V 사이의 새로운 부분어 U를 분석한다. U는 반드시 앞·뒤 접두·접미사이면서 팰린드롬이어야 하며, 이를 통해 등식이 모든 n에 대해 유지됨을 증명한다. 4. **주요 정리 3 – 스투르미안 팰린드롬의 세 가지 동등조건** - 정리 2는 다음을 동등하게 만든다. (A') W가 스투르미안 팰린드롬, (B') 모든 n에 대해 P_W(n)+P_W(N−n)=2, (C') W가 트라페지오드 팰린드롬. - (A')⇒(B'): 스투르미안 단어의 팰린드롬 복잡도는 0,1,2만을 취하고 대칭성을 갖는다. 이를 이용해 식 (B')를 직접 확인한다. - (B')⇒(A'): P_W(1)이 1이면 상수 단어, 2이면 이진 팰린드롬이며, 균형성(balanced) 특성을 이용해 스투르미안임을 증명한다. 균형성이 깨지면 두 개의 서로 다른 팰린드롬이 같은 길이에 존재하게 되며, 이는 (B')와 모순된다. - (A')⇒(C'): 기존 결과에 의해 모든 스투르미안 단어는 트라페지오드이므로 즉시 성립한다. - (C')⇒(A'): 트라페지오드 팰린드롬은 이진 알파벳 위에 존재하고, 풍부성으로부터 가장 긴 반복 접미사와 최소 주기를 구하면 R_W+1=π_W가 되고, 이는 Proposition 28 of