[論文レビュー] Sharp estimates for Brownian non-intersection probabilities

Greg Lawler, Oded Schramm+1 more|ArXiv.org|Jan 30, 2001

Probability and Risk Models被引用数 9

ひとこと要約

本稿は、平面ブラウン運動の非交差確率に関する鋭い乗法的推定値について、自己完備的かつ技術的に厳密な証明を提供する。これらの確率は、有界な乗法的定数の範囲内で $ e^{-r \tilde{\theta}} $ のように減少することが示され、主要な結果は指数 $ \xi(2,\lambda) $ に対する一様な制御を確立しており、これにより交差指数の解析的性およびブラウン運動の経路境界のハウスドルフ次元に関する結果への応用が可能になる。

ABSTRACT

This paper gives an accessible (but still technical) self-contained proof to the fact that the intersection probabilities for planar Brownian motion are given in terms of the intersection exponents, up to a bounded multiplicative error, and some closely related results. While most of the results are already known, the proofs are somewhat new, and the paper can serve as a source for the estimates used in our paper on the analyticity of the Brownian intersection exponents (math.PR/0005295).

研究の動機と目的

• 交差指数の正確な値に依存せずに、ブラウン運動の非交差確率に関する鋭い、定数を除いた推定値を自己完備的に証明すること。
• $ \lambda \in (0, \lambda_0] $ に対して、$ a_r(\lambda) = \mathbb{E}[(Z_r)^\lambda] $ の一様な乗法的境界を確立すること。ここで $ Z_r $ は、$ \mathcal{C}_r $ からのブラウン運動の分離確率を表す。
• さまざまな幾何的設定における、交差指数の定義の等価性（ブラウン運動の外れ、極距離、到達測度を用いた定義）を明確にすること。
• 今後の研究で $ \lambda \mapsto \xi(k,\lambda) $ の解析的性を示すために、強固で一様な推定値を提供すること。
• 一般の $ l $-重のブラウン運動パッケージの枠組みを拡張し、$ b_n(\lambda_1, p_1, \dots, \lambda_l, p_l) $ に対する一様推定値を証明し、半空間指数および順序付き経路配置への応用を示すこと。

提案手法

• $ \mathcal{C}_0 $ 上に一様に始まるブラウン運動が、独立な二つのブラウン運動 $ \mathcal{Y}_r^1 \cup \mathcal{Y}_r^2 $ の和集合を $ \mathcal{C}_r $ まで避ける条件付き確率 $ Z_r $ を、極距離と等角的不変性を用いて定義する。
• $ a_r(\lambda) = \mathbb{E}[(Z_r)^\lambda] $ を定義し、これは分離確率の $ \lambda $ 次モーメントを表し、その指数的減少率が $ \xi(2,\lambda) $ によって支配されることを示す。
• アニュラス $ \mathcal{A}(r, r') $ の二進分解を用い、サイズ $ 2^{-m} $ のブロックに分割し、マルコフ性と条件付き期待値を用いて $ \mathbb{E}[e^{-\lambda L_t} \mid \mathcal{F}_n] $ の減少を制御する。
• 局所時間の指数関数的関数の条件付き期待値をバウンドする重要な補題を確立し、局所時間の大きな逸脱確率が小さいことを示し、これにより $ R_{n,m} $ と $ R_{n,m}^* $ の制御が可能になる。
• 定数 $ c_5, c_6 $ を用いて、$ R_{n,m} $ と $ R_{n,m}^* $ が一様に比較可能であることを証明し、これにより $ a_r(\lambda) $ の一様推定値が導かれる。
• 一般の $ l $-重のブラウン運動経路と重み $ p_j $ に対して、同様の条件付き期待値とブロック分解技術を用いて、$ b_n(\lambda_1, p_1, \dots, \lambda_l, p_l) $ に対する一様推定値を拡張して証明する。

実験結果

リサーチクエスチョン

• RQ1 $ \lambda \in (0, \lambda_0] $ に対して、非交差確率 $ a_r(\lambda) $ に対する正確な乗法的制御は何か？ また、これは指数 $ \xi(2,\lambda) $ とどのように関係するか？
• RQ2 $ \lambda \in (0, \lambda_0] $ に対して、推定値 $ c_1 e^{-r\xi(2,\lambda)} \leq a_r(\lambda) \leq c_2 e^{-r\xi(2,\lambda)} $ における一様な定数 $ c_1, c_2 $ が $ \lambda $ に依存せず確立可能か？
• RQ3 分離確率 $ \mathbb{P}[Z_r > 0] $ の漸近的挙動は何か？ また、$ \xi(2,0) = \lim_{\lambda \to 0^+} \xi(2,\lambda) $ と関係があるか？
• RQ4 $ a_r(\lambda) $ の推定に用いた手法を、重み $ p_j $ と重み $ \lambda_j $ を持つ一般の $ l $ パッケージのブラウン運動配置に拡張可能か？
• RQ5 指数 $ \xi(\lambda_1, p_1, \dots, \lambda_l, p_l) $ と、アニュラースの領域における等角的不変性および極距離との関係は何か？

主な発見

• 任意の $ \lambda_0 > 0 $ に対して、$ 0 < c_1 < c_2 < \infty $ が存在し、すべての $ \lambda \in (0, \lambda_0] $ および $ r \geq 2 $ に対して、推定値 $ c_1 e^{-r\xi(2,\lambda)} \leq a_r(\lambda) \leq c_2 e^{-r\xi(2,\lambda)} $ が一様に成り立つ。
• 分離確率 $ \mathbb{P}[Z_r > 0] $ は、$ c_1 e^{-r\xi(2,0)} \leq \mathbb{P}[Z_r > 0] \leq c_2 e^{-r\xi(2,0)} $ を満たし、ここで $ \xi(2,0) = \lim_{\lambda \to 0^+} \xi(2,\lambda) $ であり、これは直接的に定理1.1から導かれる。
• $ r(\lambda) = \lim_{n \to \infty} e^{n\xi(2,\lambda)} b_n $ の極限が存在し、$ b_n = r(\lambda) e^{-n\xi(2,\lambda)} (1 + \epsilon_n) $ と書ける。ここで誤差 $ |\epsilon_n| \leq c_1 e^{-n c_2} $ は指数的に減少する。
• $ a_r(\lambda) $ の推定値は強固であり、重み $ p_j $ と重み $ \lambda_j $ を持つ一般の $ l $-重のブラウン運動パッケージに拡張可能であり、$ \xi = \xi(\lambda_1, p_1, \dots, \lambda_l, p_l) $ に対して $ c_1 e^{-\xi n} \leq b_n(\lambda_1, p_1, \dots, \lambda_l, p_l) \leq c_2 e^{-\xi n} $ が成り立つ。
• 指数 $ \xi(2,\lambda) $ は明示的に $ \xi(2,\lambda) = \frac{\lambda}{2} + \frac{11}{24} + \frac{5}{24}\sqrt{24\lambda + 1} $ として与えられるが、本稿ではこの正確な値の証明は行わず、漸近的推定値のみを示している。
• 本手法はアニュラスの二進分解と、局所時間による条件付き期待値の制御に依存しており、局所時間の大きな逸脱確率が小さいことを示し、これにより $ R_{n,m} $ と $ R_{n,m}^* $ の一様な比較が可能になる。