[논문 리뷰] The Riemannian median of positive-definite matrices

Yutaro Nakagawa|arXiv (Cornell University)|2026. 02. 15.

Mathematical Inequalities and Applications인용 수 0

한 줄 요약

논문은 양의 정의 행렬들 튜플에 대한 Riemannian median을 정의하고 Riemannian trace metric 공간에서 median–mean 유형의 부등식을 증명하며, 여러 구조적 성질들을 제시한다.

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 평균과의 관계를 포함).
• 특정 사례에서의 교환성, 이상치 민감도, 불변성 및 단조성 등 리만나 중앙값의 특성을 조사한다.
• Congruence, joint homogeneity, self-duality에서 중앙값의 거동을 탐구하고 일반적으로 단조성에 대한 반례를 제시한다.

제안 방법

• F_p(X; A)를 delta(X, A_k)^p의 평균으로 정의하고 p>1에서 F_p가 유일한 최소점을 갖는 것을 보인다.
• F_1이 최소점을 갖는다는 것을 보이기 위해 지오데식 구성 분석과 공통 지오데식에 대한 투영 인수를 사용한다.
• Riemannian median M(A)을 p ↓ 1일 때의 M_p(A)의 극한으로 정의하고 수렴 인수를 통해 존재를 증명한다.
• delta(M, Lambda) ≤ (1/n)∑ delta(A_k, Lambda) ≤ sqrt{(1/n)∑ delta(A_k, Lambda)^2}를 증명하는 핵심 부등식을 보이고, Lambda는 Karcher 평균이다.
• 교환성, 이상치, 합동 불변성, 공동 동질성, 자기 대칭성, 특수한 경우의 단조성 등과 같은 특성을 조사한다.

실험 결과

연구 질문

• RQ1 리만나 설정에서 실수값 중앙값의 자연스러운 행렬값 유사 개념은 무엇인가?
• RQ2 리만나 중앙값과 Karcher 평균 및 거리 메트릭을 |μ−m|≤σ에 상응하는 형태의 깔끔한 부등식으로 연결할 수 있는가?
• RQ3 Congruence, joint homogeneity 같은 연산 아래에서 리만나 중앙값이 갖는 불변성과 구조적 성질은 무엇인가?
• RQ4 양의 정의 행렬 공간에서 이상치가 리만나 중앙값에 어떤 영향을 미치는가?
• RQ5 일반적으로 단조성 속성이 성립하는가, 그리고 어떤 조건에서 반례가 존재하는가?

주요 결과

• 점 M(A)은 p가 1로 접근하는 극한으로서 M_p(A)의 한계로서 존재한다.
• 중앙값은 |μ−m|≤σ의 행렬적 유사에 해당하는 부등식 delta(M, Lambda) ≤ (1/n)∑ delta(A_k, Lambda) ≤ sqrt{(1/n)∑ delta(A_k, Lambda)^2}를 만족한다.
• 가령 교환적 경우에서 최소화 성질과 Totally geodesic 부분다차원에 대한 거동이 특성화되며 M(A)가 데이터 행렬과 교환한다.
• 이상치는 실수값 데이터와 유사한 방식으로 리만나 중앙값에 영향을 주며, 볼록성 및 NPC 공간 프레임워크에서의 성질을 연구한다.
• Congruence 불변성과 공동 동질성은 성립하며, 리만나 중앙값에 대해 자기 대칭성이 확립된다.