[論文レビュー] Joint scaling limit of a bipolar-oriented triangulation and its dual in the peanosphere sense

Ewain Gwynne, Nina Holden+1 more|arXiv (Cornell University)|Mar 3, 2016

Stochastic processes and statistical mechanics参考文献 36被引用数 20

ひとこと要約

本稿は、ペアノスフィアフレームワークにおいて、双極的向き付き三角形分割とその双対地図の連合スケーリング極限を確立し、それらの高さ関数が、$\sqrt{4/3}$-リーマン・量子重力表面を特徴づける相関付きブラウン運動に収束することを証明する。この表面には互いに垂直なSLE$_{12}$曲線が装飾されている。この結果は、ケノン、ミラー、シェフィールド、ウィルソンによる予想を裏付けるものであり、従来の収束結果を双対地図の構造にまで拡張した。

ABSTRACT

Kenyon, Miller, Sheffield, and Wilson (2015) showed how to encode a random bipolar-oriented planar map by means of a random walk with a certain step size distribution. Using this encoding together with the mating-of-trees construction of Liouville quantum gravity (LQG) due to Duplantier, Miller, and Sheffield (2014), they proved that random bipolar-oriented planar maps converge in the scaling limit to a $\sqrt{4/3}$-LQG surface decorated by an independent SLE$_{12}$ in the peanosphere sense, meaning that the height functions of a particular pair of trees on the maps converge in the scaling limit to the correlated planar Brownian motion which encodes the SLE-decorated LQG surface. We improve this convergence result by proving that the pair of height functions for an infinite-volume random bipolar-oriented triangulation and the pair of height functions for its dual map converge jointly in law in the scaling limit to the two planar Brownian motions which encode the same $\sqrt{4/3}$-LQG surface decorated by both an SLE$_{12}$ curve and the ``dual'' SLE$_{12}$ curve which travels in a direction perpendicular (in the sense of imaginary geometry) to the original curve. This confirms a conjecture of Kenyon, Miller, Sheffield, and Wilson (2015). Our paper is the starting point of recent works connecting LQG and random permutons such as the Baxter permuton.

研究の動機と目的

• 双極的向き付き三角形分割とその双対地図のペアノスフィア的意味での連合スケーリング極限を確立すること。
• 従来のランダム平面地図の収束結果を、双対地図の高さ関数を含むように拡張すること。
• ケノン、ミラー、シェフィールド、ウィルソンによる予想を確認すること。この予想は、原始的および双対的高さ関数の連合収束が、$\sqrt{4{}/3}$-LQG 表面を特徴づける相関付きブラウン運動に収束することを示している。この表面には、互いに垂直なSLE$_{12}$曲線が装飾されている。
• 双対地図の構造が、木の対の結合と虚数幾何学的構成を用いて、スケーリング極限において原始地図と共に出現することを厳密に示すこと。

提案手法

• リーマン・量子重力（LQG）の木の結合構成を用い、特定のステップ分布を持つランダムウォークによってランダム平面地図を符号化する。
• ペアノスフィアフレームワークを適用し、地図上に存在する双対的な2本の木の高さ関数を、相関付き2次元ブラウン運動に関連付ける。
• 離散的境界関数の分解と、原始的および双対的西進みペアノ曲線の間の同値関係を用いて、離散的構造と連続的構造を結びつける。
• 離散的フローライン間の面積のタイトネスを確立し、条件付きランダムウォークにおけるスケーリング極限の議論を通じて、2本のペアノ曲線の連合収束を示す。
• 虚数幾何学の補題を用いてフローラインおよびその双対を定義し、双対SLE$_{12}$曲線がLQG計量において元のSLE$_{12}$曲線に対して垂直に進行することを保証する。
• 条件付きランダムウォークおよびそのエクストリームスの収束結果を適用し、原始的および双対的地図の正規化された高さ関数が、$\sqrt{4/3}$-LQG 表面を符号化するブラウン運動に連合収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 双極的向き付き三角形分割の双対地図の高さ関数は、スケーリング極限において、原始地図の高さ関数と相関するブラウン運動に収束するか？
• RQ2 ペアノスフィアフレームワークを用いて、双極的向き付き三角形分割とその双対の連合スケーリング極限を、2つの相関付きブラウン運動として記述できるか？
• RQ3 連続極限で得られる曲線は、$\sqrt{4/3}$-リーマン・量子重力表面に、互いに垂直なSLE$_{12}$過程として対応するか？
• RQ4 この連合収束は、ケノン、ミラー、シェフィールド、ウィルソンによる予想と整合的か？この予想は、双対地図がスケーリング極限において出現することを示している。

主な発見

• 原始的および双対的高さ関数の連合スケーリング極限は、$\gamma = \sqrt{4/3}$ であるとき、相関 $-\cos(\pi \gamma^2 / 4)$ を持つ相関付き平面上のブラウン運動に、確率測度の意味で収束する。
• 極限過程は、$\sqrt{4/3}$-リーマン・量子重力表面を特徴づけ、虚数幾何学的意味で互いに垂直な2つの独立SLE$_{12}$曲線が装飾された表面を符号化する。
• 収束はペアノスフィア的意味で成立し、地図上の木の高さ関数が、SLE曲線を含むLQG表面を符号化するブラウン運動に収束することを意味する。
• ケノン、ミラー、シェフィールド、ウィルソン（2015年）による双対地図の役割に関する予想が、証明された。
• 定数 $c=2$ が極限において厳密に導出され、離散的および連続的双対高さ関数間の正しいスケーリングが確認された。
• 離散的フローライン間の面積のタイトネスと、エクストリームスの収束は、コンパクト区間上で正規化された過程の一様収束を用いて確立された。