[논문 리뷰] A proof of Dejean's conjecture

James D. Currie, Narad Rampersad|ArXiv.org|2009. 05. 07.

Mathematics and Applications인용 수 9

한 줄 요약

이 논문은 알파벳 크기 $ n = 15 $에서 $ 26 $까지의 특정 형태의 호모모르피즘을 구성하여 Dejean의 추측을 증명한다. 이로써 $ n $-글자 알파벳 위에 존재하는 반복 지수 $ \frac{n}{n-1} $를 초과하는 인접 부분문자열을 포함하지 않는 무한 문자열이 존재한다는 것을 보여준다. 저자들은 개선된 호모모르피즘 기반 접근법과 최적화된 검색 전략, 컴퓨터 검증을 통해 $ n \geq 2 $의 모든 경우에 대해 증명을 완성하였으며, 이는 추측의 마지막 미해결 케이스를 해결한다.

ABSTRACT

We prove Dejean's conjecture. Specifically, we show that Dejean's conjecture holds for the last remaining open values of n, namely 15 <= n <= 26.

연구 동기 및 목표

• Dejean의 추측에서 $ n = 15 $에서 $ 26 $까지의 마지막 미해결 케이스를 해결함으로써, 이 범위에서 반복 임계값 $ RT(n) $가 이전에 증명되지 않은 상태였음을 해결한다.
• 이미 $ n \geq 33 $ 및 $ n \leq 14 $에 대해 $ RT(n) = \frac{n}{n-1} $임을 보였던 이전 결과를 확장하여, $ n \geq 2 $에 대해 $ RT(n) $를 완전히 특성화한다.
• 반복 지수 $ \frac{n}{n-1} $를 초과하는 거듭제곱을 포함하지 않는 무한 문자열을 생성하는 호모모르피즘 기반의 구축 증명을 제공함으로써, 반복 지수 $ \frac{n}{n-1} $를 초과하는 반복이 발생하지 않음을 보장한다.

제안 방법

• 각 $ n \in \{15, \dots, 26\} $에 대해, $ |h_n(0)| = 4n - 4 $ (단, $ n = 21 $일 경우 $ 4n $)인 명시적 호모모르피즘 $ h_n $를 구성함. 이는 이진 문자열을 $ n $-글자 알파벳으로 매핑한다.
• Pansiot 인코딩을 사용하여 호모모르피즘을 $ \Sigma_n $ 위의 문자열로 변환함으로써, 생성된 무한 문자열 $ h_n^\omega(0) $가 $ \left(\frac{n}{n-1}\right)^+ $-거듭제곱을 피하도록 보장한다.
• 반복 순환 구조에 해당하는 $ r $-순환 또는 $ (r-1) $-순환에만 해당하는 순열을 저장하는 백트래킹 검색 전략을 적용함으로써, 호모모르피즘 탐색 중 메모리 사용을 극도로 줄였다.
• Moulin Ollagnier의 정의에 따라 '편리한' 호모모르피즘임을 확인함으로써, 반복 지수 $ \geq \frac{n}{n-1} $인 잠재적 반복이 커널 반복을 통해 탐지될 수 있음을 보장한다.
• 결정 가능성에만 의존하는 것 대신, 명시적 상한을 사용하여 컴퓨터 검증을 수행함으로써, 생성된 문자열에 $ \left(\frac{n}{n-1}\right)^+ $-거듭제곱이 존재하지 않음을 확인한다.
• 이전 연구 [13]에서 $ n \geq 8 $일 경우 커널 반복의 반복 지수 순서에 대한 오류를 수정함. 특히 $ \eta' $가 비어있지 않아서 $ i=0 $ 또는 $ i=1 $에서 최대 반복 지수가 발생하지 않음을 명시한다.

실험 결과

연구 질문

• RQ1 Dejean의 추측이 $ n \geq 2 $의 모든 알파벳 크기에 대해 성립하는가, 특히 이전까지 미해결이었던 $ 15 \leq n \leq 26 $ 범위에 대해 성립하는가?
• RQ2 구축 기반의 호모모르피즘 방법을 사용하여 $ n \in \{15, \dots, 26\} $에 대해 $ \left(\frac{n}{n-1}\right)^+ $-거듭제곱을 포함하지 않는 무한 문자열을 생성할 수 있는가?
• RQ3 반복 지수 $ \left(\frac{n}{n-1}\right)^+ $를 초과하지 않도록 보장하기 위해 필요한 최소 호모모르피즘 이미지 길이는 얼마이며, 그러한 호모모르피즘은 효율적으로 계산될 수 있는가?
• RQ4 호모모르피즘 반복 과정에서 커널 반복과 그 반복 지수의 행동 양상은 어떻게 되며, 이를 통해 최대 반복 지수를 제한하는 데 사용할 수 있는가?
• RQ5 적절한 호모모르피즘을 찾는 검색 과정은 어떻게 최적화할 수 있으며, 이로 인해 과도한 메모리 사용을 피하면서도 정확성과 완전성을 유지할 수 있는가?

주요 결과

• 저자들은 각 $ n \in \{15, \dots, 26\} $에 대해 명시적 호모모르피즘 $ h_n $를 구성함으로써, $ RT(n) = \frac{n}{n-1} $임을 증명함으로써 Dejean의 추측을 $ n \geq 2 $에 대해 완전히 해결하였다.
• 26에 대해선 C++ 구현과 순환 기반 백트래킹을 사용하여 약 6시간 만에 호모모르피즘을 발견함으로써, 계산의 실현 가능성을 입증하였다.
• 호모모르피즘은 $ h_n(0) $과 $ h_n(1) $이 서로 다른 문자로 끝나도록 설계되어 있어, 구조적 다양성을 확보하고 고반복 지수 반복을 피하는 데 기여한다.
• 모든 Pansiot 인코딩을 저장하는 대신 $ r $-순환 또는 $ (r-1) $-순환에 해당하는 것들만 고려함으로써 메모리 사용을 줄였고, 이는 $ n = 26 $까지의 확장 가능성을 보장한다.
• Moulin Ollagnier의 분석에 오류 수정을 가했으며, $ n \geq 8 $일 경우 커널 반복 수열에서 최대 반복 지수가 $ i=0 $ 또는 $ i=1 $에서 발생하지 않으며, $ \eta' $가 비어있지 않아서 정확한 계산이 필요함을 밝혔다.
• 증명은 구성된 문자열에 $ \left(\frac{n}{n-1}\right)^+ $-거듭제곱이 존재하지 않음을 확인하였으며, 초과 길이 $ |e| \leq n-2 $에 대한 엄밀한 상한과 모든 관련 부분문자열에 대한 컴퓨터 검증을 통해 이를 뒷받침한다.