[논문 리뷰] Factor Colorings of Linearly Recurrent Words

Ville Salo, Ilkka Törmä|arXiv (Cornell University)|2015. 04. 22.

semigroups and automata theory참고 문헌 5인용 수 5

한 줄 요약

이 논문은 모든 비주기적 선형 재귀적인 무한어가 엄격히 증가하는 길이의 인자로 구성된 단조증가하는 단색 인자 분해를 가질 수 없음을 증명한다. 반환어와 접두어 길이의 짝수/홀수 여부를 기반으로 정교하게 구성된 색칠 방법을 사용하여, 이러한 인자 분해는 $ K+1 $ 이상의 길이에서는 존재할 수 없음을 보이며, 여기서 $ K $ 는 선형 재귀 상수이다. 이는 어휘에 관한 라모지 이론에서 강력한 부정적 결과를 제공한다.

ABSTRACT

In this short article, we study factor colorings of aperiodic linearly recurrent infinite words. We show that there always exists a coloring which does not admit a monochromatic factorization of the word into factors of increasing lengths.

연구 동기 및 목표

• 비주기적 선형 재귀적인 무한어가 증가하는 길이의 인자로 구성된 단색 인자 분해를 피하는 인자 색칠을 갖는지 조사한다.
• 이전의 무한어에서의 단색 인자 분해 결과를 보다 엄격한 길이의 단조성 조건에 초점을 맞춰 확장한다.
• 고정점이 비주기적 원시 치환에 의해 생성되는 무한어를 포함한 광범위한 비주기어의 클래스에 대해, 이러한 인자 분해를 차단하는 색칠을 구성함으로써 부정적 결과를 확립한다.
• 이 성질을 달성하기 위해 필요한 색의 수에 대한 정량적 경계를 제공하며, 이를 선형 재귀 상수 $ K $ 와 연결한다.

제안 방법

• 선형 재귀 상수 $ K $ 를 사용하여, $ p_n = x[0, K^n - 1] $ 의 접두어의 반환어를 기반으로 인자 색칠 $ c: \mathrm{Fact}^+x \to C $ 를 정의한다.
• 색상 집합 $ C = \{\#, \$, (\mathbb{Z}_2 \times B^{<K^5}) \} $ 를 복합적으로 사용하며, 여기서 $ B = \{0, \dots, K(K+1)^2 - 1\} $ 이다. 이는 $ n(u) $ 의 홀짝성과 반환어의 압축된 색인 $ r(u) $ 을 모두 인코딩한다.
• 요소 $ u $ 에 대해 색상 $ (n(u) \bmod 2, r(u)) $ 을 부여하며, 이는 $ p_{n(u)} $ 의 반환어의 거듭제곱으로서 길이가 $ K^2 $ 이하인 경우에 한하여 적용된다. $ \$ 는 이러한 거듭제곱에 속하지 않는 접두어에, 나머지 경우는 $ \# $ 를 할당한다.
• 반환어 색인에서 실제 인자로의 사상 $ \Theta_x^{p_{n-1}} $ 의 단사성을 활용하여, $ r(u) $ 로부터 유일하게 복원 가능함을 보장한다.
• 선형 재귀 성질을 이용하여 반환어의 길이를 유계화한다: $ w \in \mathcal{R}_x(p_n) $ 이면 $ |w| \geq K^{n-1} $ 이며, 이는 $ r(u) $ 의 성장률을 통제한다.
• 단조증가하는 단색 인자 분해가 길이 $ K+1 $ 으로 존재한다고 가정하여 모순을 도출한다. 이는 인자의 $ (K+1) $ 중복 반복을 암시하며, 선형 재귀 상수의 경계를 위반한다.

실험 결과

연구 질문

• RQ1 모든 비주기적 선형 재귀적인 무한어는 증가하는 길이의 인자로 구성된 단색 인자 분해를 피하는 인자 색칠을 가질 수 있는가?
• RQ2 선형 재귀어에서 이러한 단조증가하는 단색 인자 분해를 차단하기 위해 필요한 최소 색의 수는 얼마인가?
• RQ3 무한어의 꼬리에서 강력한 단색 인자 분해가 존재하는 것(라모지 유형 결과에 따라)이, 철저한 색칠을 통해 접두어에서는 이러한 인자 분해를 피할 수 있음을 의미하는가?
• RQ4 선형 재귀 상수 $ K $ 는 반환어의 구조와 색칠 함수의 설계에 어떤 영향을 미치는가?

주요 결과

• 선형 재귀 상수 $ K $ 를 가진 모든 비주기적 선형 재귀적인 무한어 $ x $ 는 클래스 $ \mathcal{P}_{\mathrm{m}}(K+1,k) $ 에 속하며, 이는 길이 $ K+1 $ 의 단조증가하는 단색 인자 분해를 갖지 않는 인자 색칠이 존재함을 의미한다.
• 이러한 색칠을 위해 필요한 색의 수는 $ k = 2 + \sum_{i=0}^{K^5 - 1} 2K^i(K+1)^{2i} $ 로 유계화되며, 이는 구성의 명시적 정량화를 제공한다.
• 색칠이 존재한다고 가정할 경우 모순이 발생함을 증명한다: 모든 인자가 동일한 경우(즉, $ (K+1) $ 중복 반복)이거나, 더 긴 인자가 $ K $ 중복 반복을 포함하는 경우가 되며, 이는 반환어 성장에 관한 보조정리 5를 위반한다.
• 색칠은 접두어와 반환어 거듭제곱에만 $ \# $ 가 아닌 색상을 부여하며, $ n(u) $ 의 홀짝성은 인자 분해에서 길이 증가가 색 일致성의 붕괴를 초래함을 보장한다.
• 결과적으로 원시 치환의 고정점—비주기적 선형 재귀어로 알려진 것들—역시 이러한 단조증가하는 단색 인자 분해를 피함을 시사한다.
• 이 구성은 강건하다: 인자 분해의 길이가 증가하더라도, 색칠은 모든 인자가 같은 색을 가질 수 없게 하며, 유일하게 선형 재귀 조건을 위반하는 구조적 제약이 있을 경우에만 가능하다.