On the pythagorean structure of the optimal transport for separable cost functions
Gennaro Auricchio
University of Bath, UK
Abstract
In this paper, we study the optimal transport problem induced by two measures supported over two polish spaces, namely, and , which are the product of smaller polish spaces, that is, and . In particular, we focus on problems induced by a cost function that is separable; i.e., is such that , where each depends only on the couple , and thus . Noticeably, if , this class of cost functions includes all the costs. Our main result proves that the optimal transportation plan with respect to a separable cost function between two given measures can be expressed as the composition of different lower-dimensional transports, one for each pair of coordinates in . This allows us to decompose the entire Wasserstein cost as the sum of lower-dimensional Wasserstein costs and to prove that there always exists an optimal transportation plan whose random variable enjoys a conditional independence property with respect to its marginals. We then show that our formalism allows us to explicitly compute the optimal transportation plan between two probability measures when each measure has independent marginals. Finally, we focus on two specific frameworks. In the first one, the cost function is a separable distance, i.e., , where both and are distances themselves. In the second one, both measures are supported over and the cost function is of the form , where is a convex function such that .
Cite this article
Gennaro Auricchio, On the pythagorean structure of the optimal transport for separable cost functions. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 34 (2023), no. 4, pp. 745–771
DOI 10.4171/RLM/1026