Constrained Approximate Optimal Transport Maps

Eloi Tanguy,Agnès Desolneux,Julie Delon
2024-07-18
Abstract:We investigate finding a map $g$ within a function class $G$ that minimises an Optimal Transport (OT) cost between a target measure $\nu$ and the image by $g$ of a source measure $\mu$. This is relevant when an OT map from $\mu$ to $\nu$ does not exist or does not satisfy the desired constraints of $G$. We address existence and uniqueness for generic subclasses of $L$-Lipschitz functions, including gradients of (strongly) convex functions and typical Neural Networks. We explore a variant that approaches a transport plan, showing equivalence to a map problem in some cases. For the squared Euclidean cost, we propose alternating minimisation over a transport plan $\pi$ and map $g$, with the optimisation over $g$ being the $L^2$ projection on $G$ of the barycentric mapping $\overline{\pi}$. In dimension one, this global problem equates the $L^2$ projection of $\overline{\pi^*}$ onto $G$ for an OT plan $\pi^*$ between $\mu$ and $\nu$, but this does not extend to higher dimensions. We introduce a simple kernel method to find $g$ within a Reproducing Kernel Hilbert Space in the discrete case. Finally, we present numerical methods for $L$-Lipschitz gradients of $\ell$-strongly convex potentials.
Optimization and Control
What problem does this paper attempt to address?
### Problems Addressed by the Paper This paper aims to address the problem of approximating the Optimal Transport (OT) mapping within a specific class of functions. Specifically, the researchers seek to find a mapping \( g \) that minimizes the optimal transport cost from a given source distribution \( \mu \) to a target distribution \( \nu \) within a function class \( G \). #### Main Contributions: 1. **Existence and Uniqueness**: - The study investigates the existence and uniqueness of the optimal transport mapping within general subclasses of Lipschitz functions, including convex function gradients and typical neural networks. - It explores the alternating minimization method under the squared Euclidean cost and proposes a method to project \( g \) onto \( G \) using \( L^2 \) projection. 2. **Numerical Methods**: - A simple kernel method is proposed to find the mapping \( g \) in discrete cases. - Numerical methods are provided for strongly convex potential functions with \( L \)-Lipschitz gradients. 3. **Theoretical Results**: - The relationship between the optimization problem and the barycenter projection problem in different dimensions is established, showing equivalence in certain cases. - It is proven that the optimization problem has a solution under specific conditions. 4. **Application Examples**: - Numerical experiments demonstrate the mapping solutions under different Lipschitz constants. In summary, this paper primarily addresses the problem of finding approximate optimal transport mappings under constrained conditions, exploring its theoretical foundations and practical applications.