Contraction Maps Generated by Inverse Mean Curvature Flow

Bang-Xian Han; Zhuo-Nan Zhu

Contraction Maps Generated by Inverse Mean Curvature Flow

T0 review · 0 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Inverse mean curvature flow builds normalized-area-preserving Lipschitz contractions that carry the round sphere onto every smooth positively curved two-sphere, proving the contraction conjecture in the last nontrivial dimension.

desk verdict Solves the last open dimension of Milman's contraction conjecture via an original IMCF construction; the internal argument is clean and the main caveat is a stack of external convergence/embedding theorems that referees should verify. read the letter →

arxiv 2607.27711 v1 pith:CKZCYBVI submitted 2026-07-30 math.DG math.MG

Bang-Xian Han , Zhuo-Nan Zhu This is my paper · ORCID

classification math.DGmath.MG MSC 53C2153E1049Q2253C4558J50

keywords inversemeancurvatureflowcontractionmapsRiemanniantwo-spheresLipschitzorderfree-boundaryhypersurfacesspectralcomparisonAlexandrovsurfacesoptimaltransport

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Working with the inverse mean curvature flow of a strictly convex hypersurface, this paper proves that the backward flow maps are automatically 1-Lipschitz and preserve normalized area, because the metric grows while the area form scales uniformly. Sending the flow to its terminal model (the equator in the sphere, the flat disk in the ball) yields a concrete bi-Lipschitz contraction from the model onto the initial surface. In dimension two this establishes the contraction conjecture: every smooth Riemannian two-sphere with Gaussian curvature at least one is the image of the round sphere under such an area-preserving map with Lipschitz constant at most one, and strictly less than one when the curvature is strictly positive. The same construction gives contractions from the Euclidean ball to strictly convex free-boundary hypersurfaces and to intrinsically nonnegatively curved disks with boundary geodesic curvature one. Consequences include two-sided spectral comparison with rigidity: any equality in the lower spectral bound forces the target metric to be round.

What carries the argument

Inverse mean curvature flow (IMCF): the evolution of a hypersurface with normal speed equal to the reciprocal of its mean curvature. Its load-bearing identity is the pair of first-variation formulas ∂_t g_t = 2H^{-1} h_t and ∂_t dA_t = dA_t, which translate into metric growth and uniform area growth. The paper's endpoint proposition then passes from finite-time flow maps to the terminal limit, using the terminal convergence of IMCF to the equator (closed case) or the flat disk (free-boundary case) to produce the final contraction.

What would settle it

Measure the infimum Lipschitz constant among area-preserving maps from the round sphere to a positively curved two-sphere; any metric for which this infimum is greater than one would refute the theorem. A useful test is a sequence of smooth metrics approaching a diameter-π football-shaped limit: if the limiting infimum exceeds 1, the main claim fails.

Watch

Extended reading notes

Core claim

The paper's central discovery is that inverse mean curvature flow is the unique positive normal flow whose backward Lagrangian maps are both distance-contracting and normalized-area-preserving. Under the speed f=H^{-1}, the induced metric satisfies ∂_t g_t = 2H^{-1} h_t ≥ 0 while the area form satisfies ∂_t dA_t = dA_t; the first inequality means backward maps shrink distances, and the spatially constant area growth means they preserve normalized area. By proving a compactness result that sends these finite-time maps to the flow's terminal limit, the authors obtain a bi-Lipschitz homeomorphism from the terminal model (round equator or flat disk) onto any smooth strictly convex initial hypers

Load-bearing premise

The whole argument depends on the flow's terminal behavior: inverse mean curvature flow must settle smoothly onto the equator (or flat disk), and every intrinsic metric satisfying the curvature bounds must be realizable as a strictly convex surface; if either fails, the claimed contraction maps are not guaranteed.

Editorial extensions

If this is right

