[論文レビュー] 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次元部分複体上の2つの確率測度（自由およびワイヤード）を、k番目のベッチ数およびℓ²ホモロジーに基づいて定義する。
• カウチ＝ビネの公式を用いて、境界行列の行列式をホモロジー群のねじれに関連付ける。
• 部分複体内のホモロジー的障害を測るための商群$ Q_k(S) $を導入し、それをホモロジー群の位数に関連付ける。
• 境界行列の行列式$ \text{det} \partial_{S,T} $とねじれ不変量$ t_k(T), t_k'(S), t_{k-1}(S^c) $の積を結ぶ重要な恒等式（補題6.1）を導出する。
• ペアのホモロジー完全列の構造を用いて、行列式が特定のホモロジー群の位数に等しいことを証明し、列挙結果の導出を可能にする。

実験結果

リサーチクエスチョン

• RQ1 一様な全域木の概念を、確率的および代数的道具を用いて高次元CW複体へどのように一般化できるか。
• RQ2 得られる確率的部分複体と複体のℓ²-Betti数との関係は何か。
• RQ3 無限複体における自由およびワイヤード測度の違いは何か。この違いを捉えるトポロジカル不変量は何か。
• RQ4 古典的なCayleyの公式およびKalaiの結果を一般化するk次元部分複体の列挙公式を導出できるか。
• 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) $はコベースに関するねじれ不変量の二乗和である。
• 有限および無限複体における自由およびワイヤード測度の4つの測度が一致するための必要十分条件は、非退化ℓ²ホモロジー群が消えることである。これは測度の等価性を特徴づけるトポロジカル基準を提供する。
• 本理論により、Lyons, Pichot, Vassoutの結果を拡張する一様な等周不等式が得られ、測度の差はk番目のℓ²-Betti数によって定量化される。
• 確率測度は行列式的であるため、負の相関性といった強い確率的性質を満たし、ホモロジー群のねじれに依存する重みに比例する。
• k次元部分複体の列挙は、古典的結果を一般化する：単体の場合、このような部分複体の数は$ n^{n-2 \choose k} $と表され、Kalaiの結果を拡張する。