[論文レビュー] Regularity of solutions of the Stein equation and rates in the multivariate central limit theorem

Thomas Gallouët, Guillaume Mijoule+1 more|arXiv (Cornell University)|May 4, 2018

Geometry and complex manifolds参考文献 20被引用数 8

ひとこと要約

本稿では、テスト関数 h が α- Hölder 継続的であるとき、多変量 Stein 方程式の解に対するより良い Hölder 正則性バインディングを確立し、解の2階微分が対数因子を除いて α-Hölder であることを示している。主な応用として、3階モーメントの条件下で1-Wasserstein 距離において近似的に最適な Berry-Esseen バインディング log n / √n を得ており、2+δ 階モーメントの条件下では最適なレート O(n^{-δ/2}) を回復している。明示的な次元依存定数を伴う。

ABSTRACT

Consider the multivariate Stein equation $Δf - x\cdot abla f = h(x) - E h(Z)$, where $Z$ is a standard $d$-dimensional Gaussian random vector, and let $f\_h$ be the solution given by Barbour's generator approach. We prove that, when $h$ is $α$-Hölder ($0

研究の動機と目的

• テスト関数 h が α-Hölder 継続的であるとき、多変量 Stein 方程式の解の正則性をより鋭く特定すること。
• 解の2階微分の Hölder 正則性バインディングを、特に対数因子を含む場合に改善すること。
• 精密化された正則性結果を応用し、最小限のモーメント仮定の下で多変量中心極限定理における近似的に最適な収束レートを導出すること。
• 収束レートが次元 d にどのように依存するかを特定し、高次元設定における明示的定数を提供すること。

提案手法

• Barbour の生成子アプローチを用いて、多変量 Stein 方程式 Δf − x·∇f = h(x) − E[h(Z)] の解 f_h を定義する。
• ガウス型位置混合における時間平均条件付き期待値を用いた f_h の積分表現を用いる。
• 部分積分とモーメント推定を適用し、f_h の2階微分の差を h の Hölder 半ノルムでバインドする。
• 積分領域の二重分解を用いて t=1 の近傍の特異性を制御し、正則領域と特異領域を分離する。
• カイ二乗分布およびガウス型混合項の精密なモーメント推定を用い、解の原点および無限遠点近傍での挙動を制御する。
• 原点に折り目を持つ特定のテスト関数を用いて、α=1 の場合の正則性結果の鋭さを示す。

実験結果

リサーチクエスチョン

• RQ1 h が α-Hölder であるとき、多変量 Stein 方程式の解の2階微分の最適な Hölder 正則性は何か？
• RQ2 標準的な滑らかさの伝播を超えて、特に対数因子を含む場合に f_h の正則性を改善できるか？
• RQ3 有限な3階モーメントの下で、1-Wasserstein 距離における多変量中心極限定理の最良収束レートは何か？
• RQ4 収束レートは次元 d にどのように依存するか？明示的定数を導出できるか？
• RQ5 α=1 の場合に正則性バインディングは鋭いか？反例によってこれを示せるか？

主な発見

• h が α-Hölder であるとき、多変量 Stein 方程式の解 f_h の2階微分は、対数因子を除いて α-Hölder 継続的である（0 < α ≤ 1）。
• α = 1 の場合、Raič (2018) の反例により、正則性バインディングが最適であることが確認され、鋭さが示された。
• 有限な3階モーメントの下で、1-Wasserstein 距離における Berry-Esseen バインディングは log n / √n のオーダーであり、これは近似的に最適である。
• δ ∈ (0,1) に対して有限な (2+δ) 階モーメントの下で、最適なレート O(n^{-δ/2}) が回復され、既知の下界と一致する。
• すべてのバインディング定数が明示的であり、次元 d に対する依存関係が定量的に特定されており、対数因子に関して d について多項式的増加が示された。
• 積分の細かな分解とモーメント推定を組み合わせた証明技法により、直接微分に基づく従来の手法よりもきめ細やかな制御が得られた。