[論文レビュー] Multivariate stable approximation in Wasserstein distance by Stein's method

Peng Chen, Ivan Nourdin+2 more|arXiv (Cornell University)|Nov 29, 2019

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

ひとこと要約

本稿は、スティーンの方法を用いて、Wasserstein距離における定量的多変量安定中心極限定理を、d ≥ 2次元に一般化した。α ∈ (0,2) におけるα安定分布のスティーン方程式を分析することで、鋭い収束速度が導かれる。Pareto分布における明示的計算により検証され、分数ラプラシアンおよび半群技法による解の新たな正則性推定が得られる。

ABSTRACT

By a delicate analysis for the Stein's equation associated to the $α$-stable law approximation with $α\in (0,2)$, we prove a quantitative stable central limit theorem in Wasserstein type distance, which generalizes the results in the series of work \cite{Xu19, CNX19+,CNXYZ19+} from the univariate case to the multiple variate case. From an explicit computation for Pareto's distribution, we see that the rate of our approximation is sharp. The analysis of the Stein's equation is new and has independent interest.

研究の動機と目的

• d ≥ 2 に対して、一変量のα安定近似結果を多変量設定に拡張すること。
• スティーンの方法を用いて、多変量α安定分布の定量的中心極限定理を確立すること。
• 一般のスペクトル測度νに対して、Wasserstein型距離における鋭い収束速度を導出すること。
• 生成子アプローチおよび半群理論を用いて、多変量α安定分布のスティーン方程式を分析すること。
• Pareto型分布における明示的計算により、収束速度の最適性を示すこと。

提案手法

• 無限小生成子 A^α,ν を持つマルコフ過程 (X_t) を構築し、それが目的のα安定分布πに収束することを保証する。
• 解 f_h(x) = -∫₀^∞ Q_t(h(x) - π(h)) dt を定義する。ここで Q_t は A^α,ν の遷移半群である。
• f_h の積分形を用いて、半群の滑らかさの性質を活用し、正則性推定を導出する。
• β ∈ (0,1) ∪ (1,α) に対して、|Q_t h(x+z) - Q_t h(x)| ≤ e^(-βt/α)(|z| ∧ |z|^β) の Hölder 型評価を確立する。
• 部分積分およびFubiniの定理を用いて、分数ラプラシアンおよび生成子の項を制御する。
• A^α,ν f = Q_0 h - Q_∞ h = h - π(h) の関係を用い、f がスティーン方程式を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 一変量の多変量α安定近似が、d ≥ 2 次元に一般化可能であり、鋭い収束速度が得られるか。
• RQ2 α ∈ (0,2) のとき、多変量α安定近似におけるWasserstein距離における最適収束速度は何か。
• RQ3 スペクトル測度νおよびα安定分布の構造が収束速度に与える影響は何か。
• RQ4 半群技法および分数級の微積分を用いて、多変量α安定分布のスティーン方程式の解を正則化できるか。
• RQ5 導出された収束速度は鋭く、Pareto分布のような明示的例により検証可能か。

主な発見

• 本稿は、α ∈ (0,2) に対して、Wasserstein型距離における定量的多変量安定中心極限定理を確立した。これは、先行の一変量結果を一般化したものである。
• Pareto型分布（重い尾を持つ）における明示的計算により、収束速度が鋭いことが確認された。
• スティーン方程式の解は、|Q_t h(x+z) - Q_t h(x)| ≤ e^(-βt/α)(|z| ∧ |z|^β) の境界を満たし、正則性推定に不可欠である。
• 生成子 A^α,ν は分数ラプラシアン項と移流項に分解され、精密な解析が可能になった。
• 解 f_h が A^α,ν の定義内にあり、A^α,ν f_h = h - π(h) を満たすことが示され、スティーン方程式の成立が検証された。
• 半群およびその導関数の解析により、f_h の勾配およびHölderノルムに対する一様な境界が得られ、Wasserstein距離に対するきびしい制御が保証された。