칠삼분의 일 파워에 대한 파이프 정리

초록

이 논문은 무한 이진 7/3-멱 자유 단어들을 15개의 상태만을 갖는 유한 자동화기로 완전히 기술한다. 이를 통해 2‑자동수열인 경우를 정확히 규정하고, 기존의 파이프 정리를 7/3‑멱 자유 상황에 일반화한다.

상세 분석

논문은 먼저 7/3‑멱 자유 단어의 정의와 기존의 파이프 정리(Fife’s theorem)를 소개한다. 7/3이라는 지수는 길이 n인 단어들의 α‑멱 자유 개수가 다항식으로 성장하는 가장 큰 α이며, 따라서 이 지수 주변의 구조는 조합론에서 핵심적인 관심사다. 저자들은 μ(0)=01, μ(1)=10이라는 투-모르스 변형을 이용해 모든 7/3‑멱 자유 무한 단어 x를 고유하게
x = p_{i₁} μ(p_{i₂} μ(p_{i₃} μ(⋯)))
와 같은 형태로 분해할 수 있음을 보인다. 여기서 p₀=ε, p₁=0, p₂=00, p₃=1, p₄=11이며, i_j∈{0,…,4}는 x의 앞 5글자를 보면 유일하게 결정된다. 이 분해는 Theorem 1과 Corollary 2에서 정식화되며, “tail”이 μ^ω(0)와 μ^ω(1) 중 어느 쪽인지까지 명시해야 함을 강조한다.

다음 단계에서는 이러한 인덱스 열(i₁i₂…)이 실제 7/3‑멱 자유 단어에 대응되는지를 판별하는 유한 자동화기를 구성한다. Lemma 6에 의해 15개의 비공집합 언어 F_w만이 존재하고, 이들은 Figure 1에 제시된 동등식 관계로 서로 연결된다. 각 F_w는 특정 접두어 p_{i₁}…p_{i_k}를 붙인 뒤 μ를 반복 적용한 형태의 언어이며, 공집합인 경우는 해당 접두어가 즉시 7/3‑멱을 생성함을 의미한다. 저자들은 모든 동등식을 경우별로 검증하고, 특히 μ와 μ^{-1}의 관계(Lemma 3)와 멱 지수 보존성(Lemma 4, 5)을 활용해 “이미지”와 “프리픽스” 사이의 멱 자유성을 전이시킨다.

자동화기의 상태는 위의 15개의 F_w에 대응하며, 전이 함수는 앞서 정의한 p_i와 μ 적용을 조합한다. 따라서 무한 단어는 이 자동화기의 무한 경로와 일대일 대응한다. 이 구조를 이용해 2‑자동수열(즉, 2‑진법으로 입력을 받는 자동기)이 7/3‑멱 자유인지 여부를 쉽게 판단할 수 있다. 구체적으로, 2‑자동수열이 위 자동화기의 유한 상태 집합을 순환하도록 설계될 때만 7/3‑멱 자유가 보장된다.

결과적으로, 논문은 기존의 파이프 정리를 7/3‑멱 자유 상황에 성공적으로 확장했을 뿐 아니라, 자동화 기반의 결정 절차를 제공함으로써 알고리즘적 응용 가능성을 크게 넓혔다. 특히, 2‑자동수열의 완전한 분류를 얻음으로써 무한 단어의 멱 자유성을 검증하는 새로운 도구를 제시한다는 점이 학술적·실용적 의의를 가진다.