[論文レビュー] On ergodic properties of iceberg transformations. I: Approximation and spectral multiplicity

A. A. Prikhod’ko|arXiv (Cornell University)|Aug 25, 2010

Mathematical Dynamics and Fractals参考文献 17被引用数 8

ひとこと要約

この論文は、反復的回転と記号的単語の連結によって構築される測度を保つ力学系のクラス「アイスバーグ変換」を導入する。幾何学的には、前向きおよび逆向きのアイスレット（ロホリン型の塔）から成る積層構造（アイスバーグ）として視覚化される。本論文は、確率的アイスバーグ写像がほとんど確実に単一スペクトル、1/4-局所ランク、および σ⁎σ ≪ λ を満たすスペクトル型 σ を持つことを証明しており、これはスペクトルの減衰が O(t^{-1/2+ε}) のように振る舞うことを意味する。

ABSTRACT

We investigate a class of mixing dynamical systems around the concept of iceberg transformation. In brief, an iceberg transformation is defined using symbolic language as follows. We build a sequence of words such that the next word is a concatenation of rotated copies of the previous word. For example, a word CAT can turn into CAT.ATC.TCA.TCA.CAT.ATC, then we repeat the procedure applying it to this new word and so on. Geometrically, given an invertible measure preserving transformation $T$ an iceberg is a union of two icelets for the map $T$, one direct and one reverse with common base set, where icelet is defined in a similar way as Rokhlin tower $B \sqcup TB \sqcup \ldots \sqcup T^{h-1}B$, namely, an icelet is a sequence of disjoint measurable sets $\{B_0, B_1, \ldots, B_{h-1}\}$ such that the levels are nested: $B_{j+1} \subseteq TB_j$. Reverse icelet is defined as icelet for $T^{-1}$, and it grows towards the past. Iceberg transformation is approximated by a sequence of icebergs, resembling the behaviour of rank one ergodic maps. It is show that a class of random iceberg transformations almost surely has simple spectrum, $1/4$-local rank property and spectral type $σ$ such that $σ\conv σ\ll \la$ where $\la$ is the Lebesgue measure on the circle $S^1$.

研究の動機と目的

• 記号的力学系と区間交換型の回転を用いた『アイスバーグ変換』の概念を一般化の観点から導入・形式化すること。
• これらの系のエルゴディックおよびスペクトル的性質を研究し、特にネストされたアイスバーグによる近似とスペクトル多重度に注目すること。
• 確率的アイスバーグ写像がほとんど確実に単一スペクトルおよび有限のスペクトル多重度を持つことを確立すること。さらに、スペクトル型 σ が σ⁎σ ≪ λ を満たすことを示すこと。
• 関連する力学系の相関減衰を分析し、確率論的および調和解析的手法を用いてスペクトル測度の境界を導出すること。
• アイスバーグ系がオルンシュタインのランク1系など既知のクラスとどのように関連するかを検討し、ロホリン型の塔とポincare写像を用いた幾何学的・組合せ的構造を明らかにすること。

提案手法

• 反復的回転と連結により単語列を構築する：W_{n+1} = ∏_{y=0}^{q_n-1} ρ_{α_{n,y}}(W_n)，ここで ρ_α は単語を α 位置後に回転する操作である。
• 幾何学的には、各単語を『アイスバーグ』として解釈する——前向きおよび逆向きのアイスレット（ロホリン型の塔）の和集合であり、互いに素なレベル B_j が B_{j+1} ⊆ T B_j を満たす。
• 変換 T の作用をアイスバーグ構造上でモデル化するため、Poincaré 写像を用いる。レベルは時間発展を表す。
• モーメント推定と確率的議論を適用し、相関減衰 R(t) = ⟨T^t f, g⟩ を分析する。R^∘_{n+1}(sh_n) が回転インデックスの差の上での R^∘_n の重み付き平均であることを示す。
• i.i.d. な回転パラメータ α_{n,y} を用いて、差 α_{n,y} - α_{n,y-s} がほぼ無相関であることを示し、分散の減衰の推定に寄与する。
• 主要な境界 D R^∘_n(sh_n) ∼ 2 D R^∘_{n-1}(t) を導出し、D R^∘_n(t) = O(2^n / h_n) を得る。これにより、任意の ε > 0 に対して R(t) = O(t^{-1/2+ε}) が導かれる。

実験結果

リサーチクエスチョン

• RQ1 アイスバーグ構成は、単一スペクトルを持つ混合系を生成するか？
• RQ2 確率的アイスバーグ写像のスペクトル多重度および局所ランク性質は何か？
• RQ3 i.i.d. 回転を用いたアイスバーグ系では、相関がどの程度の速さで減衰するか？
• RQ4 スペクトル型 σ とLebesgue測度 λ の関係は何か？特に σ⁎σ ≪ λ が成り立つかどうか。
• RQ5 アイスバーグ変換は、オルンシュタインのランク1系の一般化と見なせるか？

主な発見

• 確率的アイスバーグ写像はほとんど確実に単一スペクトルを持つ。これはスペクトル測度が単一であり、多重度が生じないことを意味する。
• 系は1/4-局所ランク性質を満たしており、誤差を制御した塔による近似の強い形を示している。
• スペクトル型 σ は σ⁎σ ≪ λ を満たしており、これはスペクトル測度の二乗が円周上のLebesgue測度に関して絶対連続であることを意味する。
• 相関減衰は R(t) = O(t^{-1/2+ε})（任意の ε > 0）で抑えられ、アイスバーグのレベルにわたる分散伝播から導出される。
• 仮定のもとで、R(t) = O(t^{-1/2+ε}) は最適であり、1/2未満への改善はLebesgueスペクトルを意味するが、これは保証されていない。
• 証明はモーメント推定にのみ依存しており、中心極限定理を必要としない。これは、柔軟性と一般化の可能性を示唆している。