[논문 리뷰] Factor frequencies in languages invariant under more symmetries

Ľubomíra Balková|arXiv (Cornell University)|2011. 07. 03.

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

한 줄 요약

이 논문은 유한군의 모든 대칭에 대해 불변인 언어를 가진 균일하게 반복적인 무한 단어에서 서로 다른 요인 빈도의 수에 대한 최적의 상한을 확립한다. 감소된 Rauzy 그래프와 군-불변 대칭을 활용하여, 이전의 상한—특히 Boshernitzan의 $3\Delta\mathcal{C}(n)$—을 $\frac{1}{\#G}(4\Delta\mathcal{C}(n) + \#G - X - Y)$로 개선하며, 3중 회전 대칭을 갖는 호모모르피즘의 고정점에 대한 명시적 구성과 분석을 통해 이 상한이 최적임을 증명한다.

ABSTRACT

The number of frequencies of factors of length $n+1$ in a recurrent aperiodic infinite word does not exceed $3Δ\C(n)$, where $Δ\C (n)$ is the first difference of factor complexity, as shown by Boshernitzan. Pelantová together with the author derived a better upper bound for infinite words whose language is closed under reversal. In this paper, we further diminish the upper bound for uniformly recurrent infinite words whose language is invariant under all elements of a finite group of symmetries and we prove the optimality of the obtained upper bound.

연구 동기 및 목표

• 유한 대칭군에 대해 불변인 언어에 대해 이전의 요인 빈도 수에 대한 상한을 일반화한다.
• 재귀적 비주기적 단어에 대해 Boshernitzan의 상한 $3\Delta\mathcal{C}(n)$을 군 대칭을 통합하여 개선한다.
• 유도된 상한이 최적임을 증명하기 위해, 상한이 정확히 달성되는 명시적 예를 구성한다.
• 반전 이외의 고차원 대칭군으로까지 확장된 Rauzy 그래프와 대칭에 따른 빈도 보존의 응용을 확장한다.

제안 방법

• 균일하게 반복적인 무한 단어에서 요인 빈도를 모델링하기 위해 감소된 Rauzy 그래프의 사용.
• 군 이론적 대칭(회전 및 반사 포함)을 적용하여 간선과 정점 간의 빈도 분포를 제약한다.
• 새로운 상한 유도: $\frac{1}{\#G}(4\Delta\mathcal{C}(n) + \#G - X - Y)$, 여기서 $X$는 이중특수 요인의 수이고 $Y$는 특정 대칭에 대해 팰린드롬인 이중특수 요인의 수이다.
• Rauzy 그래프에서 빈도에 대해 Kirchhoff의 법칙을 적용하여 대칭 구성 요소 간의 간선 빈도를 연결한다.
• 3중 회전 대칭을 갖는 호모모르피즘의 고정점을 구성하여 상한의 날카로움을 시험한다.
• 이중특수 요인의 존재 또는 부재에 따른 케이스 분석을 통해 빈도 집합과 그래프 구조의 상관관계를 규명한다.

실험 결과

연구 질문

• RQ1 유한 대칭군의 대칭에 대해 불변인 언어를 가진 균일하게 반복적인 무한 단어에서 서로 다른 요인 빈도의 수에 대한 최소 상한은 무엇인가?
• RQ2 이중특수 요인과 팰린드롬 대칭의 존재는 서로 다른 요인 빈도의 수에 어떤 영향을 미치는가?
• RQ3 군 대칭으로부터 도출된 상한은 실질적으로 달성될 수 있는가? 만약 그렇다면 어떤 조건에서 달성되는가?
• RQ4 대칭이 존재할 경우, 새로운 상한은 Boshernitzan의 $3\Delta\mathcal{C}(n)$ 상한과 어떻게 비교되는가?
• RQ5 상한은 최적인가? 그리고 명시적 예를 통해 포화될 수 있는가?

주요 결과

• 논문은 서로 다른 요인 빈도 수에 대한 새로운 상한을 확립한다: $\frac{1}{\#G}(4\Delta\mathcal{C}(n) + \#G - X - Y)$, 이는 Boshernitzan의 $3\Delta\mathcal{C}(n)$ 상한을 개선한다.
• 상한은 최적임이 증명되었으며, 3중 회전 대칭을 갖는 호모모르피즘의 고정점에서 정확히 상한이 달성됨을 통해 입증된다.
• 길이 $n$에서 이중특수 요인이 존재할 경우, 길이 $n+1$의 서로 다른 요인 빈도의 수는 정확히 2개이며, 이는 상한과 정확히 일치한다.
• 길이 $n$에서 이중특수 요인이 존재하지 않을 경우, 서로 다른 빈도의 수는 정확히 3개이며, 다시 한번 유도된 상한과 일치한다.
• 길이 $n+1$의 요인에 대한 빈도 집합은 이중특수 요인의 존재 여부와 대칭 유형에 따라 세 가지 특정 형태 중 하나를 취함이 입증된다.
• Thue-Morse 단어는 비자명한 대칭군을 지니고 있음에도 불구하고 상한을 달성하지 못함을 보여주며, 이는 상한이 일반적으로 최적임을 보여주지만 항상 날카로운 것은 아님을 시사한다.