[论文解读] Random Complexes and l^2-Betti Numbers

Russell Lyons|arXiv (Cornell University)|Nov 18, 2008

Stochastic processes and statistical mechanics参考文献 27被引用 3

一句话总结

本文通过行列式概率测度，在有限和无限的CW复形上引入了均匀生成树的高维类比，将其与ℓ²-Betti数联系起来。建立了统一的等周不等式，并给出了k维子复形的计数公式，推广了经典关于生成树的结果，通过ℓ²拓扑不变量将其扩展至更高上同调。

ABSTRACT

Uniform spanning trees on finite graphs and their analogues on infinite graphs are a well-studied area. On a Cayley graph of a group, we show that they are related to the first $\ell^2$-Betti number of the group. Our main aim, however, is to present the basic elements of a higher-dimensional analogue on finite and infinite CW-complexes, which relate to the higher $\ell^2$-Betti numbers. One consequence is a uniform isoperimetric inequality extending work of Lyons, Pichot, and Vassout. We also present an enumeration similar to recent work of Duval, Klivans, and Martin.

研究动机与目标

• 在有限和无限的CW复形上，发展均匀生成树的高维类比。
• 将所得的概率测度与复形的更高阶ℓ²-Betti数联系起来。
• 在随机子复形的背景下，为ℓ²同调建立统一的等周不等式。
• 提供一个k维子复形的计数公式，类比于经典生成树结果。
• 将行列式测度理论扩展至具有自由和接线测度的无限复形，并通过ℓ²同调区分二者。

提出的方法

• 利用CW复形的关联矩阵行空间上的正交投影所导出的行列式概率测度。
• 基于第k个贝蒂数和ℓ²同调，定义k维子复形上的两种概率测度——自由与接线。
• 应用Cauchy-Binet公式，将边界矩阵的行列式与同调群的挠率联系起来。
• 引入商群 $ Q_k(S) $ 以度量子复形中的同调障碍，并将其与同调群的阶联系起来。
• 推导一个关键恒等式（引理6.1），将边界矩阵的行列式 $ \text{det} \partial_{S,T} $ 与挠率不变量的乘积 $ t_k(T), t_k'(S), t_{k-1}(S^c) $ 联系起来。
• 利用对偶对同调正合序列的结构，证明行列式等于某个同调群的阶，从而实现计数结果。

实验结果

研究问题

• RQ1 如何利用概率与代数工具，将均匀生成树的概念推广至高维CW复形？
• RQ2 所得的随机子复形与复形的ℓ²-Betti数之间存在何种关系？
• RQ3 在无限复形上，自由与接线测度有何不同？何种拓扑不变量能捕捉这一差异？
• RQ4 能否推导出一个k维子复形的计数公式，使其推广Cayley公式与Kalai的结果？
• RQ5 同调中的挠率在决定概率测度中子复形权重时起何种作用？

主要发现

• 边界矩阵 $ \partial_{S,T} $ 的行列式等于某些商群阶的乘积：$ |\det \partial_{S,T}| = t_{d-1}(T) t_{d-2}(S^c) t_{d-1}'(S) / t_{d-2}(X) $，从而在组合学与同调之间建立了精确联系。
• 矩阵 $ \partial_d \partial_d^* $ 的非零特征值乘积为 $ \frac{h_{d-1}(X) h'_{d-2}(X)}{t_{d-2}(X)^2} $，其中 $ h_k'(X) $ 是对余基上平方挠率不变量的求和。
• 四种测度（有限与无限复形上的自由与接线测度）当且仅当约化的 $ \ell^2 $-同调群为零时重合，从而提供了测度等价性的拓扑判据。
• 该理论导出了一个统一的等周不等式，扩展了Lyons、Pichot与Vassout的先前结果，测度之间的差异由第k个 $ \ell^2 $-Betti数量化。
• 概率测度为行列式测度，因此满足强概率性质（如负相关性），且与同调群挠率相关的权重成正比。
• k维子复形的计数推广了经典结果：对于单形，此类子复形的数量为 $ n^{n-2 \choose k} $，推广了Kalai的结果。