arXiv++ Combinatorics

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.

Zonoids are Hausdorff limits of zonotopes, while zonotopes are convex polytopes defined as the Minkowski sums of finitely many segments. We present a combinatorial framework that links the study of mixed volumes of zonoids (a topic that has applications in algebraic combinatorics) with the study of the absolute value of the Grassmannian, defined as the image of the Grassmannian under the coordinate-wise absolute value map. We use polyhedral computations to derive new families of inequalities for n zonoids in dimension d, when (n,d)=(6,2) and (6,3). Unlike the classical geometric inequalities, originating from the Brunn-Minkowski and Aleksandrov-Fenchel inequalities, the inequalities we produce have the special feature of being Minkowski linear in each of the n zonoids they involve.