pith. sign in

arxiv: 2605.02747 · v2 · pith:BBJZARKZnew · submitted 2026-05-04 · 🧮 math.MG · math.FA

Functional perimeter and the dimensional Brunn-Minkowski inequality for log-concave measures

Alexandros Eskenazis , Apostolos Giannopoulos , Natalia Tziotziou This is my paper

Pith reviewed 2026-07-01 00:26 UTC · model grok-4.3

classification 🧮 math.MG math.FA
keywords log-concave measuresBrunn-Minkowski inequalityfunctional perimeterisotropic measuresconvex bodiesgradient estimateshigh-dimensional convexity
0
0 comments X

The pith

Even log-concave probability measures satisfy a dimensional Brunn-Minkowski inequality with exponent at least order 1 over n cubed log n, and the maximal functional perimeter among isotropic examples grows linearly with dimension.

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

The paper establishes a Brunn-Minkowski-type inequality that holds for even log-concave probability measures rather than Lebesgue measure alone. For any pair of symmetric convex sets K and L and any lambda between zero and one, the measure of their Minkowski combination raised to the power c_n is at least the convex combination of the individual powered measures, where the exponent c_n is bounded below by a positive constant divided by n cubed times the natural log of n. The argument proceeds analytically through diffusion operators and gradient estimates. The same gradient bound is used to show that the largest attainable functional perimeter over all isotropic log-concave measures is asymptotically equivalent to the dimension n. These statements rest on an earlier integral bound for the gradient of the logarithmic potential.

Core claim

For every pair of symmetric convex sets K, L in R^n and every lambda in (0,1), an even log-concave probability measure mu satisfies mu(lambda K + (1-lambda)L)^{c_n} greater than or equal to lambda mu(K)^{c_n} + (1-lambda) mu(L)^{c_n} whenever c_n is at least c over n cubed ln n for an absolute constant c. In addition, the quantity Gamma_n defined as the supremum of the functional perimeter Gamma(mu) over all isotropic log-concave measures mu on R^n satisfies Gamma_n approximately equal to n.

What carries the argument

The Eldan-Klartag integral bound that the integral of the absolute gradient of the potential psi is at most C n for any isotropic log-concave measure with density e to the minus psi; this bound supplies the gradient estimates needed for both the dimensional inequality via diffusion methods and the perimeter comparison.

If this is right

  • The functional perimeter of any isotropic log-concave measure is at most order n.
  • The same gradient bound yields controls on projections of log-concave functions and on their moment and surface area measures.
  • The powered inequality supplies a quantitative concavity statement for the measure of Minkowski combinations of symmetric convex bodies.

Where Pith is reading between the lines

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

  • The linear growth of the perimeter is consistent with the known value for the standard Gaussian, suggesting the bound is sharp in order.
  • Stronger gradient estimates, if available, would immediately improve the dimensional dependence of the exponent c_n.
  • The diffusion-operator approach may apply to other functional inequalities that compare measures of convex combinations.

Load-bearing premise

The Eldan-Klartag bound that the integral of the absolute value of the gradient of the log-density is bounded by a constant times n holds for every isotropic log-concave probability measure.

What would settle it

An isotropic log-concave measure mu for which the integral of |nabla psi| d mu grows faster than linear in n, or a pair of symmetric convex sets K and L for which the stated inequality fails whenever the exponent exceeds any multiple of 1 over n cubed log n.

read the original abstract

This paper is dedicated to two geometric problems associated to log-concave measures on $\mathbb{R}^n$. First, we study the dimensional Brunn-Minkowski inequality for even log-concave probability measures $\mu$ on $\mathbb{R}^n$ via an analytic approach based on diffusion operators and gradient estimates. We prove that for every pair of symmetric convex sets $K,L$ in $\mathbb{R}^n$ and every $\lambda\in(0,1)$, $$\mu(\lambda K+(1-\lambda)L)^{c_n} \geq \lambda \mu(K)^{c_n}+(1-\lambda)\mu(L)^{c_n},$$ where $c_n\geq c/n^3\ln n$ for some absolute constant $c>0$. Secondly, we study the maximal perimeter $\Gamma(\mu)$ of an isotropic log-concave measure $\mu$, without symmetry assumptions. We prove that $$\Gamma_n = \sup\{\Gamma(\mu): \ \mu \ \mbox{is an isotropic log-concave measure on } \mathbb{R}^n \} \approx n.$$ A key ingredient in both our proofs is a bound due to Eldan and Klartag (2008), which states that $$\int_{\mathbb{R}^n} |\nabla\psi|\,d\mu \leq Cn$$ for every isotropic log-concave probability measure $\mu$ on $\mathbb{R}^n$ with density $e^{-\psi}$. We also present further applications of this estimate to projections of log-concave functions projections, moment and surface area measures of isotropic log-concave functions, highlighting the central role of the gradient of the logarithmic potential in high-dimensional convexity.

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

