[논문 리뷰] Effective Resistances in Non-Expander Graphs

Dongrun Cai, Xue Chen외 1명|arXiv (Cornell University)|2023. 01. 01.

Complex Network Analysis Techniques인용 수 2

한 줄 요약

이 논문은 일반적인 무방향 그래프에서 인접한 정점 간의 유효 저항을 부분선형 시간에 근사하는 데 필요한 질의 복잡도의 강력한 하한을 확립한다. 이는 조건부로 차수 ≤3인 그래프(타겟 쌍을 제외한)에서도 1.01-근사값을 달성하기 위해 Ω(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+ε)-근사 알고리즘을 제공하는 것.

제안 방법

• 질의 복잡도 하한을 증명하기 위해 요아의 최소최대 원리를 사용하여 그래프 인스턴스의 분포 분석을 수행한다.
• 두 개의 그래프 G와 G′을 구성하여 두 개의 철저히 선택된 간선의 차이로 인해 식별 가능성 격차를 만든다.
• 스펙트럼 그래프 이론을 적용하여 제거된 간선의 유효 저항을 사용해 간선 제거 후 라플라시안의 두 번째 고유값을 제한한다.
• 라마누잔 그래프의 성질을 활용하여 간선 제거 후 부분그래프에서도 강한 확산성을 보장한다.
• 유효 저항의 변분 특성화(디리클레 에너지를 통한)를 이용해 RG′(s,t)의 상한을 구한다.
• 구조적 단순성과 제한된 경로 길이를 활용하여 차수 2인 그래프에 대해 (1+ε)-근사 알고리즘을 설계한다.

실험 결과

연구 질문

• RQ1 일반 그래프에서 인접한 정점 간의 유효 저항을 부분선형 시간 알고리즘으로 근사할 수 있는가?
• RQ2 비확산 그래프에서 유효 저항을 근사하는 데 있어 최적의 질의 복잡도는 무엇인가?
• RQ3 확산 그래프에 대한 하한을 일반 그래프로 확장할 수 있는가?
• RQ4 간선 제거는 그래프의 스펙트럼 간격과 유효 저항에 어떻게 영향을 미치는가?
• RQ5 유한 차수를 가진 그래프에 대해 부분선형 시간 (1+ε)-근사 알고리즘이 존재하는가?

주요 결과

• 0.6의 성공 확률과 1.01-근사 비율을 가진 어떤 국소 알고리즘도, 인접한 정점 간 유효 저항을 근사하기 위해 3-유한 차수 그래프에서도 Ω(n)의 질의가 필요하다.
• 최대 차수 d인 그래프의 경우, c·min{d,ℓ}-근사값을 달성하기 위해 Ω(m/ℓ)의 질의가 필요하며, 여기서 c>0은 보편 상수이다.
• 모든 정점의 차수가 타겟 인접 쌍 s와 t를 제외하고 2 이하인 그래프에 대해 (1+ε)-근사 알고리즘이 존재한다.
• 수정된 그래프 G′에서의 유효 저항은 최대 0.99이며, 원래 그래프 G에서 RG(s,t)=1이므로 식별 가능성 격차를 형성한다.
• 변형된 라플라시안의 두 번째 고유값에 대한 새로운 하한이 도출되었으며, 이는 제거된 간선의 유효 저항을 포함한다.
• 이 논문은 간선 제거 후 스펙트럼 확산과 유효 저항을 연결하는 새로운 기법을 도입하였으며, 이는 스펙트럼 그래프 이론에서 별도의 관심사가 될 수 있다.