Pith. sign in

REVIEW 5 major objections 5 minor 2 cited by

Boundary regularity of optimal transport maps on convex domains

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

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

Pith's one-line read This paper proves that optimal transport potentials between convex domains with nondegenerate Hölder densities are globally $C^{1,1-\varepsilon}$ and $W^{2,p}$ for every $p>1$, using a new monotonicity formula that makes all boundary…

desk verdict Bold, important results built on a promising monotonicity formula, but the effective version for Hölder densities has an unproved normalization-uniformity gap that the main theorems rely on. read the letter →

arxiv 2507.05395 v1 pith:TVVC6FN5 submitted 2025-07-07 math.AP math.DG

Tristan C. Collins , Freid Tong This is my paper · ORCID
classification math.APmath.DG MSC 35J9649Q2235B65
keywords optimaltransportMonge-Ampèreequationboundaryregularitymonotonicityformulablow-upanalysisconvexdomainsW^{2p}estimateshomogeneousdensities
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

This paper seeks to prove that the boundary of the domain does not obstruct regularity of optimal transport maps with quadratic cost: for any two convex domains in $\mathbb{R}^n$ and nondegenerate Hölder-continuous densities, the transport potential is $C^{1,1-\varepsilon}$ for every $\varepsilon>0$ and lies in $W^{2,p}$ for every $p>1$, with no assumption on the boundary beyond convexity. If the boundary is merely $C^{1,\beta}$, the same method upgrades the conclusion to $C^{2,\gamma}$ with $\gamma = \min(\alpha,\beta)$. The engine is a monotonicity formula for the volume of sublevel sets of the transport potential, which holds on arbitrary convex domains and is constant exactly on homogeneous solutions. This makes blow-ups at boundary points homogeneous, turning a global regularity question into a classification of homogeneous optimal transport maps between cones. The paper also uses this to characterize pointwise $C^{1,1}$ behavior: for planar polygonal domains with uniform density, a corner is $C^{1,1}$ exactly when the tangent cones admit a homogeneous optimal transport map.

What carries the argument

The central object is the monotonicity formula for the quantity $\chi(r) = r^{-2(n+l)/(1+(n+l)/(n+k))} \mu(D_r(u,0))$ (or its effective version $\chi(x_0,r) = e^{-A r^{\varepsilon_0}} r^{-n} \mu(D_r(u,x_0))$ for Hölder densities), where $D_r$ are the extrinsic balls $\{x \cdot \nabla u \le r^2\}$ and $\mu$ is the density-weighted volume. For homogeneous densities of degrees $(l,k)$, $\chi$ is monotone non-increasing and is constant exactly when the domains are cones about the origin and $u$ is homogeneous of degree $1+(n+l)/(n+k)$; the boundary term in the computation is nonnegative precisely by convexity. The monotonicity yields uniform density estimates, convergence of rescaled maps to homogeneous blow-ups, and the effective section-scaling inequalities that give the global $C^{1,1-\varepsilon}$ and $W^{2,p}$ theorems.

What would settle it

Take a convex domain with a corner and uniform densities, and compute the centered-section ratios $|S^c_{h/2}(u,0)|/|S^c_h(u,0)|$ at the corner for a sequence $h_i \to 0$; the homogeneity of blow-ups predicts these ratios converge to $2^{-n/2}$, so any exact or numerical solution violating this limit would disprove the global $C^{1,1-\varepsilon}$ claim.

Watch

Extended reading notes

Core claim

At the core is the statement that any solution of $\det D^2u = g(x)/g'(\nabla u(x))$ with $\nabla u(\Omega)=\Omega'$, where $\Omega$ and $\Omega'$ are convex and the densities are positive and $C^\alpha$, gains almost-$C^{1,1}$ regularity all the way to the boundary: $u \in C^{1,1-\varepsilon}(\Omega)$ for every $\varepsilon>0$ and $u \in W^{2,p}(\Omega)$ for every $p>1$, with constants controlled by the geometry only through the inner and outer radii of the domains. When $\Omega$ and $\Omega'$ have $C^{1,\beta}$ boundary, the potential is $C^{2,\gamma}$ with $\gamma = \min(\alpha,\beta)$. The proof proceeds by showing that centered sections of the potential at any point scale like $h^{1/2}$ up to arbitrarily small losses, which is an effective version of homogeneity of blow-ups; the only way this can fail is if the boundary creates a non-homogeneous limit, and the monotonicity formula rules that out.

