Towards optimal transport for quantum densities

n analogue of the quadratic Wasserstein (or Monge-Kantorovich) distance between Borel probability measures on Rd has been defined in [14] for density operators on L2.(R^d), and used to estimate the convergence rate of various asymptotic theories in the context of quantum mechanics. The present work proves a Kantorovich-type duality theorem for this quantum variant of the Monge-Kantorovich or Wasserstein distance, and discusses the structure of op- timal quantum couplings. Specifically, we prove that, under some boundedness and constraint hypothesis on the Kantorovich potentials, optimal quantum cou- plings involve a gradient-type structure similar in the quantum paradigm to the Brenier transport map. On the contrary, when the two quantum densities have finite rank, the structure involved by the optimal coupling has, in general, no classical counterpart.