Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper investigates the stability of optimal transport (OT) for the squared Carnot--Carathéodory distance on sub-Riemannian manifolds. It establishes sharp $W_1^{1/4}$ stability for OT maps and logarithmic $L^2$ stability for Kantorovich potentials under specific manifold and density conditions, with tight exponent bounds demonstrated by three-atom examples. These results provide crucial quantitative understanding of OT's robustness in non-Euclidean, anisotropic settings.
Optimal transport maps on sub-Riemannian manifolds are surprisingly stable, with a $W_1^{1/4}$ bound that's tight for horizontal rank two structures.
We study the stability of optimal transport for the squared Carnot--Carathéodory distance. We prove the sharp $W_1^{1/4}$ stability estimate for optimal transport maps on complete Riemannian and fat sub-Riemannian manifolds, assuming bounded source support and an upper density bound. On John domains with two-sided density bounds, we obtain logarithmic $L^2$ stability of Kantorovich potentials on complete smooth sub-Riemannian manifolds that are equiregular near the source, with arbitrary compact targets. For potentials, we obtain every Hölder exponent $0<α<1/2$ on two-generating structures, and the exponent $1/2$ in the Riemannian and fat settings and on all step-two Carnot groups. Three-atom examples show that the map and potential exponents with respect to $W_1$ cannot exceed $1/4$ and $1/2$, respectively, on any smooth sub-Riemannian manifold of horizontal rank at least two. We also construct smooth transport families whose target variation of order $t$ in $W_1$ produces map variation of order $t^{1/s}$ in an equiregular region of step $s$. The map estimates follow from coercivity of the duality defect, while the potential estimates follow from quantitative concavity of the Kantorovich functional.