We prove that in a globally subanalytic family of convex bodies the set of zonoids is log-analytic, and in particular it is definable in the o-minimal structure generated by globally subanalytic sets and the graph of the exponential function.
The Alexandrov--Fenchel inequality bounds from below the square of the mixed volume $V(K_1,K_2,K_3,ldots,K_n)$ of convex bodies $K_1,ldots,K_n$ in $mathbb{R}^n$ by the product of the mixed volumes $V(K_1,K_1,K_3,ldots,K_n)$ and $V(K_2,K_2,K_3,ldots,K
_n)$. As a consequence, for integers $alpha_1,ldots,alpha_minmathbb{N}$ with $alpha_1+cdots+alpha_m=n$ the product $V_n(K_1)^{frac{alpha_1}{n}}cdots V_n(K_m)^{frac{alpha_m}{n}} $ of suitable powers of the volumes $V_n(K_i)$ of the convex bodies $K_i$, $i=1,ldots,m$, is a lower bound for the mixed volume $V(K_1[alpha_1],ldots,K_m[alpha_m])$, where $alpha_i$ is the multiplicity with which $K_i$ appears in the mixed volume. It has been conjectured by Ulrich Betke and Wolfgang Weil that there is a reverse inequality, that is, a sharp upper bound for the mixed volume $V(K_1[alpha_1],ldots,K_m[alpha_m])$ in terms of the product of the intrinsic volumes $V_{alpha_i}(K_i)$, for $i=1,ldots,m$. The case where $m=2$, $alpha_1=1$, $alpha_2=n-1$ has recently been settled by the present authors (2020). The case where $m=3$, $alpha_1=alpha_2=1$, $alpha_3=n-2$ has been treated by Artstein-Avidan, Florentin, Ostrover (2014) under the assumption that $K_2$ is a zonoid and $K_3$ is the Euclidean unit ball. The case where $alpha_2=cdots=alpha_m=1$, $K_1$ is the unit ball and $K_2,ldots,K_m$ are zonoids has been considered by Hug, Schneider (2011). Here we substantially generalize these previous contributions, in cases where most of the bodies are zonoids, and thus we provide further evidence supporting the conjectured reverse Alexandrov--Fenchel inequality. The equality cases in all considered inequalities are characterized. More generally, stronger stability results are established as well.
We introduce a new family of algebraic varieties, $L_{d,n}$, which we call the unsquared measurement varieties. This family is parameterized by a number of points $n$ and a dimension $d$. These varieties arise naturally from problems in rigidity theo
ry and distance geometry. In those applications, it can be useful to understand the group of linear automorphisms of $L_{d,n}$. Notably, a result of Regge implies that $L_{2,4}$ has an unexpected linear automorphism. In this paper, we give a complete characterization of the linear automorphisms of $L_{d,n}$ for all $n$ and $d$. We show, that apart from $L_{2,4}$ the unsquared measurement varieties have no unexpected automorphisms. Moreover, for $L_{2,4}$ we characterize the full automorphism group.
In 1940, Luis Santalo proved a Helly-type theorem for line transversals to boxes in R^d. An analysis of his proof reveals a convexity structure for ascending lines in R^d that is isomorphic to the ordinary notion of convexity in a convex subset of R^
{2d-2}. This isomorphism is through a Cremona transformation on the Grassmannian of lines in P^d, which enables a precise description of the convex hull and affine span of up to d ascending lines: the lines in such an affine span turn out to be the rulings of certain classical determinantal varieties. Finally, we relate Cremona convexity to a new convexity structure that we call frame convexity, which extends to arbitrary-dimensional flats.
Monskys celebrated equidissection theorem follows from his more general proof of the existence of a polynomial relation $f$ among the areas of the triangles in a dissection of the unit square. More recently, the authors studied a different polynomial
$p$, also a relation among the areas of the triangles in such a dissection, that is invariant under certain deformations of the dissection. In this paper we study the relationship between these two polynomials. We first generalize the notion of dissection, allowing triangles whose orientation differs from that of the plane. We define a deformation space of these generalized dissections and we show that this space is an irreducible algebraic variety. We then extend the theorem of Monsky to the context of generalized dissections, showing that Monskys polynomial $f$ can be chosen to be invariant under deformation. Although $f$ is not uniquely defined, the interplay between $p$ and $f$ then allows us to identify a canonical pair of choices for the polynomial $f$. In many cases, all of the coefficients of the canonical $f$ polynomials are positive. We also use the deformation-invariance of $f$ to prove that the polynomial $p$ is congruent modulo 2 to a power of the sum of its variables.