[논문 리뷰] Diameter and spectral gap for planar graphs

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

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$의 삼등분을 완성하여 최종 그래프 $X_n$를 만드는 2-구면체 $\mathbb{S}^2$로의 삼등분을 완성하는 것.
• 노이만 경계 조건과 고유함수 대칭성 논증을 사용하여 $\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 스펙트럼 간격 하한선이 $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)$에 대한 하한선은 문헌에서의 혼합 시간 상한이 일반적으로 향상될 수 없다는 것을 암시한다.
• 결과적으로, 벤자민리와 퀴리가 평면 그래프 위에서의 랜덤 워크 혼합 시간이 직경에 독립적으로 유계일 수 있는지 여쭤본 질문에 대해 부정적인 답변을 제공한다.