[논문 리뷰] Heat kernels are not uniform expanders

Mikołaj Frączyk, Wouter van Limbeek|arXiv (Cornell University)|2019. 05. 31.

Stochastic processes and statistical mechanics참고 문헌 13인용 수 4

한 줄 요약

이 논문은 유한하지만 유계 차수를 가진 그래프가 균일하게 확장되는 열 핵을 가질 수 없다는 것을 증명한다—즉, 랜덤 워크 위치의 분포가 어느 척도에서든 균일하게 확장되지 않는다. 정적 무작위 그래프 이론과 포아송 경계의 아메니타리티를 이용하여, 이러한 그래프는 반드시 균일하게 확장되지 않음을 보이며, 벤자민의 추측에 대한 열 핵의 해석적 대응을 해결한다.

ABSTRACT

We study infinite analogues of expander graphs, namely graphs where subgraphs weighted by heat kernels form an expander family. Our main result is that there does not exist any infinite expander in this sense. This proves the analogue for random walks of Benjamini's conjecture that there is no infinite graph whose metric balls are uniformly expander. The proof relies on a study of stationary random graphs, in particular proving non-expansion of heat kernels in that setting. A key result is that any stationary random graph is stationary hyperfinite, which is potentially of independent interest.

연구 동기 및 목표

• 무한 그래프가 열 핵 분포를 통해 균일하게 확장될 수 있는지, 벤자민의 추측에서의 거리 구역과 유사하게 조사한다.
• 어떤 루트에서 출발하는 열 핵이 시간이 지남에 따라 항상 균일하게 확장되는 무한 그래프가 존재하는지 확인한다.
• 무한이고 유계 차수를 가진 그래프에서는 이러한 균일한 확장이 열 핵을 통해 불가능하다는 것을 확립한다.
• 특히 그들의 초유한성과 포아송 경계의 아메니타리티에 관한 정적 무작위 그래프의 구조적 성질을 도출한다.
• 루트가 있는 그래프는 모든 척도에서 확장될 수 있지만, 루트가 없는 열 핵은 균일하게 확장될 수 없다는 반례를 제시한다.

제안 방법

• 모든 집합 A에 대해 μⁿₒ(A) ≤ 1/2일 때 경계의 측도가 h·μⁿₒ(A) 이상이 되는 조건을 사용해 열 핵의 h-확장을 정의한다.
• 그로모프-하우스도르프 수렴을 사용하여, 열 핵이 그래프에서 ε-확장 가능하다면 그 극한 그래프에서도 동일하게 유지됨을 보인다.
• 무작위 걷기 경로의 경험적 측도의 약한-* 극한으로 정적 무작위 그래프를 구성한다.
• 측도적 동치관계와 아메니타리티의 연결을 이용하여, 임의의 정적 무작위 그래프가 정적 초유한임을 증명한다.
• 정적 무작위 그래프의 포아송 경계가 아메니타리티를 가짐을 확립하며, 이는 초유한성을 암시하고 균일한 확장을 방해한다.
• 균일한 확장 가정이 확률의 합이 1을 초과함을 보여주는 모순을 유도함으로써 모순을 도출한다.

실험 결과

연구 질문

• RQ1 무한하고 유계 차수를 가진 그래프에서 열 핵이 모든 척도에서 균일하게 확장될 수 있는가?
• RQ2 고정된 루트에서 출발하는 루트가 있는 무한 그래프에서 열 핵이 균일하게 확장되는가?
• RQ3 정적 무작위 그래프에서 거의 확실하게 균일하게 확장되는 열 핵이 존재하는가?
• RQ4 정적 무작위 그래프가 균일한 확장을 방지하는 구조적 성질은 무엇인가?
• RQ5 포아송 경계의 아메니타리티는 무한 그래프에서 열 핵의 비확장성과 어떻게 관련되는가?

주요 결과

• 균일하게 확장되는 열 핵을 가진 무한이고 연결된 유계 차수 그래프는 존재하지 않는다.
• 벤자민의 추측에 대한 열 핵 해석적 대응은 잘못되었으며, 그러한 무한 그래프는 존재하지 않는다.
• 유계 차수를 가진 모든 정적 무작위 그래프는 거의 확실하게 정적 초유한이며, 이는 별도의 관심사로도 유의미하다.
• 정적 무작위 그래프의 포아송 경계는 아메니타리티를 가지며, 이는 초유한성을 암시하고 균일한 확장을 방해한다.
• 증명은 모순에 기반한다: 균일한 확장을 가정하면 확률의 합이 1을 초과하게 되어 확률론적 조건을 위반한다.
• 루트가 있는 그래프는 모든 척도에서 확장될 수 있다(예: 확장자 몫을 통해), 그러나 루트가 없는 열 핵은 균일하게 확장될 수 없다.