Load-bearing premise

The proof depends on a one-sentence approximation claim: smooth approximations of the domains and densities converge in $C^{2,\alpha}_{\mathrm{loc}}$ up to the truncated boundary, so that the effective monotonicity formula for merely Hölder densities follows; if that convergence fails, the uniform density estimate, the homogeneity of blow-ups, and both main theorems collapse.

Editorial extensions

If this is right

  • For any $\varepsilon>0$, the transport potential and its Legendre transform are $C^{1,1-\varepsilon}$ on the closure of $\Omega$ and $\Omega'$, with the Hölder norm of the gradient controlled by the inner and outer radii, the density bounds, and the Hölder exponent.
  • For every $p>1$, the Hessian of the potential is integrable to the $p$-th power over the whole domain, giving global $W^{2,p}$ estimates with no boundary regularity assumption.
  • If the two convex domains have $C^{1,\beta}$ boundaries and the densities are $C^\alpha$, the potential is globally $C^{2,\gamma}$ with $\gamma = \min(\alpha,\beta)$, extending the known $C^{2,\alpha}$ result from $C^{1,1}$ boundaries to $C^{1,\beta}$ boundaries.
  • At a boundary point of a planar polygonal domain with uniform density, the solution is pointwise $C^{1,1}$ exactly when the tangent cones of the two domains admit a homogeneous optimal transport map; the four possible cone pairs are classified, with one-parameter families in the half-space and right-angle cases.
  • For degenerate homogeneous densities on a strict cone mapped to a half-space with density $y_n^k$ and $k>l$, centered sections are round, so blow-ups exist and are homogeneous optimal transport maps; this provides a model for certain complete Calabi-Yau metrics at infinity.

Reading between the lines

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

  • The effective form of the monotonicity formula, which absorbs the Hölder error by a factor $e^{A r^{\varepsilon_0}}$, suggests that the same $C^{1,1-\varepsilon}$ and $W^{2,p}$ conclusions should survive for densities satisfying only a mild oscillation condition, such as a logarithmic modulus of continuity, since the proof only uses weak sub-homogeneity at small scales.
  • The planar classification leaves open whether roundness holds in the half-space and right-angle cases when the domain is not polygonal; a natural test is whether a solution can interpolate between different members of the one-parameter family of homogeneous maps at different scales, which the monotonicity formula alone does not exclude.
  • The mixed-homogeneity section shape derived when the domain has a flat side provides a concrete asymptotic ansatz for degenerating Calabi-Yau metrics: comparing the predicted exponents $h^{1/2}$ in flat directions and $h^{1/(1+m/(m+k))}$ in cone directions with known asymptotic models would either confirm the geometric picture or identify additional curvature effects.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 5 minor

Summary. The paper studies global boundary regularity for solutions of the second boundary value problem for the Monge–Ampère equation (1.1) arising in optimal transport with quadratic cost. It claims: (i) for arbitrary convex domains and nondegenerate C^α densities, the potential is C^{1,1-ε} for every ε>0 and W^{2,p} for every p>1 (Theorem 1.1); (ii) if the boundaries are C^{1,β}, the potential is C^{2,γ} with γ=min(α,β) (Theorem 1.2); (iii) a pointwise C^{1,1} criterion for planar polygons in terms of tangent cones (Theorem 6.4); and (iv) regularity and section-shape results for degenerate homogeneous densities on cones motivated by Kähler geometry (Theorems 6.5 and 7.1). The main new tool is a monotonicity formula for extrinsic balls D_r(u,x_0), proved formally for smooth data in Proposition 3.1 and asserted for Hölder densities in Proposition 3.2.

