[論文レビュー] Symbolic coding for linear trajectories in the regular octagon

John Smillie, Corinna Ulcigrai|ArXiv.org|May 6, 2009

Mathematical Dynamics and Fractals参考文献 16被引用数 10

ひとこと要約

本稿では、正八角形内の線形軌道を記号的に符号化するための体系を提示する。これは、各辺にラベルが付けられた辺の列を通過する順序を表す双無限語である「切断列」を用いる。本稿では、ヴェーチ群の正規化力学に結びついた新規の連分数アルゴリズムを導入し、置換操作を通じて切断列を特徴づける。この手法により、軌道の傾きとその記号的系列との完全かつ明示的な対応関係を確立し、ステルミアン列を高次の多角形へと一般化する。

ABSTRACT

We consider a symbolic coding of linear trajectories in the regular octagon with opposite sides identified (and more generally in regular 2n-gons). Each infinite trajectory gives a cutting sequence corresponding to the sequence of sides hit. We give an explicit characterization of these cutting sequences. The cutting sequences for the square are the well studied Sturmian sequences which can be analyzed in terms of the continued fraction expansion of the slope. We introduce an analogous continued fraction algorithm which we use to connect the cutting sequence of a trajectory with its slope. Our continued fraction expansion of the slope gives an explicit sequence of substitution operations which generate the cutting sequences of trajectories with that slope. Our algorithm can be understood in terms of renormalization of the octagon translation surface by elements of the Veech group.

研究の動機と目的

• 正八角形内の線形軌道から生じる記号的切断列の完全かつ明示的な特徴づけを提供すること。
• 正方形の場合に用いられるステルミアン列の理論を、正八角形およびより一般に正2n角形へと拡張すること。
• 正規化とタイヒミュラー力学に基づく新規連分数アルゴリズムを用いて、軌道の傾きとその切断列との対応関係を確立すること。
• 偶数本の辺をもつすべての正多角形へと記号的符号化フレームワークを一般化し、それらの切断列が無限の整合性と生成作用素によって特徴づけられることを示すこと。

提案手法

• 各軌道をアルファベット {A, B, C, D} 上の双無限語に写像する切断列による記号的符号化を導入し、それが通過する辺のペアの順序に基づく。
• 八角形の幾何構造に適合した連分数アルゴリズムを開発し、正方形における古典的連分数法に類似するが、翻訳面におけるヴェーチ群の作用に適応したものである。
• ヴェーチ群による正規化を用いて、反復的な置換操作を通じて、軌道の傾きとその切断列との関係を定義する力学系を構築する。
• 語の集合 𝒜ₛ 上で作用する生成作用素 𝔤ⁱⱼ を定義し、階層的かつ整合的な構造を通じて、すべての有効な切断列を再帰的に構成可能とする。
• アフィン多角形 O′₂ₙ を長方形の階段状に表現し、幾何的角と記号的文字列の間の関係を視覚化・分析する。
• 有効な有限部分語を特徴づける整合性条件 (C1)′ と (C2)′ を確立し、切断列の集合の閉包性を保証する。

実験結果

リサーチクエスチョン

• RQ1 正八角形内の線形軌道の切断列として生じる無限語を、完全かつ明示的に特徴づけることができるか？
• RQ2 与えられた切断列が、対応する軌道の方向（傾き）を一意に決定するか？
• RQ3 切断列の有限部分語が与えられたとき、その可能性のある方向の分野（セクター）を特定できるか。そして、その計算はアルゴリズム的に可能か？
• RQ4 八角形における軌道の記号的符号化を、すべての偶数辺をもつ正2n角形へと一般化できるか？
• RQ5 ヴェーチ群とタイヒミュラー測地線フローは、これらの切断列の生成と分類において果たす役割は何か？

主な発見

• 正八角形のすべての切断列の集合は、生成作用素 𝔤ⁱⱼ による無限に整合的な語の集合の閉包として完全に特徴づけられる。
• 本稿では、ヴェーチ群の作用に基づいて導出された新規連分数アルゴリズムを通じて、線形軌道の傾きとその切断列との間の一対一対応関係を確立した。
• 正八角形内の軌道の切断列は、生成作用素によって定義される置換操作の系列によって生成され、ステルミアンの場合の一般化である。
• 正2n角形においては、切断列の集合の閉包が無限に整合的な語の集合と一致し、繰り返し適用された生成作用素の入れ子の共通部分集合として記述される。
• アフィン多角形 O′₂ₙ の階段状表現により、サンドイッチ条件の幾何的解釈が可能となり、辺ラベルと置換 π→ および π↑ の作用が結びつけられる。
• 本手法により、測度ゼロの区間交換変換の族の完全な記号的記述が、整合的な記号的系列によってその力学を捉える正規化スキームを通じて得られる。