[论文解读] The combinatorial cost

Gábor Elek|ArXiv.org|Aug 18, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 26

一句话总结

本文为度数有界的有限图序列引入了可测等价关系不变量——成本与β-不变量的组合类比。研究证明：对于大围长图序列，成本等于边密度极限，且这些不变量与剩余有限群中的秩梯度和模p同调梯度相关联，进而证明了Cayley图序列的超有限性刻画了其底群的可约性。

ABSTRACT

We study the combinatorial analogues of the classical invariants of measurable equivalence relations. We introduce the notion of cost and $β$-invariants (the analogue of the first $L^2$-Betti number introduced by Gaboriau) for sequences of finite graphs with uniformly bounded vertex degrees and examine the relation of these invariants and the rank gradient resp. mod $p$ homology gradient invariants introduced by Lackenby for residually finite groups.

研究动机与目标

• 为具有统一有界度数的有限图序列定义并研究可测等价关系不变量——成本与β-不变量的组合类比。
• 建立这些图不变量与剩余有限群经典不变量（如秩梯度和模p同调梯度）之间的联系。
• 引入并分析图序列的超有限性概念，与可测等价关系理论类比。
• 证明大围长图序列的成本等于其边密度极限，将Gaboriau定理由测度设置推广至组合设置。
• 通过其关联Cayley图序列的超有限性，刻画有限生成剩余有限群的可约性。

提出的方法

• 定义具有统一有界顶点度数的图序列，并将边密度极限 $ e(\text{cal G}) $ 定义为 $ \liminf_{n\to\infty} \frac{|E(G_n)|}{|V(G_n)|} $。
• 将成本 $ c(\text{cal G}) $ 定义为所有与 $ \text{cal G} $ 等价的图序列 $ \text{cal H} $ 的 $ e(\text{cal H}) $ 的下确界，其中等价指度量之间的相互拟等距。
• 将 $ \beta_K $-不变量定义为 $ \inf_q \liminf_{n\to\infty} \frac{|E(G_n)| - \dim_K C_K^q(G_n)}{|V(G_n)|} - 1 $，用于度量非短圈的渐近密度。
• 利用圈空间维数 $ \dim_K C_K^q(G_n) $ 量化不属于短圈的边的比例，从而与 $ \beta_K $-不变量建立联系。
• 证明 $ \beta_K(\text{cal G}) + 1 \leq c(\text{cal G}) $，表明成本从上方控制 $ \beta $-不变量。
• 证明图序列的超有限性蕴含成本为1，且每个图序列均存在一个等价的超有限序列，方法基于网络分解与生成树。

实验结果

研究问题

• RQ1 组合成本与有界度数图序列的 $ \beta $-不变量如何与可测等价关系的经典不变量相关？
• RQ2 大围长图序列的成本与其边密度极限之间有何关系？
• RQ3 图序列的 $ \beta $-不变量如何与剩余有限群的秩梯度及模p同调梯度相关？
• RQ4 能否用其底群的群论性质刻画图序列的超有限性？
• RQ5 在何种条件下，图序列的成本等于其边密度极限？

主要发现

• 对于任意大围长图序列 $ \text{cal G} $，均有 $ c(\text{cal G}) = e(\text{cal G}) $，将Gaboriau定理由测度设置推广至组合设置。
• $ \beta_K $-不变量满足 $ \beta_K(\text{cal G}) + 1 \leq c(\text{cal G}) $，表明成本从上方控制 $ \beta $-不变量。
• 对于有限表示的剩余有限群 $ \Gamma $，其第一 $ L^2 $-贝蒂数满足 $ \beta^{1}_{(2)}(\Gamma) = \beta_{\mathbb{Q}}(\text{cal G}) \leq \text{mod } p\text{-同调梯度} \leq c(\text{cal G}) - 1 $，将群不变量与图序列联系起来。
• 任意图序列均存在一个等价的超有限序列，且超有限性蕴含成本为1，推广了可测等价关系理论中的结果。
• 有限生成剩余有限群的关联Cayley图序列是超有限的，当且仅当该群是可约的，从而证明了Connes–Feldman–Weiss定理的组合类比。