[论文解读] Finite graphs and amenability

Gábor Elek|arXiv (Cornell University)|Apr 2, 2012

Computability, Logic, AI Algorithms参考文献 11被引用 6

一句话总结

本文提出了一种确定性的、统一的框架，用于研究有限图与图化结构中的超有限性，证明了有限图序列收敛当且仅当其极限图化结构是超有限的。该方法通过一种新颖的预言机方法与统计收敛，提供了对Schramm、Lovász、Newman-Sohler以及Ornstein-Weiss经典结果的新证明，避免了早期工作中存在的概率性技术复杂性。

ABSTRACT

Hyperfiniteness or amenability of measurable equivalence relations and group actions has been studied for almost fifty years. Recently, unexpected applications of hyperfiniteness were found in computer science in the context of testability of graph properties. In this paper we propose a unified approach to hyperfiniteness. We establish some new results and give new proofs of theorems of Schramm, Lovász, Newman-Sohler and Ornstein-Weiss.

研究动机与目标

• 为研究有限图及其极限图化结构中的超有限性，提供一个统一的、确定性的框架。
• 通过基于预言机的新方法，重新证明关于超有限性与局部-全局收敛性的经典结果。
• 通过图化结构构造，建立自由群作用的强等价性定理。
• 通过避免依赖单模测度，解决早期概率方法中的技术问题。
• 通过图化结构不变量与统计距离，将Rokhlin引理由自由作用推广至非自由作用。

提出的方法

• 通过半径为 r 的球的根式同构类型定义局部统计量，将图映射到 [0,1]^N 中的序列。
• 引入统计距离 d_stat(𝐺,𝐻) = d_π(ℒ(𝐺),ℒ(𝐻))，利用局部统计量比较图化结构。
• 利用Benjamini-Schramm极限测度，为任意收敛图序列构造一个规范的极限图化结构。
• 使用预言机方法模拟局部同构，并通过等分定理证明收敛性。
• 通过在顶点和边上附加路径标记 (P_i) 将群作用编码为带标签的图化结构，以打破对称性。
• 通过证明：若类型相等（通过IRS），则构造的图化结构之间的统计距离为零，从而证明作用的强等价性。

实验结果

研究问题

• RQ1 收敛的有限图序列何时是超有限的？这与它的极限图化结构有何关系？
• RQ2 能否通过图化结构不变量将自由作用的Rokhlin引理由非自由作用推广？
• RQ3 如何利用局部统计量与统计距离刻画群作用的强等价性？
• RQ4 作用的类型（作为IRS）与其关联图化结构的统计距离之间有何关系？
• RQ5 能否仅通过极限图化结构的结构性质来完全刻画图序列的超有限性？

主要发现

• 收敛图序列是超有限的，当且仅当其极限图化结构是超有限的，提供了完整的刻画。
• 本文给出了Schramm超有限性定理的新、确定性证明，避免使用单模测度。
• 等分定理表明：统计收敛意味着大图中局部结构的均匀分布。
• 一致性定理表明：对于超有限图化结构，局部统计量在顶点间均匀分布。
• 对作用 α 构造的图化结构 𝒢_α 满足：d_stat(𝒢_α,𝒢_β) = 0 当且仅当 type(α) = type(β)，从而通过定理3实现强等价。
• 非自由Rokhlin引理由证明成立：若两个超有限作用具有相同类型，则存在一个几乎保持群作用的测度保持双射，使其强等价。