polytope ↗ reference
3112 papers tagged with this keyword
Circulant TSP: Vertices of the Edge-Length Polytope and Superpolynomial Lower Bounds
Published
• View Publication
• BIB
We study the edge-length polytope, motivated both by algorithmic research on the Circulant Traveling Salesman Problem (Circulant TSP) and number-theoretic research related to the Buratti-Horak-Rosa conjecture. Circulant TSP is a special case of TSP whose overall complexity is a significant still-open question, and where on an input with vertices $\{1, 2, ..., n\}$, the cost of an edge $\{i, j\}$ depends only on its length $\min\{|i-j|, n-|i-j|\}$. The edge-length polytope provides one path to solving circulant TSP instances, and we show that it is intimately connected to the factorization of $n$: the number of vertices scales with $n$ whenever $n$ is prime and with $n^{3/2}$ whenever $n$ is a prime-squared, but there are a superpolynomial number of vertices whenever $n$ is a power of 2. In contrast, the more-standard Symmetric TSP Polytope has roughly $n!$ vertices. Hence, for Circulant TSP, a brute-force algorithm checking every vertex is actually efficient in some cases, based on the factorization of $n$. As an intermediate step, we give superpolynomial lower-bounds on two combinatorial sequences related to the Buratti-Horak-Rosa conjecture, which asks what combinations of edge lengths can comprise a Hamiltonian path.
Positive Geometry of Polytopes and Polypols
These are lecture notes supporting a minicourse taught at the Summer School in Total Positivity and Quantum Field Theory at CMSA Harvard in June 2025. We give an introduction to positive geometries and their canonical forms. We present the original definition by Arkani-Hamed, Bai and Lam, and a more recent definition suggested by work of Brown and Dupont. We compute canonical forms of convex polytopes and of quasi-regular polypols, which are nonlinear generalizations of polygons in the plane. The text is a collection of known results. It contains many examples and a list of exercises.
Semiregular abstract polyhedra with trivial facet stabilizer
Abstract polytopes generalize the face lattice of convex polytopes. A polytope is semiregular if its facets are regular and its automorphism group acts transitively on its vertices. In this paper we construct semiregular, facet-transitive polyhedra with trivial facet stabilizer, showing that semiregular abstract polyhedra can have an unbounded number of flag orbits, while having as little as one facet orbit. We interpret this construction in terms of operations applied to high rank regular and chiral polytopes, and we see how this same operations help us construct alternating semiregular polyhedra (that is, with two facet orbits and adjacent facets in different orbits). Finally, we give an idea to generalize this construction giving examples in higher ranks.
Regular genus of $\mathbb{S}^2 \times \mathbb{S}^1 \times \mathbb{S}^1$, $4$-torus, and small covers over $Δ^2 \times Δ^2$
A crystallization of a PL manifold is an edge-colored graph encoding a contracted triangulation of the manifold. The concept of regular genus generalizes the notions of surface genus and Heegaard genus for 3-manifolds to higher-dimensional closed PL manifolds. The regular genus of a PL manifold is a PL invariant. Determining the regular genus of a closed PL $n$-manifold remains a fundamental challenge in combinatorial topology. In this article, we first resolve a conjecture by proving that the regular genus of $\mathbb{S}^2 \times \mathbb{S}^1 \times \mathbb{S}^1$ is 6. Additionally, we determine that the regular genus of $\mathbb{S}^1 \times \mathbb{S}^1 \times \mathbb{S}^1 \times \mathbb{S}^1$ is 16. We also present some observations related to the regular genus of the $n$-dimensional torus and conjecture that the regular genus of $\mathbb{S}^1 \times \mathbb{S}^1 \times \cdots \times \mathbb{S}^1$ ($n$ times) is $1+\frac{(n+1)! \ (n-3)}{8}$, for $n\ge 5$. Then, we investigate the regular genus of small covers. Small covers are closed $n$-manifolds admitting a locally standard $\mathbb{Z}_2^n$-action with orbit space homeomorphic to a simple convex polytope $P^n$. For the polytope $P = Δ^2 \times Δ^2$, we classify all the small covers up to Davis-Januszkiewicz (D-J) equivalence and show that there are exactly seven such covers. Among these, one is $\mathbb{RP}^2 \times \mathbb{RP}^2$, while the others are $\mathbb{RP}^2$-bundles over $\mathbb{RP}^2$. Remarkably, each of these seven small covers has the regular genus 8. Results in this article provide explicit regular genus values for several important 4-manifolds, offering new insights and tools for future work in combinatorial topology.
A Computational Search for Minimal Obstruction Graphs for the Lovász--Schrijver SDP Hierarchy
We study the lift-and-project relaxations of the stable set polytope of graphs generated by $\text{LS}_+$, the SDP lift-and-project operator devised by Lovász and Schrijver. In particular, we focus on searching for $\ell$-minimal graphs, which are graphs on $3\ell$ vertices whose stable set polytope has rank $\ell$ with respect to $\text{LS}_+$. These are the graphs which are the most challenging for the $\text{LS}_+$ operator according to one of the main complexity measures (smallest graphs with largest $\text{LS}_+$-rank). We introduce the notion of $\text{LS}_+$ certificate packages, which is a framework that allows for efficient and reliable verification of membership of points in $\text{LS}_+$-relaxations. Using this framework, we present numerical certificates which (combined with other results) show that there are at least $49$ $3$-minimal graphs, as well as over $4000$ $4$-minimal graphs. This marks a significant leap from the $14$ $3$-minimal and $588$ $4$-minimal graphs known before this work, with many of the newly-discovered graphs containing novel structures which helps enrich and recalibrate our understanding of $\ell$-minimal graphs. Some of this computational work leads to interesting conjectures. We also find all of the smallest vertex-transitive graphs with $\text{LS}_+$-rank $\ell$ for every $\ell \leq 4$.
Unveiling Crystal Embeddings: New Perspectives on String Polytopes and Atomic Decompositions
We present n-1 different embeddings of string polytopes of type A. We characterize their compatibility with the crystal structure on the string polytopes, and formulate a conjecture describing how to obtain n-1 different atomic decompositions of the crystal with highest weight a multiple of the highest root.
A Closer Look at Chapoton's q-Ehrhart Polynomials
Published
• View Publication
• BIB
If $\mathcal{P}$ is a lattice polytope (i.e., $\mathcal{P}$ is the convex hull of finitely many integer points in $\mathbb{R}^d$), Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|t \mathcal{P} \cap \mathbb{Z}^d|$ is a polynomial in the integer variable $t$. Chapoton (2016) proved that, given a fixed integral form $λ: \mathbb{Z}^d \to \mathbb{Z}$, there exists a polynomial $\text{cha}_\mathcal{P}^λ(q,x) \in \mathbb{Q}(q)[x]$ such that the refined enumeration function $\sum_{ \mathbf{m} \in t \mathcal{P} } q^{ λ(\mathbf{m}) }$ equals the evaluation $\text{cha}_\mathcal{P}^λ(q, [t]_q)$ where, as usual, $[t]_q := \frac{ q^t - 1 }{ q-1 }$; naturally, for $q=1$ we recover the Ehrhart polynomial. Our motivating goal is to view Chapoton's work through the lens of Brion's Theorem (1988), which expresses the integer-point structure of a given polytope via that of its vertex cones. It turns out that this viewpoint naturally yields various refinements and extensions of Chapoton's results, including explicit formulas for $\text{cha}_\mathcal{P}^λ(q,x)$, its leading coefficient, and its behavior as $t \to \infty$. We also prove an analogue of Chapoton's structural and reciprocity theorems for rational polytopes (i.e., with vertices in $\mathbb{Q}^d$).
Missing faces of neighborly and nearly neighborly polytopes and spheres
For a $(d-1)$-dimensional simplicial complex $Δ$ and $1\leq i\leq d$, let $f_{i-1}$ be the number of $(i-1)$-faces of $Δ$ and $m_i$ be the number of missing $i$-faces of $Δ$. In the nineties, Kalai asked for a characterization of the $m$-numbers of simplicial polytopes and spheres -- a problem that remains wide open to this day. Here, we study the $m$-numbers of nearly neighborly and neighborly polytopes and spheres. Specifically, for $d\geq 4$, we obtain a lower bound on $m_{\lfloor d/2\rfloor}$ in terms of $f_0$ and $f_{\lfloor d/2\rfloor-1}$ in the class of all $(\lfloor d/2\rfloor-1)$-neighborly $(d-1)$-spheres. For neighborly spheres, we (almost) characterize the $m$-numbers of $2$-neighborly $4$-spheres, and we show that, for all odd values of $k$, there exists an infinite family of neighborly simplicial $2k$-spheres with $m_{k+1}=0$. Along the way, we provide a simple numerical condition based on the $m$-numbers that allows to establish non-polytopality of some neighborly odd-dimensional spheres.
Quasi-strongly regular graphs on the flags of symmetric designs
This paper was inspired by a paper by Blokhuis and Brouwer [Designs, Codes and Cryptography 65, 2012] in which a definition of a graph on the flags of a biplane is given, and they prove that the graph corresponding to the unique $(11,5,2)$-biplane is determined by its spectrum. It is also inspired by the different definition of flag-graph seen in the context of maps and abstract polytopes. Here we use this definition for $(v,k,λ)$-BIBDs, and prove that if the design is symmetric then the graph is quasi-strongly regular. We will also use the definition given by Blokhuis and Brouwer for the case of biplanes and prove that this too, is a QSRG, (with different parameters). We investigate whether these graphs are determined by their spectra for some of the known biplanes.
Hybrid Grothendieck polynomials
For a skew shape $λ/μ$, we define the hybrid Grothendieck polynomial $${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w}) =\sum_{T\in \mathrm{SVRPP}(λ/μ)} \textbf{x}^{\mathrm{ircont}(T)}\textbf{t}^{\mathrm{ceq} (T)}\textbf{w}^{\mathrm{ex}(T)}$$ as a weight generating function over set-valued reverse plane partitions of shape $λ/μ$. It specializes to \begin{itemize}
\item[(1)] the refined
stable Grothendieck polynomial introduced by Chan--Pflueger by setting all $t_i=0$;
\item[(2)] the refined dual stable Grothendieck polynomial introduced by Galashin--Grinberg--Liu by setting all $w_i=0$. \end{itemize}
We show that ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ is symmetric in the $\textbf{x}$ variables. By building a crystal structure on set-valued reverse plane partitions, we obtain the expansion of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ in the basis of Schur functions, extending previous work by Monical--Pechenik--Scrimshaw and Galashin. Based on the Schur expansion, we deduce that hybrid Grothendieck polynomials of straight shapes have saturated Newton polytopes. Finally, using Fomin--Greene's theory on noncommutative Schur functions, we give a combinatorial formula for the image of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ (in the case $t_i=α$ and $w_i=β$) under the omega involution on symmetric functions. The formula unifies the structures of weak set-valued tableaux and valued-set tableaux introduced by Lam--Pylyavskyy. Several problems and conjectures are motivated and discussed.
Examples of IDP lattice polytopes with non-log-concave $h^*$-vector
Lattice polytopes are called IDP polytopes if they have the integer decomposition property, i.e., any lattice point in a $k$th dilation is a sum of $k$ lattice points in the polytope. It is a long-standing conjecture whether the numerator of the Ehrhart series of an IDP polytope, called the $h^*$-polynomial, has a unimodal coefficient vector. In this preliminary report on research in progress we present examples showing that $h^*$-vectors of IDP polytopes do not have to be log-concave. This answers a question of Luis Ferroni and Akihiro Higashitani.
As this is an ongoing project, this paper will be updated with more details and examples in the near future.
Reconstructing Polytopes and Pseudomanifolds
We prove that every 4-polytope is determined by its edge-polygon incidences, solving an open problem of Grünbaum. For each $d \geq 3$, we show that not every $d$-polytope is determined by its $(d-3)$-skeleton and dual $(d-3)$-skeleton together, answering a question of Samper.
In the simplicial realm, we prove that for $d \geq 4$ and $\lceil \frac{d}{2} \rceil \leq k \leq d-2$, every homology $(d-1)$-manifold is determined by the incidences of its $k$- and $(k-1)$-faces. For $d \geq 5$ and $\lceil \frac{d+1}{2} \rceil \leq k \leq d-2$, we extend our proof to normal $(d-1)$-pseudomanifolds whose $(2d-2k-1)$-dimensional links are homology manifolds. Finally, we prove that not every normal $(d-1)$-pseudomanifold is determined by its $(d-2)$-skeleton.
Better Neural Network Expressivity: Subdividing the Simplex
Published
• View Publication
• BIB
This work studies the expressivity of ReLU neural networks with a focus on their depth. A sequence of previous works showed that $\lceil \log_2(n+1) \rceil$ hidden layers are sufficient to compute all continuous piecewise linear (CPWL) functions on $\mathbb{R}^n$. Hertrich, Basu, Di Summa, and Skutella (NeurIPS'21 / SIDMA'23) conjectured that this result is optimal in the sense that there are CPWL functions on $\mathbb{R}^n$, like the maximum function, that require this depth. We disprove the conjecture and show that $\lceil\log_3(n-1)\rceil+1$ hidden layers are sufficient to compute all CPWL functions on $\mathbb{R}^n$.
A key step in the proof is that ReLU neural networks with two hidden layers can exactly represent the maximum function of five inputs. More generally, we show that $\lceil\log_3(n-2)\rceil+1$ hidden layers are sufficient to compute the maximum of $n\geq 4$ numbers. Our constructions almost match the $\lceil\log_3(n)\rceil$ lower bound of Averkov, Hojny, and Merkert (ICLR'25) in the special case of ReLU networks with weights that are decimal fractions. The constructions have a geometric interpretation via polyhedral subdivisions of the simplex into ``easier'' polytopes.
Local cohomology and singular cohomology of toric varieties via mixed Hodge modules
Given an affine toric variety $X$ embedded in a smooth variety, we prove a general result about the mixed Hodge module structure on the local cohomology sheaves of $X$. As a consequence, we prove that the singular cohomology of a proper toric variety is mixed of Hodge-Tate type. Additionally, using these Hodge module techniques, we derive a purely combinatorial result on rational polyhedral cones that has consequences regarding the depth of reflexive differentials on a toric variety.
We then study in detail two important subclasses of toric varieties: those corresponding to cones over simplicial polytopes and those corresponding to cones over simple polytopes. Here, we give a comprehensive description of the local cohomology in terms of the combinatorics of the associated cones, and calculate the Betti numbers (or more precisely, the Hodge-Du Bois diamond) of a projective toric variety associated to a simple polytope.
Prefix-bounded matrices
Published
• View Publication
• BIB
By unifying various earlier extensions of alternating sign matrices (ASMs), we introduce the notion of prefix-bounded matrices (PBMs). It is shown that the convex hull of these matrices forms the intersection of two special generalized polymatroids. This implies $\unicode{x2013}$ in a more general form $\unicode{x2013}$ that the linear inequality system given by Behrend and Knight (2007) and by Striker (2007, 2009) for describing the polytope of alternating sign matrices is totally dual integral (TDI), confirming a recent conjecture of Edmonds (2024, 2025). By relying on the polymatroidal approach, we derive a characterization for the existence of prefix-bounded matrices meeting lower and upper bounds on their entries. Furthermore, we point out that the constraint matrix of the linear system describing the convex hull of PBMs, in particular ASMs, is a network matrix. This implies that (a) standard network-flow techniques can be used to manage algorithmically optimization and structural results on PBMs obtained via g-polymatroids, (b) the linear system is actually box-TDI, and (c) the convex hull of PBMs admits a sharpened form of the integer Carathéodory property, in particular, the integer decomposition property. This latter feature makes it possible to confirm an extended form of an elegant conjecture of Brualdi and Dahl (2023) on the decomposability of a so-called $k$-regular alternating sign matrix as the sum of $k$ pattern-disjoint ASMs.
Regular 3-polytopes of type $\{n,n\}$
Published
• View Publication
• BIB
For each integer \( n \geq 3 \), we construct a self-dual regular 3-polytope \( \mathcal{P} \) of type \( \{n, n\} \) with \( 2^n n \) flags, resolving two foundamental open questions on the existence of regular polytopes with certain Schläfli types. The automorphism group \( \operatorname{Aut}(\mathcal{P}) \) is explicitly realized as the semidirect product \( \mathbb{F}_2^{n-1} \rtimes D_{2n} \), where \( D_{2n} \) is the dihedral group of order \( 2n \), with a complete presentation for \( \operatorname{Aut}(\mathcal{P}) \) is provided. This advances the systematic construction of regular polytopes with prescribed symmetries.
Computing the Volume of Polytropes
We apply an algorithm for measuring the volume of polytopes described by Jim Lawrence to polytropes. By using a tropical form of Cramer's rule, we found an efficient way to find all pseudovertices which are necessary for computing the volume. Due to the limited possibilities for hyperplanes of polytropes, this led to a simplification of the algorithm, decreasing the time complexity significantly.
Generalized break divisors and triangulations of Lawrence polytopes
Let $G$ be a connected graph of genus $g$. The Picard group of degree $g$, $\text{Pic}^g(G)$, is the set of equivalence classes of divisors on $G$ of degree $g$, where two divisors are equivalent if one can be reached from the other through a sequence of chip-firing moves. We construct sets of representatives of the equivalence classes in $\text{Pic}^g(G)$ by defining a function $I_G$ on the spanning trees of $G$ from a triangulation of the Lawrence polytope of the cographic matroid $\mathcal{M}^\ast(G)$. Additionally, such sets of representatives correspond to stability conditions on the nodal curve dual to the graph $G$. We show that $I_G$ that are constructed from regular triangulations of Lawrence polytope correspond to classical stability conditions, which are induced by generic real-valued divisors on $G$.
Order polytopes of graded posets are gamma-effective
Order polytopes of posets have been a very rich topic at the crossroads between combinatorics and discrete geometry since their definition by Stanley in 1986. Among other notable results, order polytopes of graded posets are known to be $γ$-nonnegative by work of Brändén, who introduced the concept of sign-graded poset in the process.
In the present paper we are interested in proving an equivariant version of Brändén's result, using the tools of equivariant Ehrhart theory (introduced by Stapledon in 2011). Namely, we prove that order polytopes of graded posets are always $γ$-effective, i.e., that the $γ$-polynomial associated with the equivariant $h^*$-polynomial of the order polytope of any graded poset has coefficients consisting of actual characters. To reach this goal, we develop a theory of order polytopes of sign-graded posets, and find a formula to express the numerator of the equivariant Ehrhart series of such an object in terms of the saturations (à la Brändén) of the given sign-graded poset.
The polytope of all $q$-rank functions
A $q$-rank function is a real-valued function defined on the subspace lattice that is non-negative, upper bounded by the dimension function, non-drecreasing, and satisfies the submodularity law. Each such function corresponds to the rank function of a $q$-polymatroid. In this paper, we identify these functions with points in a polytope. We show that this polytope contains no interior lattice points, implying that the points corresponding to $q$-matroids are among its vertices. We investigate several properties of convex combinations of two lattice points in this polytope, particularly in terms of independence, flats, and cyclic flats. Special attention is given to the convex combinations of paving and uniform $q$-matroids.