[論文レビュー] Beyond substitutive dynamical systems: S-adic expansions

Valérie Berthé, Vincent Delecroix|arXiv (Cornell University)|Sep 16, 2013

Mathematical Dynamics and Fractals参考文献 109被引用数 52

ひとこと要約

本稿は、置換的力学系の一般化として$S$-adic展開を導入し、組合せ的・算術的・幾何的視点から連分数と関連付けて分析する。リャプノフ指数のピゾ条件の下で、$S$-adic系はバランスの取れた語と純粋離散スペクトルをもたらすことが示され、古典的連分数およびピゾ置換の結果が拡張される。

ABSTRACT

An S-adic expansion of an infinite word is a way of writing it as the limit of an infinite product of substitutions (i.e., morphisms of a free monoid). Such a description is related to continued fraction expansions of numbers and vectors. A fundamental example of this relation is between Sturmian sequences and regular continued fractions. We study S-adic words from different perspectives, namely word combinatorics, ergodic theory, and Diophantine approximation, by stressing the parallel with continued fraction expansions.

研究の動機と目的

• 各段階で変化する置換規則を用いて、$S$-adic展開を導入し、置換的力学系を一般化すること。
• 特に、文字頻度ベクトルと接続行列の観点から、$S$-adic語と連分数展開との間の深い類似性を確立すること。
• $S$-adic系の力学的性質（最小性、不変測度、因子複雑度など）を調査すること。
• 特にリャプノフ指数のピゾ条件を用いて、$S$-adic系がバランスの取れた語と純粋離散スペクトルをもたらす条件を特徴づけること。
• 組合せ論、エルゴディック理論、ディオファントス近似の視点を、$S$-adic形式的枠組みを通じて統合すること。

提案手法

• 置換$\sigma_0\sigma_1\cdots\sigma_n(a_n)$の無限合成の極限として$S$-adic展開を定義し、純粋置換的語の一般化を行う。
• 置換の接続行列を用いてアーベル化された力学をモデル化し、文字頻度のベクトル的連分数に類似した展開を導出する。
• オセレーデツの乗法的エルゴディック定理を用いて、$\mu$-ほとんど everywhere の指令列に対してリャプノフ指数$\theta_1^\mu > \theta_2^\mu$を分析する。
• デュモン＝トーマスの接頭語・接尾語分解を用いて、極限系における語の頻度を有限近似におけるものと関連付ける。
• バランス性と純粋離散スペクトルを保証するため、$\theta_1^\mu > 0 > \theta_2^\mu$というピゾ条件を導入する。
• ブラッティェリ＝ヴェルシク図やカクトゥーニ＝ロフリン構成と関連付けることで、位相的および測度論的力学系と接続する。

実験結果

リサーチクエスチョン

• RQ1 変化する置換規則を用いた$S$-adic展開は、純粋置換的系をどのように一般化するのか。また、どのような力学的性質が変化する置換規則から生じるのか。
• RQ2 文字頻度ベクトルと行列積の観点から、$S$-adic系はどの程度連分数展開の構造を模倣するのか。
• RQ3 リャプノフ指数にどのような条件下で、$S$-adic系が差分が有界なバランスの取れた語を生成するのか。
• RQ4 ピゾ条件が$S$-adic系における純粋離散スペクトルを保証する役割を果たす仕組みは何か。また、ラウツィー・フラクタルに関する既知の結果とどのように関連するのか。
• RQ5 $S$-adic形式的枠組みは、組合せ論的・算術的・幾何的視点を記号的力学系の研究においてどのように統合するのか。

主な発見

• 一般条件下で$S$-adic語はエントロピーがゼロであり、低複雑性と自己相似構造を示す。
• $S$-adic語における一様な文字頻度のベクトルは、無限個の接続行列の積の極限として得られ、連分数の収束項に類似している。
• $\mu$-ほとんど everywhere の指令列に対して、関連する$S$-adic系は一意的エルゴディックであり、一様な文字頻度を持つ。
• 文字頻度の差分は$\exp(n(\theta_2^\mu + \varepsilon))$で有界であり、$\theta_2^\mu < \theta_1^\mu$が成長率を制御する。
• ピゾ条件$\theta_1^\mu > 0 > \theta_2^\mu$の下で、$S$-adic系はバランスの取れた語を生成し、スターミアンおよびアーノウ・ロウツィー列の結果を一般化する。
• ピゾ条件は、ほとんどすべての$S$-adic展開（例：ブルンやヤコビ＝ペルソン）が純粋離散スペクトルを持つことを示し、記号的力学系におけるピゾ予想を支持する。