[논문 리뷰] Abelian complexity function of the Tribonacci word

Ondřej Turek|arXiv (Cornell University)|2013. 09. 18.

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

한 줄 요약

이 논문은 트리보나치 수 표현을 사용하여 트리보나치 단어의 아벨 복잡도 함수를 계산하는 유한 오토마타를 제시한다. 이 오토마타를 통해 O(log n) 시간에 효율적으로 평가할 수 있다. 68개 상태를 가진 이 오토마타는 리코름, 사아리, 자망고가 제기한 열린 문제를 해결하며, {4,5,6,7}의 각 값과 동일한 아벨 복잡도를 갖는 모든 n을 특성화한다. 또한 이 방법을 4-보나치 단어로 확장하여 새로운 아벨 복잡도 성질을 규명한다.

ABSTRACT

According to a result of Richomme, Saari and Zamboni, the abelian complexity of the Tribonacci word satisfies $ρ^{\mathrm{ab}}(n)\in\{3,4,5,6,7\}$ for each $n\in\mathbb{N}$. In this paper we derive an automaton that evaluates the function $ρ^{\mathrm{ab}}(n)$ explicitly. The automaton takes the Tribonacci representation of $n$ as its input; therefore, $(ρ^{\mathrm{ab}}(n))_{n\in\mathbb{N}}$ is an automatic sequence in a generalized sense. Since our evaluation of $ρ^{\mathrm{ab}}(n)$ uses $\mathcal{O}(\log n)$ operations, it is fast even for large values of $n$. Our result also leads to a solution of an open problem proposed by Richomme et al. concerning the characterization of those $n$ for which $ρ^{\mathrm{ab}}(n)=c$ with $c$ belonging to $\{4,5,6,7\}$. In addition, we apply the same approach on the $4$-bonacci word. In this way we find a description of the abelian complexity of the $4$-bonacci word, too.

연구 동기 및 목표

• 리코름, 사아리, 자망고가 제기한, 트리보나치 단어의 아벨 복잡도가 c ∈ {4,5,6,7}인 모든 n을 특성화하는 데 열린 문제를 해결하기 위해.
• 트리보나치 단어의 아벨 복잡도 함수 ρ^ab(n)를 효율적으로 평가하는 계산 방법을 개발하기 위해.
• 이 방법을 다른 m-보나치 단어, 특히 4-보나치 단어로 확장하여 그 아벨 복잡도 성질을 분석하기 위해.
• 더 큰 알파벳을 사용하는 반복 단어에서 아벨 복잡도를 연구하기 위한 아벨 공분해석과 유한 오토마타를 기반으로 체계적인 접근을 제공하기 위해.

제안 방법

• 아벨 공분해석을 사용하여 아벨 복잡도의 각 값에 대응하는 유한 집합 Z₁,…,Z_M를 식별한다.
• 이 집합 Z_q에 대응하는 상태를 가진 유한 오토마타를 구축하며, 트리보나치 치환 규칙에서 유도된 맵 D_j에 의해 전이가 정의된다.
• 오토마타는 n의 트리보나치 표현을 입력으로 받아 ρ^ab(n)을 O(log n)의 연산 수로 계산할 수 있다.
• 유효성을 보장하기 위해 분해 맵를 반복 적용할 때의 허용 가능한 정규 U-표현을 추적한다.
• 상태 최소화를 통해 오토마타 크기를 278개 상태에서 68개 상태로 최적화하여 실용성을 향상시켰다.
• 이 방법은 비단단순 파리어 단어로 일반화되어 4-보나치 단어에 적용되었으며, 그 아벨 복잡도가 유계이면서 계산 가능하다는 것을 드러냈다.

실험 결과

연구 질문

• RQ1 트리보나치 단어의 아벨 복잡도가 4, 5, 6, 또는 7이 되는 n는 무엇인가?
• RQ2 큰 n에 대해 트리보나치 단어의 아벨 복잡도 함수를 효율적으로 계산할 수 있는가?
• RQ3 4-보나치 단어의 아벨 복잡도는 어떤 구조를 가지며, 트리보나치 단어와 어떻게 다를까?
• RQ4 아벨 공분해석 방법을 m > 3인 다른 m-보나치 단어로 일반화할 수 있는가?
• RQ5 4-보나치 단어의 최적 균형 경계는 무엇이며, 이 방법을 통해 이를 도출할 수 있는가?

주요 결과

• 모든 n ∈ ℕ에 대해 트리보나치 단어의 아벨 복잡도는 ρ^ab(n) ∈ {3,4,5,6,7}를 만족하며, 이는 기존의 알려진 결과를 새로운 방법으로 확인한 것이다.
• 68개 상태를 가진 유한 오토마타가 n의 트리보나치 표현을 기반으로 ρ^ab(n)을 계산하며, O(log n) 평가 시간을 보장한다.
• 이 오토마타는 각 c ∈ {4,5,6,7}에 대해 ρ^ab(n) = c를 만족하는 모든 n을 완전히 특성화하며, 리코름 등이 제기한 열린 문제를 해결한다.
• 이 방법은 4-보나치 단어의 아벨 복잡도를 성공적으로 계산하여, 그 값이 유계이면서 자동적임을 보여주었다.
• 4-보나치 단어는 3-균형이며, 이 방법을 통해 최적 균형 경계를 도출하였다. 이는 m-보나치 단어로의 일반화 가능성을 시사한다.
• 이 접근법은 다른 파리어 단어로도 확장 가능하며, 매개변수화된 단어의 가족에도 적응 가능하지만 복잡도가 증가한다.