[논문 리뷰] Multi-way expansion constants and partitions of a graph

Mamoru Tanaka|arXiv (Cornell University)|2011. 12. 15.

Graph theory and applications참고 문헌 10인용 수 9

한 줄 요약

이 논문은 유한 그래프의 $k$-way 확장 상수와 그 $k$-분할에서의 부분그래프의 확장 상수 사이의 관계를 수립하며, $k+1$-way 확장 상수가 일관되게 유계이면서 차수도 유계인 그래프의 수열은 최대 $k$개의 확산자 수열로 분할될 수 있음을 증명한다. 주요 결과는 이러한 수열이 어떤 힐버트 공간에도 굵게 통합될 수 없다는 것으로, 기존의 확산자에 대한 비통합 가능성 결과를 일반화한다.

ABSTRACT

In this paper, we consider a relation between $k$-way expansion constant of a finite graph and the expansion constants of subgraphs in a $k$-partition of the graph. Using this relation, we show that a sequence of finite graphs which have uniformly bounded $k+1$-way expansion constants and uniformly bounded degrees can be divided into $k$ or less sequences of expanders. Furthermore, we prove that such sequence of finite graphs is not coarsely embeddable into any Hilbert space.

연구 동기 및 목표

• 그래프의 $k$-way 확장 상수와 그 $k$-분할에서 유도된 부분그래프의 확장 상수 사이의 관계를 조사하기.
• 일관되게 유계인 $k+1$-way 확장 상수와 차수를 가진 유한 그래프 수열의 특성과 그 구조적 분해를 규명하기.
• 이러한 수열이 어떤 힐버트 공간에도 굵게 통합될 수 없다는 것을 증명하여, 고전적 확산자에 대한 기존의 비통합 가능성 결과를 확장하기.
• 스펙트럼 그래프 이론(라플라시안 고유값)을 확장 성질과 굵은 기하학과 연결하기.

제안 방법

• 새로운 부등식을 도입하여 $k$-way 확장 상수 $h_k(G)$와 $k$-분할에서 부분그래프의 최소 확장 상수 사이의 관계를 규명하며, $\frac{h_{k+1}(G)}{3^{k+1}} \leq \min_i h(G^i)$ 및 $\max_i \frac{|\partial V^i|}{|V^i|} \leq 3^k h_k(G)$ 를 보임.
• 이 부등식을 활용하여, 일관되게 유계인 $k+1$-way 확장 상수와 차수를 가진 유한 그래프의 수열이 최대 $k$개의 고전적 확산자 수열로 분해될 수 있음을 증명함.
• 특히 힐버트 공간으로의 굵은 통합 개념을 활용한 굵은 기하학의 결과를 적용하여, 이러한 수열이 굵게 통합될 수 없음을 증명함.
• 스펙트럼 그래프 이론을 활용하여 그래프 라플라시안의 $k$-번째 고유값 $\lambda_k(G)$ 와 $k$-way 확장 상수 $h_k(G)$ 사이의 관계를 규명하며, Lee-Gharan-Trevisan의 기존 부등식을 활용함.
• metric 임베딩 $\rho_1$ 을 $\ell^2$ 에 대해 모순을 이용한 추론을 통해, 만약 수열이 경계 비율이 감소하는 확산자 수열을 포함한다면 굵게 통합될 수 없다는 것을 보임.
• 비-군집 통합 가능성의 충분조건을 설정함: $|\partial V_{H_n}|/|V_{H_n}| \to 0$ 을 만족하는 확산자인 유도된 부분그래프 $H_n$ 의 수열이 존재할 경우

실험 결과

연구 질문

• RQ1 그래프의 $k$-way 확장 상수가 그 $k$-분할된 부분그래프의 최소 확장 상수로 아래에서 유계일 수 있는가?
• RQ2 일관되게 유계인 $k+1$-way 확장 상수를 가진 유한 그래프 수열은 어떤 조건에서 유한 개의 고전적 확산자 수열로 분해될 수 있는가?
• RQ3 일관되게 유계인 차수와 양의 $k+1$-way 확장 상수를 가진 유한 그래프 수열은 어떤 힐버트 공간으로도 굵게 통합될 수 있는가?
• RQ4 그래프 라플라시안의 고유값은 다중 확장 상수와 어떻게 관련되며, 이를 비통합 가능성 결과 유도에 활용할 수 있는가?
• RQ5 유도된 부분그래프에 어떤 구조적 조건이 성립하면 그래프 수열이 힐버트 공간으로 굵게 통합될 수 없게 되는가?

주요 결과

• 모든 유한 그래프 $G$ 의 $k$-분할에 대해 부등식 $\frac{h_{k+1}(G)}{3^{k+1}} \leq \min_{1 \leq i \leq k} h(G^i)$ 가 성립하며, 이는 전반적이고 국소적 확장을 연결한다.
• 만약 $h_{k+1}(G)/3^{k+1} > h_k(G)$ 이면, $\max_i \frac{|\partial V^i|}{|V^i|} \leq 3^k h_k(G)$ 를 만족하는 $k$-분할이 존재함을 보이며, 부분그래프에서의 확장을 통제 가능함을 보여준다.
• 일관되게 유계인 $k+1$-way 확장 상수와 차수를 가진 유한 그래프 수열은 최대 $k$개의 고전적 확산자 수열로 분할될 수 있다.
• 이러한 수열은 어떤 힐버트 공간에도 굵게 통합될 수 없으며, 고전적 확산자에 대한 기존 결과를 일반화한다.
• $|\partial V_{H_n}|/|V_{H_n}| \to 0$ 을 만족하는 유도된 확산자 수열 $H_n$ 을 포함하는 그래프 수열은 어떤 힐버트 공간으로도 굵게 통합될 수 없다.
• 만약 모든 $k$ 에 대해 $\lambda_k(G_n) \to 0$ 이면 결과는 일반화되며, 이는 스펙트럼 감쇠가 주어진 조건 하에서 비통합 가능성으로 이어진다는 것을 시사한다.