polytope ↗ reference
3112 papers tagged with this keyword
On algebraic properties of matroid polytopes
A toric variety is constructed from a lattice polytope. It is common in algebraic combinatorics to carry this way a notion of an algebraic property from the variety to the polytope. From the combinatorial point of view, one of the most interesting constructions of toric varieties comes from the base polytope of a matroid. Matroid base polytopes and independence polytopes are Cohen--Macaulay. We study two natural stronger algebraic properties -- Gorenstein and smooth. We provide a full classifications of matroids whose independence polytope or base polytope is smooth or Gorenstein. The latter answers to a question raised by Herzog and Hibi.
Stringy canonical forms and binary geometries from associahedra, cyclohedra and generalized permutohedra
Published
• View Publication
• BIB
Stringy canonical forms are a class of integrals that provide $α'$-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebra, there exist completely rigid stringy integrals, whose configuration spaces are the so-called binary geometries, and for classical types are associated with (generalized) scattering of particles and strings. In this paper we propose a large class of rigid stringy canonical forms for another class of polytopes, generalized permutohedra, which also include associahedra and cyclohedra as special cases (type $A_n$ and $B_n$ generalized associahedra). Remarkably, we find that the configuration spaces of such integrals are also binary geometries, which were suspected to exist for generalized associahedra only. For any generalized permutohedron that can be written as Minkowski sum of coordinate simplices, we show that its rigid stringy integral factorizes into products of lower integrals for massless poles at finite $α'$, and the configuration space is binary although the $u$ equations take a more general form than those "perfect" ones for cluster cases. Moreover, we provide an infinite class of examples obtained by degenerations of type $A_n$ and $B_n$ integrals, which have perfect $u$ equations as well. Our results provide yet another family of generalizations of the usual string integral and moduli space, whose physical interpretations remain to be explored.
$B$-rigidity of ideal almost Pogorelov polytopes
Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. A simple $n$-polytope is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that $P$ and $Q$ are combinatorially equivalent. An ideal almost Pogorelov polytope is a combinatorial $3$-polytope obtained by cutting off all the ideal vertices of an ideal right-angled polytope in the Lobachevsky (hyperbolic) space $\mathbb L^3$. These polytopes are exactly the polytopes obtained from any, not necessarily simple, convex $3$-polytopes by cutting off all the vertices followed by cutting off all the "old" edges. The boundary of the dual polytope is the barycentric subdivision of the boundary of the old polytope (and also of its dual polytope). We prove that any ideal almost Pogorelov polytope is $B$-rigid. This produces three cohomologically rigid families of manifolds over ideal almost Pogorelov manifolds: moment-angle manifolds, canonical $6$-dimensional quasitoric manifolds and canonical $3$-dimensional small covers, which are "pullbacks from the linear model".
Minimum number of edges of polytopes with 2d + 2 vertices
Published
• View Publication
• BIB
We define an analogue of the cube and an analogue of the 5-wedge in higher dimensions, each with $2d+2$ vertices and $d^2+2d-3$ edges. We show that these two are the only minimisers of the number of edges, amongst d-polytopes with $2d+2$ vertices, for all $d$ except 4, 5 and 7. We also show that there are four sporadic minimisers in these low dimensions. We announce a partial solution to the corresponding problem for polytopes with $2d + 3$ vertices.
A convex programming approach to solve posynomial systems
Published
• View Publication
• BIB
We exhibit a class of classical or tropical posynomial systems which can be solved by reduction to linear or convex programming problems. This relies on a notion of colorful vectors with respect to a collection of Newton polytopes. This extends the convex programming approach of one player stochastic games.
On chiral polytopes having a group PSL(3,q) as automorphism group
Published
• View Publication
• BIB
For each prime power $q\geq 5$, we construct a rank four chiral polytope that has a group $PSL(3,q)$ as automorphism group and Schläfli type $\{q-1,\frac{2(q-1)}{(3,q-1)},q-1\}$. We also construct rank five polytopes for some values of $q$ and we show that there is no chiral polytope of rank at least six having a group $PSL(3,q)$ or $PSU(3,q)$ as automorphism group.
Dual matroid polytopes and internal activity of independence complexes
Shelling orders are a ubiquitous tool used to understand invariants of cell complexes. Significant effort has been made to develop techniques to decide when a given complex is shellable. However, empirical evidence shows that some shelling orders are better than others. In this article, we explore this phenomenon in the case of matroid independence complexes. Based on a new relation between shellability of dual matroid polytopes and independence complexes, we outline a systematic way to investigate and compare different shellings orders. We explain how our new tools recast and deepen various classical results to the language of geometry, and suggest new heuristics for addressing two old conjectures due to Simon and Stanley. Furthermore, we present freely available software which can be used to experiment with these new geometric ideas.
Large equilateral sets in subspaces of $\ell_\infty^n$ of small codimension
Published
• View Publication
• BIB
For fixed $k$ we prove exponential lower bounds on the equilateral number of subspaces of $\ell_{\infty}^n$ of codimension $k$. In particular, we show that if the unit ball of a normed space of dimension $n$ is a centrally symmetric polytope with at most $\frac{4n}{3}-o(n)$ pairs of facets, then it has an equilateral set of cardinality at least $n+1$. These include subspaces of codimension $2$ of $\ell_{\infty}^{n+2}$ for $n\geq 9$ and of codimension $3$ of $\ell_{\infty}^{n+3}$ for $n\geq 15$.
On the Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph
Published
• View Publication
• BIB
In this paper, we give a criterion of the Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph: the Ehrhart ring of the stable set polytope of an h-perfect graph $G$ is Gorenstein if and only if (1) sizes of maximal cliques are constant (say $n$) and (2) (a) $n=1$, (b) $n=2$ and there is no odd cycle without chord and length at least 7 or (c) $n\geq 3$ and there is no odd cycle without chord and length at least 5.
Positive Geometries and Differential Forms with Non-Logarithmic Singularities I
Published
• View Publication
• BIB
Positive geometries encode the physics of scattering amplitudes in flat space-time and the wavefunction of the universe in cosmology for a large class of models. Their unique canonical forms, providing such quantum mechanical observables, are characterised by having only logarithmic singularities along all the boundaries of the positive geometry. However, physical observables have logarithmic singularities just for a subset of theories. Thus, it becomes crucial to understand whether a similar paradigm can underlie their structure in more general cases. In this paper we start a systematic investigation of a geometric-combinatorial characterisation of differential forms with non-logarithmic singularities, focusing on projective polytopes and related meromorphic forms with multiple poles. We introduce the notions of covariant forms and covariant pairings. Covariant forms have poles only along the boundaries of the given polytope; moreover, their leading Laurent coefficients along any of the boundaries are still covariant forms on the specific boundary. Whereas meromorphic forms in covariant pairing with a polytope are associated to a specific (signed) triangulation, in which poles on spurious boundaries do not cancel completely, but their order is lowered. These meromorphic forms can be fully characterised if the polytope they are associated to is viewed as the restriction of a higher dimensional one onto a hyperplane. The canonical form of the latter can be mapped into a covariant form or a form in covariant pairing via a covariant restriction. We show how the geometry of the higher dimensional polytope determines the structure of these differential forms. Finally, we discuss how these notions are related to Jeffrey-Kirwan residues and cosmological polytopes.
Faces in random great hypersphere tessellations
Published
• View Publication
• BIB
The concept of typical and weighted typical spherical faces for tessellations of the $d$-dimensional unit sphere, generated by $n$ independent random great hyperspheres distributed according to a non-degenerate directional distribution, is introduced and studied. Probabilistic interpretations for such spherical faces are given and their directional distributions are determined. Explicit formulas for the expected $f$-vector, the expected spherical Quermaßintegrals and the expected spherical intrinsic volumes are found in the isotropic case. Their limiting behaviour as $n\to\infty$ is discussed and compared to the corresponding notions and results in the Euclidean case. The expected statistical dimension and a problem related to intersection probabilities of spherical random polytopes is investigated.
An Algebraic Approach to Projective Uniqueness with an Application to Order Polytopes
Published
• View Publication
• BIB
A combinatorial polytope $P$ is said to be projectively unique if it has a single realization up to projective transformations. Projective uniqueness is a geometrically compelling property but is difficult to verify. In this paper, we merge two approaches to projective uniqueness in the literature. One is primarily geometric and is due to McMullen, who showed that certain natural operations on polytopes preserve projective uniqueness. The other is more algebraic and is due to Gouveia, Macchia, Thomas, and Wiebe. They use certain ideals associated to a polytope to verify a property called graphicality that implies projective uniqueness. In this paper, we show that that McMullen's operations preserve not only projective uniquness but also graphicality. As an application, we show that large families of order polytopes are graphic and thus projectively unique.
Multidimensional permanents of polystochastic matrices
Published in Linear Algebra Appl. 586 (2020), 89-102
• View Publication
• BIB
A $d$-dimensional matrix is called \emph{$1$-polystochastic} if it is non-negative and the sum over each line equals~$1$. Such a matrix that has a single $1$ in each line and zeros elsewhere is called a \emph{$1$-permutation} matrix. A \emph{diagonal} of a $d$-dimensional matrix of order $n$ is a choice of $n$ elements, no two in the same hyperplane. The \emph{permanent} of a $d$-dimensional matrix is the sum over the diagonals of the product of the elements within the diagonal.
For a given order $n$ and dimension $d$, the set of $1$-polystochastic matrices forms a convex polytope that includes the $1$-permutation matrices within its set of vertices. For even $n$ and odd $d$, we give a construction for a class of $1$-permutation matrices with zero permanent. Consequently, we show that the set of $1$-polystochastic matrices with zero permanent contains at least $n^{n^{3/2}(1/2-o(1))}$ $1$-permutation matrices and contains a polytope of dimension at least $cn^{3/2}$ for fixed $c,d$ and even $n\to\infty$. We also provide counterexamples to a conjecture by Taranenko about the location of local extrema of the permanent.
For odd $d$, we give a construction of $1$-permutation matrices that decompose into a convex linear sum of positive diagonals. These combine with a theorem of Taranenko to provide counterexamples to a conjecture by Dow and Gibson generalising van der Waerden's conjecture to higher dimensions.
Counterexample to a conjecture of Ziegler concerning a simple polytope and its dual
Published
• View Publication
• BIB
Problem 4.19 in Ziegler's "Lectures on Polytopes" asserts that every simple $3$-dimensional polytope has the property that its dual can be constructed as the convex hull of a subset of the vertices of the original simple polytope. In this note we state a higher-dimensional analogue of this conjecture and provide a family of counterexamples for dimension $d \geq 3$.
Galois connections for phylogenetic networks and their polytopes
Published
• View Publication
• BIB
We describe Galois connections which arise between two kinds of combinatorial structures, both of which generalize trees with labelled leaves, and then apply those connections to a family of polytopes.
The graphs we study can be imbued with metric properties or associated to vectors. Famous examples are the Billera-Holmes-Vogtmann metric space of phylogenetic trees, and the Balanced Minimal Evolution polytopes of phylogenetic trees described by Eickmeyer, Huggins, Pachter and Yoshida. Recently the space of trees has been expanded to split networks by Devadoss and Petti, while the definition of phylogenetic polytopes has been generalized to encompass 1-nested phylogenetic networks, by Durell and Forcey. The first Galois connection we describe is a reflection between the (unweighted) circular split networks and the 1-nested phylogenetic networks. Another Galois connection exists between certain metric versions of these structures. Reflection between the purely combinatorial posets becomes a coreflection in the geometric case.
Our chief contributions here, beyond the discovery of the Galois connections, are: a translation between approaches using PC-trees and networks, a new way to look at weightings on networks, and a fuller characterization of faces of the phylogenetic polytopes.
A Proof of Grünbaum's Lower Bound Conjecture for general polytopes
Published
• View Publication
• BIB
In 1967, Grünbaum conjectured that any $d$-dimensional polytope with $d+s\leq 2d$ vertices has at least \[φ_k(d+s,d) = {d+1 \choose k+1 }+{d \choose k+1 }-{d+1-s \choose k+1 } \] $k$-faces. We prove this conjecture and also characterize the cases in which equality holds.
Symmetric decompositions and the Veronese construction
Published
• View Publication
• BIB
We study rational generating functions of sequences $\{a_n\}_{n\geq 0}$ that agree with a polynomial and investigate symmetric decompositions of the numerator polynomial for subsequences $\{a_{rn}\}_{n\geq 0}$. We prove that if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is of degree $s$ and its coefficients satisfy a set of natural linear inequalities then the symmetric decomposition of the numerator for $\{a_{rn}\}_{n\geq 0}$ is real-rooted whenever $r\geq \max \{s,d+1-s\}$. Moreover, if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is symmetric then we show that the symmetric decomposition for $\{a_{rn}\}_{n\geq 0}$ is interlacing. We apply our results to Ehrhart series of lattice polytopes. In particular, we obtain that the $h^\ast$-polynomial of every dilation of a $d$-dimensional lattice polytope of degree $s$ has a real-rooted symmetric decomposition whenever the dilation factor $r$ satisfies $r\geq \max \{s,d+1-s\}$. Moreover, if the polytope is Gorenstein then this decomposition is interlacing.
$B$-rigidity of the property to be an almost Pogorelov polytope
Published
• View Publication
• BIB
Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. We study the notion of $B$-rigidity. A property of a polytope $P$ is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that it also has this property. We study families of $3$-dimensional polytopes defined by their cyclic $k$-edge-connectivity. These families include flag polytopes and Pogorelov polytopes, that is polytopes realizable as bounded right-angled polytopes in Lobachevsky space $\mathbb L^3$. Pogorelov polytopes include fullerenes -- simple polytopes with only pentagonal and hexagonal faces. It is known that the properties to be flag and Pogorelov polytope are $B$-rigid. We focus on almost Pogorelov polytopes, which are strongly cyclically $4$-edge-connected polytopes. They correspond to right-angled polytopes of finite volume in $\mathbb L^3$. There is a subfamily of ideal almost Pogorelov polytopes corresponding to ideal right-angled polytopes. We prove that the properties to be an almost Pogorelov polytope and an ideal almost Pogorelov polytope are $B$-rigid. As a corollary we obtain that $3$-dimensional associahedron $As^3$ and permutohedron $Pe^3$ are $B$-rigid. We generalize methods known for Pogorelov polytopes. We obtain results on $B$-rigidity of subsets in $H^*(\mathcal{Z}_P,\mathbb Z)$ and prove an analog of the so-called separable circuit condition (SCC). As an example we consider the ring $H^*(\mathcal{Z}_{As^3},\mathbb Z)$.
The VC-dimension of k-vertex d-polytopes
Published
• View Publication
• BIB
In this short note, we show that the VC-dimension of the class of $k$-vertex polytopes in $\mathbb R^d$ is at most $8d^2k\log_2k$, answering an old question of Long and Warmuth.
The Arithmetic of Coxeter Permutahedra
Published in Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales 44, no. 173 (2020), 1152-1166
• View Publication
• BIB
Ehrhart theory measures a polytope P discretely by counting the lattice points inside its dilates P, 2P, 3P, .... We compute the Ehrhart quasipolynomials of the standard Coxeter permutahedra for the classical Coxeter groups, expressing them in terms of the Lambert W function. A central tool is a description of the Ehrhart theory of a rational translate of an integer zonotope.