[論文レビュー] Invariant random matchings in Cayley graphs

Endre Csóka, Gábor Lippner|arXiv (Cornell University)|Nov 11, 2012

Advanced Graph Theory Research参考文献 4被引用数 15

ひとこと要約

この論文は、非アーメンなケイリー図形がすべて因子IID完全マッチングを許容することを確立し、すべての連結なd正則頂点推移的グラフが完全マッチングを持つことを示し、したがってすべてのケイリー図形が不変確率的完全マッチングを持つことを示している。主な技術的貢献は、拡張子における増幅パスの長さに多対数的上限が存在することであり、これは高ぐいの正則グラフにおける反復的マッチングアルゴリズムの収束を可能にする。

ABSTRACT

We prove that any non-amenable Cayley graph admits a factor of IID perfect matching. We also show that any connected d-regular vertex tran- sitive graph admits a perfect matching. The two results together imply that every Cayley graph admits an invariant random perfect matching. A key step in the proof is a result on graphings that also applies to finite graphs. The finite version says that for any partial matching of a finite regular graph that is a good expander, one can always find an augmenting path whose length is poly-logarithmic in one over the ratio of unmatched vertices.

研究の動機と目的

• すべての非アーメンなケイリー図形が不変確率的完全マッチングを許容するかどうかという未解決問題を解消すること。
• すべての連結なd正則頂点推移的グラフが完全マッチングを持つことを確立し、既知の結果を非双対的ケースに拡張すること。
• 無限ケイリー図形の結果の有限グラフ版を提供し、高ぐいの正則拡張子において、部分マッチングが正の割合の頂点を未マッチ状態に残す場合に短い増幅パスが存在することを示すこと。
• 有界パス長を用いた反復的増幅パス反転による、ケイリー図形上での因子IIDプロセスを構築する一般枠組みを構築すること。
• 無限不変プロセスと有限モデルの間のギャップを埋めるために、このようなマッチングの振る舞いが高ぐいの正則グラフで近似可能であることを証明すること。

提案手法

• 頂点に独立同分布の[0,1]一様分布ラベルを割り当て、近隣構造に基づく決定的局所ルールを用いてケイリー図形上に因子IIDプロセスを定義する。
• 反復的に増幅パスを反転させることで部分マッチングの列を構築し、群作用に関して不変であることを保証する。
• d正則c₀拡張子において、ε未マッチ頂点を持つ場合に、最短増幅パスの長さに多対数的上界を確立する：O(log³(1/ε))。
• 未マッチ頂点の状態と修正エネルギー関数f_nを組み合わせた潜在関数J(n)を用い、進行状況を追跡し、無限ループを防ぐ。
• 背理法を適用する：未マッチまたはマッチ集合の成長が遅すぎる場合、潜在関数は許容される範囲を上回って増加する必要があり、拡張性および次数制約から導かれる境界に反する。
• チュッテの定理を構造的条件を介して利用する：短い増幅パスが存在しない場合、外部辺が少ない奇数集合Hが存在し、これは完全マッチングの存在を示唆する。

実験結果

リサーチクエスチョン

• RQ1 すべての非アーメンなケイリー図形が因子IID完全マッチングを許容できるか？
• RQ2 すべての連結なd正則頂点推移的グラフが完全マッチングを許容するか？
• RQ3 d ≥ 3およびc₀ > 0に対して、c₀拡張子d正則グラフにε未マッチ頂点がある場合、最短増幅パスの最小長はどの程度か？
• RQ4 有界長の増幅パスを用いることで、無限グラフにおける反復的マッチングアルゴリズムの収束を保証できるか？
• RQ5 正則木における因子IIDプロセスを、高ぐいの正則グラフでどの程度まで有限モデルで再現できるか？

主な発見

• すべての非アーメンなケイリー図形が因子IID完全マッチングを許容する。これは長年の未解決問題を解決する。
• すべての連結なd正則頂点推移的グラフが完全マッチングを持つ。これは従来の結果を非双対的ケースに拡張する。
• 任意のd ≥ 3およびc₀ > 0に対して、定数c(c₀,d)が存在し、c₀拡張子d正則グラフにε未マッチ頂点がある場合、長さがc·log³(1/ε)以下の増幅パスが存在する、またはサイズが3以上の奇数集合Hで外部辺がd本以下であるものが存在する。
• d正則c₀拡張子において、最短増幅パスの長さはO(log³(1/ε))で有界であり、これは有限モデルにおける反復的マッチングアルゴリズムの収束を保証するのに十分である。
• 有限版の結果は、n → ∞におけるd正則ランダムグラフの最大マッチング密度の極限が、無限d正則木で達成可能な密度と等しいことを示唆する。
• 拡張性制約下での潜在関数と背理法による証明技法は、ケイリー図形および有限拡張子上での不変確率的構造を構築する一般的手法を提供する。