[论文解读] Orbit equivalence and sofic approximation

Ken Dykema, David Kerr+1 more|arXiv (Cornell University)|Feb 13, 2011

Random Matrices and Applications参考文献 25被引用 8

一句话总结

本文引入了一种新的组合不变量——双曲维数（sofic dimension），用于定义有限生成群的概率测度保持作用，其定义基于双曲逼近的渐近增长速率。该文证明了该不变量是轨道等价不变量，并建立了在阿贝尔子关系上合并自由积的可加性公式，为轨道等价理论中的关键结果（包括成本公式和树状等价关系的双曲性）提供了纯组合证明。

ABSTRACT

Given an ergodic probability measure preserving dynamical system $\G\acts (X,μ)$, where $\G$ is a finitely generated countable group, we show that the asymptotic growth of the number of finite models for the dynamics, in the sense of sofic approximations, is an invariant of orbit equivalence. We then prove an additivity formula for free products with amenable (possibly trivial) amalgamation. In particular, we obtain purely combinatorial proofs of several results in orbit equivalence theory.

研究动机与目标

• 定义一种新的组合不变量——双曲维数 $ s(F) $，用于概率测度保持群作用，基于双曲逼近的渐近增长速率。
• 证明该不变量在轨道等价下保持不变，且不依赖于生成集的选择。
• 在等价关系的合并自由积中建立双曲维数的可加性公式，其中合并部分为阿贝尔子关系。
• 为轨道等价理论中的经典结果（如成本公式和树状等价关系的双曲性）提供纯组合证明。
• 将双曲维数与等价关系的成本联系起来，并证明在树状、遍历、有限生成关系中两者相等。

提出的方法

• 将有限动力生成集 $ F $ 的双曲维数 $ s(F) $ 定义为在精度 $ \delta $ 下，进入对称群的 $ \rho $-近似同态数量的渐近增长速率。
• 利用双曲逼近计数有限集合上的动力系统的有限模型，并在集合大小增加且精度提高时取极限。
• 应用一种计数论证，涉及将 $ \varphi \in \mathrm{SA}(F_1' \cup F_2', n, \delta, d) $ 映射到对 $ (\varphi_1, \theta \varphi_2 \theta^{-1}) $ 的映射 $ \Theta $，通过共轭子群的大小来控制此类映射的数量。
• 建立不等式 $ \mathrm{NSA}_G(F_1' \cup F_2', n, \delta, d_{G}d) \leq \mathrm{NSA}_G(F_1', n, \delta, d_{G}d) \cdot \mathrm{NSA}_G(F_2', n, \delta, d_{G}d) \cdot \frac{|[d_{G}d]_G|}{(d_{G}d)!} $ 以控制增长速率。
• 使用 $ s $-正则性作为技术条件，以确保可加性公式中的等式成立，并将 $ s(R) $ 与 $ R $ 的成本联系起来。
• 利用 Hjorth 定理将遍历、有限生成的等价关系分解为更简单关系的自由积，并通过归纳法证明 $ s(R) \geq \mathrm{cost}(R) $。

实验结果

研究问题

• RQ1 动力系统的双曲模型的渐近增长速率是否在轨道等价下保持不变？
• RQ2 双曲维数能否用于推导等价关系合并自由积的成本公式？
• RQ3 树状遍历等价关系的双曲维数是否等于其成本？
• RQ4 双曲维数是否为轨道划分的不变量，且不依赖于生成集的选择？
• RQ5 是否能用纯组合论证替代分析或算子代数工具来证明轨道等价理论中的结果？

主要发现

• 双曲维数 $ s(F) $ 是作用 $ \Gamma \curvearrowright (X,\mu) $ 的轨道等价类的不变量，仅依赖于轨道划分。
• 对于合并自由积 $ R = R_1 *_{R_3} R_2 $，其中 $ R_3 $ 为阿贝尔子关系，且 $ R_1, R_2 $ 为 $ s $-正则关系，双曲维数满足 $ s(R) = s(R_1) + s(R_2) - 1 + \mu(D) $，其中 $ D $ 为 $ R_3 $ 的有限部分的基本域。
• 每个树状遍历 pmp 等价关系均为 $ s $-正则关系，且满足 $ s(R) = \mathrm{cost}(R) $，从而为其中的双曲性提供了组合证明。
• 双曲维数 $ s(R) $ 上界为 $ R $ 的成本，且在树状关系中等式成立，表明此类关系是双曲的。
• 即使 $ R_3 $ 为弥散关系，不等式 $ s(R) \leq s(R_1) + s(R_2) - 1 + \mu(D) $ 仍成立，此时可推出 $ s(R) \leq s(R_1) + s(R_2) - 1 $。
• 该证明技术依赖于双曲模型的计数，并通过群共轭子群控制兼容映射的数量，避免了对冯·诺依曼代数技术的依赖。