[論文レビュー] Mod-$\phi$ convergence, II: Estimates on the speed of convergence

Valentin Féray, Pierre‐Loïc Méliot+1 more|arXiv (Cornell University)|May 30, 2017

Random Matrices and Applications参考文献 14被引用数 7

ひとこと要約

この論文は、mod-ϕ収束の枠組みにおいて、安定分布への収束速度に対するBerry–Esseen型の推定を確立し、収束速度を定量化するための「制御領域（zone of control）」の概念を導入する。コルモゴロフ距離に対する $\/mathcal{O}(t_n^{-\gamma - 1/\alpha})$ の明示的で非漸近的な境界を導出し、平面ブラウン運動、ランダム行列、イジング模型、およびマルコフ連鎖への応用を含む。

ABSTRACT

In this paper, we give estimates for the speed of convergence towards a limiting stable law in the recently introduced setting of mod-$\\phi$ convergence. Namely, we define a notion of zone of control, closely related to mod-$\\phi$ convergence, and we prove estimates of Berry-Esseen type under this hypothesis. Applications include: the winding number of a planar Brownian motion; classical approximations of stable laws by compound Poisson laws; examples stemming from determinantal point processes (characteristic polynomials of random matrices and zeroes of random analytic functions); sums of variables with an underlying dependency graph (for which we recover a result of Rinott, obtained by Stein's method); the magnetization in the $d$-dimensional Ising model; and functionals of Markov chains.

研究の動機と目的

• mod-ϕ収束の枠組みにおいて、安定分布への収束速度を定量化すること。
• 収束速度の推定に用いるための「制御領域（zone of control）」という概念を導入し、形式化すること。
• この枠組みにおいて、コルモゴロフ距離に対する非漸近的Berry–Esseen型の境界を導出すること。
• mod-ϕ収束の適用範囲を、従属構造やマルコフ連鎖の関数的量を含むより広い確率的モデルのクラスへと拡張すること。
• 多様な確率的モデルにおける安定分布およびガウス型極限への収束に対する鋭い、明示的な誤差推定を提供すること。

提案手法

• mod-ϕ収束における正規化された確率変数の特性関数が、極限関数によって良好に近似される複素平面上の領域として「制御領域（zone of control）」を導入する。
• 制御領域を用いて、正規化された和の累積分布関数と極限の安定分布との差の境界を導出する。
• フーリエ解析と特性関数の技法を用いて、無限に可除な分布のラプラス変換構造を活用し、収束速度の誤差を制御する。
• 特性関数の差の推定を用いてコルモゴロフ距離の境界を導出し、制御領域の大きさを定量化するパrameter $\gamma$ を用いる。
• 収束速度が $\mathcal{O}(t_n^{-\gamma - 1/\alpha})$ であることを確立する。ここで $\alpha$ は安定性指数、$t_n$ は正規化パラメータである。
• この手法を、同分布独立な確率変数の和、確定的点過程、イジング模型、およびマルコフ連鎖など、さまざまなモデルに適用し、スペクトル的およびモーメントに基づく議論を用いる。

実験結果

リサーチクエスチョン

• RQ1 mod-ϕ収束が成立する際、安定分布への収束速度は定量的にどの程度であり、どのように推定できるか？
• RQ2 「制御領域（zone of control）」という概念をどのように形式化し、コルモゴロフ距離における明示的誤差境界の導出に用いることができるか？
• RQ3 mod-ϕ収束の枠組みは、従属的またはi.i.d.でない系列に対してもBerry–Esseen型の推定を可能にするか？
• RQ4 マルコフ連鎖の加法的関数的量の漸近分散が正であるための条件は何か？ そして、これは収束速度にどのように影響するか？
• RQ5 マルコフ連鎖の文脈におけるmod-ガウス型収束は、正規分布への収束速度とどのように関係するか？

主な発見

• 正規化された和 $Y_n$ と極限の安定分布との間のコルモゴロフ距離は、$\mathcal{O}(t_n^{-\gamma - 1/\alpha})$ で有界であり、ここで $\gamma$ は制御領域の大きさを定量化するパラメータ、$\alpha$ は安定性指数である。
• 3次のモーメントが有限な同分布独立な確率変数の和に対しては、収束速度は $\mathcal{O}(n^{-1/2})$ であり、古典的Berry–Esseenの境界と整合的である。
• 平面ブラウン運動の巻き数のケースでは、本手法により収束速度 $\mathcal{O}(n^{-1/2})$ が得られる。
• ランダム行列の特徴的多項式を含む確定的点過程に対しては、本手法により既知の収束速度が明示的な定数とともに回復される。
• 既約かつ非周期的なマルコフ連鎖の加法的関数的量に対しては、漸近分散 $\varSigma^2(f)$ が正であることは、$f$-値の和が非ゼロであるサイクルが存在するときにかつそのときに限り成立する。
• 可逆なマルコフ連鎖に対しては、非定数関数 $f$ に対して $\varSigma^2(f) > 0$ であり、収束速度は $\mathcal{O}(n^{-1/2})$ で有界であり、スペクトルギャップ $\theta_P$ に明示的な依存関係を示す。