0 major / 3 minor

Summary. The paper proves a dimensional Brunn-Minkowski inequality for even log-concave probability measures μ on R^n: for symmetric convex sets K, L and λ ∈ (0,1), μ(λK + (1-λ)L)^{c_n} ≥ λ μ(K)^{c_n} + (1-λ) μ(L)^{c_n} with c_n ≥ c/(n^3 ln n) for an absolute c > 0. It also shows that Γ_n = sup Γ(μ) ≈ n where Γ(μ) is the maximal functional perimeter over isotropic log-concave measures μ (no symmetry assumed). Both results are obtained via an analytic approach using diffusion operators and gradient estimates, with the Eldan-Klartag 2008 bound ∫ |∇ψ| dμ ≤ C n serving as the key external ingredient; further applications to projections, moments, and surface area measures are given.

Significance. If the derivations hold, the results supply explicit (though not optimal) dimensional dependence for functional Brunn-Minkowski and perimeter inequalities in the log-concave setting, extending classical convex geometry. The analytic method via diffusion operators and the systematic use of the Eldan-Klartag gradient bound constitute a clear strength, as does the derivation of multiple corollaries from a single estimate. The perimeter result is asymptotically sharp up to constants.

minor comments (3)
  1. [§1 / abstract] In the statement of the main Brunn-Minkowski result (abstract and §1), the dependence of c_n on the Eldan-Klartag constant C should be made explicit so that the origin of the n^3 ln n factor is immediately traceable.
  2. [§2] Notation for the functional perimeter Γ(μ) is introduced without an equation number; adding a displayed definition early in §2 would improve readability when the quantity is later maximized.
  3. [§3 and §4] The paper cites Eldan-Klartag 2008 as a black-box; a one-sentence reminder of the precise statement (including the isotropy assumption) at the start of each application section would help readers who do not have the reference at hand.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of the manuscript, as well as for recommending minor revision. We are pleased that the analytic approach via diffusion operators and the applications of the Eldan-Klartag bound are viewed as strengths.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's derivation chain for the dimensional Brunn-Minkowski inequality and the bound on Γ_n explicitly invokes the Eldan-Klartag 2008 estimate ∫ |∇ψ| dμ ≤ Cn as a key external ingredient from independent prior work by different authors. This is presented as an established fact applied as a black-box, with no reduction of the central claims to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations within the paper. The provided abstract and structure contain no self-citation chains or ansatzes smuggled via prior author work; the results rest on externally verifiable input and are therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard domain assumptions of convex geometry and measure theory together with the external Eldan-Klartag bound; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Standard properties of log-concave measures, convex sets, and isotropic position in R^n
    Invoked throughout the statements of the two main results.
  • domain assumption Eldan-Klartag 2008 bound ∫ |∇ψ| dμ ≤ C n
    Explicitly named as key ingredient for both proofs.

pith-pipeline@v0.9.1-grok · 5848 in / 1332 out tokens · 41517 ms · 2026-07-01T00:26:28.190796+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. $L_p$ Brunn-Minkowski inequality for weighted dual quermassintegrals

    math.MG 2026-07 unverdicted novelty 6.0

    Establishes L_p Brunn-Minkowski inequalities for weighted dual quermassintegrals with concavity exponent 1/q for p≥1 under log-concavity of log φ(e^t), improving the standard 1/n exponent.

Reference graph

Works this paper leans on

