[论文解读] Dimers and analytic torsion I

Julien Dubédat|arXiv (Cornell University)|Oct 12, 2011

Random Matrices and Applications参考文献 38被引用 18

一句话总结

本文通过将离散的Kasteleyn算子与一族Cauchy-Riemann算子联系起来，建立了dimer模型高度场的功能不变性原理，实现了对平滑化和局部场可观测量的渐近分析。证明了在环面图上dimer高度场的标度极限是一个紧化自由场，并通过行列式与奇异核的变分分析，解决了Fisher-Stephenson关于单体关联函数的猜想。

ABSTRACT

In the dimer model, a configuration consists of a perfect matching of a fixed graph. If the underlying graph is planar and bipartite, such a configuration is associated to a height function. For appropriate "critical" (weighted) graphs, this height function is known to converge in the fine mesh limit to a Gaussian free field, following in particular Kenyon's work. In the present article, we study the asymptotics of smoothed and local field observables from the point of view of families of Cauchy-Riemann operators and their determinants. This allows in particular to obtain a functional invariance principle for the field; characterise completely the limiting field on toroidal graphs as a compactified free field; analyse electric correlators; and settle the Fisher-Stephenson conjecture on monomer correlators. The analysis is based on comparing the variation of determinants of families of (continuous) CR operators with that of their discrete (finite dimensional) approximations. This relies in turn on estimating precisely inverting kernels, in particular near singularities. In order to treat correlators of "singular" local operators, elements of (multiplicatively) multi-valued discrete holomorphic functions are discussed.

研究动机与目标

• 通过一族Cauchy-Riemann算子研究平面图与环面图上dimer高度场的标度极限。
• 通过CR算子行列式的变分分析，将环面图上的极限场表征为紧化自由场。
• 利用具有单值性的离散全纯函数与奇点扰动，分析dimer模型中的电场与单体关联函数。
• 通过推导多单体构型的精确渐近行为，解决Fisher-Stephenson关于单体关联函数的猜想。

提出的方法

• 将Kasteleyn矩阵用作$\bar{\partial}$-算子的离散逼近，将dimer构型与离散全纯函数联系起来。
• 应用Quillen的族Cauchy-Riemann算子理论，比较连续与离散CR算子行列式的变分。
• 通过精确估计逆核，特别是奇点附近的估计，分析局部与电场可观测量。
• 引入乘法多值离散全纯函数以建模奇点，并计算具有单值性的关联函数。
• 应用手术原理处理混合磁电关联函数，并将结果推广至一般构型。
• 通过在扰动（光滑与奇异）下对行列式的变分分析，推导可观测量的渐近行为。

实验结果

研究问题

• RQ1 在环面图上，dimer高度场在标度极限下如何收敛，其极限场的性质是什么？
• RQ2 当插入具有奇点的局部算子时，dimer模型中电场关联函数的渐近行为如何？
• RQ3 在标度极限下，单体关联函数的行为如何，是否验证了Fisher-Stephenson猜想？
• RQ4 高度场的功能不变性原理能否从一族Cauchy-Riemann算子理论中导出？
• RQ5 多值离散全纯函数在描述奇异场可观测量渐近行为中起什么作用？

主要发现

• 在环面图上，dimer高度场的标度极限是一个紧化自由场，其完全由底层晶格的几何结构与单值性数据表征。
• 电场关联函数渐近由一个手征Cauchy核描述，通过变分分析精确推导出奇点附近的渐近行为。
• Fisher-Stephenson猜想已解决：单体关联函数的渐近行为为$ c_p(\Lambda,\underline{w}) \prod_{i=1}^p \left( \frac{\cot(\theta_i) + \tan(\theta_i)}{2} \right) \left| \frac{\prod_{i<j}(b_i - b_j)(w_i - w_j)}{\prod_{i \neq j}(b_i - w_j)} \right|^{1/2} $，其中$ \theta_i $是单体位置构成的直角三角形的角。
• 当磁电算子在$ s = \frac{1}{2} $处重合时，关联函数退化为逆Kasteleyn核：$ \langle \mathcal{O}_1(w) \mathcal{O}_{-1}(b) \exp(i\pi(h(f') - h(f))) \rangle = \pm \underline{\sf K}^{-1}(b,w) $，该结果构成了所有其他关联函数渐近行为的基础。
• 通过比较连续与离散CR算子族中行列式变分，确立了高度场的功能不变性原理。
• 发展了一种手术原理，可在无需额外技术成本的情况下分析混合磁电关联函数，将框架推广至一般构型。