[論文レビュー] Finite graphs and amenability

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

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

ひとこと要約

本稿は、有限グラフとグラフイングにおける超有限性の決定的で統一的な枠組みを提示し、収束する有限グラフ列が超有限であるための必要十分条件が、その極限グラフイングが超有限であることであることを確立している。このアプローチにより、シュラム、ロヴァーシュ、ニューマン-ゾーラー、オルンシュタイン＝ヴァイスの古典的結果について、新規のオラクル法と統計的収束を用いて、以前の研究に見られる確率的技術的複雑性を回避した新たな証明が得られる。

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.

研究の動機と目的

• 有限グラフとその極限グラフイングにおける超有限性を統一的かつ決定論的に扱うフレームワークを提供すること。
• 新しいオラクルベースの手法を用いて、超有限性と局所的グローバル収束に関する古典的結果を再証明すること。
• 自由群の作用に関する強い同値定理を、グラフイング構成を用いて確立すること。
• 非一様測度に依存しない手法を用いることで、以前の確率的アプローチにおける技術的問題を解消すること。
• グラフイング不変量と統計的距離を用いて、非自由作用へのロフリン補題を拡張すること。

提案手法

• 半径 r のボールのルート付き同型型を用いて局所統計を定義し、グラフを [0,1]^N への列へ写像する。
• 統計的距離 d_stat(𝐺,𝐻) = d_π(ℒ(𝐺),ℒ(𝐻)) を導入し、局所統計を用いてグラフイングを比較する。
• ベンジャミン＝シュラムの極限測度を用いて、収束するグラフ列に対して標準的な極限グラフイングを構成する。
• オラクル法を用いて局所同型をシミュレートし、等分割定理を用いて収束を証明する。
• 頂点と辺にパスマーカー (P_i) を付加することで、群作用をラベル付きグラフイングに符号化する。
• 同じ型（IRS を通じて）であるならば、構成されたグラフイング間の統計的距離がゼロであることを示し、強い同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 収束する有限グラフ列がいつ超有限であり、それはその極限グラフイングとどのように関係するか？
• RQ2 グラフイング不変量を用いて、自由作用に対する古典的ロフリン補題を非自由作用へ拡張できるか？
• RQ3 局所統計と統計的距離は、群作用の強い同値性をどのように特徴づけられるか？
• RQ4 作用の型（IRS としての型）と関連するグラフイングの統計的距離の関係は何か？
• RQ5 グラフ列の超有限性は、その極限グラフイングの構造的性質のみを用いて完全に特徴づけられるか？

主な発見

• 収束するグラフ列が超有限であるための必要十分条件は、その極限グラフイングが超有限であることである。完全な特徴づけが得られた。
• シュラムの超有限性定理について、非一様測度を用いない決定的証明が与えられ、新たな証明が得られた。
• 等分割定理により、統計的収束が、大きなグラフにおける局所構造の均等分布を示す。
• 一様性定理により、超有限グラフイングにおいて、局所統計が頂点全体にわたって一様に分布することを示した。
• 作用 α に対して構成されたグラフイング 𝒢_α について、d_stat(𝒢_α,𝒢_β) = 0 であることは、type(α) = type(β) であることと同値であり、これにより定理3を用いて強い同値性が保証される。
• 非自由ロフリン補題が証明された：もし2つの超有限作用が同じ型を持つならば、それらは群作用をほとんど保存する測度を保つ双対写像によって強く同値である。