Cyclically monotone non-optimal $N$-marginal transport plans and Smirnov-type decompositions for $N$-flows

Petrache, Mircea

ESAIM: Control, Optimisation and Calculus of Variations, Tome 26 (2020), article no. 120.

Suite au passage du modèle économique de la revue en S20, le texte intégral des articles des années 2019 et 2020 est accessible uniquement sur le site de l'éditeur et est réservé aux abonnés.

In the setting of optimal transport with N ≥ 2 marginals, a necessary condition for transport plans to be optimal is that they are c-cyclically monotone. For N = 2 there exist several proofs that in very general settings c-cyclical monotonicity is also sufficient for optimality, while for N ≥ 3 this is only known under strong conditions on c. Here we give a counterexample which shows that c-cylclical monotonicity is in general not sufficient for optimality if N ≥ 3. Comparison with the N = 2 case shows how the main proof strategies valid for the case N = 2 might fail for N ≥ 3. We leave open the question of what is the optimal condition on c under which c-cyclical monotonicity is sufficient for optimality. The new concept of an N-flow seems to be helpful for understanding the counterexample: our construction is based on the absence of finite-support closed N-flows in the set where our counterexample cost c is finite. To follow this idea we formulate a Smirnov-type decomposition for N-flows.

[1] S. Bartz, H.H. Bauschke, J.M. Borwein, S. Reich and X. Wang, Fitzpatrick functions, cyclic monotonicity and Rockafellar’s antiderivative. Nonlinear Anal. Theory Methods Appl. 66 (2007) 1198–1223. | DOI | MR | Zbl

[2] S. Bartz, H.H. Sedi and X. Wang, A class of multi-marginal $c$-cyclically monotone sets with explicit $c$-splitting potentials. J. Math. Anal. Appl. 461 (2018) 333–348. | DOI | MR | Zbl

[3] M. Beiglböck, Cyclical monotonicity and the ergodic theorem. Ergodic Theory Dyn. Syst. 35 (2015) 710–713. | DOI | MR | Zbl

[4] S. Bianchini and L. Caravenna, On optimality of $c$-cyclically monotone transference plans. C. R. Math. Acad. Sci. Paris 348 (2010) 613–618. | DOI | MR | Zbl

[5] L. Brasco and M. Petrache, A continuous model of transportation revisited. J. Math. Sci. 196 (2014) 119–137. | DOI | MR | Zbl

[6] L. De Pascale. Optimal transport with Coulomb cost. Approximation and duality. ESAIM: M2AN 49 1643–1657. | DOI | Numdam | MR | Zbl

[7] L. De Pascale, On $c$-cyclical monotonicity for optimal transport problem with Coulomb cost. Euro. J. Appl. Math. 30 (2019) 1210–1219. | DOI | MR | Zbl

[8] G. Friesecke and D. Vögler, Breaking the curse of dimension in multi-marginal Kantorovich optimal transport on finite state spaces. SIAM J. Math. Anal. 50 (2018) 3996–4019. | DOI | MR | Zbl

[9] C. Griessler, $C$-cyclical monotonicity as a sufficient criterion for optimality in the multimarginal Monge-Kantorovich problem. Proc. AMS 146 (2018) 4735–4740. | DOI | MR | Zbl

[10] E. Paolini and E. Stepanov Decomposition of acyclic normal currents in a metric space. J. Funct. Anal. 263 (2012) 3358–3390. | DOI | MR | Zbl

[11] A. Pratelli, On the sufficiency of $c$-cyclical monotonicity for the optimality of transport plans. Math. Z. 258 (2008) 667–690. | DOI | MR | Zbl

[12] R.T. Rockafellar, Characterization of the subdifferentials of convex functions. Pacific J. Math. 17 (1966) 497–510. | DOI | MR | Zbl

[13] W. Schachermayer and J. Teichmann, Characterization of optimal transport plans for the Monge-Kantorovich problem. Proc. Amer. Math. Soc. 137 (2009) 519–529. | DOI | MR | Zbl

[14] S. Smirnov, Decomposition fo solenoidal vector charges into elementary solenoids and the structure of normal one-dimensional currents. St. Petersburg Math J. 5 (1994) 841–867. | MR | Zbl

[15] C. Villani, Optimal Transport: Old and New. Springer, Berlin (2019). | MR | Zbl