[論文レビュー] 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 スペクトル的変形と対数線形変形の交差を特徴付けられるか？ そして、これにより得られるリーマン計量の構造に何が示唆されるか？

主な発見

• 極座標アフィン計量はアフィン不変計量の二乗変形であり、この関係は一パラメータ族のパワー・アフィン計量へ一般化される。
• アフィン不変計量と極座標アフィン計量の両方とも、SPD_n 上の微分同相写像を用いて構築される f-変形アフィン計量の特殊ケースである。
• SPD_n 上の唯一のスペクトル的かつ対数線形変形は f_{λ,μ}(Σ) = (det Σ)^{(λ−μ)/n} Σ^μ の形を取り、これは2パラメータ族を形成する。
• f_{λ,μ}-変形アフィン計量は μ-パワー・アフィン族に属し、正しく定義されるための曲率条件 β = (λ² − μ²)/(nμ²) > −1/n を満たす。
• スペクトル的変形と対数線形変形の交差は、リー群表現論におけるシュールの補題を用いた証明により、正確に2パラメータ族 f_{λ,μ} に一致することが示された。
• 単変量的・対角安定的・対数線形性といった代数的・幾何的制約を同定することで、無限に存在する計量の空間を原理的かつ制限可能なものにできる。