Metricity of separable quantum optimal transport with the Hilbert-Schmidt cost
The paper establishes that a specific distance derived from separable quantum optimal transport costs defines a genuine metric between density matrices. It resolves an open problem by proving the triangle inequality for these quantum transport constructions, providing a rigorous metric structure using separable couplings and pure-state geometry.