[논문 리뷰] Perfect simulation and finitary coding for multicolor systems with interactions of infinite range

Antonio Galves, Nancy L. Garcia외 1명|ArXiv.org|2008. 09. 20.

Markov Chains and Monte Carlo Methods참고 문헌 11인용 수 7

한 줄 요약

이 논문은 무한 범위 상호작용을 갖는 ℤᵈ 위의 다색 상호작용 입자 시스템에 대한 완벽한 시뮬레이션 알고리즘을 제시한다. 이는 유한 범위 성분들로의 무한 범위 전이율의 가산 혼합 표현을 활용하여, 유한 범위로의 국소 근사가 가능하게 한다. 이 방법은 시스템의 불변 측도로의 유한 차원 코딩을 가능하게 하며, 마르코프성, 동차성, 또는 장거리 성질에 대한 가정 없이도 지수적 에르고딕성을 확립한다.

ABSTRACT

We consider a particle system on $Z^d$ with finite state space and interactions of infinite range. Assuming that the rate of change is continuous and decays sufficiently fast, we introduce a perfect simulation algorithm for the stationary process. The algorithm follows from a representation of the multicolor system as a finitary coding from a sequence of independent uniform random variables. This implies that the process is exponentially ergodic. The basic tool we use is a representation of the infinite range change rates as a mixture of finite range change rates.

연구 동기 및 목표

• 무한 범위, 연속적이고 급격히 감쇠하는 전이율을 갖는 ℤᵈ 위의 다색 시스템에 대한 완벽한 시뮬레이션 알고리즘을 개발하기 위해.
• 이러한 시스템의 불변 측도로의 유한 차원 코딩이 존재함을 입증하기 위해.
• 기존의 마르코프성, 유한 범위, 또는 단조성 가정을 초월한 유한 차원 코딩 및 완벽한 시뮬레이션 결과를 확장하기 위해.
• 전이율에 대한 미약한 정규성 조건 하에서 과정의 지수적 에르고딕성을 증명하기 위해.
• 이중성 또는 투명성 가정 없이, 백워드 및 포워드 시뮬레이션 단계를 통해 정지 과정을 자가 포함적으로 구성하기 위해.

제안 방법

• 정리 1을 통해 무한 범위 전이율 $ c_i(a,\eta) $ 를 유한 범위 전이율의 가산 혼합으로 표현함으로써 국소 근사가 가능하게 한다.
• 시간을 거슬러 역행하여 과거 역사를 시뮬레이션하는 백워드 블랙-화이트 스케치 알고리즘을 구축하며, 기하학적 尾尾 분포 덕분에 거의 확실하게 유한 시간 내에 정지한다.
• 혼합 표현과 조건부 전이율에 기반하여, 블랙-화이트 스케치에 실제 색상을 할당하는 포워드 알고리즘을 사용한다.
• 장거리 영향의 감쇠에 기반하여, 커플링 추론과 하위마라팅게일 부등식을 활용해 거의 확실한 유한 정지 시간을 확립한다.
• 정지 시간 $ V_{\text{STOP}} $ 의 모멘트를 유계화함으로써 지수적 에르고딕성을 증명하며, $ \mathbb{E}[V_{\text{STOP}}] \leq \frac{1}{1 - \bar{\lambda}} $ 를 도출한다.
• 완벽한 시뮬레이션 출력을 기반으로, 원점에서의 출력이 입력의 유한한 랜덤 부분집합에만 의존하는 이동 불변성과 가측성 조건을 갖는 사상으로서의 유한 차원 코딩을 구성한다.

실험 결과

연구 질문

• RQ1 전이율에 대한 미약한 연속성 및 감쇠 조건 하에서, 다색 시스템에 대한 완벽한 시뮬레이션 알고리즘을 구성할 수 있는가?
• RQ2 이러한 시스템이 마르코프성 또는 단조성 가정 없이도 유한한 i.i.d. 과정에서의 유한 차원 코딩을 갖는가?
• RQ3 이중성 또는 투명성 가정 없이도 정지 과정의 존재를 구성적으로 증명할 수 있는가?
• RQ4 무한 범위 상호작용 입자 시스템에서 지수적 에르고딕성을 보장하는 조건은 무엇인가?
• RQ5 무한 범위 전이율의 구조를 유한 범위 성분들로의 가산 혼합으로 분해하여 시뮬레이션을 가능하게 할 수 있는가?

주요 결과

• 완벽한 시뮬레이션 알고리즘은 거의 확실하게 유한 시간 내에 정지하며, $ \mathbb{E}[V_{\text{STOP}}] \leq \frac{1}{1 - \bar{\lambda}} $ 를 만족하여 유한한 계산 비용을 보장한다.
• 정지 시간의 모멘트 유계화를 통해 지수적 에르고딕성이 입증되며, 이는 불변 측도로의 빠른 수렴을 의미한다.
• 정리 4에 의해, 이 시스템의 불변 측도로의 유한 차원 코딩이 존재함을 입증하였으며, 마르코프성 또는 무한 범위 모델로의 결과 확장이 가능하다.
• Van den Berg와 Steif (1999) 및 Häggström과 Steif (2000)의 결과를 일반화하였으며, 이제 비마르코프성, 장거리 게이블스 측도에도 적용 가능하다.
• 히트 바스 동역학의 경우, 조건 $ \alpha(-1) > \frac{2d}{2d+1} $ 가 정지 시간의 기댓값이 유한함을 보장하며, $ \alpha(-1) = \sum_{a \in A} \min_{\zeta(\partial 0) \in A^{\partial 0}} \mathcal{Q}(X(0)=a \mid X(\partial 0)=\zeta(\partial 0)) $ 이다.
• 무한 범위 전이율을 유한 범위 전이율의 혼합으로 표현하는 것(정리 1)이 완벽한 시뮬레이션과 유한 차원 코딩을 가능하게 하는 핵심 기술적 도구이다.