[论文解读] Geometry and Dynamics of Admissible Metrics in Measure Spaces

A. Vershik, Fedor Petrov+1 more|arXiv (Cornell University)|May 6, 2012

Mathematical Dynamics and Fractals被引用 7

一句话总结

本文提出了一套几何与动力学框架，用于分析勒贝格测度空间中可容度量的性质，重点研究在群作用下平均度量的渐近行为。该研究建立了一个关于遍历变换谱的新型离散性判据：谱离散当且仅当轨迹上平均度量的ε-熵在ε较小时保持一致有界，从而为动力系统分类提供了一种超越经典熵的新不变量。

ABSTRACT

We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the "-entropy of a measure space with an admissible metric, etc. These notions and related results are applied to the theory of transformations with invariant measure; namely, we study the asymptotic properties of orbits in the cone of admissible metrics with respect to a given transformation or a group of transformations. The main result of this paper is a new discreteness criterion for the spectrum of an ergodic transformation: we prove that the spectrum is discrete if and only if the "-entropy of the averages of some (and hence any) admissible metric over fragments of its trajectory is uniformly bounded.

研究动机与目标

• 为勒贝格测度空间中的一类广泛度量——可容度量——建立几何与分析框架。
• 在可容度量的锥中定义并研究m-范数及其收敛性，确立预紧性准则。
• 将该框架应用于遍历理论，特别是表征保测变换的谱性质。
• 引入并分析平均度量的尺度熵，作为分类零柯尔莫哥洛夫熵动力系统的新不变量。
• 建立一种基于度量的、与初始可容度量选择无关的离散谱新判据。

提出的方法

• 将可容度量定义为与测度空间结构相容的可测半度量，确保度量空间结构尊重测度论性质。
• 在可容度量空间上引入m-范数，以支持此类度量锥中收敛性与预紧性的研究。
• 在可换群的弗劳勒集合Aₙ上构造平均度量ρₙ^av(x,y) = (1/#Aₙ)∑_{g∈Aₙ} ρ(gx,gy)，特别针对ℤ-作用。
• 定义平均度量的ε-熵H_ε(ρₙ^av)，并研究其渐近增长，从而引出尺度熵的概念。
• 证明：一个自同构的谱是离散的，当且仅当对小ε，平均度量的ε-熵在n上一致有界。
• 利用条件度量理论及二元纯函数的性质，证明非平凡的度量行为意味着非离散谱。

实验结果

研究问题

• RQ1 能否通过平均可容度量的渐近行为而非划分或划分熵来表征遍历变换的谱类型？
• RQ2 平均度量的ε-熵的有界性是否为遍历系统中离散谱的充分必要条件？
• RQ3 平均度量的尺度熵与经典柯尔莫哥洛夫熵有何关系，特别是在零熵系统中？
• RQ4 从平均度量导出的渐近不变量在多大程度上独立于初始可容度量的选择？
• RQ5 尺度熵的增长率能否对离散谱与正熵之间中间类的动力系统进行分类？

主要发现

• 一个遍历自同构的谱是离散的，当且仅当其轨迹上平均度量的ε-熵在n→∞时保持一致有界。
• 在广泛条件下，平均度量ρₙ^av的ε-熵是变换的不变量，与可容度量的选择无关。
• 对于具有离散谱的系统，通过遍历平均得到的极限度量几乎处处为常数，但ε-熵的渐近行为捕捉了谱结构。
• 该框架通过用平均代替半度量的极大值，并使用基于度量的熵替代划分熵，推广并扩展了经典熵判据（如库什尼连科的判据）。
• 尺度熵可检测零熵系统中的混沌性，其增长速率从有界（离散谱）到线性（正熵）不等，中间情况可能呈对数或幂律增长。
• 支持如下猜想：对于正熵系统，尺度熵随n线性增长，且通过φ(ε)归一化后，其极限即为经典柯尔莫哥洛夫熵h(T)。