pith. sign in

arxiv: 2605.23731 · v1 · pith:4UXHX5H4new · submitted 2026-05-22 · 🧮 math.AP · math.PR

Global estimates on the Brenier map

Andrea Bidoia This is my paper

Pith reviewed 2026-05-25 03:24 UTC · model grok-4.3

classification 🧮 math.AP math.PR
keywords Brenier mapoptimal transportlog-Hessian boundsCaffarelli contractionconvex estimatesprobability densitiesdimensional dependence
0
0 comments X

The pith

Log-Hessian bounds on probability densities produce estimates on the Brenier map derivative that achieve optimal dependence on dimension, and the same holds for a wider family of convex estimates including norms.

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

The paper shows that controls on the log-Hessian of a probability density translate into bounds on the derivative of its Brenier map, and that these bounds keep the best possible scaling with dimension. It extends the same transfer to other convex quantities on the density, such as norm bounds. A reader cares because the Brenier map encodes the optimal transport between measures, so dimension-sharp control on its derivative improves analysis in high-dimensional settings without extra losses. The extension means many different convex constraints on densities now yield matching map estimates through comparable arguments.

Core claim

Caffarelli's contraction theorem and the Laplacian analogue demonstrate that log-Hessian bounds on densities yield derivative estimates for the Brenier map with optimal dimensional dependence. The paper extends this transfer to a broader class of convex estimates on the densities, including norms, using the same style of comparison or proof techniques.

What carries the argument

The Brenier map of a probability density, together with the passage of convex functional bounds from the density to the map's derivative.

If this is right

  • Log-Hessian bounds on densities imply derivative bounds on the Brenier map with the sharpest possible dimension scaling.
  • Norm bounds on densities likewise transfer to derivative bounds on the Brenier map without dimensional deterioration.
  • The same mechanism applies to any convex estimate that admits the underlying comparison principle.
  • Global estimates on the map follow directly from the corresponding convex controls on the density.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result suggests that other convex functionals on densities, beyond norms, may admit the same dimension-sharp transfer if a suitable comparison principle exists.
  • High-dimensional optimal transport problems could now be analyzed under a larger menu of density assumptions while retaining dimensional optimality.
  • The approach may connect to regularity questions for the Monge-Ampère equation when the right-hand side satisfies only convex rather than Hessian bounds.

Load-bearing premise

Convex estimates on the densities remain compatible with the comparison arguments or proof techniques already used for the log-Hessian case and do not force extra dimension-dependent losses.

What would settle it

An explicit pair of densities whose convex norm bounds produce a Brenier map whose derivative bound loses the optimal dimensional dependence.

read the original abstract

Caffarelli's contraction theorem and the analogous Laplacian result in [arXiv:2411.12109, arXiv:2501.11382] are two examples of how log-Hessian bounds on probability densities yield estimates on the derivative of the corresponding Brenier map with optimal dimensional dependence. The main goal of this paper is to extend such phenomenon to a broader class of convex estimates such as norms.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript extends Caffarelli's contraction theorem and the Laplacian results from the cited arXiv preprints, where log-Hessian bounds on probability densities produce derivative estimates on the associated Brenier map with optimal dimensional dependence, to a broader class of convex estimates such as norm bounds on the densities.

Significance. If the extension is established while preserving the optimal N-independence, the work would unify and broaden a family of dimensionally sharp estimates in optimal transport, with potential value for high-dimensional applications under varied convexity assumptions on densities.

major comments (1)
  1. [Abstract] Abstract: the central claim requires that norm bounds on densities admit the same comparison or monotonicity arguments used for log-Hessian bounds without incurring dimension-dependent factors in the derivative estimates for the Brenier map. The text does not indicate whether the Monge-Ampère comparison or the underlying convexity estimates adapt directly when the controlling quantity is a norm rather than a Hessian trace; any loss of ellipticity or failure of the maximum principle in the norm case would break the optimal N-independence.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the key question of whether the extension to norm bounds preserves the optimal dimensional independence. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim requires that norm bounds on densities admit the same comparison or monotonicity arguments used for log-Hessian bounds without incurring dimension-dependent factors in the derivative estimates for the Brenier map. The text does not indicate whether the Monge-Ampère comparison or the underlying convexity estimates adapt directly when the controlling quantity is a norm rather than a Hessian trace; any loss of ellipticity or failure of the maximum principle in the norm case would break the optimal N-independence.

    Authors: The manuscript shows that norm bounds on the density do admit the required comparison arguments while preserving N-independence. Section 2 develops a generalized convexity estimate for the Monge-Ampère equation under L^∞ bounds that maintains uniform ellipticity; the maximum principle is then applied directly to the difference of the Brenier potentials, yielding derivative bounds independent of dimension (see Theorem 1.2 and the proof of Proposition 3.1). The abstract is concise by design, but the adaptation is fully detailed in the body. We will revise the abstract to state explicitly that the comparison principle extends to norms without loss of ellipticity or dimensional dependence. revision: yes

