[論文レビュー] Effective Resistances in Non-Expander Graphs

Dongrun Cai, Xue Chen+1 more|arXiv (Cornell University)|Jan 1, 2023

Complex Network Analysis Techniques被引用数 2

ひとこと要約

本稿は、一般の無向グラフにおける隣接頂点間の有効抵抗の部分時間近似に対して、強いクエリ複雑度の下界を確立する。特に、有効抵抗の1.01-近似を得るには、度数が3未満のグラフ（目標となる頂点対を除く）であってもΩ(n)のクエリが必要であることを証明し、度数2のグラフに対しては(1+ε)-近似アルゴリズムを提示する。これにより、非拡張グラフに関する重要な未解決問題が解決された。

ABSTRACT

Effective resistances are ubiquitous in graph algorithms and network analysis. In this work, we study sublinear time algorithms to approximate the effective resistance of an adjacent pair $s$ and $t$. We consider the classical adjacency list model for local algorithms. While recent works have provided sublinear time algorithms for expander graphs, we prove several lower bounds for general graphs of $n$ vertices and $m$ edges: 1.It needs $Ω(n)$ queries to obtain $1.01$-approximations of the effective resistance of an adjacent pair $s$ and $t$, even for graphs of degree at most 3 except $s$ and $t$. 2.For graphs of degree at most $d$ and any parameter $\ell$, it needs $Ω(m/\ell)$ queries to obtain $c \cdot \min\{d, \ell\}$-approximations where $c>0$ is a universal constant. Moreover, we supplement the first lower bound by providing a sublinear time $(1+ε)$-approximation algorithm for graphs of degree 2 except the pair $s$ and $t$. One of our technical ingredients is to bound the expansion of a graph in terms of the smallest non-trivial eigenvalue of its Laplacian matrix after removing edges. We discover a new lower bound on the eigenvalues of perturbed graphs (resp. perturbed matrices) by incorporating the effective resistance of the removed edge (resp. the leverage scores of the removed rows), which may be of independent interest.

研究の動機と目的

• 一般の（非拡張）グラフにおける有効抵抗を推定する部分時間アルゴリズムの限界を理解すること。
• 拡張グラフにおける既知の上界と一般グラフにおける部分時間アルゴリズムの不在の間のギャップを埋めること。
• 隣接頂点対間の有効抵抗を近似するためのタイトなクエリ複雑度の下界を確立すること。
• 有効抵抗とリーダンススコアを用いて、辺の削除後のスペクトル拡張を制限するための新技術を構築すること。
• 目標となる隣接頂点対を除き、すべての頂点の度数が2未満のグラフに対して(1+ε)-近似アルゴリズムを提供すること。

提案手法

• ヤオのミニマックス原理を用いて、グラフインスタンスの分布的解析を通じてクエリ複雑度の下界を証明する。
• 2つのグラフGとG′を、2つの注意深く選ばれた辺の差異を持つように構築し、識別性のギャップを生じさせる。
• スペクトルグラフ理論を適用し、削除された辺の有効抵抗を用いて、辺削除後のラプラシアンの2番目の固有値を制限する。
• ラマヌジャングラフの性質を活用し、辺削除後の部分グラフにおける強い拡張性を保証する。
• 有効抵抗の変分的特徴付け（ディリクレエネルギーを介して）を用いて、RG′(s,t)の上界を求める。
• 構造的単純性と有界な経路長を活用し、度数2のグラフに対して(1+ε)-近似アルゴリズムを設計する。

実験結果

リサーチクエスチョン

• RQ1 部分時間アルゴリズムは、一般のグラフにおける隣接頂点間の有効抵抗を近似できるか？
• RQ2 非拡張グラフにおける有効抵抗の近似のための最適クエリ複雑度は何か？
• RQ3 拡張グラフにおける下界を一般グラフへ拡張できるか？
• RQ4 辺の削除は、グラフにおけるスペクトルギャップと有効抵抗にどのように影響するか？
• RQ5 有効度数が有界なグラフに対して、部分時間の(1+ε)-近似アルゴリズムは存在するか？

主な発見

• 隣接頂点間の有効抵抗の0.6の成功確率と1.01-近似比を満たす任意のローカルアルゴリズムは、3-有効度数のグラフであってもΩ(n)のクエリを必要とする。
• 最大度数dのグラフでは、c·min{d,ℓ}-近似を得るにはΩ(m/ℓ)のクエリが必要であり、c>0は普遍定数である。
• すべての頂点の度数が2未満（目標となる隣接対sとtを除く）のグラフに対しては、(1+ε)-近似アルゴリズムが存在する。
• 変更されたグラフG′における有効抵抗は0.99未満であり、元のグラフGにおけるRG(s,t)=1と比較して識別性のギャップが生じる。
• 削除された辺の有効抵抗を組み込んだ、摂動されたラプラシアンの2番目の固有値に対する新しい下界が導出された。
• 本稿では、辺削除後のスペクトル拡張と有効抵抗の関係を定式化する新技術を導入し、これはスペクトルグラフ理論において独立に価値のあるものである可能性がある。