[論文レビュー] 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方程式を適用する。
• 普遍Beltrami方程式の解を通じて、液体領域を単位円板に関連付けるためのホドグラフ変換およびテレオモーフィック写像を導入する。
• 微分幾何の結果を応用して、特に尖点や接点のような特異点における解の境界正則性を証明する。
• 最小性を保ちながら凍結境界を越えて局所的に最小化子を拡張するための凍結拡張技術を用いることで、普遍性の議論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 多角形領域におけるドミノ模型の凍結境界の正則性タイプの完全な分類は何か？
• RQ2 Pokrovsky-Talapov則は、すべてのドミノ模型の一般境界点において、どの程度普遍的に成り立つか？
• RQ3 単連結な場合に、任意のドミノ模型の凍結境界の幾何構造が六角形模型によって実現可能か？
• RQ4 領域が非厳密凸の場合、液体領域の構造およびその境界正則性はどのように構造化されるか？
• RQ5 エッジのフラクチュエーションのスケーリング極限は何か、そして局所的正則性にどのように依存するか？

主な発見

• 多角形領域におけるドミノ模型の凍結境界は、その背後にある表面張力にかかわらず、常に代数的曲線である。
• 一般点における凍結境界でPokrovsky-Talapov則が普遍的に成り立ち、高さ関数の勾配のHölder正則性は特異点の種別に応じて変化する。
• 単連結な場合に、任意のドミノ模型の凍結境界の可能なすべての幾何的構造が六角形模型によって実現可能であり、幾何的普遍性の結果が確立される。
• 本稿は、多角形領域におけるドミノ模型の最小化子のガス領域の存在を示す、一般の初の結果を提供する。
• 最小化子の境界正則性は、特異点の種別（滑らか、尖点、接点）に基づき6つの異なるケースに分類され、それぞれに対応するHölder指数は1/2、1/3、または不連続性である。
• すべての6つの正則性ケースが、既知の普遍的スケーリング極限（例：Airy、Pearcey、Tacnode、GUEコーナー、Cusp-Airy、離散的Tacnode過程）に対応していることから、普遍的エッジフラクチュエーション予想が支持される。