Every smooth two-sphere (M,g) with Gaussian curvature at least 1 admits a normalized-area-preserving bi-Lipschitz contraction T:S²→M with Lip(T)≤1; consequently the normalized round sphere dominates (M,g) in the metric–measure Lipschitz order, transferring isoperimetric, concentration, and spectral inequalities to M.
Two-sided spectral comparison holds with the actual Lipschitz constant: L^{-2}λ_k(S²,gcan) ≤ λ_k(M,g) ≤ (L/a)²λ_k(S²,gcan), and equality for any k≥1 forces T to be an isometry after scaling, so the only equality metric is round.
For closed strictly convex hypersurfaces in the sphere, the contraction has Lipschitz constant strictly below one; for geodesic spheres the bound is sharp, with equality in the two-sided estimate, showing the strictness cannot be uniform.
For strictly convex free-boundary hypersurfaces in the unit ball, the flat disk contracts onto Σ with L<1, giving |Σ|<ω_n and λ^{D/N}_k(Σ) ≥ L^{-2}λ^{D/N}_k(B^n).
The intrinsic disk theorem extends the same conclusions to smooth metrics on the disk with Kg≥0 and boundary geodesic curvature 1, yielding spectral comparison for Dirichlet and Neumann Laplacians.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the main construction is robust, the same endpoint-contraction principle should work for other curvature flows with speeds satisfying fH=1 after reparametrization; this suggests a general recipe for flow-generated transport maps with prescribed Lipschitz constants.
For rotationally symmetric targets the IMCF evolution is explicit, so the Lipschitz constant of the constructed map should be computable; comparing it with diameter or width could yield a quantitative 'roundness modulus' and sharpen the rigidity statement before spectral equality.
The appearance of equality only in the round/large-sphere limit and in singular Alexandrov footballs suggests the boundary of the contraction theorem is marked by metric degenerations; testing a sequence of smooth metrics converging to a football would clarify whether the Lipschitz constant tracks the metric distance to the round sphere.
In the free-boundary setting the extrinsic theorem already holds in all dimensions, so a higher-dimensional intrinsic disk theorem would follow if a free-boundary embedding theorem analogous to the two-dimensional one is available; this is a concrete open direction.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear colleague,

The short version: this paper proves E. Milman's contraction conjecture for smooth Riemannian two-spheres with Gaussian curvature at least one, and it does it with an original, clean idea — inverse mean curvature flow's backward maps are, by first variation, the unique normal-flow maps that both contract distance and preserve normalized area. The endpoint compactness argument (Prop 2.4) turns the flow's terminal convergence into a bi-Lipschitz contraction onto the initial hypersurface. That is genuinely new, and it closes the dimension where the conjecture was still open.

What the paper does well: the first-variation derivation in §2 is crisp; Prop 2.2 makes clear why IMCF is the right flow, and the co-Lipschitz estimate Lemma 2.3 is useful beyond this application. The rigidity result, Theorem 4.5, is substantive — it applies to any area-preserving Lipschitz map from the round sphere to a smooth two-sphere, shows equality in the spectral lower bound forces a=L^2 and isometry, and recovers Lin–Wang–Xu's spectral rigidity. That part is self-contained and convincing. The Alexandrov and free-boundary extensions follow the same template, and the conformal-approximation arguments look fine.

The soft spot, as flagged in the stress-test note, is the endpoint construction's dependence on external convergence theorems: [25, Thm 1.4] for closed IMCF in S^{n+1} and [19, Thm 1.1/Rem 7.4] for free-boundary IMCF. The paper states the resulting C^{1,β} radial-graph convergence to the equator/flat disk but does not restate the hypotheses of those theorems. If those theorems carry extra assumptions (e.g. the initial hypersurface is already star-shaped, or convergence is in a weaker norm), the uniform metric convergence q_t→g_can and hence the Arzelà–Ascoli step in Prop 2.4 would need adjustment. This is not a flaw I can confirm from the text — the citations look appropriate, and the flow literature does have such results for convex hypersurfaces — but it is the load-bearing link that a referee must check. The same applies to Lu's spherical Weyl embedding and Koerber's free-boundary Weyl theorem, on which the intrinsic theorems depend.

