L_p Brunn-Minkowski inequality for weighted dual quermassintegrals
Pith reviewed 2026-07-02 02:14 UTC · model grok-4.3
The pith
Under a log-concavity condition on the weight, the L_p Brunn-Minkowski inequality for weighted dual quermassintegrals holds with concavity exponent 1/q.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that for p ≥ 1 the L_p Brunn-Minkowski inequality holds for the weighted dual quermassintegrals with concavity exponent 1/q, provided that φ is positive and radially non-increasing and t ↦ log φ(e^t) is concave. This improves the exponent 1/n from previous work. The weighted dual quermassintegral is defined by integrating the radial density |x|^{q-n} φ(|x|) for q ∈ (0,n].
What carries the argument
The weighted dual quermassintegral defined by integrating |x|^{q-n} φ(|x|), under the concavity condition on log φ(e^t).
If this is right
- When φ is identically 1, the result reduces to the classical dual quermassintegral inequality.
- For p in (0,1), the inequality holds with exponent p/q under more restrictive conditions on the weight.
- Explicit lower bounds on the range of admissible p are given.
Where Pith is reading between the lines
- The condition t ↦ log φ(e^t) concave aligns with convexity properties used for rotationally invariant measures in probability.
- This approach might extend to other integral functionals in convex geometry with similar radial weights.
- The improved exponent could yield sharper volume estimates in weighted convex bodies.
Load-bearing premise
The weight φ must be positive and radially non-increasing with t ↦ log φ(e^t) concave.
What would settle it
A counterexample consisting of a weight φ where t ↦ log φ(e^t) is not concave, for which the L_p Brunn-Minkowski inequality fails to hold with the exponent 1/q.
read the original abstract
We investigate the $L_p$ Brunn-Minkowski inequality for dual quermassintegrals in weighted measure spaces, which is a special class of rotationally invariant measures proposed by Cordero-Erausquin and Rotem [Ann. Probab., {\bf 51} (2023)]. Specifically, the weighted dual quermassintegral is defined by integrating the radial density $|x|^{q-n}\phi(|x|)$ for $q\in(0,n]$, where $\phi$ is a positive radially non-increasing weight, it recovers the classical dual quermassintegral when $\phi\equiv1$. For $p\geq1$, we prove the $L_p$ Brunn-Minkowski inequality with concavity exponent $1/q$ under the condition that $t\mapsto\log\phi(e^t)$ is concave, which is exactly the natural convexity condition from Cordero-Erausquin and Rotem's paper in general, improving the exponent $1/n$. For $p\in(0,1)$, we obtain the result with exponent $p/q$ under more strictly weight assumptions, together with explicit lower bounds for the admissible range of $p$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines weighted dual quermassintegrals via integration against the radial density |x|^{q-n} φ(|x|) for q ∈ (0,n], where φ > 0 is radially non-increasing. It proves the L_p Brunn-Minkowski inequality for these functionals: for p ≥ 1 the concavity exponent is 1/q whenever t ↦ log φ(e^t) is concave (the Cordero-Erausquin–Rotem condition), improving the classical 1/n; for p ∈ (0,1) the exponent p/q holds under stricter assumptions on φ together with explicit lower bounds on admissible p. The unweighted case φ ≡ 1 is recovered.
Significance. If the derivations hold, the work supplies a direct, natural extension of the L_p Brunn-Minkowski theory to the weighted rotationally invariant measures introduced by Cordero-Erausquin–Rotem, with a strictly better concavity exponent under precisely the convexity condition those authors identified. The explicit range for p < 1 adds concrete information on the boundary of validity. These are load-bearing improvements in the study of geometric inequalities for non-Euclidean measures.
minor comments (2)
- [§2] The definition of the weighted dual quermassintegral (presumably in §2) should explicitly record the normalization constant or the precise integral expression to avoid ambiguity when q varies.
- [Introduction] A short remark comparing the new exponent 1/q with the classical 1/n for the model case φ ≡ 1 would help readers see the improvement immediately.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for the positive assessment, including the recommendation to accept.
Circularity Check
No significant circularity identified
full rationale
The paper takes the concavity condition t ↦ log φ(e^t) directly as an external assumption from the cited Cordero-Erausquin-Rotem work to obtain the improved exponent 1/q; this is presented as an input rather than derived or fitted inside the manuscript. No self-citations appear load-bearing, no quantity is defined in terms of the result it is claimed to produce, and no prediction reduces by construction to a fitted parameter or renamed known pattern. The derivation chain therefore remains independent of its own outputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption t ↦ log φ(e^t) is concave
Reference graph
Works this paper leans on
-
[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]
Aishwarya and L
G. Aishwarya and L. Rotem, New Brunn-Minkowski and functional inequalities via convexity of entropy, Adv. Math.490(2026), Paper No. 110841, 33 pp
2026
-
[3]
Borell, Convex set functions ind-space, Period
C. Borell, Convex set functions ind-space, Period. Math. Hungar.6(1975), no. 2, 111–136
1975
-
[4]
B¨ or¨ oczky, E
K. B¨ or¨ oczky, E. Lutwak, D. Yang and G. Zhang, The log-Brunn-Minkowski inequality, Adv. Math.231(2012), no. 3-4, 1974–1997
2012
-
[5]
Cordero-Erausquin and L
D. Cordero-Erausquin and L. Rotem, Improved log-concavity for rotationally invariant mea- sures of symmetric convex sets, Ann. Probab.51(2023), no. 3, 987–1003
2023
-
[6]
D. Cordero-Erausquin and A. Eskenazis, Concavity principles for weighted marginals, arXiv:2506.16941, 2025
-
[7]
S. Chen, Y. Huang, Q. Li, J. Liu, TheL p-Brunn-Minkowski inequality forp <1, Adv. Math. 368(2020), 107166, 21 pp
2020
-
[8]
Eskenazis and G
A. Eskenazis and G. Moschidis, The dimensional Brunn-Minkowski inequality in Gauss space, J. Funct. Anal.280(2021), no. 6, Paper No. 108914, 19 pp. Lp BRUNN-MINKOWSKI INEQUALITY FOR WEIGHTED DUAL QUERMASSINTEGRALS 12
2021
-
[9]
Functional perimeter and the dimensional Brunn-Minkowski inequality for log-concave measures
A. Eskenazis, A. Giannopoulos and N. Tziotziou, Functional perimeter and the dimensional Brunn-Minkowski inequality for log-concave measures, arXiv:2605.02747, 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[10]
Y. Feng, S. Hu and L. Xu, Existence of solutions to the even Gaussian dual Minkowski problem, Adv. in Appl. Math.163(2025), part A, Paper No. 102808, 28 pp
2025
-
[11]
Y. Feng, Y. Li and L. Xu, Existence of solutions to the Gaussian dual Minkowski problem, J. Differential Equations416(2025), part 1, 268–298
2025
-
[12]
Fradelizi, D
M. Fradelizi, D. Langharst, M. Madiman and A. Zvavitch, Weighted Brunn-Minkowski theory I: On weighted surface area measures, J. Math. Anal. Appl.529(2024), no. 2, Paper No. 127519, 30 pp
2024
-
[13]
M. Fradelizi, D. Langharst, M. Madiman and A. Zvavitch, Weighted Brunn-Minkowski Theory II: Inequalities for mixed measures and applications, arXiv:2402.10314, 2024
-
[14]
R. J. Gardner and A. Zvavitch, Gaussian Brunn-Minkowski inequalities, Trans. Amer. Math. Soc.362(2010), no. 10, 5333–5353
2010
-
[15]
Hosle, A
J. Hosle, A. V. Kolesnikov and G. V. Livshyts, On theL p-Brunn-Minkowski and dimensional Brunn-Minkowski conjectures for log-concave measures, J. Geom. Anal.31(2021), no. 6, 5799– 5836
2021
-
[16]
Huang, D
Y. Huang, D. Yang and G. Zhang, Minkowski problems for geometric measures, Bull. Amer. Math. Soc. (N.S.)62(2025), no. 3, 359–425
2025
-
[17]
Huang, D
Y. Huang, D. Xi and Y. Zhao, The Minkowski problem in Gaussian probability space, Adv. Math.385(2021), Paper No. 107769, 36 pp
2021
-
[18]
Hu, The generalized Gaussian log-Minkowski problem, Proc
J. Hu, The generalized Gaussian log-Minkowski problem, Proc. Amer. Math. Soc.153(2025), no. 5, 2127–2137
2025
-
[19]
A. V. Kolesnikov and E. Milman, Brascamp-Lieb-type inequalities on weighted Riemannian manifolds with boundary, J. Geom. Anal.27(2017), no. 2, 1680–1702
2017
-
[20]
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
-
[21]
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
-
[22]
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
-
[23]
G. V. Livshyts, An extension of Minkowski’s theorem and its applications to questions about projections for measures, Adv. Math.356(2019), 106803, 40 pp
2019
-
[24]
Kryvonos and D
L. Kryvonos and D. Langharst, Weighted Minkowski’s existence theorem and projection bodies, Trans. Amer. Math. Soc.376(2023), no. 12, 8447–8493
2023
-
[25]
D. Langharst, J. Liu and S. Tang, The weightedL p Minkowski problem. Rev. Mat. Iberoam, 2026, published online first, DOI 10.4171/RMI/1636
-
[26]
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
-
[27]
G. V. 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
-
[28]
Liu and S
J. Liu and S. Tang, The generalized Gaussian Minkowski problem, J. Geom. Anal.34(2024), no. 10, Paper No. 302, 35 pp
2024
-
[29]
A. Malliaris, J. Melbourne, C. Roberto and M. Roysdon, Functional Liftings of Restricted Geometric Inequalities, arXiv:2508.15247, 2025. Lp BRUNN-MINKOWSKI INEQUALITY FOR WEIGHTED DUAL QUERMASSINTEGRALS 13
-
[30]
Malago´ n, J
L. Malago´ n, J. Nicol´ as, OnLp Brunn-Minkowski type inequalities for a general class of func- tionals. Rev. Mat. Iberoam. 42 (2026), no. 4, pp. 1363–1384
2026
-
[31]
Milman and L
E. Milman and L. Rotem, Complemented Brunn-Minkowski inequalities and isoperimetry for homogeneous and non-homogeneous measures, Adv. Math.262(2014), 867–908
2014
-
[32]
Nayar and T
P. Nayar and T. Tkocz, A note on a Brunn-Minkowski inequality for the Gaussian measure, Proc. Amer. Math. Soc.141(2013), no. 11, 4027–4030
2013
-
[33]
Putterman, Equivalence of the local and global versions of theL p-Brunn-Minkowski in- equality, J
E. Putterman, Equivalence of the local and global versions of theL p-Brunn-Minkowski in- equality, J. Funct. Anal.280(2021), no. 9, Paper No. 108956, 20 pp
2021
-
[34]
Sadovsky and G
S. Sadovsky and G. Zhang, Brunn-Minkowski and reverse isoperimetric inequalities for dual quermassintegrals, Adv. Math.480(2025), part A, Paper No. 110456, 14 pp
2025
-
[35]
Xi and Z
D. Xi and Z. Zhang, TheL p Brunn-Minkowski inequalities for dual quermassintegrals, Proc. Amer. Math. Soc.150(2022), no. 7, 3075–3086
2022
-
[36]
The Brunn-Minkowski inequality for the generalized Gaussian distribution
G. Xiong and K. Yang, The Brunn-Minkowski inequality for the generalized Gaussian distri- bution, arXiv:2605.24472, 2026. Institute of Mathematics, Hunan University, Changsha, 410082, China Email address:cxj@hnu.edu.cn Institute of Mathematics, Hunan University, Changsha, 410082, China Email address:tsy@hnu.edu.cn Institute of Mathematics, Hunan Universit...
work page internal anchor Pith review Pith/arXiv arXiv 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.