polytope ↗ reference
3024 papers tagged with this keyword
Volumes of flow polytopes related to caracol graphs
Published
• View Publication
• BIB
Recently, Benedetti et al. introduced an Ehrhart-like polynomial associated to a graph. This polynomial is defined as the volume of a certain flow polytope related to a graph and has the property that the leading coefficient is the volume of the flow polytope of the original graph with net flow vector $(1,1,\dots,1)$. Benedetti et al. conjectured a formula for the Ehrhart-like polynomial of what they call a caracol graph. In this paper their conjecture is proved using constant term identities, labeled Dyck paths, and a cyclic lemma.
Polyhedral study of the Convex Recoloring problem
A coloring of the vertices of a connected graph is convex if each color class induces a connected subgraph. We address the convex recoloring (CR) problem defined as follows. Given a graph $G$ and a coloring of its vertices, recolor a minimum number of vertices of $G$ so that the resulting coloring is convex. This problem, known to be NP-hard even on paths, was firstly motivated by applications on perfect phylogenies. In this work, we study CR on general graphs from a polyhedral point of view. First, we introduce a full-dimensional polytope based on the idea of connected subgraphs, and present a class of valid inequalities with righthand side one that comprises all facet-defining inequalities with binary coefficients when the input graph is a tree. Moreover, we define a general class of inequalities with righthand side in $\{1, \ldots, k\}$, where $k$ is the amount of colors used in the initial coloring, and show sufficient conditions for validity and facetness of such inequalities. Finally, we report on computational experiments for an application on mobile networks that can be modeled by the polytope of CR on paths. We evaluate the potential of the proposed inequalities to reduce the integrality gaps.
The equivariant Ehrhart theory of the permutahedron
Published
• View Publication
• BIB
Equivariant Ehrhart theory enumerates the lattice points in a polytope with respect to a group action. Answering a question of Stapledon, we describe the equivariant Ehrhart theory of the permutahedron, and we prove his Effectiveness Conjecture in this special case.
Tropical $F$-polynomials and General Presentations
Published
• View Publication
• BIB
We introduce the tropical $F$-polynomial $f_M$ of a quiver representation $M$. We study its interplay with the general presentation for any finite-dimensional basic algebra. We give an interpretation of evaluating $f_M$ at a weight vector. As a consequence, we give a presentation of the Newton polytope ${\sf N}(M)$ of $M$. We study the dual fan and 1-skeleton of ${\sf N}(M)$. We propose an algorithm to determine the generic Newton polytopes, and show it works for path algebras. As an application, we give a representation-theoretic interpretation of Fock-Goncharov's duality pairing. We give an explicit construction of dual clusters, which consists of real Schur representations. We specialize the above general results to the cluster-finite algebras and the preprojective algebras of Dynkin type.
Lattice Points in the Newton Polytopes of Key Polynomials
Published
• View Publication
• BIB
We confirm a conjecture of Monical, Tokcan and Yong on a characterization of the lattice points in the Newton polytopes of key polynomials.
Weighted Triangle-free 2-matching Problem with Edge-disjoint Forbidden Triangles
Published
• View Publication
• BIB
The weighted $\mathcal{T}$-free $2$-matching problem is the following problem: given an undirected graph $G$, a weight function on its edge set, and a set $\mathcal{T}$ of triangles in $G$, find a maximum weight $2$-matching containing no triangle in $\mathcal{T}$. When $\mathcal{T}$ is the set of all triangles in $G$, this problem is known as the weighted triangle-free $2$-matching problem, which is a long-standing open problem. A main contribution of this paper is to give a first polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem under the assumption that $\mathcal{T}$ is a set of edge-disjoint triangles. In our algorithm, a key ingredient is to give an extended formulation representing the solution set, that is, we introduce new variables and represent the convex hull of the feasible solutions as a projection of another polytope in a higher dimensional space. Although our extended formulation has exponentially many inequalities, we show that the separation problem can be solved in polynomial time, which leads to a polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem.
Integrality of Linearizations of Polynomials over Binary Variables using Additional Monomials
Polynomial optimization problems over binary variables can be expressed as integer programs using a linearization with extra monomials in addition to those arising in the given polynomial. We characterize when such a linearization yields an integral relaxation polytope, generalizing work by Del Pia and Khajavirad (SIAM Journal on Optimization, 2018) and Buchheim, Crama and Rodríguez-Heck (European Journal of Operations Research, 2019). We also present an algorithm that finds these extra monomials for a given polynomial to yield an integral relaxation polytope or determines that no such set of extra monomials exists. In the former case, our approach yields an algorithm to solve the given polynomial optimization problem as a compact LP, and we complement this with a purely combinatorial algorithm.
Ehrhart positivity of Tesler polytopes and Berline-Vergne's valuation
Published
• View Publication
• BIB
For $\ba \in \R_{\geq 0}^{n}$, the Tesler polytope $\tes_{n}(\ba)$ is the set of upper triangular matrices with non-negative entries whose hook sum vector is $\ba$. Motivated by a conjecture of Morales', we study the questions of whether the coefficients of the Ehrhart polynomial of $\tes_n(1,1,\dots,1)$ are positive. We attack this problem by studying a certain function constructed by Berline-Vergne and its values on faces of a unimodularly equivalent copy of $\tes_n(1,1,\dots,1).$ We develop a method of obtaining the dot products appeared in formulas for computing Berline-Vergne's function directly from facet normal vectors. Using this method together with known formulas, we are able to show Berline-Vergne's function has positive values on codimension $2$ and $3$ faces of the polytopes we consider. As a consequence, we prove that the $3$rd and $4$th coefficients of the Ehrhart polynomial of $\tes_{n}(1,\dots,1)$ are positive. Using the Reduction Theorem by Castillo and the second author, we generalize the above result to all deformations of $\tes_{n}(1,\dots,1)$ including all the integral Tesler polytopes.
Persistent Graphs and Cyclic Polytope Triangulations
Published
• View Publication
• BIB
We prove a bijection between the triangulations of the 3-dimensional cyclic polytope C(n+2, 3) and persistent graphs with n vertices. We show that under this bijection the Stasheff-Tamari orders on triangulations naturally translate to subgraph inclusion between persistent graphs. Moreover, we describe a connection to the second higher Bruhat order B(n, 2). We additionally give an algorithm to efficiently enumerate all persistent graphs on n vertices and thus all triangulations of C(n+2, 3).
Generalized flatness constants, spanning lattice polytopes, and the Gromov width
Published
• View Publication
• BIB
In this paper we motivate some new directions of research regarding the lattice width of convex bodies. We show that convex bodies of sufficiently large width contain a unimodular copy of a standard simplex. This implies that every lattice polytope contains a minimal generating set of the affine lattice spanned by its lattice points such that the number of generators is bounded by a constant which only depends on the dimension. We also discuss relations to recent results on spanning lattice polytopes and how our results could be viewed as the beginning of the study of generalized flatness constants. Regarding symplectic geometry, we point out how the lattice width of a Delzant polytope is related to upper and lower bounds on the Gromov width of its associated symplectic toric manifold. Throughout, we include several open questions.
Limitations of the Hyperplane Separation Technique for Bounding the Extension Complexity of Polytopes
Published
• View Publication
• BIB
We illustrate the limitations of the hyperplane separation bound, a non-combinatorial lower bound on the extension complexity of a polytope. Most notably, this bounding technique is used by Rothvoß (J ACM 64.6:41, 2017) to establish an exponential lower bound for the perfect matching polytope. We point out that the technique is sensitive to the particular choice of slack matrix. For the canonical slack matrices of the spanning tree polytope and the completion time polytope, we show that the lower bounds produced by the hyperplane separation method are trivial. These bounds may, however, be strengthened by normalizing rows and columns of the slack matrices.
The $d$-Majorization Polytope
Published in Linear Algebra Appl., 649 (2022) 152-185
• View Publication
• BIB
We investigate geometric and topological properties of $d$-majorization -- a generalization of classical majorization to positive weight vectors $d \in \mathbb{R}^n$. In particular, we derive a new, simplified characterization of $d$-majorization which allows us to work out a halfspace description of the corresponding $d$-majorization polytopes. That is, we write the set of all vectors which are $d$-majorized by some given vector $y \in \mathbb{R}^n$ as an intersection of finitely many half spaces, i.e. as solutions to an inequality of the type $Mx\leq b$. Here $b$ depends on $y$ while $M$ can be chosen independently of $y$. This description lets us prove continuity of the $d$-majorization polytope (jointly with respect to $d$ and $y$) and, furthermore, lets us fully characterize its extreme points. Interestingly, for $y\geq 0$ one of these extreme points classically majorizes every other element of the $d$-majorization polytope. Moreover, we show that the induced preorder structure on $\mathbb{R}^n$ admits minimal and maximal elements. While the former are always unique the latter are unique if and only if they correspond to the unique minimal entry of the $d$-vector.
Persistency of Linear Programming Relaxations for the Stable Set Problem
Published
• View Publication
• BIB
The Nemhauser-Trotter theorem states that the standard linear programming (LP) formulation for the stable set problem has a remarkable property, also known as (weak) persistency: for every optimal LP solution that assigns integer values to some variables, there exists an optimal integer solution in which these variables retain the same values. While the standard LP is defined by only non-negativity and edge constraints, a variety of other LP formulations have been studied and one may wonder whether any of them has this property as well. We show that any other formulation that satisfies mild conditions cannot have the persistency property on all graphs, unless it is always equal to the stable set polytope.
Newton polytopes of rank 3 cluster variables
Published
• View Publication
• BIB
We characterize the cluster variables of skew-symmetrizable cluster algebras of rank 3 by their Newton polytopes. The Newton polytope of the cluster variable $z$ is the convex hull of the set of all $\mathbf{p}\in\mathbb{Z}^3$ such that the Laurent monomial ${\bf x}^{\mathbf{p}}$ appears with nonzero coefficient in the Laurent expansion of $z$ in the cluster ${\bf x}$. We give an explicit construction of the Newton polytope in terms of the exchange matrix and the denominator vector of the cluster variable.
Along the way, we give a new proof of the fact that denominator vectors of non-initial cluster variables are non-negative in a cluster algebra of arbitrary rank.
A Fuss-Catalan variation of the caracol flow polytope
Recently, a combinatorial interpretation of Baldoni and Vergne's generalized Lidskii formula for the volume of a flow polytope was developed by Benedetti et al.. This converts the problem of computing Kostant partition functions into a problem of enumerating a set of objects called unified diagrams. We devise an enhanced version of this combinatorial model to compute the volumes of flow polytopes defined on a family of graphs called the k-caracol graphs, resulting in the first application of the model to non-planar graphs. At k=1 and k=n-1, we recover results for the classical caracol graph and the Pitman--Stanley graph. Furthermore, we introduce the notion of in-degree gravity diagrams for flow polytopes, which are equinumerous with (out-degree) gravity diagrams considered by Benedetti et al.. We show that for the k-caracol flow polytopes, these two kinds of gravity diagrams satisfy a natural combinatorial correspondence, which raises an intriguing question on the relationship in the geometry of two related polytopes.
Representation of Polytopes as Polynomial Zonotopes
We prove that each bounded polytope can be represented as a polynomial zonotope, which we refer to as the Z-representation of polytopes. Previous representations are the vertex representation (V-representation) and the halfspace representation (H-representation). Depending on the polytope, the Z-representation can be more compact than the V-representation and the H-representation. In addition, the Z-representation enables the computation of linear maps, Minkowski addition, and convex hull with a computational complexity that is polynomial in the representation size. The usefulness of the new representation is demonstrated by range bounding within polytopes.
Newton Polytopes Of Nondegenerate Quadratic Forms
Published
• View Publication
• BIB
We characterise Newton polytopes of nondegenerate quadratic forms and Newton polyhedra of Morse singularities.
Many faces of symmetric edge polytopes
Published in Electronic Journal of Combinatorics 29 (2022), P3.24, 42 pp
• View Publication
• BIB
Symmetric edge polytopes are a class of lattice polytopes constructed from finite simple graphs. In the present paper we highlight their connections to the Kuramoto synchronization model in physics -- where they are called adjacency polytopes -- and to Kantorovich--Rubinstein polytopes from finite metric space theory. Each of these connections motivates the study of symmetric edge polytopes of particular classes of graphs. We focus on such classes and apply algebraic-combinatorial methods to investigate invariants of the associated symmetric edge polytopes.
Combinatorial Inscribability Obstructions for Higher-Dimensional Polytopes
Published
• View Publication
• BIB
For $3$-dimensional convex polytopes, inscribability is a classical property that is relatively well-understood due to its relation with Delaunay subdivisions of the plane and hyperbolic geometry. In particular, inscribability can be tested in polynomial time, and for every $f$-vector of $3$-polytopes, there exists an inscribable polytope with that $f$-vector. For higher-dimensional polytopes, much less is known. Of course, for any inscribable polytope, all of its lower-dimensional faces need to be inscribable, but this condition does not appear to be very strong.
We observe non-trivial new obstructions to the inscribability of polytopes that arise when imposing that a certain inscribable face be inscribed. Using this obstruction, we show that the duals of the $4$-dimensional cyclic polytopes with at least $8$ vertices---all of whose faces are inscribable---are not inscribable. This result is optimal in the following sense: We prove that the duals of the cyclic $4$-polytopes with up to $7$ vertices are, in fact, inscribable.
Moreover, we interpret this obstruction combinatorially as a forbidden subposet of the face lattice of a polytope, show that $d$-dimensional cyclic polytopes with at least $d+4$ vertices are not circumscribable, and that no dual of a neighborly $4$-polytope with $8$ vertices, that is, no polytope with $f$-vector $(20,40,28,8)$, is inscribable.
Vertices of Schubitopes
Published
• View Publication
• BIB
Schubitopes were introduced by Monical, Tokcan and Yong as a specific family of generalized permutohedra. It was proven by Fink, Mészáros and St.$\,$Dizier that Schubitopes are the Newton polytopes of the dual characters of flagged Weyl modules. Important cases of Schubitopes include the Newton polytopes of Schubert polynomials and key polynomials. In this paper, we develop a combinatorial rule to generate the vertices of Schubitopes. As an application, we show that the vertices of the Newton polytope of a key polynomial can be generated by permutations in a lower interval in the Bruhat order, settling a conjecture of Monical, Tokcan and Yong.