이진 알파벳에서 유한 매끄러운 단어들의 복잡도와 구조적 특성

초록

본 논문은 이진 정수 알파벳 {a,b} 위에서 정의되는 유한 매끄러운 단어(f‑smooth words)와 무한 매끄러운 단어(smooth words)의 관계를 밝히고, f‑smooth 단어들의 복잡도 p₍C∞f₎(n)이 Θ(n^{log(a+b)/log((a+b)/2)}) 형태로 성장한다는 Sing의 추측을 부분적으로 증명한다. 특히 짝수 알파벳에서는 상한을, 모든 이진 알파벳에서는 하한을, 홀수 알파벳에서는 기존 상한을 개선한다. 또한 f‑smooth 단어들이 정확히 매끄러운 단어들의 인자임을 보인다.

상세 분석

논문은 먼저 매끄러운 단어와 f‑smooth 단어의 정의를 일반 이진 알파벳 A={a,b} (1≤a<b)에 대해 확장한다. 무한 매끄러운 단어는 무한히 적용 가능한 파생 연산 D에 의해 정의되며, D는 구간 길이들을 알파벳 원소로 교체하는 런‑길이 인코딩을 모방한다. 반면 f‑smooth 단어는 유한 문자열에 대해 동일한 파생 연산 D_f를 반복 적용해 ε(빈 문자열)까지 도달할 수 있는 경우이며, 이는 파생 연산이 길이를 엄격히 감소시키는 성질을 이용한다. 논문은 이 두 개념 사이의 핵심 관계를 정리한 정리 1.31을 증명한다. 정리 1.31은 “모든 매끄러운 단어의 인자 집합은 정확히 C∞f와 같다”는 것을 보이며, 이는 복잡도 함수 p_{C∞}(n)와 p_{C∞f}(n)이 동일함을 즉시 의미한다. 이 결과는 기존에 Dekking이 제시한 “모든 매끄러운 단어의 인자는 f‑smooth 단어이다”라는 일방향 포함 관계를 양방향으로 확장한다.

복잡도 측면에서는 Sing이 제안한 추측 p_{C∞f}(n)=Θ(n^{ρ}) (ρ=log(a+b)/log((a+b)/2))를 다루며, 세 가지 경우로 나눠 증명을 시도한다. 첫째, a와 b가 모두 짝수인 ‘짝수 알파벳’에서는 정리 1.32를 통해 상한과 하한이 모두 ρ와 일치함을 보인다. 여기서 핵심 아이디어는 bispecial 인자들의 구조를 이용해 복잡도의 차분 b(n)=p(n+2)-2p(n+1)+p(n) 를 정확히 계산하고, 이를 통해 p(n)이 n^{ρ} 차수의 다항식으로 제한됨을 보인다. 둘째, 모든 이진 알파벳에 대해 하한을 증명한다. 이는 bispecial 인자들의 최소 성장률을 이용해 p(n)≥c·n^{ρ} (c>0) 를 얻는다. 셋째, a와 b가 모두 홀수인 ‘홀수 알파벳’에서는 기존 상한 n^{log(2b)/log((a+b)/2)}보다 더 강력한 n^{log(a+b)/log((a+b)/2)} 형태의 상한을 제시한다. 이를 위해 기존 증명에서 사용된 부정확한 가정을 교정하고, 새로운 길이‑높이 관계식을 도입한다.

또한 논문은 Huang의 이전 작업에서 발견된 오류를 상세히 설명하고, 그 오류가 복잡도 상한 추정에 미치는 영향을 분석한다. 이를 통해 기존 문헌에서 제시된 상한이 실제보다 과대평가되었음을 밝히고, 새로운 상한이 더 정확함을 보인다. 마지막으로, 짝수·홀수 알파벳에 대한 복잡도 결과가 Sing의 전체 추측을 완전히 증명하지는 못하지만, 하한과 상한이 모두 ρ 차수에 수렴함을 보여 추측의 타당성을 크게 강화한다. 논문은 또한 개별 매끄러운 단어의 복잡도와 문자 빈도 문제는 아직 남아 있는 난제임을 강조한다.