{"id":"arxiv/2607.27711","url":"https://arxiv.org/abs/2607.27711","tags":["math.DG","math.MG"],"score":0,"title":"Contracting Transport Maps on Riemannian Manifolds","domain":"math.DG","source":"arxiv","authors":["Shrey Aryan","Bang-Xian Han","Zhuo-Nan Zhu"],"reviews":0,"subject":"math.DG","summary":"We use inverse mean curvature flow to construct bi-Lipschitz maps that preserve normalized volume and decrease distances. These maps send a round sphere onto any smooth closed strictly convex hypersurface in a sphere and a flat disk onto any smooth strictly convex free-boundary disk in a Euclidean ball. In dimension two, this proves a conjecture of E. Milman for every smooth two-sphere with Gaussian curvature at least one and gives an analogous result for nonnegatively curved disks whose boundary has geodesic curvature one. The spherical result proves the two-dimensional case of the spectral…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}