{"id":"arxiv/2604.22670","url":"https://arxiv.org/abs/2604.22670","tags":["math.OC","math.PR"],"score":0,"title":"Second-order geometry of optimal transport: cost identifiability and stability","domain":"math.OC","source":"arxiv","authors":["Gabriel Peyré","Clarice Poon","Oscar Tron"],"reviews":0,"subject":"math.OC","summary":"We study the optimal transport value as a functional of the ground cost. Although this functional is an infimum of linear functionals and is therefore polyhedral for finitely supported marginals, it develops genuine second-order geometry in the smooth continuous setting. Under twist, nondegeneracy, and regularity assumptions, we prove twice differentiability with respect to the cost in Hölder spaces, derive a variational formula for the Hessian, and characterize its null space. The resulting curvature is strict transverse to the cost perturbations that preserve the observed optimal plan.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-24","reactions":{}}