{"id":"arxiv/2609.03769","url":"https://arxiv.org/abs/2609.03769","tags":["quant-ph","math-ph"],"score":0,"title":"Metricity of separable quantum optimal transport with the Hilbert-Schmidt cost","domain":"quant-ph","source":"arxiv","authors":["Tomasz Miller"],"reviews":0,"subject":"quant-ph","summary":"We prove that the square root of the separable quantum optimal transport cost associated with the orthogonal projection onto the antisymmetric subspace defines a genuine distance between density matrices. Equivalently, this establishes the triangle inequality for the order-two Beatty-França quantum optimal transport construction induced by the Hilbert-Schmidt distance between pure states. The result also proves metricity of the corresponding distance derived from separable SWAP fidelity. The proof replaces the unavailable gluing argument by convex-roof duality and a dimension-independent…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}