[論文レビュー] A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions

Thomas Royen|arXiv (Cornell University)|Aug 5, 2014

Bayesian Methods and Mixture Models参考文献 12被引用数 51

ひとこと要約

本稿では、ラプラス変換と確率的表現を用いて、多変量ガンマ分布に対する拡張されたガウス型相関予想の簡潔な証明を提示する。主な結果として、自由度が非整数または非整数値である場合、部分ベクトルに分割されたときの多変量ガンマベクトルの同時累積分布関数が、その周辺分布の積よりも厳密に大きいことが示され、古典的なガウス型ケースを一般化する。

ABSTRACT

An extension of the Gaussian correlation conjecture (GCC) is proved for multivariate gamma distributions (in the sense of Krishnamoorthy and Parthasarathy). The classical GCC for Gaussian probability measures is obtained by the special case with one degree of freedom.

研究の動機と目的

• クリシュナモールティとパルタサラティの意味におけるガウス測度を超えて、多変量ガンマ分布へのガウス型相関予想（GCC）を拡張すること。
• 一般の正のパラメータ、非整数自由度を含む多変量ガンマ分布に対するGCCの短く自己完結的な証明を提供すること。
• 相関行列の連続的補間に関する累積分布関数の導関数の厳密正の性質を確立することで、相関不等式を証明すること。
• 自由度ν=1のガウス測度に対して有効な古典的GCCを、多変量ガンマ族を介してより広いクラスの楕円分布へ一般化すること。
• ラプラス変換とワイシャルト行列表現を用いた、多変量ガンマ分布に対する不等式の導出と検証のための新しい解析的枠組みを提供すること。

提案手法

• 証明は、多変量ガンマ分布のラプラス変換表現 |Iₙ + RT|⁻ᵅ を用いる。ここで R は相関行列、T は非負の変数からなる対角行列である。
• 累積分布関数（CDF）は、ワイシャルト分布する確率的行列 S における期待値として表現される：F(x; α, R) = E[∏ⱼ Gₐ(λ⁻¹xⱼ, ½bⱼSbⱼᵀ)]。ここで bⱼ は R から導かれる行列 B の行である。
• 非特異性を保証するため、非対角ブロック R₁₂ をパrameter τ ∈ [0,1] で補間する連続的経路 Rₜ を定義する。Rₜ = [R₁₁, τR₁₂; τR₂₁, R₂₂] と表される。
• CDF に対する τ での導関数は、ラプラス変換および密度関数の導関数を用いて分析され、非負の項の和として示される。
• CDF の τ での導関数 ∂/∂τ F(x; α, Rₜ) は、パrameter α+1 の CDF の偏導関数を含む和として表現され、係数は標準相関に依存する。
• 標準相関がすべてゼロでないことを示すことで、導関数の厳密正の性質が確立される。これは R₁₂ の正のランクに起因する。

実験結果

リサーチクエスチョン

• RQ1 非整数自由度を有する多変量ガンマ分布に対し、ガウス型相関予想を拡張可能か？
• RQ2 部分ベクトルに分割された多変量ガンマベクトルの同時CDFが、周辺CDFの積よりも厳密に大きいか？
• RQ3 すべての正の xᵢ および許容可能な α に対して、不等式 F(x; α, R) > F₁(x₁,…,xₙ₁; α, R₁₁)F₂(xₙ₁₊₁,…,xₙ; α, R₂₂) が成り立つか？
• RQ4 相関行列の連続的補間が相関不等式を保存するか？また、この経路に沿ったCDFの導関数は厳密に正か？
• RQ5 標準相関は、多変量ガンマ分布における相関不等式の厳密性を決定づける役割を果たすか？

主な発見

• パrameter α および相関行列 R を持つ多変量ガンマ分布は、拡張されたガウス型相関予想を満たす。すなわち、すべての xᵢ > 0 および許容可能な α に対して、F(x; α, R) > F₁(x₁,…,xₙ₁; α, R₁₁)F₂(xₙ₁₊₁,…,xₙ; α, R₂₂) が成り立つ。
• τ ∈ (0,1) の範囲で、CDF に対する補間パrameter τ での導関数は厳密に正であり、これは不等式が経路 Rₜ に沿って厳密かつ単調に成立することを示唆する。
• α = 1/2 の場合、自由度ν=1に相当し、これは古典的ガウス型相関予想の特殊ケースとして回復される。
• 証明は、2α ∈ ℕ または 2α > n−2 を満たすすべての α に適用可能であり、またラプラス変換が無限に可除である場合、すべての α > 0 に対しても適用可能である。
• CDF の導関数は、パrameter α+1 の CDF の偏導関数を含む非負の項の和として表現され、係数は標準相関から導かれる。
• 特異相関行列の極限においても結果は成り立ち、連続性により不等式は厳密でなくなる（≥）が、依然として成立する。