polytope ↗ reference
3024 papers tagged with this keyword
On the Ehrhart Polynomial of Schubert Matroids
Published
• View Publication
• BIB
In this paper, we give a formula for the number of lattice points in the dilations of Schubert matroid polytopes. As applications, we obtain the Ehrhart polynomials of uniform and minimal matroids as special cases, and give a recursive formula for the Ehrhart polynomials of $(a,b)$-Catalan matroids. Ferroni showed that uniform and minimal matroids are Ehrhart positive. We show that all sparse paving Schubert matroids are Ehrhart positive and their Ehrhart polynomials are coefficient-wisely bounded by those of minimal and uniform matroids. This confirms a conjecture of Ferroni for the case of sparse paving Schubert matroids. Furthermore, we introduce notched rectangle matroids, which include minimal matroids, sparse paving Schubert matroids and panhandle matroids. We show that three subfamilies of notched rectangle matroids are Ehrhart positive, and conjecture that all notched rectangle matroids are Ehrhart positive.
Rational Ehrhart Theory
Published in Integers: the Electronic Journal of Combinatorial Number Theory 23 (2023), A 60 (31 pages)
• Search Publication
The Ehrhart quasipolynomial of a rational polytope $\mathsf{P}$ encodes fundamental arithmetic data of $\mathsf{P}$, namely, the number of integer lattice points in positive integral dilates of $\mathsf{P}$. Ehrhart quasipolynomials were introduced in the 1960s, satisfy several fundamental structural results and have applications in many areas of mathematics and beyond. The enumerative theory of lattice points in rational (equivalently, real) dilates of rational polytopes is much younger, starting with work by Linke (2011), Baldoni-Berline-Koeppe-Vergne (2013), and Stapledon (2017). We introduce a generating-function ansatz for rational Ehrhart quasipolynomials, which unifies several known results in classical and rational Ehrhart theory. In particular, we define $γ$-rational Gorenstein polytopes, which extend the classical notion to the rational setting and encompass the generalized reflexive polytopes studied by Fiset-Kasprzyk (2008) and Kasprzyk-Nill (2012).
Inscribed Tverberg-Type Partitions for Orbit Polytopes
Published in Mathematika 68 (2022) 1135-1152
• View Publication
• BIB
Tverberg's theorem states that any set of $t(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Moreover, generic collections of fewer points cannot be so divided. Extending earlier work of the first author, we show that one can nonetheless guarantee inscribed ``polytopal partitions" with specified symmetry conditions in many such circumstances. Namely, for any faithful and full--dimensional orthogonal representation $ρ\colon G\rightarrow O(d)$ of any order $r$ group $G$, we show that a generic set of $t(r,d)-d$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets so that there are $r$ points, one from each of the resulting convex hulls, which are the vertices of a convex $d$--polytope whose isometry group contains $G$ via the regular action afforded by the representation. As with Tverberg's theorem, the number of points is optimal for this. At one extreme, this gives polytopal partitions for all regular $r$--gons in the plane, as well as for three of the six regular 4--polytopes in $\mathbb{R}^4$. At the other extreme, one has polytopal partitions for $d$-polytopes on $r$ vertices with isometry group equal to $G$ whenever $G$ is the isometry group of a vertex--transitive $d$-polytope.
Tropical fans and normal complexes
Published
• View Publication
• BIB
Associated to any divisor in the Chow ring of a simplicial tropical fan, we construct a family of polytopal complexes, called normal complexes, which we propose as an analogue of the well-studied notion of normal polytopes from the setting of complete fans. We describe certain closed convex polyhedral cones of divisors for which the "volume" of each divisor in the cone - that is, the degree of its top power - is equal to the volume of the associated normal complexes. For the Bergman fan of any matroid with building set, we prove that there exists an open family of such cones of divisors with nonempty interiors. We view the theory of normal complexes developed in this paper as a polytopal model underlying the combinatorial Hodge theory pioneered by Adiprasito, Huh, and Katz.
Complex psd-minimal polytopes in dimensions two and three
Published
• View Publication
• BIB
The extension complexity of a polytope measures its amenability to succinct representations via lifts. There are several versions of extension complexity, including linear, real semidefinite, and complex semidefinite. We focus on the last of these, for which the least is known, and in particular on understanding which polytopes are complex psd-minimal. We prove the existence of an obstruction to complex psd-minimality which is efficiently computable via lattice membership problems. Using this tool, we complete the classification of complex psd-minimal polygons (geometrically as well as combinatorially). In dimension three we exhibit several new examples of complex psd-minimal polytopes and apply our obstruction to rule out many others.
$P$-associahedra
Published
• View Publication
• BIB
For each poset $P$, we construct a polytope $A(P)$ called the $P$-associahedron. Similarly to the case of graph associahedra, the faces of $A(P)$ correspond to certain nested collections of subsets of $P$. The Stasheff associahedron is a compactification of the configuration space of $n$ points on a line, and we recover $A(P)$ as an analogous compactification of the space of order-preserving maps $P\to\mathbb{R}$. Motivated by the study of totally nonnegative critical varieties in the Grassmannian, we introduce affine poset cyclohedra and realize these polytopes as compactifications of configuration spaces of $n$ points on a circle. For particular choices of (affine) posets, we obtain associahedra, cyclohedra, permutohedra, and type B permutohedra as special cases.
Beyond the Sottile-Sturmfels degeneration of a semi-infinite Grassmannian
Published
• View Publication
• BIB
We study toric degenerations of semi-infinite Grassmannians (a.k.a. quantum Grassmannians). While the toric degenerations of the classical Grassmannians are well studied, the only known example in the semi-infinite case is due to Sottile-Sturmfels. We start by providing a new interpretation of the Sottile-Sturmfels construction by finding a poset such that their degeneration is the toric variety of the order polytope of the poset. We then use our poset to construct and study a new toric degeneration in the semi-infinite case. Our construction is based on the notion of poset polytopes introduced by Fang-Fourier-Litza-Pegel. As an application we introduce semi-infinite PBW-semistandard tableaux, giving a basis in the homogeneous coordinate ring of a semi-infinite Grassmannian.
Intersection Bodies of Polytopes
Published in Beiträge zur Algebra und Geometrie, 63, 419-439 (2022)
• View Publication
• BIB
We investigate the intersection body of a convex polytope using tools from combinatorics and real algebraic geometry. In particular, we show that the intersection body of a polytope is always a semialgebraic set and provide an algorithm for its computation. Moreover, we compute the irreducible components of the algebraic boundary and provide an upper bound for the degree of these components.
Arithmetic inflection of superelliptic curves
Published
• View Publication
• BIB
In this paper, we explore the inflectionary behavior of linear series on superelliptic curves $X$ over fields of arbitrary characteristic. Here we give a precise description of the inflection of linear series over the ramification locus of the superelliptic projection; and we initiate a study of those inflectionary varieties that parameterize the inflection points of linear series on $X$ supported away from the superelliptic ramification locus that is predicated on the behavior of their Newton polytopes.
On Polytopes with Linear Rank with respect to Generalizations of the Split Closure
Published
• View Publication
• BIB
In this paper we study the rank of polytopes contained in the 0-1 cube with respect to $t$-branch split cuts and $t$-dimensional lattice cuts for a fixed positive integer $t$. These inequalities are the same as split cuts when $t=1$ and generalize split cuts when $t > 1$. For polytopes contained in the $n$-dimensional 0-1 cube, the work of Balas implies that the split rank can be at most $n$, and this bound is tight as Cornuéjols and Li gave an example with split rank $n$. All known examples with high split rank -- i.e., at least $cn$ for some positive constant $c < 1$ -- are defined by exponentially many (as a function of $n$) linear inequalities. For any fixed integer $t > 0$, we give a family of polytopes contained in $[0,1]^n$ for sufficiently large $n$ such that each polytope has empty integer hull, is defined by $O(n)$ inequalities, and has rank $Ω(n)$ with respect to $t$-dimensional lattice cuts. Therefore the split rank of these polytopes is $Ω(n)$. It was shown earlier that there exist generalized branch-and-bound proofs, with logarithmic depth, of the nonexistence of integer points in these polytopes. Therefore, our lower bound results on split rank show an exponential separation between the depth of branch-and-bound proofs and split rank.
The root distributions of Ehrhart polynomials of free sums of reflexive polytopes
Published
• View Publication
• BIB
In this paper, we study the root distributions of Ehrhart polynomials of free sums of certain reflexive polytopes. We investigate cases where the roots of the Ehrhart polynomials of the free sums of $A_d^\vee$'s or $A_d$'s lie on the canonical line $\mathrm{Re}(z)=-\frac{1}{2}$ on the complex plane $\mathbb{C}$, where $A_d$ denotes the root polytope of type A of dimension $d$ and $A_d^\vee$ denotes its polar dual. For example, it is proved that $A_m^\vee \oplus A_n^\vee$ with $\min\{m,n\} \leq 1$ or $m+n \leq 7$, $A_2^\vee \oplus (A_1^\vee)^{\oplus n}$ and $A_3^\vee \oplus (A_1^\vee)^{\oplus n}$ for any $n$ satisfy this property. We also perform computational experiments for other types of free sums of $A_n^\vee$'s or $A_n$'s.
A faster algorithm for counting the integer points number in $Δ$-modular polyhedra (corrected version)
Published in Siberian Electronic Mathematical Reports, 19(2), pp. 613-626 (2022)
• View Publication
• BIB
Let a polytope $P$ be defined by a system $A x \leq b$. We consider the problem of counting the number of integer points inside $P$, assuming that $P$ is $Δ$-modular, where the polytope $P$ is called $Δ$-modular if all the rank sub-determinants of $A$ are bounded by $Δ$ in the absolute value. We present a new FPT-algorithm, parameterized by $Δ$ and by the maximal number of vertices in $P$, where the maximum is taken by all r.h.s. vectors $b$. We show that our algorithm is more efficient for $Δ$-modular problems than the approach of A. Barvinok et al. To this end, we do not directly compute the short rational generating function for $P \cap Z^n$, which is commonly used for the considered problem. Instead, we use the dynamic programming principle to compute its particular representation in the form of exponential series that depends on a single variable. We completely do not rely to the Barvinok's unimodular sign decomposition technique.
Using our new complexity bound, we consider different special cases that may be of independent interest. For example, we give FPT-algorithms for counting the integer points number in $Δ$-modular simplices and similar polytopes that have $n + O(1)$ facets. As a special case, for any fixed $m$, we give an FPT-algorithm to count solutions of the unbounded $m$-dimensional $Δ$-modular subset-sum problem.
Associahedra minimize $f$-vectors of secondary polytopes of planar point sets
Published in Discrete Comput. Geom., Vol. 74, 1-22, 2025
• View Publication
• BIB
Kupavskii, Volostnov, and Yarovikov have recently shown that any set of $n$ points in general position in the plane has at least as many (partial) triangulations as the convex $n$-gon. We generalize this in two directions: we show that regular triangulations are enough, and we extend the result to all regular subdivisions, graded by the dimension of their corresponding face in the secondary polytope.
FFLV polytopes for odd symplectic Lie algebras
We consider "odd symplectic Lie algebras" defined in terms of maximal rank skew-symmetric forms. We provide FFLV polytopes for these algebras and prove their standard properties. In particular, we obtain a new graded character formula and PBW bases for an analogue of irreducible representations in terms of lattice points of FFLV polytopes.
On the Holt-Klee Property for Oriented Matroid Programming
Published
• View Publication
• BIB
The Holt-Klee theorem says that the graph of a $d$-polytope, with edges oriented by a linear function on $P$ that is not constant on any edge, admits $d$ independent monotone paths from the source to the sink. We prove that the digraphs obtained from oriented matroid programs of rank $d+1$ on $n+2$ elements, which include those from $d$-polytopes with $n$ facets, admit $d$ independent monotone paths from source to sink if $d \le 4$. This was previously only known to hold for $d\le 3$ and $n\le 6$.
Generalised Flatness Constants: A Framework Applied in Dimension $2$
Let $A \in \{ \mathbb{Z}, \mathbb{R} \}$ and $X \subset \mathbb{R}^d$ be a bounded set. Affine transformations given by an automorphism of $\mathbb{Z}^d$ and a translation in $A^d$ are called (affine) $A$-unimodular transformations. The image of $X$ under such a transformation is called an $A$-unimodular copy of $X$. It was shown in [Averkov, Hofscheier, Nill, 2019] that every convex body whose width is "big enough" contains an $A$-unimodular copy of $X$. The threshold when this happens is called the generalised flatness constant $\mathrm{Flt}_d^A(X)$. It resembles the classical flatness constant if $A=\mathbb{Z}$ and $X$ is a lattice point. In this work, we introduce a general framework for the explicit computation of these numerical constants. The approach relies on the study of $A$-$X$-free convex bodies generalising lattice-free (also known as hollow) convex bodies. We then focus on the case that $X=P$ is a full-dimensional polytope and show that inclusion-maximal $A$-$P$-free convex bodies are polytopes. The study of those inclusion-maximal polytopes provides us with the means to explicitly determine generalised flatness constants. We apply our approach to the case $X=Δ_2$ the standard simplex in $\mathbb{R}^2$ of normalised volume $1$ and compute $\mathrm{Flt}^{\mathbb{R}}_2(Δ_2)=2$ and $\mathrm{Flt}^{\mathbb{Z}}_2(Δ_2)=\frac{10}3$.
Double Schubert polynomials do have saturated Newton polytopes
Published
• View Publication
• BIB
We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of ideals that enables us to study non-standard multigradings. This allows us to show that the support of the multidegree polynomial of each Cohen-Macaulay prime ideal, and in particular, that of each Schubert determinantal ideal is a discrete polymatroid.
A characterization of strongly monotypic polytopes
We characterize all the strongly monotypic polytopes. Hadwiger's conjecture for this class of polytopes is deduced from the characterization.
The permuto-associahedron revisited
Published
• View Publication
• BIB
A classic problem connecting algebraic and geometric combinatorics is the realization problem: given a poset, determine whether there exists a polytope whose face lattice is the poset. In 1990s, Kapranov defined a poset as a hybrid between the face poset of a permutohedron and that of an associahedron, and he asked whether this poset is realizable. Shortly after his question was posed, Reiner and Ziegler provided a realization. Based on our previous work on the nested braid fan, we provide in this paper a different realization of Kapranov's poset by constructing the vertex set and the normal fan of a permuto-associahedron simultaneously.
Families of polytopes with rational linear precision in higher dimensions
Published in Foundations of Computational Mathematics, 2022
• View Publication
• BIB
In this article we introduce a new family of lattice polytopes with rational linear precision. For this purpose, we define a new class of discrete statistical models that we call multinomial staged tree models. We prove that these models have rational maximum likelihood estimators (MLE) and give a criterion for these models to be log-linear. Our main result is then obtained by applying Garcia-Puente and Sottile's theorem that establishes a correspondence between polytopes with rational linear precision and log-linear models with rational MLE. Throughout this article we also study the interplay between the primitive collections of the normal fan of a polytope with rational linear precision and the shape of the Horn matrix of its corresponding statistical model. Finally, we investigate lattice polytopes arising from toric multinomial staged tree models, in terms of the combinatorics of their tree representations.