Solutions to multi-marginal optimal transport problems concentrated on several graphs

Moameni, Abbas; Pass, Brendan

ESAIM: Control, Optimisation and Calculus of Variations, Tome 23 (2017) no. 2, pp. 551-567.

We study solutions to the multi-marginal Monge–Kantorovich problem which are concentrated on several graphs over the first marginal. We first present two general conditions on the cost function which ensure, respectively, that any solution must concentrate on either finitely many or countably many graphs. We show that local differential conditions on the cost, known to imply local $d$-rectifiability of the solution, are sufficient to imply a local version of the first of our conditions. We exhibit two examples of cost functions satisfying our conditions, including the Coulomb cost from density functional theory in one dimension. We also prove a number of results relating to the uniqueness and extremality of optimal measures. These include a sufficient condition on a collection of graphs for any competitor in the Monge–Kantorovich problem concentrated on them to be extremal, and a general negative result, which shows that when the problem is symmetric with respect to permutations of the variables, uniqueness cannot occur except under very special circumstances.

Classification : 49K20, 49K30
Mots clés : Multi-marginal optimal transport, Moge–Kantorovich problem, extremal points of convex sets, m-twist, c-splitting set

N. Ahmad, H.K. Kim and R.J. Mccann, Optimal transportation, topology and uniqueness. Bull. Math. Sci. 1 (2011) 13–32. | DOI | MR | Zbl

S. Bianchini and L. Caravenna. On the extremality, uniqueness, and optimality of transference plans. Bull. Inst. Math. Acad. Sin. (N.S.) 4 (2009) 353–454. | MR | Zbl

V.I. Bogachev, Measure Theory. Vol. I, II. Springer-Verlag, Berlin (2007). | MR | Zbl

G. Buttazzo, L. De Pascale and P. Gori-Giorgi. Optimal transport formulation of electronic density-functional theory. Phys. Rev. A 85 (2012) 062502. | DOI

L. Caffarelli, Allocation maps with general cost functions. In Partial Differential Equations and Applications. Vol. 177 of Lect. Notes Pure Appl. Math. Dekker, New York (1996) 2935. | MR | Zbl

G. Carlier, On a class of multidimensional optimal transportation problems. J. Convex Anal. 10 (2003) 517–529. | MR | Zbl

G. Carlier and B. Nazaret, Optimal transportation for the determinant. ESAIM: COCV 14 (2008) 678–698. | Numdam | MR | Zbl

P.A. Chiappori, A. Galichon and B. Salanie, The roommate problem is more stable than you think. Tech. Report (2014).

P.-A. Chiappori, R.J. Mccann and L.P. Nesheim, Hedonic price equilibria, stable matching, and optimal transport: equivalence, topology, and uniqueness. Econom. Theory 42 (2010) 317–354. | DOI | MR | Zbl

M. Colombo, L. De Pascale and S. Di Marino, Multimarginal Optimal Transport Maps for 1-dimensional Repulsive Costs. Canad. J. Math. 67 (2015) 350–368. | DOI | MR | Zbl

C. Cotar, G. Friesecke and C. Kluppelberg, Density functional theory and optimal transportation with Coulomb cost. Commun. Pure Appl. Math. 66 (2013) 548-599. | DOI | MR | Zbl

H.G. Kellerer, Duality theorems for marginal problems. Z. Wahrsch. Verw. Gebiete 67 (1984) 399–432. | DOI | MR | Zbl

W. Gangbo, Habilitation Thesis. Université de Metz (1995).

W. Gangbo and R.J. Mccann, The geometry of optimal transportation. Acta Math. 177 (1996) 113–161. | DOI | MR | Zbl

W. Gangbo and R.J. Mccann, Shape recognition via Wasserstein distance. Quart. Appl. Math. 58 (2000) 705–737. | DOI | MR | Zbl

W. Gangbo and A. Swiech. Optimal maps for the multidimensional mongekantorovich problem. Commun. Pure Appl. Math. 51 (1998) 23–45. | DOI | MR | Zbl

N. Ghoussoub and A. Moameni, Symmetric Monge–Kantorovich problems and polar decompositions of vector fields. Geom. Funct. Anal. 24 (2014) 1129–1166. | DOI | MR | Zbl

H. Heinich. Probleme de Monge pour n probabilities. C. R. Math. Acad. Sci. Paris 334 (2002) 793–795. | DOI | MR | Zbl

Y.-H. Kim and B. Pass, A general condition for Monge solutions in the multi-marginal optimal transport problem. SIAM J. Math. Anal. 46 (2014) 1538–1550. | DOI | MR | Zbl

V. Levin, Abstract cyclical monotonicity and Monge solutions for the general Monge–Kantorovich problem. Set-Valued Analysis 7 (1999) 7–32. | DOI | MR | Zbl

R. Mccann. Polar factorization of maps on Riemannian manifolds. Geom. Funct. Anal. 11 (2001) 589–608. | DOI | MR | Zbl

R. Mccann and L. Rifford, The intrinsic dynamics of optimal transport. J. Ecole Polytechnique – Math. 3 (2016) 67–98. | DOI | MR | Zbl

A. Moameni, Multi-marginal Monge–Kantorovich transport problems: A characterization of solutions. C. R. Math. Acad. Sci. Paris 352 (2014) 993–998. | DOI | MR | Zbl

A. Moameni, Support of extremal doubly stochastic measures. Preprint (2014). | MR

A. Moameni, A characterization for solutions of the Monge–Kantorovich mass transport problem. Math. Ann. 365 (2016) 1279–1304. | DOI | MR | Zbl

B. Pass, Structrual results on optimal transportation plans. Ph.D. thesis, University of Toronto (2011). Available at http://www.ualberta.ca/ pass/thesis.pdf | MR

B. Pass, Uniqueness and monge solutions in the multimarginal optimal transportation problem. SIAM J. Math. Anal. 43 (2011) 2758–2775. | DOI | MR | Zbl

B. Pass, On the local structure of optimal measures in the multimarginal optimal transportation problem. Calc. Var. Partial Differ. Eq. 43 (2012) 529–536. | DOI | MR | Zbl

B. Pass, Multi-marginal optimal transport: theory and applications. ESAIM: M2AN 49 (2015) 1771–1790. | DOI | Numdam | MR | Zbl

C. Villani, Optimal transport, Old and new. Grund. Math. Wiss. Springer-Verlag, Berlin (2009). | MR | Zbl