[論文レビュー] The Hausdorff measure of stable trees

Thomas Duquesne, Jean‐François Le Gall|ArXiv.org|Sep 29, 2005

Advanced Topology and Set Theory被引用数 6

ひとこと要約

本稿は、安定木（特にアーロウズの連続的ランダム木（CRT）およびそのレベル集合を含む）の正確なハウスドルフ測度関数を確立する。木上の一様測度とレベル集合上の局所時間測度が特定のハウスドルフ測度と一致することを証明し、高さ過程のスケーリングおよび確率的解析を通じて、それらの幾何的・測度論的構造を精確に特徴づける。

ABSTRACT

We study fine properties of the so-called stable trees, which are the scaling limits of critical Galton-Watson trees conditioned to be large. In particular we derive the exact Hausdorff measure function for Aldous' continuum random tree and for its level sets. It follows that both the uniform measure on the tree and the local time measure on a level set coincide with certain Hausdorff measures. Slightly less precise results are obtained for the Hausdorff measure of general stable trees.

研究の動機と目的

• 安定木（連続的ランダム木（CRT）を含む）の正確なハウスドルフ測度関数を同定すること。
• 木上の一様測度とレベル集合上の局所時間測度が特定のハウスドルフ測度と一致することを確立すること。
• スケーリング極限および確率過程を用いて、安定木の微細な幾何的・測度論的性質を分析すること。
• α=2 の CRT の場合の結果を一般の安定木（α ∈ (1,2]）に拡張すること。

提案手法

• 高さ過程による実木のコーディングを用いる。特に α=2 の場合にはブラウン運動の拡張を用いる。
• 安定木のスケーリング性質を適用：Θ_α における r\mathcal{T} は法則として r^{1/(\alpha-1)}\Theta_α に従う。
• Θ_α の分岐性を用いて、レベル a 以上の部分木を、強度が Θ_α に比例するポアソン点測度として条件付きで分解する。
• 局所時間測度 ℓ^a を、レベル a+ε に子孫を持つ頂点の和の極限として定義し、v(ε) で正規化する。
• ラプラス変換およびモーメント推定を用いて、局所質量が期待されるスケーリングから逸脱する「悪い」集合の測度を制御する。
• 確率的微積分と、アニュラス \widetilde{\mathcal{C}}(\sigma, 2^{-n}) 上の独立構造を用いて、局所測度の揺らぎを制御する。

実験結果

リサーチクエスチョン

• RQ1 連続的ランダム木（CRT）の正確なハウスドルフ測度関数は何か？
• RQ2 木上の一様測度とレベル集合上の局所時間測度は、ハウスドルフ測度とどのように関係するか？
• RQ3 指数 α ∈ (1,2) の一般の安定木のハウスドルフ測度特性を特徴づけられるか。もし可能であれば、その方法は何か？
• RQ4 局所時間測度 ℓ^1 の小距離における局所質量のスケーリング挙動は何か？
• RQ5 全質量 ⟨ℓ^r, 1⟩ の尾部推定が、局所質量が小さい集合の測度にどのように影響するか？

主な発見

• α=2 の場合、CRT のハウスドルフ測度関数は h(r) = r^2 \log \log(1/r) であり、一様測度 \mathbf{m} は h-ハウスドルフ測度と一致する。
• CRT のレベル集合に関して、局所時間測度 ℓ^1 は h(r) = r^2 \log \log(1/r) に関連するハウスドルフ測度と一致する。
• 一般の α ∈ (1,2) に対して、局所時間測度 ℓ^1 は \limsup_{n \to \infty} \frac{\ell^1(B(\sigma, 2^{-n}))}{\widetilde{h}_u(2^{-n})} \leq 1 \Theta_\alpha-\text{a.e.} を満たす。ここで \widetilde{h}_u(r) = r^2 (\log \log(1/r))^{-u}（u < 0）である。
• 全質量 ⟨ℓ^r, 1⟩ は尾部推定 \Theta_\alpha(0 < ⟨ℓ^r, 1⟩ \leq b) \leq C_\alpha r^{-\alpha/(\alpha-1)} b^{\alpha-1} を満たし、これは小質量部分木の数を制御する。
• 局所質量が期待値より小さい「悪い」集合の測度は指数的に減少し、正しいハウスドルフスケーリングへのほとんど確実な収束を保証する。
• 測度 \Theta_\alpha(d\mathcal{T}) \ell^1(d\sigma) の下で、確率変数 ℓ^1(\widetilde{\mathcal{C}}(\sigma, 2^{-n})) は独立であるため、積モーメントの境界を用いて強い尾部推定が可能になる。