[論文レビュー] Geometric distance and mean for positive semi-definite matrices of fixed rank

Silvère Bonnabel, Rodolphe Sepulchre|arXiv (Cornell University)|Jul 28, 2008

Sparse and Compressive Sensing Techniques参考文献 18被引用数 11

ひとこと要約

本稿では、固定ランクの正定値半定値行列の多様体上に、測地線的完全性と直交変換、スケーリング、疑似逆行列に対して不変であることを保証する商幾何に基づく、新しいリーマン計量および幾何学的平均を提案する。距離は特異値分解（SVD）を用いた計算により効率的に近似可能であり、得られる平均は行列のランクを保持するとともに、最適な幾何的性質を示す。

ABSTRACT

This paper introduces a new metric and mean on the set of positive semidefinite matrices of fixed-rank. The proposed metric is derived from a well-chosen Riemannian quotient geometry that generalizes the reductive geometry of the positive cone and the associated natural metric. The resulting Riemannian space has strong geometrical properties: it is geodesically complete, and the metric is invariant with respect to all transformations that preserve angles (orthogonal transformations, scalings, and pseudoinversion). A meaningful approximation of the associated Riemannian distance is proposed, that can be efficiently numerically computed via a simple algorithm based on SVD. The induced mean preserves the rank, possesses the most desirable characteristics of a geometric mean, and is easy to compute.

研究の動機と目的

• 固定ランクの正定値半定値行列の集合に意味のある距離および平均演算をサポートする幾何的構造を定義すること。
• リーマン計量が直交変換、スケーリング、および疑似逆行列に対して不変であることを保証し、幾何的整合性を維持すること。
• 特異値分解（SVD）を基盤とする数値的に効率的なリーマン距離の近似を構築すること。
• 行列のランクを保持し、対称性や連続性などの望ましい性質を備えた幾何学的平均を構築すること。
• 固定ランクの正定値半定値行列の集合に、完全で良好に定義されたリーマン多様体構造を確立すること。

提案手法

• 本手法は、正定値コーンから固定ランク行列への再帰的幾何の一般化に基づくリーマン商幾何を構築する。
• 直交写像、スケーリング、および疑似逆行列を含む角度を保存する変換に対して不変性を備えた、商空間上のリーマン計量を定義する。
• リーマン距離は特異値分解（SVD）に基づく数値アルゴリズムを用いて近似され、計算の効率性が確保される。
• 幾何学的平均は、この計量におけるリーマン中心加重として定義され、ランクの保持と対称性が保証される。
• すべての測地線がすべての時間にわたり定義されることを保証する測地線的完全性が確保される。
• 低ランク行列の内在的幾何を活用することで、計算の扱いやすさを維持しながら幾何的忠実性を保つ。

実験結果

リサーチクエスチョン

• RQ1 直交不変性やスケーリングといった基本的対称性を尊重する固定ランク正定値半定値行列多様体上のリーマン計量をどのように定義できるか。
• RQ2 このリーマン空間における測地線距離の構造は何か。また、実用的用途に向けた効率的な近似が可能か。
• RQ3 行列のランクを保持し、リーマン設定下での幾何平均の主要公理を満たす幾何学的平均を構築できるか。
• RQ4 不変性および計算効率の観点から、既存の計量と比較して、提案された計量はどのように異なるか。
• RQ5 得られるリーマン多様体のグローバルな幾何的性質、たとえば完全性や曲率は何か。

主な発見

• 提案されたリーマン計量は直交変換、スケーリング、および疑似逆行列に対して不変であり、一般的な行列演算に対して頑健であることを保証する。
• リーマン空間は測地線的完全である。これは、すべての測地線がすべての時間にわたり定義されることを意味し、数値計算の安定性を支える。
• 単純なSVDベースのアルゴリズムにより、リーマン距離の数値的に効率的な近似が達成され、実用的導入が可能になる。
• この計量によって誘導される幾何学的平均は、入力行列の固定ランクを保持する。これは低ランク応用において極めて重要な性質である。
• 幾何学的平均は、対称性、連続性、一意性といった望ましい特性を継承しており、統計的および機械学習的応用に適している。
• 商幾何フレームワークは、古典的な正定値コーンの再帰的幾何を一般化し、固定ランクの場合にその性質を拡張する。