polytope ↗ reference
3076 papers tagged with this keyword
Structural stability of systems and cycle covers in random graphs
Structural system theory studies which network topologies can sustain a prescribed system property such as controllability or stability. When the topology is itself random, the relevant question becomes probabilistic: how likely is a graph drawn from a stochastic model to sustain the property? Such probabilities measure the abundance and robustness of the property across topologies, and indicate whether systems requiring it can be reliably deployed in uncertain environments. We address this question for asymptotic stability of linear systems in the directed graphon setting.
We consider two graph-theoretic properties. The first is $\mathcal N$, and it requires that for every $k\leq n$ some $k$-vertex induced subdigraph of $D$ admits a cycle cover, and the second is $\mathcal S$, which requires that these subdigraphs can be chosen so that their node sets form a nested sequence $V_1\subset\cdots\subset V_n=V(D)$ starting from a single vertex with a loop. We have shown that $\mathcal N$ is necessary and $\mathcal S$ is sufficient for structural stability. We sample $D$ from a directed step-graphon $W$. Our main results give necessary and sufficient conditions for $\Pr(\mathcal N)\to 1$ and $\Pr(\mathcal S)\to 1$ as $n\to\infty$. In more detail, to a step-graphon $W$ with skeleton digraph $S$ on $q$ nodes and concentration vector $x^*$ we associate a cycle polytope $\vec{\mathcal X}(S)\subseteqΔ_q$. The conditions are then formulated in terms of the position of $x^*$ within $\vec{\mathcal X}(S)$, the dimension of the polytope, the loop density of $W$ and, for $\mathcal S$, an ordering condition on the cycles of the skeleton. Together these results identify, for directed step-graphons, the regime in which a sampled topology is overwhelmingly likely or unlikely to sustain stable dynamics.
Order polytopes of crown posets
Published in European Journal of Combinatorics, Vol. 133, Mar. 2026, P. 104304
• View Publication
• BIB
In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called \emph{crown poset}, obtained by adding an extra cover relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their $f$-polynomials, and show that the sequence of coefficients of each $f$-polynomial is log-concave and asymptotically normal. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen--Zhuang (2025). We use these formulas to simplify a computation by Ferroni--Morales--Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the $h^*$-polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons--Sullivant (2023).
Exact volume computation for Boolean quadric polytopes of series-parallel graphs
For a graph G, the Boolean quadric polytope P(G) is the convex hull of the binary solutions of $y_{ij}=x_ix_j$ for $ij\in E(G)$, and Q(G) is its standard linear relaxation. For series-parallel graphs, Q(G) together with the odd-cycle inequalities describes P(G). Lee and Skipper showed vol(Q(G)) is polynomial-time computable for bounded treewidth and gave a closed formula for vol(P(G)) when G is a cycle. We resolve their question of giving an efficient algorithm for vol(P(G)) on series-parallel graphs. With $d=|V(G)|+|E(G)|$, we compute it with $O(d^7)$ arithmetic operations, and $O(d^5)$ if G is a cactus.
The algorithm is a dynamic program over the series-parallel decomposition. The same framework computes vol(Q(G)) (hence the number of linear extensions of the incidence poset of G) with $O(d^4)$ operations, and $O(d^3)$ for cacti. With every $x_v$ fixed at 1/2, the recursion reduces to convolutions of univariate polynomials and computes the cut polytope volume of every series-parallel graph with m edges in $O(m^3)$ operations.
We also study how much of Q(G) the polytope P(G) occupies. Short odd cycles matter more than long ones: in every graph, the odd-cycle inequalities of a cycle of length $\ell$ cut off at most a fraction $2^{\ell-1}/\ell!$ of Q(G). Hence vol(P(G))/vol(Q(G)) $\ge 1-\sum_C 2^{|C|-1}/|C|!$ for series-parallel G, with C ranging over its cycles. The ratio does not factor over cycles sharing a vertex: in a flower of $k$ copies of $C_\ell$ it decays like $ρ_\ell^k$ for an explicit rational $ρ_\ell$ below the ratio of $C_\ell$. Nevertheless, the small fractions cut off by many long cycles compound: in the worst case, triangle inequalities, or odd-cycle inequalities up to any fixed length, close no fixed fraction of the gap between Q(G) and P(G), and the volume ratio can be exponentially small in d.
Stability conditions and subdivisions of Lawrence polytopes
Let $X$ be a nodal curve, and $G$ be the graph dual to $X$. A stability condition on a graph $G$ is an assignment of integers to the biconnected subsets of vertices of $G$ satisfying some desired properties. Stability conditions yield degeneracy sets, which are certain collections of biconnected subsets of $G$, but degeneracy sets can also be described without a reference stability condition. We show that the degeneracy sets of a graph $G$ correspond to the single-element extensions of the graphic matroid $M(G)$. Some single-element extensions of the graphic matroid $M(G)$ can be oriented to be single-element extensions of the oriented graphic matroid $\mathcal{M}(G)$. Single-element extensions of oriented matroids are in bijection with subdivisions of the Lawrence polytope of the dual oriented matroid. We construct stability conditions on $G$ from subdivisions of the Lawrence polytope of the cographic matroid $\mathcal{M}^\ast(G)$. Finally, we show that any degeneracy set $\mathcal{D}$ of a graph $G$ that has the set of all biconnected subsets of $G$ as a lower bound in the poset of degeneracy sets corresponds to an orientable extension of $M(G)$.
Log-concavity and Approximate Counting for Totally Unimodular Polytopes
We present a new lower bound on the number of lattice points of all totally unimodular polytopes, generalizing previous lower bounds on contingency tables, integer flows, and beyond. Our bound is based on the Gurvits capacity convex optimization problem, and thus our result implies an efficient deterministic algorithm for approximate counting of the lattice points up to an explicit exponential factor. We achieve our bounds by showing that the associated generating polynomials fit into a new general class of log-concave polynomials called VLC ("variable-wise log-concavity''). This also implies a conjecture of Ferroni and Higashitani on the evaluations of the Ehrhart polynomials of unimodular polytopes. The essential ingredient for these results is the resolution of Barvinok's log-concavity conjecture for contingency tables on lines, which was proven using ChatGPT 6 Astra. We conjecture a generalization of Barvinok's conjecture, which we believe will lead to stronger and more general bounds.
Lower affine MV polytopes of rank 2
When $G$ is a complex reductive algebraic group, MV polytopes are in bijection with the non-negative tropical points of the unipotent group of $G$. In this paper, we prove a similar theorem for certain subclasses of rank 2 affine MV polytopes.
For the Kac-Moody group $\widehat{SL_2}$, an affine MV polytopes splits into three subpolytopes: a lower, a middle and an upper polytope. The lower polytopes are natural generalizations of finite-type polytopes with highest vertex labelled by an arbitrary Weyl element. We extend the known results from this subclass of finite-type MV polytopes to the case of lower affine MV polytopes of rank 2. We prove that for an element $w$ of the affine Weyl group, the class of lower affine MV polytopes with highest vertex $w$ are in bijection with the non-negative tropical points of the reduced double Bruhat cell labelled by $w^{-1}$. To do this, we describe the BZ data of a rank 2 affine MV polytope and show that certain generalized minor functions satisfy the conditions of a lower polytope. As any upper polytope is a reflection of some lower polytope, a analogous result will hold for the class of upper affine MV polytopes of rank 2.
A combinatorial interpolation between the hypercube and the associahedron
We study a family of polytopes interpolating between the hypercube and the associahedron. We give an explicit description of their normal fans and describe their combinatorics in terms of chord diagrams associated to their vertices. This yields interesting number sequences generalizing Pell numbers and asymptotic to Catalan numbers. We describe the transition between the normal fans in terms of star subdivisions and relate them to polytopes associated to Dyck paths as in [Veronica Calvo Cortes and Hadleigh Frost. Dyck paths, Configuration Spaces and Polytopes for Linear Nakayama algebras. https://arxiv.org/abs/2602.04571] and hypergraphic polytopes defined in [Carolina Benedetti, Nantel Bergeron, and John Machacek. Hypergraphic polytopes: combinatorial properties and antipode. Journal of Combinatorics. 2019]. Furthermore, all polytopes in our families yield binary geometries.
Two poset polytopes are mutation-equivalent
The combinatorial mutation $\mathrm{mut}_w(P,F)$ for a lattice polytope $P$ was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in \cite{ACGK} that for a lattice polytope $P \subseteq N_\mathbb{R}$ containing the origin in its interior, the polar dual $P^* \subseteq M_\mathbb{R}$ and $\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R}$ have the same Ehrhart quasi-polynomial. To extend this framework, we introduce combinatorial mutation for rational pointed polyhedra in $N_\mathbb{R}$ containing the origin in their interiors. Such polyhedra are Minkowski sums of rational polytopes and rational polyhedral pointed cones. On the dual side $M_\mathbb{R}$, the construction applies to full-dimensional rational polytopes containing the origin, not necessarily in their interiors. As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset $Π$ can be obtained by a sequence of combinatorial mutations in $M_\mathbb{R}$ from the order polytope of $Π$. Namely, the order polytope and the chain polytope of the same poset $Π$ are mutation-equivalent.
Hyperbolic links associated to Hamiltonian subgraphs in simple $3$-polytopes
We build a large family of hyperbolic links with an explicit decomposition of the complement into right-angled hyperbolic polytopes of finite volume. Namely, in a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_Γ$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics. We consider higher-dimensional analogues of hyperbolic links $C_Γ$.
Stellahedral geometry of partially ordered sets
We introduce a transformation on partially ordered sets, termed the \emph{stellahedral transform}, with notable features. It preserves the properties of being Eulerian, Cohen--Macaulay, and of being the face poset of a polytope. Furthermore, it admits an explicit geometric realization for convex polytopes and specializes to the construction that takes a simplex to the stellahedron. One motivation for this definition comes from the theory of toric $h$-polynomials and (augmented) Chow polynomials of Eulerian posets. We show that the right augmented Chow polynomial of an Eulerian poset $P$ agrees with the toric $h$-polynomial of the stellahedral transform of $P$. We use this perspective, together with $\mathbf{cd}$-index results due to Ehrenborg (2005) and Karu (2006), to prove two positivity results for augmented Chow polynomials: for Gorenstein* posets they are unimodal, and for face posets of polytopes they are $γ$-positive.
Along the way we provide negative answers to two open questions concerning Eulerian and Gorenstein* posets. First, the question on the nonnegativity of Eulerian Chow polynomials, posed by Ferroni, Matherne, and Vecchi (2024). Second, the question posed by Athanasiadis and Kalampogia-Evangelinou (2023) on the real-rootedness of chain and Chow polynomials of Gorenstein* posets: these examples provide a novel application of a technique introduced by Murai and Nevo (2014).
A quadratic upper bound on the Chvátal rank of polytopes in the 0/1-cube
We show that every polytope $P\subseteq[0,1]^n$, and more generally every compact convex set, has Chvátal rank at most $12.22n^2+n\log_2 n+2n+4$. This improves the $O(n^2\log n)$ bound of Eisenbrand and Schulz and, together with the $Ω(n^2)$ lower bound of Rothvoß and Sanità, shows that the maximum Chvátal rank of a polytope in $[0,1]^n$ is $Θ(n^2)$. More precisely, if $P$ contains an integer point, then for every $c\in\mathbb{Z}^n\setminus\{0\}$ the inequality $cx\le\max\{cy: y\in P\cap\mathbb{Z}^n\}$ is valid for the $k$-th Chvátal closure of $P$ for some $k\le 12.22n^2+2n+2\log_2\|c\|_\infty+4$. Following Eisenbrand and Schulz, we derive this inequality along a chain of coarser and coarser integer vectors, but instead of halving the vector in each step, we round $τc$ for a scale $τ$ chosen freely in each dyadic window $[2^{-t-1},2^{-t}]$. The main new ingredient is a multiscale version of Dirichlet's approximation theorem, proved by an elementary volume argument: for every $c\in\mathbb{R}^n$, the $\ell_1$-distances of $τc$ to $\mathbb{Z}^n$, minimized within each dyadic window and summed over all windows, total less than $1.222n^2$, independently of $\|c\|_\infty$.
Minuscule Coxeter Dressians
We study tropical prevarieties associated with minuscule representations of reductive groups. Recently, the defining equations of these prevarieties were used to detect the strong exchange property for Coxeter matroids. In type $A$, this reduces to the well known symmetric exchange property for usual matroids, and the tropical prevarieties in question are the classical Dressians. We study the analogous objects in all Lie types beyond type $A$ which admit minuscule parabolics. Our main results show that points on these prevarieties induce subdivisions of Coxeter matroid polytopes into cells which posses the strong exchange property. Furthermore, we establish conditions for a subdivision to be strong matroidal which are detectable on the induced subdivision of lower dimensional skeleta. We include results concerning explicit computations of the relevant polyhedral complexes and their $f$-vectors.
A quasisymmetric analog of Grassmannian Schubert varieties
We show that the cohomology rings of toric Richardson varieties in the Grassmannian are finite truncations of the ring of quasisymmetric functions. We exhibit an affine paving of each such variety whose cell closures give rise to the basis of fundamental quasisymmetric functions. We similarly interpret the homology of these varieties in terms of the ring of noncommutative symmetric functions and show that the expansion of the homological class of any torus-invariant subvariety into the affine paving basis agrees with the expansion of a corresponding generalized noncommutative ribbon function into the ribbon basis. By taking the direct limit of all toric Richardson varieties, we obtain an ind-variety equipped with a weak $H$-group structure whose cohomology is the Hopf algebra of quasisymmetric functions. We conjecture that it is isomorphic to a similar $H$-group constructed by Baker--Richter.
As a byproduct, we deduce that the $f$-vectors of shard polytopes are log-concave, making the first progress on a question of Ferroni--Schröter for matroid base polytopes.
Chromatic word-quasisymmetric functions of matroids
Billera, Jia, and Reiner (2009) introduced the quasisymmetric functions of matroids and showed that this defines a Hopf algebra homomorphism which is a valuative invariant, i.e., isomorphic matroids have the same quasisymmetric function and polytopal subdivisions of matroid base polytopes define relations among the corresponding quasisymmetric functions. In this project we study an analogue in non-commuting variables, the word-quasisymmetric functions. To every matroid $M$ we associate a word-quasisymmetric function $ψ(M)$ and call this the chromatic word-quasisymmetric functions of a matroid.
Matroids and word-quasisymmetric functions form Hopf algebras, and our map $ψ$ between them is a homomorphism. We want to study the kernel, equivalently the image, of the map $ψ$ from matroids to word-quasisymmetric functions, that is, we would like to understand which matroids are indistinguishable by the chromatic word-quasisymmetric functions. The map $ψ$ is not an invariant, but we can show that it is valuative. Using Schubert matroids and nested matroids, special classes of matroids, we prove a lower bound of $2^d-d$ for the rank of the map $ψ$ from matroids to the chromatic word-quasisymmetric functions in degree $d$ and conjecture the upper bound of $d!$ is tight.
On vertex-minimal simplicial maps to the sphere
For positive integers $n,d$, let $λ(n,d)$ be the minimal number of vertices of a triangulation of the $n$-sphere which admits a degree $d$ simplicial map onto the boundary of the $(n+1)$-simplex. We show that for $h=\lfloor\frac{n+1}2\rfloor$, the function $λ(n,d)^h$ has linear order of growth in $d$, answering a question of O. Musin. All triangulations we obtained are isomorphic to boundaries of convex polytopes in $\mathbb{R}^{n+1}$.
Ehrhart polynomials of cyclic polytopes as averages of zonotope Ehrhart polynomials
We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their $h^\ast$-polynomials are real-rooted, and their $h^\ast$-vectors are log-concave and unimodal.
Ehrhart theorem for integral-integral affine manifolds with corners
We study lattice-counting functions on compact integral-integral affine manifolds with corners, which generalize integral unimodular polytopes. We prove analogues of Ehrhart's theorem and Ehrhart-Macdonald reciprocity in this setting.
Toric surface codes and the periodicity of polytopes
Toric codes are error-correcting codes that are derived from toric varieties, which hold a unique correspondence to lattice polytopes. In this paper, we focus on lattice polytopes $P \subseteq \RR^2$ and the toric codes they define. We begin by studying period-1 polytopes -- polytopes satisfying the property $L(tP)$ = $tL(P)$ for all $t \in \mathbb{Z}^+$, where $tP$ is the $t$-dilate of $P$, and we prove an explicit formula for the minimum distance of toric codes associated to a particular class of period-1 polytopes. We also apply the methods of Little and Schwarz, using Vandermonde matrices, to compute the minimum distance of another class of period-1 polytopes.
Exact Ehrhart Series of Birkhoff Polytopes via Constant Terms and Finite-Field Evaluation
The Ehrhart series of the $n$th Birkhoff polytope is $\sum_{r\geq0}H_n(r)z^r$, where $H_n(r)$ counts nonnegative integer $n\times n$ matrices whose row and column sums all equal $r$. We present an exact method for computing this series using constant terms and finite fields. A root filter expresses $H_n(r)$ as a weighted sum of the values $h_r(M)^n$, where $h_r$ is the complete homogeneous symmetric polynomial and $M$ ranges over multisets of $m$th roots of unity with $m=r+1$. Constant-term cancellation reduces the evaluation of $h_r(M)$ to a sum over repeated elements $a$ of $M$. For a particular $a$ of multiplicity $μ_a$, the computation uses a generalized Todd coefficient of degree $μ_a-2$. Sums of $h_r(M)^n$ over selected multiplicity classes are handled using symmetric function techniques. Together with the remaining individual evaluations, this gives $O_n(m^{n-5}+m^4)$ field operations for each admissible prime and fixed $n\geq5$. An explicit bound and the Chinese remainder theorem recover the integer counts, and Ehrhart symmetry determines the full series. The same method applies to the World Cup problem, which counts the same matrices with diagonal entries required to be $0$. We prove correctness and compute complete series for both families through order $12$. The Birkhoff series for orders $10$--$12$ and the World Cup series for orders $9$--$12$ are tabulated in the appendices.
On Minimal Depth in Neural Networks
Understanding the relationship between the depth of a neural network and its representational capacity is a central problem in deep learning theory. In this work, we develop a geometric framework to analyze the expressivity of ReLU networks with the notion of depth complexity for convex polytopes. The depth of a polytope recursively quantifies the number of alternating convex hull and Minkowski sum operations required to construct it. This geometric perspective serves as a rigorous tool for deriving depth lower bounds and understanding the structural limits of deep neural architectures.
We establish lower and upper bounds on the depth of polytopes, as well as tight bounds for classical families. These results yield two main consequences. First, we provide a purely geometric proof of the expressivity bound by Arora et al. (2018), confirming that $\lceil \log_2(n+1)\rceil$ hidden layers suffice to represent any continuous piecewise linear (CPWL) function. Second, we prove that, unlike general ReLU networks, convex polytopes do not admit a universal depth bound. Specifically, the depth of cyclic polytopes in dimensions $n \geq 4$ grows unboundedly with the number of vertices. This result implies that Input Convex Neural Networks (ICNNs) cannot represent all convex CPWL functions with a fixed depth, revealing a sharp separation in expressivity between ICNNs and standard ReLU networks.