On the Log-submodularity for zonoids: from Mixed Volume inequalities to the Hypercube
Abstract
In convex geometry, a number of inequalities for the volume of coordinate projections of convex bodies share a common structural property. We formalize them as inequalities of log-submodularity type, providing a definition that stems from the notion of a submodular function. The Loomis-Whitney inequality and some of its generalizations are the most prominent examples. Some inequalities of log-submodularity type are valid for zonoids but not for general convex bodies. They have a natural meaning in statistics and information theory. We propose a new inequality of log-submodularity type for zonoids. In dimension 3, our inequality is equivalent to the log-submodularity conjecture for zonoids formulated by Fradelizi, Madiman, Meyer, and Zvavitch, which is true in dimension $3$ and false in higher dimensions. In contrast, our inequality is true in every dimension. We reduce our inequality to copositivity of a special polynomial, which we call the hypercube polynomial. For 4-dimensional zonoids, we verify the copositivity of the respective hypercube polynomial algebraically by providing a sum-of-squares certificate. In every dimension, a proof of copositivity of the hypercube polynomial that uses probability theory and well-known matrix inequalities has been produced by LLMs and brought to our attention. We present a detailed and easy-to-read version of this proof.
Related
- Zonoids whose polars are zonoids: the Banach--Mazur distance need not tend to one
- Correlation inequalities for volume polynomials
- Sharp Small-Volume Isoperimetry from Log-Sobolev Inequalities
- Volume Doubling and Geometric Inequalities on Graphs with Bakry-Émery Curvature
- Sharp volume tests and entropy thresholds for quasilinear elliptic inequalities with gradient reactions
BibTeX
@misc{averkov2026logsubmodularity,
title = {{On the Log-submodularity for zonoids: from Mixed Volume inequalities to the Hypercube}},
author = {Gennadiy Averkov and Katherina von Dichter and Ivan Soprunov},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.14909},
eprint = {2608.14909},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.14909},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - On the Log-submodularity for zonoids: from Mixed Volume inequalities to the Hypercube
AU - Gennadiy Averkov
AU - Katherina von Dichter
AU - Ivan Soprunov
PY - 2026
DA - 2026/10/18
PB - arXiv
DO - 10.48550/arxiv.2608.14909
UR - https://arxiv.org/abs/2608.14909
AB - In convex geometry, a number of inequalities for the volume of coordinate projections of convex bodies share a common structural property. We formalize them as inequalities of log-submodularity type, providing a definition that stems from the notion of a submodular function. The Loomis-Whitney inequality and some of its generalizations are the most prominent examples. Some inequalities of log-submodularity type are valid for zonoids but not for general convex bodies. They have a natural meaning in statistics and information theory. We propose a new inequality of log-submodularity type for zonoids. In dimension 3, our inequality is equivalent to the log-submodularity conjecture for zonoids formulated by Fradelizi, Madiman, Meyer, and Zvavitch, which is true in dimension $3$ and false in higher dimensions. In contrast, our inequality is true in every dimension. We reduce our inequality to copositivity of a special polynomial, which we call the hypercube polynomial. For 4-dimensional zonoids, we verify the copositivity of the respective hypercube polynomial algebraically by providing a sum-of-squares certificate. In every dimension, a proof of copositivity of the hypercube polynomial that uses probability theory and well-known matrix inequalities has been produced by LLMs and brought to our attention. We present a detailed and easy-to-read version of this proof.
ER -