회문과 복잡도 사이의 새로운 연결 고리

초록

이 논문은 무한 단어의 인자 집합이 역전(리버설)으로 닫혀 있을 때, “모든 회문에 대한 완전 반환이 회문이다”는 성질과 복잡도 식 P(n)+P(n+1)=C(n+1)−C(n)+2가 동등함을 증명한다. 이를 통해 ‘리치(word)’라 불리는 최대 회문 수를 갖는 단어들의 새로운 특징을 제시한다.

상세 분석

논문은 먼저 기본 용어를 정의한다. 알파벳 A 위의 무한 단어 w에 대해 길이 n의 인자를 Fₙ(w)라 하고, 인자 복잡도 C(n)=|Fₙ(w)|, 회문 복잡도 P(n)=|{u∈Fₙ(w) | u=ũ}| 로 설정한다. 인자 집합이 역전으로 닫혀 있다는 가정은 w가 모든 인자의 역전도 다시 인자로 포함한다는 의미이며, 이 경우 w는 자동으로 재발(recurrent)한다(명제 2.2).

핵심은 두 조건의 동등성을 보이는 정리 1.1이다.
(I) 모든 회문 v에 대한 완전 반환(complete return) r이 회문이다.
(II) 모든 n에 대해 P(n)+P(n+1)=C(n+1)−C(n)+2 가 성립한다.

조건 (I) 은 ‘리치’ 단어의 정의와 동치임이 알려져 있다(명제 1.2). 리치 단어는 길이 |u|+1개의 서로 다른 회문을 포함하는 특성을 갖는다. 저자들은 새로운 특징인 명제 2.3을 제시한다. 즉, 임의의 인자 v에 대해 “v로 시작해 ˜v(역전)로 끝나는, v와 ˜v를 내부 인자로 갖지 않는 모든 인자”는 반드시 회문이어야 한다는 것이다. 이 명제는 기존의 리치 정의와 동치임을 ‘if‑only‑if’ 증명을 통해 확인한다.

다음으로 명제 2.4는 비회문 인자 v에 대해 그 완전 반환 안에서 ˜v가 유일하게(한 번만) 등장한다는 사실을 보인다. 이는 완전 반환이 서로 다른 회문을 교차시켜 나타내는 구조적 제약을 의미한다.

증명 전략은 라우지 그래프(Rauzy graph)와 그 축소 형태인 Γ′ₙ(w)를 활용한다. 라우지 그래프는 정점 Fₙ(w), 간선 Fₙ₊₁(w) 로 구성되며, 특수 인자(special factor)는 입·출 차수가 2 이상인 정점이다. 식 (3.1)·(3.2) 로부터 C(n+1)−C(n) 은 특수 인자들의 차수 초과분의 합과 같음을 도출한다. 여기서 ‘단순 경로(simple path)’와 ‘축소 라우지 그래프’ 개념을 도입해, 특수 인자 사이의 경로가 회문 구조를 유지하도록 보인다(보조정리 3.2‑3.4). 특히, 경로 라벨 ℓ(P) 가 리치 단어임을 귀납적으로 증명함으로써, 모든 특수 인자 사이의 연결이 트리 형태임을 확인한다. 트리 구조는 차수 초과분이 정확히 1인 특수 인자만 존재함을 의미하고, 이는 식 II와 동치가 된다.

결과적으로, 인자 집합이 역전으로 닫힌 무한 단어는 ‘모든 회문에 대한 완전 반환이 회문’이라는 구조적 조건과 복잡도 식 P(n)+P(n+1)=C(n+1)−C(n)+2 사이에 완전한 일대일 대응이 있음을 보인다. 이는 기존에 알려진 상한 P(n)+P(n+1)≤C(n+1)−C(n)+2 를 만족하면서도 등호가 성립하는 단어들의 정확한 특징을 제공한다.