[論文レビュー] Invariant measures on finite rank subshifts

Nicolas Bédaride, Arnaud Hilion+1 more|arXiv (Cornell University)|Jul 19, 2020

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

ひとこと要約

本稿では、任意の有限 $S$-ランクの部分符号に対して、不変測度は文字シリンダー上での値によって完全に決定されることを確立する。すなわち、アルファベットの各文字における測度の値によって測度が完全に特定される。この結果は、$S$-adic展開の構造と、各段階における文字測度の錐の不変性に起因する。本結果は、記号的力学系および部分符号における測度論的剛性に重要な意味を持つ。

ABSTRACT

In this note we show that for any subshift $X$ of finite $S$-rank every invariant measure $μ$ is determined by its values on finitely many cylinders. Under mild conditions these cylinders are given by the letters of the alphabet in question.

研究の動機と目的

• 有限 $S$-ランク部分符号上の不変測度が、文字シリンダー上での値によって決定されることを確立すること。
• $S$-adic展開と接続行列が不変測度を特徴付ける役割を明確にすること。
• 薄い $S$-adic展開において、文字測度の錐が各段階で一定であることを示すこと。
• 部分符号と準同型の構造的性質に基づいて、測度決定の簡潔な証明を提供すること。
• 本結果が記号的力学系およびエルゴード理論に与える広範な意味を強調すること。

提案手法

• 著者らは、部分符号 $X$ が段階 $n$ の自己準同型 $\sigma_n: \mathcal{A}_{n+1}^* \to \mathcal{A}_n^*$ の列によって生成される $S$-adic展開を用いて、不変測度を分析する。
• 各段階 $n$ の部分符号 $X_n$ に対して、文字測度の錐 $\mathcal{C}_n$ を定義し、写像 $\zeta_n: \mathcal{M}(X) \to \mathcal{C}_n$ の振る舞いを研究する。
• 主な技術的道具は、各文字が写像の像に何回現れるかを符号化する接続行列 $M(\sigma_n)$ である。
• 証明は、至る所成長する $S$-adic展開において、写像 $M(\sigma_n)$ が $\mathcal{C}_{n+1}$ から $\mathcal{C}_n$ への全射であり、かつ $\dim \mathcal{C}_n$ が一定であれば $\zeta_n$ が全単射であるという事実に依拠する。
• 著者らは、すべての $\mathcal{C}_n$ が同じ次元 $c(X)$ を持つならば $\zeta_0$ が全単射であるという先行研究の結果を適用し、測度が文字シリンダー値によって決定されることを示す。
• 一般の有限 $S$-ランク部分符号へは、次元が安定する段階 $n_0$ 以降に拡張し、準同型の関手的性質を用いて、元の部分符号への測度決定を持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 部分符号上の不変測度が、文字シリンダー上での値によって一意に決定される条件は何か？
• RQ2 $S$-adic展開の構造が、不変測度の錐の次元に与える影響は何か？
• RQ3 接続行列が部分符号における測度の剛性を決定づける役割は何か？
• RQ4 薄い $S$-adic展開において、文字測度の錐が各段階で一定であるのはいつか？
• RQ5 中間の部分符号から、準同型誘導写像を介して、全部分符号への測度決定を拡張できるか？

主な発見

• 任意の薄い有限 $S$-ランク部分符号に対して、二つの不変測度が等しいための必要十分条件は、各文字シリンダー $[a_k]$ に対して同じ測度値を割り当てることである。
• 文字測度の錐 $\mathcal{C}_n$ の次元 $c_n$ は、すべての $n \geq n_0$ で $c(X)$ に安定し、有限個のシリンダーからの測度決定が保証される。
• すべての接続行列 $M(\sigma_n)$ が可逆であり、$S$-adic展開が至る所成長する場合、不変測度は文字シリンダー測度によって完全に決定される。
• 非消去的準同型 $\sigma$ によって誘導される写像 $\sigma M: \mathcal{M}(X) \to \mathcal{M}(Y)$ は全射であり、部分符号間で測度構造が保存される。
• 本結果は、すべての有限 $S$-ランク部分符号へ一般化可能であり、不変測度はある $n_0$ に対して $[\sigma_0 \circ \cdots \circ \sigma_{n_0-1}(a_k)]$ のシリンダーの測度によって決定される。
• 主な洞察は、薄い $S$-adic展開において、文字測度の錐の次元が各段階で一定であることによって、測度の剛性が生じることにある。