polytope ↗ reference
3076 papers tagged with this keyword
Maximal Hamiltonicity of realization graphs of degree sequences
We prove that the realization graph of every graphical degree sequence is maximally Hamiltonian: it is Hamilton-laceable when bipartite on more than one vertex, and Hamilton-connected otherwise. This answers Problem P59 of Mütze's survey of combinatorial Gray codes, and the Hamiltonicity question recorded as open by Barrus, in the strongest form either admits. The argument is an induction on the number of ground vertices, cutting the realization graph at a single ground vertex into fibers and the quotient they lie over. The proof is formalized in Lean 4 and checked by its kernel, with seven results cited from the literature and nothing else assumed.
Its engine is a classification. The realizable neighborhoods of a ground vertex form a shifted family -- one closed under replacing an element by a smaller one -- and the quotient is the Johnson graph of that family. Such a Johnson graph can fail to be Hamilton-connected, and we determine exactly when: the failures are one explicit family of examples, the Y-families, and each of them fails between a single pair of its members. A shifted family with a greatest member never fails, and those families are exactly the shifted matroids, where the conclusion already follows from the theorem of Naddef and Pulleyblank on the graphs of 0/1-polytopes. The obstruction lives entirely outside the matroid case, which is why it has not been met before.
Taylor Positivity of Ehrhart Polynomials
Let $P$ be a $d$-dimensional lattice polytope with Ehrhart polynomial $L_P(t)$. Motivated by the study of Ehrhart positivity and magic positivity, we investigate the Taylor coefficients $\mathsf{A}_j(P;k)$ in the shifted expansion $L_P(t)=\sum_{j=0}^{d}\mathsf{A}_j(P;k)(t-k)^j$ about a real center $k$. In this paper, we obtain the following four main results.
(i) We give exact formulas for these coefficients in terms of the ordinary Ehrhart coefficients, the $h^*$-vector, elementary symmetric functions, and Stirling numbers.
(ii) We denote by $τ(P)$ and $τ^+(P)$ the smallest nonnegative integral centers at which all Taylor coefficients are nonnegative and positive, respectively. If $s$ is the degree of the $h^*$-polynomial, then $0\leqτ(P)\leqτ^+(P)\leq\min\{\max\{0,s-1\},\lfloor\frac{d-1}{2}\rfloor\}$. As an application, we slightly improve an upper bound due to Beck, De Loera, Develin, Pfeifle, and Stanley. That is, every real root of $L_P(t)$ lies in $[-d,\lfloor\frac{d-1}{2}\rfloor)$.
(iii) Let $ρ(P)$ be the smallest nonnegative real center such that the Taylor coefficients are nonnegative. If $λ_{\mathbb{R}}(f)$ denotes the largest real zero of $f(t)$, with value $-\infty$ when no such zero exists, then $ρ(P)=\max\{0,\max_{0\leq j<d}λ_{\mathbb{R}}\!(L_P^{(j)})\}$.
(iv) We establish structural properties of the Taylor coefficients $\mathsf{A}_j(P;k)$, including derivative interlacing, palindromic reflection symmetries, and Laguerre and Newton inequalities.
As a final note, these results provide a systematic partial answer to an open problem listed on the website of the American Institute of Mathematics.
Lecture hall polytopes and Lakshmibai-Seshadri paths
Using a bijection between the lattice points in a lecture hall polytope and Lakshimibai-Seshadri (L-S) paths, we prove the Koszul property of lecture hall polytopes in complete generality, and give new proofs for their Integral Decomposition Property and for a criterion on Gorenstein property.
Most $(0,1)$-polytopes are not normal
We prove that the proportion of $0/1$-equivalence classes of $d$-dimensional $(0,1)$-polytopes that are normal tends to zero at least at a double exponential rate as $d\to\infty$. As a consequence, the same holds for any of the following classes given by the type of triangulation possible: (a) quadratic, (b) flag unimodular, (c) regular unimodular, or (d) unimodular, among others.
We classify the $0/1$-equivalence classes of $d$-dimensional $(0,1)$-polytopes for $d\leq5$ according to whether they admit a unimodular, flag unimodular, or quadratic triangulation. In dimension five, exactly $175$ out of $1{,}226{,}525$ classes have a flag unimodular triangulation, but no quadratic triangulation. Among them, there are polytopes whose toric rings are not Koszul; thus, we find the first polytopes that have a flag unimodular triangulation, but whose toric ring is not Koszul. In contrast with the matroid case, we exhibit a delta-matroid polytope that is not normal.
Palindromic real-rooted polynomials and $h$-vectors of polytopes
We prove that every monic palindromic real-rooted polynomial with nonnegative integer coefficients is the $h$-polynomial of a simplicial convex polytope. This resolves in the affirmative a longstanding problem circulated by Brenti since 2004.
The real-rootedness of the toric $g$-contribution polynomials
Recently, Ehrenborg, Hetyei and Readdy expressed the toric $g$-polynomial of a simple polytope as a linear combination of a family of polynomials, called $g$-contribution polynomials, with coefficients given by the entries of its gamma-vector. They conjectured that these toric $g$-contribution polynomials are real-rooted. This paper proves this conjecture.
On Unavoidable Faces of High-Dimensional Polytopes
Kalai's cube--simplex conjecture asserts that for all positive integers $\ell,k$, there is an integer $f(\ell,k)$ such that every polytope of dimension at least $f(\ell,k)$ has either a simplex $\ell$-face or a cube $k$-face; let $f_s(\ell,k)$ denote the threshold restricted to simple polytopes. Finiteness of $f(\ell,k)$ is known only for $\ell,k \leq 2$. In addition, Kalai proved that $f_s(2,k) \leq 2k^2$. Here we prove that $f_s(\ell,k)$ is finite for all $\ell \geq 2$ and $k \geq 3$, the first such result beyond $\ell = 2$, with $f_s(2,k) \leq 2k^2-1$ and $f_s(\ell,k) \leq \tfrac{1}{2}k^2\ell\,2^k$ for $\ell \geq 3$. In the opposite direction, we obtain the lower bounds $f(\ell,k) \geq (5\lfloor \ell/2 \rfloor + (\ell \bmod 2) - 1)(k-1)+1$ and $f_s(\ell,k) \geq \max\{4,\,2(\ell-1)\}(k-1)+1$.
A companion question asks for the minimum possible size of a 3-face within a higher-dimensional polytope. Meisinger, Kleinschmidt and Kalai proved that every rational $d$-polytope with $d \geq 9$ has a $3$-face with fewer than $78$ vertices or fewer than $78$ facets. Here we improve their bound: every convex polytope of dimension at least $15$ has a $3$-face with at most $13$ facets. One step of our proof requires an explicit exact rational certificate or identity on flag numbers. This certificate is computed using linear programming.
Unfolding Overlaps of the Exceptional Regular Polytopes
We find explicit ridge unfoldings of the three exceptional 4D polytopes (24-cell, 120-cell, 600-cell) that result in overlaps of their facets. These failures bring an end to the full classification of regular polytopes with the all-net property.
Calculus of the Facial Distance
We develop a few calculus rules to compute or lower bound the facial distance of a polytope. We illustrate our calculus rules on various popular polytopes. In particular, we provide a provide a lower bound on the facial distance of the Birkhoff polytope.
Almost factorial many facets for 0/1-polytopes
A long-standing question posed by Fukuda (1995) and Ziegler (2000) inquires about the asymptotic behavior of $g(n)$, the maximum number of facets that an $n$-dimensional $0/1$-polytope can have. A remarkable result by Bárány and Pór (2001) via probabilistic methods established that $g(n)$ is at least superexponential in $n$. In this paper, we propose a drastic change of perspective, which leads us to show that for each $n\geq 10$ there exists a $0/1$-polytope having at least $(n-\lceil 2\log_2 (n)\rceil - 1)!$ facets. This provides a significant improvement over the currently known lower bounds for $g(n)$. Furthermore, when combined with known upper bounds, our construction establishes the asymptotic behavior of $\log g(n)$ up to an error of $O((\log n)^2)$. The methods employed throughout this paper are elementary and fully deterministic. The underlying ideas in our proof stem from the combinatorics of hypersimplices and permutohedra.
Graded Ehrhart theory for hypersimplices
We prove that the $q$-Ehrhart series of a hyperplane slice of a cube is a rational function with an explicit denominator that satisfies $q$-reciprocity, confirming a conjecture of Reiner and Rhoades for these polytopes. To do this, we find a generating set for the orbit harmonics ideal, which also yields the Hilbert series and graded Frobenius characteristic of the associated quotient. We further show that the harmonic algebra of a hypersimplex $Δ$ is generated as an algebra by the harmonic space of $Δ$ using structural results on 2-factors of regular multigraphs. In particular, the harmonic algebra is finitely generated, giving a second proof of rationality.
On the Dimension of the Best-Worst Choice Polytope
For a set of $n$ alternatives, the best--worst choice polytope is the convex hull of the deterministic best--worst choice vectors induced by all linear rankings of the alternatives. The question of determining the dimension of this polytope as a function of $n$ has been raised by Doignon \cite{Doignon2023}. In this paper we answer this question by finding an explicit formula for this dimension. Our proof is motivated by a representation-theoretic interpretation of the relevant rank problem for the symmetric group, but is presented entirely in elementary linear-algebraic terms. The connection with representation theory will be explored elsewhere.
When are tropical multidegrees positive?
We study the positivity of the tropical multidegrees of a tropical variety contained in a product of real vector spaces. These multidegrees are obtained by stably intersecting the tropical variety with pullbacks of positive tropical divisors. We introduce projection-purity and facet-selectability, two conditions under which positivity is determined by the dimensions of the natural projections, and the support of the tropical multidegrees is precisely the set of lattice points of a polymatroid base polytope. This extends He's theorem for translation-admissible tropical varieties. We also show that these conditions alone do not force the corresponding tropical volume polynomial to be Lorentzian. By contrast, for the augmented Bergman fan of any polymatroid, the positive multidegrees are supported precisely on the lattice points of the polymatroid base polytope, and the tropical volume polynomial is Lorentzian for every sequence of positive tropical divisors.
Clique decompositions and covers for large graphs
In 1966, Erdős, Goodman, and Pósa showed that every $n$-vertex graph $G$ admits a cover of its edges using at most $\lfloor \frac{n^2}{4}\rfloor$ cliques, with tightness witnessed by the balanced complete bipartite graph. Erdős suggested the following strengthening: every $n$-vertex graph $G$ admits an edge decomposition into cliques with total cost at most $\lfloor \frac{n^2}{4}\rfloor$, where each $i$-clique has cost $i-1$. There is another generalization conjectured by Dau, Milenkovic and Puleo: for every $t\ge4$, every $n$-vertex graph $G$ admits a cover of its $t$-cliques using at most $\prod_{j=0}^{t-1}\left\lfloor\frac{n+j}{t}\right\rfloor$ cliques. Balogh, He, Krueger, Nguyen and Wigal proved asymptotic and fractional versions of these conjectures. We solve both conjectures for large $n$ and identify the equality cases. Our proof of Erdős's conjecture combines linear programming duality and the spanning-forest polytope with a weighted stability form of Mantel's theorem, followed by explicit decomposition algorithms around an almost balanced bipartition. For the $t$-clique-cover conjecture, we combine graph removal lemma and generalized Turán stability with an exact covering construction for graphs close to $T_{n,t}$.
Partitions of canonical bases
We show that various partitions of the canonical basis of quantum groups constructed by Lusztig and by Kashiwara coincide. Using this partition, we show that the subset corresponding to open Richardson varieties equals to the intersection of the subsets corresponding to the Schubert cells. We also show that in type $A$, the weights from open Richardson varieties are saturated in the corresponding Bruhat interval polytope.
Coset geometries acting on their elements: The $j$-diagonals twisting
Let $β$ be a coset incidence system and fix a type $j$. We use the orbits of the group of $β$ on pairs of distinct $j$-elements to define a Coxeter graph. The action on the $j$-elements induces an action on the corresponding Coxeter group, so the twisting construction for coset incidence systems can be applied. The resulting coset geometry, called the $j$-diagonals twisting, is always a regular hypertope if $β$ is a regular hypertope. Using this, we show that finite regular hypertope whose diagram is a tree with all but one of the labels equal to four always exist. We also define an extension operation that combines this Coxeter graph with another given Coxeter graph. For regular polytopes, these constructions recover the twisting extensions of McMullen and Schulte.
Makhlin polytopes are Demazure string polytopes
We show that Makhlin's polytopes in type $B_n$ are unimodularly equivalent to string polytopes for Demazure modules in type $B_{2n-1}$. The proof passes through type $C$, combining Makhlin's diagonal comparison with symplectic FFLV polytopes and the $B/C$ similarity for string cones.
Infinite rational distance sets in affine general position: constructions in every dimension
For every integer $d\geq 1$, we construct a countably infinite set $X_d\subset\mathbb{R}^d$ in affine general position, with all pairwise distances rational. When $d$ is odd, $X_d$ may also be chosen so that no $d+2$ points lie on a common sphere. The construction is uniform in $d$: positive Chebyshev square decompositions produce harmonic curves on spheres whose points corresponding to rational parameter values have pairwise rational distances. A divided-difference factorization of the affine determinant shows that sufficiently short arcs are locally convex, and stereographic projection produces the odd-dimensional examples. We also construct infinite rational distance sets in $\mathbb{Q}^d$ in affine general position for every even $d$, and in general position for every $d\equiv 1\pmod 4$. For every $d\geq 1$ and $n\geq d+1$, taking and rescaling suitable finite subsets gives $n$-point integral point sets in affine general position. A suitable ordered choice yields integral-distance realizations of all cyclic polytopes. In dimension three, we give an explicit rational parametrization and obtain infinitely many pairwise non-similar primitive $n_3$-clusters for every $n\geq 4$.
Approximate counting of vertices of 0/1 polytopes: a stronger hardness result
We show that approximately counting the vertices of a bounded 0/1 polytope, presented as a system of rational linear inequalities, is, informally speaking, NP-hard. In particular, there is no FPRAS for this problem unless RP=NP. The proof is by a reduction from approximately counting homomorphisms from a given graph to a particular four-vertex graph. The main proof ideas were found using GPT-5.6 Sol Ultra.
Polytopal bases for barycentric subdivisions
Several important fans studied at the interface of combinatorics and algebraic geometry arise from barycentric subdivisions of other fans; the central example is the braid arrangement. The collection of faces of the standard simplex forms a basis for the deformation cone of the braid arrangement, i.e. the cone of generalized permutahedra. We reinterpret this simplicial basis as the collection of deep truncations of the standard simplex, and systematically abstract this perspective to produce polytopal bases for the deformation cones of barycentric subdivisions of simplicial projective fans. We further demonstrate that these bases restrict to bases for deformation cones of fans obtained by a sequence of stellar subdivisions induced by a building set. When the starting polytope is smooth with all edge lengths equal to 1, we show that we can upgrade our basis to a collection of flat truncations. We then investigate two extensions of the braid arrangement where we are able to further upgrade our flat truncation basis to an indecomposable polytopal basis: 1.the barycentric subdivision of the normal fan of a product of standard simplices and 2.the barycentric subdivision of the braid arrangement.
We discuss connections to, and implications for, Archimedean solids and regular polytopes, permutahedral plates, root polytopes, permutoassociahedra, simple permutonestohedra, cosmohedra, omnitruncations of Coxeter permutahedra, bipermutahedra, $π$-colored fans, and tropical $α$ and $β$ classes.