[논문 리뷰] Generalized Thue-Morse words and palindromic richness

Štěpán Starosta|arXiv (Cornell University)|2011. 04. 13.

semigroups and automata theory인용 수 5

한 줄 요약

이 논문은 밑수 $b$ 표현의 자릿수 합을 $m$으로 나눈 나머지로 정의된 일반화된 Thue-Morse 단어 $t_{b,m}$가 $D_m$-rich임을 증명한다. 즉, 그 언어는 순서 $2m$의 이면군과 동형인 군 $D_m$에 대해 닫혀 있고, $D_m$ 내의 모든 반형사상에 대해 팰린드롬적 풍부도가 최대이다. 저자들은 $t_{b,m}$가 팰린드롬 복잡도에서 일반화된 등식을 만족함으로써 $D_m$-rich임을 확인하고, 비주기적 경우($b \not\equiv 1 \pmod{m}$)에 대해 요소 복잡도의 완전한 공식을 유도한다.

ABSTRACT

We prove that the generalized Thue-Morse word $\mathbf{t}_{b,m}$ defined for $b \geq 2$ and $m \geq 1$ as $\mathbf{t}_{b,m} = (s_b(n) \mod m)_{n=0}^{+\infty}$, where $s_b(n)$ denotes the sum of digits in the base-$b$ representation of the integer $n$, has its language closed under all elements of a group $D_m$ isomorphic to the dihedral group of order $2m$ consisting of morphisms and antimorphisms. Considering simultaneously antimorphisms $\Theta \in D_m$, we show that $\mathbf{t}_{b,m}$ is saturated by $\Theta$-palindromes up to the highest possible level. Using the terminology generalizing the notion of palindromic richness for more antimorphisms recently introduced by the author and E. Pelantov\'a, we show that $\mathbf{t}_{b,m}$ is $D_m$-rich. We also calculate the factor complexity of $\mathbf{t}_{b,m}$.

연구 동기 및 목표

• . 이 논문은 일반화된 Thue-Morse 단어 $t_{b,m}$가 형태사상과 반형사상의 군 $G$에 대해 $G$-rich인지 여부라는 열린 문제를 해결하고자 한다.
• . 저자들은 $t_{b,m}$의 언어의 구조적 성질을 연구하며, 특히 순서 $2m$의 이면군과 동형인 군 $D_m$에 대해 닫혀 있음을 분석하여, 여러 반형사상에 대해 팰린드롬적 풍부도가 최대임을 입증한다.
• . 목적에는 비주기적 경우($b \not\equiv 1 \pmod{m}$)에서 $t_{b,m}$의 요소 복잡도 $C(n)$을 계산하는 것이 포함되며, 고전적 Thue-Morse 수열에 대한 기존 결과를 확장한다.
• . 연구는 팰린드롬적 풍부도의 개념을 다수의 반형사상으로 일반화하여, $D_m$-richness를 고전적 팰린드롬적 풍부도의 자연스러운 확장으로 제공하는 프레임워크를 마련한다.

제안 방법

• . 논문은 $t_{b,m}(n) = (s_b(n) \mod m)$로 정의된 일반화된 Thue-Morse 단어 $t_{b,m}$를 제시하며, 여기서 $s_b(n)$는 $n$의 밑수 $b$ 표현에서 자릿수의 합이며, 이 단어가 원시적 치환 $\phi_{b,m}$의 고정점임을 보인다.
• . 저자들은 순서가 $2m$인 $D_m$이라는 군을 구성하여, 이는 이면군 $D_m$과 동형이며, $t_{b,m}$의 언어가 $D_m$의 모든 원소에 대해 닫혀 있음을 보여준다.
• . 저자들은 이중특수 요소(BS), 양방향 순서 $b(w)$, 팰린드롬 확장 $\text{Pext}_\Theta(w)$의 성질을 사용하여 $t_{b,m}$의 언어의 구조를 분석한다.
• . 요소 복잡도 $C(n)$을 계산하기 위해 $\Delta^2 C(n) = \sum_{w \in L_n(u)} b(w)$ 식을 적용하며, 길이에 따른 이중특수 요소의 세부 사례 분석에 의존한다.
• . 핵심 식인 $\Delta C(n) + 2m = \sum_{\Theta \in D_m, \Theta \text{ 반형사상}} \left( P_\Theta(n) + P_\Theta(n+1) \right)$ 는 모든 $n \geq 1$에 대해 증명되어 $D_m$-rich임을 확인한다.
• . 논문은 비주기적 경우($b \not\equiv 1 \pmod{m}$)에 대해 $\Delta C(n)$과 $C(n)$의 조각별 공식을 유도하며, $b$의 거듭제곱으로 정의된 간격에 기반한다.

