Let $\mu$ and $\nu$ be probability measures on $\mathbb{R}^n$ with first moment and suppose that both $\mu$ and $\nu$ have a densities with respect to the $n$-dimensional Lebesgue measure. Fix some positive integer $k$.


Are the "simple and broad conditions" guaranteeing that exist a class $C^k$ Monge map $T:\mathbb{R}^n\rightarrow \mathbb{R}^n$ i.e.:
$$
T\_{\#}\mu=\nu 
\mbox{, } 
\int \|T(x)-x\|\mu(dx) = \mathcal{W}\_1(\mu,\nu)
\mbox{, and } T\in C^k(\mathbb{R}^n,\mathbb{R}^n)?
$$



Regularity of transport map
This is an open question. The difficulty is that Monge's cost function is very degenerate, so doesn't satisfy the assumptions of the standard regularity theory of optimal transport.


The first difficulty is that the solutions to this problem need not be unique. However, the transport will occur along disjoint line segments (called transport rays) and in order for the transport to be continuous along each line segment, it is generally necessary to assume that the transport is monotonic along transport rays. ​With this additional assumption, you do obtain a unique solution to the Monge problem (for reasonable measures). In order to obtain any sort of regularity for this transport, you then need to assume that the support of the target measure is convex (which was originally shown by Caffarelli when the cost is the squared distance).


​However, even among smooth measures with convex supports, it is possible to find examples where the ray monotone solution fails to be Lipschitz continuous [1]. On the other hand, in two dimensions, there is a result which shows that the monotone optimal mapping is continuous in the interior of the transfer set (i.e., the union of all transfer rays), under the assumptions that the densities of $\mu$ and $\nu$ are positive, continuous, and have compact, convex and disjoint supports [2]. It seems that the optimal estimate, even for smooth measures, might be a $C^{1/2}$ estimate [3], but this is still an open problem.


[1] *Li, Qi-Rui; Santambrogio, Filippo; Wang, Xu-Jia*, [**Regularity in Monge’s mass transfer problem**](http://dx.doi.org/10.1016/j.matpur.2014.03.001), J. Math. Pures Appl. (9) 102, No. 6, 1015-1040 (2014). [ZBL1304.49094](https://zbmath.org/?q=an:1304.49094).


[2] *Fragalà, Ilaria; Gelli, Maria Stella; Pratelli, Aldo*, [**Continuity of an optimal transport in Monge problem**](http://dx.doi.org/10.1016/j.matpur.2005.02.002), J. Math. Pures Appl., IX. Sér. 84, No. 9, 1261-1294 (2005). [ZBL1075.49018](https://zbmath.org/?q=an:1075.49018).


[3] *Colombo, Maria; Indrei, Emanuel*, [**Obstructions to regularity in the classical Monge problem**](http://dx.doi.org/10.4310/MRL.2014.v21.n4.a6), Math. Res. Lett. 21, No. 4, 697-712 (2014). [ZBL1305.49068](https://zbmath.org/?q=an:1305.49068).


