[論文レビュー] Synchronization is full measure for all $\alpha$-deformations of an infinite class of continued fraction transformations

Kariane Calta, Cor Kraaikamp+1 more|arXiv (Cornell University)|Jan 17, 2017

Mathematical Dynamics and Fractals参考文献 5被引用数 3

ひとこと要約

この論文は、三角型フクス群 G3,n に関連する無限族の α-変形連分数写像に対して、区間端点の軌道が同期するパラメータ α の集合が、Lebesgue測度1を占めることを確立している。適切な語の木と群論的恒等式を用いて、3つのパラメータ領域において同期集合を完全に特徴付け、非同期が発生するのは測度ゼロのカントール集合に限ることを証明した。これにより、これらの写像に対する自然拡張とエントロピー関数の構成が可能になる。

ABSTRACT

We study an infinite family of one-parameter deformations, so-called $\alpha$-continued fractions, of interval maps associated to distinct triangle Fuchsian groups. In general for such one-parameter deformations, the function giving the entropy of the map indexed by $\alpha$ varies in a way directly related to whether or not the orbits of the endpoints of the map synchronize. For two cases of one-parameter deformations associated to the classical case of the modular group $ ext{PSL}_2(\mathbb Z)$, the set of $\alpha$ for which synchronization occurs has been determined. Here, we explicitly determine the synchronization sets for each $\alpha$-deformation in our infinite family. (In general, our Fuchsian groups are not subgroups of the modular group, and hence the tool of relating $\alpha$-expansions back to regular continued fraction expansions is not available to us.) A curiosity here is that all of our synchronization sets can be described in terms of a single tree of words. In a paper in preparation, we identify the natural extensions of our maps, as well as the entropy functions associated to each deformation.

研究の動機と目的

• α-変形連分数写像の区間端点の軌道が同期する α 値の集合を完全に特徴付けること。
• モジュラー群を超えた、無限族の三角型フクス群 G3,n への同期理論の拡張。
• 正則連分数展開が利用できない場合でさえも、一様な語の木を用いて同期集合を完全に記述すること。
• 今後の論文でこれらの写像の自然拡張とエントロピー関数を決定する基盤を提供すること。

提案手法

• 三角型フクス群 G3,n に関連する一パラメータ族の区間写像 T3,n,α を導入し、古典的 α-連分数を一般化する。
• 適切な語の集合 V を用いて同期区間をインデックス化し、語列の桁展開と完全分岐性に基づいて適切性を定義する。
• 行列 A, B, C, U を含む群元の恒等式を用いて、軌道ダイナミクスと G3,n 内の代数的関係を関連付ける。
• α=0 の場合の漸近的性質とエルゴディシティの議論を用いて、同期区間の補集合が測度ゼロのカントール集合であることを帰納的に証明する。
• 3つのパラメータ領域（α < γ3,n、α > ϵ3,n、および γ3,n < α < ϵ3,n）を分析し、それぞれ異なる語的および群論的議論を要する。
• 両方の軌道展開が適切なまま保たれる場合に同期が発生することを条件とし、端点は適切性の喪失が最初に発生する点で定義される。

実験結果

リサーチクエスチョン

• RQ1 区間写像 T3,n,α の左および右端点の軌道が最終的に同期する α 値は何か？
• RQ2 非モジュラーな三角型フクス群の α-変形に対して、正則連分数展開に依存せずに同期集合を完全に記述できるか？
• RQ3 G3,n 内の群論的恒等式は、パrameter空間における同期区間の構造とどのように関係するか？
• RQ4 これらの変形において、非同期となる α 値の集合は測度的に無視できるか？
• RQ5 すべての n ≥ 3 において、一様な語の木によって同期構造を一貫して符号化できるか？

主な発見

• すべての n ≥ 3 に対して、T3,n,α の左および右端点の軌道が同期する α ∈ (0,1) の集合は、Lebesgue測度1を占める。
• 同期集合は、Z≠0 × V によってインデックス付けられた区間の互いに素な和集合である。ここで V は適切な語の木であり、各区間は一対の適切な桁展開に対応する。
• 同期集合の補集合は、Lebesgue測度ゼロのカントール集合である。これは α=0 の写像のエルゴディシティを用いて証明された。
• 両方の左および右軌道展開が適切なまま保たれる場合にのみ同期が発生し、端点は最初の適切性喪失の時点で定義される。
• 同期区間は、行列 A, C, U を含む群の恒等式によって完全に特徴付けられ、各区間の端点に対して明示的な公式が得られる。
• 同期集合の構造はすべての n ≥ 3 で一様であり、語の木 V が n に依存しない普遍的な符号化機構を提供する。