Overall: the internal machinery is sound, the result is important, and the citation-boundary uncertainty is exactly what peer review is for. I'd send it out. The referee should be asked to confirm the stated convergence theorems cover every smooth strictly convex initial hypersurface, and whether the regularity upgrade (Lemma 4.1 via Pogorelov) is needed at the stated level.

Who it's for: anyone working on optimal transport, metric geometry, spectral comparison, or curvature flows. I'd cite it if the endpoint verification pans out.

Recommendation: accept for peer review.

Referee Report

0 major / 5 minor

Summary. The paper introduces a flow-based construction of normalized-area-preserving Lipschitz contractions. The central mechanism is that for a normal flow of convex hypersurfaces with inverse-mean-curvature speed, the backward flow maps are 1-Lipschitz and preserve normalized area (Props. 2.1--2.2). A compactness endpoint argument (Prop. 2.4) upgrades these finite-time backward maps to a bi-Lipschitz area-preserving contraction from the terminal model hypersurface to the initial one. This is applied, first, to inverse mean curvature flow of closed strictly convex hypersurfaces in S^{n+1} and, second, to free-boundary convex hypersurfaces in B^{n+1}, yielding Theorem 1.2. In dimension two, the closed case is combined with Lu's spherical Weyl embedding to prove Theorem 1.1, E. Milman's contraction conjecture for smooth Riemannian two-spheres with K_g>=1; the free-boundary case is combined with Koerber's Weyl theorem to prove the analogous intrinsic disk theorem (Thm. 1.3). The paper also establishes map-level spectral rigidity (Thm. 4.5) and recovers the Lin--Wang--Xu spectral rigidity as a corollary.

Significance. If correct, Theorem 1.1 settles the last open nontrivial case of E. Milman's conjecture: the normalized round sphere dominates every smooth positively curved two-sphere in Gromov's Lipschitz order. The method is original and elegant: inverse mean curvature flow is singled out from first-variation formulas as the unique normal flow whose backward maps satisfy both contraction and normalized-area preservation. The proof is essentially parameter-free and the chain of reductions is transparent: flow convergence -> endpoint map -> Weyl embedding -> intrinsic theorem. The main external inputs are independent published convergence theorems of Makowski--Scheuer and Lambert--Scheuer and Weyl embedding theorems; the text verifies the hypotheses it states. The rigidity theorem is a strong addition, giving equality cases at the actual Lipschitz threshold.

minor comments (5)

[§3, Eq. (3.2)] The endpoint construction depends on the C^{1,β} radial-graph convergence from [25, Thm. 1.4]. The text cites Assumption 1.3(i) of [25] and the convex-body result [6], but does not reproduce the precise statement or full hypotheses. Since this is the load-bearing external input, please add a short remark stating exactly which hypotheses of [25, Thm. 1.4] are satisfied and what the theorem guarantees, especially the existence of a fixed limiting equator over which the flow is a radial graph from some time onward.
[§5, around Eq. (5.3)] The same request applies to [19, Thm. 1.1 and Rem. 7.4]: state the hypotheses already verified (including the one-sided condition from (5.2)) and the precise convergence statement used in (5.6). Also, the notation Q_t(x)=f(x,u_t(x)) is introduced without defining f; please either define it or give the precise reference to the Möbius graph parametrization of [19, §5], including the property f(x,1)=x.
[§4, Proof of Theorem 1.1] The passage from the approximating maps T_ε to the limit T is summarized as 'the same argument as in the proof of Proposition 2.4'. Since the lower bound in (4.5) is what upgrades the uniform limit to a bi-Lipschitz homeomorphism, it would help to spell out the injectivity and surjectivity argument in one or two sentences, rather than relying on an analogy.
[§2, Lemma 2.3] The citation [3, Cor. 2.14] for Rademacher's theorem on Alexandrov spaces may not be the standard source; the metric-measure calculus of [18] seems more directly applicable. Please check and correct the reference.
[Miscellaneous] Minor typographical issues: 'Gronwall' should be 'Grönwall', 'F unding' in the acknowledgments section should be 'Funding', and the spelling of 'Möbius'/'Mobius' should be made consistent.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the construction derives IMCF from first variation and imports terminal convergence from independent external work.

