On the Inequalities of Projected Volumes and the Constructible Region

We study the following geometry problem: given a $2^n-1$ dimensional vector $\pi =\{{\pi }_S{\}}_{S\subseteq [n],S\mathrm{\ne }\mathrm{\varnothing }}$, is there an object $T\subseteq {\mathbb{R}}^n$ such that $\log (\mathsf{v}\mathsf{o}\mathsf{l}(T_S))={\pi }_S$, for all $S\subseteq [n]$, where $T_S$ is the projection of $T$ to the subspace spanned by the axes in $S$? If $\pi$ does correspond to an object in ${\mathbb{R}}^n$, we say that $\pi$ is {\em constructible}. We use ${\mathrm{\Psi }}_n$ to denote the constructible region, i.e., the set of all constructible vectors in ${\mathbb{R}}^{2^n-1}$. In 1995, Bollob'{a}s and Thomason showed that ${\mathrm{\Psi }}_n$ is contained in a polyhedral cone, defined a class of so called uniform cover inequalities. We propose a new set of natural inequalities, called nonuniform-cover inequalities, which generalize the BT inequalities. We show that any linear inequality that all points in ${\mathrm{\Psi }}_n$ satisfy must be a nonuniform-cover inequality. Based on this result and an example by Bollob'{a}s and Thomason, we show that constructible region ${\mathrm{\Psi }}_n$ is not even convex, and thus cannot be fully characterized by linear inequalities. We further show that some subclasses of the nonuniform-cover inequalities are not correct by various combinatorial constructions, which refutes a previous conjecture about ${\mathrm{\Psi }}_n$. Finally, we conclude with an interesting conjecture regarding the convex hull of ${\mathrm{\Psi }}_n$.