[논문 리뷰] Stationary Eden model on amenable groups

Tonći Antunović, Eviatar B. Procaccia|arXiv (Cornell University)|2014. 10. 18.

Geometric and Algebraic Topology참고 문헌 7인용 수 3

한 줄 요약

이 논문은 약한 가중치 분포 가정 하에 에르고딕 정리들을 사용하여, $G \times \mathbb{Z}_+$ 형태의 애먼 캐일리 그래프, 특히 상반평면 격자와 같은 그래프 위에서 스테이셔너리인 엔드 모델의 두 변종을 도입한다. 이론적으로 모든 나무가 거의 확실히 유한함을 증명하며, 이는 이중 유형 리처드슨 모델에 대한 이전 결과들을 일반화한다.

ABSTRACT

We consider two stationary versions of the Eden model, on the upper half planar lattice, resulting in an infinite forest covering the half plane. Under weak assumptions on the weight distribution and by relying on ergodic theorems, we prove that almost surely all trees are finite. We generalize the result to Eden model in graphs of the form $G imes\mathbb{Z}_+$, where $G$ is an amenable Cayley graph satisfying mild conditions. This generalizes certain known results on the two-type Richardson model, in particular of Deijfen and H\aggstr\om in 2007.

연구 동기 및 목표

• 애먼 그래프, 특히 $G \times \mathbb{Z}_+$에서의 엔드 모델의 스테이셔너리 변종을 개발하는 것. 여기서 $G$는 애먼 캐일리 그래프이다.
• 가중치 분포에 대한 약한 조건 하에서, 유한한 무한 산림에서의 나무의 거의 확실한 유한성을 분석하는 것.
• 특히 Deijfen과 H"aggstr"om (2007)의 결과를 포함하여, 이중 유형 리처드슨 모델에 알려진 결과들을 더 넓은 범주로 일반화하는 것.

제안 방법

• $G \times \mathbb{Z}_+$ 그래프 위에서 시간-정적이고 공간-에르고딕인 두 가지 스테이셔너리 엔드 모델을 수립하는 것.
• 가중치 분포에 대한 약한 모멘트 조건 하에서, 클러스터 성장의 장기적 행동을 분석하기 위해 에르고딕 정리를 적용하는 것.
• 커플링 추론과 확률적 지배를 사용하여 스테이셔너리 엔드 과정을 알려진 경쟁 입자 시스템과 비교하는 것.
• 기저 랜덤 워크의 재귀성 및 비재귀성 성질을 규명하여 나무 성장에 대한 기하학적 제약 조건을 이끌어내는 것.
• G의 애먼성 덕분에 불변 측도의 존재를 보장하고, 단조성에 대한 FKG 유형 부등식을 적용하는 것.

실험 결과

연구 질문

• RQ1 $G$가 애먼 캐일리 그래프이면서 약한 조건을 만족할 때, $G \times \mathbb{Z}_+$ 위의 스테이셔너리 엔드 모델이 거의 확실히 유한한 나무만을 생성하는 조건은 무엇인가?
• RQ2 가중치 분포에 대한 약한 모멘트 조건이 스테이셔너리 엔드 과정에서 클러스터의 거의 확실한 유한성에 어떤 영향을 미치는가?
• RQ3 이중 유형 리처드슨 모델의 결과는 어느 정도 일반 애먼 캐일리 그래프로 확장될 수 있는가?
• RQ4 G의 애먼성은 스테이셔너리 모델에서 무한 나무의 부재를 보장하는 데 어떤 역할을 하는가?
• RQ5 에르고딕 정리는 무한 그래프 위의 스테이셔너리 엔드 클러스터의 전반적 구조 분석에 효과적으로 사용될 수 있는가?

주요 결과

• $G$가 약한 조건을 만족하는 애먼 캐일리 그래프일 경우, $G \times \mathbb{Z}_+$ 위의 스테이셔너리 엔드 모델에서 거의 확실히 모든 나무가 유한하다.
• 결과는 유한 모멘트 조건보다 더 약한 적분 가능성 조건만 요구하는 약한 가중치 분포 가정 하에서도 성립한다.
• 증명은 클러스터 성장률을 제어하기 위해 에르고딕 정리를 활용하며, 이로 인해 스테이셔너리 상태에서 무한 나무가 형성될 수 없음을 보장한다.
• 이 프레임워크는 Deijfen과 H"aggstr"om (2007)의 결과를 포함하여 이중 유형 리처드슨 모델에 대한 이전 연구를 더 넓은 그래프 범주로 일반화한다.
• G의 애먼성은 필요한 불변 측도의 존재를 보장하고, 증명에서 사용된 에르고딕 추론을 가능하게 하기 위해 필수적이다.