מושגי ליבה
Every d-dimensional centrally-symmetric polytope has at least 3^d non-empty faces.
תקציר
The content discusses Kalai's 3^d conjecture, which states that every d-dimensional centrally-symmetric polytope has at least 3^d non-empty faces. The authors provide short proofs for two special cases: when the polytope is unconditional (invariant under reflection in any coordinate hyperplane), and more generally, when the polytope is locally anti-blocking.
For unconditional polytopes, the authors show that the minimum of 3^d faces is attained exactly for the Hanner polytopes. For locally anti-blocking polytopes, the authors prove that the minimum of 3^d faces is also attained exactly for the generalized Hanner polytopes, which are locally anti-blocking realizations of the usual Hanner polytopes.
The authors also provide a second, more combinatorial proof of the inequality part of the 3^d conjecture for unconditional polytopes. Additionally, they discuss the relationship between the 3^d conjecture and the Mahler conjecture, which states that cubes are the "least round" centrally-symmetric polytopes.
סטטיסטיקה
Every d-dimensional centrally-symmetric polytope P satisfies spPq ě 3^d, where spPq is the number of non-empty faces of P.
The Hanner polytopes are the unique minimizers among unconditional polytopes.
Generalized Hanner polytopes are the unique minimizers among locally anti-blocking polytopes.
ציטוטים
"Kalai's 3d conjecture states that every centrally-symmetric d-polytope has at least 3d faces."
"Intuitively, the Mahler volume can be thought of as a (GLd-invariant) measure of roundness and, by the Blaschke–Santaló inequality, is maximized on the Euclidean ball."
"Round polytopes require many faces and spPq should be thought of as a combinatorial measure of roundness and hence should also be minimized on the cube."