57 extracted references · 6 canonical work pages · cited by 1 Pith paper

  1. [1]

    Aishwarya and D

    G. Aishwarya and D. Li,Entropic and functional forms of the dimensional Brunn-Minkowski inequality in Gauss space, Math. Ann. 393 (2025), no. 3-4, 3025–3042

    2025

  2. [2]

    Alonso-Guti´ errez, B

    D. Alonso-Guti´ errez, B. Gonz´ alez Merino, C. Jim´ enez and R. Villa,John’s ellipsoid and the integral ratio of a log-concave function, J. Geom. Anal. 28 (2018), no. 2, 1182–1201

    2018

  3. [3]

    Alves da Silva, B

    L. Alves da Silva, B. Gonz´ alez Merino and R. Villa,Some remarks on Petty projection of log-concave functions, J. Geom. Anal. 33 (2023), no. 8, Paper No. 260

    2023

  4. [4]

    Artstein-Avidan, A

    S. Artstein-Avidan, A. Giannopoulos and V. D. Milman,Asymptotic Geometric Analysis, Vol. I, Mathematical Surveys and Monographs, 202. American Mathematical Society, Providence, RI, 2015. xx+451 pp

    2015

  5. [5]

    Artstein-Avidan, A

    S. Artstein-Avidan, A. Giannopoulos and V. D. Milman,Asymptotic Geometric Analysis, Vol. II, Mathematical Surveys and Monographs, 261. American Mathematical Society, Providence, RI, 2021. xxxvii+645 pp

    2021

  6. [6]

    K. M. Ball,Logarithmically concave functions and sections of convex sets inR n, Studia Math. 88 (1988), 69–84

    1988

  7. [7]

    K. M. Ball,The reverse isoperimetric problem for Gaussian measure, Discrete Comput. Geom. 10 (1993), no. 4, 411–420

    1993

  8. [8]

    Bizeul,The slicing conjecture via small ball estimates, Ann

    P. Bizeul,The slicing conjecture via small ball estimates, Ann. Probab. (to appear). (https://arxiv.org/abs/2501.06854)

    work page arXiv

  9. [9]

    Borell,Convex measures on locally convex spaces, Ark

    C. Borell,Convex measures on locally convex spaces, Ark. Mat. 12 (1974), 239–252

    1974

  10. [10]

    B¨ or¨ oczky, E

    K. B¨ or¨ oczky, E. Lutwak, D. Yang, G. Zhang,The log-Brunn-Minkowski inequality, Adv. Math. 231 (2012), no. 3-4, 1974–1997

    2012

  11. [11]

    Bourgain,On high-dimensional maximal functions associated to convex bodies, Amer

    J. Bourgain,On high-dimensional maximal functions associated to convex bodies, Amer. J. Math. 108 (1986), 1467–1476. 30

    1986

  12. [12]

    Brazitikos, A

    S. Brazitikos, A. Giannopoulos, A. Hmadi and N. Tziotziou,On the maximal perimeter of isotropic log-concave probability measures, Preprint (https://arxiv.org/abs/2602.03831)

    work page arXiv

  13. [13]

    Brazitikos, A

    S. Brazitikos, A. Giannopoulos, P. Valettas and B-H. Vritsiou,Geometry of isotropic convex bodies, Mathemat- ical Surveys and Monographs, 196. American Mathematical Society, Providence, RI, 2014. xx+594 pp

    2014

  14. [14]

    Buser,A note on the isoperimetric constant, Ann

    P. Buser,A note on the isoperimetric constant, Ann. Sci. ´Ecole Norm. Sup. 15 (1982), 213–230

    1982

  15. [15]

    Cattiaux and A

    P. Cattiaux and A. Guillin,On the Poincar´ e constant of log-concave measures, Geometric aspects of functional analysis. Vol. I, 171–217, Lecture Notes in Math., 2256, Springer, Cham, 2020

    2020

  16. [16]

    Cheeger,A lower bound for the smallest eigenvalue of the Laplacian, Problems in analysis (Sympos

    J. Cheeger,A lower bound for the smallest eigenvalue of the Laplacian, Problems in analysis (Sympos. in honor of Salomon Bochner, Princeton Univ., Princeton, N.J., 1969), pp. 195–199, Princeton Univ. Press, Princeton, NJ, 1970

    1969

  17. [17]

    Colesanti and I

    A. Colesanti and I. Fragal` a,The first variation of the total mass of log-concave functions and related inequalities, Adv. Math. 244 (2013), 708–749

    2013

  18. [18]

    Colesanti, G

    A. Colesanti, G. V. Livshyts and A. Marsiglietti,On the stability of Brunn-Minkowski type inequalities, J. Funct. Anal. 273 (2017), no. 3, 1120–1139

    2017

  19. [19]

    Cordero-Erausquin and A

    D. Cordero-Erausquin and A. Eskenazis,Concavity principles for weighted marginals, Preprint. (https://arxiv.org/abs/2506.16941)

    work page arXiv

  20. [20]

    Cordero-Erausquin and B

    D. Cordero-Erausquin and B. Klartag,Moment measures, J. Funct. Anal. 268 (2015), no. 12, 3834–3866

    2015

  21. [21]

    Cordero-Erausquin and L

    D. Cordero-Erausquin and L. Rotem,Improved log-concavity for rotationally invariant measures of symmetric convex sets, Ann. Probab. 51 (2023), no. 3, 987–1003

    2023

  22. [22]

    Eldan and B

    R. Eldan and B. Klartag,Pointwise estimates for marginals of convex bodies, J. Funct. Anal. 254 (2008), no. 8, 2275–2293

    2008

  23. [23]

    Eskenazis and G

    A. Eskenazis and G. Moschidis,The dimensional Brunn-Minkowski inequality in Gauss space, J. Funct. Anal. 280 (2021), Issue 6, Paper No. 108914

    2021

  24. [24]

    L. C. Evans and R. F. Gariepy,Measure theory and fine properties of functions, Studies in Advanced Mathe- matics, CRC, Boca Raton, FL, 1992

    1992

  25. [25]

    Falah and L

    T. Falah and L. Rotem,On the functional Minkowski problem, Calc. Var. Partial Differential Equations65 (2026), no. 3, Paper No. 77

    2026

  26. [26]

    Fradelizi,Sections of convex bodies through their centroid, Arch

    M. Fradelizi,Sections of convex bodies through their centroid, Arch. Math. (Basel) 69 (1997), no. 6, 515–522

    1997

  27. [27]

    R. J. Gardner and A. Zvavitch,Gaussian Brunn-Minkowski inequalities, Trans. Amer. Math. Soc. 362 (10) (2010) 5333–5353

    2010

  28. [28]

    Giannopoulos and N

    A. Giannopoulos and N. Tziotziou,Moments of the Cram´ er transform of log-concave probability measures, J. Funct. Anal. 290 (2026), Issue 10, Paper No. 111423

    2026

  29. [29]

    Giannopoulos and N

    A. Giannopoulos and N. Tziotziou,Regular functional covering numbers, International Mathematics Research Notices, Volume 2026, Issue 5, Paper: rnag035

    2026

  30. [30]

    Giannopoulos, M

    A. Giannopoulos, M. Pafis and N. Tziotziou,The isotropic constant in the theory of high-dimensional convex bodies, Bull. Hellenic Math. Soc. 69 (2025), 89–188

    2025

  31. [31]

    Gorev and E

    V. Gorev and E. D. Kosov,Functional analogs of the Shephard, Busemann-Petty and Milman problems, J. Anal. Math. 157 (2025), no. 2, 511–536

    2025

  32. [32]

    Q. Y. Guan,A note on Bourgain’s slicing problem, Preprint (https://arxiv.org/abs/2412.09075)

    work page arXiv

  33. [33]

    Klartag,A central limit theorem for convex sets, Invent

    B. Klartag,A central limit theorem for convex sets, Invent. Math. 168 (2007), 91–131

    2007

  34. [34]

    Klartag,Logarithmic bounds for isoperimetry and slices of convex sets

    B. Klartag,Logarithmic bounds for isoperimetry and slices of convex sets. Ars Inveniendi Analytica, Paper No. 4, 17pp, 2023

    2023

  35. [35]

    Klartag and J

    B. Klartag and J. Lehec,Affirmative resolution of Bourgain’s slicing problem using Guan’s bound, Geom. Funct. Anal. (GAFA), vol. 35, (2025), 1147–1168. 31

    2025

  36. [36]

    Klartag and J

    B. Klartag and J. Lehec,Thin-shell bounds via parallel coupling, Preprint. (https://arxiv.org/abs/2507.15495)

    work page arXiv

  37. [37]

    A. V. Kolesnikov and G. V. Livshyts,On the Gardner-Zvavitch conjecture: symmetry in inequalities of Brunn- Minkowski type, Adv. Math. 384 (2021), Paper No. 107689, 23 pp

    2021

  38. [38]

    A. V. Kolesnikov and E. Milman,Poincar´ e and Brunn-Minkowski inequalities on the boundary of weighted Riemannian manifolds, Amer. J. Math. 140 (2018), no. 5, 1147–1185

    2018

  39. [39]

    A. V. Kolesnikov and E. Milman,LocalL p-Brunn–Minkowski inequalities forp <1, Mem. Amer. Math. Soc. 277 (2022), no. 1360, v+78 pp

    2022

  40. [40]

    Ledoux,A simple analytic proof of an inequality by P

    M. Ledoux,A simple analytic proof of an inequality by P. Buser, Proc. Am. Math. Soc. 121 (1994), 951–959

    1994

  41. [41]

    G. V. Livshyts,Maximal surface area of a convex set inR n with respect to exponential rotation invariant measures, J. Math. Anal. Appl. 404 (2013), no. 2, 231–238

    2013

  42. [42]

    G. V. Livshyts,Maximal surface area of a convex set inR n with respect to log concave rotation invariant measures, in Geometric aspects of functional analysis, 355–383, Lecture Notes in Math., 2116, Springer, Cham

  43. [43]

    G. V. Livshyts,Maximal surface area of polytopes with respect to log-concave rotation invariant measures, Adv. in Appl. Math. 70 (2015), 54–69

    2015

  44. [44]

    G. V. Livshyts,Some remarks about the maximal perimeter of convex sets with respect to probability measures, Commun. Contemp. Math. 23 (2021), no. 5, Paper No. 2050037, 19 pp

    2021

  45. [45]

    G. V. Livshyts,A universal bound in the dimensional Brunn-Minkowski inequality for log-concave measures, Trans. Amer. Math. Soc. 376 (2023), no. 9, 6663–6680

    2023

  46. [46]

    G. V. Livshyts,On a conjectural symmetric version of Ehrhard’s inequality, Trans. Amer. Math. Soc. 377 (2024), no. 7, 5027–5085

    2024

  47. [47]

    Livshyts, A

    G. Livshyts, A. Marsiglietti, P. Nayar and A. Zvavitch,On the Brunn–Minkowski inequality for general measures with applications to new isoperimetric-type inequalities, Trans. Amer. Math. Soc. 369 (2017), no. 12, 8725–8742

    2017

  48. [48]

    Malliaris, J

    A. Malliaris, J. Melbourne, C. Roberto and M. Roysdon,Functional liftings of restricted geometric inequalities, Preprint (https://arxiv.org/abs/2508.15247)

    work page arXiv

  49. [49]

    V. G. Maz’ya,Classes of domains and imbedding theorems for function spaces, Dokl. Acad. Nauk SSSR (Engl. transl. Soviet Math. Dokl., 1 (1961) 882–885) 3 (1960), 527–530

    1961

  50. [50]

    V. G. Maz’ya,The negative spectrum of the higher-dimensional Schr¨ odinger operator, Dokl. Akad. Nauk SSSR 144 (1962), 721–722

    1962

  51. [51]

    Milman,On the role of convexity in isoperimetry, spectral-gap and concentration, Invent

    E. Milman,On the role of convexity in isoperimetry, spectral-gap and concentration, Invent. Math. 177 (2009), 1–43

    2009

  52. [52]

    F. L. Nazarov,On the maximal perimeter of a convex set inR n with respect to a Gaussian measure, in Geometric aspects of functional analysis, 169–187, Lecture Notes in Math., 1807, Springer, Berlin

  53. [53]

    R. T. Rockafellar and R. J.-B. Wets,Variational analysis, Grundlehren der mathematischen Wissenschaften,

  54. [54]

    xiv+733 pp

    Springer-Verlag, Berlin, 1998. xiv+733 pp

    1998

  55. [55]

    Rotem,Surface area measures of log-concave functions, J

    L. Rotem,Surface area measures of log-concave functions, J. Anal. Math. 147 (2022), no. 1, 373–400

    2022

  56. [56]

    Rotem,The anisotropic total variation and surface area measures, Geometric aspects of functional analysis, 297–312, Lecture Notes in Math., 2327, Springer, Cham, 2023

    L. Rotem,The anisotropic total variation and surface area measures, Geometric aspects of functional analysis, 297–312, Lecture Notes in Math., 2327, Springer, Cham, 2023

    2023

  57. [57]

    Schneider,Convex Bodies: The Brunn-Minkowski Theory, Second expanded edition

    R. Schneider,Convex Bodies: The Brunn-Minkowski Theory, Second expanded edition. Encyclopedia of Math- ematics and its Applications, 151. Cambridge University Press, Cambridge, 2014. xxii+736 pp. Keywords:Dimensional Brunn–Minkowski, log-concave measures, isotropic position, convex bodies, functional inequalities, moment measures, gradient estimates. 2020...

    2014