[論文レビュー] Sturm numbers and substitution invariance of 3iet words

Pierre Arnoux, Valérie Berthé+2 more|ArXiv.org|Oct 31, 2007

semigroups and automata theory参考文献 12被引用数 10

ひとこと要約

この論文は、3つの区間の交換（置換 (321) を伴う）のコード化である非退化な3iet語が、原始的置換に関して不変であるための必要十分条件を確立している。その条件は、その傾きパラメータ $\varepsilon = \frac{\alpha + \beta}{\alpha + 2\beta + \gamma}$ がスターミ数（Sturm number）であることである。証明は力学系と置換力学の枠組みに基づき、置換のインシデント行列の主要固有値が二次単数（quadratic unit）でなければならないこと、およびパラメータ $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語へ、スターミ数と置換不変性の既知の関係を拡張すること。
• このような置換のインシデント行列の代数的性質を特定すること。
• 2つの関連するスターミアン自己準同型を用いた3iet語の組合せ的特徴づけを提供すること。

提案手法

• 著者たちは、3iet語の幾何的・力学的解釈（円周上の回転の誘導系としての解釈）を用い、正規化 $\alpha + 2\beta + \gamma = 1$ を活用している。
• 3iet語を2文字のスターミアン語へ写像する2つの自己準同型 $\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語の言語は、2つの関連するスターミアン自己準同型を用いて完全に特徴づけられるか？

主な発見

• 非退化な3iet語が原始的置換に関して不変であるのは、その傾きパラメータ $\varepsilon = \frac{\alpha + \beta}{\alpha + 2\beta + \gamma}$ がスターミ数である場合に限る。
• 置換のインシデント行列 $\mathbf{M}_\varphi$ の主要固有値 $\Lambda$ は二次単数（quadratic unit）である。
• 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語の特徴づけにおいて最適であることが示された。