polytope ↗ reference
3077 papers tagged with this keyword
Combinatorial mutations of Newton-Okounkov polytopes arising from plabic graphs
Published
• View Publication
• BIB
It is known that the homogeneous coordinate ring of a Grassmannian has a cluster structure, which is induced from the combinatorial structure of a plabic graph. A plabic graph is a certain bipartite graph described on the disk, and there is a family of plabic graphs giving a cluster structure of the same Grassmannian. Such plabic graphs are related by the operation called square move which can be considered as the mutation in cluster theory. By using a plabic graph, we also obtain the Newton--Okounkov polytope which gives a toric degeneration of the Grassmannian. The purposes of this article is to survey these phenomena and observe the behavior of Newton--Okounkov polytopes under the operation called the combinatorial mutation of polytopes. In particular, we reinterpret some operations defined for Newton--Okounkov polytopes using the combinatorial mutation.
A family of regular polytopes of order $4p^m$ with type $\{p, 2p\}$
In this paper, we construct an infinite families of group $G$ of order $4p^m$ which can be an automorphism group of some regular polytope with type $\{p, 2p\}$, where $m \geq 3$ and $p$ is an odd prime. For $p=3$, our polytopes are the regular toroidal maps $\{3, 6\}$.
Diameter estimates for graph associahedra
Published in Ann. Combin. 26(4), 873-902 (2022)
• View Publication
• BIB
Graph associahedra are generalized permutohedra arising as special cases of nestohedra and hypergraphic polytopes. The graph associahedron of a graph $G$ encodes the combinatorics of search trees on $G$, defined recursively by a root $r$ together with search trees on each of the connected components of $G-r$. In particular, the skeleton of the graph associahedron is the rotation graph of those search trees. We investigate the diameter of graph associahedra as a function of some graph parameters. We give a tight bound of $Θ(m)$ on the diameter of trivially perfect graph associahedra on $m$ edges. We consider the maximum diameter of associahedra of graphs on $n$ vertices and of given tree-depth, treewidth, or pathwidth, and give lower and upper bounds as a function of these parameters. We also prove that the maximum diameter of associahedra of graphs of pathwidth two is $Θ(n\log n)$. Finally, we give the exact diameter of the associahedra of complete split and of unbalanced complete bipartite graphs.
Combinatorial generation via permutation languages. IV. Elimination trees
Published
• View Publication
• BIB
An elimination tree for a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $x$ and recursing on the connected components of $G-x$ to produce the subtrees of $x$. Elimination trees appear in many guises in computer science and discrete mathematics, and they encode many interesting combinatorial objects, such as bitstrings, permutations and binary trees. We apply the recent Hartung-Hoang-Mütze-Williams combinatorial generation framework to elimination trees, and prove that all elimination trees for a chordal graph $G$ can be generated by tree rotations using a simple greedy algorithm. This yields a short proof for the existence of Hamilton paths on graph associahedra of chordal graphs. Graph associahedra are a general class of high-dimensional polytopes introduced by Carr, Devadoss, and Postnikov, whose vertices correspond to elimination trees and whose edges correspond to tree rotations. As special cases of our results, we recover several classical Gray codes for bitstrings, permutations and binary trees, and we obtain a new Gray code for partial permutations. Our algorithm for generating all elimination trees for a chordal graph $G$ can be implemented in time $\mathcal{O}(σ)$ on average per generated elimination tree, where $σ=σ(G)$ denotes the maximum number of edges of an induced star in $G$. If $G$ is a tree, we improve this to a loopless algorithm running in time $\mathcal{O}(1)$ per generated elimination tree. We also prove that our algorithm produces a Hamilton cycle on the graph associahedron of $G$, rather than just Hamilton path, if the graph $G$ is chordal and 2-connected. Moreover, our algorithm characterizes chordality, i.e., it computes a Hamilton path on the graph associahedron of $G$ if and only if $G$ is chordal.
Weak faces of highest weight modules and root systems
Published
• View Publication
• BIB
Chari and Greenstein [Adv. Math. 2009] introduced combinatorial subsets of the roots of a finite-dimensional simple Lie algebra $\mathfrak{g}$ which were important in studying Kirillov-Reshetikhin modules over $U_q(\widehat{\mathfrak{g}})$ and their specializations. Later, Khare [J. Algebra. 2016] studied these subsets for many highest weight $\mathfrak{g}$-modules (in finite type), under the name of weak-$\mathbb{A}$-faces (for a subgroup $\mathbb{A}$ of $(\mathbb{R},+)$), and more generally, $(\{2\};\{1,2\})$-closed subsets. These notions extend and unify the faces of Weyl polytopes as well as the above combinatorial subsets.
In this paper, we consider these 'discrete' notions for all Kac-Moody algebras $\mathfrak{g}$, in four distinguished settings: (a) the weights of an arbitrary highest weight $\mathfrak{g}$-module $V$; (b) the convex hull of the weights of $V$; (c) the weights of the adjoint representation; (d) the roots of $\mathfrak{g}$. For (a) (resp., (b)) for all highest weight $\mathfrak{g}$-modules $V$, we show that the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal the sets of weights on exposed faces (resp., equal the exposed faces) of the convex hull of weights conv$_{\mathbb{R}}$ wt $V$. This completes the partial progress of Khare in finite type, and is novel in infinite type. Our proofs are type-free and self-contained.
For (c), (d) involving the root system, we similarly achieve complete classifications. For all Kac-Moody $\mathfrak{g}$ - interestingly, other than $\mathfrak{sl}_3, \widehat{\mathfrak{sl}_3}$ - we show the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal Weyl group translates of the sets of weights in certain 'standard faces' (which also holds for highest weight modules). This was proved by Chari and her coauthors for root systems in finite type, but is novel for other types.
Slack matrices, $k$-products, and $2$-level polytopes
In this paper, we study algorithmic questions concerning products of matrices and their consequences for recognition algorithms for polyhedra.
The 1-product of matrices $S_1$, $S_2$ is a matrix whose columns are the concatenation of each column of $S_1$ with each column of $S_2$. The $k$-product generalizes the $1$-product, by taking as input two matrices $S_1, S_2$ together with $k-1$ special rows of each of those matrices, and outputting a certain composition of $S_1,S_2$.
Our study is motivated by a close link between the 1-product of matrices and the Cartesian product of polytopes, and more generally between the $k$-product of matrices and the glued product of polytopes. These connections rely on the concept of slack matrix, which gives an algebraic representation of classes of affinely equivalent polytopes. The slack matrix recognition problem is the problem of determining whether a given matrix is a slack matrix. This is an intriguing problem whose complexity is unknown. Our algorithm reduces the problem to instances which cannot be expressed as $k$-products of smaller matrices.
In the second part of the paper, we give a combinatorial interpretation of $k$-products for two well-known classes of polytopes: 2-level matroid base polytopes and stable set polytopes of perfect graphs. We also show that the slack matrix recognition problem is polynomial-time solvable for such polytopes. Those two classes are special cases of $2$-level polytopes, for which we conjecture that the slack matrix recognition problem is polynomial-time solvable.
The moment polytope of the abelian polygon space
Published
• View Publication
• BIB
The moduli space of $n$ chains in the plane with generic side lengths that terminate on a fixed line is a smooth, closed manifold of dimension $n-1$. This manifold is also equipped with a locally standard action of $\mathbb{Z}_2^{n-1}$. The orbit space of this action is a simple polytope called the moment polytope. Interestingly, this manifold is also the fixed point set of an involution on a toric manifold known as the abelian polygon space. In this article we show that the moment polytope of the moduli space of chains is completely characterized by the combinatorial data, called the \emph{short code} of the length vector. We also classify aspherical chain spaces using a result of Davis, Januszkiewicz and Scott.
Extended formulations for matroid polytopes through randomized protocols
Published
• View Publication
• BIB
Let $P$ be a polytope. The hitting number of $P$ is the smallest size of a hitting set of the facets of $P$, i.e., a subset of vertices of $P$ such that every facet of $P$ has a vertex in the subset. An extended formulation of $P$ is the description of a polyhedron that linearly projects to $P$. We show that, if $P$ is the base polytope of any matroid, then $P$ admits an extended formulation whose size depends linearly on the hitting number of $P$. Our extended formulations generalize those of the spanning tree polytope given by Martin and Wong. Our proof is simple and short, and it goes through the deep connection between extended formulations and communication protocols.
Smaller extended formulations for spanning tree polytopes in minor-closed classes and beyond
Published in Electronic Journal of Combinatorics, 28/4:P4.47, 2021
• View Publication
• BIB
Let $G$ be a connected $n$-vertex graph in a proper minor-closed class $\mathcal G$. We prove that the extension complexity of the spanning tree polytope of $G$ is $O(n^{3/2})$. This improves on the $O(n^2)$ bounds following from the work of Wong (1980) and Martin (1991). It also extends a result of Fiorini, Huynh, Joret, and Pashkovich (2017), who obtained a $O(n^{3/2})$ bound for graphs embedded in a fixed surface. Our proof works more generally for all graph classes admitting strongly sublinear balanced separators: We prove that for every constant $β$ with $0<β<1$, if $\mathcal G$ is a graph class closed under induced subgraphs such that all $n$-vertex graphs in $\mathcal G$ have balanced separators of size $O(n^β)$, then the extension complexity of the spanning tree polytope of every connected $n$-vertex graph in $\mathcal{G}$ is $O(n^{1+β})$. We in fact give two proofs of this result, one is a direct construction of the extended formulation, the other is via communication protocols. Using the latter approach we also give a short proof of the $O(n)$ bound for planar graphs due to Williams (2002).
Reconstructing simplicial polytopes from their graphs and affine $2$-stresses
Published
• View Publication
• BIB
A conjecture of Kalai from 1994 posits that for an arbitrary $2\leq k\leq \lfloor d/2 \rfloor$, the combinatorial type of a simplicial $d$-polytope $P$ is uniquely determined by the $(k-1)$-skeleton of $P$ (given as an abstract simplicial complex) together with the space of affine $k$-stresses on $P$. We establish the first non-trivial case of this conjecture, namely, the case of $k=2$. We also prove that for a general $k$, Kalai's conjecture holds for the class of $k$-neighborly polytopes.
Ehrhart polynomials of rank two matroids
Published in Adv. in Appl. Math. 141 (2022) 102410
• View Publication
• BIB
Over a decade ago De Loera, Haws and Köppe conjectured that Ehrhart polynomials of matroid polytopes have only positive coefficients and that the coefficients of the corresponding $h^*$-polynomials form a unimodal sequence. The first of these intensively studied conjectures has recently been disproved by the first author who gave counterexamples in all ranks greater or equal to three. In this article we complete the picture by showing that Ehrhart polynomials of matroids of lower rank have indeed only positive coefficients. Moreover, we show that they are coefficient-wise bounded by the Ehrhart polynomials of minimal and uniform matroids. We furthermore address the second conjecture by proving that $h^*$-polynomials of matroid polytopes of sparse paving matroids of rank two are real-rooted and therefore have log-concave and unimodal coefficients. In particular, this shows that the $h^*$-polynomial of the second hypersimplex is real-rooted thereby strengthening a result of De Loera, Haws and Köppe.
Planarity in Generalized Scattering Amplitudes: PK Polytope, Generalized Root Systems and Worldsheet Associahedra
In this paper we study the role of planarity in generalized scattering amplitudes, through several closely interacting structures in combinatorics, algebraic and tropical geometry.
The generalized biadjoint scalar amplitude, introduced recently by Cachazo-Early-Guevara-Mizera (CEGM), is a rational function of homogeneous degree $-(k-1)(n-k-1)$ in $\binom{n}{k}-n$ independent variables; its poles can be constructed directly from the rays of the positive tropical Grassmannian.
We introduce for each pair of integers $(k,n)$ with $2\le k\le n-2$ a system of generalized positive roots which arises as a specialization of the planar basis of kinematic invariants. We prove that the higher root polytope $\mathcal{R}^{(k)}_{n-k}$ has volume the k-dimensional Catalan number $C^{(k)}_{n-k}$, via a flag unimodular triangulation into simplices, in bijection with noncrossing collections of $k$-element subsets. We also give a bijection between certain positroidal subdivisions, called tripods, of the hypersimplex $Δ_{3,n}$ and noncrossing pairs of 3-element subsets that are not weakly separated.
We show that the facets of the Planar Kinematics (PK) polytope, introduced recently by Cachazo and the author, are exactly the $\binom{n}{k}-n$ generalized positive roots. We show that the PK specialization of the generalized biadjoint amplitude evaluates to $C^{(k)}_{n-k}$.
Looking forward, we give defining equations and conjecture explicit solutions using $(\mathbb{CP}^{n-k-1})^{\times (k-1)}$ via a notion of compatibility degree for noncrossing collections, for a two parameter family of generalized worldsheet associahedra $\mathcal{W}^+_{k,n}$. These specialize when $k=2$ to a certain dihedrally invariant partial compactification of the configuration space $M_{0,n}$ of $n$ distinct points in $\mathbb{CP}^{1}$. Many detailed examples are given throughout to motivate future work.
Conic decomposition of a toric variety and its application to cohomology
Published
• View Publication
• BIB
We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.
Lifts for Voronoi cells of lattices
Published
• View Publication
• BIB
Many polytopes arising in polyhedral combinatorics are linear projections of higher-dimensional polytopes with significantly fewer facets. Such lifts may yield compressed representations of polytopes, which are typically used to construct small-size linear programs. Motivated by algorithmic implications for the closest vector problem, we study lifts of Voronoi cells of lattices.
We construct an explicit $d$-dimensional lattice such that every lift of the respective Voronoi cell has $2^{Ω(d / \log d)}$ facets. On the positive side, we show that Voronoi cells of $d$-dimensional root lattices and their dual lattices have lifts with $O(d)$ and $O(d \log d)$ facets, respectively. We obtain similar results for spectrahedral lifts.
The two higher Stasheff-Tamari orders are equal
Published
• View Publication
• BIB
The set of triangulations of a cyclic polytope possesses two a priori different partial orders, known as the higher Stasheff-Tamari orders. The first of these orders was introduced by Kapranov and Voevodsky, while the second order was introduced by Edelman and Reiner, who also conjectured the two to coincide in 1996. In this paper we prove their conjecture, thereby substantially increasing our understanding of these orders. This result also has ramifications in the representation theory of algebras, as established in previous work of the author. Indeed, it means that the two corresponding orders on tilting modules, cluster-tilting objects and their maximal chains are equal for the higher Auslander algebras of type $A$.
Symbol Alphabets from Tensor Diagrams
Published
• View Publication
• BIB
We propose to use tensor diagrams and the Fomin-Pylyavskyy conjectures to explore the connection between symbol alphabets of $n$-particle amplitudes in planar $\mathcal{N}=4$ Yang-Mills theory and certain polytopes associated to the Grassmannian G(4, $n$). We show how to assign a web (a planar tensor diagram) to each facet of these polytopes. Webs with no inner loops are associated to cluster variables (rational symbol letters). For webs with a single inner loop we propose and explicitly evaluate an associated web series that contains information about algebraic symbol letters. In this manner we reproduce the results of previous analyses of $n \le 8$, and find that the polytope $\mathcal{C}^\dagger(4,9)$ encodes all rational letters, and all square roots of the algebraic letters, of known nine-particle amplitudes.
Measuring global properties of neural generative model outputs via generating mathematical objects
We train deep generative models on datasets of reflexive polytopes. This enables us to compare how well the models have picked up on various global properties of generated samples. Our datasets are complete in the sense that every single example, up to changes of coordinate, is included in the dataset. Using this property we also perform tests checking to what extent the models are merely memorizing the data. We also train models on the same dataset represented in two different ways, enabling us to measure which form is easiest to learn from. We use these experiments to show that deep generative models can learn to generate geometric objects with non-trivial global properties, and that the models learn some underlying properties of the objects rather than simply memorizing the data.
The distribution of roots of Ehrhart polynomials for the dual of root polytopes of type C
Published
• View Publication
• BIB
In this paper, we study the Ehrhart polynomial of the dual of the root polytope of type C of dimension $d$, denoted by $C_d^*$. We prove that the roots of the Ehrhart polynomial of $C_d^*$ have the same real part $-1/2$, and we also prove that the Ehrhart polynomials of $C_d^*$ for $d=1,2,\cdots$ has the interlacing property.
Lah distribution: Stirling numbers, records on compositions, and convex hulls of high-dimensional random walks
Published
• View Publication
• BIB
Let $ξ_1,ξ_2,\ldots$ be a sequence of independent copies of a random vector in $\mathbb R^d$ having an absolutely continuous distribution. Consider a random walk $S_i:=ξ_1+\cdots+ξ_i$, and let $C_{n,d}:=\text{conv}(0,S_1,S_2,\ldots,S_n)$ be the convex hull of the first $n+1$ points it has visited. The polytope $C_{n,d}$ is called $k$-neighborly if for every indices $0\leq i_0 <\cdots < i_k\leq n$ the convex hull of the $k+1$ points $S_{i_0},\ldots, S_{i_k}$ is a $k$-dimensional face of $C_{n,d}$. We study the probability that $C_{n,d}$ is $k$-neighborly in various high-dimensional asymptotic regimes, i.e. when $n$, $d$, and possibly also $k$ diverge to $\infty$. There is an explicit formula for the expected number of $k$-dimensional faces of $C_{n,d}$ which involves Stirling numbers of both kinds. Motivated by this formula, we introduce a distribution, called the Lah distribution, and study its properties. In particular, we provide a combinatorial interpretation of the Lah distribution in terms of random compositions and records, and explicitly compute its factorial moments. Limit theorems which we prove for the Lah distribution imply neighborliness properties of $C_{n,d}$. This yields a new class of random polytopes exhibiting phase transitions parallel to those discovered by Vershik and Sporyshev, Donoho and Tanner for random projections of regular simplices and crosspolytopes.
$\mathbb{F}_q$-zeros of sparse trivariate polynomials and toric 3-fold codes
Published
• View Publication
• BIB
For a given lattice polytope $P$ in $\mathbb{R}^3$, consider the space $\mathcal{L}_P$ of trivariate polynomials over a finite field $\mathbb{F}_q$, whose Newton polytopes are contained in $P$. We give an upper bound for the maximum number of $\mathbb{F}_q$-zeros of polynomials in $\mathcal{L}_P$ in terms of the Minkowski length of $P$ and $q$, the size of the field. Consequently, this produces lower bounds for the minimum distance of toric codes defined by evaluating elements of $\mathcal{L}_P$ at the points of the algebraic torus $(\mathbb{F}_q^*)^3$. Our approach is based on understanding factorizations of polynomials in $\mathcal{L}_P$ with the largest possible number of non-unit factors. The related combinatorial result that we obtain is a description of Minkowski sums of lattice polytopes contained in $P$ with the largest possible number of non-trivial summands.