[论文解读] 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）及其水平集的精確Hausdorff測度函數。證明了樹上的均勻測度與水平集上的局部時間測度與特定Hausdorff測度一致，透過高度過程的縮放與隨機分析，精確描述了其度量與測度結構。

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））的精確Hausdorff測度函數。
• 建立樹上的均勻測度與水平集上的局部時間測度與特定Hausdorff測度一致。
• 利用縮放極限與隨機過程分析穩定樹的細緻度量與測度性質。
• 將CRT情形（$\alpha=2$）的結果推廣至一般穩定樹，其指數 $\alpha \in (1,2]$。

提出的方法

• 利用高度過程對實樹進行編碼，特別是 $\alpha=2$ 時的布朗橋。
• 應用穩定樹的縮放性質：$r\mathcal{T}$ 在 $\Theta_\alpha$ 下的分布為 $r^{1/(\alpha-1)}\Theta_\alpha$。
• 運用 $\Theta_\alpha$ 的分支性質，將水平 $a$ 以上的子樹條件分解為強度與 $\Theta_\alpha$ 成比例的泊松點測度。
• 將局部時間測度 $\ell^a$ 定義為對水平 $a+\varepsilon$ 處有後代的頂點之和的極限，並以 $v(\varepsilon)$ 正規化。
• 使用Laplace變換與矩估計，控制局部質量偏離預期縮放的「壞」集合的測度。
• 應用隨機微積分與環形區域 $\widetilde{\mathcal{C}}(\sigma, 2^{-n})$ 上的獨立結構，以控制局部測度波動。

实验结果

研究问题

• RQ1 連續隨機樹（CRT）的精確Hausdorff測度函數為何？
• RQ2 樹上的均勻測度與水平集上的局部時間測度如何與Hausdorff測度相關？
• RQ3 指數 $\alpha \in (1,2)$ 的一般穩定樹的Hausdorff測度性質能否被特徵化？若可，其方式為何？
• RQ4 局部時間測度 $\ell^1$ 在小距離下的局部質量受何種縮放行為支配？
• RQ5 總質量 $\langle \ell^r, 1 \rangle$ 的尾部估計如何影響局部質量較小的集合的測度？

主要发现

• 當 $\alpha=2$ 時，CRT 的Hausdorff測度函數為 $h(r) = r^2 \log \log(1/r)$，且均勻測度 $\mathbf{m}$ 與 $h$-Hausdorff 測度一致。
• 對於CRT的水平集，局部時間測度 $\ell^1$ 與對應於 $h(r) = r^2 \log \log(1/r)$ 的Hausdorff測度一致。
• 對於一般 $\alpha \in (1,2)$，局部時間測度 $\ell^1$ 滿足 $\limsup_{n \to \infty} \frac{\ell^1(B(\sigma, 2^{-n}))}{\widetilde{h}_u(2^{-n})} \leq 1$ $\Theta_\alpha$-幾乎必然，其中 $\widetilde{h}_u(r) = r^2 (\log \log(1/r))^{-u}$ 對於 $u < 0$。
• 總質量 $\langle \ell^r, 1 \rangle$ 有尾部估計 $\Theta_\alpha(0 < \langle \ell^r, 1 \rangle \leq b) \leq C_\alpha r^{-\alpha/(\alpha-1)} b^{\alpha-1}$，此估計控制了小質量子樹的數量。
• 局部質量小於預期的「壞」集合的測度呈指數衰減，確保幾乎必然收斂至正確的Hausdorff縮放。
• 在 $\Theta_\alpha(d\mathcal{T}) \ell^1(d\sigma)$ 下，隨機變數 $\ell^1(\widetilde{\mathcal{C}}(\sigma, 2^{-n}))$ 是相互獨立的，進而可透過乘積矩界獲得強尾部估計。