Significance. If fully established, these results would be a substantial advance: Theorem 1.1 would resolve global C^{1,1-ε} and W^{2,p} regularity for optimal transport potentials on arbitrary convex domains in all dimensions, previously known only in dimension two with uniform density (Savin–Yu), and Theorem 1.2 would improve the C^{1,1} boundary assumption of Chen–Liu–Wang to C^{1,β}. The monotonicity formula is attractive and its rigidity statement is explicit and parameter-free; the derivation in Proposition 3.1 is a genuine technical contribution. The applications to homogeneous densities and to the Tian–Yau/Calabi–Yau context are also useful. However, the effective version of the formula and the uniformity estimates on which the main theorems rest are not yet demonstrated, so the manuscript currently offers a plausible framework rather than a complete proof of the advertised theorems.

major comments (5)
  1. [§3, Proposition 3.2 and Lemma 1] The effective monotonicity formula is not proved. The proof of Proposition 3.2 reduces to Lemma 1 plus Proposition 3.1 for smooth data, and then says to 'apply the same approximation argument as in the proof of Theorem 3.1' for the general case. That approximation argument was written for homogeneous densities and requires the approximating potentials u_ε to converge in C^{2,α}_{loc} up to the truncated level set {x·∇u_ε < r_0}; standard stability for Monge–Ampère gives only C^{1,α} convergence unless uniform C^{2,α} bounds are available, and no such bounds are established. In addition, Lemma 1 invokes Proposition 2.5 to conclude D_r(u,0) ⊂ B_{C r^δ}(0), but Proposition 2.5 assumes the normalization S^c_1(u,0) ⊂ B_K(0) and S^c_1(v,0) ⊂ B_K(0); Lemma 1 does not assume this normalization, and the proof does not track how the Hölder seminorm and the constants transform under the affine map that normalizes the section. Since Proposition 3.2 is used in Lemma 2, Theorem 4.1, and hence in Theorems 1.1 and 1.2, this gap is load-bearing.
  2. [§4.1, Lemma 2 and Theorem 4.1] Lemma 2 derives the uniform lower density bound |S_h(u,x_0)| ≥ c h^{n/2} |S_1(u,0)| directly from Proposition 3.2; since Proposition 3.2 is not established, Lemma 2 and the homogeneity of blow-ups in Theorem 4.1 are unsupported. Moreover, in the proof of Theorem 4.1 the assertion 'by Proposition 2.5, ‖M_h‖ + ‖M_h^{-1}‖ ≤ h^{-1/2+δ}' is not justified: Proposition 2.5 gives C^{1,δ} bounds under a normalization hypothesis, not a priori control on the eccentricity of the normalizing matrices. That eccentricity control is precisely what Lemma 2 is supposed to provide, so the argument appears circular unless the missing step is supplied.
  3. [§5.1, Propositions 5.2 and 5.3] Proposition 5.2 concludes the section inclusion only for some h ∈ [h_0,1/2], whereas Proposition 5.3 claims the inclusion for every h ≤ 1. The proof of Proposition 5.3 says 'we can iterate Proposition 5.2', but no iteration scheme is given that converts an existence statement at some scale into a universal statement at all scales. If the intended argument is to apply Proposition 5.2 to dyadic rescalings, the details should be written out.
  4. [§5.1, Theorem 5.2] Theorem 5.2 is proved by a one-sentence reference to [26, Theorem 1.1]. The present setting is n-dimensional with Hölder densities, while [26] is two-dimensional with g = g' = 1. The passage from the section estimates in Proposition 5.3 to global W^{2,p} bounds is a central claim of Theorem 1.1 and needs to be supplied or adapted explicitly.
  5. [§5.2, Theorem 5.3] Theorem 5.3 is proved by Lemma 3, Lemma 4, and a reference to [9, Section 6] with 'minor modifications'. The sketch of the modification of Lemma 6.2 is helpful, but the remaining arguments in [9, Section 6] contain several boundary estimates and barrier constructions that are not discussed. Since the theorem improves a major result in the literature, the reader needs either a complete proof or a detailed verification that every step of [9] survives with only C^{1,β} boundaries and with the claimed exponent γ = min(α,β).
