[논문 리뷰] On limits of Graphs Sphere Packed in Euclidean Space and Applications

Itaï Benjamini, Nicolas Curien|arXiv (Cornell University)|2009. 07. 15.

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

한 줄 요약

이 논문은 2차원에서의 원 패킹 이론을 고차원으로 확장하여, 균일하게 선택된 루트를 가진 유한 그래프가 $ℝ^d$에 구 패킹된 경우의 극한이 $d$-포텐셜 이론에서의 $d$-포텐셜성을 증명한다. 핵심 결과는 기하학적 등주 불등식의 이분법을 제시한다: $ℝ^d$에 패킹된 모든 무한 그래프는 양의 체거 상수를 가지거나, 임의로 큰 유한 집합 $W$가 존재하여 $|\partial W| \leq |W|^{\frac{d-1}{d}+o(1)}$를 만족하며, 이는 구 패킹과 $d$-차원 잠재 이론 간의 연결고리가 된다.

ABSTRACT

The core of this note is the observation that links between circle packings of graphs and potential theory developed in \cite{BeSc01} and \cite{HS} can be extended to higher dimensions. In particular, it is shown that every limit of finite graphs sphere packed in $\R^d$ with a uniformly-chosen root is $d$-parabolic. We then derive few geometric corollaries. E.g.\,every infinite graph packed in $\R^{d}$ has either strictly positive isoperimetric Cheeger constant or admits arbitrarily large finite sets $W$ with boundary size which satisfies $ |\partial W| \leq |W|^{\frac{d-1}{d}+o(1)}$. Some open problems and conjectures are gathered at the end.

연구 동기 및 목표

• 2차원에서의 그래프 구 패킹과 잠재 이론 간의 연결 고리를 $d \geq 3$의 고차원으로 확장하는 것.
• $ℝ^d$에 구 패킹된 유한이고 균일하게 루트가 선택된 그래프의 극한이 $d$-포텐셜성임을 증명하는 것.
• 무한 패킹 그래프에 대한 기하학적 결과, 특히 등주 이분법을 도출하는 것.
• 특히 증가하는 고리 길이를 가진 정규 그래프에 대해 $M$-균일 패킹의 장애 요소를 규명하는 것.

제안 방법

• $d$-차원 구 패킹에 대해 [4]와 [11]의 원 패킹 및 $L^2$ 잠재 이론 기법을 응용한다.
• $d$-포텐셜성은 랜덤 워크에서의 재귀성의 고차원 해석으로 간주한다.
• $M$-균일성 조건을 통해 수정된 고리 레미마를 적용하여 고차원 패킹에서 반지름 비율을 제어한다.
• 유한 그래프의 약한 극한을 이용하여 무한 극한 그래프를 분석한다.
• $d$-포텐셜성과 경계 집합의 구조를 활용하여 기하학적 결과를 유도한다.
• 등주 기준을 적용하여 일부 패킹, 예를 들어 $ℤ^{d+1}$이 $ℝ^d$에 존재하지 않음을 제거한다.

실험 결과

연구 질문

• RQ1 그래프가 $ℝ^d$에 $M$-균일하게 구 패킹되기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 $ℝ^d$에 $M$-균일하게 패킹 가능한 자연스러운 그래프의 가족을 구성할 수 있는가?
• RQ3 헤이젠베르크 군 $℧_3(\mathbb{Z})$의 카일리 그래프는 $4$-포텐셜성임에도 불구하고 $ℝ^d$에 구 패킹을 갖는가?
• RQ4 동일한 $ℝ^d$에서 서로 다른 축적점 집합을 가지는 두 개의 다른 구 패킹을 가진 그래프가 존재할 수 있는가?
• RQ5 유한하고 차수 제한이 있는 $ℝ^d$-패킹 그래프의 혼합 시간은 $C_d \cdot \text{diameter}(G)^2$ 이상인가?

주요 결과

• $ℝ^d$에 구 패킹된 유한이고 균일하게 루트가 선택된 그래프의 모든 극한은 $d$-포텐셜성이다.
• $ℝ^d$에 패킹된 모든 무한 그래프는 엄밀히 양의 등주 체거 상수를 가지거나, 임의로 큰 유한 집합 $W$가 존재하여 $|\partial W| \leq |W|^{\frac{d-1}{d}+o(1)}$를 만족한다.
• $\mathbb{Z}^{d+1}$은 비포텐셜성 때문에 어떤 $M \geq 0$에 대해서도 $ℝ^d$에 $M$-균일 패킹될 수 없다.
• growing girth를 가진 $k$-정규 그래프의 수열은 $k > 2$일 경우 고정된 차원 $d$에 대해 $M$-균일 패킹될 수 없으며, 그 약한 극한은 $k$-정규 트리가 되기 때문이다.
• $\mathbb{Z}^d$의 포텐셜 지수는 $d$이며, $k$-정규 트리의 포텐셜 지수는 무한하므로, 이는 $ℝ^d$에서의 $M$-균일 패킹을 방해한다.
• 이 연구에서 도출된 등주 기준은 최근에 $d \geq 5$일 때 $ℝ^d$에 예각 삼각분할이 존재하지 않음을 증명하는 데 사용되었다.