[論文レビュー] Lower bounds for symbolic complexity of iceberg dynamical systems

A. A. Prikhod’ko|arXiv (Cornell University)|Jan 27, 2012

semigroups and automata theory参考文献 14被引用数 3

ひとこと要約

本稿は、語のランダムな巡回回転を用いて構築される一般化されたランク1系の一般化版であるアイスバーグ力学系の記号的複雑度について、$ l^{3-u} $ の下界を確立する。これは、古典的ランク1系が一般的に示す二次的複雑度を上回ることを示しており、アイスバーグ系はランク1写像よりも厳密に大きなクラスを形成することを示唆する。この結果は、ゼロエントロピー力学系におけるスぺクトル不変量および同型問題に影響を与える。

ABSTRACT

The symbolic complexity of an infinite word $W$ is the function $p_W(l)$ counting the number of different subwords in $W$ of length $l$. In this paper our main purpose is to study the complexity for a class of topological dynamical systems, called iceberg systems, given by the following symbolic procedure. Starting from a given finite word $w_1$ we construct a sequence of words $w_{n+1} = w_n ρ_{a_n(1)}(w_n)...ρ_{a_n(q_n-1)}(w_n)$, where $ρ_a(u)$ is the cyclic rotations of the word $u$ by $a$ positions, and consider an infinite word $W$ extending each $w_n$ to the right. It is shown that for iceberg systems given by the randomized parameters $a_n(j)$ the complexity function almost surely satisfies the estimate $p_W(l) > l^{3-ε}$ for any $ε> 0$ and $l \ge l_0(ε)$, and at the same time it is observed that this estimate represents up to a small correction the optimal lower bound for the complexity function, namely, $p_{w_{n+1}}(l_n) \le l_n^3$ along the subsequence $l_n = |w_n|+1$.

研究の動機と目的

• アイスバーグ系と呼ばれる力学系の一般化されたクラスの記号的複雑度を調査すること。これは古典的ランク1構成の拡張である。
• アイスバーグ系が、既知の $ p(l) \lesssim l^2 $ を満たす古典的ランク1系よりも高い複雑度を示すかどうかを特定すること。
• 記号的複雑度が、同型だが非同型の系を区別する不変量として果たす役割を調査すること。特にゼロエントロピー力学系において。
• パスカルアディック変換の複雑度（$ \sim l^3/6 $ の立方複雑度）と比較して、アイスバーグ系の複雑度を検討すること。

提案手法

• 語の反復的拡張によりアイスバーグ系を構築：$ \boldsymbol{w}_{n+1} = \boldsymbol{w}_n \rho_{\alpha_n(1)}(\boldsymbol{w}_n) \cdots \rho_{\alpha_n(q_n-1)}(\boldsymbol{w}_n) $、ここで $ \rho_\alpha $ は巡回回転を表す。
• 無限大極限の語 $ \boldsymbol{w}_\infty $ に含まれる長さ $ l $ の異なる部分語の数を数える記号的複雑度関数 $ p_{\boldsymbol{w}_\infty}(l) $ を分析する。
• 典型的な挙動をモデル化し、複雑度の確率的下界を導出するために、ランダム化された回転パラメータ $ \alpha_n(j) $ を用いる。
• 部分列 $ l_n = |\boldsymbol{w}_n| + 1 $ に対して $ p_{\boldsymbol{w}_{n+1}}(l_n) \leq l_n^3 $ を示し、立方上界が小さな補正の範囲でタイトであることを示す。
• スケーリング近似理論を適用し、アイスバーグ写像がスケーリングランク1であり、$ \boldsymbol{\lambda}(h) = 1/2 $ であることを示す。これは、ランク1写像の $ \boldsymbol{\lambda}(h) = 1 $ と対照的である。
• 既知のパスカルアディック変換の複雑度と結果を比較し、$ p(l) \sim l^3/6 $ を達成している。

実験結果

リサーチクエスチョン

• RQ1 ランダムな巡回回転を用いて構築されたアイスバーグ系の典型的な記号的複雑度は何か？
• RQ2 記号的複雑度を不変量として用いることで、アイスバーグ系と古典的ランク1系を区別できるか？
• RQ3 アイスバーグ系の立方成長率 $ l^3 $ は最適か、よりタイトな境界を確立できるか？
• RQ4 アイスバーグ系のスケーリング関数 $ \boldsymbol{\lambda}(h) $ は、パスカルアディック変換のそれとどのように比較できるか？
• RQ5 パスカルアディック写像の漸近的複雑度 $ \sim l^3/6 $ は最適であり、普遍的なスケーリング行動を反映しているか？

主な発見

• ランダム化された回転パラメータを用いたアイスバーグ系では、任意の $ \varepsilon > 0 $ に対して $ p_{\boldsymbol{w}_\infty}(l) \gtrsim l^{3-\varepsilon} $ を満たす。これは、ほぼ立方成長を示している。
• 部分列 $ l_n = |\boldsymbol{w}_n| + 1 $ に対して $ p_{\boldsymbol{w}_{n+1}}(l_n) \leq l_n^3 $ が成り立つことから、立方上界がほとんど最適であることが示された。
• 古典的ランク1系は $ p(l_n) \lesssim \frac{1}{2} l_n^2 $ を満たすため、$ l^{3-\varepsilon} $ の下界と矛盾し、アイスバーグ系はランク1系よりも厳密に複雑である。
• アイスバーグ写像はスケーリングランク1であり、$ \boldsymbol{\lambda}(h) = 1/2 $ を満たす。これは、2部構造の区間交換（巡回回転）による構成を反映している。
• パスカルアディック変換の記号的複雑度は正確に $ p(l) \sim \frac{1}{6} l^3 $ であり、アイスバーグ系と比較するための自然な基準となる。
• 結果から、記号的複雑度はスペクトル的性質が類似している場合でも、非同型の系を区別できる可能性があることが示唆され、ランクがスペクトル的不変量ではないことを示唆する。