[論文レビュー] Diameter and spectral gap for planar graphs

Larsen Louder, Juan Souto|arXiv (Cornell University)|Apr 19, 2012

Stochastic processes and statistical mechanics参考文献 9被引用数 3

ひとこと要約

本稿は、直径を用いた有限平面グラフの固有値ギャップの鋭い上界を確立し、$\lambda_1(X) \leq C_d \left( \frac{\log(\operatorname{diam}X)}{\operatorname{diam}X} \right)^2$ であることを示し、この上界が最適であることを示す三角形分割の系列を構成する。この結果は、ベンジャミンとキューリエンが提起した、平面グラフ上のランダムウォークの混合時間に関する問題を解決し、直径に対する対数的遅延が改善できないことを確認する。

ABSTRACT

We prove that the spectral gap of a finite planar graph $X$ is bounded by $λ_1(X)\le C(\frac{\log(\diam X)}{\diam X})^2$ where $C$ depends only on the degree of $X$. We then give a sequence of such graphs showing the the above estimate cannot be improved. This yields a negative answer to a question of Benjamini and Curien on the mixing times of the simple random walk on planar graphs.

研究の動機と目的

• 有限平面グラフの固有値ギャップ $\lambda_1(X)$ に対して、直径を用いた上界を確立すること。
• この上界が、単純なランダムウォークの混合時間と関連して改善可能かどうかを特定すること。
• ベンジャミンとキューリエンが提起した、平面グラフ上でのランダムウォークの混合時間に関する問いを解決すること。
• 理論的下界に達する理論的下界に達する平面グラフの明示的族を構成すること。
• マンツァーノの多様体上のラプラシアンに関する結果を通じて、離散的グラフの固有値理論とリーマン幾何学を結びつけること。

提案手法

• $\lambda_1(X)$ のレイリー商による特徴づけを用いて、固有値ギャップとグラフ構造の関係を関係づける。
• 拡散器 $Z_n$ の辺を $n^{10}$ 段階に分割することで、グラフの系列 $Y_n$ を構成する。
• 各円の長さが基点 $p_n$ からの距離 $t$ における頂点数に一致する回転対称的メトリックシリンダー $A_n$ を定義する。
• リーマン多様体上のラプラシアンに関するマンツァーノの結果を応用し、$A_n$ からの固有値ギャップの上界を離散化されたバージョンに移行する。
• $A_n$ の三角形分割を 2-球面 $\mathbb{S}^2$ の三角形分割に完成させ、最終的なグラフ $X_n$ を得る。
• ノイマン境界条件と固有関数の対称性の議論を用いて、$\lambda_1(A_n)$ が円周 $\phi(t)$ の関数によって下から抑えられることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限平面グラフの固有値ギャップ $\lambda_1(X)$ は直径を用いて上界で抑えられるか。もし可能であれば、どの程度きついのか？
• RQ2 上界 $\lambda_1(X) \leq C_d \left( \frac{\log(\operatorname{diam}X)}{\operatorname{diam}X} \right)^2$ は、有界な次数の平面グラフにおいて最適であるか？
• RQ3 平面グラフ上での単純なランダムウォークの混合時間は、$\left( \frac{\operatorname{diam}X}{\log(\operatorname{diam}X)} \right)^2$ 以上に成長するか？
• RQ4 $\lambda_1(X_n)$ が $C \left( \frac{\log(\operatorname{diam}X_n)}{\operatorname{diam}X_n} \right)^2$ に下から抑えられるような、平面三角形分割の系列 $X_n$ を構成可能か？
• RQ5 固有値ギャップの上界が、文献に示された上界と一致する混合時間の下界を示唆するか？

主な発見

• 最大次数 $d$ を持つ任意の有限連結平面グラフ $X$ に対して、$\lambda_1(X) \leq C_d \left( \frac{\log(\operatorname{diam}X)}{\operatorname{diam}X} \right)^2$ が成り立ち、$C_d$ は $d$ のみに依存する。
• 有界次数を持つ $\mathbb{S}^2$ のペアワイズに異なる三角形分割 $X_n$ の系列が存在し、$\lambda_1(X_n) \geq C \left( \frac{\log(\operatorname{diam}X_n)}{\operatorname{diam}X_n} \right)^2$ を満たす。これにより、上界が鋭いことが証明される。
• このようなグラフ上での単純なランダムウォークの混合時間 $\tau(X)$ は、$\tau(X) \geq C_d \left( \frac{\operatorname{diam}X}{\log(\operatorname{diam}X)} \right)^2$ を満たし、対数的遅延が確認される。
• 構成により、十分大きな $n$ に対して $\operatorname{vol}(X_n) < (\operatorname{diam}X_n)^2$ であることが示され、グラフが体積拡張的でないことが示される。
• $\lambda_1(X_n)$ の下界は、文献に示された混合時間の上界が一般には改善できないことを示唆する。
• この結果は、ベンジャミンとキューリエンが提起した、平面グラフ上でのランダムウォークの混合時間が直径に依存せずに抑えられるかどうかという問いに対して、否定的な答えを提供する。