[論文レビュー] Exponential mixing implies Bernoulli

Dmitry Dolgopyat, Adam Kanigowski+1 more|arXiv (Cornell University)|Jun 6, 2021

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

ひとこと要約

本稿では、コンパクト多様体上で滑らかな測度を保存する $C^{1+\beta}$ 微分同相写像について、指数的混合性がベルヌーイ性を意味することを証明している。議論は、相関を制御するための指数的混合性に依存し、ペジン理論と被覆補題を用いて正のリャプノフ指数と一様な双曲性を確立し、結局のところ系がベルヌーイシフトと測度論的に同型であることを示している。

ABSTRACT

Let $f$ be a $C^{1+α}$ diffeomorphism of a compact manifold $M$ preserving a smooth measure $μ$. We show that if $f:(M,μ) o (M,μ)$ is exponentially mixing then it is Bernoulli.

研究の動機と目的

• 滑らかな観測関数の指数的混合性が、最も強いエルゴディック性であるベルヌーイ性を意味することを確立すること。
• 指数的混合性——強い統計的性質——が、滑らかな力学系におけるより強いエルゴディック構造を意味するかどうかという問題を解明すること。
• 指数的混合性が正のリャプノフ指数、ひいては非一様双曲性を強制することを示し、ベルヌーイ性への鍵となる一歩を踏み出すこと。
• 定量的な混合速度から測度論的同型性によるベルヌーイシフトへの構成的道筋を提供すること。
• 特にロホリン問題が存在しない状況において、滑らかな系における混合性とエルゴディック性の性質の階層を拡張すること。

提案手法

• 写像の繰り返しにおける観測関数間の相関を制御するため、$C^r$ ノルムを用いた指数的混合推定を用いる。
• ベシコビッチ被覆定理を介した被覆論法を適用し、測度の台において一様な密度を持つ点を見つける。
• 微小スケールでの力学を調べるために、$C^r$ ノルムを制御した滑らかなバンプ関数を構成する。
• これらのバンプ関数における指数的混合性の境界を用い、小さな球の繰り返し写像が遠く離れた集合と交差しなければならないことを示す。
• 写像による像集合の直径に対する下界を確立し、一様双曲性と正のリャプノフ指数を示す。
• ペジン理論と非一様双曲性を活用し、指数的混合性が同型性が成立するのに十分な混合性を意味することを用いて、系がベルヌーイであると結論づける。

実験結果

リサーチクエスチョン

• RQ1 滑らかな測度を保存する $C^{1+\beta}$ 微分同相写像において、滑らかな観測関数の指数的混合性はベルヌーイ性を意味するか？
• RQ2 指数的混合性を用いて、正の測度的エントロピーと正のトポロジカルエントロピーを導出できるか？
• RQ3 指数的混合性はすべての順序の混合性を意味するのか？ もしそうなら、その速度はどの程度か？
• RQ4 指数的混合性のもとで、系は必然的に非一様双曲的（すなわち、正のリャプノフ指数を有する）か？
• RQ5 指数的混合性から、多重混合に関する定量的境界を導出できるか、それとも現在の手法は非構成的か？

主な発見

• 滑らかな観測関数の指数的混合性は、系がベルヌーイであることを意味する。つまり、測度論的にベルヌーイシフトと同型である。
• 測度が非原子的であれば、系は少なくとも1つの正のリャプノフ指数を有する。
• 指数的混合性は、すべての順序の混合性と正の測度的エントロピーを意味するが、多重混合に関する定量的境界は得られていない。
• 証明は、小さな球に台を持つテスト関数を構成し、相関の指数的減衰を用いて、このような球の繰り返し写像が遠く離れた集合と交差しなければならないことを示すことに依存している。
• 一様な密度推定を伴う被覆補題を用いることで、関連集合の測度が0から離れていることが保証され、双曲的挙動の構成が可能になる。
• 本結果は、写像が $C^{1+\beta}$ であり、滑らかな測度を保存するという仮定の下で成り立ち、鍵となるステップは混合推定における $C^r$ ノルムの制御である。