[論文レビュー] Volume growth and heat kernel estimates for the continuum random tree

David A. Croydon|arXiv (Cornell University)|Dec 20, 2006

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

ひとこと要約

本稿は、連続的ランダム木（CRT）上のブラウン運動について、ほとんど確実な体積および熱核の上限を確立し、$ r \to 0 $ のとき、主項 $ r^2 $ の周りの球の体積における対数的全域的および対数対数的局所的フラクチュエーションを示している。クエンチド（パスごとの）挙動は粗いフラクチュエーションを示す一方で、アンネールド（平均化された）挙動は滑らかであるという顕著な対比が示され、抵抗形式およびディリクレ形式の技法を用いて、リミット上界の体積成長に対する正確な漸近定数が得られている。

ABSTRACT

In this article, we prove global and local (point-wise) volume and heat kernel bounds for the continuum random tree. We demonstrate that there are almost-surely logarithmic global fluctuations and log-logarithmic local fluctuations in the volume of balls of radius $r$ about the leading order polynomial term as $r o0$. We also show that the on-diagonal part of the heat kernel exhibits corresponding global and local fluctuations as $t o0$ almost-surely. Finally, we prove that this quenched (almost-sure) behaviour contrasts with the local annealed (averaged over all realisations of the tree) volume and heat kernel behaviour, which is smooth.

研究の動機と目的

• 連続的ランダム木（CRT）上のブラウン運動について、ほとんど確実な体積および熱核の上限を確立すること。
• $ r \to 0 $ のとき、半径 $ r $ の球の体積におけるクエンチド（パスごとの）フラクチュエーションを分析し、主項 $ r^2 $ からの対数的および対数対数的スケーリングのずれを示すこと。
• クエンチド挙動—粗い、標本に依存するフラクチュエーションを特徴とするもの—と、体積および熱核の滑らかでアンネールド（平均化された）挙動との対比を明らかにすること。
• 対角成分の熱核がクエンチド状態においても、体積のフラクチュエーションと対応するフラクチュエーションを示すことを証明すること。

提案手法

• 抵抗形式の技法を用いて、測度距離空間 $ (\mathcal{T}, d_{\mathcal{T}}, \mu) $ 上に局所的で正則なディリクレ形式を定義し、CRT上のブラウン運動を構成する。
• 木崎の抵抗形式フレームワークを用いて、ディリクレ形式を直接定義し、極限の議論を用いずにマーコフ過程を簡潔に構成できるようにする。
• 抵抗形式のトレース作用素および一意性結果（補題8.3）を適用し、マーコフ過程がCRT上のブラウン運動の定義的性質を満たしていることを検証する。
• CRTの距離および測度構造を用いて、任意の点 $ \sigma \in \mathcal{T} $ の周囲における球の体積の漸近的解析を通じて体積上限を導出する。
• 抵抗形式およびグリーン関数の技法を用いて、体積成長と関連づけることで、熱核推定を確立する。
• グリーン核の明示的表現および平均占有密度を用いて、ブラウン運動の到達時間および到達分布の性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 $ r \to 0 $ のとき、CRTにおける半径 $ r $ の球の体積のほとんど確実なフラクチュエーションは何か？
• RQ2 CRTの実現の平均化（アンネールド）と、実現に依存する（クエンチド）状態との間で、対角成分の熱核推定はどのように異なるか？
• RQ3 $ r \to 0 $ のとき、 $ \mu(B(\sigma,r)) / (r^2 \ln \ln r^{-1}) $ のリミット上界の正確な漸近定数は何か？
• RQ4 CRTにおけるクエンチド体積および熱核挙動は、滑らかなアンネールド挙動とは対照的に、粗いフラクチュエーションを示すか？

主な発見

• クエンチド体積は、球において対数的フラクチュエーションを示す： $ \sup_{\sigma \in \mathcal{T}} \mu(B(\sigma,r)) \asymp r^2 \ln_1 r^{-1} $ および $ \inf_{\sigma \in \mathcal{T}} \mu(B(\sigma,r)) \asymp r^2 (\ln_1 r^{-1})^{-1} $ は、 $ r \to 0 $ のときほとんど確実に成り立つ。
• 正規化された体積のリミット上界は、 $ \limsup_{r \to 0} \frac{\mu(B(\sigma,r))}{r^2 \ln \ln r^{-1}} = \frac{8}{\pi^2} $ ほとんど確実に成り立ち、定数は明示的に決定されている。
• 対角成分の熱核は、対応するクエンチドフラクチュエーションを示す：グローバルおよびローカルなフラクチュエーションは、体積成長におけるものと同一の対数的および対数対数的スケーリングを示す。
• アンネールド（平均化された）体積および熱核挙動は滑らかであるのに対し、クエンチド状態では粗く、標本に依存するフラクチュエーションを示す。
• 抵抗形式を用いて構成された過程は、ブラウン運動のCRT上での5つの性質すべてを満たしており、到達時間および到達分布の性質も含む。
• 抵抗形式による構成は、従来の極限的構成とは対照的に、ディリクレ形式理論の現代的技法を用いてより直接的かつ簡潔な代替手段を提供する。