정육면체 자유 이진 단어와 풍부한 제곱 구조

초록

이 논문은 무한히 긴 정육면체 자유(큐브프리) 이진 단어가 길이 n인 서로 다른 제곱을 지수적으로 많이 포함할 수 있음을 보이고, 모든 양의 정수 n에 대해 길이 2n인 정육면체 자유 이진 제곱이 존재함을 증명한다.

상세 분석

논문은 먼저 정육면체 자유(cubefree)와 제곱(squared)이라는 기본 개념을 정의하고, 기존 연구에서 무한히 긴 정육면체 자유 이진 단어는 반드시 제곱을 포함하지만 그 개수가 제한적이라는 점을 언급한다. 특히 D0L(동형사상 반복) 방식으로 생성된 무한 단어는 O(n log n) 수준의 제곱만을 가질 수 있다는 결과를 인용한다. 이러한 제한을 뛰어넘기 위해 저자들은 Thue–Morse 수열 µ(0→01, 1→10)의 특성을 활용한다. Lemma 3은 Thue–Morse 수열이 형태 1001 x′ = x′ 1001인 구간을 모든 짝수 길이에 대해 포함한다는 사실을 보이며, 이를 기반으로 x 0 x 0과 x 101100 x 101100 형태의 문자열이 정육면체 자유임을 각각 Theorem 6, 7을 통해 증명한다. 핵심 아이디어는 이러한 특수 구간을 삽입함으로써 전체 문자열이 겹침(overlap)이나 큐브를 만들지 않도록 하는 것이다. 이후 Theorem 1은 임의의 n에 대해 길이 2n인 정육면체 자유 이진 제곱이 존재함을, Theorem 2는 무한히 긴 정육면체 자유 이진 단어가 길이 n인 서로 다른 제곱을 지수적으로 많이 포함할 수 있음을 보여준다. 제곱의 지수적 증가는 Proposition 8에서 제시된 변환 h(0→001011, 1→001101, 2→011001)를 이용해 3-문자 알파벳 위의 정육면체 자유 제곱을 이진 문자열로 매핑함으로써 얻어진다. 이 매핑은 균일하고 단사이므로 길이가 12m인 제곱이 최소 2^{m/2}개 존재한다. 마지막으로 Theorem 2의 증명에서는 이러한 제곱 집합 S와 임의의 정육면체 자유 2-문자 알파벳 문자열 x를 교차 삽입한 뒤, 또 다른 균일 변환 g를 적용해 최종 무한 문자열 w를 만든다. g는 정육면체 자유성을 보존하므로 w는 정육면체 자유이며, 삽입된 S의 제곱들 때문에 길이 n인 서로 다른 제곱이 지수적으로 늘어난다. 부록에서는 정육면체 자유뿐 아니라 제곱 자유 문자열에 대해서도 동일한 방법을 적용해 지수적 팩터 복잡성을 얻을 수 있음을 제시한다. 전체적으로 논문은 Thue–Morse 구조와 균일 변환을巧妙히 결합해 기존 D0L 기반 제한을 뛰어넘는 새로운 무한 정육면체 자유 이진 단어를 구성하고, 그 복잡도 특성을 정량화한다는 점에서 이론적 의미가 크다.