[論文レビュー] The Riemannian median of positive-definite matrices

Yutaro Nakagawa|arXiv (Cornell University)|Feb 15, 2026

Mathematical Inequalities and Applications被引用数 0

ひとこと要約

この論文は正定行列の組に対するリーマン幾何的中央値を定義し、リーマン曲率トレース距離での中央値-平均型不等式を証明するとともに、構造的性質をいくつか示す。

ABSTRACT

We propose a definition of the Riemannian median $M(\mathbb{A})$ of a tuple of positive-definite matrices $\mathbb{A}:=(A_{1}, \cdots, A_{n})$. We will define it as a positive-definite matrix using Landers and Rogge's work \cite{Lan81} partially, not as a set unlike Yang's work \cite{Yan10}. Then, in the set of positive-definite matrices with the Riemannian trace metric, we show \[ δ(M, Λ) \leq \frac{1}{n}\sum_{k=1}^{n}δ(A_{k}, Λ) \leq \sqrt{\frac{1}{n} \sum_{k=1}^{n} δ(A_{k}, Λ)^{2}}, \] where $M=M(\mathbb{A})$, $Λ$ is the Karcher mean of $\mathbb{A}$, and $δ$ is the Riemannian distance induced by the Riemannian trace metric. This inequality is an analogue of $|μ-m| \leq σ$, where $μ$, $m$ and $σ$ are the mean, the median and the standard deviation of real-valued data points. Moreover, we investigate the commutative case, how outliers have an effect on the Riemannian median, the congruence invariance, the joint homogeneity, the self-duality and the monotonicity in a special case, and construct a counter example showing that the monotonicity of the Riemannian median does not hold in general.

研究の動機と目的

• リーマン幾何設定内で行列値の中央値の必要性を動機づけ、具体的な行列値中央値を定義する。
• リーマン幾何中央値と Karcher平均および距離との基本的不等式を確立する。
• 交換法則、外れ値感度、不変性、および特別な場合の単調性を含むリーマン幾何中央値の性質を調査する。
• 共役変換、結合しきい値性（joint homogeneity）、自己対称性における中央値の挙動を探り、一般には単調性に対する反例を提示する。

提案手法

• p-乗距離関数 F_p(X; A) を delta(X, A_k)^p の平均として定義し、p>1 で F_p に一意の最小点があることを示す。
• F_1 は共通測 geodesic 上の射影議論を用いて最小化点を分析し、幾何配置を検討することにより最小化点が存在することを示す。
• リーマン中央値 M(A) を p ↓ 1 の極限として定義し、収束論argを用いて存在を証明する。
• 鍵となる不等式 delta(M, Lambda) ≤ (1/n)∑ delta(A_k, Lambda) ≤ sqrt{(1/n)∑ delta(A_k, Lambda)^2} を証明する。ここで Lambda は Karcher平均。
• 交換法則性、外れ値、合同不変性、結合同質性、自己対称性、特別な場合の単調性などの性質を調査する。

実験結果

リサーチクエスチョン

• RQ1 リーマン幾何設定における実数値の中央値の自然な行列値類似は何か。
• RQ2 リーマン中央値と Karcher平均および距離測度を、|μ−m|≤σ に類似した清潔な不等式として結びつけることはできるか。
• RQ3 共役変換や結合不変性のような操作の下で、リーマン中央値はどのような不変性・構造特性を持つか。
• RQ4 正定値行列空間におけるリーマン中央値は外れ値の影響を受けるか。
• RQ5 リーマン中央値の一般的な単調性は成り立つか、また反例が生じうる条件は何か。

主な発見

• p→1+ の極限として M(A) が定義されることにより、良く定義されたリーマン中央値が存在する。
• 中央値は行列の類似の |μ−m|≤σ の類似性を満たす： delta(M, Lambda) ≤ (1/n)∑ delta(A_k, Lambda) ≤ sqrt{(1/n)∑ delta(A_k, Lambda)^2}。
• 可換の場合、最小性の性質と全測地的部分多様体に沿った挙動が特徴づけられ、M(A) はデータ行列と可換となる。
• 実数値データと同様の方法で外れ値がリーマン中央値に影響し、凸集合・NPC空間の枠組みで性質を研究する。
• Congruence invariance と joint homogeneity が成り立ち、リーマン中央値に対して自己対称性が確立される。