Weighted centro-affine Poincar\'e inequalities
Pith reviewed 2026-06-28 05:22 UTC · model grok-4.3
The pith
A flat logarithmic centro-affine geometry on the positive orthant yields sharp weighted Poincaré inequalities for unconditional convex bodies.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes that a flat logarithmic centro-affine geometry on (0,∞)^n, adapted to the L0-sum, yields via a Bochner formula a sharp Poincaré inequality, together with a new proof of the centro-affine Poincaré inequality with constant n for unconditional bodies and unconditional functions.
What carries the argument
flat logarithmic centro-affine geometry on the positive orthant adapted to the multiplicative L0-sum
If this is right
- Weighted Poincaré inequalities hold on caps and intersections of caps for position-dependent weights.
- A centro-affine Poincaré inequality with weight |X|^2 is obtained in the unconditional case.
- Brunn-Minkowski inequalities are proved for the (n+2)nd dual quermassintegral and for the q-th dual quermassintegral when q in (0,n).
- L_p-Brunn-Minkowski inequalities hold for q = n + alpha with alpha up to 2p(1-p)/(2-p).
- These inequalities imply uniqueness results for the L_{p,q}-Minkowski problem in the unconditional class.
Where Pith is reading between the lines
- The geometry might extend to yield Poincaré inequalities in other multiplicative settings beyond unconditional bodies.
- Similar flat geometries could be constructed for other affine invariants in convex geometry.
- Applications to functional inequalities for log-concave measures on the orthant may follow from the Bochner formula.
Load-bearing premise
The approach assumes the hypersurfaces are smooth and strictly convex and restricts attention to unconditional bodies and functions on the positive orthant.
What would settle it
Constructing an unconditional function on the positive orthant for which the centro-affine Poincaré inequality with constant n fails would disprove the result.
read the original abstract
We obtain weighted centro-affine Bochner formulas on spherical caps associated with smooth strictly convex hypersurfaces. As a consequence, we prove weighted Poincar\'e inequalities on caps and on intersections of caps for a class of weights depending on the position vector $X$ of the hypersurface. In the unconditional case, we obtain a centro-affine Poincar\'e inequality with weight $|X|^2$, which is used to prove a Brunn--Minkowski inequality for the $(n+2)$-nd dual quermassintegral. We also establish an $L_0$-Brunn--Minkowski inequality for the $q$-th dual quermassintegral for $q\in(0,n)$, with equality only for dilates, and an $L_p$-Brunn--Minkowski inequality for $q=n+\alpha$ whenever \[ 0<\alpha\le \frac{2p(1-p)}{2-p}, \] which in particular covers the range $q\in(n,n+6-4\sqrt{2}]$ for suitable $p\in(0,1)$. These Brunn--Minkowski inequalities imply weighted centro-affine Poincar\'e inequalities and uniqueness results for the $L_{p,q}$-Minkowski problem in the unconditional class. Our main contribution is the introduction of a flat logarithmic centro-affine geometry on the positive orthant $(0,\infty)^n$, adapted to the multiplicative structure of the $L_0$-sum. In this geometry, a Bochner formula yields a sharp Poincar\'e inequality, as well as a new proof of the centro-affine Poincar\'e inequality with constant $n$ due to Kolesnikov--Milman, for unconditional bodies and unconditional functions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a flat logarithmic centro-affine geometry on the positive orthant (0,∞)^n adapted to the multiplicative L0-sum structure. From this geometry it derives weighted centro-affine Bochner formulas on spherical caps of smooth strictly convex hypersurfaces. These formulas yield weighted Poincaré inequalities on caps and cap intersections for position-dependent weights |X|^2. In the unconditional setting the construction recovers the centro-affine Poincaré inequality with sharp constant n (Kolesnikov–Milman) and produces an L0-Brunn–Minkowski inequality for the q-th dual quermassintegral (q∈(0,n)) together with an Lp-Brunn–Minkowski inequality for q=n+α when 0<α≤2p(1-p)/(2-p). The inequalities imply uniqueness results for the unconditional L_{p,q}-Minkowski problem.
Significance. If the flatness of the introduced connection and the ensuing Bochner identity hold as stated, the work supplies a geometrically natural framework that simultaneously produces sharp weighted Poincaré inequalities and new Brunn–Minkowski statements for dual quermassintegrals. The explicit recovery of the constant n and the parameter ranges for the Lp case constitute concrete, falsifiable advances in centro-affine convex geometry.
minor comments (2)
- The abstract states the range 0<α≤2p(1-p)/(2-p) without indicating its origin; a one-sentence pointer to the relevant curvature computation or inequality in the body would improve readability.
- The precise definition of the flat logarithmic centro-affine connection (vanishing curvature, Christoffel symbols, etc.) should appear in a dedicated subsection before the Bochner formula is invoked.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript, the detailed summary, and the recommendation for minor revision. No major comments appear in the report.
Circularity Check
No significant circularity detected
full rationale
The paper defines a new flat logarithmic centro-affine geometry on (0,∞)^n adapted to the L0-sum, then derives a Bochner formula from the vanishing curvature of this connection; the weighted Poincaré inequalities and the reproof of the Kolesnikov–Milman result with constant n are direct consequences of that formula. No step equates the target inequality to a fitted parameter, renames a known result, or reduces the central claim to a self-citation whose content is itself unverified. The construction is explicitly restricted to the stated setting (smooth strictly convex hypersurfaces, position-dependent weights, unconditional bodies) and is presented as an independent geometric input rather than being reverse-engineered from the desired inequalities.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Hypersurfaces are smooth and strictly convex
- domain assumption Bodies and functions are unconditional
invented entities (1)
-
flat logarithmic centro-affine geometry
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Andrews, Gauss curvature flow: the fate of the rolling stones, Invent
B. Andrews, Gauss curvature flow: the fate of the rolling stones, Invent. Math. 138 (1999): 151--161
1999
-
[2]
Bollob\'as, I
B. Bollob\'as, I. Leader, Products of unconditional bodies, Geometric aspects of functional analysis (Israel, 1992--1994), Oper. Theory Adv. Appl., 77, Birkh\"auser, Basel, (1995), 13--24
1992
-
[3]
K. J. B\"or\"oczky, E. Lutwak, D. Yang, G. Zhang, The log-Brunn-Minkowski-inequality, Adv. Math. 231 (2012): 1974--1997
2012
-
[4]
Brendle, K
S. Brendle, K. Choi, P. Daskalopoulos, Asymptotic behavior of flows by powers of the Gaussian curvature, Acta Math. 219 (2017): 1--16
2017
-
[5]
Chen, Q.-R
S. Chen, Q.-R. Li, L. Xu, Symmetry of solutions to a class of geometric equations for hypersurfaces in ^ n+1 , J. Differential Equations 401 (2024): 671--682
2024
-
[6]
Colesanti, D
A. Colesanti, D. Hug, E. S. Gomez, Monotonicity and concavity of integral functionals involving area measures of convex bodies, Commun. Contemp. Math. 19 (2017): 1650033
2017
-
[7]
Colesanti, G
A. Colesanti, G. Livshyts, A. Marsiglietti, On the stability of Brunn-Minkowski type inequalities, J. Funct. Anal. 273 (3) (2017): 1120--1139
2017
-
[8]
Cordero-Erausquin, L
D. Cordero-Erausquin, L. Rotem, Improved log-concavity for rotationally invariant measures of symmetric convex sets, Ann. Probab. 51 (3) (2023): 987--1003
2023
-
[9]
Dubuc, Crit\`eres de convexit\'e et in\'egalit\'es int\'egrales, Ann
S. Dubuc, Crit\`eres de convexit\'e et in\'egalit\'es int\'egrales, Ann. Inst. Fourier (Grenoble) 27 (1977): 135--165
1977
-
[10]
Y. Hu, M. N. Ivaki, On the uniqueness of solutions to the isotropic L_p dual Minkowski problem, Nonlinear Anal. 241 (2024): 113493
2024
-
[11]
Y. Hu, M. N. Ivaki, Stability of the cone-volume measure with near constant density, Int. Math. Res. Not. IMRN 2025, no. 6 (2025)
2025
-
[12]
Huang, E
Y. Huang, E. Lutwak, D. Yang, G. Zhang, Geometric measures in the dual Brunn-Minkowski theory and their associated Minkowski problems, Acta Math. 216 (2) (2016): 325--388
2016
-
[13]
Huang, D
Y. Huang, D. Yang, G. Zhang, Minkowski problems for geometric measures, Bull. Amer. Math. Soc. 62, no. 3 (2025): 359--425
2025
-
[14]
Ishige, Q
K. Ishige, Q. Liu, P. Salani, A parabolic PDE-based approach to Borell-Brascamp-Lieb inequality, Math. Ann. 392 (4) (2025): 4891--4937
2025
- [15]
-
[16]
M. N. Ivaki, E. Milman, Uniqueness of solutions to a class of isotropic curvature problems, Adv. Math. 435 (2023): No. 109350
2023
-
[17]
A. V. Kolesnikov, G. V. Livshyts, On the Gardner-Zvavitch conjecture: symmetry in inequalities of Brunn-Minkowski type, Adv. Math. 384 (2021): 107689
2021
-
[18]
A. V. Kolesnikov, E. Milman, Riemannian metrics on convex sets with applications to Poincar\'e and log-Sobolev inequalities, Calc. Var. Partial Differential Equations 55, no. 4 (2016): 77
2016
-
[19]
A. V. Kolesnikov, E. Milman, Poincar\'e and Brunn-Minkowski inequalities on the boundary of weighted Riemannian manifolds, Amer. J. Math. 140 (5) (2018): 1147--1185
2018
-
[20]
A. V. Kolesnikov, E. Milman, Local L^p -Brunn-Minkowski inequalities for p<1 , Mem. Amer. Math. Soc. 277 (2022): No. 1360
2022
-
[21]
H. Li, Y. Wan, Uniqueness of solutions to some classes of anisotropic and isotropic curvature problems, J. Funct. Anal. 287 (3) (2024): 110471
2024
-
[22]
H. Li, Y. Wan, Classification of solutions for the planar isotropic L_p dual Minkowski problem, J. Reine Angew. Math. 834 (2026): 27--56
2026
-
[23]
G. M. Lieberman, Oblique derivative problems for elliptic equations, World Scientific, 2013
2013
-
[24]
Lutwak, D
E. Lutwak, D. Yang, G. Zhang, L_p dual curvature measures, Adv. Math. 329 (2018): 85--132
2018
-
[25]
Milman, Centro-affine differential geometry and the log-Minkowski problem, J
E. Milman, Centro-affine differential geometry and the log-Minkowski problem, J. Eur. Math. Soc. DOI: 10.4171/JEMS/1386 (2023)
-
[26]
Nomizu, T
K. Nomizu, T. Sasaki, Affine Differential Geometry, Cambridge Univ. Press, 1994
1994
-
[27]
Opozda, Bochner's technique for statistical structures, Ann
B. Opozda, Bochner's technique for statistical structures, Ann. Global Anal. Geom. 48, no. 4 (2015): 357--395
2015
-
[28]
Sadovsky, G
S. Sadovsky, G. Zhang, Brunn--Minkowski and reverse isoperimetric inequalities for dual quermassintegrals, Adv. Math. 480 (2025): 110456
2025
-
[29]
Saroglou, Remarks on the conjectured log-Brunn-Minkowski inequality, Geom
C. Saroglou, Remarks on the conjectured log-Brunn-Minkowski inequality, Geom. Dedicata 177, no. 1 (2015): 353--365
2015
-
[30]
Schneider, Convex bodies: the Brunn-Minkowski theory, volume 151 of Encyclopedia of Mathematics and its Applications
R. Schneider, Convex bodies: the Brunn-Minkowski theory, volume 151 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, second expanded edition, 2014
2014
-
[31]
D. Xi, Z. Zhang, The L_p Brunn-Minkowski inequalities for dual quermassintegrals, Proc. Amer. Math. Soc. 150 (7) (2022): 3075--3086
2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.