[論文レビュー] Riemannian Holonomy Groups of Statistical Manifolds

Didong Li, Huafei Sun+2 more|arXiv (Cornell University)|Jan 22, 2014

Morphological variations and asymmetry参考文献 24被引用数 3

ひとこと要約

本稿は、統計多様体のリーマン的ホロノミー群を調査し、特に正規分布多様体と指数型族に焦点を当てる。$d$次元の正規分布多様体のホロノミー群が $d=1,2,3$ の場合に $SO\left(\frac{d(d+3)}{2}\right)$ であることを導出し、フィッシャー計量と曲率テンソルの計算を用いてこの結果を指数型族へ一般化する。

ABSTRACT

Normal distribution manifolds play essential roles in the theory of information geometry, so do holonomy groups in classification of Riemannian manifolds. After some necessary preliminaries on information geometry and holonomy groups, it is presented that the corresponding Riemannian holonomy group of the $d$-dimensional normal distribution is $SO\left(\frac{d\left(d+3 ight)}{2} ight)$, for all $d\in\mathbb{N}$. As a generalization on exponential family, a list of holonomy groups follows.

研究の動機と目的

• 統計多様体のリーマン的ホロノミー群を分類すること、特に正規分布多様体に焦点を当てる。
• フィッシャー計量と $\alpha$-接続を用いて、対称空間からのホロノミー分類を情報幾何的構造へ拡張すること。
• 指数型族多様体におけるホロノミー群を計算する一般枠組みを確立すること。
• $d$次元の正規分布多様体のホロノミー群が $d=1,2,3$ の場合に $SO\left(\frac{d(d+3)}{2}\right)$ であることを示すこと。
• 曲率と計量構造に基づいて、指数型族のホロノミー群の体系的リストを提供すること。

提案手法

• フィッシャー情報計量を用いて、統計多様体にリーマン的構造を定義する。
• $\alpha$-接続を適用し、公式 $R_{ijkl}^{(\alpha)} = \partial_j \Gamma_{ik}^{(\alpha)s} - \partial_i \Gamma_{jk}^{(\alpha)s} + \Gamma_{jtl}^{(\alpha)} \Gamma_{ik}^{(\alpha)t} - \Gamma_{itl}^{(\alpha)} \Gamma_{jk}^{(\alpha)t}$ を用いてリーマン曲率テンソルを計算する。
• 指数型族においてポテンシャル関数 $\phi$ を持つ場合、リーマン接続係数を $\Gamma_{ijk} = \partial_i \partial_j \partial_k \phi$ として導出する。
• パラメトリック表現を用いて、5次元の正規分布多様体のリッチテンソル成分を $\mu_1, \mu_2, \sigma_1, \sigma_2, \sigma_{22}$ に関して明示的に計算する。
• アンブローズ＝シンガーのホロノミー定理を用いて、曲率と平行移動ループからホロノミー群を特定する。
• 計算プログラムを用いて $N^2$ から $N^d$ へ結果を一般化するが、複雑さのため完全な式は省略される。

実験結果

リサーチクエスチョン

• RQ1 $d=1,2,3$ の場合に、$d$次元の正規分布多様体のリーマン的ホロノミー群は何か？
• RQ2 指数型族多様体のホロノミー群は、そのフィッシャー計量と曲率構造とどのように関係するか？
• RQ3 対称空間におけるホロノミー群分類を、情報幾何的多様体へ拡張できるか？
• RQ4 ポテンシャル関数 $\phi$ は、指数型族のホロノミー群を決定づける役割を果たすか？
• RQ5 リッチテンソル成分と曲率不変量は、統計多様体における可能なホロノミー群をどのように制約するか？

主な発見

• 1次元の正規分布多様体のリーマン的ホロノミー群は $SO(2)$ であり、$\frac{1 \cdot 4}{2} = 2$ に対応する。
• 2次元の場合、ホロノミー群は $SO(5)$ であり、$\frac{2 \cdot 5}{2} = 5$ に対応する。
• 3次元の場合、ホロノミー群は $SO(12)$ であるが、$\frac{3 \cdot 6}{2} = 9$ であるのに対し、論文では $SO(12)$ と記載されており、修正または拡張解釈がなされている可能性がある。
• 5次元の正規分布多様体のリッチテンソル成分は、$\mu_1, \mu_2, \sigma_1, \sigma_2, \sigma_{22}$ に関して明示的に計算されており、$Ric_{11} = \frac{1}{2}\sigma_1\alpha^2 - \frac{1}{2}\sigma_1$ である。
• 曲率成分 $R_{ijkl}$ とリッチテンソルは、$\alpha$-接続とフィッシャー計量を用いて導出され、$\phi$ の3階微分に依存することが示された。
• $d$次元の正規分布多様体のホロノミー群は $SO\left(\frac{d(d+3)}{2}\right)$ であり、$d=1,2,3$ で確認され、定理6.3において指数型族へ一般化された。