알파가 2보다 클 때마다 임계 지수 알파를 갖는 무한 이진 단어

초록

이 논문은 실수 α가 2보다 큰 모든 경우에 대해, 이진 알파벳 위에서 임계 지수가 정확히 α인 무한 단어가 존재함을 증명한다. 기존에 알려진 최소 임계 지수 존재 결과를 일반화하고, 새로운 구성 방법과 반복 구조 분석을 통해 원하는 임계 지수를 정밀히 조절할 수 있음을 보인다.

상세 요약

논문은 먼저 임계 지수(critical exponent)의 정의와 이진 단어에서의 기존 결과들을 정리한다. 임계 지수는 무한 단어 w에 대해 w가 포함하는 모든 유한 부분어 u에 대해 u가 p/q-거듭제곱 형태(즉, u = v^p·v’이며 |v’|/|v| = q−p)인 경우 그 지수 q/p의 상한값으로 정의된다. 이진 알파벳에서는 2보다 큰 임계 지수를 갖는 단어가 존재한다는 것이 알려져 있었지만, 임의의 실수 α>2에 대해 정확히 α를 달성하는 단어가 존재한다는 전면적인 증명은 없었다.

핵심 아이디어는 α를 유리수열 {α_n}으로 근사시키고, 각 α_n에 대응하는 유한 단어 w_n을 구성한 뒤, 이들을 적절히 연결하여 무한 단어 w = lim_{n→∞} w_n을 만든다. 각 w_n은 특정 모핑(morphism) φ_n을 적용해 생성되며, φ_n은 길이와 반복 구조를 정밀히 제어한다. 구체적으로 φ_n은 두 종류의 블록 A_n, B_n을 교대로 배치하는데, A_n은 길이 ℓ_n인 무패턴(avoidance) 블록이고, B_n는 ℓ_n·⌈α_n⌉ 길이의 반복 블록이다. 이렇게 하면 w_n 안에서 발생하는 최대 반복 지수는 α_n에 근접하고, φ_{n+1}은 w_n의 끝부분을 교체하면서 새로운 반복을 도입하지만 이전 단계에서 발생한 더 큰 지수는 유지되지 않도록 설계된다.

논문은 두 가지 주요 보조정리를 제시한다. 첫 번째는 “지수 제한 보조정리”로, φ_n이 적용된 후 생성되는 단어의 모든 부분어가 α_n+ε_n 이하의 지수만을 가짐을 보인다(ε_n은 n에 따라 0으로 수렴). 두 번째는 “극한 안정성 정리”로, w = lim w_n이 정의될 때, w에 포함되는 모든 유한 부분어는 어느 단계 n에서 이미 나타나므로, 그 지수는 sup_n α_n = α 로 제한된다. 이를 통해 w의 임계 지수가 정확히 α임을 엄밀히 증명한다.

또한, 논문은 기존의 Sturmian 단어와 Thue–Morse 단어가 갖는 특수한 반복 구조를 활용한다. Sturmian 단어는 최소 복잡도와 특정 비정수 기울기를 갖는데, 이를 α에 맞는 비율로 조정함으로써 원하는 지수를 얻을 수 있다. Thue–Morse 단어는 중복을 최소화하는 성질을 가지고 있어, φ_n 설계 시 중복이 과도하게 발생하지 않도록 보조 역할을 한다.

마지막으로, 저자는 이 구성 방법이 이진 알파벳에 국한되지 않고, 알파벳 크기가 k≥2인 경우에도 유사하게 확장될 수 있음을 언급한다. 특히, k-ary 알파벳에서는 임계 지수의 하한이 (k/(k−1))이므로, α가 그보다 큰 경우에 대해 동일한 근사-구성 전략을 적용하면 임계 지수가 α인 무한 k-ary 단어를 만들 수 있다.

전체적으로 논문은 임계 지수 조절을 위한 새로운 구성 프레임워크를 제시하고, 이를 통해 “모든 α>2에 대해 정확히 α를 갖는 이진 무한 단어가 존재한다”는 강력한 존재론적 결과를 확립한다.