[논문 리뷰] A Classification of Trapezoidal Words

Gabriele Fici|arXiv (Cornell University)|2011. 08. 18.

semigroups and automata theory인용 수 5

한 줄 요약

이 논문은 가장 긴 반복 접두사의 구조에 기반하여 사다리형 단어를 개방형과 폐쇄형으로 분류한다. 개방형 사다리형 단어는 원시적임을 증명하고, 폐쇄형 사다리형 단어는 슈투르미안임을 보이며, 이는 사다리형 회문이 폐쇄형임(따라서 슈투르미안임)을 의미하고, 이는 슈투르미안 회문의 특수 요소를 특성화하는 데 기여한다.

ABSTRACT

Trapezoidal words are finite words having at most n+1 distinct factors of length n, for every n>=0. They encompass finite Sturmian words. We distinguish trapezoidal words into two disjoint subsets: open and closed trapezoidal words. A trapezoidal word is closed if its longest repeated prefix has exactly two occurrences in the word, the second one being a suffix of the word. Otherwise it is open. We show that open trapezoidal words are all primitive and that closed trapezoidal words are all Sturmian. We then show that trapezoidal palindromes are closed (and therefore Sturmian). This allows us to characterize the special factors of Sturmian palindromes. We end with several open problems.

연구 동기 및 목표

• 모든 $ n \geq 0 $ 에 대해 길이 $ n $ 의 서로 다른 요소가 최대 $ n+1 $ 개 이하인 사다리형 단어를 정의하고, 이를 통해 유한 슈투르미안 단어를 일반화한다.
• 폐쇄형 단어의 개념을 도입한다: 단어의 가장 긴 반복 접두사가 정확히 두 번 나타나며, 두 번째 발생이 접미사로 위치할 경우 이를 폐쇄형 단어로 정의한다.
• 폐쇄형 단어가 아닌 사다리형 단어를 개방형 단어로 정의한다.
• 특수 요소(좌측, 우측, 이중특수)의 성질을 사용하여 사다리형 단어의 구조를 분석한다.
• 기존의 슈투르미안 단어와 중심 단어 이론의 결과를 적용하여, 폐쇄형 사다리형 단어가 슈투르미안임과 그 가장 긴 이중특수 요소가 중심 단어임을 보인다.
• 대칭성과 슈투르미안 단어 이론의 주기 조건을 사용하여, 사다리형 회문이 폐쇄형임을 모순에 의해 증명한다.

제안 방법

• 모든 $ n \geq 0 $ 에 대해 길이 $ n $ 의 서로 다른 요소가 최대 $ n+1 $ 개 이하인 단어를 사다리형 단어로 정의한다. 이는 유한 슈투르미안 단어를 일반화한다.
• 폐쇄형 단어의 개념을 도입한다: 단어의 가장 긴 반복 접두사가 정확히 두 번 나타나며, 두 번째 발생이 접미사로 위치할 경우 이를 폐쇄형 단어로 정의한다.
• 폐쇄형 단어가 아닌 사다리형 단어를 개방형 단어로 정의한다.
• 특수 요소(좌측, 우측, 이중특수)의 성질을 사용하여 사다리형 단어의 구조를 분석한다.
• 기존의 슈투르미안 단어와 중심 단어 이론의 결과를 적용하여, 폐쇄형 사다리형 단어가 슈투르미안임과 그 가장 긴 이중특수 요소가 중심 단어임을 보인다.
• 대칭성과 슈투르미안 단어 이론의 주기 조건을 사용하여, 사다리형 회문이 폐쇄형임을 모순에 의해 증명한다.

실험 결과

연구 질문

• RQ1 개방형 사다리형 단어와 폐쇄형 사다리형 단어를 구분짓는 구조적 성질은 무엇인가?
• RQ2 모든 개방형 사다리형 단어는 원시적인가?
• RQ3 모든 폐쇄형 사다리형 단어는 슈투르미안인가?
• RQ4 사다리형 회문과 슈투르미안 단어 사이의 관계는 무엇인가?
• RQ5 슈투르미안 회문의 특수 요소는 완전히 특성화될 수 있는가?

주요 결과

• 개방형 사다리형 단어는 모두 원시적임을 Lemma 13에서 입증하였다.
• 폐쇄형 사다리형 단어는 모두 슈투르미안임을 Proposition 12에서 증명하였다.
• 사다리형 회문은 폐쇄형 단어이며, 따라서 슈투르미안임을 Theorem 16에서 보였다.
• 폐쇄형 사다리형 단어의 가장 긴 이중특수 요소는 중심 단어임을 Lemma 14에서 서술하였다.
• 슈투르미안 회문의 특수 요소는 그 가장 긴 좌측 및 우측 특수 요소가 일치하고 중심 단어임을 Corollary 17에 따라 특성화하였다.
• 사다리형 회문이 폐쇄형 단어로 특성화됨에 따라, 이는 주기 조건 $ \pi_w = R_w + 1 $ 를 만족하며, 슈투르미안 단어 이론과 일관된다.