The transportation cost for the cube (Q2702136)

The main result of this article is the following Theorem: If A is a subset of the cube \(\Omega=[0, 1]^n \subset R^n\), \(\mu\) is the normalised restriction of the Lebesgue measure \(P\) to \(A\) (i.e., has density \(1_A/P(A)\) with respect to \(P\)), and the so-called ``transportation cost'' \(\tau(\mu, P)\) is defined to be the minimum over all functions \(b: \Omega \to \Omega\) which transport \(\mu\) to \(P\) (i.e., for which \(\mu(A)= \mu(b(A))\) whenever \(A\subset \Omega\)), of \(\int_{\Omega}|x-b(x)|^2 d\mu(x)\), where \(|.|\) is the square of the Euclidean distance, then \[ \tau(\mu,P)\leq -2\pi^{-2}\log P(A). \] For the entire collection see [Zbl 0949.00025].