On a Brunn-Minkowski principle for first-order information functionals
Abstract
In this work we present the following general principle: every positive homogeneous functional on an abstract convex cone satisfying a suitable Brunn-Minkowski inequality gives rise to an information functional -defined as the quotient of the functional by its relative surface area- that satisfies a linear Brunn-Minkowski inequality. We also establish the dual counterpart of this principle for functionals satisfying an analogous convexity property, yielding reverse linear Brunn-Minkowski inequalities for the associated information functionals. Furthermore, we show that homogeneity is necessary within this principle by providing a counterexample to the expected result for the information functional associated to the standard Gaussian measure. As applications, we recover, via an alternative first-order argument, a classical result by Giannopoulos, Hartzoulaki and Paouris (2002) for the ratio of two consecutive quermassintegrals, together with a characterization of the equality case. The same argument extends to the setting of mixed discriminants of symmetric positive definite matrices. Finally, our approach yields new extensions of the Brunn-Minkowski inequality of Dembo, Cover and Thomas, for the classical information functional, both to the Lp setting (p ≥ 1), where the relative surface area is expressed in terms of Lutwak's first Lp quermassintegral, and to the measure-theoretic framework, for measures with homogeneous densities satisfying some concavity. Moreover, we prove that our principle applies also in the context of the Blaschke addition, both in the volume and in the (mixed) affine surface area cases, obtaining new inequalities as an application of it.
Related
- Lp Brunn-Minkowski inequality for the eigenvalue of generalized Monge-Ampère equation
- A new proof of equality cases of the Brunn-Minkowski inequality on manifolds
- Logarithmic Brunn--Minkowski Inequality under n−2 Reflection Symmetries
- The centered logarithmic Brunn--Minkowski inequality
- A very short unified proof of Dar's conjecture and Log-Brunn--Minkowski in the plane
BibTeX
@misc{malagon2026brunnminkowski,
title = {{On a Brunn-Minkowski principle for first-order information functionals}},
author = {Lidia Gordo Malagón and Eugenia Saorín Gómez and Jesús Yepes Nicolás},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.07463},
eprint = {2609.07463},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.07463},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - On a Brunn-Minkowski principle for first-order information functionals
AU - Lidia Gordo Malagón
AU - Eugenia Saorín Gómez
AU - Jesús Yepes Nicolás
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2609.07463
UR - https://arxiv.org/abs/2609.07463
AB - In this work we present the following general principle: every positive homogeneous functional on an abstract convex cone satisfying a suitable Brunn-Minkowski inequality gives rise to an information functional -defined as the quotient of the functional by its relative surface area- that satisfies a linear Brunn-Minkowski inequality. We also establish the dual counterpart of this principle for functionals satisfying an analogous convexity property, yielding reverse linear Brunn-Minkowski inequalities for the associated information functionals. Furthermore, we show that homogeneity is necessary within this principle by providing a counterexample to the expected result for the information functional associated to the standard Gaussian measure. As applications, we recover, via an alternative first-order argument, a classical result by Giannopoulos, Hartzoulaki and Paouris (2002) for the ratio of two consecutive quermassintegrals, together with a characterization of the equality case. The same argument extends to the setting of mixed discriminants of symmetric positive definite matrices. Finally, our approach yields new extensions of the Brunn-Minkowski inequality of Dembo, Cover and Thomas, for the classical information functional, both to the L_p setting (p ≥ 1), where the relative surface area is expressed in terms of Lutwak's first L_p quermassintegral, and to the measure-theoretic framework, for measures with homogeneous densities satisfying some concavity. Moreover, we prove that our principle applies also in the context of the Blaschke addition, both in the volume and in the (mixed) affine surface area cases, obtaining new inequalities as an application of it.
ER -