[論文レビュー] Bipartite and neighborhood graphs and the spectrum of the normalized graph Laplacian

Frank Bauer, Jürgen Jost|arXiv (Cornell University)|Oct 16, 2009

Graph theory and applications参考文献 22被引用数 14

ひとこと要約

本稿では、二重のチェーファー型定数を導入し、近隣グラフを分析することで、正規化グラフラプラシアンの最大固有値に対するより鋭い上限と下限を導出する。この最大固有値は、グラフが二部グラフにどれほど近いかを制御する。近隣グラフ Γ[l] を用いたスペクトル推定により、古典的なチェーファー不等式を改善し、ランダムウォークの収束や結合マップ格子における同期の明示的境界を可能にする。

ABSTRACT

We study the spectrum of the normalized Laplace operator of a connected graph $Γ$. As is well known, the smallest nontrivial eigenvalue measures how difficult it is to decompose $Γ$ into two large pieces, whereas the largest eigenvalue controls how close $Γ$ is to being bipartite. The smallest eigenvalue can be controlled by the Cheeger constant, and we establish a dual construction that controls the largest eigenvalue. Moreover, we find that the neighborhood graphs $Γ[l]$ of order $l\geq2$ encode important spectral information about $Γ$ itself which we systematically explore. In particular, the neighborhood graph method leads to new estimates for the smallest nontrivial eigenvalue that can improve the Cheeger inequality, as well as an explicit estimate for the largest eigenvalue from above and below. As applications of such spectral estimates, we provide a criterion for the synchronizability of coupled map lattices, and an estimate for the convergence rate of random walks on graphs.

研究の動機と目的

• 正規化グラフラプラシアンの最大固有値を制御すること。これは、グラフが二部グラフにどれほど近いかを測る。
• 古典的チェーファー不等式を補完するように、最大固有値の境界を与えるチェーファー定数の双対的構成を開発すること。
• l ≥ 2 に対する近隣グラフ Γ[l] が元のグラフ Γ のスペクトル情報をどのように符号化するかを調査すること。
• 最小非自明固有値の改善された推定値および最大固有値の明示的上限・下限を導出すること。
• スペクトル推定を応用し、ランダムウォークの収束速度と結合マップ格子における同期の条件を分析すること。

提案手法

• 最大固有値 λ_max を上界および下界で制御するための二重チェーファー定数 $\overline{h}$ を導入する。
• l ≥ 2 に対して近隣グラフ $\Gamma[l]$ を定義する。ここで、頂点は Γ 内で少なくとも1つの共通の隣接頂点を持つ場合に接続され、辺の重みは $w_{ij}[2] = \sum_k \frac{1}{d_k} w_{ik} w_{kj}$ で与えられる。
• 近隣グラフ変換における固有値に関して、$\lambda(\Gamma[l]) = \lambda(\Gamma)(2 - \lambda(\Gamma))$ というスペクトル関係を確立する。
• 近隣グラフ法を用いて、ランダムウォークの遷移作用素のスペクトル半径の明示的境界を導出する。
• モデル (88) の結合マップ格子にこれらの境界を適用し、定理 10.1 を用いて比 $\lambda_{N-1}/\lambda_1$ を同期安定性に関連付ける。
• 偶数 l に対しては $h[l]$、奇数 l に対しては $\overline{h}[l]$ を用いて、収束速度の明示的推定値を導出する。

実験結果

リサーチクエスチョン

• RQ1 正規化グラフラプラシアンの最大固有値を、グラフの構造的性質の観点から上界および下界でどのように制御できるか？
• RQ2 近隣グラフ $\Gamma[l]$ は、元のグラフ $\Gamma$ のスペクトル情報をどのように符号化するか？
• RQ3 近隣グラフに基づくスペクトル推定を用いて、古典的チェーファー不等式を改善できるか？
• RQ4 二重チェーファー定数 $h$ と $\overline{h}$ は、グラフのスペクトル的挙動をどのように共同で特徴付けるか？
• RQ5 これらのスペクトル推定は、ランダムウォークの収束速度および結合マップ格子の同期性にどのような意味を持つか？

主な発見

• 正規化ラプラシアンの最大固有値 $\lambda_{N-1}$ は、$\frac{\overline{h}}{h} \leq \frac{\lambda_{N-1}}{\lambda_1} \leq \frac{\min\left[\min_{l \text{ even}} 1 + (1 - h[l]^2)^{1/(2l)}, \min_{l \text{ odd}} 1 + (1 - (1 - \overline{h}[l])^2)^{1/(2l)} \right]}{\max_l \left(1 - (1 - h[l]^2)^{1/(2l)} \right)}$ を満たし、比 $\lambda_{N-1}/\lambda_1$ の明示的境界が得られる。
• 任意の偶数 l に対して、遷移作用素のスペクトル半径は $\rho \leq (1 - h^2[l])^{1/(2l)}$ を満たし、収束境界 $\|P^t f - \overline{f}\| \leq (1 - h^2[l])^{t/(2l)} \|f\|$ が得られる。
• $\Gamma[2]$ の固有値は、$\lambda(2 - \lambda)$ で与えられ、ここで $\lambda$ は $\Gamma$ の固有値である。これにより、近隣グラフを用いたスペクトル制御が可能になる。
• 近隣グラフ法により、最小非自明固有値の改善された推定値が得られ、場合によっては古典的チェーファー不等式を上回る。
• 二重チェーファー定数 $\overline{h}$ は、最大固有値の幾何的解釈を提供する。これは、$h$ が最初の非自明固有値を制御するのと同様の役割を果たす。
• 系 10.1 は、$\mu(f) > 0$ のとき $\lambda_{N-1}/\lambda_1 < (e^{\mu(f)} + 1)/(e^{\mu(f)} - 1)$ であれば、結合マップ格子における同期が可能であることを確立する。この境界は $h[l]$ および $\overline{h}[l]$ から導出される。