Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2410.04937 · Journal of Mathematical Physics

Riemannian-geometric generalizations of quantum fidelities and Bures-Wasserstein distance

A. Afham, Christopher Ferrie

Published Aug 1, 2025• 0 citations
arXivHTMLPDF

Abstract

We introduce a family of fidelities, termed generalized fidelity, which are based on the Riemannian geometry of the Bures-Wasserstein manifold. We show that this family of fidelities generalizes standard quantum fidelities such as Uhlmann-, Holevo-, and Matsumoto-fidelity and demonstrate that it satisfies analogous celebrated properties. The generalized fidelity naturally arises from a generalized Bures distance, the natural distance obtained by linearizing the Bures-Wasserstein manifold. We prove various invariance and covariance properties of generalized fidelity as the point of linearization moves along geodesic-related paths. We also provide a Block-matrix characterization and prove an Uhlmann-like theorem, as well as provide further extensions to the multivariate setting and to quantum Rényi divergences, generalizing Petz-, Sandwiched-, Reverse sandwiched-, and Geometric-Rényi divergences of order α.

DOI
10.1063/5.0252803

Related papers

Multivariate fidelities

Theshani Nuradha, Hemant K. Mishra, Felix Leditzky +1 more

Abstract The bivariate classical fidelity is a widely used measure of the similarity of two probability distributions. There exist a few extensions of the notion of the bivariate classical fidelity to more than two probability distributions; herein we call these extensions multivariate classical fidelities, with some examples being the Matusita multivariate fidelity and the average pairwise fidelity. Hitherto, quantum generalizations of multivariate classical fidelities have not been systematically explored, even though there are several well known generalizations of the bivariate classical fidelity to quantum states, such as the Uhlmann and Holevo fidelities. The main contribution of our paper is to introduce a number of multivariate quantum fidelities and show that they satisfy several desirable properties that are natural extensions of those of the Uhlmann and Holevo fidelities. We propose several variants that reduce to the average pairwise fidelity for commuting states, including the average pairwise z -fidelities, the multivariate semi-definite programming (SDP) fidelity, and a multivariate fidelity inspired by an existing secrecy measure. The second one is obtained by extending the SDP formulation of the Uhlmann fidelity to more than two states. All of these variants satisfy the following properties: (i) reduction to multivariate classical fidelities for commuting states, (ii) the data-processing inequality, (iii) invariance under permutations of the states, (iv) its values are in the interval [ 0 , 1 ] ; they are faithful, that is, their values are equal to one if and only if all the states are equal, and they satisfy orthogonality, that is their values are equal to zero if and only if the states are mutually orthogonal to each other, (v) direct-sum property, (vi) joint concavity, and (vii) uniform continuity bounds under certain conditions. Furthermore, we establish inequalities relating these different variants, indeed clarifying that all these definitions coincide with the average pairwise fidelity for commuting states. We also introduce another multivariate fidelity called multivariate log-Euclidean fidelity, which is a quantum generalization of the Matusita multivariate fidelity. We also show that it satisfies most of the desirable properties listed above, it is a function of a multivariate log-Euclidean divergence, and it has an operational interpretation in terms of quantum hypothesis testing with an arbitrarily varying null hypothesis. Lastly, we propose multivariate generalizations of Matsumoto’s geometric fidelity and establish several properties of them.

arXiv:2404.16101•Journal of Physics A Mathematical and Theoretical•Mar 27, 2025•6 citations

Generalized Fidelity, the Data Processing Inequality, and Convexity

Haobo Ma, Reza Rajaei, Wenlin Zhang

In this paper, we show that the generalized Bures--Wasserstein distance induced by the generalized fidelity fails the data processing inequality (DPI) in every dimension $n\geq2$. In dimension two, we derive three sufficient conditions guaranteeing the DPI by using an explicit formula for the real part of the generalized fidelity. Furthermore, we find a necessary and sufficient condition under which the generalized fidelity reduces to the Uhlmann fidelity. We also show that neither the generalized Bures--Wasserstein distance nor its square is convex in one state, even with the other state and the reference fixed, in every dimension $n\geq2$.

quant-pharXiv:2609.09753•Sep 10, 2026•0 citations

Bures-Wasserstein Geometry

Jesse van Oostrum

The Bures-Wasserstein distance is a Riemannian distance on the space of positive definite Hermitian matrices and is given by: $d(\Sigma,T) = \left[\text{tr}(\Sigma) + \text{tr}(T) - 2 \text{tr} \left(\Sigma^{1/2}T\Sigma^{1/2}\right)^{1/2}\right]^{1/2}$. This distance function appears in the fields of optimal transport, quantum information, and optimisation theory. In this paper, the geometrical properties of this distance are studied using Riemannian submersions and quotient manifolds. The Riemannian metric and geodesics are derived on both the whole space and the subspace of trace-one matrices. In the first part of the paper a general framework is provided, including different representations of the tangent bundle for the SLD Fisher metric. The last part of the paper unifies up till now independent arguments and results from quantum information theory and optimal transport. The Bures-Wasserstein geometry is related to the Fubini-Study metric and the Wigner-Yanase information.