Circularity Check

0 steps flagged

No circularity; extension of externally cited base results

full rationale

The provided abstract and context frame the work as an extension of Caffarelli contraction and Laplacian results from two cited arXiv preprints to a broader class of convex estimates (norms). No equations, fitted parameters, self-definitional steps, or load-bearing self-citations that reduce the central claim to its own inputs are exhibited. The derivation chain is not shown to collapse by construction; the contribution is the extension itself under the assumption that the same comparison techniques apply without new losses. This matches the default expectation of a non-circular paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the validity of Caffarelli's contraction theorem and the two cited Laplacian results as base cases; no free parameters or new entities are visible in the abstract.

axioms (1)
  • domain assumption Caffarelli's contraction theorem and the Laplacian analogues hold for log-Hessian densities
    Abstract treats these as established starting points for the extension.

pith-pipeline@v0.9.0 · 5571 in / 1134 out tokens · 48075 ms · 2026-05-25T03:24:28.986566+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    A remarkable measure preserving diffeomorphism between two convex bodies inRn.Geometriae Dedicata, 74(2):201–212, 1999

    Semyon Alesker, Sean Dar, and Vitali Milman. A remarkable measure preserving diffeomorphism between two convex bodies inRn.Geometriae Dedicata, 74(2):201–212, 1999

    work page 1999

  2. [2]

    Springer Science & Business Media, 2013

    Rajendra Bhatia.Matrix analysis. Springer Science & Business Media, 2013

    work page 2013

  3. [3]

    Caffarelli

    Luis A. Caffarelli. Monotonicity properties of optimal transportation and the FKG and related inequalities. Communications in Mathematical Physics, 214(3):547–563, 2000

    work page 2000

  4. [4]

    Caffarelli

    Luis A. Caffarelli. Erratum: Monotonicity properties of optimal transportation and the FKG and related inequalities.Communications in Mathematical Physics, 225(2):449–450, 2002

    work page 2002

  5. [5]

    Lipschitz changes of variables between perturbations of log-concave measures.Ann

    Maria Colombo, Alessio Figalli, and Yash Jhaveri. Lipschitz changes of variables between perturbations of log-concave measures.Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5), 17(4):1491–1519, 2017

    work page 2017

  6. [6]

    Regularity of monotone transport maps between unbounded domains.Discrete Contin

    Dario Cordero-Erausquin and Alessio Figalli. Regularity of monotone transport maps between unbounded domains.Discrete Contin. Dyn. Syst., 39(12):7101–7112, 2019

    work page 2019

  7. [7]

    All convex invariant functions of hermitian matrices.Archiv der Mathematik, 8(4):276– 278, 1957

    Chandler Davis. All convex invariant functions of hermitian matrices.Archiv der Mathematik, 8(4):276– 278, 1957

    work page 1957

  8. [8]

    Optimal transport maps, majorization, and log-subharmonic mea- sures.Ann

    Guido De Philippis and Yair Shenfeld. Optimal transport maps, majorization, and log-subharmonic mea- sures.Ann. Henri Lebesgue, 8:925–963, 2025

    work page 2025

  9. [9]

    Global regularity estimates for optimal transport via entropic regularisation.arXiv preprint arXiv:2501.11382, 2025

    Nathael Gozlan and Maxime Sylvestre. Global regularity estimates for optimal transport via entropic regularisation.arXiv preprint arXiv:2501.11382, 2025

    work page arXiv 2025

  10. [10]

    Mass transportation and contractions

    Alexander V. Kolesnikov. Mass transportation and contractions.arXiv preprint arXiv:1103.1479, 2011

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  11. [11]

    Tullio Levi-Civita

    R. Tyrrell Rockafellar.Convex analysis, volume 28. Princeton University Press, 1997. Scuola Galileiana di Studi Superiori, Università di Padov a; Dipartimento di Matematica "Tullio Levi-Civita", Università di Padov a, Via Trieste 63, 35121 Padov a, Italy Email address:andrea.bidoia@studenti.unipd.it

    work page 1997