[论文解读] Brownian motion on R trees

Siva Athreya, Michael Eckhoff+1 more|arXiv (Cornell University)|Feb 16, 2011

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

一句话总结

本文使用狄氏型方法在局部紧致的$$\mathbb{R}$$-树上构造了布朗运动，建立了一个推广标准实直线布朗运动的一般框架。关键贡献是针对紧致递归$$\mathbb{R}$$-树的常返/瞬时性判据以及混合时间的界，统一了现有构造，并实现了对度量测度树上扩散过程的显式分析。

ABSTRACT

The real trees form a class of metric spaces that extends the class of trees with edge lengths by allowing behavior such as infinite total edge length and vertices with infinite branching degree. We use Dirichlet form methods to construct Brownian motion on any given locally compact $R$-tree {$(T,r)$} equipped with a Radon measure $ν$ {on $(T,{\mathcal B}(T))$}. We specify a criterion under which the Brownian motion is recurrent or transient. For compact recurrent $R$-trees we provide bounds on the mixing time. In this revised version, assumption (A3) for an $R$-tree has been removed.

研究动机与目标

• 在不依赖近似方案的前提下，为局部紧致$$\mathbb{R}$$-树上的布朗运动提供一种通用且显式的构造方法。
• 统一现有在$$\mathbb{R}$$-树上扩散过程的构造方法，包括埃文斯的过程以及随机游走的标度极限。
• 推导所构造布朗运动常返与瞬时性的几何条件。
• 为紧致递归$$\mathbb{R}$$-树建立谱间隙与混合时间的界。
• 通过势函数推广$$\mathbb{R}$$-树上扩散过程中尺度变换与漂移的概念。

提出的方法

• 使用狄氏型方法，基于树骨架上的长度测度与梯度定义双线性型，类比实直线上的构造。
• 定义狄氏型$$\mathcal{E}(f,g) = \frac{1}{2}\int \mathrm{d}\lambda^{(T,r)} \nabla_{r}f \cdot \nabla_{r}g$$，其定义域$$\mathcal{D}(\mathcal{E})$$由$$L^2(\nu)$$-函数构成，且其梯度平方可积。
• 证明该型为正规且局部型，从而依据标准狄氏型理论保证强马氏过程的存在性。
• 引入势函数$$\phi$$，通过$$r_\phi(a,b) = \int_{[a,b]} e^{-2\phi(x)} \lambda^{(T,r)}(\mathrm{d}x)$$定义新度量$$r_\phi$$，从而实现带漂移扩散过程的构造。
• 将该理论应用于证明：埃文斯的“最丰富”$$\mathbb{R}$$-树上的$$(\nu,\nu)$$-布朗运动，其分布与在变换度量$$r_{\mathrm{natural}}$$下的$$\nu$$-布朗运动相同。
• 利用尺度函数与速度测度刻画常返性：当且仅当$$\int_0^\infty s(y)\,dy = \infty$$且$$\int_{-\infty}^0 s(y)\,dy = \infty$$时，$$X$$为常返过程。

实验结果

研究问题

• RQ1 在何种几何条件下，局部紧致$$\mathbb{R}$$-树上的布朗运动是常返或瞬时的？
• RQ2 能否使用狄氏型方法，给出一种不依赖近似方法的$$\mathbb{R}$$-树上布朗运动的通用构造？
• RQ3 紧致$$\mathbb{R}$$-树上的混合时间与谱间隙如何依赖于底层度量与测度结构？
• RQ4 该框架能否通过势函数扩展至在$$\mathbb{R}$$-树上构造带漂移的扩散过程？
• RQ5 该构造在多大程度上统一了现有模型，如埃文斯在“最丰富”$$\mathbb{R}$$-树上的过程？

主要发现

• 在局部紧致$$\mathbb{R}$$-树上构造的布朗运动是常返的，当且仅当尺度函数满足$$\int_0^\infty s(y)\,dy = \infty$$且$$\int_{-\infty}^0 s(y)\,dy = \infty$$。
• 对于紧致递归$$\mathbb{R}$$-树，混合时间可由谱间隙界定，而谱间隙与平衡测度方差的倒数相关。
• 在埃文斯的“最丰富”$$\mathbb{R}$$-树上，$$(\nu,\nu)$$-布朗运动的分布与在度量$$r_{\mathrm{natural}}$$下的$$\nu$$-布朗运动相同，前提是$$r_{\mathrm{natural}}$$为局部紧致。
• 通过狄氏型构造的方法推广了实直线上的标准布朗运动，并可通过势函数$$\phi$$包含带漂移的扩散过程。
• 该框架涵盖了文献中所有已知的$$\mathbb{R}$$-树上布朗运动的例子，包括离散树上随机游走的标度极限。
• 该方法提供了狄氏型及其定义域的显式描述，使得无需近似即可直接分析路径性质与收敛速率。