polytope ↗ reference
3112 papers tagged with this keyword
From spherical separation center set to the upper and lower bound theorems
In this paper, we provide the upper bound and the lower bound of the sum of the number of spherical face-partition pair of simple spherical polytope $P$ with $p$ facets.
Ehrhart theory of cosmological polytopes
The cosmological polytope of a graph $G$ was recently introduced to give a geometric approach to the computation of wavefunctions for cosmological models with associated Feynman diagram $G$. Basic results in the theory of positive geometries dictate that this wavefunction may be computed as a sum of rational functions associated to the facets in a triangulation of the cosmological polytope. The normalized volume of the polytope then provides a complexity estimate for these computations. In this paper, we examine the (Ehrhart) $h^\ast$-polynomial of cosmological polytopes. We derive recursive formulas for computing the $h^\ast$-polynomial of disjoint unions and $1$-sums of graphs. The degree of the $h^\ast$-polynomial for any $G$ is computed and a characterization of palindromicity is given. Using these observations, a tight lower bound on the $h^\ast$-polynomial for any $G$ is identified and explicit formulas for the $h^\ast$-polynomials of multitrees and multicycles are derived. The results generalize the existing results on normalized volumes of cosmological polytopes. A tight upper bound and a combinatorial formula for the $h^\ast$-polynomial of any cosmological polytope are conjectured.
Exploring Parking Functions: Poset and Polytope Perspectives
Published
• View Publication
• BIB
This paper provides an exploration of parking functions, a classical combinatorial object. We present two viewpoints on their structure and properties: through poset of noncrossing partitions and polytopes.
How to stab a polytope
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 473-493
• Search Publication
We study the set of linear subspaces of a fixed dimension intersecting a given polytope. To describe this set as a semialgebraic subset of a Grassmannian, we introduce a Schubert arrangement of the polytope, defined by the Chow forms of the polytope's faces of complementary dimension. We show that the set of subspaces intersecting a specified family of faces is defined by fixing the sign of the Chow forms of their boundaries. We give inequalities defining the set of stabbing subspaces in terms of sign conditions on the Chow form.
On the matching arrangement of a graph, improper weight function problem and its application
Published
• View Publication
• BIB
This article presents examples of an application of the finite field method for the computation of the characteristic polynomial of the matching arrangement of a graph. Weight functions on edges of a graph with weights from a finite field are divided into proper and improper functions in connection with proper colorings of vertices of the matching polytope of a graph. An improper weight function problem is introduced, a proof of its NP-completeness is presented, and a knapsack-like public key cryptosystem is constructed based on the improper weight function problem.
Generalized snake posets, order polytopes, and lattice-point enumeration
Published
• View Publication
• BIB
Building from the work of von Bell et al.~(2022), we study the Ehrhart theory of order polytopes arising from a special class of distributive lattices, known as generalized snake posets. We present arithmetic properties satisfied by the Ehrhart polynomials of order polytopes of generalized snake posets along with a computation of their Gorenstein index. Then we give a combinatorial description of the chain polynomial of generalized snake posets as a direction to obtain the $h^*$-polynomial of their associated order polytopes. Additionally, we present explicit formulae for the $h^*$-polynomial of the order polytopes of the two extremal examples of generalized snake posets, namely the ladder and regular snake poset. We then provide a recursive formula for the $h^*$-polynomial of any generalized snake posets and show that the $h^*$-vectors are entry-wise bounded by the $h^*$-vectors of the two extremal cases.
Newton polytopes of dual Schubert polynomials
The M-convexity of dual Schubert polynomials was first proven by Huh, Matherne, Mészáros, and St. Dizier in 2022. We give a full characterization of the supports of dual Schubert polynomials, which yields an elementary alternative proof of the M-convexity result, and furthermore strengthens it by explicitly characterizing the vertices of their Newton polytopes combinatorially.
Simplicial vs. cubical spheres, polyhedral products and the Nevo-Petersen conjecture
We prove that a Murai sphere is flag if and only if it is a nerve complex of a flag nestohedron and classify all the polytopes arising in this way. Our classification implies that flag Murai spheres satisfy the Nevo-Petersen conjecture on $γ$-vectors of flag homology spheres. We continue by showing that a Bier sphere is minimally non-Golod if and only if it is a nerve complex of a truncation polytope different from a simplex and classify all the polytopes arising in this way. Finally, the notion of a cubical Bier sphere is introduced based on the polyhedral product construction, and we study combinatorial and geometrical properties of these cubical complexes.
Vertices of the monotone path polytopes of hypersimplicies
The monotone path polytope of a polytope $P$ encapsulates the combinatorial behavior of the shadow vertex rule (a pivot rule used in linear programming) on $P$. Computing monotone path polytopes is the entry door to the larger subject of fiber polytopes, for which explicitly computing examples remains a challenge. We first give a detailed presentation on how to construct monotone path polytopes.
Monotone path polytopes of cubes and simplices have been known since the seminal article of Billera and Sturmfels. We extend these results to hypersimplices by linking this problem to the combinatorics of lattice paths. Indeed, we give a combinatorial model which describes the vertices of the monotone path polytope of the hypersimplex $Δ(n, 2)$ (for any generic direction). With this model, we give a precise count of these vertices, and furthermore count the number of coherent monotone paths on $Δ(n, 2)$ according to their lengths.
We prove that some of the results obtained also hold for hypersimplices $Δ(n, k)$ for $k\geq 2$.
Veronese polytopes: Extending the framework of cyclic polytopes
This article introduces the theory of Veronese polytopes, a broad generalisation of cyclic polytopes. These arise as convex hulls of points on curves with one or more connected components, obtained as the image of the rational normal curve in affine charts. We describe their facial structure by extending Gale's evenness condition, and provide a further combinatorial characterisation of facets via $σ$-parity alternating sequences. Notably, we establish a bijective correspondence between combinatorial types of Veronese polytopes and partitions of finite sets equipped with a cyclic order, called circular compositions. We show that, although the only Veronese $3$-polytopes are the cyclic $3$-polytopes and the octahedron, in general dimension they form a rich and diverse class including all combinatorial types of simplicial $d$-polytopes with at most $d+3$ vertices, the cross-polytope and particular stacked polytopes. In addition, we characterise which curves defining Veronese polytopes are $d$-order curves, and provide a closed formula for the number of facets of any Veronese polytope.
Wronski Pairs of Honeycomb Curves
Published
• View Publication
• BIB
We study certain generic systems of real polynomial equations associated with triangulations of convex polytopes and investigate their number of real solutions. Our main focus is set on pairs of plane algebraic curves which form a so-called Wronski system. The computational tasks arising in the analysis of such Wronski pairs lead us to the frontiers of current computer algebra algorithms and their implementations, both via Gröbner bases and numerical algebraic geometry.
Chevalley Polytopes and Newton-Okounkov Bodies
We construct a family of polytopes, which we call Chevalley polytopes, associated to homogeneous spaces $X=G/P$ in their projective embeddings $X\hookrightarrow \mathbb{P}(V_{\varpi})$ together with a choice of reduced expression for the minimal coset representative $w^P$ of $w_0$ in $W/W_P$. When $X$ is minuscule in its minimal embedding, we describe our construction in terms of order polytopes of minuscule posets and use the associated combinatorics to show that minuscule Chevalley polytopes are Newton-Okounkov bodies for $X$ and that the Plücker coordinates on $X$ form a Khovanskii basis for $\mathbb{C}[X]$. We conjecture similar properties for general $X$ and general embeddings $X\hookrightarrow\mathbb{P}(V_\varpi)$, along with a remarkable decomposition property which we consider as a polytopal shadow of the Littlewood-Richardson rule. We highlight a connection between Chevalley polytopes and string polytopes and give examples where Chevalley polytopes possess better combinatorial properties than string polytopes. We conclude with several examples further illustrating and supporting our conjectures.
The geometry of ranked symplectic matroids
This paper is a continuation of my paper "Lattices of flats for symplectic matroids". We explore geometric constructions originating from the lattice of flats of ranked symplectic matroids. We observe that a ranked symplectic matroid always sits between two ordinary matroids and use this fact to prove that it has many of the same properties of ordinary matroids. We compute the dimension of its order complex using its Möbius function, We show that its matroid polytope is geometrically defined using its flats and connected to its Bergman fan. We finish by highlighting differences between its toric variety and the toric variety of an ordinary matroid, and give a partial proof of Mason's conjecture for ranked symplectic matroids.
Interval hypergraphic lattices
Published in European J. Combin., 132: 104285, 2026
• View Publication
• BIB
For a hypergraph $\mathbb{H}$ on $[n]$, the hypergraphic poset $P_\mathbb{H}$ is the transitive closure of the oriented skeleton of the hypergraphic polytope $\triangle_\mathbb{H}$ (the Minkowski sum of the standard simplices $\triangle_H$ for all $H \in \mathbb{H}$). Hypergraphic posets include the weak order for the permutahedron (when $\mathbb{H}$ is the complete graph on $[n]$) and the Tamari lattice for the associahedron (when $\mathbb{H}$ is the set of all intervals of $[n]$), which motivates the study of lattice properties of hypergraphic posets. In this paper, we focus on interval hypergraphs, where all hyperedges are intervals of $[n]$. We characterize the interval hypergraphs $\mathbb{I}$ for which $P_\mathbb{I}$ is a lattice, a distributive lattice, a semidistributive lattice, and a lattice quotient of the weak order.
Generating Series of Key Polynomials and Bounded Ascending Sequences of Integers
The fact that Schubert polynomials are the weighted counting functions for reduced RC-graphs, also known as reduced pipe dreams, was established using their generating functions inside an appropriate Demazure algebra. Here we investigate the generating functions of another family of polynomials, the key polynomials, also known as Demazure characters. Each component in that function is a rational function, whose denominator is an explicit product whose definition is based on bounded ascending sequences of integers. We determine the first terms of the polynomial numerator, and pose conjectures about these terms in general as well as some of the next ones. The form of our generating functions suggests relations between the coefficients in key polynomials and signed sums of numbers of integral points on polytopes.
Hyperplanes Avoiding Problem and Integer Points Counting in Polyhedra
In our work, we consider the problem of computing a vector $x \in Z^n$ of minimum $\|\cdot\|_p$-norm such that $a^\top x \not= a_0$, for any vector $(a,a_0)$ from a given subset of $Z^n$ of size $m$. In other words, we search for a vector of minimum norm that avoids a given finite set of hyperplanes, which is natural to call as the $\textit{Hyperplanes Avoiding Problem}$. This problem naturally appears as a subproblem in Barvinok-type algorithms for counting integer points in polyhedra. We show that:
1) With respect to $\|\cdot\|_1$, the problem admits a feasible solution $x$ with $\|x\|_1 \leq (m+n)/2$, and show that such solution can be constructed by a deterministic polynomial-time algorithm with $O(n \cdot m)$ operations. Moreover, this inequality is the best possible. This is a significant improvement over the previous randomized algorithm, which computes $x$ with a guaranty $\|x\|_{1} \leq n \cdot m$. The original approach of A.~Barvinok can guarantee only $\|x\|_1 = O\bigl((n \cdot m)^n\bigr)$. To prove this result, we use a newly established algorithmic variant of the Combinatorial Nullstellensatz;
2) The problem is NP-hard with respect to any norm $\|\cdot\|_p$, for $p \in \bigl(R_{\geq 1} \cup \{\infty\}\bigr)$.
3) As an application, we show that the problem to count integer points in a polytope $P = \{x \in R^n \colon A x \leq b\}$, for given $A \in Z^{m \times n}$ and $b \in Q^m$, can be solved by an algorithm with $O\bigl(ν^2 \cdot n^3 \cdot Δ^3 \bigr)$ operations, where $ν$ is the maximum size of a normal fan triangulation of $P$, and $Δ$ is the maximum value of rank-order subdeterminants of $A$. As a further application, it provides a refined complexity bound for the counting problem in polyhedra of bounded codimension. For example, in the polyhedra of the Unbounded Subset-Sum problem.
The Chirotropical Grassmannian
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 123-142
• View Publication
• BIB
Recent developments in particle physics have revealed deep connections between scattering amplitudes and tropical geometry. From the heart of this relationship emerged the chirotropical Grassmannian $\text{Trop}^χ\text{G}(k,n)$ and the chirotropical Dressian $\text{Dr}^χ(k,n)$, polyhedral fans built from uniform realizable chirotopes that encode the combinatorial structure of Generalized Feynman Diagrams. We prove that $\text{Trop}^χ\text{G}(3,n) = \text{Dr}^χ(3,n)$ for $n = 6,7,8$, and develop algorithms to compute these objects from their rays modulo lineality. Using these algorithms, we compute all chirotropical Grassmannians $\text{Trop}^χ\text{G}(3,n)$ for $n = 6,7,8$ across all isomorphism classes of chirotopes. We prove that each chirotopal configuration space $X^χ(3,6)$ is diffeomorphic to a polytope and propose an associated canonical logarithmic differential form. Finally, we show that the equality between chirotropical Grassmannian and Dressian fails for $(k,n) = (4,8)$.
Chow functions for partially ordered sets
Three decades ago, Stanley and Brenti initiated the study of the Kazhdan--Lusztig--Stanley (KLS) functions, putting on common ground several polynomials appearing in algebraic combinatorics, discrete geometry, and representation theory. In the present paper we develop a theory that parallels the KLS theory. To each kernel in a given poset, we associate a polynomial function that we call the \emph{Chow function}. The Chow function often exhibits remarkable properties, and sometimes encodes the graded dimensions of a cohomology or Chow ring. The framework of Chow functions provides natural polynomial analogs of graded module decompositions that appear in algebraic geometry, but that work for arbitrary posets, even when no graded module decomposition is known to exist. In this general framework, we prove a number of unimodality and positivity results without relying on versions of the Hard Lefschetz theorem. Our framework shows that there is an unexpected relation between positivity and real-rootedness conjectures about chains on face lattices of polytopes by Brenti and Welker, Hilbert--Poincaré series of matroid Chow rings by Ferroni and Schröter, and flag enumerations on Bruhat intervals of Coxeter groups by Billera and Brenti.
Neural Networks and (Virtual) Extended Formulations
Neural networks with piecewise linear activation functions, such as rectified linear units (ReLU) or maxout, are among the most fundamental models in modern machine learning. We make a step towards proving lower bounds on the size of such neural networks by linking their representative capabilities to the notion of the extension complexity $\mathrm{xc}(P)$ of a polytope $P$. This is a well-studied quantity in combinatorial optimization and polyhedral geometry describing the number of inequalities needed to model $P$ as a linear program. We show that $\mathrm{xc}(P)$ is a lower bound on the size of any monotone or input-convex neural network that solves the linear optimization problem over $P$. This implies exponential lower bounds on such neural networks for a variety of problems, including the polynomially solvable maximum weight matching problem.
In an attempt to prove similar bounds also for general neural networks, we introduce the notion of virtual extension complexity $\mathrm{vxc}(P)$, which generalizes $\mathrm{xc}(P)$ and describes the number of inequalities needed to represent the linear optimization problem over $P$ as a difference of two linear programs. We prove that $\mathrm{vxc}(P)$ is a lower bound on the size of any neural network that optimizes over $P$. While it remains an open question to derive useful lower bounds on $\mathrm{vxc}(P)$, we argue that this quantity deserves to be studied independently from neural networks by proving that one can efficiently optimize over a polytope $P$ using a small virtual extended formulation.
Minkowski ideals and rings
Published
• View Publication
• BIB
\emph{Minkowski rings} are certain rings of simple functions on
the Euclidean space $W = {\mathbb{R}}^d$
with multiplicative structure derived from Minkowski addition of convex
polytopes. When the ring is (finitely) generated by a set ${\cal{P}}$
of indicator functions of $n$ polytopes then the ring can be presented
as ${\mathbb{C}}[x_1,\ldots,x_n]/I$ when viewed
as a ${\mathbb{C}}$-algebra, where $I$ is the ideal describing all the relations
implied by identities among Minkowski sums of elements of ${\cal{P}}$.
We discuss in detail
the $1$-dimensional case, the $d$-dimensional box case and the affine
Coxeter arrangement in ${\mathbb{R}}^2$ where the convex sets are formed
by closed half-planes with bounding lines making the regular triangular
grid in ${\mathbb{R}}^2$.
We also consider, for a given polytope $P$, the Minkowski ring
$M^\pm_F(P)$ of the collection ${\cal{F}}(P)$
of the nonempty faces of $P$ and their multiplicative inverses.
Finally we prove some general properties of identities
in the Minkowski ring of ${\cal{F}}(P)$; in particular, we show that
Minkowski rings behave well under Cartesian product, namely that
$M^\pm_F(P\times Q)
\cong M^{\pm}_F(P)\otimes M^{\pm}_F(Q)$
as ${\mathbb{C}}$-algebras where $P$ and $Q$ are polytopes.