polytope ↗ reference
3112 papers tagged with this keyword
Complexity of polytope diameters via perfect matchings
The Circuit diameter of polytopes was introduced by Borgwardt, Finhold and Hemmecke as a fundamental tool for the study of circuit augmentation schemes for linear programming and for estimating combinatorial diameters. Determining the complexity of computing the circuit diameter of polytopes was posed as an open problem by Sanità as well as by Kafer, and was recently reiterated by Borgwardt, Grewe, Kafer, Lee and Sanità.
In this paper, we solve this problem by showing that computing the circuit diameter of a polytope given in halfspace-description is strongly NP-hard. To prove this result, we show that computing the combinatorial diameter of the perfect matching polytope of a bipartite graph is NP-hard. This complements a result by Sanità (FOCS 2018) on the NP-hardness of computing the diameter of fractional matching polytopes and implies the new result that computing the diameter of a $\{0,1\}$-polytope is strongly NP-hard, which may be of independent interest. In our second main result, we give a precise graph-theoretic description of the monotone diameter of perfect matching polytopes and use this description to prove that computing the monotone (circuit) diameter of a given input polytope is strongly NP-hard as well.
Affine Demazure Weight Polytopes and Twisted Bruhat Orders
For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders.
On Covering Simplices by Dilations in Dimensions 3 and 4
We propose a conjecture regarding the integrally closedness of lattice polytopes with large lattice lengths. We demonstrate that a lattice simplex in dimension 3 (resp. 4) with lattice length of at least 2 (resp. 3 and no edge has lattice length 5) can be covered by dilated simplices of the form $sQ$, where integer $s\ge 2$ (resp. 3) and $Q$ is a lattice simplex. The covering property implies these simplices are integrally closed. As an application, we obtain a simple criterion for the projective normality of ample line bundles on 3-(resp. 4-) dimensional $\mathbb{Q}$-factorial toric Fano varieties with Picard number one. Along the way, we discover certain unexpected phenomenon.
Degree Sequence Optimization and Extremal Degree Enumerators
Published
• View Publication
• BIB
The degree sequence optimization problem is to find a subgraph of a given graph which maximizes the sum of given functions evaluated at the subgraph degrees. Here we study this problem by replacing degree sequences, via suitable nonlinear transformations, by suitable degree enumerators, and we introduce suitable degree enumerator polytopes.
We characterize their vertices, that is, the extremal degree enumerators, for complete graphs and some complete bipartite graphs, and use these characterizations to obtain simpler and faster algorithms for optimization over degree sequences for such graphs.
Mixed volumes of zonoids and the absolute value of the Grassmannian
Published
• View Publication
• BIB
Zonoids are Hausdorff limits of zonotopes, while zonotopes are convex polytopes defined as the Minkowski sums of finitely many segments. We present a combinatorial framework that links the study of mixed volumes of zonoids (a topic that has applications in algebraic combinatorics) with the study of the absolute value of the Grassmannian, defined as the image of the Grassmannian under the coordinate-wise absolute value map. We use polyhedral computations to derive new families of inequalities for n zonoids in dimension d, when (n,d)=(6,2) and (6,3). Unlike the classical geometric inequalities, originating from the Brunn-Minkowski and Aleksandrov-Fenchel inequalities, the inequalities we produce have the special feature of being Minkowski linear in each of the n zonoids they involve.
The Magic Number Conjecture for the $m=2$ amplituhedron and Parke-Taylor identities
The amplituhedron $A_{n,k,m}$ is a geometric object introduced in the context of scattering amplitudes in $N=4$ super Yang Mills. It generalizes the positive Grassmannian (when $n=k+m$), cyclic polytopes (when $k=1$), and the bounded complex of the cyclic hyperplane arrangement (when $m=1$). Of substantial interest are the tilings of the amplituhedron, which are analogous to triangulations of a polytope. Karp, Williams and Zhang (2020) observed that the known tilings of $A_{n,k,2}$ have cardinality ${n-2 \choose k}$ and the known tilings of $A_{n,k,4}$ have cardinality the Narayana number $\frac{1}{n-3}{n-3 \choose k+1}{n-3 \choose k}$; generalizing these observations, they conjectured that for even $m$ the tilings of $A_{n, k,m}$ have cardinality the MacMahon number, the number of plane partitions which fit inside a $k \times (n-k-m) \times \frac{m}{2}$ box. We refer to this prediction as the `Magic Number Conjecture'. In this paper we prove the Magic Number Conjecture for the $m=2$ amplituhedron: that is, we show that each tiling of $A_{n,k,2}$ has cardinality ${n-2 \choose k}$. We prove this by showing that all positroid tilings of the hypersimplex $Δ_{k+1,n}$ have cardinality ${n-2 \choose k}$, then applying T-duality. In addition, we give combinatorial necessary conditions for tiles to form a tiling of $A_{n,k,2}$; we give volume formulas for Parke-Taylor polytopes and certain positroid polytopes in terms of circular extensions of cyclic partial orders; and we prove new variants of the classical Parke-Taylor identities.
On a Conjecture Concerning the Roots of Ehrhart Polynomials of Symmetric Edge Polytopes from Complete Multipartite Graphs
In [7], Higashitani, Kummer, and Michałek pose a conjecture about the symmetric edge polytopes of complete multipartite graphs and confirm it for a number of families in the bipartite case. We confirm that conjecture for a number of new classes following the authors' methods and we present a more general result which suggests that the methods in their current form might not be enough to prove the conjecture in full generality.
Triangular faces of the order and chain polytope of a maximal ranked poset
Published
• View Publication
• BIB
Let $\mathscr{O}(P)$ and $\mathscr{C}(P)$ denote the order polytope and chain polytope, respectively, associated with a finite poset $P$. We prove the following result: if $P$ is a maximal ranked poset, then the number of triangular $2$-faces of $\mathscr{O}(P)$ is less than or equal to that of $\mathscr{C}(P)$, with equality holding if and only if $P$ does not contain an $X$-poset as a subposet.
Hadwiger's conjecture holds for strongly monotypic polytopes
Published
• View Publication
• BIB
In this short note, we prove Hadwiger's conjecture for strongly monotypic polytopes.
$q$-Chromatic polynomials
We introduce and study a $q$-version of the chromatic polynomial of a given graph $G=(V,E)$, namely, \[ χ_G^λ(q,n) \ := \sum_{\substack{\text{proper colorings}\\ c\,:\,V\to[n]}} q^{ \sum_{ v \in V } λ_v c(v) }, \] where $λ\in \mathbb{Z}^V$ is a fixed linear form. Via work of Chapoton (2016) on $q$-Ehrhart polynomials, $χ_G^λ(q,n)$ turns out to be a polynomial in the $q$-integer $[n]_q$, with coefficients that are rational functions in $q$. Additionally, we prove structural results for $χ_G^λ(q,n)$ and exhibit connections to neighboring concepts, e.g., chromatic symmetric functions and the arithmetic of order polytopes. We offer a strengthened version of Stanley's conjecture that the chromatic symmetric function distinguishes trees, which leads to an analogue of $P$-partitions for graphs.
$Φ^p$ Amplitudes from the Positive Tropical Grassmannian: Triangulations of Extended Diagrams
Published
• View Publication
• BIB
The global Schwinger formula, introduced by Cachazo and Early as a single integral over the positive tropical Grassmannian, provides a way to uncover properties of scattering amplitudes which are hard to see in their standard Feynman diagram formulation. In a recent work, Cachazo and one of the authors extended the global Schwinger formula to general $φ^p$ theories. When $p=4$, it was conjectured that the integral decomposes as a sum over cones which are in bijection with non-crossing chord diagrams, and further that these can be obtained by finding the zeroes of a piece-wise linear function, $H(x)$. In this note we give a proof of this conjecture. We also present a purely combinatorial way of computing $φ^p$ amplitudes by triangulating a trivial extended version of non-crossing $(p-2)$-chord diagrams, called extended diagrams, and present a proof of the bijection between triangulated extended diagrams and Feynman diagrams when $p=4$. This is reminiscent of recent constructions using Stokes polytopes and accordiohedra. However, the $φ^p$ amplitude is now partitioned by a new collection of objects, each of which characterizes a polyhedral cone in the positive tropical Grassmannian in the form of an associahedron or of an intersection of two associahedra. Moreover, we comment on the bijection between extended diagrams and double-ordered biadjoint scalar amplitudes. We also conjecture the form of the general piece-wise linear function, $H^{φ^p}(x)$, whose zeroes generate the regions in which the $φ^p$ global Schwinger formula decomposes into.
Finitely generated dyadic convex sets
Published in Internat. J. Algebra Comput. 33 (2023), no. 3, 585-615
• View Publication
• BIB
Dyadic rationals are rationals whose denominator is a power of $2$. We define dyadic $n$-dimensional convex sets as the intersections with $n$-dimensional dyadic space of an $n$-dimensional real convex set. Such a dyadic convex set is said to be a dyadic $n$-dimensional polytope if the real convex set is a polytope whose vertices lie in the dyadic space. Dyadic convex sets are described as subreducts (subalgebras of reducts) of certain faithful affine spaces over the ring of dyadic numbers, or equivalently as commutative, entropic and idempotent groupoids under the binary operation of arithmetic mean.
The paper contains two main results. First, it is proved that, while all dyadic polytopes are finitely generated, only dyadic simplices are generated by their vertices. This answers a question formulated in an earlier paper. Then, a characterization of finitely generated subgroupoids of dyadic convex sets is provided, and it is shown how to use the characterization to determine the minimal number of generators of certain convex subsets of the dyadic plane.
The Real Tropical Geometry of Neural Networks
We consider a binary classifier defined as the sign of a tropical rational function, that is, as the difference of two convex piecewise linear functions. The parameter space of ReLU neural networks is contained as a semialgebraic set inside the parameter space of tropical rational functions. We initiate the study of two different subdivisions of this parameter space: a subdivision into semialgebraic sets, on which the combinatorial type of the decision boundary is fixed, and a subdivision into a polyhedral fan, capturing the combinatorics of the partitions of the dataset. The sublevel sets of the 0/1-loss function arise as subfans of this classification fan, and we show that the level-sets are not necessarily connected. We describe the classification fan i) geometrically, as normal fan of the activation polytope, and ii) combinatorially through a list of properties of associated bipartite graphs, in analogy to covector axioms of oriented matroids and tropical oriented matroids. Our findings extend and refine the connection between neural networks and tropical geometry by observing structures established in real tropical geometry, such as positive tropicalizations of hypersurfaces and tropical semialgebraic sets.
Poset polytopes and pipe dreams: toric degenerations and beyond
We demonstrate how pipe dreams can be applied to the theory of poset polytopes to produce toric degenerations of flag varieties. Specifically, we present such constructions for marked chain-order polytopes of Dynkin types A and C. These toric degenerations also give rise to further algebraic and geometric objects such as PBW-monomial bases and Newton--Okounkov bodies. We discuss a construction of the former in the type A case and of the latter in type C.
Birational maps to Grassmannians, representations and poset polytopes
Published
• View Publication
• BIB
We study the closure of the graph of the birational map from a projective space to a Grassmannian. We provide explicit description of the graph closure and compute the fibers of the natural projection to the Grassmannian. We construct embeddings of the graph closure to the projectivizations of certain cyclic representations of a degenerate special linear Lie algebra and study algebraic and combinatorial properties of these representations. In particular, we describe monomial bases, generalizing the FFLV bases. The proof relies on combinatorial properties of a new family of poset polytopes, which are of independent interest. As a consequence we obtain flat toric degenerations of the graph closure studied by Borovik, Sturmfels and Sverrisdóttir.
Combinatorics of Essential Sets for Positroids
Published in Journal of Algebra 2024
• View Publication
• BIB
Positroids are a family of matroids introduced by Postnikov in the study of non-negative Grassmannians. Postnikov identified several combinatorial objects in bijections with positroids, among which are bounded affine permutations. On the other hand, the notion of essential sets, introduced for permutations by Fulton, was used by Knutson in the study of the special family of interval rank positroids. We generalize Fulton's essential sets to bounded affine permutations. The bijection of the latter with positroids, allows study of the relationship between them. From the point of view of positroids, essential sets are maximally dependent cyclic interval. We define connected essential sets and prove that they give a facet description of the positroid polytope, as well as equations defining the positroid variety. We define a subset of essential sets, called core, which contains minimal rank conditions to uniquely recover a positroid. We provide an algorithm to retrieve the positroid satisfying the rank conditions in the core or any compatible rank condition on cyclic intervals.
Combinatorics of generalized parking-function polytopes
Published
• View Publication
• BIB
For $\mathbf{b}=(b_1,\dots,b_n)\in \mathbb{Z}_{>0}^n$, a $\mathbf{b}$-parking function is defined to be a sequence $(β_1,\dots,β_n)$ of positive integers whose nondecreasing rearrangement $β'_1\leq β'_2\leq \cdots \leq β'_n$ satisfies $β'_i\leq b_1+\cdots + b_i$. The $\mathbf{b}$-parking-function polytope $\mathfrak{X}_n(\mathbf{b})$ is the convex hull of all $\mathbf{b}$-parking functions of length $n$ in $\mathbb{R}^n$. Geometric properties of $\mathfrak{X}_n(\mathbf{b})$ were previously explored in the specific case where $\mathbf{b}=(a,b,b,\dots,b)$ and were shown to generalize those of the classical parking-function polytope. In this work, we study $\mathfrak{X}_n(\mathbf{b})$ in full generality. We present a minimal inequality and vertex description for $\mathfrak{X}_n(\mathbf{b})$, prove it is a generalized permutahedron, and study its $h$-polynomial. Furthermore, we investigate $\mathfrak{X}_n(\mathbf{b})$ through the perspectives of building sets and polymatroids, allowing us to identify its combinatorial types and obtain bounds on its combinatorial and circuit diameters.
Ehrhart polynomials of partial permutohedra
For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is a certain integral polytope in $\mathbb{R}^m$, which can be defined as the convex hull of the vectors from $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. For $n=m-1$, $\mathcal{P}(m,m-1)$ is (after translation by $(1,\ldots,1)$) the polytope $P_m$ of parking functions of length $m$, and for $n\ge m$, $\mathcal{P}(m,n)$ is combinatorially equivalent to an $m$-stellohedron. The main result of this paper is an explicit expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ for any $m$ and $n$ with $n\ge m-1$. The result confirms the validity of a conjecture for this Ehrhart polynomial in arXiv:2207.14253, and the $n=m-1$ case also answers a question of Stanley regarding the number of integer points in $P_m$. The proof of the result involves transforming $\mathcal{P}(m,n)$ to a unimodularly equivalent polytope in $\mathbb{R}^{m+1}$, obtaining a decomposition of this lifted version of $\mathcal{P}(m,n)$ with $n\ge m-1$ as a Minkowski sum of dilated coordinate simplices, applying a result of Postnikov for the number of integer points in generalized permutohedra of this form, observing that this gives an expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with $n\ge m-1$ as an edge-weighted sum over graphs (with loops and multiple edges permitted) on $m$ labelled vertices in which each connected component contains at most one cycle, and then applying standard techniques for the enumeration of such graphs.
Zig-zag Eulerian polynomials
Published
• View Publication
• BIB
For any finite partially ordered set $P$, the $P$-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of $P$, and is closely related to the order polynomial of $P$ arising in the theory of $P$-partitions. Here we study the $P$-Eulerian polynomial where $P$ is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts$\unicode{x2014}$e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures$\unicode{x2014}$but they do not appear to have been studied systematically.
In this paper, we use a "relaxed" version of $P$-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of "big returns" over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.
A conditional lower bound for the Turán number of spheres
Published in Combinator. Probab. Comp. 34 (2025) 848-856
• View Publication
• BIB
We consider the hypergraph Turán problem of determining $\mathrm{ex}(n, S^d)$, the maximum number of facets in a $d$-dimensional simplicial complex on $n$ vertices that does not contain a simplicial $d$-sphere (a homeomorph of $S^d$) as a subcomplex. We show that if there is an affirmative answer to a question of Gromov about sphere enumeration in high dimensions, then $\mathrm{ex}(n, S^d) \geq Ω(n^{d + 1 - (d + 1)/(2^{d + 1} - 2)})$. Furthermore, this lower bound holds unconditionally for 2-LC spheres, which includes all shellable spheres and therefore all polytopes. We also prove an upper bound on $\mathrm{ex}(n, S^d)$ of $O(n^{d + 1 - 1/2^{d - 1}})$ using a simple induction argument. We conjecture that the upper bound can be improved to match the conditional lower bound.