minor comments (5)
  1. [§5.1, proof of Theorem 5.1] The final estimate is written as ‖∇u‖_{C^α(Ω)}; it should be ‖∇u‖_{C^{1-ε}(Ω)}.
  2. [§3, Lemma 1] Lemma 1 is stated for an optimal transport map without specifying the base point, but the proof is written at x_0 = 0 and assumes 0 ∈ Ω ∩ Ω' with u(0) = |∇u|(0) = 0; the reduction to this normalization should be stated explicitly.
  3. [§6.2, Theorem 6.4] In the proof of Theorem 6.4, the half-space and right-angle cases are disposed of with 'reflect' and 'return to case 1'; since the theorem is advertised as a complete characterization, these two cases deserve a more detailed justification.
  4. [§3, Definition 5] In Definition 5, the phrase 'g(x) (resp. g'(y)) is weakly sub-homogeneous of degree l, with constants (C, δ) (resp. degree l)' should read 'degree k' for g'.
  5. [§2.2, Proposition 2.3] The notation S^c_h(v, ∇u(x_0)) is used without definition; it should be introduced as the centered section of v at the point ∇u(x_0).

Circularity Check

0 steps flagged · score 0.0 of 10

No material circularity: the monotonicity formula and the regularity theorems are derived from the Monge–Ampère equation and external regularity results; the authors' self-citations are motivational or applications, not load-bearing assumptions.

full rationale

The paper's central derivation chain starts from the Monge–Ampère equation (1.1)/(2.1) and builds an effective monotonicity formula (Proposition 3.2) from the formal calculation in Proposition 3.1, the weak sub-homogeneity estimate Lemma 1, and the external C^{1,\delta} section estimates of Caffarelli and Jhaveri–Savin (Proposition 2.5). The uniform density estimate (Lemma 2), homogeneity of blow-ups (Theorem 4.1), section-scaling estimates (Propositions 5.1–5.3), and the global C^{1,1-\varepsilon} / W^{2,p} / C^{2,\alpha} theorems (Theorems 5.1–5.3) all follow by quantifying the monotonicity formula, not by assuming the regularity being proved. No fitted parameter is renamed as a prediction: the constants A, r0, B, ε0, M depend only on n, α, C and the radii of the domains. The self-citations [12, 13] occur in the introduction and in Sections 6.3 and 7 as motivation, context, and applications; the proofs of Theorem 6.5 and Corollary 6.2 do not use the existence theorem from [13] as a premise. The one-sentence approximation argument in the proof of Proposition 3.2 ('apply the same approximation argument as in the proof of Theorem 3.1') is a possible rigor gap, since the asserted C^{2,\alpha}_{loc} convergence is not demonstrated, but it is not circular: it does not define the conclusion into the hypotheses or reduce the effective monotonicity formula to itself. The homogeneity classification in Corollary 6.1 is derived within the paper from Proposition 6.1, not imported from the authors' prior work. Overall, the main claims are self-contained against external regularity theory, and no step exhibits the equation-to-itself reduction that would constitute circularity.

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

No free parameters are fitted. The central claims rest on standard prior regularity theorems, on the standing domain and density assumptions, and on a technical approximation assertion in the monotonicity formula that is not fully detailed. No new physical or mathematical entities are postulated.

assumptions (4)
  • standard math Caffarelli's interior and boundary regularity theorems for the Monge-Ampere equation on uniformly convex domains with nondegenerate C^α densities provide C^{2,α} smoothness used to justify integration by parts.
    Invoked in Proposition 3.1 to ensure u ∈ C^{3,α}_{loc} ∩ C^{2,α}(Ω); stated at the start of the proof.
  • standard math Caffarelli's C^{1,δ} theory for doubling measures and the engulfing property of centered sections (Prop 2.4, from Jhaveri-Savin) hold for the generalized optimal transport maps defined in Definition 1.
    Used to prove Proposition 2.5 and to control sections in Sections 4 and 5.
  • domain assumption The densities g and g' satisfy C^{-1} ≤ g,g' ≤ C and Hölder bounds, and the domains are convex (with C^{1,β} boundary in Theorem 1.2).
    These are the standing assumptions of the main theorems.
  • ad hoc to paper For arbitrary convex domains and C^α densities, the monotonicity formula of Proposition 3.1 extends by approximation; the approximating solutions converge in the required C^{2,α} topology up to the truncated boundary.
    Asserted in the proof of Prop 3.2 ('we can approximate... by the same approximation argument'); this step is not fully detailed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Boundary regularity of optimal transport maps on convex domains." pith.science (2026). https://pith.science/paper/TVVC6FN5

