polytope ↗ reference
3022 papers tagged with this keyword
Is there a smooth lattice polytope which does not have the integer decomposition property?
Published in Snapshots of Modern Mathematics from Oberwolfach, Mathematisches Forschungsinstitut Oberwolfach, SNAP-2025-008-EN (2025)
• View Publication
• BIB
We introduce Tadao Oda's famous question on lattice polytopes which was originally posed at Oberwolfach in 1997 and, although simple to state, has remained unanswered. The question is motivated by a discussion of the two-dimensional case - including a proof of Pick's Theorem, which elegantly relates the area of a lattice polygon to the number of lattice points it contains in its interior and on its boundary.
The number of edges of a symmetric edge polytope
The symmetric edge polytope of a simple graph is a lattice polytope defined as the convex hull of a subset of the type A roots corresponding to the edges of the graph. In this article we prove a sharp lower bound for the number of edges of the symmetric edge polytope of a graph as a function of elementary graph invariants. Moreover, we characterize graphs attaining this bound. We highlight a connection with the h*-polynomial of such polytopes and, motivated by a conjecture of Ohsugi and Tsuchiya, we investigate the behaviour of such polynomial under edge-deletion in the graph.
Parking Function Polytopes
We extend the notion of parking function polytopes and study their geometric and combinatorial structure, including normal fans, face posets, and $h$-polynomials, as well as their connections to other classes of polytopes. To capture their combinatorial features, we introduce generalizations of ordered set partitions, called binary partitions and skewed binary partitions. Using properties of preorder cones, we characterize the skewed binary partitions that are in bijection with the cones of the normal fan of a parking function polytope. This description of the normal fan yields an explicit formula for the $h$-polynomials of simple parking function polytopes in terms of generalized Eulerian polynomials. Finally, we relate parking function polytopes to several well-known polytopes, leading to additional results, including formulas for their volumes and Ehrhart polynomials.
Bounded powers of edge ideals: Pseudo-Gorenstein and Level polytopes
A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called level* if (i) $\mathcal{P}$ is normal, (ii) $(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n \neq \emptyset$ and (iii) for each $N = 2,3, \ldots$ and for each $\textbf{a} \in N(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n$, there is $\textbf{a}_0 \in (\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n$ together with $\textbf{a}' \in (N-1)\mathcal{P} \cap \mathbb{Z}^n$ for which $\textbf{a} = \textbf{a}_0 + \textbf{a}'$, where $N\mathcal{P} = \{N\textbf{a} : \textbf{a} \in \mathcal{P}\}$. A normal polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called pseudo-Gorenstein* [4] if $
|(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n| = 1. $ A pseudo-Gorenstein* polytope $\mathcal{P}$ is level* if and only if $\mathcal{P}$ is reflexive up to translation. In the present paper, level* polytopes together with pseudo-Gorenstein* polytopes arising from discrete polymatroids of bounded powers of edge ideals are studied.
Tropical KP Theory on Banana Curves
The Kadomtsev-Petviashvili (KP) equation is the cornerstone of integrable systems, whose solutions reflect deep connections in algebraic geometry. Banana curves are reducible rational curves obtained as a degeneration of hyperelliptic curves. In this work, we relate the family of KP multi-solitons arising from banana curves together with non-special divisors of fixed degree to the combinatorics of the tropical theta divisor of the curve. We describe the Voronoi and Delaunay polytopes and show that the latter are combinatorially equivalent to uniform matroid polytopes. As a consequence, the combinatorics of the tropical theta divisor canonically encodes the matroid and Grassmannian structures underlying the associated KP multi-soliton solutions. We define the Hirota variety of a banana graph, which parametrizes all tau functions arising from such a graph. Starting from the matroid arising from Delaunay polytopes and the periods in the tropical limit, we construct an explicit parametrization of this variety which realizes the tau function as a multi-soliton. Our framework specializes naturally to real and positive settings.
Fano and Reflexive Polytopes from Feynman Integrals
We classify the Fano and reflexive polytopes that arise from quasi-finite Feynman integrals. These polytopes appear as scaled Minkowski sums of the Newton polytopes associated with the Symanzik graph polynomials. For one-loop graphs and multiloop sunset graphs, we identify the Fano and reflexive cases by computing the number of interior points from the associated bivariate Ehrhart polynomials. More generally, we utilize the properties of Symanzik polynomials and their symmetries to conduct a direct search over all Feynman graphs in generic kinematics with up to ten edges and nine loops. We find that such cases are remarkably sparse: for example, we find only two two-dimensional reflexive polytopes, three three-dimensional reflexive polytopes, and four three-dimensional Fano polytopes. We also reveal a surprising feature of one-loop $N$-gon integrals in higher dimensions: their associated reflexive polytopes encode degenerate Calabi--Yau $(N-2)$-folds. We further analyze the geometric structures encoded by these polytopes and exhibit explicit connections with del Pezzo surfaces, $K3$ surfaces, and Calabi--Yau threefolds. Since reflexive polytopes naturally correspond to Calabi--Yau varieties, our classification demonstrates that quasi-finite Feynman integrals, with reflexive polytopes, are intrinsically linked to Calabi--Yau period integrals.
Minuscule Coxeter Dressians
In this extended abstract, we study special tropical prevarieties which we call Coxeter Dressians. They arise from equations capturing a generalization of valuated symmetric basis exchange for Coxeter matroids. In particular, we study subdivisions of the associated Coxeter matroid polytopes. We show that the subdivisions induced by points of the Coxeter Dressian consist of cells which are strong Coxeter matroidal. This generalizes well-known results in type $A$ to other Lie types. Finally, we implement explicit computations of Coxeter Dressians in OSCAR.
A lower bound theorem for $d$-polytopes with at most $3d-1$ vertices
We prove a lower bound theorem for the number of $k$-faces ($1\le k\le d-2$) in a $d$-dimensional polytope $P$ (or $d$-polytope) with up to $3d-1$ vertices. Previous lower bound theorems for $d$-polytopes with few vertices concern those with at most $2d$ vertices, $2d+1$ vertices, and $2d+2$ vertices.
If $P$ has exactly $d+2$ facets and $2d+\ell$ vertices ($\ell\ge 1$), the lower bound is tight for certain combinations of $d$ and $\ell$. When $P$ has at least $d+3$ facets and $2d+\ell$ vertices ($\ell\ge 1$), the lower bound remains tight up to $\ell=d-1$, and equality for some $1\le k\le d-2$ is attained only when $P$ has precisely $d+3$ facets.
We exhibit at least one minimiser for each number of vertices between $2d+1$ and $3d-1$, including two distinct minimisers with $2d+2$ vertices and three with $3d-2$ vertices.
Totally nonnegative Peterson variety and strongly dominant weight polytope
We study the totally nonnegative part of the Peterson variety in arbitrary Lie type and establish its connection to the strongly dominant weight polytope. In particular, we prove that the totally nonnegative part of the Peterson variety is a regular CW-complex, which is homeomorphic to a cube as a cell-decomposed space. This confirms a conjecture of Rietsch for all Lie types.
The $cd$-index of base polytopes for connected split matroids
We compute the $cd$-index $Ψ_{cd}$ of matroid base polytopes $\mathscr{P}(M)$ for a large family of matroids $M$. The $cd$-index is a polynomial in two non-commutative variables that compactly encodes the count of face flags $\mathcal{F} = \{σ_1 \subset \dots \subset σ_s \}$ with prescribed $\dim σ_i = d_i$. This comprises the $f$-vector of $\mathscr{P}(M)$, which recently Ferroni and Schröter treated as an almost-valuative invariant; i.e. a valuative part plus an error term. We initiate a similar program for $Ψ_{cd}(\mathscr{P}(M))$ and show that for an elementary split matroid $M$ the error term in the computation of $Ψ_{cd}(\mathscr{P}(M))$ surprisingly depends only on modular pairs of cyclic flats.
This allows us to implement computations requiring only the counts $λ(r,h)$ and $μ(α,β,a,b)$ of cyclic flats and modular pairs of cyclic flats, respectively, that fulfill some rank and cardinality conditions. We illustrate the methods with sparse paving matroids.
Indecomposability and beyond via the graph of edge dependencies
A polytope is called indecomposable if it cannot be expressed (non-trivially) as a Minkowski sum of other polytopes. Since the concept was introduced by Gale in 1954, several increasingly strong criteria have been developed to characterize indecomposability. In this paper, we introduce a new indecomposability criterion that unifies and generalizes most existing approaches. The key new ingredient is the graph of (implicit) edge dependencies, which records proportionalities between edge lengths across deformations and has broader applications in the study of deformation cones of polytopes, beyond indecomposability.
As a main application, we construct new indecomposable deformed permutahedra that are not matroid polytopes. In 1970, Edmonds posed the problem of characterizing the extreme rays of the submodular cone, equivalently, indecomposable deformed permutahedra. Matroid polytopes from connected matroids form a well-known family of such examples. We exhibit a new infinite family of indecomposable deformations of the permutahedron, disjoint from matroid polytopes, obtained by suitable truncations of vertices of certain graphical zonotopes.
We further demonstrate the scope of our methods through several additional applications. In particular, we refute a conjecture by Smilansky (1987) asserting that indecomposable polytopes must have relatively few vertices compared to their number of facets. We also obtain new bounds on the dimensions of deformation cones and characterize certain of their extreme rays, introduce parallelogramic Minkowski sums whose deformation cones factor as products, and provide new constructions of indecomposable polytopes via truncations and stackings.
Permutation Flows I: Triangulations of Flow Polytopes (Research Announcement)
We introduce a new broadly unifying family of combinatorial objects, which we call permutation flows, associated to an acyclic directed graph $G$ together with a framing $F$. This new family is combinatorially rich and contains as special cases various families of combinatorial objects that are frequently studied in the literature, as is the case of permutations, circular permutations, multipermutations, Stirling permutations, Catalan objects and their generalizations. When permutation flows are decorated with compatible shuffles, they also include the combinatorics of parking functions and their generalizations.
This model is geometrically rich. We show that permutation flow shuffles define a family of unimodular triangulations of the flow polytope $F_G(a)$ on $G$ with an integer balanced netflow vector a where only the last entry is negative. As an application we provide a new proof of the Lidskii volume formula of Baldoni and Vergne for this family of polytopes and a reformulation of the same formula where every term is explained by the nature of the combinatorial objects involved. Permutation flow triangulations extend the Danilov, Karzanov, and Koshevoy triangulations that were defined for the case where a=e_0-e_n. We provide a formula for the h^*-polynomial of the flow polytope as the descent enumerating polynomial of permutation flows.
The model comes with an order structure induced by intuitive operators on permutation flows which we call the weak order. This order includes as special cases the weak order on permutations, the Tamari lattice, order ideals in Young's lattice, and their generalizations, among others. It was conjectured in 2020 by the three authors, together with Benedetti, Harris, and Morales, that this poset is in general a lattice. This conjecture has been recently established with independent proofs by Bell and Ceballos, and by Berggren and Serhiyenko.
Covering Relations in the Poset of Combinatorial Neural Codes
A combinatorial neural code is a subset of the power set $2^{[n]}$ on $[n]=\{1,\dots, n\}$, in which each $1\leq i\leq n$ represents a neuron and each element (codeword) represents the co-firing event of some neurons. Consider a space $X\subseteq\mathbb{R}^d$, simulating an animal's environment, and a collection $\mathcal{U}=\{U_1,\dots,U_n\}$ of open subsets of $X$. Each $U_i\subseteq X$ simulates a place field which is a specific region where a place cell $i$ is active. Then, the code of $\mathcal{U}$ in $X$ is defined as $\text{code}(\mathcal{U},X)=\left\{σ\subseteq[n]\bigg|\bigcap_{i\inσ} U_i\setminus\bigcup_{j\notinσ}U_j\neq\varnothing\right\}$. If a neural code $\mathcal{C}=\text{code}(\mathcal{U},X)$ for some $X$ and $\mathcal{U}$, we say $\mathcal{C}$ has a realization of open subsets of some space $X$. Although every combinatorial neural code obviously has a realization by some open subsets, determining whether it has a realization by some open convex subsets remains unsolved. Many studies attempted to tackle this decision problem, but only partial results were achieved. In fact, a previous study showed that the decision problem of convex neural codes is NP-hard. Furthermore, the authors of this study conjectured that every convex neural code can be realized as a minor of a neural code arising from a representable oriented matroid, which can lead to an equivalence between convex and polytope convex neural codes. Even though this conjecture has been confirmed in dimension two, its validity in higher dimensions is still unknown. To advance the investigation of this conjecture, we provide a complete characterization of the covering relations within the poset $\mathbf{P_{Code}}$ of neural codes.
On hyperbolic links associated to Eulerian subgraphs on right-angled hyperbolic $3$-polytopes of finite volume
We consider Eulerian cycles without transversal selfintersections in $4$-valent planar graphs. We prove that any cycle of this type in the graph of an ideal right-angled hyperbolic $3$-polytope corresponds to a hyperbolic link such that its complement consists of $4$-copies of this polytope glued according to its checkerboard coloring. Moreover, this link consists of trivially embedded circles bijectively corresponding to the vertices of the polytope. We prove that there is always at least one Eulerian cycle of this type and introduce a transformation of a cycle along conjugated vertices allowing to build new cycles from a given one. The $2$-fold branched covering space corresponding to our link is a small cover over some simple $3$-polytope. It corresponds to a Hamiltonian cycle on this polytope via the A.D. Mednykh's construction. We show that any Hamiltonian cycle on a compact right-angled hyperbolic $3$-polytope arises in this way, while in the finite volume case the necessary and sufficient condition is that at each ideal vertex it does not go straight. The link corresponding to a Hamiltonian cycle on a simple $3$-polytope always contains the Hopf link consisting of two circles. We consider links corresponding to Hamiltonian theta-graphs and Hamiltonian $K_4$-graphs on simple $3$-polytopes introduced by A.D. Mednykh and A.Yu. Vesnin. We give a criterion when such a link consists of mutually unlinked circles and when it is trivial. We give a necessary condition for such a link to be hyperbolic. The simplest example is the Borromean rings corresponding to the Hamiltonian theta-graph on the cube. We introduce the notions of a nonselfcrossing Eulerian theta-graph and $K_4$-graph on a right-angled hyperbolic $3$-polytope of finite volume with $2$ or $4$ finite vertices and construct the corresponding hyperbolic link.
Counting Lattice Points in Generalized Permutohedra From A to B
We derive a formula for the number of lattice points in type B generalized permutohedra, providing a concise alternative to the formula obtained recently by Eur, Fink, Larson, and Spink as a result from a study of delta-matroids. Our approach builds upon the existing framework and techniques introduced by Postnikov in his work on type A generalized permutohedra, a family of polytopes interconnected with many mathematical concepts such as matroids and Weyl groups. In particular, we express the number of lattice points in type B generalized permutohedra in terms of Postnikov's notion of G-draconian sequences, from which their Ehrhart polynomials and volume formula follow as consequences.
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 $n$-sphere which admits a degree $d$ simplicial map to the boundary of $(n+1)$-simplex. We show that $\lim_{d\to\infty}\frac{λ(n,d)}d=0$ for any $n\ge3$, disproving O. Musin's conjecture. Using similar idea, for any $C$ we construct a triangulation of $\mathbb{S}^n$, $n\ge3$, for which $\frac{f_j}{f_i}>C$, for any $0\le i<j\le n$ such that $i<\lfloor\frac{n-1}2\rfloor$. All triangulations we obtain are isomorphic to boundaries of convex polytopes in $\mathbb{R}^{n+1}$.
Facet numbers of non-centrally symmetric reflexive polytopes arising from posets
Twinned chain polytopes form a broad class of non-centrally symmetric reflexive polytopes and exhibit intriguing structures. In the present paper, we show that the number of facets of $d$-dimensional twinned chain polytopes is at most $6^{d/2}$. In case $d$ is even, the equality holds if and only if the polytope is isomorphic to a free sum of $d/2$ copies of del Pezzo polygons. This result contributes a partial answer to Nill's conjecture: the number of facets of a $d$-dimensional reflexive polytope is at most $6^{d/2}$.
Subdivisions of lower Eulerian posets
There is a natural notion of a subdivision of a lower Eulerian poset called a strong formal subdivision, which abstracts the notion of a polyhedral subdivision of a polytope, or a proper, surjective morphism of fans. We show that there is a canonical bijection between strong formal subdivisions and triples consisting of a lower Eulerian poset, a corresponding rank function, and a non-minimal element such that the join with any other element exists. The bijection uses the non-Hausdorff mapping cylinder construction introduced by Barmak and Minian. A corresponding bijection for $CW$-posets is given, as well as an application to computing the $cd$-index of an Eulerian poset. A companion paper explores applications to Kazhdan-Lusztig-Stanley theory.
On an extension problem on the moment curve
We show that for $2\le d\le 4$, every finite geometric simplicial complex $Δ$ in $\mathbb{R}^d$ with vertices on the moment curve can be extended to a triangulation $T$ of the cyclic polytope $C$ where $Δ, T$ and $C$ all have the same vertex set. Further, for $d\ge 5$ we construct for every $n\ge d+3$ complexes $Δ$ on $n$ vertices for which no such triangulations $T$ exist.
Our result for $d=4$ has the following novel algebraic application, due to a correspondence by Oppermann and Thomas (JEMS, 2012): every maximal rigid object in $\mathcal{O}_{A_n^{2}}$ is cluster tilting, where $\mathcal{O}_{A_n^δ}$ denotes a higher dimensional cluster category introduced by Oppermann and Thomas for $A_n^δ$, where $A_n^δ$ denotes a higher Auslander algebra of linearly oriented type $A$.
Geometry of Adjoint Hypersurfaces for Polytopes
In this article we prove that the adjoint polynomial of arbitrary convex polytopes is up to scaling uniquely determined by vanishing to the right order on the polytopes residual arrangement. This answers a problem posed by Kohn and Ranestad and generalizes their main theorem to non-simple polytopes. We furthermore prove that the adjoint polynomial is already characterized by vanishing to the right order on a zero-dimensional subset of the residual arrangement.