[论文解读] 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

一句话总结

该论文证明，在维度至少为二的紧致流形上，任何在光滑正概率密度空间上、关于微分同胚群作用不变的光滑弱黎曼度量，必为费雪-罗阿度量的标量倍数。证明依赖于不变分布的表示理论及不变微分算子的结构，表明在高维情形下唯一性（至多标量倍数），而一维情形则允许存在额外的不变度量。

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.

研究动机与目标

• 确定在紧致流形上维度 ≥2 时，费雪-罗阿度量是否为光滑正概率密度空间上关于完整微分同胚群作用不变的唯一光滑弱黎曼度量。
• 将有限维情形下的唯一性结果（例如在 [4] 中）推广至紧致流形上光滑密度的无限维情形。
• 阐明无限维情形与一维情形之间的区别，后者存在额外的不变度量。
• 通过将不变双线性形式表示为具有特定紧支集与对称性质的分布，分析不变度量的结构。
• 利用微分几何与分布理论工具，证明在维度 ≥2 时，所有此类不变度量均为费雪-罗阿度量的倍数。

提出的方法

• 作者将光滑正概率密度空间上的光滑弱黎曼度量分析为切空间上关于不变双线性形式的结构。
• 通过涉及具有光滑系数的微分算子的局部坐标表示，将度量表示为在对角线上支撑的分布核。
• 利用微分同胚群作用的不变性，约束分布核的结构，表明其在某些方向上的导数必须为零。
• 利用不变向量场生成李导数的事实，推导出度量的系数分布必须是基度量的常数倍。
• 应用分布理论中的一个结果（来自 [6]），表明任何关于李导数不变的分布必为体积形式的倍数。
• 通过证明核表示中的微分算子为恒等算子的常数倍，最终得出度量必为费雪-罗阿度量的倍数。

实验结果

研究问题

• RQ1 在维度 ≥2 的紧致流形上，费雪-罗阿度量是否为光滑正概率密度空间上关于完整微分同胚群作用不变的唯一光滑弱黎曼度量？
• RQ2 在一维情形下，唯一性结果有何不同？此时微分同胚群更大，允许存在更多不变度量。
• RQ3 能否通过分布理论方法与李导数不变性，确立费雪-罗阿度量的唯一性？
• RQ4 不变微分算子的结构及其系数在决定不变度量形式时起何作用？
• RQ5 当流形为一维时，是否存在其他不变度量？若存在，它们与费雪-罗阿度量有何不同？

主要发现

• 在维度至少为二的紧致流形上，任何关于微分同胚群作用不变的光滑弱黎曼度量，其在光滑正概率密度空间上必为费雪-罗阿度量的标量倍数。
• 在一维情形下，唯一性结果不成立，不变度量的空间严格大于费雪-罗阿度量张成的空间。
• 证明的关键在于表明，任何不变度量的分布核必为体积形式的常数倍，该结论基于李导数不变性与分布支集分析。
• 在度量的局部表示中，系数分布被证明为基度量的常数倍，从而表明度量为费雪-罗阿度量的倍数。
• 对于一维情形，作者通过将索博列夫型度量拉回到黎曼度量空间，构造了一族不变度量，表明当 n ≥ 1 时，这些度量与费雪-罗阿度量不同。
• 费雪-罗阿度量对应于该族中的 n = 0 情形，而更高阶项（n ≥ 1）引入了额外的导数，从而定义了不同的不变度量。