[논문 리뷰] The $Z$-Dirac and massive Laplacian operators in the $Z$-invariant Ising model

Béatrice de Tilière|arXiv (Cornell University)|2017. 12. 30.

Theoretical and Computational Physics참고 문헌 26인용 수 5

한 줄 요약

이 논문은 타원 매개수 k를 가진 Z-불변 이징 모형의 맥락에서 Z-불변 디랙 및 질량 있는 라플라스 연산자를 도입하며, 역 Z-디랙 연산자와 Z-질량 있는 그린 함수를 통해 이징 모형의 분할 함수와 랜덤 워크 사이의 직접적인 연결을 수립한다. 행렬 항등식을 통해 키스트레인 행렬과 피셔 및 XOR-이징 그래프에서의 디랙 연산자 간의 관계를 이용하여, 제곱된 이징 분할 함수가 상수를 제외하고는 Z-질량 있는 라플라스 연산자의 행렬식과 같음을 증명한다—이는 루트가 있는 스패닝 숲의 분할 함수와 동치이다.

ABSTRACT

Consider an elliptic parameter $k$; we introduce a family of $Z^u$-Dirac operators $(\\mathsf{K}(u))_{u\\in\\Re(\\mathbb{T}(k))}$, relate them to the $Z$-massive Laplacian of [BdTR17b], and extend to the full $Z$-invariant case the results of Kenyon [Ken02] on discrete holomorphic and harmonic functions, which correspond to the case $k=0$. We prove, in a direct statistical mechanics way, how and why the $Z^u$-Dirac and $Z$-massive Laplacian operators appear in the $Z$-invariant Ising model, considering the case of infinite and finite isoradial graphs. More precisely, consider the dimer model on the Fisher graph ${\\mathsf{G}}^{\\scriptscriptstyle{\\mathrm{F}}}$ arising from a $Z$-invariant Ising model. We express coefficients of the inverse Fisher Kasteleyn operator as a function of the inverse $Z^u$-Dirac operator and also as a function of the $Z$-massive Green function; in particular this proves a (massive) random walk representation of important observables of the Ising model. We prove that the squared partition function of the Ising model is equal, up to a constant, to the determinant of the $Z$-massive Laplacian operator with specific boundary conditions, the latter being the partition function of rooted spanning forests. To show these results, we relate the inverse Fisher Kasteleyn operator and that of the dimer model on the bipartite graph ${\\mathsf{G}}^{\\scriptscriptstyle{\\mathrm{Q}}}$ arising from the XOR-Ising model, and we prove matrix identities between the Kasteleyn matrix of ${\\mathsf{G}}^{\\scriptscriptstyle{\\mathrm{Q}}}$ and the $Z^u$-Dirac operator, that allow to reach inverse matrices as well as determinants.

연구 동기 및 목표

• 비판적 이징 모형에서의 이산 해석적 및 조화 함수에 대한 케논의 결과를 타원 매개수 k를 가진 전체 Z-불변 경우로 확장한다.
• Z-불변 이징 모형과 질량 있는 랜덤 워크 사이의 통계역학적 프레임워크를 Z-질량 있는 라플라스 연산자와 Z-디랙 연산자를 통해 수립한다.
• 제곱된 이징 분할 함수가 특정 경계 조건 하에서 Z-질량 있는 라플라스 연산자의 행렬식과 같음을 증명하며, 이는 루트가 있는 스패닝 숲의 분할 함수와 동치이다.
• 피셔 및 XOR-이징 따머 모형의 역 키스트레인 연산자를 역 Z-디랙 연산자와 Z-질량 있는 그린 함수의 표현으로 명시적으로 유도한다.
• 조합론적 및 연산자 이론적 방법을 통해 이전의 호모토피 불변성, 대 deviations, 스패닝 트리에 관한 결과들을 통합하고 일반화한다.

제안 방법

