[논문 리뷰] Markov loops, complex free field and Eulerian circuits

Yves Le Jan|arXiv (Cornell University)|2014. 05. 12.

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

한 줄 요약

이 논문은 그래프 위에서 푸아송 과정의 순환 집합, 복소 및 실수 가우시안 자유 장, 그리고 올레리안 네트워크 사이의 깊은 연결을 수립한다. 순환 집합의 점유 장과 이소모르피즘 정리의 활용을 통해, 강도 1/2인 푸아송 과정의 순환 집합의 점유 장이 제곱된 자유 장 분포와 동일한 분포를 가짐을 증명함으로써, 일반화된 두 번째 레이-나이트 정리에 대한 확률적 증명과 올레리안 회로에 대한 베스트 정리의 새로운 유도를 가능하게 한다.

ABSTRACT

We study the complex free field associated with a symmetric Markov chain. Applications are given to loop ensembles, second Ray Knight theorem and random Eulerian circuits.

연구 동기 및 목표

• 푸아송 과정의 순환 집합의 점유 장과 가우시안 자유 장의 제곱 사이의 확률적 이소모르피즘을 수립하기.
• 순환 집합 기법을 활용하여 일반화된 두 번째 레이-나이트 정리에 대한 새로운 확률적 증명을 제공하기.
• 푸아송 과정의 순환 집합에서 비자명한 순환의 측도를 사용하여 올레리안 회로에 대한 베스트 정리를 유도하기.
• 행렬식 공식을 통해 순환 측도를 호모로지와 그래프의 자코비안 토러스와 연결하기.
• 무작위 올레리안 네트워크의 통계적 성질과 그들이 퍼콜레이션 및 마코프 생성자와 어떻게 관련되는지 탐색하기.

제안 방법

• 강도 $\alpha\mu$인 푸아송 과정의 순환 집합의 점유 장 $\hat{\mathcal{L}}_{\alpha}$를 사용하여 각 정점에서 순환들이 소비하는 국소 시간을 모델링한다.
• 이소모르피즘 정리에 따라 $\hat{\mathcal{L}}_{1/2}$와 $\frac{1}{2}\varphi_{\mathbb{R}}^2$는 동일한 분포를 가짐을 적용한다. 여기서 $\varphi_{\mathbb{R}}$는 실수 가우시안 자유 장이다.
• 윌슨의 알고리즘을 사용하여 랜덤 스패닝 트리의 순환 집합을 구성하며, 순환 제거 보행과 국소 시간의 푸아송-디리클레 분할을 활용한다.
• 올레리안 네트워크 $k$의 측도를 $\mu(k) = \tau(\tilde{k}) \prod_{x}(k_{x}-1)! \prod_{x,y} \frac{P_{x,y}^{k_{x,y}}}{k_{x,y}!}$로 유도한다. 여기서 $\tau(\tilde{k})$는 매트릭스-트리 정리에 의해 유도된 방향 그래프 $\tilde{k}$의 아보레센스 수이다.
• 행렬식 공식 $\det(M_{\chi}-C)\text{Per}(G)$를 사용하여 $\det(M_{\chi}D_N - N)$의 기대값을 그린 함수와 도전도에 따라 표현한다.
• 순환 측도 $\mu$와 딜리클레 형식 $\mathcal{E}$ 사이의 쌍대성에 기반하며, 도전도 $C_{x,y}$와 죽음 측도 $\kappa$가 기저 마코프 과정을 정의한다.

실험 결과

연구 질문

• RQ1 푸아송 과정의 순환 집합의 점유 장은 어떻게 가우시안 자유 장의 제곱과 관련이 있는가?
• RQ2 일반화된 두 번째 레이-나이트 정리는 순환 집합의 동역학으로부터 도출될 수 있는가?
• RQ3 푸아송 과정의 순환 집합에 의해 유도된 올레리안 네트워크의 측도는 무엇이며, 이는 베스트 정리와 어떻게 관련되는가?
• RQ4 자코비안 토러스는 순환 측도와 도전도에 따라 어떻게 표현될 수 있는가?
• RQ5 순환 클러스터의 퍼콜레이션 성질은 정점 부분집합 간의 최대 유량과 어떻게 관련되는가?

주요 결과

• 강도 $\mu/2$인 푸아송 과정의 순환 집합의 점유 장 $\hat{\mathcal{L}}_{1/2}$는 실수 가우시안 자유 장 $\varphi_{\mathbb{R}}$의 제곱인 $\frac{1}{2}\varphi_{\mathbb{R}}^2$와 동일한 분포를 가진다.
• 이 이소모르피즘이 경계 정점에서 점유 장을 분해하는 방식을 통해 일반화된 두 번째 레이-나이트 정리에 대한 새로운 확률적 증명을 제공한다.
• 비영인 올레리안 네트워크 $k$의 측도는 $\mu(k) = \tau(\tilde{k}) \prod_{x}(k_{x}-1)! \prod_{x,y} \frac{P_{x,y}^{k_{x,y}}}{k_{x,y}!}$로 주어지며, 여기서 $\tau(\tilde{k})$는 방향 그래프 $\tilde{k}$의 아보레센스 수이다.
• 비자명한 네트워크의 총 $\mu$-측도는 $-\log(\det(I - P))$와 일치하며, 이는 순환 측도의 정규화와 일致한다.
• 행렬식 항등식 $E[\det(M_{\chi}D_N - N)] = \det(M_{\chi}-C)\text{Per}(G)$가 성립하며, 이는 순환 집합을 행렬 행렬식과 그린 함수에 연결한다.
• 자코비안 토러스의 부피 $|\mathrm{Jac}(\mathcal{G})|$는 $1/\sqrt{\det(\Lambda) \prod_{e\in E} C_e}$와 같으며, 여기서 $\Lambda$는 호모로지 기저의 교차 행렬이다.