full rationale

The derivation chain is self-contained in its core. Prop. 2.1 and Prop. 2.2 derive the backward-map contraction and measure preservation from the first-variation formulas ∂t gt = 2 ft ht and ∂t dAt = ft Ht dAt, and then identify IMCF as the positive normal flow for which ft Ht = c(t). This is a derivation, not an ansatz containing the target Lipschitz map. Proposition 2.4 converts finite-time metric monotonicity plus terminal convergence into an endpoint map by Arzelà–Ascoli; the terminal convergence is imported from Makowski–Scheuer [25, Thm 1.4] and Lambert–Scheuer [19, Thm 1.1/Rem 7.4], both independent published theorems with stated hypotheses, not from this paper. The intrinsic Theorem 1.1 uses Lu's spherical Weyl embedding [23], Koerber's free-boundary Weyl theorem [16], and Pogorelov regularity, again external and parameter-free. No fitted parameters are renamed as predictions, no self-citation carries the load, and the target inequality is not assumed in any cited result. The only weakness is the correctness risk that the cited terminal-convergence theorems might have hidden hypotheses (e.g. star-shapedness) not restated in the paper; this affects soundness of the imported input, but it is not circularity. Hence the circularity score is essentially 0–1.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The paper introduces no free parameters and no invented entities; it is a deterministic geometric construction. The central claims rest on a package of published external theorems (IMCF convergence in the sphere and ball, spherical and free-boundary Weyl embedding, Pogorelov regularity, Reshetnyak rigidity, Milman's contraction principle) which are cited but not re-derived. The novelty lies in the contraction/endpoint machinery built on top of these inputs, not in the inputs themselves.

assumptions (8)

domain assumption IMCF on closed strictly convex hypersurfaces in S^{n+1} exists on a finite maximal interval, preserves strict convexity, and converges to the equator with radial graph u_t → π/2 in C^{1,β}
Imported from [25, Theorem 1.4] and [8]; used in §3 (3.1)-(3.4) to obtain metric growth, area growth dA_t = e^t dA_0, and the terminal equator model.
domain assumption IMCF with free boundary on strictly convex hypersurfaces in B^{n+1} exists and converges to the flat disk with Möbius graph parameter u_t → 1 in C^{1,β}
Imported from [19, Theorem 1.1, Remark 7.4, Prop 6.6]; used in §5 (5.3)-(5.7) for the free-boundary endpoint argument.
domain assumption Lu's spherical Weyl theorem: a smooth metric on S^2 with Kg > 1 admits a C^2 isometric embedding into S^3, upgraded to smoothness by Pogorelov's elliptic-space regularity theorem
Used in the proof of Theorem 1.1 (§4) to reduce the intrinsic conjecture to the extrinsic contraction; the C^2→C^∞ step uses [28, Chapter VII, Section 4, Theorem 1] and Lemma 4.1.
domain assumption Koerber's free-boundary Weyl theorem: metrics on B^2 with Kg > 0 and boundary geodesic curvature 1 embed isometrically into B^3 with free boundary, with a uniqueness statement that upgrades regularity
Used in the proof of Theorem 1.3 (§5); the uniqueness part is used to promote F_k to a smooth embedding.
domain assumption Milman's contraction principle for spectral comparison under 1-Lipschitz measure-preserving maps, including the version with boundary
Used in Corollary 4.4 and Corollary 5.1 to convert the constructed map into eigenvalue bounds; [27, Proposition 3.1 and Theorem 3.6].
domain assumption Reshetnyak rigidity for Riemannian manifolds: a map with a.e. differential in SO(2) is a smooth local isometry
Used in Theorem 4.5 to upgrade the rigidity data to an isometry; [17, Theorem 1.1].
domain assumption Conformal approximation / heat regularization of Alexandrov two-spheres (curvature ≥ 1) by smooth metrics with Kg ≥ 1, with metrics and measures converging in C^0 and TV
Used in Corollary 4.2; imported from [22, Lemmas 11.7 and 11.8].
standard math Standard analytic facts: Grönwall inequality, Arzelà-Ascoli, area formula, W^{1,∞}-to-Lipschitz principle, Gauss-Bonnet, Sobolev-to-Lipschitz on Alexandrov spaces, coarea formula
Used throughout Sections 2-5; routine and not re-proved.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Contraction Maps Generated by Inverse Mean Curvature Flow." pith.science (2026). https://pith.science/paper/CKZCYBVI

@misc{pith2026260727711,
  author       = {Pith},
  title        = {Pith review of: Contraction Maps Generated by Inverse Mean Curvature Flow},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CKZCYBVI}},
  note         = {Machine review of arXiv:2607.27711}
}

