polytope ↗ reference
3112 papers tagged with this keyword
Geometric Realizations with Strong Self-Duality Part II: Diameter Graphs, Reuleaux Polyhedra, and Thrackles
In this paper we construct new examples of diameter graphs and Reuleaux polyhedra in $\mathbb{R}^3$, obtaining a full characterization of their combinatorial structure. For a finite set of points $X\subset\mathbb{R}^d$, its diameter graph is the graph on vertex set $X$ where pairs forming a diameter pair are connected by an edge. Grünbaum, Heppes and Straszewicz independently proved that the diameter graph of $X\subset \mathbb{R}^3$ has at most $2|X|-2$ edges, answering a question of Vázsonyi. Their proof relied on ball polytopes. The ball polytope $\mathcal{B}(X)$ is the intersection of the unit balls centered at the points of $X$.
We call a ball polytope a Reuleaux polyhedron if the centers form a family with $2|X|-2$ diameter pairs. Kupitz, Martini and Perles showed that the skeleton of a Reuleaux polyhedron must be a 2-connected strongly involutive self-dual graph. They conjectured that in the simple 3-connected case this is also sufficient. We not only confirm this conjecture, but we show that any 2-connected (not necessarily simple) strongly involutive self-dual graph arises as the skeleton of a Reuleaux polyhedron.
To construct the new Reuleaux polyhedra we construct new diameter graphs. It was known that any 3-dimensional diameter graph is a subgraph of a non-bipartite quadrangulation of the projective plane. We show that the reverse holds. That is, for any such graph we construct a diameter realization. This also confirms and strengthens a conjecture of Montejano, Pauli, Raggi, Roldán-Pensado on metric embeddings of strongly involutive self-dual graphs. The construction relies on ideas from rigidity theory.
We also discuss a number of applications of these results, such as the construction of bodies of constant width and connections to Steinitz's theorem and Borsuk's conjecture.
Geometric Realizations with Strong Self-Duality Part I: Non-Bipartite Quadrangulations of the Projective Plane and Strongly Involutive Self-Dual Graphs
In this series of articles, we study two graph classes and their various geometric representations. The first class consists of strongly involutive self-dual graphs (SISD graphs); the second consists of non-bipartite quadrangulations of the projective plane (NBQP graphs). These classes naturally arise in many geometric problems. For example, NBQP graphs are connected to diameter graphs in $\mathbb{R}^3$, tangency graphs of families of pairwise intersecting circles and pseudocircles, generalized thrackles, and graphs formed by the main diagonals of negatively self-polar polytopes. On the other hand, SISD graphs correspond to the skeletons of negatively self-polar polytopes, self-dual cones, and extremal ball-polytopes.
In Part I we show a natural one-to-one correspondence between non-bipartite quadrangulations of the projective plane and 2-connected strongly involutive self-dual maps. In particular, we show that the reduced vertex-face incidence structure of a 2-connected strongly involutive self-dual map is a non-bipartite quadrangulation of the projective plane, and every non-bipartite quadrangulation of the projective plane arises that way. This allows us to translate natural properties from one class to the other. These results lay the foundation for later parts of the series.
Compact Hyperbolic Coxeter Six-dimensional Polytopes With Ten Facets
We show that, up to isometry, there is exactly one compact hyperbolic Coxeter 6-polytope with 10 facets, the polytope $P_{6,10}$ attributed to Bugaenko. Together with results of Felikson-Tumarkin ($d \ge 7$) and of Burcroff and Ma-Zheng ($d = 4, 5$), this completes the classification of compact hyperbolic Coxeter $d$-polytopes with $d+4$ facets. The proof is computer assisted. Affine Gale duality applied to the complete database of order types on 10 points yields 387 combinatorial types, of which Lannér's classification excludes 83. For the remaining 304, an exhaustive search over Coxeter labellings, with no a priori bound on the dihedral angles, leaves a single realizable Gram matrix. Every rejection is certified in exact arithmetic, and completeness of the search is certified independently by DRAT proofs checked by drat-trim. The same code reproduces the known censuses in dimensions 4 and 5. Code, data and certificates are publicly available.
Area and diameter gaps for hyperbolic monotiles
For each fixed $n$, we prove a positive lower bound for the diameter of a compact simple geodesic $n$-gonal monotile of the hyperbolic plane. We also prove a positive lower bound for the area of such a tile in a finite monohedral tiling of a closed hyperbolic surface, independent of the topology and metric. Both bounds become independent of $n$ for vertex-proper tilings, in which every genuine tile vertex belongs to at least three distinct tiles. This includes tilings by convex polygons. Reflex angles and non-edge-to-edge incidences are allowed. After qualitative proofs, we obtain explicit constants from a sharp gap estimate for packing polytopes with arbitrarily coupled nonnegative integer constraints. Exact corner balance applies on closed surfaces; in the plane, covering duality and ball counts give a boundary factor depending on the tile diameter. Following Zare, we give, for each integer $q\ge2$, a geodesic construction with $2q+3$ sides and diameter less than $3/q$, showing that side counts cannot be unrestricted without an additional condition. The closed-surface results extend to regular curved sides. The geometric constants are effective but are not claimed to be optimal.
K-unstable Toric Varieties and Secondary Polytopes
For K-unstable toric varieties, Székelyhidi's optimal test-function $Θ_{P}$ is a mysterious concave function over the moment polytope $P$, which gives the maximal destabilizer for K-stability, and encodes the limiting behavior of the divergent Calabi flow. As balanced norms quantize cscK metrics, we show that $Θ_{P}$ can be quantized by the maximal destabilizers for Chow-stability, which are given by the shortest GKZ vectors, i.e., the least norm point on the secondary polytope for the set $P\cap k^{-1}\mathbb{Z}^{n}$. Properties and algorithm for general sGKZ vectors are given. Our result may provide a new method to detect the K-unstability of toric varieties.
Characterization of $\mathfrak{k}$-highest weight and $\widehat{\mathfrak{g}}$-dominant tableaux via $1$-$0$-slack recording tableaux in the quantum Littlewood-Richardson rule and lattice points in flagged hive polytopes
We have previously, for a given positive integer $n$, explicitly characterized by certain linear inequalities the $\mathfrak{k}$-highest weight tableaux of shape length $2n$ or $2n-1$ produced by $1$-$0$-slack recording tableaux in the quantum Littlewood-Richardson (LR) rule. We now extend that characterization for lower shape lengths. Then using the composition of promotion operators defining the Naito-Suzuki-Watanabe bijection between $\mathfrak{k}$-highest weight tableaux and $\widehat{\mathfrak{g}}$-dominant tableaux, we also explicitly characterize by certain linear inequalities the corresponding $\widehat{\mathfrak{g}}$-dominant tableaux when the shape length is $2n$ or $2n-1$. In addition, when the given $n$ is $3$ or $ 4$ the $\mathfrak{k}$-highest weight and the $\widehat{\mathfrak{g}}$-dominant tableaux via $1$-$0$-slack recording tableaux are characterized by linear inequalities for lower shape lengths.
Since recording tableaux in the quantum Littlewood-Richardson rule are in natural bijection with Littlewood-Richardson-Sundaram (LRS) tableaux, we relate our results on the inverse quantum LR rule with other two bijections for the Naito-Sagaki conjecture and establish bijections between $\mathfrak{k}$-highest weight tableaux, $\widehat{\mathfrak{g}}$-dominant tableaux and the lattice points in a (disjoint) union of flagged hive polytopes.
Shellability of relative squeezed balls and spheres
Squeezed balls and spheres, introduced by Kalai, form a rich class of triangulated complexes arising from subcomplexes of cyclic polytopes, with well-understood shellability properties. Recently, Novik and Zheng introduced relative squeezed balls, obtained as differences of squeezed balls, and used them to construct large families of highly neighborly simplicial spheres. While these complexes are known to be constructible, their shellability has remained open. In this paper, we resolve this question by proving that both relative squeezed balls and their boundary complexes are shellable. We provide explicit shelling orders and characterize restriction faces, thereby establishing strong combinatorial structure for this new class of complexes.
On Lattice Diameter Segments: Algorithms and Structure
Published in Integer Programming and Combinatorial Optimization (IPCO 2026), LNCS, Springer, 2026, pp. 220-232
• Search Publication
The lattice diameter of a bounded set $S \subset \mathbb{R}^d$ counts the maximal number of lattice points in a segment whose endpoints are lattice points in $S$. Such a segment is called a lattice diameter segment of $S$. This basic invariant in the geometry of numbers has several interesting applications. Our first type of contribution is algorithmic: We describe a polynomial-time algorithm that computes lattice diameter segments of polytopes in fixed dimension, with a simpler algorithm for polygons. In contrast, we show hardness of computing the lattice diameters of polytopes of variable dimension and for semi-algebraic sets. Our second type of contribution concerns the structure of lattice diameter segments: Generalizing the classical Ehrhart function, we prove that the function that counts distinct lattice diameter segments in dilations of a lattice polytope is eventually a quasi-polynomial in the dilation factor. Finally, we prove a Borsuk-type theorem on the number of parts needed to partition a set of lattice points such that each part has strictly smaller lattice diameter.
Series-parallel extensions and Ehrhart positivity
We prove Ehrhart positivity for series-parallel matroids and extend this result to all series-parallel extensions of multi-path matroids. A formula for the Ehrhart coefficients of series-parallel matroids is derived and used to prove strict positivity. An extension criterion based on weighted lattice-point counts is established. Recursive formulas for lattice-point counts are derived, and the recursion is shown to preserve a class of polynomials with nonnegative coefficients. We finally construct a connected transversal matroid with a negative Ehrhart coefficient, disproving the conjecture of Ferroni, Morales, and Panova that every connected matroid whose base polytope admits a subdivision into series-parallel matroid base polytopes is Ehrhart positive.
Local Shellings of Broken-Circuit Complexes via Boundary States and the Chromatic Specialization of the Negami Polynomial
For edge-disjoint graphs meeting along a finite boundary, we construct relative shellings of NBC faces with prescribed boundary connectivity. The construction adds paths in spanning forests to the restriction faces of auxiliary rooted-forest complexes. When every edge of the first graph precedes every edge of the second, these relative shellings combine into a shelling with consecutive connectivity blocks. The resulting nonnegative decomposition of the $h$-polynomial realizes the chromatic specialization of the Negami splitting identity. We also give path formulas for gluing graphic Orlik--Terao Gröbner bases across boundaries of size two or three, and a virtual-clique elimination formula for arbitrary boundaries. An exponential output lower bound at treewidth two distinguishes explicit basis enumeration from coefficient computation at fixed treewidth. Finally, state polytopes and their Cayley lifts describe an obstruction to linear block orders in the original coordinates and a lifted realization of these orders.
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).