[論文レビュー] Minimal Self-Joinings, Bounded Constructions, and Weak Closure of Ergodic Actions

V. V. Ryzhikov|arXiv (Cornell University)|Dec 11, 2012

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

ひとこと要約

この論文は、弱く混合する有界ランク1構成が最小自己結合を示す（MSJ）ことを確立し、修正されたチャコの変換に関する以前の結果を一般化する。弱い極限とマコフ作用素の技法を用いて、非剛性で有界な構成が自明なマコフ中心化子を持つことを証明し、それによってMSJが成り立つことを示し、ランク1作用とフローの弱閉包について明示的な記述を与える。

ABSTRACT

For a weakly mixing bounded rank-one construction the disjointness of its powers is proved. For non-rigid constructions we get minimal self-joinings. Examples of non-mixing rank one actions with explicit weak closure are proposed.

研究の動機と目的

• すべての弱く混合する有界ランク1構成が最小自己結合（MSJ）を有するというトーヴノの予想を解決すること。
• 混合でないランク1作用とフローのべきの弱閉包を特徴付けること。
• 非剛性で有界な構成が自明なマコフ中心化子を持つことを確立し、それによってMSJを示すこと。
• 確率的チャコの変換と有界ステアケージフローの弱極限集合について明示的な記述を与えること。
• ランク1系のスペクトル的および構造的性質、特に弱混合、部分混合、および非共通性を調査すること。

提案手法

• 作用素 $T^{n_j}$ の弱作用素収束を用いて、$T$ のマコフ中心化子の構造を解析する。
• 鍵となる技術として、$T^{n_j} \to aP + (1-a)P'$ となるような列 $n_j$ を構成し、$a \neq 0$ となるようにする。ここで $P$ は $T$ と可換な極端なマコフ作用素である。
• 非剛性を用いて、$C_j \to cT^m P$ および $C_j \to cP$ となる集合 $C_j$ を見つけ、$P = T^m P$ を得る。これより、$T$ が弱く混合する場合 $P = \theta$ が導かれる。
• 有界構成における弱極限を解析するため、$T^{qh_j} \to P^q$ および $P^q \to \theta$ が $q \to \frown$ のとき成り立つことを利用する。
• フロー $T_t$ の弱極限を解析するため、$t_j = q_j h_{p(j)} + m_j$ に分解し、$T_{t_j} \to T_a \times \text{product of } P_m$ であることを示す。
• 非一様収束の反復近似法を用い、$T^m \times \text{product of } P_q \to \theta$ が $|M| \to \frown$ のとき一様に成り立つことを利用して、鎖を終了させ、極限作用素を特定する。

実験結果

リサーチクエスチョン

• RQ1 すべての弱く混合する有界ランク1構成が最小自己結合（MSJ）を有するか？
• RQ2 混合でないランク1変換、例えば確率的チャコの写像や有界ステアケージフローのべきの弱閉包は何か？
• RQ3 有界で非剛性があり、弱く混合する変換のマコフ中心化子が自明であることを示せるか？それによってMSJが導かれるか？
• RQ4 有界ステアケージフロー $T_t$ の弱極限集合は、$\theta$、$T_a \times \text{product of } P_m$（$M$ が有限）で与えられるか？
• RQ5 $T^{m_j}, T^{n_j}, T^{m_j - n_j} \to \theta$ が成り立つとき、$\nu(A \times B \times C) \to \nu(A)\nu(B)\nu(C)$ の意味で三重独立性が成立するか？

主な発見

• 任意の有界で非剛性があり、弱く混合するランク1構成に対して、マコフ中心化子は自明であり、$T^i$ の凸結合と定数への射影 $\theta$ のみからなる。したがって $T$ はMSJを有する。
• 確率的チャコの変換のべきの弱閉包は、ほとんど確実に $\{\theta, 2^{-m}T^n + (1-2^{-m})\theta : m \neq 0, n \neq 0\}$ に等しい。
• 有界ステアケージフロー $T_t$ に対して、弱閉包は $\{\theta, T_a \times \text{product of } P_m \text{ for finite } M\}$ に等しい。ここで $P_m = \frac{1}{m} \times \text{average of } T_t$ である。
• もし $t_j = q_j h_{p(j)} + m_j$ で、$q_j \to \frown$ かつ $r_{p(j)} - q_j \to \frown$ ならば、$T_{t_j} \to \theta$ が成り立ち、相関の減衰が示される。
• 列 $m_j/h_{p(j)} \to 0$ または $1$ のとき、弱極限は $Q = P^q \times \text{limit of } T_{m_j}$ であり、繰り返し適用すると $Q = T_a \times \text{product of } P_m$ に至る。
• 本論文は、$MSJ(2)$ が弱く混合するランク1写像に対して $MSJ$ を含むことを確認し、これらの条件下で $PID$（ペアワイズ独立性がグローバル独立性を含む）が成立することを示している。