[論文レビュー] Liouville quantum gravity and the Brownian map I: The QLE(8/3,0) metric

Jason Miller, Scott Sheffield⋆|arXiv (Cornell University)|Jul 2, 2015

Noncommutative and Quantum Gravity Theories参考文献 33被引用数 111

ひとこと要約

本稿では、量子Loewner進化（QLE）を用いて、$√{8/3}$-Liouville量子重力（LQG）球面上に距離構造を確立し、QLEが1点から別の点に成長するまでの時間を用いて対称的かつほとんど確実に連続な距離関数を定義することを示した。主な結果は、このQLEによって誘導される距離が三角不等式を満たし、ブラウン運動マップ（TBM）の距離と一致することであり、今後の研究で$√{8/3}$-LQGとTBMの等価性を証明する基盤を築いた。

ABSTRACT

Liouville quantum gravity (LQG) and the Brownian map (TBM) are two distinct models of measure-endowed random surfaces. LQG is defined in terms of a real parameter $γ$, and it has long been believed that when $γ= \sqrt{8/3}$, the LQG sphere should be equivalent (in some sense) to TBM. However, the LQG sphere comes equipped with a conformal structure, and TBM comes equipped with a metric space structure, and endowing either one with the other's structure has been an open problem for some time. This paper is the first in a three-part series that unifies LQG and TBM by endowing each object with the other's structure and showing that the resulting laws agree. The present work uses a form of the quantum Loewner evolution (QLE) to construct a metric on a dense subset of a $\sqrt{8/3}$-LQG sphere and to establish certain facts about the law of this metric, which are in agreement with similar facts known for TBM. The subsequent papers will show that this metric extends uniquely and continuously to the entire $\sqrt{8/3}$-LQG surface and that the resulting measure-endowed metric space is TBM.

研究の動機と目的

• QLE（量子Loewner進化）を用いて、$√{8/3}$-LQG球面上に距離を定義し、これがブラウン運動マップ（TBM）の距離に対応すると期待される。
• 点$x$から点$y$へのQLE成長時間が、ほとんど確実に対称的であり、三角不等式を満たすことを示すこと。
• 得られた距離が、量子表面と点のペアによってほとんど確実に決定され、近似列の選び方に依存しないことを確立すること。
• 今後の研究で、この距離構造を備えた$√{8/3}$-LQG球面が法則的にブラウン運動マップと等価であることを証明する基盤を築くこと。

提案手法

• QLE(8/3,0)過程が$\mathcal{S}$上での点$x$から出発し、点$y$に到達するまでの量子時間として、$d_{\mathcal{Q}}(x,y)$を定義する。
• 離散的近似の逐次極限を用いてQLE過程を構成し、$\mathcal{S}$上での一意に定まる成長過程への収束を示す。
• 逆方向の探索における到達時間の条件付き独立性と一様性を確立することで、$d_{\mathcal{Q}}(x,y)$がほとんど確実に対称的であることを証明する。
• 区間$[0,D]$上の非増加関数$F$が一様な像を持つならば$F(d) = D - d$を満たすという鍵となる補題を適用し、$\tau + \overline{\tau} = D$を証明する。
• 前向きと逆向きのQLE探索のカップリングを用いて、成長時間の和が全距離に等しいことを示し、三角不等式が成り立つことを示す。
• 距離が、量子面積測度から抽出されたi.i.d.点列の任意の点で、ほとんど確実に連続的かつ適切に定義されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 QLEを用いて、$√{8/3}$-LQG球面上に、対称性と三角不等式を満たすように、自然な距離構造を定義できるか？
• RQ2 QLEによって誘導される距離$d_{\mathcal{Q}}(x,y)$は、ほとんど確実に対称的であり、近似列の選び方に依存しないか？
• RQ3 点$x$から点$y$へのQLE成長時間と、点$y$から点$x$への時間は、法則的に一致するか？また、この性質を距離の性質の証明に利用できるか？
• RQ4 距離$d_{\mathcal{Q}}$は、$√{8/3}$-LQG表面全体に一様に連続的に拡張可能か？また、ブラウン運動マップの距離と一致するか？
• RQ5 QLEによって誘導される距離の法則は、既知のブラウン運動マップの性質と整合的か？

主な発見

• QLEによって誘導される距離$d_{\mathcal{Q}}(x,y)$は、ほとんど確実に対称的であり、ほとんどすべてのペア$(x,y)$に対して$d_{\mathcal{Q}}(x,y) = d_{\mathcal{Q}}(y,x)$を満たす。
• 距離$d_{\mathcal{Q}}$は、前向きと逆向きのQLE探索のカップリングと恒等式$\tau + \overline{\tau} = D$を用いることで、ほとんど確実に三角不等式を満たすことが示された。
• 距離$d_{\mathcal{Q}}(x,y)$は、ほとんど確実に三元組$(\mathcal{S}, x, y)$によって決定され、近似列の選び方に依存しない。
• 異なる点に対して距離は正であり、$x \neq y$のとき、$d_{\mathcal{Q}}(x,y) > 0$であることがほとんど確実に成り立つ。
• この構成により、$d_{\mathcal{Q}}$は、量子面積測度から抽出された任意の可算なi.i.d.点列上で、ほとんど確実に距離関数として適切に定義される。
• 得られた結果は、ブラウン運動マップの既知の性質と整合的であり、この距離構造を備えた$√{8/3}$-LQG球面が法則的にブラウン運動マップと等価であるという予想を支持する。