On the inequalities of projected volumes and the constructible region

From MaRDI portal
Publication:5376541




Abstract: We study the following geometry problem: given a 2n1 dimensional vector pi=piSSsubseteq[n],Seemptyset, is there an object TsubseteqmathbbRn such that log(mathsfvol(TS))=piS, for all Ssubseteq[n], where TS is the projection of T to the subspace spanned by the axes in S? If pi does correspond to an object in mathbbRn, we say that pi is {em constructible}. We use Psin to denote the constructible region, i.e., the set of all constructible vectors in mathbbR2n1. In 1995, Bollob'{a}s and Thomason showed that Psin 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 Psin 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 Psin 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 Psin. Finally, we conclude with an interesting conjecture regarding the convex hull of Psin.









This page was built for publication: On the inequalities of projected volumes and the constructible region

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5376541)