read the original abstract

We use inverse mean curvature flow to construct normalized-area-preserving Lipschitz contractions, in an approach analogous in spirit to the heat-flow construction of Kim and E. Milman. This yields contractions from the round sphere onto closed strictly convex hypersurfaces in the sphere, and from the flat disk onto strictly convex free-boundary hypersurfaces in the Euclidean ball. In dimension two, this proves E. Milman's contraction conjecture for Riemannian two-spheres and gives an analogous intrinsic result for nonnegatively curved disks whose boundary has geodesic curvature one. These maps also yield two-sided spectral comparison and map-level rigidity at the actual Lipschitz threshold, recovering a theorem of Lin, Wang and Xu.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 7 canonical work pages

[1]

Andrews,Pinching estimates and motion of hypersurfaces by curvature functions, J

B. Andrews,Pinching estimates and motion of hypersurfaces by curvature functions, J. Reine Angew. Math.608(2007), 17–33

2007
[2]

Aryan,Spectral obstructions to contracting transport maps on curved spaces, arXiv:2605.24705v1 (2026), accessed July 28, 2026

S. Aryan,Spectral obstructions to contracting transport maps on curved spaces, arXiv:2605.24705v1 (2026), accessed July 28, 2026

arXiv 2026
[3]

Bertrand,Existence and uniqueness of optimal maps on Alexandrov spaces, Adv

J. Bertrand,Existence and uniqueness of optimal maps on Alexandrov spaces, Adv. Math.219(2008), no. 3, 838–851

2008
[4]

Burago, Y

D. Burago, Y. Burago, and S. Ivanov,A Course in Metric Geometry, Graduate Studies in Mathematics, vol. 33, American Mathematical Society, Providence, RI, 2001

2001
[5]

L. A. Caffarelli,Monotonicity properties of optimal transportation and the FKG and related inequalities, Comm. Math. Phys.214(2000), no. 3, 547–563. 18

2000
[6]

M. P. do Carmo and F. W. Warner,Rigidity and convexity of hypersurfaces in spheres, J. Differential Geom.4(1970), 133–144

1970
[7]

Ge and J

Y. Ge and J. Serres,A generalization of Caffarelli’s contraction theorem to nearly spherical manifolds, arXiv:2512.01496v1 (2025), accessed July 28, 2026

arXiv 2025
[8]

Gerhardt,Curvature flows in the sphere, J

C. Gerhardt,Curvature flows in the sphere, J. Differential Geom.100(2015), no. 2, 301–347

2015

Show all 30 references

[9]

Gerhardt,Curvature Problems, Series in Geometry and Topology, vol

C. Gerhardt,Curvature Problems, Series in Geometry and Topology, vol. 39, Interna- tional Press, Somerville, MA, 2006

