[論文レビュー] Continuity and estimates of the Liouville heat kernel with applications to spectral dimensions

Sebastián Andrés, Naotaka Kajino|arXiv (Cornell University)|Jul 11, 2014

Stochastic processes and statistical mechanics参考文献 19被引用数 4

ひとこと要約

本稿は、ガウス自由場から導かれる確率測度を用いた時間変更ブラウン運動の枠組みを用いて、$\mathbb{R}^2$ 上のリーマン・ブラウン運動（LBM）に関連するリーマン熱核の同時連続性およびサブガウス型上界・下界を確立する。主な結果として、リーマン測度の下でスぺクトル次元がほとんど確実に 2 に等しいことが示され、リーマン量子重力の重要な幾何的性質が裏付けられる。

ABSTRACT

The Liouville Brownian motion (LBM), recently introduced by Garban, Rhodes and Vargas and in a weaker form also by Berestycki, is a diffusion process evolving in a planar random geometry induced by the Liouville measure $M_γ$, formally written as $M_γ(dz)=e^{γX(z)-{γ^2} \mathbb{E}[X(z)^2]/2}\, dz$, $γ\in(0,2)$, for a (massive) Gaussian free field $X$. It is an $M_γ$-symmetric diffusion defined as the time change of the two-dimensional Brownian motion by the positive continuous additive functional with Revuz measure $M_γ$. In this paper we provide a detailed analysis of the heat kernel $p_t(x,y)$ of the LBM. Specifically, we prove its joint continuity, a locally uniform sub-Gaussian upper bound of the form $p_t(x,y)\leq C_{1} t^{-1} \log(t^{-1}) \exp\bigl(-C_{2}((|x-y|^β\wedge 1)/t)^{\frac{1}{β-1}}\bigr)$ for $t\in(0,\frac{1}{2}]$ for each $β>\frac{1}{2}(γ+2)^2$, and an on-diagonal lower bound of the form $p_{t}(x,x)\geq C_{3}t^{-1}\bigl(\log(t^{-1})\bigr)^{-η}$ for $t\in(0,t_η(x)]$, with $t_η(x)\in(0,\frac{1}{2}]$ heavily dependent on $x$, for each $η>18$ for $M_γ$-almost every $x$. As applications, we deduce that the pointwise spectral dimension equals $2$ $M_γ$-a.e.\ and that the global spectral dimension is also $2$.

研究の動機と目的

• リーマン測度によって誘導される確率的幾何における拡散過程であるリーマン・ブラウン運動（LBM）の熱核を厳密に解析すること。
• 時間と空間の両方で熱核 $p_t(x,y)$ の同時連続性を確立し、過程の既約性を保証すること。
• フラクタル的幾分の幾何における異常拡散を反映した、熱核の鋭い上界・下界を導出すること。
• LBM のスぺクトル次元を同定し、リーマン量子重力における重要な問いに答えること。
• ガウス型乗法的混沌とサブガウス型挙動の相互作用を反映した、熱核に関する定量的推定を提供すること。

提案手法

• リーマン測度 $M_\gamma$ と等しいリーヴェズ測度を持つ正の連続加法的関数を用いて、LBM を時間変更ブラウン運動として構成する。
• カハーネの凸性不等式およびガウス型乗法的混沌理論を用いて、測度 $M_\gamma$ のモーメントを制御し、確率的境界を確立する。
• ダンビス＝デュビン＝シュバルツの定理を適用して、LBM のSDEの表現を行い、時間変更構成を正当化する。
• Radon測度の空間における正則性推定とタイトネスの議論を用いて、熱核の同時連続性を確立する。
• スケーリングおよびリーマン測度のモーメント推定を用いて、$t$, $|x-y|$, および $\gamma$ に明示的な依存関係を含むサブガウス型上界を導出する。
• 大偏差推定とモーメント条件 $\eta > 18$ を用いて、$M_\gamma$-ほとんど everywhere での対角成分の下界を証明する。

実験結果

リサーチクエスチョン

• RQ1 リーマン熱核 $p_t(x,y)$ は、すべての $t>0$ および $x,y\in\mathbb{R}^2$ に対して、時間と空間の両方で連続なバージョンをもつか？
• RQ2 時間 $t$ と空間的距離 $|x-y|$ の観点から、熱核の正確な上界および下界は何か？
• RQ3 リーマン・ブラウン運動のスぺクトル次元は何か？ そして、それは $M_\gamma$-ほとんど everywhere で 2 に等しいか？
• RQ4 内在的距離 $d_\mathcal{B}$ の退化が、熱核挙動およびそのスケーリングに与える影響は何か？
• RQ5 リーマン測度の鋭いモーメント推定は、熱核に関する定量的境界を導出するために用いられるか？

主な発見

• リーマン熱核 $p_t(x,y)$ は、$(0,\infty)\times\mathbb{R}^2\times\mathbb{R}^2$ 上で値を $(0,\infty)$ にとる同時連続なバージョンをもつ。これにより、LBM の既約性が保証される。
• 局所的に一様なサブガウス型上界が成り立つ：$t \in (0,\frac{1}{2}]$ および $\beta > \frac{1}{2}(\gamma+2)^2$ に対して、$p_t(x,y) \leq C_1 t^{-1} \log(t^{-1}) \exp\bigl(-C_2 ((|x-y|^\beta \wedge 1)/t)^{1/(\beta-1)}\bigr)$。
• 対角成分の下界が成り立つ：$t \in (0,t_\eta(x)]$ に対して $p_t(x,x) \geq C_3 t^{-1} (\log(t^{-1}))^{-\eta}$ であり、$\eta > 18$ かつ $M_\gamma$-ほとんど everywhere での $x$ に対して有効。
• LBM の点的スぺクトル次元は、リーマン測度の下でほとんど確実に 2 に等しい。これは、熱核のサブガウス型スケーリングに起因する。
• グローバルなスぺクトル次元も 2 に等しい。これは、リーマン量子重力の幾何が大スケールで拡散的挙動を示すことを確認する。
• 結果は、カハーネの凸性不等式によるリーマン測度のモーメント推定および正則化測度の法則収束に基づいて得られた。