[論文レビュー] 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{D}(\mathcal{E})$$ に属する$$L^2(\nu)$$-関数で、二乗可積分な勾配を持つものに対して、ディリクレ形式$$\mathcal{E}(f,g) = \frac{1}{2}\int \mathrm{d}\lambda^{(T,r)} \nabla_{r}f \cdot \nabla_{r}g$$ を定義する。
• この形式が正則かつ局所的であることを示し、標準的なディリクレ形式理論により強マルコフ過程の存在を保証する。
• ポテンシャル関数$$\phi$$を導入し、$$r_\phi(a,b) = \int_{[a,b]} e^{-2\phi(x)} \lambda^{(T,r)}(\mathrm{d}x)$$ により新しい距離$$r_\phi$$を定義することで、ドリフト付きの拡散過程の構成を可能にする。
• 理論を適用して、エヴァンズの「最も豊富な」$$\mathbb{R}$$-ツリー上の$$(\nu,\nu)$$-ブラウン運動が、$$\nu$$-ブラウン運動と$$r_{\mathrm{natural}}$$-距離で定義されたものと分布的に一致することを示す。
• スケール関数およびスピード測度を用いて再帰性を特徴づける：$$X$$が再帰的であるための必要十分条件は、$$\int_0^\infty s(y)\,dy = \infty$$ かつ $$\int_{-\infty}^0 s(y)\,dy = \infty$$ である。

実験結果

リサーチクエスチョン

• RQ1 局所コンパクトな$$\mathbb{R}$$-ツリー上のブラウン運動が再帰的または非再帰的であるための幾何的条件は何か？
• RQ2 ディリクレ形式を用いて、近似に基づかない一般的かつ明示的なブラウン運動の構成が、$$\mathbb{R}$$-ツリー上で可能か？
• RQ3 コンパクトな$$\mathbb{R}$$-ツリー上での混合時間および固有値ギャップは、元の距離構造および測度構造にどのように依存するか？
• RQ4 ポテンシャル関数を用いて、$$\mathbb{R}$$-ツリー上でのドリフト付き拡散過程の構成をこの枠組みに拡張可能か？
• RQ5 この構成は、エヴァンズの「最も豊富な」$$\mathbb{R}$$-ツリー上の過程を含む、既存のモデルをどの程度統一するか？

主な発見

• 局所コンパクトな$$\mathbb{R}$$-ツリー上の構成されたブラウン運動は、スケール関数$$s$$が$$\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}}$$-距離で定義されたものと分布的に一致する。
• ディリクル形式による構成は、$$\mathbb{R}$$上での標準的ブラウン運動を一般化し、ポテンシャル関数$$\phi$$を用いてドリフト付きの拡散過程を含む。
• この枠組みは、文献に既知の$$\mathbb{R}$$-ツリー上でのブラウン運動のすべての例をカバーしており、離散的ツリー上のランダムウォークのスケーリング極限も含む。
• この手法により、ディリクル形式およびその定義域の明示的記述が得られ、近似を用いずともパスの性質や収束速度の直接的解析が可能となる。