Regularized Brascamp-Lieb inequalities via Optimal Transport and Study of Equality Cases
Pith reviewed 2026-05-15 07:11 UTC · model grok-4.3
The pith
Regularized Brascamp-Lieb inequalities have finite constants and all optimizers identified exactly when the non-regularized versions do.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For regularized Brascamp-Lieb inequalities the constant remains finite if and only if the corresponding non-regularized constant is finite, Gaussian extremizers exist exactly under those conditions, and every optimizer is recovered by running a suitably adapted heat flow that accounts for the extra regularization terms.
What carries the argument
Anisotropic Caffarelli contraction theorem from optimal transport, combined with monotonicity along a regularized heat flow.
If this is right
- Finiteness of the constant depends only on the linear data and is unaffected by the regularization.
- Gaussian functions are extremizers whenever the inequality holds with finite constant.
- All optimizers in the regularized case are recovered explicitly from the long-time behavior of the heat flow.
- The same heat-flow technique yields applications to other functional inequalities with regularization.
Where Pith is reading between the lines
- If a different regularization violates the required contraction properties, the optimal-transport step would not go through and a separate argument would be needed.
- The equality-case description may allow numerical approximation of constants by simulating the heat flow for concrete data.
- Similar methods could apply to regularized versions of related inequalities arising in information theory or convex geometry.
Load-bearing premise
The chosen regularization must satisfy the convexity and anisotropy conditions needed for the anisotropic Caffarelli contraction theorem to apply.
What would settle it
A specific regularized Brascamp-Lieb datum for which direct computation shows the constant is finite yet no Gaussian extremizer achieves it, or for which the heat flow fails to produce the optimizer.
read the original abstract
We consider regularized Brascamp-Lieb inequalities using the theory of optimal transportation, more precisely an anisotropic version of Caffarelli's contraction theorem. Furthermore, we provide a full picture concerning the issues of finiteness of the Brascamp-Lieb constant and of the existence of Gaussian extremizers. We also find all optimizers for these regularized Brascamp-Lieb inequalities by employing heat flow methods that were already used to settle this question for the non-regularized Brascamp-Lieb inequality and introducing new ideas to deal with several difficulties, which do not appear for the non-regularized Brascamp-Lieb datum. Finally, we give some interesting applications.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes regularized versions of Brascamp-Lieb inequalities by combining an anisotropic Caffarelli contraction theorem from optimal transport with heat-flow monotonicity arguments. It claims to resolve the finiteness of the associated constants, the existence of Gaussian extremizers, and the complete characterization of all optimizers for the regularized inequalities, while introducing new technical devices to handle difficulties absent from the unregularized setting; some applications are also presented.
Significance. If the central claims hold, the work would complete the picture for regularized Brascamp-Lieb inequalities in a manner parallel to the known results for the classical case, supplying both finiteness criteria and an exhaustive description of optimizers. The combination of optimal-transport contraction with heat flow is a natural extension of prior techniques and could serve as a template for other regularized functional inequalities.
major comments (2)
- [§3] §3 (regularization and anisotropic Caffarelli): the manuscript invokes an anisotropic version of Caffarelli’s contraction theorem to transport the regularized datum to a Gaussian, but does not explicitly verify that the chosen mollification produces a potential whose Hessian satisfies the uniform lower bound required for the contraction constant to remain finite and independent of the regularization parameter. If this bound fails for some data or for small regularization, the subsequent heat-flow monotonicity and equality-case analysis collapse.
- [§5] §5 (heat-flow analysis of equality cases): the new ideas introduced to handle the additional difficulties created by regularization are only sketched; a detailed comparison with the non-regularized case (e.g., how the extra error terms arising from the regularization are controlled) is needed to confirm that the monotonicity argument still yields all optimizers.
minor comments (2)
- Notation for the regularized Brascamp-Lieb constant is introduced without a clear comparison table to the classical constant; adding such a table would improve readability.
- Several references to Caffarelli’s original theorem and to the heat-flow literature are given only by author-year; full bibliographic details should be supplied.
Simulated Author's Rebuttal
We thank the referee for the careful reading and valuable comments. We address each major comment below and will revise the manuscript accordingly to incorporate the suggested clarifications.
read point-by-point responses
-
Referee: [§3] §3 (regularization and anisotropic Caffarelli): the manuscript invokes an anisotropic version of Caffarelli’s contraction theorem to transport the regularized datum to a Gaussian, but does not explicitly verify that the chosen mollification produces a potential whose Hessian satisfies the uniform lower bound required for the contraction constant to remain finite and independent of the regularization parameter. If this bound fails for some data or for small regularization, the subsequent heat-flow monotonicity and equality-case analysis collapse.
Authors: We agree that an explicit verification would improve clarity. In the revised manuscript, we will add a dedicated paragraph or lemma in Section 3 demonstrating that the mollified potential satisfies a uniform Hessian lower bound independent of the regularization parameter. This follows from the convexity assumptions on the original data and the properties of the chosen mollifier, ensuring the anisotropic Caffarelli contraction applies uniformly. We will also include a remark on why this bound does not deteriorate as the regularization tends to zero. revision: yes
-
Referee: [§5] §5 (heat-flow analysis of equality cases): the new ideas introduced to handle the additional difficulties created by regularization are only sketched; a detailed comparison with the non-regularized case (e.g., how the extra error terms arising from the regularization are controlled) is needed to confirm that the monotonicity argument still yields all optimizers.
Authors: We thank the referee for this observation. While the manuscript introduces new techniques to control the regularization-induced error terms in the heat-flow monotonicity, we acknowledge that a more detailed comparison is beneficial. In the revision, we will expand Section 5 with a subsection providing a point-by-point comparison to the non-regularized case, explicitly bounding the extra error terms using the regularity of the heat flow and the specific form of the regularization. This will rigorously show that the monotonicity argument extends and characterizes all optimizers. revision: yes
Circularity Check
No significant circularity: derivations rely on external theorems
full rationale
The paper's core steps invoke anisotropic Caffarelli contraction and heat-flow monotonicity as established external tools, with the regularization chosen to satisfy the needed convexity hypotheses. No quoted equation or definition reduces the claimed finiteness, Gaussian extremizers, or optimizer classification back to the inputs by construction. Heat-flow methods are referenced to prior literature on the non-regularized case without the present argument collapsing into a self-citation chain or fitted-parameter renaming. The derivation chain therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Anisotropic Caffarelli contraction theorem applies to the chosen regularization
- standard math Heat flow monotonicity and convergence properties hold for the regularized functional
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.