[论文解读] Measure-theoretic chaos (Chaos au sens de la mesure)

Tomasz Downarowicz, Yves Lacroix|arXiv (Cornell University)|Nov 10, 2011

Mathematical Dynamics and Fractals参考文献 10被引用 6

一句话总结

本文将测度论混沌定义为标准概率空间上保测度遍历系统的一个同构不变概念，通过可测结构中的不可数发散集合来定义。证明了正科莫戈罗夫-西纳伊熵蕴含测度论混沌，且测度论混沌蕴含拓扑DC2混沌，从而在测度论混沌与拓扑混沌理论之间建立了桥梁。

ABSTRACT

We define new isomorphism-invariants for ergodic measure-preserving systems on standard probability spaces, called measure-theoretic chaos and measure-theoretic$^+$ chaos. These notions are analogs of the topological chaoses { m DC2} and its slightly stronger version (which we denote by { m DC}{\small$1 frac12$}). We prove that: 1. If a l\ system is measure-theoretically (measure-theoretically$^+$) chaotic with respect to at least one of its ergodic measures then it is l ly { m DC2} ({ m DC}{\small$1 frac12$}) chaotic. 2. Every ergodic system with positive Kolmogorov--Sinai entropy is measure-theoretically$^+$ chaotic (even in a bit stronger uniform sense). We provide an example showing that the latter statement cannot be reversed, a system of entropy zero with uniform measure-theoretic$^+$ chaos. \bigskip \centerline{\bf Résumé} Nous introduisons de nouveaux invariants pour les systèmes dynamiques définis sur des espaces probabilisés standards, appelés respectivement { m chaos mesuré} et { m chaos$^+$ mesuré}. Ces notions sont des analogues du chaos topologique { m DC2} et de l'une de ses variantes, renforcée, que nous appelons { m DC}{\small$1 frac12$}. Nous montrons d'une part que si un système dynamique topologique est chaotique (resp. chaotique$^+$) au sens da la mesure relativement à\ l'une de ses mesures invariantes ergodiques, alors il l'est du point de vue topologique au sens correspondant. Nous montrons que tout système ergodique d'entropie métrique positive est chaotique$^+$ au sens de la mesure (même en un sens plus fort, i.e. { m uniformément}). Nous donnons enfin un exemple de système dynamique topologique d'entropie nulle qui présente pour l'une de ses mesures invariantes ergodiques un chaos$^+$ mesuré uniforme.

研究动机与目标

• 定义拓扑分布混沌（DC2）的测度论类比，使其在测度论同构下保持不变。
• 通过基于可测结构而非拓扑的混沌定义，克服发散集在测度论同构下不稳定的缺陷。
• 建立正科莫戈罗夫-西纳伊熵与测度论混沌之间的联系，与拓扑动力系统中已知结果相呼应。
• 证明测度论混沌蕴含拓扑DC2混沌，从而连接测度论混沌与拓扑混沌的概念。
• 证明其逆命题不成立，给出一个零熵系统具有均匀测度论+混沌，表明该概念严格强于熵本身。

提出的方法

• 在标准概率空间的可测结构中，利用不可数发散集定义测度论混沌，避免依赖拓扑结构。
• 引入一个改进的概念——测度论+混沌，通过在特定子序列上控制均匀密度来强化发散条件。
• 使用符号动力学和基于划分的构造（例如划分 $\mathscr{P}_k$，$\mathscr{Q}_k$）来模拟变换下轨道的行为。
• 应用变分原理及伯努利测度的性质，将测度论混沌与熵及拓扑动力学联系起来。
• 从系统到伯努利移位构造纤维映射 $\pi_y$，将发散性质从基系统传递到纤维，同时保持零测集和密度不变。
• 利用块中一致重合密度在划分和投影下保持不变的性质，确保在受控条件下发散性可继承。

实验结果

研究问题

• RQ1 能否定义一个在测度论同构下不变的分布混沌（DC2）的测度论类比？
• RQ2 正科莫戈罗夫-西纳伊熵是否蕴含测度论+混沌，且该蕴含关系是否可逆？
• RQ3 在相应拓扑系统中，测度论混沌是否蕴含拓扑DC2混沌？
• RQ4 测度论+混沌是否严格强于测度论混沌，或二者可能等价？
• RQ5 测度论混沌性质是否可传递至拓扑扩张或测度论因子，这对熵有何影响？

主要发现

• 每个具有正科莫戈罗夫-西纳伊熵的遍历系统都是测度论+混沌的，甚至在均匀意义下成立，直接建立了熵与混沌之间的联系。
• 存在一个零熵系统表现出均匀测度论+混沌，表明该概念严格强于正熵。
• 若一个拓扑系统在至少一个遍历测度下是测度论混沌的，则其为拓扑DC2混沌。
• 测度论混沌蕴含拓扑DC2混沌，证实了新概念正确推广了拓扑原型。
• 通过纤维映射 $\pi_y$ 和划分动力学构造不可数发散集，确保发散性在可测同构下保持不变。
• 本文提供了逆命题不成立的反例：测度论混沌不蕴含正熵，如一个具有均匀测度论+混沌的零熵系统所示。