[论文解读] Dimer Models and Conformal Structures

Kari Astala, Erik Duse+2 more|arXiv (Cornell University)|Apr 6, 2020

Geometry and complex manifolds参考文献 28被引用 16

一句话总结

本文对多边形域上双偶模型的冻结边界正则性与高度函数行为进行了完整分类，证明了冻结边界始终为代数曲线，且Pokrovsky-Talapov定律在一般边界点处普遍成立。通过新颖地分析退化的Monge-Ampère方程与Beltrami方程，作者表明所有双偶模型几何结构——包括奇点与相变——均可由菱形单元模型实现，通过非严格凸域中的共形与变分方法，建立了几何普遍性结果。

ABSTRACT

In this work we study the variational problem associated to dimer models, a class of models from integrable probability and statistical mechanics in dimension two which have been the focus of intense research efforts over the last decades. These models give rise to an infinite family of non-differentiable functionals on Lipschitz functions with gradient constraint, determined by solutions of the Dirichlet problem on compact convex polygons for a class of Monge-Ampère equations. We settle a number or outstanding open questions for this infinite class functionals. In particular we prove a complete classification of the regularity of minimizers, also known as height functions, for all dimer models for a natural class of polygonal (simply or multiply connected) domains much studied in numerical simulations and elsewhere. Our classification in particular implies that the Pokrovsky-Talapov law holds for all dimer models at a generic point on the frozen boundary and in addition shows a very strong local rigidity of dimer models which can be interpreted as a geometric universality result. Furthermore, we give a complete classification of the regularity of the associated free boundary, also known in the literature as frozen boundary or arctic curves and prove that they are all algebraic curves. The lack of differentiability of the functionals is intimately connected to the boundary behaviour of the solutions to the Monge-Ampère equations and we prove a complete classification for these, of independent interest.

研究动机与目标

• 对多边形域上双偶模型的极小化器与冻结边界的正则性进行分类。
• 确立菱形单元模型在实现所有可能的冻结边界几何构型方面的普遍性，适用于一般双偶模型。
• 为非严格凸域中的退化Monge-Ampère方程发展新的正则性理论。
• 证明在多边形域中极小化器存在气相区域，此为此前未解之问题。
• 通过共形与变分方法，表征极限形状与相变的渐近几何结构。

提出的方法

• 通过在高度函数上最小化表面张力泛函的变分形式分析双偶模型。
• 利用在调和坐标下由Monge-Ampère方程导出的Euler-Lagrange方程，描述平衡构型。
• 应用退化Beltrami方程来建模高度函数及其梯度映射的复结构。
• 引入hodograph变换与teleomorphic映射，通过通用Beltrami方程的解将液相区域与单位圆盘关联。
• 应用几何分析结果，证明解在边界处的正则性，尤其在尖点与切点等奇点处。
• 采用冻结延拓技术，局部将极小化器延拓过冻结边界，保持极小性，并支持普遍性论证。

实验结果

研究问题

• RQ1 多边形域上双偶模型的冻结边界正则性类型是否存在完整分类？
• RQ2 Pokrovsky-Talapov定律在所有双偶模型的通用边界点处普遍成立的程度如何？
• RQ3 在单连通情形下，是否任何双偶模型的冻结边界几何结构均可由菱形单元模型实现？
• RQ4 当域为非严格凸时，液相区域的结构及其边界正则性如何？
• RQ5 边界的波动在冻结边界处的标度极限为何？其依赖于局部正则性的机制如何？

主要发现

• 多边形域上双偶模型的冻结边界始终为代数曲线，与底层表面张力无关。
• Pokrovsky-Talapov定律在冻结边界的一般点处普遍成立，高度函数梯度的Hölder正则性取决于奇点类型。
• 在单连通情形下，菱形单元模型可实现任何双偶模型中所有可能的冻结边界几何构型，确立了几何普遍性结果。
• 本文首次提供了多边形域上双偶模型极小化器中气相区域存在的普遍结果。
• 极小化器的边界正则性根据奇点类型（光滑、尖点、切点）被划分为六种不同情形，对应的Hölder指数为1/2、1/3或不连续。
• 通过证明六种正则性情形均对应已知的通用标度极限（如Airy、Pearcey、Tacnode、GUE角点、Cusp-Airy、离散Tacnode过程），支持了通用边波动猜想。