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.

arXiv commentv2: 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 (21)

• Properties of Classical and Quantum Jensen-Shannon Divergence
• On a problem of optimal transport under marginal martingale constraints
• On the metric character of the quantum Jensen-Shannon divergence
• On the Mean Field and Classical Limits of Quantum Mechanics
• Wasserstein Dictionary Learning: Optimal Transport-based unsupervised non-linear dictionary learning
• The Quantum Wasserstein Distance of Order 1
• Monge Metric on the Sphere and Geometry of Quantum States
• Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems
• Quantum optimal transport with quantum channels
• The Schrödinger Equation in the Mean-Field and Semiclassical Regime
• The metric property of the quantum Jensen-Shannon divergence
• Monge Distance between Quantum States
• Wave Packets and the Quadratic Monge-Kantorovich Distance in Quantum Mechanics
• Quantum Monge-Kantorovich problem and transport distance between density matrices
• Empirical Measures and Quantum Mechanics: Application to the Mean-Field Limit
• Quantum quench in the Luttinger model with finite temperature initial state
• 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