@misc{pith2026250705395,
  author       = {Pith},
  title        = {Pith review of: Boundary regularity of optimal transport maps on convex domains},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TVVC6FN5}},
  note         = {Machine review of arXiv:2507.05395}
}
abstract

We study the regularity of optimal transport maps between convex domains with quadratic cost. For nondegenerate $C^{\alpha}$-densities, we prove $C^{1, 1-\varepsilon}$-regularity of the potentials up to the boundary. If in addition the boundary is $C^{1, \alpha}$, we improve this to $C^{2, \alpha}$-regularity. We also investigate pointwise $C^{1, 1}$-regularity at boundary points. We obtain a complete characterization of pointwise $C^{1, 1}$-regularity for planar polytopes in terms of the geometry of tangent cones. Furthermore, we study the regularity of optimal transport maps with degenerate densities on cones, which arise from recent developments in K\"ahler geometry. The main new technical tool we introduce is a monotonicity formula for optimal transport maps on convex domains which characterizes the homogeneity of blow-ups.

Figures

Figures reproduced from arXiv: 2507.05395 by the authors.

Figure 1
Figure 1. A diagrammatic representation of the construction of Υ′ ϵ , denoted by the gray region, in the case that Ω, Ω ′ are not compact Given ϵ, choose ϵ ′ (ϵ) small so that dH(Υ′ ϵ ′, ∇u(Ω ∩ BR)) = dH(Ωϵ,R, Ω ∩ BR). Finally, take Υϵ to be a small dilation of Ωϵ,R in order to enforce the mass balancing. Given r0 > 0 after, possibly increasing R we may assume that {x · ∇u(x) < 2r0} ⋐ Ω ∩ BR/2 Let vϵ be the convex function so… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On a general class of free boundary Monge-Amp\`ere equations

    math.AP 2025-08 conditional novelty 8.0 of 10

    A general existence theorem for free-boundary Monge-Ampere equations with prescribed gradient image, applied to degenerate optimal transport, Monge-Ampere eigenvalues, a hemispherical Minkowski problem, and free-bound...

  2. Global $W^{2,p}$ Regularity in Optimal Transport

    math.AP 2026-07 accept novelty 6.5 of 10

    Quadratic OT potentials between bounded convex domains with continuous positive densities are globally W^{2,p} for every p>1, with no boundary regularity required.

Reference graph

Works this paper leans on

35 extracted references · 33 canonical work pages · cited by 2 Pith papers

  1. [26]

    Savin, O. Yu, H. Regularity of optimal transport between planar convex domains. Duke Math. J. 169 (2020), no. 7, 1305–1327

    work page 2020

  2. [9]

    Wang Global regularity for the Monge-Amp` ere equation with natural boundary condition

    Chen, S., Liu, J., X.-J. Wang Global regularity for the Monge-Amp` ere equation with natural boundary condition. Ann. of Math. (2) 194 (2021), no. 3, 745–793. BOUNDARY REGULARITY OF OPTIMAL TRANSPORT MAPS ON CONVEX DOMAINS 43

    work page 2021

  3. [1]

    J., Rankin, C.,A geometric approach to apriori estimates for optimal transport maps, J

    Brendle, S., L´ eger, F., McCann, R. J., Rankin, C.,A geometric approach to apriori estimates for optimal transport maps, J. Reine Angew. Math. 817 (2024), 251-266

    work page 2024

  4. [2]

    Polar factorization and monotone rearrangement of vector-valued functions

    Brenier, Y. Polar factorization and monotone rearrangement of vector-valued functions. Comm. Pure Appl. Math. 44 (1991), no. 4, 375–417

    work page 1991

  5. [3]

    The regularity of mappings with a convex potential

    Caffarelli, L. The regularity of mappings with a convex potential. J. Amer. Math. Soc. 5 (1992), no. 1, 99–104

    work page 1992

  6. [4]

    Boundary regularity of maps with convex potentials

    Caffarelli, L. Boundary regularity of maps with convex potentials. Comm. Pure Appl. Math. 45 (1992), no. 9, 1141–1151

    work page 1992

  7. [5]

    Boundary regularity of maps with convex potentials

    Caffarelli, L. Boundary regularity of maps with convex potentials. II Ann. of Math. (2) 144 (1996), no. 3, 453–496

    work page 1996

  8. [6]

    Caffarelli, L., Interior W 2,p estimates for solutions of the Monge-Amp` ere equation, Ann. of Math. (2), 131 (1990), no. 1, 135-150

    work page 1990

