[论文解读] Is affine invariance well defined on SPD matrices? A principled continuum of metrics

Yann Thanwerdas, Xavier Pennec|arXiv (Cornell University)|Jun 4, 2019

Advanced Neuroimaging Techniques and Applications参考文献 19被引用 11

一句话总结

本文通过证明仿射不变性并不能唯一定义 SPD 矩阵上的度量，解决了黎曼几何中一个基础性的模糊问题，并提出了一套有原则的度量连续统——幂-仿射度量与变形-仿射度量，统一了仿射不变度量与极坐标-仿射度量。关键贡献在于一个理论框架，通过谱、单变量和对数线性变形，推广了这些度量，并通过一个特征定理证明，仅特定的幂函数能产生对数线性、谱度量。

ABSTRACT

Symmetric Positive Definite (SPD) matrices have been widely used in medical data analysis and a number of different Riemannian met-rics were proposed to compute with them. However, there are very few methodological principles guiding the choice of one particular metric for a given application. Invariance under the action of the affine transformations was suggested as a principle. Another concept is based on symmetries. However, the affine-invariant metric and the recently proposed polar-affine metric are both invariant and symmetric. Comparing these two cousin metrics leads us to introduce much wider families: power-affine and deformed-affine metrics. Within this continuum, we investigate other principles to restrict the family size.

研究动机与目标

• 解决仿射不变性是否唯一定义 SPD 矩阵上黎曼度量的模糊性。
• 通过变形底层微分同胚，将仿射不变度量与极坐标-仿射度量统一于更广泛的度量族之下。
• 识别有原则的标准（如谱、单变量和对数线性性质），以将可能度量的庞大空间限制为可管理且理论基础坚实的族。
• 为基于 SPD 的统计分析中选择适当的黎曼度量提供理论基础，特别是在医学成像和信号处理中。
• 将框架扩展至包含新类度量（如 f-变形-仿射度量），并表征其几何与代数性质。

提出的方法

• 通过 GL_n 在 SPD_n 上的作用及商空间 GL_n / O_n 构造仿射不变度量，建立与 SPD_n 的微分同胚。
• 通过 GL_n / O_n 与 SPD_n 之间不同的微分同胚，将极坐标-仿射度量重新解释为仿射不变度量的平方变形。
• 通过将变形推广至任意幂函数，引入一个单参数的幂-仿射度量族，涵盖仿射不变度量与极坐标-仿射度量的情形。
• 通过 SPD_n 上任意光滑微分同胚 f 扩展框架，构造变形-仿射度量，同时保持群作用与对称性结构。
• 应用李群表示理论，表征谱变形与对数线性变形的交集，证明仅 f_{λ,μ} 函数满足两种性质。
• 使用对数星变换（log∘f∘exp）定义并分析对数线性变形，实现对结果度量的代数表征。

实验结果

研究问题

• RQ1 仿射不变性是否足以唯一定义 SPD 矩阵流形上的黎曼度量？
• RQ2 如何在统一的几何框架下，将仿射不变度量与极坐标-仿射度量——两者均具有不变性与对称性——统一起来？
• RQ3 对 SPD 流形的变形 f，其必要且充分条件是什么，以保持对称性与不变性等关键几何性质？
• RQ4 哪些变形类别（如谱、单变量、对角稳定、对数线性）能产生具有理想理论与计算特性的度量？
• RQ5 谱变形与对数线性变形的交集能否被表征？这对结果黎曼度量的结构有何含义？

主要发现

• 极坐标-仿射度量是仿射不变度量的平方变形，且该关系可推广为单参数的幂-仿射度量族。
• 仿射不变度量与极坐标-仿射度量均为更广泛类别的 f-变形-仿射度量的特例，后者通过 SPD_n 上的微分同胚构造。
• SPD_n 上唯一的谱与对数线性变形形式为 f_{λ,μ}(Σ) = (det Σ)^{(λ−μ)/n} Σ^μ，构成一个双参数族。
• f_{λ,μ}-变形-仿射度量属于 μ-幂-仿射族，其正则性条件为 β = (λ² − μ²)/(nμ²) > −1/n。
• 谱与对数线性变形的交集恰好是双参数族 f_{λ,μ}，该结论通过李群表示理论中的舒尔引理得以证明。
• 该框架通过识别单变量、对角稳定与对数线性等代数与几何约束，为限制无限可能的度量空间提供了有原则的方法。