[논문 리뷰] Invariant embeddings of unimodular random planar graphs

Itaï Benjamini, Ádám Timár|arXiv (Cornell University)|2019. 10. 03.

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

한 줄 요약

이 논문은 유한 평균 차수를 가진 에르고딕이고 유일한 끝을 가진 무작위 평면 그래프가 등급 이sov메트리 불변이고 국소 유한한 임베딩을 유클리드 평면에 가질 수 있는지 여부는 그 그래프가 불변적으로 애매성(amenability)을 갖는지 여부에 따라 결정됨을 밝힌다. 비애매성 그래프의 경우, 이러한 임베딩은 쌍곡 평면에 존재한다. 결과는 유일한 끝을 가진 무작위 타일링으로까지 확장되며, 유클리드 경우는 불변 점 프로세스를, 쌍곡 평면의 경우는 원판 포장 기법을 사용하여 구성된다. 이는 한쪽 끝을 가진 그래프에 대한 완전한 이분법을 제공한다.

ABSTRACT

Consider an ergodic unimodular random one-ended planar graph $\G$ of finite expected degree. We prove that it has an isometry-invariant locally finite embedding in the Euclidean plane if and only if it is invariantly amenable. By "locally finite" we mean that any bounded open set intersects finitely many embedded edges. In particular, there exist invariant embeddings in the Euclidean plane for the Uniform Infinite Planar Triangulation and for the critical Augmented Galton-Watson Tree conditioned to survive. Roughly speaking, a unimodular embedding of $\G$ is one that is jointly unimodular with $\G$ when viewed as a decoration. We show that $\G$ has a unimodular embedding in the hyperbolic plane if it is invariantly nonamenable, and it has a unimodular embedding in the Euclidean plane if and only if it is invariantly amenable. Similar claims hold for representations by tilings instead of embeddings.

연구 동기 및 목표

• 유한 평균 차수를 가진 에르고딕이고 유일한 끝을 가진 무작위 평면 그래프가 유클리드 또는 쌍곡 평면에 등급 이sov메트리 불변이고 국소 유한한 임베딩을 가질 수 있는 조건을 규명하는 것.
• 그래프의 불변 애매성과 관련하여 불변 임베딩 및 타일링의 존재 조건을 특성화하는 것.
• 유클리드 경우에서는 불변 점 프로세스를, 쌍곡 평면의 경우는 원판 포장을 통해 이러한 임베딩과 타일링을 구성하는 구축 방법을 제공하는 것.
• 불변 임베딩 및 타일링의 맥락에서 애매성과 비애매성 그래프 사이의 이분법을 해결하는 것.
• 타일링 표현을 포함하도록 프레임워크를 확장하고, 등급 이sov메트리에 대한 불변성을 유지하는 데서 무작위성의 역할을 명확히 하는 것.

제안 방법

• 적절한 불변 점 프로세스를 정점 집합으로 삼아 유클리드 평면에 등급 이sov메트리 불변 임베딩을 구성함으로써, 결과적으로 유일한 끝을 가진 무작위 그래프를 확보하는 것.
• 쌍곡 기하학의 강성(rigidity)을 활용하여, 비애매성 그래프에 대해 쌍곡 평면에서 유일한 끝을 가진 무작위 임베딩을 원판 포장 기법을 통해 구성하는 것.
• 등급 이sov메트리 불변 임베딩을 정의함으로써, 자동사상에 대한 정적성(stationarity)을 보장하는 그래프와 임베딩의 공동 분포가 유일한 끝을 가진다는 조건을 설정하는 것.
• 유클리드 평면의 경우, 불변 애매성의 필요성을 모순에 기반해 증명함. 이를 위해 평면을 정사각형으로 나누는 불변 무작위 분할을 사용하는 것.
• 각 타일 내에서 무작위 점을 선택하고 이웃 타일과 연결함으로써 타일링 문제를 임베딩 문제로 환원하는 것. 이 과정에서 불변성과 국소 유한성을 유지하는 것.
• Aldous와 Lyons [1]의 팔름 측도 결과를 적용하여, 불변 임베딩의 팔름 판정식이 애매성 경우에 유일한 끝을 가진 임베딩임을 보이는 것.

실험 결과

연구 질문

• RQ1 에르고딕이고 유일한 끝을 가진 무작위 평면 그래프가 유한 평균 차수를 가지며 유클리드 평면에 등급 이sov메트리 불변이고 국소 유한한 임베딩을 가질 수 있는 조건은 무엇인가?
• RQ2 모든 불변 비애매성 무작위 평면 그래프는 쌍곡 평면에 유일한 끝을 가진 임베딩을 가질 수 있는가?
• RQ3 유일한 끝을 가진 타일링 표현이 유클리드 또는 쌍곡 평면에 존재하는가? 그리고 언제 존재하는가?
• RQ4 불변 애매성과 대칭 공간인 유클리드 및 쌍곡 평면에서의 유일한 끝을 가진 임베딩 또는 타일링 존재성 사이의 관계는 무엇인가?
• RQ5 기저 공간의 기하적 성질(유클리드 대비 쌍곡)은 유일한 끝을 가진 임베딩을 구성할 수 있는지에 영향을 미치는가?

주요 결과

• 에르고딕이고 유일한 끝을 가진 무작위 평면 그래프가 유한 평균 차수를 가지며 유클리드 평면에 등급 이sov메트리 불변이고 국소 유한한 임베딩을 가질 수 있는 것은 그 그래프가 불변적으로 애매성일 때에만 가능하다.
• 비애매성 그래프의 경우, 쌍곡 평면에는 유일한 끝을 가진 국소 유한한 임베딩이 존재하지만, 유클리드 평면에는 존재하지 않는다.
• 동일한 이분법은 유일한 끝을 가진 타일링 표현에도 적용된다: 애매성 그래프는 유클리드 평면에서, 비애매성 그래프는 쌍곡 평면에서 이러한 타일링을 가진다.
• 모든 유일한 끝을 가진 타일링 구성에서 원점이 포함된 타일의 기대 면적은 유한하며, 이는 국소 유한성을 보장한다.
• 유클리드 평면의 '오직 오직' 방향 증명은 평면을 무작위로 분할하는 불변 유한 고갈을 구성함으로써 이루어지며, 이는 애매성의 강제 조건이 된다.
• 애매성 경우의 구성은 불변 임베딩의 팔름 판정식을 사용하며, Aldous와 Lyons [1]의 논증을 통해 이 것이 유일한 끝을 가진다는 것이 입증된다.