[論文レビュー] Uniqueness of the Fisher-Rao metric on the space of smooth densities

Martin Bauer, Martins Bruveris+1 more|Nov 20, 2014

Geometric Analysis and Curvature Flows参考文献 3被引用数 5

ひとこと要約

本稿は、次元が2以上のコンパactsな多様体上で、微分同相群の作用に関して不変である滑らかな弱リーマン計量が、Fisher–Rao計量のスカラー倍に限られることを確立する。証明は、不変分布の表現論と不変微分作用素の構造に依拠し、高次元ではスケーリングを除き一意性が保証されるが、1次元の場合には追加の不変計量が存在しうる。

ABSTRACT

On a closed manifold of dimension greater than one, every smooth weak Riemannian metric on the space of smooth positive probability densities, that is invariant under the action of the diffeomorphism group, is a multiple of the Fisher--Rao metric.

研究の動機と目的

• 滑らかな正の確率密度の空間に定義された、コンパクト多様体上で全微分同相群に関して不変な滑らかな弱リーマン計量が、Fisher–Rao計量に限られるかどうかを特定すること。
• 有限次元における一意性結果（例：[4]）を、コンパクト多様体上の滑らかな密度の無限次元設定に拡張すること。
• 無限次元の場合と1次元の場合の違いを明確にすること。1次元の場合には追加の不変計量が存在する。
• 不変双線形形式を特定の台と対称性を持つ分布として表現することにより、不変計量の構造を分析すること。
• 次元 ≥2 において、すべてのこのような不変計量がFisher–Rao計量のスカラー倍に限られることを、微分幾何学と分布論の道具を用いて示すこと。

提案手法

• 著者たちは、滑らかな正の確率密度の空間における滑らかな弱リーマン計量を、接空間上の不変な双線形形式として分析する。
• 滑らかな係数を持つ微分作用素を用いた局所座標表現を用い、計量を対角上に台を持つ分布核として表現する。
• 微分同相群の作用に関する不変性を適用し、分布核の構造を制約し、特定の方向におけるその微分が消えることを示す。
• 不変ベクトル場がリーマン微分を生成することを用い、計量の係数分布が基本測度の定数倍であることを導出する。
• 分布論の結果（[6]より）を適用し、リーマン微分に関して不変な任意の分布は体積形式の倍数であることを示す。
• 核表現における微分作用素が恒等作用素の定数倍であることを示すことにより、計量がFisher–Rao計量の倍数であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 コンパクト多様体上で次元 ≥2 の場合、滑らかな正の確率密度の空間に定義された、全微分同相群に関して不変な滑らかな弱リーマン計量がFisher–Rao計量に限られるか。
• RQ2 1次元の場合には、微分同相群がより大きく、より多くの不変計量を許容するため、一意性結果はどのように異なるか。
• RQ3 分布論的アプローチとリーマン微分に関する不変性を用いて、Fisher–Rao計量の一意性を確立できるか。
• RQ4 不変微分作用素の構造とその係数が、不変計量の形を決定する上で果たす役割は何か。
• RQ5 多様体が1次元の場合、Fisher–Rao計量とは異なる代替の不変計量が存在するか。もし存在するならば、それらはFisher–Rao計量とどのように異なるか。

主な発見

• 次元が2以上のコンパクト多様体上で、滑らかな正の確率密度の空間に定義された、微分同相群に関して不変な滑らかな弱リーマン計量は、すべてFisher–Rao計量のスカラー倍に限られる。
• 1次元の場合には、一意性結果は成立せず、不変計量の空間はFisher–Rao計量の張る空間を厳密に超える。
• 証明は、任意の不変計量の分布核が、リーマン微分に関する不変性と分布の台に関する議論を用いて、体積形式の定数倍に限られることを示すことにより行われる。
• 計量の局所表現における係数分布が、基本測度の定数倍に限られることを示し、計量がFisher–Rao計量の倍数であることを示す。
• 1次元の場合、著者たちはリーマン計量空間上のソボレフ型計量の引き戻しを用いて、不変計量の族を構成する。n ≥ 1 に対して、これらはFisher–Rao計量とは異なる計量を与える。
• Fisher–Rao計量はこの族におけるn = 0の場合に対応し、高次の項（n ≥ 1）は追加の微分を含むため、異なる不変計量を定義する。