[논문 리뷰] The repetition threshold for binary rich words

James D. Currie, Lucas Mol외 1명|arXiv (Cornell University)|2019. 08. 08.

semigroups and automata theory인용 수 6

한 줄 요약

이 논문은 바라누얼과 샬릿의 추측, 즉 무한 이진 럭키어드 단어의 반복 임계값이 $2 + \sqrt{2}/2 \approx 2.707$임을 확인한다. 이는 $14/5$-free 무한 이진 럭키어드 단어에 대한 구조 정리 증명과 함께, 이러한 모든 단어가 정확히 $2 + \sqrt{2}/2$의 임계 지수를 가짐을 보여줌으로써 이루어진다. 저자들은 이러한 단어의 구조를 기술하기 위해 몰피즘 $f$, $g$, $h$를 사용하고, 임계 지수가 $f(h^\omega(0))$와 $f(g(h^\omega(0)))$ 양쪽 모두에서 달성됨을 입증함으로써, 어휘 조합론 분야의 열린 문제를 해결한다.

ABSTRACT

A word of length $n$ is rich if it contains $n$ nonempty palindromic factors. An infinite word is rich if all of its finite factors are rich. Baranwal and Shallit produced an infinite binary rich word with critical exponent $2+\sqrt{2}/2$ ($\approx 2.707$) and conjectured that this was the least possible critical exponent for infinite binary rich words (i.e., that the repetition threshold for binary rich words is $2+\sqrt{2}/2$). In this article, we give a structure theorem for infinite binary rich words that avoid $14/5$-powers (i.e., repetitions with exponent at least 2.8). As a consequence, we deduce that the repetition threshold for binary rich words is $2+\sqrt{2}/2$, as conjectured by Baranwal and Shallit. This resolves an open problem of Vesti for the binary alphabet; the problem remains open for larger alphabets.

연구 동기 및 목표

• 베스티가 제기한 무한 이진 럭키어드 단어의 반복 임계값을 결정하는 열린 문제를 다루며, 바라누얼과 샬릿이 제안한 추측을 확인한다.
• 무한 이진 럭키어드 단어의 최소 가능한 임계 지수가 $2 + \sqrt{2}/2$임을 확인한다.
• 몰피즘 $f$, $g$, $h$를 사용하여 무한 $14/5$-free 이진 럭키어드 단어의 구조적 특성을 규명한다.
• $f(h^\omega(0))$와 $f(g(h^\omega(0)))$의 임계 지수가 정확히 $2 + \sqrt{2}/2$임을 보여주며, 추측을 확인한다.
• 더 큰 알파벳에서의 럭키어드 단어에 대한 반복 임계값 연구에 기초를 마련한다.

제안 방법

• 논문은 모든 무한 $14/5$-free 이진 럭키어드 단어의 접미사가 어떤 삼진 알파벳에서의 무한 단어 $w_n$에 대해 $f(h^n(w_n))$ 또는 $f(g(h^n(w_n)))$ 형태임을 보여주는 구조 정리를 도입한다.
• 핵심 몰피즘 $f: \Sigma_3^* \to \Sigma_2^*$, $g: \Sigma_3^* \to \Sigma_3^*$, $h: \Sigma_3^* \to \Sigma_3^*$는 삼진 단어를 이진 또는 삼진 단어로 매핑하며, $f$는 럭키어드성을 유지하고 $g$는 $h$와 다른 몰피즘의 합성으로 구성된다.
• 스투르미안 단어와 연속 분수, 특히 일반화된 황금비율 $\varphi_k$의 성질을 이용하여 $f(h^\omega(0))$와 $f(g(h^\omega(0)))$의 반복을 분석한다.
• 임계 지수를 수열 $E_k = 2 + \frac{1 - 1/q_{k-1}}{1 + q_{k-2}/q_{k-1}}$의 극한을 통해 계산하며, $k \to \infty$일 때 이 수열은 $2 + \sqrt{2}/2$로 수렴한다.
• 수학적 귀납법을 사용하여 수열 $E_k$가 엄밀히 증가하고 $2 + \sqrt{2}/2$로 수렴함을 증명함으로써, 이러한 단어에서 반복 지수의 상한이 됨을 입증한다.
• 다마니크와 레츠의 표준 및 준표준 단어의 동반자에 관한 결과를 활용하여 반복 요소의 가능한 지수를 유계화한다.

실험 결과

연구 질문

• RQ1 모든 무한 이진 럭키어드 단어 중에서 최소 가능한 임계 지수는 무엇인가?
• RQ2 바라누얼과 샬릿이 제안한 이진 럭키어드 단어의 반복 임계값이 $2 + \sqrt{2}/2$임을 공식적으로 증명할 수 있는가?
• RQ3 몰피즘을 사용하여 $14/5$-free 무한 이진 럭키어드 단어의 구조를 어떻게 특성화할 수 있는가?
• RQ4 임계 지수가 $2 + \sqrt{2}/2$인 서로 다른 무한 이진 럭키어드 단어가 여러 개인가?
• RQ5 몰피즘 $f$, $g$, $h$는 이러한 단어의 생성과 분석에서 어떤 역할을 하는가?

주요 결과

• 이진 럭키어드 단어의 반복 임계값은 정확히 $2 + \sqrt{2}/2$이며, 바라누얼과 샬릿의 추측을 확인한다.
• 모든 무한 $14/5$-free 이진 럭키어드 단어는 어떤 $w_n \in \Sigma_3^\omega$에 대해 $f(h^n(w_n))$ 또는 $f(g(h^n(w_n)))$ 형태의 접미사를 가지며, 이는 완전한 구조적 특성화를 제공한다.
• $f(h^\omega(0))$의 임계 지수는 $2 + \sqrt{2}/2$이며, 추측된 임계값과 일치한다.
• $f(g(h^\omega(0)))$의 임계 지수 역시 $2 + \sqrt{2}/2$이며, 이는 최소 가능한 지수를 달성하는 다수의 몰피즘 구조가 존재함을 보여준다.
• 수열 $E_k = 2 + \frac{1 - 1/q_{k-1}}{1 + q_{k-2}/q_{k-1}}$는 엄밀히 증가하고 $2 + \sqrt{2}/2$로 수렴하며, 이는 이러한 단어에서 반복 지수의 상한임을 증명한다.
• 보완 대칭 로트 단어인 $f(h^\omega(0))$와 $f(g(h^\omega(0)))$가 최소 임계 지수를 달성함을 보여주며, 결과를 알려진 럭키어드 단어의 클래스와 연결한다.