Matrix versions of the Hellinger distance

Abstract

On the space of positive definite matrices we consider distance functions of the form $d(A,B)=\left[\tr\mathcal{A}(A,B)-\tr\mathcal{G}(A,B)\right]^{1/2},$ where $\mathcal{A}(A,B)$ is the arithmetic mean and $\mathcal{G}(A,B)$ is one of the different versions of the geometric mean. When $\mathcal{G}(A,B)=A^{1/2}{B}^{1/2}$ this distance is $\Vert A^{1/2}-B^{1/2}{\Vert }_2,$ and when $\mathcal{G}(A,B)=(A^{1/2}B{A}^{1/2}{)}^{1/2}$ it is the Bures-Wasserstein metric. We study two other cases: $\mathcal{G}(A,B)=A^{1/2}(A^{-1/2}B{A}^{-1/2}{)}^{1/2}{A}^{1/2},$ the Pusz-Woronowicz geometric mean, and $\mathcal{G}(A,B)=\exp \left(\frac{\log A+\log B}{2}\right),$ the log Euclidean mean. With these choices $d(A,B)$ is no longer a metric, but it turns out that $d^2(A,B)$ is a divergence. We establish some (strict) convexity properties of these divergences. We obtain characterisations of barycentres of $m$ positive definite matrices with respect to these distance measures.

arXiv commentTheorem 9 has been corrected

References in corpus (9)

• Derivatives of Multilinear Functions of Matrices
• Quantum f-divergences and error correction
• The Burbea-Rao and Bhattacharyya centroids
• A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy II: Convexity and Concavity
• A Unified Treatment of Convexity of Relative Entropy and Related Trace Functions, with Conditions for Equality
• On the joint convexity of the Bregman divergence of matrices
• Geodesic distances on density matrices
• Geometry of Matrix Decompositions Seen Through Optimal Transport and Information Geometry
• Strong Convexity of Sandwiched Entropies and Related Optimization Problems

Cited by in corpus (14)

• Metrics for Graph Comparison: A Practitioner's Guide
• Domain Adaptation for Robust Workload Level Alignment Between Sessions and Subjects using fNIRS
• Quantum Monge-Kantorovich problem and transport distance between density matrices
• Divergence radii and the strong converse exponent of classical-quantum channel coding with constant compositions
• Monotonicity of the quantum 2-Wasserstein distance
• Quantum Optimal Transport
• Quantum Hellinger distances revisited
• Geometric relative entropies and barycentric Rényi divergences
• R-Mixup: Riemannian Mixup for Biological Networks
• Multivariate Fidelities
• Quantum state testing beyond the polarizing regime and quantum triangular discrimination
• Operator means, barycenters, and fixed point equations
• Riemannian-geometric generalizations of quantum fidelities and Bures-Wasserstein distance
• The Gaussian Transform