[논문 리뷰] Examples of interacting particle systems on $\mathbb{Z}$ as Pfaffian point processes II - coalescing branching random walks and annihilating random walks with immigration

Barnaby Garrod, Roger Tribe외 1명|arXiv (Cornell University)|2016. 05. 31.

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

한 줄 요약

이 논문은 고정된 시간에 대해 임의의 결정론적 초기 조건을 가진 $ℤ$에서의 공통화 및 분열 랜덤 워크, 그리고 쌍별 이주를 가지는 상쇄 랜덤 워크가 모두 Pfaffian 점 프로세스임을 보여준다. 확산 스케일링을 통해 $ℝ$ 위의 극한 Pfaffian 점 프로세스를 유도하며, 이는 브라운 운동 네트의 점 집합 프로세스를 포함한다.

ABSTRACT

Two classes of interacting particle systems on $\mathbb{Z}$ are shown to be Pfaffian point processes at fixed times, and for all deterministic initial conditions. The first comprises coalescing and branching random walks, the second annihilating random walks with pairwise immigration. Various limiting Pfaffian point processes on $\mathbb{R}$ are found by diffusive rescaling, including the point set process for the Brownian net.

연구 동기 및 목표

• 고정된 시간에 대해 $ℤ$에서 특정한 상호작용 입자 시스템이 Pfaffian 점 프로세스임을 입증하는 것.
• 일반적인 결정론적 초기 조건 하에서 공통화 및 분열 랜덤 워크의 구조를 분석하는 것.
• 쌍별 이주를 가지는 상쇄 랜덤 워크와 그 Pfaffian 성질을 연구하는 것.
• 확산 스케일링을 통해 $ℝ$ 위의 극한 Pfaffian 점 프로세스를 도출하는 것.
• 극한 프로세스가 브라운 운동 네트의 점 집합 프로세스임을 확인하는 것.

제안 방법

• 고정된 시간에 대한 입자 위치의 공동 분포를 기술하기 위해 Pfaffian 상관 함수의 사용.
• Pfaffian 구조를 도출하기 위해 쌍대성 및 모멘트 생성 함수 기법의 적용.
• 이산 입자 시스템과 $ℝ$ 위의 연속적 과정 간의 연결을 위해 확산 스케일링 극한의 활용.
• 수렴 분석을 통해 극한 점 프로세스가 브라운 운동 네트의 점 집합 프로세스임을 식별하는 것.
• 기존의 브라운 운동 네트에 대한 결과를 활용하여 극한 구조의 타당성을 검증하는 것.
• 상관 함수의 Pfaffian 행렬식 구조를 다루기 위해 조합 및 대수 기법의 활용.

실험 결과

연구 질문

• RQ1 임의의 결정론적 초기 조건을 가진 $ℤ$에서의 공통화 및 분열 랜덤 워크는 고정된 시간에 Pfaffian 점 프로세스인가?
• RQ2 쌍별 이주를 가지는 상쇄 랜덤 워크는 고정된 시간에 Pfaffian 점 프로세스로 기술될 수 있는가?
• RQ3 이 시스템의 확산 스케일링 하에서 어떤 극한 Pfaffian 점 프로세스가 도출되는가?
• RQ4 극한 프로세스는 브라운 운동 네트의 점 집합 프로세스와 일치하는가?
• RQ5 스케일링 극한 하에서 Pfaffian 상관 함수는 어떻게 행동하는가?

주요 결과

• 임의의 결정론적 초기 설정을 가진 $ℤ$에서의 공통화 및 분열 랜덤 워크는 모든 고정된 시간에 대해 Pfaffian 점 프로세스이다.
• 쌍별 이주를 가지는 상쇄 랜덤 워크는 고정된 시간에 대해 역시 Pfaffian 점 프로세스이다.
• 이 시스템의 확산 스케일링은 $ℝ$ 위의 극한 Pfaffian 점 프로세스를 유도한다.
• 공통화 및 분열 랜덤 워크 시스템의 극한 프로세스는 브라운 운동 네트의 점 집합 프로세스로 수렴한다.
• 스케일링 극한 하에서도 Pfaffian 구조가 유지되어 극한 점 프로세스의 보편성이 확인된다.
• 극한 프로세스의 상관 함수는 특정 커널 행렬의 Pfaffian으로 명시적으로 기술된다.