polytope ↗ reference
3077 papers tagged with this keyword
Bounded powers of edge ideals: Gorenstein polytopes
Published
• View Publication
• BIB
Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G) \subset S$ the edge ideal of a finite graph $G$ on $n$ vertices. Given a vector $\mathfrak{c}\in\mathbb{N}^n$ and an integer $q\geq 1$, we denote by $(I(G)^q)_{\mathfrak{c}}$ the ideal of $S$ generated by those monomials belonging to $I(G)^q$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I(G))$ denote the largest integer $q$ for which $(I(G)^q)_{\mathfrak{c}}\neq (0)$. Since $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal, it follows that its minimal set of monomial generators is the set of bases of a discrete polymatroid $\mathcal{D}(G,\mathfrak{c})$. In the present paper, a classification of Gorenstein polytopes of the form ${\rm conv}(\mathcal{D}(G,\mathfrak{c}))$ is studied.
Discrete Curvatures and Convex Polytopes
We study Forman--Ricci and effective resistance curvatures on the skeleta of convex polytopes. Our guiding questions are: how frequently do polytopal graphs exhibit everywhere positive curvature, and what structural constraints does positivity impose? For Forman--Ricci curvature we derive an exact identity for the average edge curvature in terms of flag $f$-numbers and establish the existence of infinite families of Forman--Ricci-positive polytopes in every fixed dimension $d\ge 6$. We prove finiteness results in low dimension: there are only finitely many Forman--Ricci-positive $3$- and $4$-polytopes; for $d=5$ we show finiteness in the simplicial case, and conjecture its extension to $5$-polytopes more generally. For the resistance curvature $κ(v)$ we establish the existence of infinite families for all $d\ge 3$, and we provide a quantitative lower bound for $κ(v)$ in a simple $3$-polytope in terms of the lengths of the three $2$-faces incident to $v$. This bound leads to constructions of non-vertex-transitive, resistance-positive $3$-polytopes via $Δ$-operations, and a degree-based obstruction showing that if each neighbor of $v$ has degree at most $d_v-2$, then $κ(v)\le 0$. Our results suggest that positive curvature on polytopal skeletons is rare and constrained.
Intersection cohomology without spaces
Published
• View Publication
• BIB
We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.
Embeddings of weighted projective spaces
Let $X$ be a projective toric variety of dimension $n$ and let $L$ be a ample line bundle on $X$. For $k \geq 0$, it is in general difficult to determine whether $L^{\otimes k}$ is very ample and whether it additionally gives a projectively normal embedding. These two properties are equivalent to the very ampleness, respectively normality, of the corresponding polytope. By a result of Ewald-Wessels, both statements are classically known to hold for $k \geq n - 1$.
We study embeddings of weighted projective spaces $\mathbb{P}(a_0, \ldots, a_n)$ via their corresponding rectangular simplices $Δ(λ_1, \ldots, λ_n)$. We give multiple criteria (depending on arithmetic properties of the weights $a_i$) to obtain bounds for the power $k$ which are sharp in many cases. We also introduce combinatorial tools that allow us to systematically construct families exhibiting extremal behaviour. These results extend earlier work of Payne, Hering and Bruns-Gubeladze.
Many rays of the submodular cone
The study of the cone of submodular functions goes back to Jack Edmonds' seminal 1970 paper, which already highlighted the difficulty of characterizing its extreme rays. Since then, researchers from diverse fields have sought to characterize, enumerate, and bound the number of such rays. In this paper, we introduce an inductive construction that generates new rays of the submodular cone. This allows us to establish that the $n$-th submodular cone has at least $2^{2^{n-2}}$ rays, which improves upon the lower bound obtained from Hien Q. Nguyen's 1986 characterization of indecomposable matroid polytopes by a factor of order $\sqrt{n^3}$ in the exponent.
Short circuit walks in fixed dimension
Published
• View Publication
• BIB
Circuit augmentation schemes are a family of combinatorial algorithms for linear programming that generalize the simplex method. To solve the linear program, they construct a so-called monotone circuit walk: They start at an initial vertex of the feasible region and traverse a discrete sequence of points on the boundary, while moving along certain allowed directions (circuits) and improving the objective function at each step until reaching an optimum. Since the existence of short circuit walks has been conjectured (Circuit Diameter Conjecture), several works have investigated how well one can efficiently approximate shortest monotone circuit walks towards an optimum. A first result addressing this question was given by De Loera, Kafer, and Sanità [SIAM J. Opt., 2022], who showed that given as input an LP and the starting vertex, finding a $2$-approximation for this problem is NP-hard. Cardinal and the third author [Math. Prog. 2023] gave a stronger lower bound assuming the exponential time hypothesis, showing that even an approximation factor of $O(\frac{\log m}{\log \log m})$ is intractable for LPs defined by $m$ inequalities. Both of these results were based on reductions from highly degenerate polytopes in combinatorial optimization with high dimension.
In this paper, we significantly strengthen the aforementioned hardness results by showing that for every fixed $\varepsilon>0$ approximating the problem on polygons with $m$ edges to within a factor of $O(m^{1-\varepsilon})$ is NP-hard. This result is essentially best-possible, as it cannot be improved beyond $o(m)$. In particular, this implies hardness for simple polytopes and in fixed dimension.
Triacontagonal proofs of the Bell-Kochen-Specker theorem
Published
• View Publication
• BIB
Coxeter pointed out that a number of polytopes can be projected orthogonally into two dimensions in such a way that their vertices lie on a number of concentric regular triacontagons (or 30-gons). Among them are the 600-cell and 120-cell in four dimensions and Gosset's polytope in eight dimensions. We show how these projections can be modified into Kochen-Secker diagrams from which parity proofs of the Bell-Kochen-Specker theorem are easily extracted. Our construction trivially yields parity proofs of fifteen bases for all theree polytopes and also allows many other proofs of the same type to be constructed for two of them. The defining feature of these proofs is that they have a fifteen-fold symmetry about the center of the Kochen-Specker diagram and thus involve both rays and bases that are multiples of fifteen. Any proof of this type can be written as a word made up of an odd number of distinct letters, each representing an orbit of fifteen bases. Knowing a word makes it possible to write down all the features of the associated proof without first having to recover its bases. A comparison is made with earlier approaches that have been used to obtain parity proofs in these polytopes, and two questions related to possible applications of these polytopes are raised.
Flow polytopes for extensions of bipartite graphs
The space of unit flows on a finite acyclic directed graph is a lattice polytope called the flow polytope of the graph. Given a bipartite graph $G$ with minimum degree at least two, we construct two associated acyclic directed graphs: the extension of $G$ and the almost-degree-whiskered graph of $G$. We prove that the normalized volume of the flow polytope for the extension of $G$ is equal to the number of matchings in the almost-degree-whiskered graph of $G$. Further, we refine this result by proving that the Ehrhart $h^*$-polynomial of the flow polytope for the extension of $G$ is equal to the unsigned matching polynomial of the almost-degree-whiskered graph of $G$.
The combinatorial geometry of particle physics
Published
• View Publication
• BIB
Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians -- to more modern developments including positroid varieties and the amplituhedron. Together they point toward the unifying framework of positive geometry, in which geometric domains canonically determine analytic functions governing scattering processes. This survey traces the emergence of positive geometry from the physics of amplitudes, building towards recent progress on amplitudes for matroids.
Planar ternary graphs, flag spheres, and Delannoy polynomials
Published
• View Publication
• BIB
In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when $\text{Ind}(G)$ is homotopy equivalent to a sphere of dimension $\dim \text{Ind}(G)$, the complex is Gorenstein. Equivalently, $G$ is a $1$-well-covered graph. This answers a question by Faridi and Holleben.
We then focus on the independence complexes of Gorenstein planar ternary graphs. We prove that they are boundaries of vertex decomposable simplicial polytopes. We show that the transformations among these flag spheres using edge subdivisions and contractions can be modeled by the Hasse diagram of the partition refinement poset. In addition, their $h$-polynomials are products of Delannoy polynomials and thus real-rooted. Finally, we demonstrate a way to construct nonplanar Gorenstein ($1$-well-covered) ternary graphs from planar ones.
Generating functions of $q$-chromatic polynomials
Given a graph $G=(V,E)$ and a linear form $λ\in \mathbb{Z}_{ > 0 }^V$, Bajo et al. (2025) introduced the $q$-chromatic polynomial $χ_G^λ(q,n) := \sum q^{\sum_{v \in V} λ_v c(v)}$ where the sum is over all proper colorings $c: V \to [n] := \{ 1, 2, \dots, n \}$; they showed that $χ_G^λ(q,n)$ is a polynomial in $[n]_q := 1 + q + \dots + q^{ n-1 } $ with coefficients in $\mathbb{Z}(q)$. For $d \in \mathbb{Z}_{>0}$ and the linear form given by $(d,d^2,\ldots,d^d)$, we show that the $q$-chromatic polynomial distinguishes labeled graphs with vertex set $[d]$. Using permutation statistics introduced by Chung--Graham (1995), called $G$-statistics, and polyhedral geometry, we give the multivariate integer point transform for the region of proper colorings of a given graph $G$. This integer point transform allows us to find the generating function for the $q$-chromatic polynomial with respect to any linear form. We further specialize these results to the linear form $(1, 1, \dots, 1)$, which allows us to write the $q$-chromatic polynomial in the $q$-binomial basis, clarifying expressions found by Bajo et al. Moreover, we show that $G$-statistics are compatible with the theory of order polytopes used by Bajo et al. and Chow (1999). This yields further properties for the generating function of $q$-chromatic polynomial with linear form $(1, 1, \dots, 1)$, where certain coefficients of the numerator polynomial are palindromic polynomials in $q$.
Fat Shellable Spheres
The fatness of a 4-polytope or 3-sphere is defined as $(f_1+f_2-20)/(f_0+f_3-10)$. We construct arbitrarily fat, strongly regular CW 3-spheres that are both shellable and dual shellable. These spheres have $f$-vectors $(Θ(n),Θ(nα(n)),Θ(nα(n)),Θ(n))$, where $α$ is the inverse Ackermann function.
Maxout Polytopes
Maxout polytopes are defined by feedforward neural networks with maxout activation function and non-negative weights after the first layer. We characterize the parameter spaces and extremal f-vectors of maxout polytopes for shallow networks, and we study the separating hypersurfaces which arise when a layer is added to the network. We also show that maxout polytopes are cubical for generic networks without bottlenecks.
A Stable-Set Bound and Maximal Numbers of Nash Equilibria in Bimatrix Games
Published in Mathematics of Operations Research 2025
• View Publication
• BIB
Quint and Shubik (1997) conjectured that a non-degenerate n-by-n game has at most 2^n-1 Nash equilibria in mixed strategies. The conjecture is true for n at most 4 but false for n=6 or larger. We answer it positively for the remaining case n=5, which had been open since 1999. The problem can be translated to a combinatorial question about the vertices of a pair of simple n-polytopes with 2n facets. We introduce a novel obstruction based on the index of an equilibrium, which states that equilibrium vertices belong to two equal-sized disjoint stable sets of the graph of the polytope. This bound is verified directly using the known classification of the 159,375 combinatorial types of dual neighborly polytopes in dimension 5 with 10 facets. Non-neighborly polytopes are analyzed with additional combinatorial techniques where the bound is used for their disjoint facets.
Two-Dimensional Faces of Order and Chain Polytopes
Published
• View Publication
• BIB
We give an explicit combinatorial description of the two-dimensional faces of both the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ of a partially ordered set $P$. Using these descriptions, we show that for any $P$, $\mathcal{C}(P)$ has equally many square faces, and at least as many triangular faces, as $\mathcal{O}(P)$ does. Moreover, the inequality is shown to be strict except when $\mathcal{O}(P)$ and $\mathcal{C}(P)$ are unimodularly equivalent. This proves the case $i=2$ of a conjecture by Hibi and Li.
The Sign Pattern Problem for Ehrhart Polynomials
We investigate the sign patterns of coefficients in the Ehrhart polynomial of the Cartesian product between the $r$-th pyramid over the Reeve tetrahedron and the hypercube $[0, n]^n$. This investigation yields partial results on the sign pattern problem for Ehrhart polynomials. Moreover, we show that for each dimension $d \geq 4$, there exists a $d$-dimensional integral polytope $\mathcal{P}$ such that arbitrarily many of the low-degree coefficients in the Ehrhart polynomial $i(\mathcal{P}, t)$ are negative, while all higher-degree coefficients are positive. Finally, we establish five embedding theorems that enable the sign pattern of a lower-dimensional integral polytope to be embedded into a higher-dimensional integral polytope in various ways. As an application, we completely resolve the Ehrhart coefficient sign pattern problem for dimensions $d = 7, 8, 9$.
Chow polynomials of totally nonnegative matrices and posets
Huh-Stevens and Ferroni-Schröter independently conjectured that Hilbert-Poincaré series of Chow rings of geometric lattices have only real zeros. Ferroni, Matherne and the second author extended this conjecture to Chow polynomials of Cohen-Macaulay poset. In this paper we address the above conjectures by providing new defining relations and properties of Chow functions of posets and matrices. These are used, in conjunction with new techniques on interlacing sequences of polynomials, to prove that Chow polynomials of totally nonnegative matrices have only real zeros, which, in turn, proves the above conjectures for a class of posets that contains projective and affine geometries, face lattices of cubical polytopes, partition lattices and Dowling lattices, perfect matroid designs, and lattices of flats of paving matroids. We also study Chow polynomials of Toeplitz matrices in greater detail, and show how these are related the combinatorics of binomial and Sheffer posets, as well as to a family of generalized Eulerian polynomials with coefficients in the ring of symmetric polynomials that have been studied by e.g. Stanley, Brenti, Stembridge and Shareshian-Wachs.
Facial nested complexes and acyclonestohedra
We study nested complexes of building sets on the Las Vergnas face lattices of oriented matroids. Such a nested complex is the face lattice of an oriented matroid, obtained by iterated stellar subdivisions of the positive tope. If the oriented matroid is realizable, the nested complex is isomorphic to the boundary complex of a polytope.
We turn this into an explicit and combinatorially meaningful polytopal realization. We prove that the facial nested complex can be embedded as the acyclic subcomplex of the nested complex of a well-chosen boolean building set. In the realizable case, we show that this acyclic subcomplex can be geometrically selected as the section of a nestohedron by the evaluation space of the vector configuration, which we call acyclonestohedron.
Our framework generalizes the poset associahedra recently introduced by P. Galashin, from order polytopes to any polytope. Poset associahedra are the graphical acyclonestohedra, and our approach recovers as particular cases the main results of P. Galashin and answers some of his open questions. Besides poset associahedra, our framework unifies various other existing families of nested-like polytopes, such as the simple polytope nestohedra, the hyperoctahedral nestohedra, the design graph associahedra and the permutopermutohedra, to which our palette of results can be directly applied.
The core of our construction is the embedding of the facial nested complex inside a boolean nested complex. More generally, we provide conditions that guarantee an embedding between nested complexes over two lattices. For instance, any atomic nested complex has a canonical embedding inside a boolean nested complex. As another application, we embed nested complexes over lattices of faces into nested complexes over lattices of flats, recovering as a particular case, the embedding of the positive Bergman complex into the Bergman complex.
To cover a permutohedron
The permutohedron $P_n$ of order $n$ is a polytope embedded in $\mathbb{R}^n$ whose vertex coordinates are permutations of the first $n$ natural numbers. It is obvious that $P_n$ lies on the hyperplane $H_n$ consisting of points whose coordinates sum up to $n(n+1)/2$. We prove that if the vertices of $P_n$ are contained in the union of $m$ affine hyperplanes different from $H_n$, then $m\geq n$ when $n \geq 3$ is odd, and $m \geq n-1$ when $n \geq 4$ is even. This confirms a recent conjecture of Hegedüs and Károlyi. Our proof gives an algebraic criterion for a non-standard permutohedron generated by $n$ distinct real numbers to require at least $n$ non-trivial hyperplanes to cover its vertices.
Lattice polytopes and semigroup algebras: Generic Lefschetz properties and Parseval-Rayleigh identities
We study semigroup algebras associated to lattice polytopes.
We begin by generalizing and refining work of Hochster, and describe the volume maps of these algebras, that is, their fundamental classes, in terms of Parseval-Rayleigh identities and differential equations, which we prove to be equivalent.
We use these descriptions to establish strong Lefschetz properties.
A consequence is the resolution of several conjectures concerning unimodality properties of the h*-polynomial of lattice polytopes.