[論文レビュー] The rate of weak convergence of the n-point motions of Harris flows

A. A. Dorogovtsev, В. В. Фомичов|arXiv (Cornell University)|Jun 5, 2016

Geometric Analysis and Curvature Flows参考文献 4被引用数 4

ひとこと要約

本稿は、1次元のハリス過程のn点運動がアラティア過程に弱収束する定量的レートを確立し、その分布間のワサーライン距離が、共分散関数の台の直径 $ d(\Gamma) $ の定数倍の $ d(\Gamma)^{1/22} $ で有界であることを示している。この結果は、粒子配置の近似と最適カップリング技術を用いて得られ、従来の定性的な弱収束結果を定量的レートに拡張したものである。

ABSTRACT

In this paper we discuss the Wasserstein distance between the n-point motions of Harris flows whose covariance functions have compact support. We prove that it can be estimated by the diameters of their support provided the latter are sufficiently small.

研究の動機と目的

• 共分散関数の台が小さくなる際、1次元ハリス過程のn点運動が弱収束する定量的レートを提供すること。
• 従来の定性的な弱収束結果を、共分散関数の台の直径に関する明確なレート推定に拡張すること。
• ハリス過程のn点運動とアラティア過程の分布間のワサーライン距離を分析すること。
• 粒子数 $ n $ と共分散台の直径 $ d(\Gamma) $ に依存する収束レートの上限を確立すること。

提案手法

• 初期位置を等間隔 $ u_k = \frac{2k-1}{2n} $ に設定した、$ n $ を増加させる近似粒子系の構築。
• 中間近似を介して、一般のハリス過程のn点運動とアラティア過程のn点運動を比較するカップリング法の適用。
• n点運動の分布間の距離を測るため、確率測度上のワサーライン距離 $ W_1 $ の使用。
• 近似過程間の期待値の上界ノルム差を制御するためのキーレムマの適用により、$ \varepsilon = \frac{1}{2}d(\Gamma) $ を用いた $ \sqrt{\varepsilon} $ 型のバインドが得られる。
• 三角不等式を用いて3つの項に分解：$ W_1(\Lambda, \Lambda^n) $、$ W_1(\Lambda^n, \Lambda_0^n) $、$ W_1(\Lambda_0^n, \Lambda_0) $。各項は異なる技法で有界化される。
• $ n $ における最適化により、合計誤差バインドを最小化し、最終的に $ O(d(\Gamma)^{1/22}) $ のレートが得られる。

実験結果

リサーチクエスチョン

• RQ1 共分散関数の台が小さくなる際、ハリス過程のn点運動がアラティア過程に弱収束するレートは何か？
• RQ2 n点運動の分布間のワサーライン距離は、共分散関数の台の直径を用いて有界にできるか？
• RQ3 収束レートは、粒子数 $ n $ と台の直径 $ d(\Gamma) $ の両方にどのように依存するか？
• RQ4 定性的な弱収束ではなく、定量的レート推定を達成できるか？
• RQ5 n点運動分布の近似において、合計誤差バインドを最小化する最適な $ n $ の選択は何か？

主な発見

• 条件 $ \frac{1}{2}d(\Gamma) < \frac{1}{n} $ を満たす限り、ハリス過程のn点運動とアラティア過程の分布間のワサーライン距離は $ \frac{\sqrt{2}n^5}{3} \cdot \sqrt{d(\Gamma)} $ で有界である。
• 合計収束レート $ W_1(\Lambda, \Lambda_0) $ は、初期過程パラメータに依存する正の定数 $ C $ を用いて $ C \cdot d(\Gamma)^{1/22} $ で有界である。
• 誤差バインドを最小化する最適な粒子数 $ n_0 $ は、$ \left[ \frac{1}{(10\sqrt{d(\Gamma)})^{2/11}} \right] + 1 $ に近い。$ d(\Gamma) < \frac{1}{100} $ のとき $ n_0 \geq 2 $ を満たす。
• 近似誤差 $ W_1(\Lambda, \Lambda^n) $ のバインドは $ \frac{K}{\sqrt{n}} $ であり、これは経験測度が真の分布に収束することに由来する。
• 本手法により、$ O(d(\Gamma)^{1/22}) $ のレートが達成され、これは多項式より遅いが、任意の逆数より速い。これは粒子数と台サイズの相互作用を反映している。
• 結果は、$ d(\Gamma) \to 0 $ のとき、ハリス過程のn点運動がアラティア過程にワサーライン距離で定量的レートで収束することを確認している。