[論文レビュー] Multivariate normal approximation using exchangeable pairs

Sourav Chatterjee, Elizabeth Meckes|arXiv (Cornell University)|Jan 16, 2007

Random Matrices and Applications参考文献 40被引用数 148

ひとこと要約

本稿は交換可能な対を用いた多変量正規近似枠組みを構築し、離散的および連続的対称性を有する高次元設定へのスティーン法の拡張を試みる。直交群およびユニタリ群へのハア測度のランク-$k$ 投影が $k = o(n)$ のとき多変量正規分布に収束することを、ヒルベルト＝シュミットノルムおよびウォッシャー形式距離における明示的な誤差項を伴って証明する抽象定理を確立する。

ABSTRACT

Since the introduction of Stein's method in the early 1970s, much research has been done in extending and strengthening it; however, there does not exist a version of Stein's original method of exchangeable pairs for multivariate normal approximation. The aim of this article is to fill this void. We present three abstract normal approximation theorems using exchangeable pairs in multivariate contexts, one for situations in which the underlying symmetries are discrete, and real and complex versions of a theorem for situations involving continuous symmetry groups. Our main applications are proofs of the approximate normality of rank $k$ projections of Haar measure on the orthogonal and unitary groups, when $k=o(n)$.

研究の動機と目的

• 交換可能な対の技法の多変量版を構築することで、スティーン法におけるギャップを埋めること。
• 離散的および連続的対称性を有する高次元問題に適用可能な理論的枠組みを提供すること、特に確率的行列理論に現れるような問題を想定。
• ハア測度のランク-$k$ 投影に対する正規近似の誤差項を、$k=o(n)$ のとき有効に保証すること。
• 連続的対称性群のための実および複素バージョンを含む、一変量の交換可能な対の結果を多変量設定に一般化すること。

提案手法

• 交換可能な対を用いた三つの抽象的正規近似定理を提案：離散的対称性のための一つと、連続的対称性群のための実および複素バージョン。
• 増分 $\Delta = W - W'$ の条件付きモーメントを用いて、確率的ベクトルと多変量正規分布との間のウォッシャー形式距離の誤差項を導出。
• 直交群 $O(n)$ およびユニタリ群 $U(n)$ 上のハア測度のランク-$k$ 投影にこの手法を適用し、ランダム回転またはユニタリ変換を用いて交換可能な対を構築。
• 誤差の制御のため、条件付き共分散およびクロスバリアンス項のヒルベルト＝シュミットノルム推定値を用いる。
• $\mathbb{E}\|\Gamma\|_{H.S.}$ および $\mathbb{E}\|\Lambda\|_{H.S.}$ の誤差項を導出。ここで $\Gamma$ および $\Lambda$ はそれぞれ条件付き共分散行列およびクロスバリアンス行列を表す。
• トレースの性質とハア測度を用いたランダム行列のモーメント計算により期待値を評価。ヒルベルト＝シュミット内積および行列ノルムの性質を活用。

実験結果

リサーチクエスチョン

• RQ1 交換可能な対の手法は、一変量から多変量正規近似へ拡張可能か？
• RQ2 離散的および連続的対称性を有する多変量設定に交換可能な対を適用するためには、どのような抽象定理が必要か？
• RQ3 直交群 $O(n)$ およびユニタリ群 $U(n)$ 上のハア測度のランク-$k$ 投影の分布は、どの程度の速度で多変量正規分布に収束するか？
• RQ4 このような近似における明示的な誤差項は、$n$ および $k$ の関数としてどのように表現できるか？

主な発見

• 本稿は、離散的対称性を有する多変量正規近似定理を交換可能な対を用いて確立し、スティーンの元々の一変量結果を一般化した。
• 実数の場合、ウォッシャー形式距離における誤差項は $\mathbb{E}\|\Gamma\|_{H.S.} \leq \frac{k}{(n-1)(n+1)}\sqrt{5 + \frac{2}{n-1}}$ で抑えられ、$k=o(n)$ のとき $O(k/n^2)$ に比例する。
• 複素数の場合、$\mathbb{E}\|\Lambda\|_{H.S.}$ の誤差項は $O(k/n)$ であり、ウォッシャー形式距離における誤差項も $O(k/n)$ のオーダーに抑えられる。
• 直交群 $O(n)$ およびユニタリ群 $U(n)$ 上のハア測度のランク-$k$ 投影の収束速度は $O(k/n)$ であることが示され、$k=o(n)$ のときこれが最適である。
• これらの結果により、このような投影が漸近的に多変量正規分布に従うことが確認され、ウォッシャー形式距離における明示的な誤差率が得られた。