일반화된 회문화 지도와 코드 기반 무한 단어

초록

코드 X를 이용해 자유 모노이드 A*의 회문화 지도 ψ를 확장한 ψ_X를 정의하고, X가 유한·최대 코드일 때 X‑AR 단어를 도입한다. ψ_X의 보존성, 보수성, 그리고 θ‑회문화 확장까지 체계적으로 분석하며, X‑AR 단어가 표준 Arnoux‑Rauzy 단어의 형태사상임을 보이고 복잡도 상·하한을 제시한다.

상세 분석

논문은 기존의 회문화 지도 ψ(·)를 일반화하여, 임의의 코드 X⊆A⁺ 위에 정의된 ψ_X: X*→PAL을 연구한다. 기본 정의는 ψ_X(ε)=ε, ψ_X(x)=x^{(+)}(x∈X), ψ_X(wx)=(ψ_X(w)x)^{(+)}이며, 여기서 (·)^{(+)}는 오른쪽 회문 폐쇄 연산이다. X=A이면 ψ_X는 기존 ψ와 일치한다.

첫 번째 주요 결과는 ψ_X가 일반적으로 전단사(injective)하지 않지만, X가 프리픽스 코드이면 ψ_X는 전단사가 된다는 점이다. 또한 ψ_X(w)는 ψ_X(wx)의 접두사라는 기본적인 전이 성질(P1)도 유지한다.

다음으로 X에 유한한 해독 지연(finite deciphering delay)이 있으면 ψ_X를 무한 단어 X^ω에 자연스럽게 연장할 수 있다. 이때 ψ_X(t)는 항상 회문적으로 닫힌 단어이며, X가 프리픽스 코드이면 연장된 ψ_X는 전단사이다. 특히, X가 유한하고 최대 코드(maximal code)일 경우 해독 지연이 0이므로 X는 최대 프리픽스 코드가 된다.

이러한 설정에서 저자들은 X‑AR 단어(일반화된 Arnoux‑Rauzy 단어)를 정의한다. y=x₁x₂…∈X^ω에 대해, 각 x∈X가 무한히 많이 등장하면 s=ψ_X(y)를 X‑AR 단어라 한다. 주요 성질은 다음과 같다.

1. s는 ω‑거듭 제곱(ω‑power) 자유이며, 모든 비공백 인자는 제한된 거듭 제곱만을 포함한다.
2. 오른쪽 특수 인자(right special factors)의 수 S_r(n)는 충분히 큰 n에 대해 (|X|−1)/(d−1) (d=|A|) 이하의 하한을 갖는다.
3. 복잡도 p_s(n)은 선형 하한 (|X|−1)n + c와 선형 상한 2|X|n + b (c,b∈ℤ) 사이에 있다. 이는 Justin의 공식 일반화와 Schützenberger의 최대 코드 이론을 활용한 결과이다.

또한 모든 X‑AR 단어는 알파벳 크기가 |X|인 표준 Arnoux‑Rauzy 단어의 형태사상(morphic image)임을 증명한다. 구체적으로, 적절한 전단사 코딩 φ:A’⁎→X⁎(여기서 A’는 |X|개의 문자)와 전단사 ψ를 결합해 ψ_X∘φ=φ∘ψ가 되도록 구성한다.

보존성(conservative) 개념도 도입한다. ψ_X가 X를 X 안에 보존한다면(ψ_X(X*)⊆X*) 이를 보수적이라 하고, 충분조건으로 X가 회문 집합(PAL)에 포함되고 양방향 코드(bifix)일 때 성립함을 보인다. 특히, φ가 전단사이고 φ(A)=X인 경우 ψ_X가 morphic‑conservative이면 X⊆PAL이며 X는 프리픽스이자 보수적이어야 한다는 강력한 제약이 나온다.

마지막으로, ψ_X를 θ‑회문 폐쇄(θ는 임의의 반전 반동형)로 교체한 ψ_{θ,X}를 정의한다. 이 경우 PAL을 θ‑PAL(θ‑회문)으로 바꾸어 동일한 구조적 결과를 얻으며, θ‑표준 단어(θ‑standard words)의 확장 클래스를 만든다. μ_θ라는 특수 전단사(문자 a가 θ(a)=a이면 a, 그렇지 않으면 aθ(a)로 매핑)를 이용해 ψ_{θ,X}=μ_θ∘ψ_X∘μ_θ^{-1}임을 보인다.

전체적으로 논문은 코드 이론, 회문 폐쇄 연산, 그리고 복잡도 이론을 결합해 기존 에피스트루미안·Arnoux‑Rauzy 이론을 크게 일반화하고, 새로운 무한 단어 클래스와 그 구조적 특성을 체계적으로 제시한다.