 Definition (Wasserstein-2 distance)  Let \(\mu(x)\) and \(\mu'(y)\) be any two probability distributions on the real line, and \(\gamma(x,y)\) any joint probability distribution that has \(\mu'\) and \(\mu\) as its marginals. Then: 