[논문 리뷰] Powers in a class of A-strict standard episturmian words

Amy Glen|arXiv (Cornell University)|2007. 08. 31.

semigroups and automata theory인용 수 3

한 줄 요약

이 논문은 특정 클래스의 A-strict standard episturmian 단어에서 정수 거듭제곱(제곱, 세제곱 등)을 캐논리컬 분해와 일반화된 단일어를 이용해 특성화한다. 이러한 단어가 4-거듭제곱 자유임을 증명하고, 구성 요소에서 서로 다른 제곱수와 세제곱수의 수에 대한 명시적 공식을 제시하며, Sturmian 및 피보나치 단어에 대한 이전 결과를 k-bonacci 단어와 같은 고차원 일반화로 확장한다.

ABSTRACT

This paper concerns a specific class of strict standard episturmian words whose directive words resemble those of characteristic Sturmian words. In particular, we explicitly determine all integer powers occurring in such infinite words, extending recent results of Damanik and Lenz (2003), who studied powers in Sturmian words. The key tools in our analysis are canonical decompositions and a generalization of singular words, which were originally defined for the ubiquitous Fibonacci word. Our main results are demonstrated via some examples, including the $k$-bonacci word: a generalization of the Fibonacci word to a $k$-letter alphabet ($k\geq2$).

연구 동기 및 목표

• Sturmian 단어에서 정수 거듭제곱의 특성화를 더 큰 알파벳을 사용하는 더 넓은 범주의 episturmian 단어로 확장하기 위해.
• A-strict standard episturmian 단어에 나타나는 모든 비자명한 정수 거듭제곱(제곱, 세제곱 등)을 규명하기 위해.
• 단일어 개념을 Sturmian 단어 이외의 episturmian 단어로 일반화하고, 반복 요소 분석의 핵심 도구로 사용하기 위해.
• 이러한 단어의 구성 요소에서 서로 다른 제곱수와 세제곱수의 수에 대한 명시적 공식을 제공하기 위해.
• k-bonacci 단어, 즉 피보나치 단어를 k개의 문자로 일반화한 자연스러운 일반화에 대해 결과를 전시하기 위해.

제안 방법

• 무한 단어를 그 기본 구성 요소 s_n으로 캐논리컬하게 분해하는 데 기반을 두며, 이들은 재귀적으로 정의된다.
• 요소와 그 반복 구조를 분석하기 위해 일반화된 단일어를 도입한다.
• 각 구성 요소 s_n의 색인(최대 분수 거듭제곱)은 그 공액 클래스와 관련된 단어 D_i의 성질을 이용해 계산된다.
• 정리 6.11, 6.12 및 6.17을 유도하여 단어 내 주어진 길이의 서로 다른 제곱수와 세제곱수의 수를 결정한다.
• 모든 d_i = 1인 k-bonacci 단어에서 이 방법을 검증하며, 이는 재귀적 구성 s_n = s_{n-1}s_{n-2}...s_{n-k}로 이어진다.
• 특정 단어의 공액을 세는 방식으로 길이 m인 서로 다른 거듭제곱의 수를 결정하며, |D_i|를 포함하는 명시적 공식이 사용된다.

실험 결과

연구 질문

• RQ1 A-strict standard episturmian 단어에서 어떤 정수 거듭제곱이 나타나며, 이를 체계적으로 어떻게 특성화할 수 있는가?
• RQ2 구성 요소 s_n의 구조와 공액 클래스에 따라 서로 다른 제곱수와 세제곱수의 수는 어떻게 달라지는가?
• RQ3 단일어 개념은 피보나치 및 슈투르미안 케이스를 초월한 episturmian 단어로 의미적으로 일반화될 수 있는가?
• RQ4 이러한 단어의 최대 거듭제곱(예: 4-거듭제곱) 자유성 상태는 무엇이며, 이는 지시어에 따라 어떻게 달라지는가?
• RQ5 k-bonacci 단어, 즉 피보나치 단어의 k-문자 일반화에 대한 결과는 고전적인 슈투르미안 케이스와 어떻게 비교되는가?

주요 결과

• A-strict standard episturmian 단어 s의 모든 정수 거듭제곱은 집합 S = { |s_3|, 2|s_3|, |s_4|, |s_5|, 2|s_5|, |s_3 s_2|, |s_3^2 s_2|, |s_3 s_2^2 s_1|, |s_4 s_3|, |s_5 s_4|, |s_5^2 s_4|, |s_5 s_4 s_3| }의 길이를 분석함으로써 결정된다.
• 길이 |s_3| = 11인 경우, 서로 다른 제곱수가 11개 존재한다; 길이 2|s_3| = 22인 경우, 정확히 1개의 서로 다른 제곱수, 즉 s_3^2가 존재한다.
• 길이 |s_4| = 32인 경우, 서로 다른 제곱수가 32개 존재하며, 길이 |s_5| = 58인 경우, 서로 다른 제곱수가 58개 존재한다.
• 세제곱수의 경우, 길이 |s_3| = 11인 경우 서로 다른 세제곱수가 11개 존재하고, 길이 |s_5| = 58인 경우 서로 다른 세제곱수가 58개 존재한다; 길이 |s_4| = 32인 경우, 서로 다른 세제곱수가 2개 존재하며, 이는 s_4의 첫 두 공액에 해당한다.
• k-bonacci 단어는 4-거듭제곱 자유이며, 모든 거듭제곱이 완전히 특성화되어 있다: P(|s_n|;2) = C(s_n), P(|s_n|;3) = {C_j(s_n) : 0 ≤ j ≤ |D_{n-k}|}, 그리고 모든 다른 m과 l ≥ 2에 대해 P(m;l) = ∅이다.
• 길이 |s_n s_{n-1}...s_{n+1-i}|의 서로 다른 제곱수의 수는 각 i ∈ [2,k-1]에 대해 |D_{n+1-i}| + 1이며, 이들은 유일한 비어 있지 않은 거듭제곱 집합이다.