•Jan 21, 2020•1 citation

Bures–Wasserstein geometry for positive-definite Hermitian matrices and their trace-one subset

Jesse van Oostrum

Abstract In his classical argument, Rao derives the Riemannian distance corresponding to the Fisher metric using a mapping between the space of positive measures and Euclidean space. He obtains the Hellinger distance on the full space of measures and the Fisher distance on the subset of probability measures. In order to highlight the interplay between Fisher theory and quantum information theory, we extend this construction to the space of positive-definite Hermitian matrices using Riemannian submersions and quotient manifolds. The analog of the Hellinger distance turns out to be the Bures–Wasserstein (BW) distance, a distance measure appearing in optimal transport, quantum information, and optimisation theory. First we present an existing derivation of the Riemannian metric and geodesics associated with this distance. Subsequently, we present a novel derivation of the Riemannian distance and geodesics for this metric on the subset of trace-one matrices, analogous to the Fisher distance for probability measures.

arXiv:2001.08056•Information Geometry•Sep 22, 2022•9 citations

Uhlmann’s Theorem for Measured Divergences

Kun Fang, Hamza Fawzi, Omar Fawzi

Uhlmann’s theorem is a cornerstone of quantum information theory, stating that for any quantum state ρABand any state σA, there exists an extension σABof σAsuch that the fidelity between ρABand σABequals the fidelity between their marginals ρAand σA. This property underpins many results and applications in quantum information science. In this work, we generalize Uhlmann’s theorem to a broad class of measuredf-divergences, including the measured α-Rényi divergences for all α ≥ 0. The well-known Uhlmann’s theorem for the fidelity corresponds to the special case α = 1/2. Since most commonly used quantum Rényi divergences, including the Petz and sandwiched Rényi divergences, cannot satisfy this property (except for degenerate cases), this fundamentally distinguishes measuredf-divergences from other quantum divergences and highlights their unique mathematical structure.

arXiv:2502.07745•IEEE Transactions on Information Theory•Dec 29, 2025•2 citations

A fidelity measure for quantum states based on the matrix geometric mean

Sam Cree, Jamie Sikora

Uhlmann's fidelity function is one of the most widely used similarity measures in quantum theory. One definition of this function is that it is the minimum classical fidelity associated with a quantum-to-classical measurement procedure of two quantum states. In 2010, Matsumoto introduced another fidelity function which is dual to Uhlmann's in the sense that it is the maximimum classical fidelity associated with a classical-to-quantum preparation procedure for two quantum states. Matsumoto's fidelity can also be defined using the well-established notion definition of the matrix geometric mean. In this work, we examine Matsumoto's fidelity through the lens of semidefinite programming to give simple proofs that it possesses many desirable properties for a similarity measure, including monotonicity under quantum channels, joint concavity, and unitary invariance. Finally, we provide a geometric interpretation of this fidelity in terms of the Riemannian space of positive definite matrices, and show how this picture can be useful in understanding some of its peculiar properties.