2006
[10]

Gromov,Metric Structures for Riemannian and Non-Riemannian Spaces, Modern Birkh¨ auser Classics, Birkh¨ auser Boston, Boston, MA, 2007, doi:10.1007/978-0-8176- 4583-0

M. Gromov,Metric Structures for Riemannian and Non-Riemannian Spaces, Modern Birkh¨ auser Classics, Birkh¨ auser Boston, Boston, MA, 2007, doi:10.1007/978-0-8176- 4583-0

2007 doi
[11]

Gimeno i Garcia and F

V. Gimeno i Garcia and F. Gonz´ alez-Ib´ a˜ nez,Evolution of the torsional rigidity under geometric flows, Potential Anal.64(2026), Article No. 29, doi:10.1007/s11118-025- 10243-y

2026 doi
[12]

P. T. Ho and J. Pyo,First eigenvalues of free boundary hypersurfaces in the unit ball along the inverse mean curvature flow, Differential Geom. Appl.93(2024), Article No. 102095, doi:10.1016/j.difgeo.2023.102095

2024
[13]

Karpukhin, N

M. Karpukhin, N. Nadirashvili, A. V. Penskoi, and I. Polterovich,An isoperimetric inequality for Laplace eigenvalues on the sphere, J. Differential Geom.118(2021), no. 2, 313–333, doi:10.4310/jdg/1622743142

2021
[14]

Kim and E

Y.-H. Kim and E. Milman,A generalization of Caffarelli’s contraction theorem via (reverse) heat flow, Math. Ann.354(2012), no. 3, 827–862, doi:10.1007/s00208-011- 0749-x

2012 doi
[15]

Kirchheim,Rectifiable metric spaces: local structure and regularity of the Hausdorff measure, Proc

B. Kirchheim,Rectifiable metric spaces: local structure and regularity of the Hausdorff measure, Proc. Amer. Math. Soc.121(1994), no. 1, 113–123

1994
[16]

K¨ orber,A free boundary isometric embedding problem in the unit ball, Calc

T. K¨ orber,A free boundary isometric embedding problem in the unit ball, Calc. Var. Par- tial Differential Equations61(2022), no. 2, Article No. 50, 36 pp., doi:10.1007/s00526- 021-02173-5

2022 doi
[17]

Kupferman, C

R. Kupferman, C. Maor, and A. Shachar,Reshetnyak rigidity for Riemannian mani- folds, Arch. Ration. Mech. Anal.231(2019), no. 1, 367–408, doi:10.1007/s00205-018- 1282-9

2019 doi
[18]

Kuwae, Y

K. Kuwae, Y. Machigashira, and T. Shioya,Sobolev spaces, Laplacian, and heat kernel on Alexandrov spaces, Math. Z.238(2001), no. 2, 269–316, doi:10.1007/s002090100252

2001 doi
[19]

Lambert and J

B. Lambert and J. Scheuer,The inverse mean curvature flow perpendicular to the sphere, Math. Ann.364(2016), no. 3–4, 1069–1093, doi:10.1007/s00208-015-1248-2

2016 doi
[20]

Lambert and J

B. Lambert and J. Scheuer,A geometric inequality for convex free boundary hy- persurfaces in the unit ball, Proc. Amer. Math. Soc.145(2017), no. 9, 4009–4020, doi:10.1090/proc/13516

2017 doi
[21]

E. A. Lauret,The smallest Laplace eigenvalue of homogeneous3-spheres, Bull. Lond. Math. Soc.51(2019), no. 1, 49–69, doi:10.1112/blms.12213. 19

2019 doi
[22]

S. Lin, H. Wang, and G. Xu,Eigenvalues on spheres, arXiv:2607.11544v1 (2026), accessed July 28, 2026

2026 arXiv
[23]

Lu,On Weyl’s embedding problem in Riemannian manifolds, Int

