[論文レビュー] Warmth and mobility of random graphs

Sukhada Fadnavis, Matthew Kahle+1 more|arXiv (Cornell University)|Sep 4, 2010

Topological and Geometric Data Analysis参考文献 18被引用数 3

ひとこと要約

本稿は Erdős–Rényi 確率的グラフ $ G(n,p) $ の '温かさ' を研究し、無限大の $ d $ 分岐木から $ G(n,p) $ への '冷たい写像' の存在に関するほぼ鋭い閾値を導入し、それが温かさパラメータを決定する。$ p = O(n^{-eta}) $ の場合、温かさは最大2つの値に集中しており、Lovász の 'ほとんどすべてのグラフ' に対して移動性と彩色数の関係を示す予想を検証している。また、統計物理学とトポロジカルグラフ不変量の間の深い関係を示唆している。

ABSTRACT

A graph homomorphism from the rooted $d$-branching tree $ϕ: T^d o H$ is said to be cold if the values of $ϕ$ for vertices arbitrarily far away from the root can restrict the value of $ϕ$ at the root. Warmth is a graph parameter that measures the non-existence of cold maps. We study warmth of random graphs $G(n,p)$, and for every $d \ge 1$, we exhibit a nearly-sharp threshold for the existence of cold maps. As a corollary, for $p=O(n^{-α})$ warmth of $G(n,p)$ is concentrated on at most two values. As another corollary, a conjecture of Lovász relating mobility to chromatic number holds for "almost all" graphs. Finally, our results suggest new conjectures relating graph parameters from statistical physics with graph parameters from equivariant topology.

研究の動機と目的

• 確率的グラフ $ G(n,p) $ の温かさパラメータを分析し、特にその集中性と相転移を調べること。
• 根の色分けに制約がないことを決定づける、無限大の $ d $ 分岐木から $ G(n,p) $ への '冷たい写像' の存在を調査すること。
• Lovász が提起した予想、すなわち 'ほとんどすべてのグラフ' に対して移動性が彩色数の下界であるという予想を検証すること。
• 統計物理学のグラフパラメータ（温かさ、移動性）とトポロジカル不変量（近傍複体の連結性）の間の構造的関係を探索すること。

提案手法

• 温かさ $ w(H) $ を、$ T^{d-2} \to H $ となる冷たい写像 $ \theta $ が存在しない最大の $ d $ として定義する。冷たい写像とは、遠く離れた頂点によって根の値が制限される写像である。
• Brightwell と Winkler による同値性を利用：$ H $ が $ (d+2) $-温かくないことは、$ H $ に $ d $-安定な部分集合族が存在することと同値である。
• エッジ確率 $ p = n^{-eta} $ を分析し、冷たい写像の存在に関するほぼ鋭い閾値を特定する。確率的技法とグラフの性質を用いる。
• 閾値を超えた $ p $ に対して、$ G(n,p) $ が性質 $ \rho^s_3 $（局所連結性）をほとんど確実に持つことを示し、近傍複体 $ \text{conn}[\nu(G)] $ の高さの連結性を示す。
• 位相的道具を用いて、特定の $ p $ の範囲で $ w(G) \to \text{conn}[\nu(G)] + 3 $ を示し、温かさとトポロジカル不変量を結びつける。
• 近傍複体 $ \nu(G) $ 及びその連結性を用いて、温かさの上限を導出し、等変位相幾何学と組合せ位相幾何学の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 どの $ p = n^{-\beta} $ の値に対して、確率的グラフ $ G(n,p) $ はほとんど確実に $ T^d $ から $ G(n,p) $ への冷たい写像を許容するか。また、その閾値の挙動はどのようにか。
• RQ2 $ p = O(n^{-\beta}) $ の場合、温かさパラメータ $ w(G(n,p)) $ はどの程度集中しているのか。なぜそれが最大2つの値に制限されるのか。
• RQ3 Lovász が提起した予想、すなわち移動性が彩色数の下界であるという予想は、'ほとんどすべてのグラフ' に対して成り立つか。確率的グラフの設定で検証可能か。
• RQ4 統計物理学のグラフパラメータ（温かさ、移動性）とトポロジカル不変量（近傍複体の連結性）との間に、深い構造的関係が存在するか。
• RQ5 不等式 $ w(H) \to \text{conn}[\nu(H)] + 3 $ は、すべての有限グラフに対して一般に証明可能または拡張可能か、一般予想として提示できるか。

主な発見

• $ p = O(n^{-\beta}) $ の場合、温かさ $ w(G(n,p)) $ は、温かさが単調なグラフ性質ではないにもかかわらず、最大2つの値に集中する。
• 冷たい写像 $ T^d \to G(n,p) $ の存在に関するほぼ鋭い閾値が存在し、固体-液体相転移に類似した挙動を示す。この閾値は $ d $ と $ \beta $ に依存する。
• Lovász の予想、すなわち移動性が彩色数の下界であるという予想は、$ G(n,p) $ に対して漸近的にほとんど確実に成り立つ。これにより、'ほとんどすべてのグラフ' に対して予想が確認された。
• $ \frac{1}{s+1} < \beta < \frac{1+s}{1+s+s^2} $ の範囲で、$ w(G(n,p)) \to \text{conn}[\nu(G(n,p))] + 3 $ がほとんど確実に成り立つ。これにより、トポロジカルパラメータと統計物理学的パラメータの強い関係が確立された。
• 完全グラフ、$ k \to 3 $ の Kneser グラフ $ KG_{n,k} $、および $ \rho(H) \to 3 $ を満たすグラフに対して、不等式 $ w(H) \to \text{conn}[\nu(H)] + 3 $ が検証された。これは一般予想を支持する。
• 本稿は、温かさの鋭い閾値が存在すると予想している。これは温かさが単調ではないにもかかわらず、確率的グラフにおける普遍的な相転移挙動を示唆している。