[论文解读] The $Z$-Dirac and massive Laplacian operators in the $Z$-invariant Ising model

Béatrice de Tilière|arXiv (Cornell University)|Dec 30, 2017

Theoretical and Computational Physics参考文献 26被引用 5

一句话总结

本文在Z-不变伊辛模型的背景下引入了Z-不变狄拉克算符与质量麦克斯韦拉普拉斯算符，通过逆Z-狄拉克算符与Z-质量格林函数，建立了伊辛模型配分函数与随机游走之间的直接联系。证明了平方伊辛配分函数在常数因子内等于Z-质量拉普拉斯算符的行列式——等价于有根生成森林的配分函数，利用基斯塔列夫矩阵与费舍尔图及XOR-伊辛图上狄拉克算符之间的矩阵恒等式。

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-质量格林函数表示。
• 通过组合与算子理论方法，统一并推广先前关于共形不变性、大偏差与生成树在Z-不变伊辛模型中的结果。

提出的方法

• 引入由参数u ∈ ℜ(T(k))参数化的Z-不变狄拉克算符（Zu-狄拉克），在k = 0时退化为肯尼思的临界狄拉克算符。
• 将Z-质量拉普拉斯算符定义为Zu-狄拉克算符的平方，将[BdTR17b]中的质量拉普拉斯算符推广至完整的Z-不变设置。
• 利用费舍尔对应关系，将伊辛模型映射到费舍尔图GF上的共振子模型，其中基斯塔列夫矩阵KF通过佩夫安特式编码伊辛配分函数。
• 在二分图GQ上构造XOR-伊辛模型，并推导其基斯塔列夫矩阵KQ与Zu-狄拉克算符之间的矩阵恒等式。
• 证明(KF)−1的系数可表示为逆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-伊辛模型，其共振子测度的边概率被证明等于双图GD上参数为u = β的共振子测度的边概率。
• 通过雅可比椭圆函数（包括dn、sn、cn及函数H(u)，后者编码质量格林函数），推导出逆基斯塔列夫算符(KF)−1与(KQ)−1的显式公式。
• KQ与Zu-狄拉克算符之间的矩阵恒等式使得逆矩阵与行列式的计算成为可能，从而实现了主伊辛模型恒等式的推导。