• u ∈ ℜ(T(k))로 매개수화된 Z-불변 디랙 연산자(Zu-디랙)를 도입하며, k = 0일 때 케논의 비판적 디랙 연산자로 축소됨을 보인다.
• Zu-디랙 연산자의 제곱으로 Z-질량 있는 라플라스 연산자를 정의하여, [BdTR17b]에서 제시된 질량 있는 라플라스 연산자를 전체 Z-불변 설정으로 확장한다.
• 피셔의 대응을 사용하여 이징 모형을 GF 그래프에서의 디머 모형으로 매핑하며, 이 경우 키스트레인 행렬 KF는 펄라프안을 통해 이징 분할 함수를 표현한다.
• 이중 그래프 GD에서의 디머 측도를 사용하여 이중 그래프 GD에서의 엣지 확률이 θ/π로 수렴함을 보이며, k → 0일 때 Z-질량 있는 그린 함수가 표준 그린 함수로 감소함을 확인한다.
• KF의 역행렬 계수들이 역 Zu-디랙 연산자와 Z-질량 있는 그린 함수로 표현 가능함을 증명하여, 이징 관측량의 랜덤 워크 표현을 가능하게 한다.
• det(Z-질량 있는 라플라스 연산자) = 상수 × (이징 분할 함수)²임을 증명하며, 상수는 명시적으로 결정된다. 이는 이징 분할 함수를 루트가 있는 스패닝 숲의 분할 함수와 연결한다.

실험 결과

연구 질문

• RQ1 타원 매개수 k를 가진 전체 Z-불변 이징 모형으로 디랙 연산자를 일반화할 수 있는 방법은 무엇이며, 질량 있는 라플라스 연산자와의 관계는 어떠한가?
• RQ2 피셔 및 XOR-이징 따머 모형의 역 키스트레인 연산자는 역 Z-디랙 및 Z-질량 있는 그린 함수와 어떻게 관련되는가?
• RQ3 제곱된 이징 분할 함수는 질량 있는 라플라스 연산자의 행렬식으로 표현될 수 있는가? 만약 가능하다면, 그 경계 조건은 무엇인가?
• RQ4 이징 모형의 보른스타인 측도는 (질량 있는) 랜덤 워크의 통계역학적 해석으로 어떻게 해석될 수 있는가?
• RQ5 KQ와 Zu-디랙 연산자 간의 행렬 항등식은 어떻게 역 연산자와 행렬식의 유도를 가능하게 하는가?

주요 결과

• 피셔 그래프 GF의 역 키스트레인 연산자 (KF)−1은 역 Zu-디랙 연산자와 Z-질량 있는 그린 함수의 함수로 표현되며, 이는 이징 관측량의 랜덤 워크 표현을 가능하게 한다.
• 제곱된 이징 분할 함수는 특정 경계 조건 하에서 Z-질량 있는 라플라스 연산자의 행렬식과 상수를 제외하고 동일하며, 이는 루트가 있는 스패닝 숲의 분할 함수와 동치이다.
• 비판적 극한(k → 0)에서 Z-질량 있는 그린 함수는 표준 그린 함수로 감소하며, 이중 그래프 GD에서의 엣지 확률은 θ/π로 수렴하여 케논의 결과를 복원한다.
• GQ에서의 XOR-이징 모형에 대해, 디머 측도의 엣지 확률이 매개수 u = β일 때 이중 그래프 GD에서의 디머 측도의 엣지 확률과 동일함을 보였다.
• 제시된 명시적 공식은 Jacobi 타원 함수인 dn, sn, cn 및 함수 H(u)를 포함하여, (KF)−1과 (KQ)−1의 역 키스트레인 연산자를 유도한다. 이 함수 H(u)는 질량 있는 그린 함수를 캡슐화한다.
• KQ와 Zu-디랙 연산자 간의 행렬 항등식은 역행렬과 행렬식의 계산을 가능하게 하며, 이는 주요 이징 모형 항등식의 도출을 가능하게 한다.