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

본 논문은 회문 복잡도와 인자 복잡도 사이의 관계를 심도 있게 탐구한다. 서론에서는 이전 연구에서 제시된 불평등 P(n)≤16 n C(n)+j n⁴ k와, 라우지 그래프를 이용한 상한 P(n)+P(n+1)≤C(n+1)−C(n)+2 를 소개한다. 특히, 등호가 자주 나타나는 사례들(Arnoux‑Rauzy 시퀀스, 구현‑대칭 시퀀스, β‑전개 등)을 언급하며, 이러한 현상을 일반화할 필요성을 제기한다. 제2절에서는 기본 정의와 기초 결과를 정리한다. 알파벳 A, 무한 단어 w, 인자 집합 F(w)·Fₙ(w), 회문 복잡도 P(n), 인자 복잡도 C(n) 등을 명시하고, 인자 집합이 역전으로 닫혀 있으면 w는 재발한다는 명제 2.2 를 증명한다. 이어서 ‘리치(rich) 단어’ 개념을 도입한다. 리치 단어는 모든 인자 u가 |u|+1개의 서로 다른 회문을 포함하고, 이는 완전 반환이 회문이라는 성질(I)과 동치임을 명제 1.2 로 정리한다. 핵심 기여는 명제 2.3 과 2.4 로, 전자는 “v로 시작해 ˜v로 끝나는 인자는 회문이다”는 새로운 특징을, 후자는 “비회문 v에 대한 완전 반환 안에서 ˜v는 유일하게 등장한다”는 사실을 각각 ‘if‑only‑if’ 형태로 증명한다. 이 두 명제는 리치 단어의 구조적 특성을 보다 직관적으로 파악하게 해준다. 제3절에서는 라우지 그래프 Γₙ(w)와 그 축소 그래프 Γ′ₙ(w)를 정의하고, 특수 인자(special factor)와 단순 경로(simple path)의 개념을 도입한다. 식 (3.1)·(3.2) 로부터 C(n+1)−C(n) 은 특수 인자들의 차수 초과분 합과 같음을 보이며, 이는 복잡도 식 II와 직접 연결된다. Lemma 3.2‑3.4 를 통해, 라우지 그래프의 비특수 정점들로 이루어진 경로 라벨은 항상 리치 단어이며, 경로가 회문 구조를 유지한다는 것을 귀납적으로 증명한다. 특히, Lemma 3.3 은 경로 자체가 회문임을, Lemma 3.4 는 비회문 인자 v에 대한 경로가 반드시 ˜v를 한 번만 통과함을 보인다. 이를 바탕으로, 특수 인자들 사이의 연결이 사이클 없이 트리 형태임을 확인한다. 트리 구조는 각 레벨 n 에서 정확히 하나의 ‘좌·우 특수’ 인자가 존재함을 의미하고, 이는 바로 식 II 가 성립함을 의미한다. 제4절에서는 결과의 여러 파생을 논한다. 첫째, 리치 단어가 재발이면 인자 집합이 역전으로 닫힌다는 사실을 다시 확인한다(명제 2.2). 둘째, 기존에 알려진 ‘리치 단어’의 대표적 예시(에피스트루미안, Arnoux‑Rauzy, Fisc­hler‑type 등)를 모두 이 정리의 적용 대상임을 보여준다. 셋째, 완전 반환이 회문이라는 조건(I)이 실제로는 라우지 그래프의 구조적 제약을 의미한다는 점을 강조한다. 마지막으로, 이 연구가 앞으로 비주기적, 비균등 재발 단어들의 복잡도 분석에 활용될 가능성을 제시한다. 결론적으로, 논문은 “인자 집합이 역전으로 닫힌 무한 단어는 완전 반환이 회문인 경우와 복잡도 식 P(n)+P(n+1)=C(n+1)−C(n)+2 가 동시에 만족한다”는 강력한 동등성을 증명한다. 이는 기존의 상한 결과를 정확히 만족하는 클래스(‘리치 단어’)를 완전히 규정짓는 동시에, 라우지 그래프와 회문 구조 사이의 깊은 연결 고리를 밝힌다.