arXiv:2006.06918•Jun 12, 2020•5 citations
We introduce a family of fidelities, termed generalized fidelity, which are based on the Riemannian geometry of the Bures-Wasserstein manifold. We show that this family of fidelities generalizes standard quantum fidelities such as Uhlmann-, Holevo-, and Matsumoto-fidelity and demonstrate that it satisfies analogous celebrated properties. The generalized fidelity naturally arises from a generalized Bures distance, the natural distance obtained by linearizing the Bures-Wasserstein manifold. We prove various invariance and covariance properties of generalized fidelity as the point of linearization moves along geodesic-related paths. We also provide a Block-matrix characterization and prove an Uhlmann-like theorem, as well as provide further extensions to the multivariate setting and to quantum Rényi divergences, generalizing Petz-, Sandwiched-, Reverse sandwiched-, and Geometric-Rényi divergences of order α.
Abstract The bivariate classical fidelity is a widely used measure of the similarity of two probability distributions. There exist a few extensions of the notion of the bivariate classical fidelity to more than two probability distributions; herein we call these extensions multivariate classical fidelities, with some examples being the Matusita multivariate fidelity and the average pairwise fidelity. Hitherto, quantum generalizations of multivariate classical fidelities have not been systematically explored, even though there are several well known generalizations of the bivariate classical fidelity to quantum states, such as the Uhlmann and Holevo fidelities. The main contribution of our paper is to introduce a number of multivariate quantum fidelities and show that they satisfy several desirable properties that are natural extensions of those of the Uhlmann and Holevo fidelities. We propose several variants that reduce to the average pairwise fidelity for commuting states, including the average pairwise z -fidelities, the multivariate semi-definite programming (SDP) fidelity, and a multivariate fidelity inspired by an existing secrecy measure. The second one is obtained by extending the SDP formulation of the Uhlmann fidelity to more than two states. All of these variants satisfy the following properties: (i) reduction to multivariate classical fidelities for commuting states, (ii) the data-processing inequality, (iii) invariance under permutations of the states, (iv) its values are in the interval [ 0 , 1 ] ; they are faithful, that is, their values are equal to one if and only if all the states are equal, and they satisfy orthogonality, that is their values are equal to zero if and only if the states are mutually orthogonal to each other, (v) direct-sum property, (vi) joint concavity, and (vii) uniform continuity bounds under certain conditions. Furthermore, we establish inequalities relating these different variants, indeed clarifying that all these definitions coincide with the average pairwise fidelity for commuting states. We also introduce another multivariate fidelity called multivariate log-Euclidean fidelity, which is a quantum generalization of the Matusita multivariate fidelity. We also show that it satisfies most of the desirable properties listed above, it is a function of a multivariate log-Euclidean divergence, and it has an operational interpretation in terms of quantum hypothesis testing with an arbitrarily varying null hypothesis. Lastly, we propose multivariate generalizations of Matsumoto’s geometric fidelity and establish several properties of them.
In this paper, we show that the generalized Bures--Wasserstein distance induced by the generalized fidelity fails the data processing inequality (DPI) in every dimension n≥2n\geq2n≥2. In dimension two, we derive three sufficient conditions guaranteeing the DPI by using an explicit formula for the real part of the generalized fidelity. Furthermore, we find a necessary and sufficient condition under which the generalized fidelity reduces to the Uhlmann fidelity. We also show that neither the generalized Bures--Wasserstein distance nor its square is convex in one state, even with the other state and the reference fixed, in every dimension n≥2n\geq2n≥2.
The Bures-Wasserstein distance is a Riemannian distance on the space of positive definite Hermitian matrices and is given by: d(Σ,T)=[tr(Σ)+tr(T)−2tr(Σ1/2TΣ1/2)1/2]1/2d(\Sigma,T) = \left[\text{tr}(\Sigma) + \text{tr}(T) - 2 \text{tr} \left(\Sigma^{1/2}T\Sigma^{1/2}\right)^{1/2}\right]^{1/2}d(Σ,T)=[tr(Σ)+tr(T)−2tr(Σ1/2TΣ1/2)1/2]1/2. This distance function appears in the fields of optimal transport, quantum information, and optimisation theory. In this paper, the geometrical properties of this distance are studied using Riemannian submersions and quotient manifolds. The Riemannian metric and geodesics are derived on both the whole space and the subspace of trace-one matrices. In the first part of the paper a general framework is provided, including different representations of the tangent bundle for the SLD Fisher metric. The last part of the paper unifies up till now independent arguments and results from quantum information theory and optimal transport. The Bures-Wasserstein geometry is related to the Fubini-Study metric and the Wigner-Yanase information.
Abstract In his classical argument, Rao derives the Riemannian distance corresponding to the Fisher metric using a mapping between the space of positive measures and Euclidean space. He obtains the Hellinger distance on the full space of measures and the Fisher distance on the subset of probability measures. In order to highlight the interplay between Fisher theory and quantum information theory, we extend this construction to the space of positive-definite Hermitian matrices using Riemannian submersions and quotient manifolds. The analog of the Hellinger distance turns out to be the Bures–Wasserstein (BW) distance, a distance measure appearing in optimal transport, quantum information, and optimisation theory. First we present an existing derivation of the Riemannian metric and geodesics associated with this distance. Subsequently, we present a novel derivation of the Riemannian distance and geodesics for this metric on the subset of trace-one matrices, analogous to the Fisher distance for probability measures.
Uhlmann’s theorem is a cornerstone of quantum information theory, stating that for any quantum state ρABand any state σA, there exists an extension σABof σAsuch that the fidelity between ρABand σABequals the fidelity between their marginals ρAand σA. This property underpins many results and applications in quantum information science. In this work, we generalize Uhlmann’s theorem to a broad class of measuredf-divergences, including the measured α-Rényi divergences for all α ≥ 0. The well-known Uhlmann’s theorem for the fidelity corresponds to the special case α = 1/2. Since most commonly used quantum Rényi divergences, including the Petz and sandwiched Rényi divergences, cannot satisfy this property (except for degenerate cases), this fundamentally distinguishes measuredf-divergences from other quantum divergences and highlights their unique mathematical structure.
Uhlmann's fidelity function is one of the most widely used similarity measures in quantum theory. One definition of this function is that it is the minimum classical fidelity associated with a quantum-to-classical measurement procedure of two quantum states. In 2010, Matsumoto introduced another fidelity function which is dual to Uhlmann's in the sense that it is the maximimum classical fidelity associated with a classical-to-quantum preparation procedure for two quantum states. Matsumoto's fidelity can also be defined using the well-established notion definition of the matrix geometric mean. In this work, we examine Matsumoto's fidelity through the lens of semidefinite programming to give simple proofs that it possesses many desirable properties for a similarity measure, including monotonicity under quantum channels, joint concavity, and unitary invariance. Finally, we provide a geometric interpretation of this fidelity in terms of the Riemannian space of positive definite matrices, and show how this picture can be useful in understanding some of its peculiar properties.