Show all 35 references
  1. [7]

    Caffarelli, L., Nirenberg, L., Spruck, J., The Dirichlet problem for nonlinear second-order elliptic equa- tions. I. Monge-Amp` ere equation, Comm. Pure Appl. Math., 37 (1984), no. 3, 369-402

    1984

  2. [8]

    Chen, S., Figalli, A., Partial W 2,p regularity for optimal transport maps , J. Funct. Anal. 272 (2017), no. 11, 4588–4605

    2017

  3. [10]

    Pure Appl

    Cheng, S.-Y., Yau, S.-T., On the regularity of the Monge-Amp` ere equationdet(∂2u/∂xi∂xj) = F (x, u), Comm. Pure Appl. Math., 30 (1977), no. 1, 41-68

    1977

  4. [11]

    On a general class of Free Boundary Monge-Amp` ere equations, to appear

    Collins, T.C., Firester, B. On a general class of Free Boundary Monge-Amp` ere equations, to appear

  5. [12]

    Complete Calabi-Yau metrics in the complement of two divisors

    Collins, T.C., Li, Y. Complete Calabi-Yau metrics in the complement of two divisors. Duke Math. J. 173 (2024), no. 18, 3559–3604

    2024

  6. [13]

    arXiv:2402.10111

    Collins, T.C., Tong, F., S.-T, Yau A free boundary Monge-Amp` ere equation and applications to complete Calabi-Yau metrics. arXiv:2402.10111

    arXiv

  7. [14]

    De Philippis, G., Figalli, A., The Monge-Amp` ere equation and its link to optimal transportation , Bull. Amer. Math. Soc. (N.S.), 51 (2014), no. 4, 527-580

    2014

  8. [15]

    Delano¨ e, P.,Classical solvability in dimension two of the second boundary-value problem associated with the Monge-Amp` ere operator, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 8 (1991), no. 5, 443-457

    1991

  9. [16]

    C., Partial differential equations and Monge-Kantorovich mass transfer, Current developments in mathematics, 1997 (Cambridge, MA), 65–126, Int

    Evans, L. C., Partial differential equations and Monge-Kantorovich mass transfer, Current developments in mathematics, 1997 (Cambridge, MA), 65–126, Int. Press, Boston, MA, 1999

    1997

  10. [17]

    The Monge-Ampere equation

    Guetierrez, C. The Monge-Ampere equation. Progr. Nonlinear Differential Equations Appl., 44 Birkh¨ auser Boston, Inc., Boston, MA, 2001, xii+127 pp. ISBN: 0-8176-4177-7

    2001

  11. [18]

    On the regularity of optimal transports between degenerate densities, Arch

    Jhaveri, Y., Savin, O. On the regularity of optimal transports between degenerate densities, Arch. Ration. Mech. Anal. 245 (2022), no. 2, 819–861

    2022

  12. [19]

    , arXiv:2309.15263

    Jonsson, M., McCleerey, N., Patram, N., Scott, B.W Singularities of the solution to a Monge-Ampere equation on the boundary of the 3-simplex. , arXiv:2309.15263

    arXiv

  13. [20]

    Kim, Y.-H., McCann, R. J. Continuity, curvature, and the general covariance of optimal transportation , J. Eur. Math. Soc. (JEMS), 12(4):1009–1040, 2010

    2010

  14. [21]

    Pseudo-Riemannian geometry calibrates optimal transportation, Math

    Kim, Y.-H., McCann, R.J., Warren, M. Pseudo-Riemannian geometry calibrates optimal transportation, Math. Res. Lett., 17(6):1183–1197, 2010

    2010

  15. [22]

    Intermediate complex structure limit for Calabi-Yau metrics

    Li, Y. Intermediate complex structure limit for Calabi-Yau metrics. Invent. Math. 240 (2025), no. 2, 459–496

    2025

  16. [23]

    T., R¨ uschendorf, L.,Mass transportation problems

    Rachev, S. T., R¨ uschendorf, L.,Mass transportation problems. Vol. II , Probability and its Applications (New York), Springer-Verlag, New York, 1998

    1998

  17. [24]

    Savin, O., Global W 2,p estimates for the Monge-Amp` ere equation, Proc. Amer. Math. Soc., 141 (2013), no. 10, 3573-3578

    2013

  18. [25]

    Savin, O., Pointwise C 2,α estimates at the boundary for the Monge-Amp` ere equation , J. Amer. Math. Soc., 26 (2013), no. 1, 63–99

    2013

  19. [27]

    Convex Bodies: The Brunn–Minkowski Theory , Encyclopedia Math

    Schneider, R. Convex Bodies: The Brunn–Minkowski Theory , Encyclopedia Math. Appl., 44, Cambridge University Press, Cambridge, 1993, xiv+490 pp. ISBN: 0-521-35220-7

    1993

  20. [28]

    Complete K¨ ahler manifolds with zero Ricci curvature

    Tian, G., Yau, S.-T. Complete K¨ ahler manifolds with zero Ricci curvature. I. J. Amer. Math. Soc. 3 (1990), no. 3, 579–609

    1990

  21. [29]

    S., Wang, X.-J., Boundary regularity for the Monge-Amp` ere and affine maximal surface equations, Ann

    Trudinger, N. S., Wang, X.-J., Boundary regularity for the Monge-Amp` ere and affine maximal surface equations, Ann. of Math. (2), 167 (2008), no. 3, 993-1028

    2008

  22. [30]

    Reine Angew

    Urbas, J., On the second boundary value problem for equations of Monge-Amp` ere type, J. Reine Angew. Math., 487 (1997), 115-124

    1997

  23. [31]

    Villani, C., Optimal transport: Old and new , Grundlehren der mathematischen Wissenschaften [Funda- mental Principles of Mathematical Sciences], 338, Springer-Verlag, Berlin, 2009

    2009

  24. [32]

    Villani, C., Topics in optimal transportation , Graduate Studies in Mathematics, 58, American Mathe- matical Society, Providence, RI, 2003

    2003

  25. [33]

    On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equa- tion

    Yau, S.-T. On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equa- tion. I. Comm. Pure Appl. Math. 31 (1978), no. 3, 339–411

    1978

  26. [34]

    Yau, S.-T., The role of partial differential equations in differential geometry , Proceedings of the Inter- national Congress of Mathematicians (Helsinki, 1978), 237–250, Acad. Sci. Fennica, Helsinki, 1980

    1978

  27. [35]

    A monotonicity approach to Pogorelov’s Hessian estimates for Monge-Ampere equation

    Yuan, Y. A monotonicity approach to Pogorelov’s Hessian estimates for Monge-Ampere equation. Math. Eng. 5 (2023), no. 2, Paper No. 037, 6 pp. 44 TRISTAN C. COLLINS AND FREID TONG Email address : tristanc@math.toronto.edu Email address : freid.tong@utoronto.ca Department of Mat...

    2023

Pith tools

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