실험 결과

연구 질문

• RQ1 . 일반화된 Thue-Morse 단어 $t_{b,m}$는 이면군 $D_m$에 대해 반형사상의 군에서 최대 팰린드롬적 풍부도를 달성하는가?
• RQ2 . $t_{b,m}$의 언어는 순서 $2m$의 이면군과 동형인 군 $D_m$의 모든 원소에 대해 닫혀 있는가?
• RQ3 . 비주기적 경우($b \not\equiv 1 \pmod{m}$)에서 $t_{b,m}$의 정확한 요소 복잡도 $C(n)$은 무엇인가?
• RQ4 . 이중특수 요소의 양방향 순서 $b(w)$와 $\Theta$-팰린드롬 확장 $\text{Pext}_\Theta(w)$는 $t_{b,m}$의 복잡도와 풍부도에 어떻게 기여하는가?
• RQ5 . 일반화된 팰린드롬적 풍부도 조건(일반화된 부등식의 등식)이 모든 $n \geq 1$에서 $t_{b,m}$에서 달성되는가, 이는 $D_m$-rich임을 확인한다?

주요 결과

• . $t_{b,m}$의 언어는 순서 $2m$의 이면군과 동형인 군 $D_m$의 모든 원소에 대해 닫혀 있으며, 이는 $t_{b,m}$가 $D_m$-rich임을 증명한다.
• . 단어 $t_{b,m}$는 모든 $n \geq 1$에 대해 등식 $\Delta C(n) + 2m = \sum_{\Theta \in D_m, \Theta \text{ 반형사상}} \left( P_\Theta(n) + P_\Theta(n+1) \right)$ 를 만족하여 $D_m$-rich임을 확인한다.
• . 비주기적 경우($b \not\equiv 1 \pmod{m}$)에서는 요소 복잡도 $C(n)$이 조각별 공식으로 주어지며, $2 \leq n \leq b$ 에서는 $C(n) = qm(n-1) - m(n-2)$ 이고, $b$의 거듭제곱으로 정의된 간격에서는 더 복잡한 표현을 가지며, 여기서 $q = \gcd(b-1, m)$ 이다.
• . $t_{b,m}$의 이중특수 요소 $w$의 양방향 순서 $b(w)$는 $|w| \leq b-1$ 이며 $|w| \in [b+1, 2b-2]$ 일 때 0이고, $|w| = b$ 일 때 1이며, $|w| = 2b-1$ 일 때 $-1$ 이다. $\#\text{Pext}_\Theta(w)$ 는 길이에 따라 1 또는 2이다.
• . $\Theta$-팰린드롬 확장의 수 $\#\text{Pext}_\Theta(w)$ 는 $|w| \leq b-1$ 이며 $|w| \in [b+1, 2b-2]$ 일 때 1이며, $|w| = b$ 일 때 2이다. 반면 $|w| = 2b-1$ 일 때는 0이며, 이는 최대 길이에서 팰린드롬 확장의 손실을 반영한다.
• . 주기적 경우($b \equiv 1 \pmod{m}$)에서는 요소 복잡도가 일정하며, 모든 $n > 0$ 에 대해 $C(n) = m$ 이다. 이는 단어가 궁극적으로 주기적이기 때문이다.