[論文レビュー] Diffusion in planar Liouville quantum gravity

Nathanaël Berestycki|arXiv (Cornell University)|Jan 15, 2013

Stochastic processes and statistical mechanics参考文献 7被引用数 8

ひとこと要約

この論文は、ガウス自由場を正則化して、共形時間変換による時間変更付きブラウン運動を定義することで、平面リーマン・リーマン量子重力における連続的拡散過程を構築する。この過程はほとんど確実に連続的であり、共形不変性を満たし、Lebesgueほとんど everywhere の時間は γ-濃度点の集合に割り当てられ、α > γ に対して α-濃度点にいる時間のハウスドルフ次元は 0 であることを証明する。

ABSTRACT

We construct the natural diffusion in the random geometry of planar Liouville quantum gravity. Formally, this is the Brownian motion in a domain $D$ of the complex plane for which the Riemannian metric tensor at a point $z \in D$ is given by $\exp (γh(z) - \frac12 γ^2 \E (h(z)^2))$. Here $h$ is an instance of the Gaussian Free Field on $D$ and $γ\in (0,2)$ is a parameter. We show that the process is almost surely continuous and enjoys certain conformal invariance properties. We also estimate the Hausdorff dimension of times that the diffusion spends in the thick points of the Gaussian Free Field, and show that it spends Lebesgue-almost all its time in the set of $γ$-thick points, almost surely. The diffusion is constructed by a limiting procedure after regularisation of the Gaussian Free Field. The proof is inspired by arguments of Duplantier--Sheffield for the convergence of the Liouville quantum gravity measure, previous work on multifractal random measures, and relies also on estimates on the occupation measure of planar Brownian motion by Dembo, Peres, Rosen and Zeitouni. A similar but deeper result has been independently and simultaneously proved by Garban, Rhodes and Vargas.

研究の動機と目的

• 平面Liouville量子重力の確率的幾何における自然な拡散過程を定義すること。ここで計量は、ガウス自由場 h に対して形式的に exp(γh(z) − γ²/2𝔼[h(z)²]) で与えられる。
• 分布の指数が正しく定義されないという問題を克服するため、GFFの正則化後に極限手続きを用いて拡散を構築すること。
• 得られた過程がほとんど確実に連続的であり、共形不変性を有することを確立すること。
• GFFの多分岐的集合であるγ-濃度点における拡散の時間的分布を分析すること。
• α > γ に対して、拡散がα-濃度点にいる時間の集合のハウスドルフ次元を計算し、それがほとんど確実に 0 であることを示すこと。

提案手法

• スケール r_n で滑らか化することでガウス自由場 h を正則化し、h_{r_n} を得ることで、良好に定義された計量テンソルを可能にする。
• 領域 D 内で、標準ブラウン運動 B_t と時刻関数 μ(t) = ∫₀ᵗ exp(γ h_{r_n}(B_s) + γ²/2 log r_n) ds を合成して、時間変更付きブラウン運動 Z_t を定義する。
• 伊藤の公式と平面ブラウン運動の共形不変性を用いて、時間変更を局所的計量に関連づけ、過程が量子幾何を尊重することを保証する。
• レヴィの連続性モジュラスとデムボ、ペレス、ローゼン、ツァイウンイの平面ブラウン運動の滞在測度に関する推定を用いて、局所的挙動を制御する。
• 時間区間のネット [t_{nj} − r_n², t_{nj} + r_n²] を構築し、正則化された場が閾値 (α − δ) log(1/r_n) を超えるインデックス j の集合 𝒥_n を定義することで、α-濃度点への訪問の可能性を特定する。
• 一様可積分性と時間変更区間におけるモーメント推定を用いて、逆時刻関数によるこれらの区間の像の直径を期待値で抑え、ハウスドルフ次元推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 計量が分布の指数によって形式的に定義されるという点で、平面Liouville量子重力の文脈において自然な拡散過程を厳密に定義できるか？
• RQ2 構築された拡散過程は、確率的幾何においてほとんど確実に連続的かつ共形不変性を満たすか？
• RQ3 α > γ に対して、ガウス自由場のα-濃度点にいる時間の集合のハウスドルフ次元は何か？
• RQ4 拡散がγ-濃度点にいる時間は、Lebesgue測度と比べてどうなるか？
• RQ5 正則化を用いた時間変更付きブラウン運動の構成は、幾何的次元のKPZ型スケーリングを満たす過程を生成できるか？

主な発見

• 計量が確率的で分布的であるにもかかわらず、過程はほとんど確実に連続的であり、共形不変性を有する。
• 過程はほとんど確実に、ガウス自由場のγ-濃度点の集合にLebesgueほとんど everywhere の時間割り当てを受ける。
• α > γ に対して、過程がα-濃度点にいる時間の集合のハウスドルフ次元はほとんど確実に 0 である。
• 証明は、時間変更区間を用いた被覆議論に依拠しており、条件付き期待値下で各像区間の直径が r_n^{2−γα+γ²/2} で期待値で抑えられることを示している。
• このような区間の期待数は r_n^{−2 + α²/2 − δα + o(1)} で増加し、δ を十分小さくかつη を適切に選べば、q < 1 に対して総合的な q 次元ハウスドルフ測度は 0 に収束する。
• 結果はKPZ関係と整合的であり、量子幾何における時間分布がGFFの多分岐的構造を反映していることを示唆している。