S. Lu,On Weyl’s embedding problem in Riemannian manifolds, Int. Math. Res. Not. IMRN2020(2020), no. 11, 3229–3259

2020
[24]

Lytchak and S

A. Lytchak and S. Stadler,Ricci curvature in dimension two, J. Eur. Math. Soc.25 (2023), no. 3, 845–867, doi:10.4171/JEMS/1196

2023 doi
[25]

Makowski and J

M. Makowski and J. Scheuer,Rigidity results, inverse curvature flows, and Alexandrov– Fenchel type inequalities in the sphere, Asian J. Math.20(2016), no. 5, 869–892

2016
[26]

Marquardt,The inverse mean curvature flow for hypersurfaces with boundary, Ph.D

T. Marquardt,The inverse mean curvature flow for hypersurfaces with boundary, Ph.D. thesis, Freie Universit¨ at Berlin, 2012, doi:10.17169/refubium-12953

2012 doi
[27]

Milman,Spectral estimates, contractions and hypercontractivity, J

E. Milman,Spectral estimates, contractions and hypercontractivity, J. Spectr. Theory 8(2018), no. 2, 669–714, doi:10.4171/JST/210

2018 doi
[28]

A. V. Pogorelov,Topics in the Theory of Surfaces in Elliptic Space, Gordon and Breach, New York, 1961

1961
[29]

Serres,Contractive transport maps from S2 to nearly spherical surfaces with positive Ricci curvature, Nonlinear Anal.267(2026), Article No

J. Serres,Contractive transport maps from S2 to nearly spherical surfaces with positive Ricci curvature, Nonlinear Anal.267(2026), Article No. 114058, doi:10.1016/j.na.2026.114058

2026
[30]

Villani,Optimal Transport: Old and New, Grundlehren der mathematischen Wissenschaften, vol

C. Villani,Optimal Transport: Old and New, Grundlehren der mathematischen Wissenschaften, vol. 338, Springer-Verlag, Berlin, 2009, doi:10.1007/978-3-540-71050- 9. Acknowledgments.The authors thank Guoyi Xu for his interest in this work and for valuable suggestions. Declaration...

2009 doi

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

Andrews,Pinching estimates and motion of hypersurfaces by curvature functions, J

B. Andrews,Pinching estimates and motion of hypersurfaces by curvature functions, J. Reine Angew. Math.608(2007), 17–33

2007

[2] [2]

Aryan,Spectral obstructions to contracting transport maps on curved spaces, arXiv:2605.24705v1 (2026), accessed July 28, 2026

S. Aryan,Spectral obstructions to contracting transport maps on curved spaces, arXiv:2605.24705v1 (2026), accessed July 28, 2026

arXiv 2026

[3] [3]

Bertrand,Existence and uniqueness of optimal maps on Alexandrov spaces, Adv

J. Bertrand,Existence and uniqueness of optimal maps on Alexandrov spaces, Adv. Math.219(2008), no. 3, 838–851

2008

[4] [4]

Burago, Y

D. Burago, Y. Burago, and S. Ivanov,A Course in Metric Geometry, Graduate Studies in Mathematics, vol. 33, American Mathematical Society, Providence, RI, 2001

2001

[5] [5]

L. A. Caffarelli,Monotonicity properties of optimal transportation and the FKG and related inequalities, Comm. Math. Phys.214(2000), no. 3, 547–563. 18

2000

[6] [6]

M. P. do Carmo and F. W. Warner,Rigidity and convexity of hypersurfaces in spheres, J. Differential Geom.4(1970), 133–144

1970

[7] [7]

Ge and J

Y. Ge and J. Serres,A generalization of Caffarelli’s contraction theorem to nearly spherical manifolds, arXiv:2512.01496v1 (2025), accessed July 28, 2026

arXiv 2025

[8] [8]

Gerhardt,Curvature flows in the sphere, J

C. Gerhardt,Curvature flows in the sphere, J. Differential Geom.100(2015), no. 2, 301–347

2015