[論文レビュー] Matrix Dufresne Identity

Brian Rider, Benedek Valkó|arXiv (Cornell University)|Sep 5, 2014

Random Matrices and Applications参考文献 21被引用数 3

ひとこと要約

本稿は、古典的Dフレスヌ恒等式の行列拡張を確立し、$ A_{\tau}^{(-\mu)} = \int_0^\infty M_s M_s^T ds $ が行列幾何ブラウン運動の積分された行列幾何ブラウン運動の分布として逆ウィシャート分布が成立することを証明する。主な結果は、$ 2\mu > r-1 $ のとき、$ A_{\infty}^{(-\mu)} \stackrel{\text{法則}}{=} \gamma_{2\mu}^{-1} $ であり、これはスカラーのDフレスヌ恒等式を行列過程へ一般化するものである。

ABSTRACT

We prove a version of the classical Dufresne identity for matrix processes. In particular, we show that the inverse Wishart laws on the space of positive definite r x r matrices can be realized by the infinite time horizon integral of M_t times its transpose in which t -> M_t is a drifted Brownian motion on the general linear group. This solves a problem in the study of spiked random matrix ensembles which served as the original motivation for this result. Various known extensions of the Dufresne identity (and their applications) are also shown to have analogs in this setting. For example, we identify matrix valued diffusions built from M_t which generalize in a natural way the scalar processes figuring into the geometric Levy and Pitman theorems of Matsumoto and Yor.

研究の動機と目的

• スカラーから行列値過程への古典的Dフレスヌ恒等式の拡張、特にスパikedランダム行列集合の文脈において。
• 行列幾何ブラウン運動 $ M_t $ に対して、$ \int_0^\infty M_s M_s^T ds $ の分布を含むDフレスヌ恒等式の行列版を確立すること。
• 松本とヨリの幾何的Lévyおよびピットマンの定理のスカラー過程を、行列値拡散へ一般化すること。
• 行列過程における部分的バーグ型性質の特定と、ランダム行列理論におけるその意味の探求。

提案手法

• 行列幾何ブラウン運動 $ M_t $ をイトのSDE $ dM_t = M_t dB_t + (\frac{1}{2} + \mu)M_t dt $ で定義し、$ M_0 = I $ とする。ここで $ B_t $ は独立な$ r \times r $ 行列のブラウン運動である。
• 加法的関数 $ A_t^{(\mu)} = \int_0^t M_s M_s^T ds $ を導入し、これはスカラーの累積積分 $ a_t^{(\mu)} $ の行列版である。
• $ 2\mu > r-1 $ のとき、$ M_t $ の乗法的かつ独立な増分の性質を用いて、$ A_\infty^{(-\mu)} $ の分布がパrameter $ 2\mu $ の標準逆ウィシャート分布であることを証明する。
• ピットマン型恒等式の行列版を確立する：$ \{1/A_t^{(-\mu)}\} \stackrel{\text{法則}}{=} \{1/A_t^{(\mu)} + 1/\tilde{A}_\infty^{(-\mu)}\} $、ここで $ \tilde{A}_\infty^{(-\mu)} $ は独立なコピーである。
• ウィシャート分布の固有値分解と再帰的構造を用い、マクドナルド関数と多次元ベッセル関数を含む、$ A_\infty^{(-\mu)} $ の密度関数の再帰的積分表現を導出する。
• 漸近的解析とスケーリング極限を適用し、$ r=1 $ の場合にスカラーの松本–ヨリの結果へ収束することを示し、既知の恒等式と整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 スカラー幾何ブラウン運動の古典的Dフレスヌ恒等式は、$ M_t M_t^T $ の積分を通じて行列値過程へ拡張可能か？
• RQ2 行列値拡散 $ M_t $ に対して、$ \int_0^\infty M_s M_s^T ds $ の分布として逆ウィシャート分布が実現可能か？
• RQ3 幾何的Lévyおよびピットマンの定理の行列版は存在するか？ また、それらは行列Dフレスヌ恒等式とどのように関係するか？
• RQ4 $ A_t^{(\mu)} $ の固有値の漸近的挙動は何か？ また、ウィシャート分布の固有値構造とどのように関連するか？
• RQ5 行列過程 $ M_t $ に対して、部分的バーグ型性質を確立可能か？ スカラーの場合へ一般化できるか？

主な発見

• 行列Dフレスヌ恒等式が成立する：$ 2\mu > r-1 $ のとき、確率的行列 $ A_\infty^{(-\mu)} = \int_0^\infty M_s M_s^T ds $ はパrameter $ 2\mu $ の標準逆ウィシャート分布に従う。すなわち、$ A_\infty^{(-\mu)} \stackrel{\text{法則}}{=} \gamma_{2\mu}^{-1} $ である。
• $ 2\mu > r-1 $ の条件は、$ A_\infty^{(-\mu)} $ のほとんど確実な収束と逆ウィシャート分布の非退化性を保証する。
• $ GL_r(\mathbb{R}) $ 上の過程 $ M_t $ は独立な乗法的増分と回転対称性を持つため、分布的対称性を用いた恒等式の導出が可能である。
• ピットマン型恒等式の行列版が確立された：$ \{1/A_t^{(-\mu)}\} \stackrel{\text{法則}}{=} \{1/A_t^{(\mu)} + 1/\tilde{A}_\infty^{(-\mu)}\} $、ここで $ \tilde{A}_\infty^{(-\mu)} $ は独立なコピーである。
• 変数変換 $ y_i = \log z_i $ を用いた対数座標への変換により、$ A_t^{(\mu)} $ の固有値ダイナミクスが解析され、マクドナルド関数の比を含むドリフトを持つ拡散が得られる。
• $ r=1 $ の極限において、行列過程はスカラーの松本–ヨリ恒等式を回復し、一般化の整合性を確認し、妥当性を裏付ける。