[논문 리뷰] Envelope Words and the Reflexivity of the Return Word Sequences in the Period-doubling Sequence

Yuke Huang, Zhi-Ying Wen|arXiv (Cornell University)|2017. 03. 21.

semigroups and automata theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 주기-두배 수열 $Δ$에서 커널 워드 기법의 실패를 극복하기 위해 엔velope 워드의 개념을 도입한다. 어떤 인자의 리턴 워드 수열이 항상 $Θ_1$ 또는 $Θ_2$임을 증명하며, 이는 두 수열 모두 치환 수열임을 보여주고 반사성 성질을 수립한다. 이는 리턴 워드 수열의 완전한 특성화를 가능하게 하며, 스펙트럼 기반 신규 방법을 통해 정수론 문제(예: 제곱 및 삼중성 탐지)를 해결할 수 있게 한다.

ABSTRACT

We consider the infinite one-sided sequence over alphabet $\{a,b\}$ generated by the period-doubling substitution $σ(a)=ab$ and $σ(b)=aa$, denoted by $\mathbb{D}$. Let $r_p(ω)$ be the $p$-th return word of factor $ω$. The main result of this paper is twofold. (1) For any factor $ω$ in $\mathbb{D}$, the return word sequence $\{r_p(ω)\}_{p\geq1}$ is $Θ_1$ or $Θ_2$. Both of them are substitutive sequences and determined completely in this paper. (2) For any factor $ω$ in $Θ_1$ (resp. $Θ_2$), the return word sequence $\{r_p(ω)\}_{p\geq1}$ is still $Θ_1$ or $Θ_2$. We call it the reflexivity property of the return word sequence. As an application, we introduce a notion of spectrum for studying some typical combinatorial properties, such as separated, adjacent and overlapped.

연구 동기 및 목표

• 주기-두배 수열에서 표준 리턴 워드 분석이 불가능한 커널 워드 구조의 부재를 해결하기 위해.
• Δ에서 리턴 워드 수열을 특성화하기 위해 엔velope 워드를 사용하는 새로운 프레임워크를 개발하기 위해.
• 반사성 성질 수립: Δ의 어떤 인자에 대해서도 리턴 워드 수열은 항상 $Θ_1$ 또는 $Θ_2$임을 증명하기 위해.
• 이 구조를 활용하여 인자의 인접, 분리, 겹침 발생 여부를 판단하는 조합 문제를 해결하기 위해.
• 요소와 그 발생 위치를 동시에 분석할 수 있는 스펙트럼 기반 방법을 도입하여 Q2(위치 기반 성질) 문제까지 해결하기 위해.

제안 방법

• 리턴 워드의 구조를 포착하는 홀수 길이의 인자인 $E^1_m = A_m\delta_m^{-1}$ 및 $E^2_m = B_m B_{m-1} \delta_m^{-1}$를 정의한다.
• Δ에서 실패한 커널 분해를 대체할 수 있는 엔velope 확장의 유일성을 증명한다.
• 치환 $\tau_1(a)=a, \tau_1(b)=bb$ 및 $\tau_2(a)=ab, \tau_2(b)=acac$를 통해 $\Theta_1 = \tau_1(\u0394)$ 및 $\Theta_2 = \tau_2(\u0394)$를 정의하며, 이들이 실제로 리턴 워드 수열임을 보인다.
• $\Theta_1$ 및 $\Theta_2$의 구조를 이용해 리턴 워드 길이를 결정한다: $|r_p(\omega)|$는 $\Theta_1$ 또는 $\Theta_2$의 위치 $p$에 있는 기호에 따라 달라진다.
• 성질 $\mathcal{P}$의 스펙트럼을 도입하여 인자 $\omega$와 그 발생 위치 $p$를 동시에 분석함으로써 Q2(위치 기반 성질) 문제를 해결할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 주기-두배 수열 $\u0394$의 어떤 인자 $\omega$에 대해 리턴 워드 수열은 무엇인가?
• RQ2 주기-두배 수열 $\u0394$의 인자 $\omega$에 대한 리턴 워드 수열은 치환 수열로 특성화될 수 있는가?
• RQ3 주기-두배 수열 $\u0394$의 인자 $\omega$에 대한 리턴 워드 수열은 동일한 구조 유형($\Theta_1$ 또는 $\Theta_2$)을 유지하는가? 즉, 반사성 성질이 성립하는가?
• RQ4 리턴 워드 수열의 구조를 어떻게 활용하여 두 인자의 발생이 인접, 분리, 또는 겹침인지 판단할 수 있는가?
• RQ5 요소와 그 발생 위치를 동시에 분석할 수 있는 스펙트럼 기반 방법을 구성할 수 있으며, 이는 조합론에서 Q2(위치 기반 성질) 문제를 해결할 수 있는가?

주요 결과

• Δ의 임의의 인자 $\omega$에 대해 리턴 워드 수열 $\{r_p(\omega)\}_{p \geq 1}$은 항상 $\Theta_1$ 또는 $\Theta_2$이며, 이는 명시적 치환에 의해 정의된 치환 수열이다.
• Δ의 $\Theta_1$ 또는 $\Theta_2$에 속하는 어떤 인자 $\omega$에 대해서도 리턴 워드 수열은 다시 $\Theta_1$ 또는 $\Theta_2$가 되며, 이는 리턴 워드 수열의 반사성 성질을 수립한다.
• $p$-번째 리턴 워드의 길이 $|r_p(\omega)|$는 $\Theta_1$ 또는 $\Theta_2$의 위치 $p$에 있는 기호에 의해 결정된다: $\Theta_1[p] = a$이면 $|r_p(\omega)| = 2^m$, $\Theta_1[p] = b$이면 $2^{m-1}$이며, $\Theta_2$의 경우도 마찬가지로 적용된다.
• 분리된 발생 성질의 스펙트럼은 완전히 특성화되어 있다: $(\omega,p) \in \mathcal{P}_1$ (분리됨)이 성립하는 조건은 $\text{Env}(\omega) = E^1_m$ 이고 $\Theta_1[p] = a$ 이거나, $\text{Env}(\omega) = E^1_m$, $\Theta_1[p] = b$, 그리고 $|\omega| < 2^{m-1}$ 이거나, $\text{Env}(\omega) = E^2_m$ 이고 $\Theta_2[p] \neq a$ 이다.
• 인접 발생 성질의 스펙트럼 $(\omega,p) \in \mathcal{P}_2$는 $\text{Env}(\omega) = E^1_m$ 이고 $|\omega| = 2^{m-1}$ 인 경우에만 성립한다.
• 겹침 발생 성질의 스펙트럼 $(\omega,p) \in \mathcal{P}_3$는 $\text{Env}(\omega) = E^1_m$ 이고 $|\omega| > 2^{m-1}$ 이거나, $\text{Env}(\omega) = E^2_m$ 이고 $\Theta_2[p] = a$ 인 경우에 성립한다.