This text is a set of lecture notes for a 4.5-hour course given at the Erdös Center (Rényi Institute, Budapest) during the Summer School "Optimal Transport on Quantum Structures" (September 19th-23rd, 2023). Lecture I introduces the quantum analogue of the Wasserstein distance of exponent
2 defined in [F. Golse, C. Mouhot, T. Paul: Comm. Math. Phys. 343 (2016), 165-205], and in [F. Golse, T. Paul: Arch. Ration. Mech. Anal. 223 (2017) 57-94]. Lecture II discusses various applications of this quantum analogue of the Wasserstein distance of exponent
2, while Lecture III discusses several of its most important properties, such as the triangle inequality, and the Kantorovich duality in the quantum setting, together with some of their implications.
The robustness of quantum transport under various perturbations is analyzed in disordered interacting many-body systems, which are constructed from the embedded Gaussian random matrix ensembles (EGEs). The transport efficiency can be enhanced drastically, if centrosymmetry (csEGE) is imposed. When the csEGE is perturbed with an ordinary EGE, the transport efficiency in the optimal cases is reduced significantly, while in the suboptimal cases the changes are less pronounced. Qualitatively the same behavior is observed, when parity and centrosymmetry are broken by block perturbations. Analyzing the influence of the environment coupling, optimal transport is observed at a certain coupling strength, while too weak and too strong coupling reduce the transport. Taking into account the effects of decoherence, in the EGE the transport efficiency approaches its maximum at a finite nonzero decoherence strength (environment-assisted transport). In the csEGE the efficiency decays monotonically with the decoherence but is always larger than in the EGE.
We prove Kantorovich duality for a linearized version of a recently proposed non-quadratic quantum optimal transport problem, where quantum channels realize the transport. As an application, we determine optimal solutions of both the primal and the dual problem using this duality in the case of quantum bits and distinguished cost operators, with certain restrictions on the states involved. Finally, keeping the same restrictions regarding the states involved, we use this information on optimal solutions to give an analytical proof of the triangle inequality even for the square of the induced quantum Wasserstein divergences.