[논문 리뷰] Sturm numbers and substitution invariance of 3iet words

Pierre Arnoux, Valérie Berthé외 2명|ArXiv.org|2007. 10. 31.

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

한 줄 요약

이 논문은 비퇴화된 3iet 단어(치환 (321)를 갖는 세 개의 간격 교환을 코드화)가 원시적 치환에 대해 불변이 되기 위한 필요조건을 규명한다. 그 결과, 기울기 매개변수 $\varepsilon = \frac{\alpha + \beta}{\alpha + 2\beta + \gamma}$가 슈투르 수여야 한다는 것을 보여준다. 증명은 동역학계와 치환 동역학을 활용하여, 치환의 도입 행렬이 주된 고유값이 이차 단위이어야 하며, 매개변수 $c$와 $l$가 $\mathbb{Q}(\varepsilon)$에 속해야 한다는 점을 보여준다. 이는 기존의 슈투르 수와 치환 불변성 간의 관계를 슈투르 단어에서 3iet 단어로 확장한다.

ABSTRACT

In this paper, we give a necessary condition for an infinite word defined by a non-degenerate interval exchange on three intervals (3iet word) to be invariant by a substitution: a natural parameter associated to this word must be a Sturm number. We deduce some algebraic consequences from this condition concerning the incidence matrix of the associated substitution. As a by-product of our proof, we give a combinatorial characterization of 3iet words.

연구 동기 및 목표

• 비퇴화된 3iet 단어가 원시적 치환에 대해 불변이 되기 위한 필요 조건을 규명하는 것.
• 기존의 슈투르 수와 치환 불변성 간의 관계를 슈투르 단어에서 3iet 단어로 확장하는 것.
• 해당 치환의 도입 행렬의 대수적 성질을 특성화하는 것.
• 두 개의 관련 슈투르 호모모르피즘을 사용하여 3iet 단어의 조합적 특성화를 제공하는 것.

제안 방법

• 저자들은 원주 위의 회전에 의해 유도된 시스템으로서 3iet 단어의 기하학적 및 동역학적 해석을 활용하며, 정규화 조건 $\alpha + 2\beta + \gamma = 1$을 적용한다.
• 3iet 단어를 이진 슈투르 단어로 매핑하는 두 개의 호모모르피즘 $\sigma$와 $\sigma'$를 정의하여, 기존의 슈투르 단어 불변성에 관한 결과를 활용한다.
• 증명은 각 문자에 관련된 이동 벡터 $t_X$와 그 치환에 의한 행동에 기반하며, 구간 $I = [c, c+l)$ 위의 이동 사상 $T^n$을 사용한다.
• 핵심 논증은 $I_A$, $I_B$, $I_C$의 왼쪽 끝점이 이동 사상에 의해 반복적으로 이미지화된 $\Lambda' E_X$와 일치해야 하며, $\Lambda'$가 $\mathbb{Z}[\varepsilon]$의 단위가 아니면 모순이 발생한다는 점을 보이는 것이다.
• 특히 주된 고유값 $\Lambda$와 그 켤레 $\Lambda'$를 포함한 도입 행렬 $\mathbf{M}_\varphi$의 성질을 적용하여 $\varepsilon$, $c$, $l$에 대한 대수적 제약 조건을 이끌어낸다.
• 증명은 $E_X \subset \mathbb{Z}[\varepsilon]$ 이며 $E_{\varphi(X)} = \Lambda' E_X$ 이므로, $\Lambda'$가 $\mathbb{Z}[\varepsilon]$의 단위여야만 서로 다른 문자의 수에 대한 모순이 발생하지 않음을 이용한다.

실험 결과

연구 질문

• RQ1 비퇴화된 3iet 단어가 원시적 치환에 대해 불변이 되기 위한 조건은 무엇인가?
• RQ2 치환에 대해 불변인 3iet 단어의 기울기 매개변수 $\varepsilon = \frac{\alpha + \beta}{\alpha + 2\beta + \gamma}$는 반드시 슈투르 수여야 하는가?
• RQ3 해당 치환의 도입 행렬이 만족해야 할 대수적 성질은 무엇인가?
• RQ4 3iet 단어의 매개변수 $c$와 $l$는 수체수 $\mathbb{Q}(\varepsilon)$와 어떻게 관련되어 있는가?
• RQ5 3iet 단어의 언어는 두 개의 관련 슈투르 호모모르피즘을 통해 완전히 특성화될 수 있는가?

주요 결과

• 비퇴화된 3iet 단어가 원시적 치환에 대해 불변이 되기 위해서는 그 기울기 매개변수 $\varepsilon = \frac{\alpha + \beta}{\alpha + 2\beta + \gamma}$가 슈투르 수여야 한다.
• 치환의 도입 행렬 $\mathbf{M}_\varphi$의 주요 고유값 $\Lambda$는 이차 단위이다.
• 3iet 단어의 매개변수 $c$와 $l$는 수체수 $\mathbb{Q}(\varepsilon)$에 속한다.
• 구간 $I_A$, $I_B$, $I_C$의 왼쪽 끝점은 $T^n$에 의해 반복적으로 이미지화된 $\mathbb{Z}[\varepsilon]$의 점들과 일치하며, 이는 $\Lambda'$가 단위여야 함을 강제한다.
• 3iet 단어의 언어는 조합적으로 특성화된다: 언어가 비순환적임은 $\sigma(u)$와 $\sigma'(u)$가 모두 슈투르 단어임과 동치이다.
• 정규화 $\alpha + 2\beta + \gamma = 1$이 3iet 단어를 그 관련 슈투르 호모모르피즘을 통해 특성화하는 데 최적임을 보였다.