[논문 리뷰] Shearer's point process, the hard-sphere gas and a continuum Lovász Local Lemma

Christoph Temmel|arXiv (Cornell University)|2014. 01. 01.

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

한 줄 요약

이 논문은 R-독립 점과정에 대한 연속체 버전의 Lovász Local Lemma를 수립하여 회피 함수에 대한 균일한 지수하한을 증명한다. 이는 R-하드 코어를 갖는 유일한 R-독립 점과정인 Shearer의 점과정의 존재 조건을 강도와 R 조건을 통해 특성화하며, 귀납적인 Dobrushin 스타일의 추론을 통해 고전적인 Ruelle의 하한을 회복한다.

ABSTRACT

A point process is R-independent, if it behaves independently beyond the minimum distance R. We investigate uniform positive lower bounds on the avoidance functions of R-independent point processes of the same intensity. We characterise those intensities by the existence of Shearer’s point process, the unique R-independent point process with an R-hard-core. Shearer’s point process is intimately related to the hard-sphere gas with radius R, the unique Gibbsian point process with an R-hard-core. The continuum Lovász Local Lemma is a sufficient condition on the in-tensity and R to guarantee uniform exponential lower bounds on the avoidance function for all R-independent point processes of this inten-sity. Hence, the continuum Lovász Local Lemma guarantees the existence of Shearer’s point process. Because it is also a lower bound on the radius of convergence of the hard-sphere gas, we recover classic bounds by Ruelle via an inductive approach a ̀ la Dobrushin.

연구 동기 및 목표

• R-독립 점과정에서 회피 함수에 대한 균일한 지수하한을 확보하기 위한 강도와 R 조건의 충분조건을 수립하는 것.
• Shearer의 점과정이 R-하드 코어를 갖는 유일한 R-독립 점과정으로서 존재 조건을 특성화하는 것.
• 연속체 Lovász Local Lemma를 하드 스피어 기체 모델과 연결하고 고전적인 수렴 반경 하한을 회복하는 것.
• 새로운 연속체 LLL 프레임워크를 통해 Ruelle의 하한을 귀납적, Dobrushin 스타일의 증명으로 제공하는 것.

제안 방법

• R-독립을 도입: 거리 R 이외에서는 독립적으로 행동하는 점과정.
• 회피 함수를 밀도가 없는 컴acts 집합에 점이 존재하지 않을 확률로 정의하고, 균일한 하한을 찾는다.
• Lovász Local Lemma의 연속체 버전을 적용하여 강도와 R에 대한 지수하한을 위한 충분조건을 유도한다.
• 회피 함수의 극값 성질을 이용해 Shearer의 점과정이 R-하드 코어를 갖는 유일한 R-독립 과정임을 증명한다.
• 귀납적, Dobrushin 유형의 추론을 사용해 하드 스피어 기체의 수렴 반경 하한을 증명하며, Ruelle의 고전 결과와 일치시킨다.
• Shearer의 과정 존재 조건을 하드 스피어 기체 비르비알 전개의 수렴 반경과 연결한다.

실험 결과

연구 질문

• RQ1 강도와 R에 어떤 조건이 성립하면 모든 R-독립 점과정에 대해 회피 함수에 대한 균일한 지수하한이 보장되는가?
• RQ2 Shearer의 점과정은 R-하드 코어를 갖는 유일한 R-독립 과정으로서 어떻게 특성화되는가?
• RQ3 연속체 Lovász Local Lemma는 Shearer의 점과정 존재를 어떻게 암시하는가?
• RQ4 유도된 회피 함수 하한은 하드 스피어 기체 비르비알 급수의 수렴 반경과 어떤 관계가 있는가?
• RQ5 이 프레임워크 내에서 Ruelle의 고전적인 하드 스피어 기체 수렴 하한을 귀납적, Dobrushin 스타일의 추론으로 복원할 수 있는가?

주요 결과

• 연속체 Lovász Local Lemma는 모든 동일 강도의 R-독립 점과정에 대해 회피 함수에 대한 균일한 지수하한을 보장하기 위한 강도와 R 조건의 충분조건을 제공한다.
• Shearer의 점과정이 존재하는 것은 강도와 R가 연속체 LLL에서 도출된 조건을 만족할 때이고, 이는 R-하드 코어를 갖는 유일한 R-독립 과정이다.
• Shearer의 점과정 존재 조건은 하드 스피어 기체 비르비알 전개의 수렴에 등가이며, 이 수렴 반경은 LLL에서 도출된 조건에 의해 아래로 유계이다.
• 논문은 연속체 LLL에 기반한 귀납적, Dobrushin 스타일의 추론을 통해 Ruelle의 고전적인 하드 스피어 기체 수렴 반경 하한을 복원한다.
• LLL 조건 하에서 R-독립 점과정의 모든 회피 함수는 체적의 지수함수로 균일하게 아래로 유계이다.
• 이 프레임워크는 거리 R에서의 확률적 독립성, 길버스 점과정, 그리고 하드 스피어 기체 모델에 의한 통계역학 간의 직접적인 연결을 수립한다.