[論文レビュー] Malliavin-Stein method for multi-dimensional U-statistics of Poisson point processes

Nguyễn Tuấn Minh|arXiv (Cornell University)|Nov 9, 2011

Point processes and geometric inequalities参考文献 6被引用数 10

ひとこと要約

本稿では、ポアソン点過程に由来するU統計量のベクトルに対する定量的多変量正規近似の上限を、ポアソンクラウチにおけるマリヤンヴィン＝スタイン法を用いて確立する。多次元マリヤンヴィン＝スタイン不等式およびウィener-Itôクラウチ展開を適用することで、正規化されたU統計量のベクトルとガウス分布との間の確率的距離に対する明示的な上界が導出され、核関数の積分および共分散構造に明示的な依存関係を示す。

ABSTRACT

In this paper, we give an upper bound for a probabilistic distance between a Gaussian vector and a vector of U-statistics of Poisson point processes by applying Malliavin-Stein inequality on the Poisson space.

研究の動機と目的

• ポアソンクラウチにおける一変量のマリヤンヴィン＝スタイン正規近似を、多変量設定に拡張すること。
• U統計量のベクトルとガウス分布との間の確率的距離に対する定量的上界を導出すること。
• 空間的および確率的幾何的設定において、任意の次数のU統計量に適用可能な一般枠組みを提供すること。
• 複数のU統計量の同時分布が多変量正規分布に収束するための条件を確立すること。
• ポアソン過程のU統計量の中心極限定理に関する先行結果を、ベクトル値関数的へ一般化すること。

提案手法

• PeccatiとZheng (2010) が提唱した多次元マリヤンヴィン＝スタイン不等式を、中心的な理論的道具として用いる。
• ポアソン空間におけるマリヤンヴィン微積分を適用し、発散作用素および繰り返しクラウチ展開を含む。
• 対称核関数 $ \theta_i $ を用いたウィーナー＝イトウクラウチ展開により、U統計量のベクトル $ F = (F_1, \tdots, F_d) $ を表現する。
• 共分散行列 $ \boldsymbol{\rm \text{Cov}}(F) = \boldsymbol{\rm \text{Cov}}(F_i, F_j) $ 及びその逆行列を用いて、関数的を標準化する。
• ガウス分布との比較のため、正規化されたベクトル $ \boldsymbol{Z} = \boldsymbol{C}^{1/2} \boldsymbol{\rm \text{Cov}}(F)^{-1/2} (F - \boldsymbol{\rm \text{E}}[F]) $ を定義する。
• 重複する構成における核関数の積分を用いて、距離 $ \triangle(\boldsymbol{Z}, X) $ の明示的上界を導出する。この積分は $ M_{n,m}(i,j) $ に符号化されている。

実験結果

リサーチクエスチョン

• RQ1 ポアソン点過程のU統計量のベクトルが多変量正規分布に分布収束する速度は何か？
• RQ2 多次元マリヤンヴィン＝スタイン不等式を、ポアソンクラウチ上でのU統計量に明示的な上界を得るためにどのように適用できるか？
• RQ3 近似誤差の構造的依存関係は、核関数およびその重なりにどのように現れるか？
• RQ4 複数のU統計量の同時分布がガウス分布に収束する条件は何か？
• RQ5 核関数の積分および共分散構造の観点から、収束速度をどのように定量的に表現できるか？

主な発見

• 確率的距離 $ \triangle\big(\boldsymbol{C}^{1/2}\boldsymbol{\rm \text{Cov}}(F)^{-1/2}(F - \boldsymbol{\rm \text{E}}[F]), X\big) $ に対する明示的な上界が導出された。ここで $ X \thicksim \boldsymbol{\rm \text{N}}_d(0, C) $ である。
• 上界は最大次数 $ k = \text{max}\big\brace{k_i \big\bracevert 1 \neq i \neq d\big\bracevert} $、スぺクトルノルム $ \big\braceVert \boldsymbol{C}^{1/2}\boldsymbol{\rm \text{Cov}}(F)^{-1/2} \big\braceVert $、および共分散行列のトレースに依存する。
• 上界には $ \big\braceVert \boldsymbol{C}^{-1} \big\braceVert $、$ \big\braceVert \boldsymbol{C} \big\braceVert $、およびフロベニウスノルム $ \big\braceVert \boldsymbol{C}\boldsymbol{\rm \text{Cov}}(F)^{-1/2} \big\braceVert_F $ を含む項が含まれる。
• 誤差上界は、式 (4.2) で定義される $ M_{n,m}(i,j) $ を通じて、重複する構成における核関数の積の積分で表現される。
• 核関数の $ L^2 $ 収束が成立する限り、上界は安定性を保つ。
• 系 4.3 では、$ M_{n,m}^{(l)}(i,j) \to 0 $ が $ l \to \infty $ のとき成り立つならば、$ \boldsymbol{Z}^{(l)} $ が $ d $ 変量ガウス分布に分布収束することを示している。