[論文レビュー] A Regularity Lemma for Bounded Degree Graphs and Its Applications: Parameter Testing and Infinite Volume Limits

Gábor Elek|arXiv (Cornell University)|Nov 18, 2007

Limits and Structures in Graph Theory参考文献 13被引用数 10

ひとこと要約

本稿は、部分指数的成長を示す有界次数グラフに対する正則性補題を確立し、ランダムサンプリングによる遺伝的グラフ性質のテスト可能性を可能にする。さらに、この補題を応用して、対数分配関数の無限体積極限の存在を証明し、非周期的無限グラフにおける統合状態密度の非確率的性質を示す。

ABSTRACT

We prove a regularity lemma for bounded degree graphs of subexponential growth. As an application we show that the edit-distance from a hereditary property is testable via random samplings in the graph category above. Using the regularity lemma we also prove the existence of the infinite volume limit of some log-partition functions as well as the non-randomness of the integrated density of states for random Hamiltonians in the case of aperiodic infinite graphs.

研究の動機と目的

• 部分指数的成長を示す有界次数グラフに特化した正則性補題の開発を目的とする。
• 有界次数グラフ設定において、編集距離がランダムサンプリングによってテスト可能であることを示す。
• 統計力学的モデルにおけるグラフ上での特定の対数分配関数の無限体積極限の存在を確立する。
• 非周期的無限グラフ上の確率的ハミルトニアンにおける統合状態密度が非確率的極限に収束することを証明する。

提案手法

• サツェルディの正則性補題を、部分指数的成長を示す有界次数グラフに適応し、次数制約下での正則性を保証する。
• 正則性構造を用いてグラフの編集距離を分析し、遺伝的性質のサンプリングベースのテストアルゴリズムを設計する。
• 正則性補題を用いてグラフ列の漸近的挙動を制御し、特に無限体積極限における挙動を分析する。
• 非周期的無限グラフ上の確率的ハミルトニアンのスペクトル特性を正則性フレームワークを用いて分析し、統合状態密度の収束を示す。
• 部分指数的成長を活用して、正則性分解における一様性と制御性を確保する。
• 正則性構造を用いて、熱力学的極限における対数分配関数の収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 部分指数的成長を示す有界次数グラフに対して、正則性補題を定式化できるか？
• RQ2 有界次数グラフモデルにおいて、遺伝的グラフ性質への編集距離がランダムサンプリングによってテスト可能か？
• RQ3 このようなグラフ上の対数分配関数は無限体積極限を有するか？
• RQ4 非周期的無限グラフ上の確率的ハミルトニアンにおける統合状態密度は非確率的極限に収束するか？

主な発見

• 部分指数的成長を示す有界次数グラフに対して、正則性補題が成功裏に確立され、正則性手法の適用範囲がスパースグラフ族へ拡張された。
• 任意の遺伝的グラフ性質への編集距離は、ランダムサンプリングによってテスト可能であり、クエリ複雑度は誤差および信頼度パラメータにのみ依存する。
• 部分指数的成長を示す有界次数グラフ上での特定のモデルに対して、対数分配関数の無限体積極限が存在する。
• 非周期的無限グラフ上の確率的ハミルトニアンにおける統合状態密度は非確率的極限に収束し、熱力学的極限におけるスペクトル剛性を示唆する。