[論文レビュー] Weak mixing of maps with bounded cutting parameter

El Houcein El Abdalaoui, Arnaldo A. N. Noguiera+1 more|arXiv (Cornell University)|Feb 13, 2005

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

ひとこと要約

この論文は、切り口パラメータが有界であるとされるオルンシュタイン変換と呼ばれるランク1変換のクラスにおける弱混合性の性質を調査する。確率的構成法として切り分けと積み上げ法を用い、弱混合性が確率1で成立することを証明しており、これにより区間交換写像に関する先行研究を拡張するとともに、この文脈における弱混合性の0-1法則を確立する。

ABSTRACT

In the class of Ornstein transformations the mixing property satisfies a 0-1 law. Here we consider Ornstein's construction with bounded cutting parameter. In fact, these latter transformations are not mixing, however it is proved that the weak mixing property occurs with probability one. Our situation is similar to the case of interval exchange transformations whose link with the cutting and stacking construction relies in a dynamical process called Rauzy induction.

研究の動機と目的

• 切り口パラメータが有界であるとされる一般化されたオルンシュタイン変換クラスにおける弱混合性の性質を調査すること。
• 区間交換写像およびランク1系における弱混合性に関する先行結果を、より広範な確率的構成フレームワークへと拡張すること。
• このクラスにおける弱混合性の0-1法則を確立し、弱混合性がほとんど確実に成立することを示すこと。
• J.-P. タウヴォネが提起した、このような変換のスペクトル的性質に関する疑問を解決すること。
• 切り分けと積み上げ構成法と区間交換写像との間の類似性を、ラウツィ誘導を介して探ること。

提案手法

• 固定され、有界な切り口パラメータを用いた切り分けと積み上げ法によりランク1変換を構成する。
• 有界なサポートを持つランダムなスペーシング列の確率空間を定義し、その測度が有限で、動的性質が明確に定義されることを保証する。
• スペクトルギャップおよび集合 $ G( u) $ を用いた固有値解析の概念を適用し、変換の固有値を捉える。
• ネストされた集合 $ A_{(n_k),L}^{( u)} $ を用いたバーレ・カテゴリー型の議論により、固有値集合の大きさを分析する。
• Lemma 4.2 を用い、$ n_{k+1}/n_k < M $ という条件の下で $ A_{(n_k),L}^{( u)} $ の濃度が有界であることを示し、可算性を保証する。
• Lemma 4.4 を用い、無限に多くの添え字で1つずつ異なる2つの列が、それらの固有値集合が1以外に共通部分を持たないことを示し、非自明な固有値がほとんど確実に自明であることを示す。

実験結果

リサーチクエスチョン

• RQ1 切り口パラメータが有界であるオルンシュタイン変換において、弱混合性は確率1で成立するか？
• RQ2 このランク1変換のクラスにおいて、弱混合性の0-1法則を確立できるか？
• RQ3 有界な切り口パラメータは、変換のスペクトル型および固有値構造にどのように影響するか？
• RQ4 スペクトル挙動の観点から、これらの変換と区間交換写像との間に構造的類似性が存在するか？
• RQ5 ラウツィ誘導プロセスは、切り分けと積み上げ構成法と区間交換系とを結ぶ役割を果たすか？

主な発見

• 切り口パラメータが有界であるオルンシュタイン変換のクラスにおいて、弱混合性が確率1で成立する。
• このクラスのほとんどすべての変換について、可能な固有値の集合は可算であるため、非自明な固有値はほとんど確実に存在しない。
• ある $ M > 0 $ に対して $ n_{k+1}/n_k < M $ という条件が満たされれば、集合 $ G( u) $ が可算であることが保証され、これが弱混合性の証明の鍵となる。
• 任意の $ u < 1/(4M) $ に対して、集合 $ A_{(n_k),L}^{( u)} $ の濃度は $ n_{k_0} $ で有界であり、ここで $ k_0 $ は $ n_{k_0} > L $ を満たす最小の添え字である。これは可算性の議論を支持する。
• 2つの列 $ (n_k) $ と $ (n_k') $ が、無限に多くの $ k $ に対して $ n_k' = n_k + 1 $ を満たすならば、$ G( u) igcap G( u') = \{1\} $ となる。これは、非自明な固有値がこのような列間で共有されないことを示し、ほぼ確実に自明であることを意味する。
• 証明により、任意の $ u \in \mathbb{T} \setminus \{1\} $ に対して、$ \nu \in G({\mathcal{N}}(\omega)) $ である確率が0であることが示され、弱混合性がほとんど確実に成立することが確認された。