On the metric property of quantum Wasserstein divergences

Abstract

Quantum Wasserstein divergences are modified versions of quantum Wasserstein distances defined by channels, and they are conjectured to be genuine metrics on quantum state spaces by De Palma and Trevisan. We prove triangle inequality for quantum Wasserstein divergences for every quantum system described by a separable Hilbert space and any quadratic cost operator under the assumption that a particular state involved is pure, and all the states have finite energy. We also provide strong numerical evidence suggesting that the triangle inequality holds in general, for an arbitrary choice of states.

v2: main result extended to the infinite-dimensional setting + a new section concerning applications added. v3: accepted manuscript version. v4: a constant in Proposition 3 corrected + Corollary 4 and Remark 1 modified accordingly. 22 pages, 4 figures

References in corpus (9)

• Properties of Classical and Quantum Jensen-Shannon Divergence
• On the metric character of the quantum Jensen-Shannon divergence
• The Quantum Wasserstein Distance of Order 1
• Quantum Monge-Kantorovich problem and transport distance between density matrices
• Conformal dispersion relations for defects and boundaries
• Monotonicity of the quantum 2-Wasserstein distance
• Optimal quantum channels
• Quantum Wasserstein distance based on an optimization over separable states
• Quantum Wasserstein isometries on the qubit state space

Cited by in corpus (3)

• Order $p$ quantum Wasserstein distances from couplings
• Isometries of the qubit state space with respect to quantum Wasserstein distances
• Critical Scaling of the Quantum Wasserstein Distance