[论文解读] Several remarks on Pascal automorphism and infinite ergodic theory

A. M. Vershik|arXiv (Cornell University)|Dec 11, 2015

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

一句话总结

本文将帕斯卡自同构重新解释为在 odometer 上的广义诱导自同构，建立了 σ-有限的类比，称为 Hajian-Kakutani 变换。它为可数群上的随机游走发展了 σ-有限遍历理论框架，引入了双侧平移不变的马尔可夫测度，并通过遍历性与调和分析定义了退出边界与进入边界，为无限测度动力系统中的长期难题提供了新视角。

ABSTRACT

We interpret the Pascal-adic transformation as a generalized induced automorphism (over odometer) and formulate the $σ$-finite analog of odometer which is also known as "Hajian-Kakutani transformation" (former "Ohio state example"). We shortly suggest a sketch of the theory of random walks on the groups on the base of $σ$-finite ergodic theory.

研究动机与目标

• 将帕斯卡自同构重新解释为在 odometer 上的广义诱导自同构，将有限测度遍历理论扩展至 σ-有限设定。
• 将 Hajian-Kakutani 变换确立为具有无限不变测度的 σ-有限、遍历自同构的典范例子。
• 为可数群上的随机游走发展 σ-有限类比理论，重点研究平移不变的马尔可夫测度与边界结构。
• 利用遍历平移不变的 σ-有限测度，定义并分析双侧随机游走的退出与进入边界。
• 探索 σ-有限动力系统中边界的拓扑与调和性质，特别是与最小调和函数及拉普拉斯算子的关系。

提出的方法

• 将帕斯卡自同构表示为在 2-adic 整数环 Z₂ 上的变换，使用 dyadic 分解与 Bratteli 图上的 adic 动力学。
• 引入在 odometer 上的广义诱导自同构概念，以建模 σ-有限系统，推广经典诱导变换框架。
• 将双侧轨迹空间定义为 M ⊆ G^Z，即 S^Z × G，其中 S 是可数群 G 的生成集，且 s_n = y_n^{-1}y_{n+1}。
• 通过 ν(s) 和 ν(s^{-1}) = ν̄(s) 构造转移与共转移概率，在 M 上定义具有平移不变 σ-有限测度的马尔可夫结构。
• 在 M 上应用平移算子 T 定义动力系统，确保时间反演下的不变性，从而研究过去与未来的滤子结构。
• 应用柯尔莫哥洛夫的遍历性准则（过去与未来滤子的平凡交集）来定义 M 上 σ-有限马尔可夫测度的遍历性。

实验结果

研究问题

• RQ1 在 σ-有限遍历理论背景下，帕斯卡自同构如何能被重新解释为在 odometer 上的广义诱导自同构？
• RQ2 Hajian-Kakutani 变换在具有无限不变测度的 σ-有限、遍历自同构中，作为典范例子所起的作用是什么？
• RQ3 如何利用 σ-有限、平移不变的马尔可夫测度来定义可数群上双侧随机游走的退出与进入边界？
• RQ4 在 σ-有限动力系统中，调和边界（Poisson-Furstenberg 边界）与拓扑退出/进入边界之间存在何种关系？
• RQ5 在 σ-有限随机游走理论中，退出与进入边界的结构与拓扑性质是什么，特别是在对称测度的情况下？

主要发现

• 帕斯卡自同构被证明与 2-adic odometer 上的广义诱导自同构同构，为经典 odometer 系统提供了 σ-有限类比。
• Hajian-Kakutani 变换被正式识别为 odometer 的 σ-有限类比，自然地源自帕斯卡自同构的积分模型。
• 退出与进入边界被定义为在轨迹空间 M 上所有具有给定共转移与转移概率的遍历、平移不变、双侧 σ-有限马尔可夫测度的集合。
• 对于对称测度 ν = ν̄，退出与进入边界重合，且在弱拓扑下均为拓扑空间。
• 边界与 l²(G) 上算子 L_ν 和 L_ν̄ 的谱相关联，调和边界对应于最小非负调和函数。
• 本文指出了在 σ-有限随机游走中刻画弱游荡集的开放问题，即使在 Z 上对称随机游走的最简单情况下仍未解决。