polytope ↗ reference
3077 papers tagged with this keyword
A flag vector of a 3-sphere that is not the flag vector of a 4-polytope
Published in Mathematika 63 (2017) 260-271
• View Publication
• BIB
We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not realizable by a convex 4-polytope.
The 3-sphere, which is 2-simple and 2-simplicial, was found by Werner (2009); we present results of a computer enumeration which imply that the sphere with these parameters is unique. We prove that it is non-polytopal in two ways: First, we show that it has no oriented matroid, and thus it is not realizable; this proof was found by computer, but can be verified by hand. The second proof is again a computer-based oriented matroid proof and shows that for exactly one of the facets this sphere does not even have a diagram based on this facet. Using the non-polytopality, we finally prove that the sphere is not even embeddable as a polytopal complex.
Extremal Positive Semidefinite Matrices for Graphs without $K_5$ Minors
Published
• View Publication
• BIB
For a graph $G$ with $p$ vertices the closed convex cone $\mathbb{S}^p_{\succeq0}(G)$ consists of all real positive semidefinite $p\times p$ matrices with zeros in the off-diagonal entries corresponding to nonedges of $G$. The extremal rays of this cone and their associated ranks have applications to matrix completion problems, maximum likelihood estimation in Gaussian graphical models in statistics, and Gauss elimination for sparse matrices. For a graph $G$ without $K_5$ minors, we show that the normal vectors to the facets of the $(\pm1)$-cut polytope of $G$ specify the off-diagonal entries of extremal matrices in $\mathbb{S}^p_{\succeq0}(G)$. We also prove that the constant term of the linear equation of each facet-supporting hyperplane is the rank of its corresponding extremal matrix in $\mathbb{S}^p_{\succeq0}(G)$. Furthermore, we show that if $G$ is series-parallel then this gives a complete characterization of all possible extremal ranks of $\mathbb{S}^p_{\succeq0}(G)$, consequently solving the sparsity order problem for series-parallel graphs.
Quadratic Gröbner bases arising from partially ordered sets
Published
• View Publication
• BIB
The order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ associated to a partially ordered set $P$ are studied. In this paper, we introduce the convex polytope $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ which is the convex hull of $\mathcal{O}(P) \cup (-\mathcal{C}(Q))$, where both $P$ and $Q$ are partially ordered sets with $|P|=|Q|=d$. It will be shown that $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ is a normal and Gorenstein Fano polytope by using the theory of reverse lexicographic squarefree initial ideals of toric ideals.
Ehrhart polynomials with negative coefficients
Published
• View Publication
• BIB
It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. Moreover, it is also shown that for each $d \geq 3$ and $1 \leq k \leq d-2$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that the coefficient of $n^k$ of the Ehrhart polynomial $i(\mathcal{P},n)$ of $\mathcal{P}$ is negative and all its remaining coefficients are positive. Finally, we consider all the possible sign patterns of the coefficients of the Ehrhart polynomials of low dimensional integral convex polytopes.
Totally nonnegative Grassmannian and Grassmann polytopes
Published
• View Publication
• BIB
These are lecture notes intended to supplement my second lecture at the Current Developments in Mathematics conference in 2014. In the first half of article, we give an introduction to the totally nonnegative Grassmannian together with a survey of some more recent work. In the second half of the article, we give a definition of a Grassmann polytope motivated by work of physicists on the amplituhedron. We propose to use Schubert calculus and canonical bases to replace linear algebra and convexity in the theory of polytopes.
Four Dimensional Polytopes of Minimum Positive Semidefinite Rank
Published
• View Publication
• BIB
The positive semidefinite (psd) rank of a polytope is the size of the smallest psd cone that admits an affine slice that projects linearly onto the polytope. The psd rank of a d-polytope is at least d+1, and when equality holds we say that the polytope is psd-minimal. In this paper we develop new tools for the study of psd-minimality and use them to give a complete classification of psd-minimal 4-polytopes. The main tools introduced are trinomial obstructions, a new algebraic obstruction for psd-minimality, and the slack ideal of a polytope, which encodes the space of realizations of a polytope up to projective equivalence.
Our central result is that there are 31 combinatorial classes of psd-minimal 4-polytopes. We provide combinatorial information and an explicit psd-minimal realization in each class. For 11 of these classes, every polytope in them is psd-minimal, and these are precisely the combinatorial classes of the known projectively unique 4-polytopes. We give a complete characterization of psd-minimality in the remaining classes, encountering in the process counterexamples to some open conjectures.
On the Linear Extension Complexity of Regular n-gons
Published in Linear Algebra and its Applications 521, pp. 217-239, 2017
• View Publication
• BIB
In this paper, we propose new lower and upper bounds on the linear extension complexity of regular $n$-gons. Our bounds are based on the equivalence between the computation of (i) an extended formulation of size $r$ of a polytope $P$, and (ii) a rank-$r$ nonnegative factorization of a slack matrix of the polytope $P$. The lower bound is based on an improved bound for the rectangle covering number (also known as the boolean rank) of the slack matrix of the $n$-gons. The upper bound is a slight improvement of the result of Fiorini, Rothvoss and Tiwary [Extended Formulations for Polygons, Discrete Comput. Geom. 48(3), pp. 658-668, 2012]. The difference with their result is twofold: (i) our proof uses a purely algebraic argument while Fiorini et al. used a geometric argument, and (ii) we improve the base case allowing us to reduce their upper bound $2 \left\lceil \log_2(n) \right\rceil$ by one when $2^{k-1} < n \leq 2^{k-1}+2^{k-2}$ for some integer $k$. We conjecture that this new upper bound is tight, which is suggested by numerical experiments for small $n$. Moreover, this improved upper bound allows us to close the gap with the best known lower bound for certain regular $n$-gons (namely, $9 \leq n \leq 13$ and $21 \leq n \leq 24$) hence allowing for the first time to determine their extension complexity.
Brick polytopes, lattice quotients, and Hopf algebras
Published in J. Combin. Theory Ser. A, 155:418-457, 2018
• View Publication
• BIB
This paper is motivated by the interplay between the Tamari lattice, J.-L. Loday's realization of the associahedron, and J.-L. Loday and M. Ronco's Hopf algebra on binary trees. We show that these constructions extend in the world of acyclic $k$-triangulations, which were already considered as the vertices of V. Pilaud and F. Santos' brick polytopes. We describe combinatorially a natural surjection from the permutations to the acyclic $k$-triangulations. We show that the fibers of this surjection are the classes of the congruence $\equiv^k$ on $\mathfrak{S}_n$ defined as the transitive closure of the rewriting rule $U ac V_1 b_1 \cdots V_k b_k W \equiv^k U ca V_1 b_1 \cdots V_k b_k W$ for letters $a < b_1, \dots, b_k < c$ and words $U, V_1, \dots, V_k, W$ on $[n]$. We then show that the increasing flip order on $k$-triangulations is the lattice quotient of the weak order by this congruence. Moreover, we use this surjection to define a Hopf subalgebra of C. Malvenuto and C. Reutenauer's Hopf algebra on permutations, indexed by acyclic $k$-triangulations, and to describe the product and coproduct in this algebra and its dual in term of combinatorial operations on acyclic $k$-triangulations. Finally, we extend our results in three directions, describing a Cambrian, a tuple, and a Schröder version of these constructions.
Unimodality Problems in Ehrhart Theory
Published
• View Publication
• BIB
Ehrhart theory is the study of sequences recording the number of integer points in non-negative integral dilates of rational polytopes. For a given lattice polytope, this sequence is encoded in a finite vector called the Ehrhart $h^*$-vector. Ehrhart $h^*$-vectors have connections to many areas of mathematics, including commutative algebra and enumerative combinatorics. In this survey we discuss what is known about unimodality for Ehrhart $h^*$-vectors and highlight open questions and problems.
Combinatorial positivity of translation-invariant valuations and a discrete Hadwiger theorem
Published
• View Publication
• BIB
We introduce the notion of combinatorial positivity of translation-invariant valuations on convex polytopes that extends the nonnegativity of Ehrhart h*-vectors. We give a surprisingly simple characterization of combinatorially positive valuations that implies Stanley's nonnegativity and monotonicity of h*-vectors and generalizes work of Beck et al. (2010) from solid-angle polynomials to all translation-invariant simple valuations. For general polytopes, this yields a new characterization of the volume as the unique combinatorially positive valuation up to scaling. For lattice polytopes our results extend work of Betke--Kneser (1985) and give a discrete Hadwiger theorem: There is essentially a unique combinatorially-positive basis for the space of lattice-invariant valuations. As byproducts of our investigations, we prove a multivariate Ehrhart-Macdonald reciprocity and we show universality of weight valuations studied in Beck et al. (2010).
Polytopes with Preassigned Automorphism Groups
Published
• View Publication
• BIB
We prove that every finite group is the automorphism group of a finite abstract polytope isomorphic to a face-to-face tessellation of a sphere by topological copies of convex polytopes. We also show that this abstract polytope may be realized as a convex polytope.
Stokes posets and serpent nests
Published
• View Publication
• BIB
We study two different objects attached to an arbitrary quadrangulation of a regular polygon. The first one is a poset, closely related to the Stokes polytopes introduced by Baryshnikov. The second one is a set of some paths configurations inside the quadrangulation, satisfying some specific constraints. These objects provide a generalisation of the existing combinatorics of cluster algebras and nonnesting partitions of type A.
Quadratic Gröbner bases of twinned order polytopes
Published
• View Publication
• BIB
Let $P$ and $Q$ be finite partially ordered sets on $[d] = \{1, \ldots, d\}$, and $\mathcal{O}(P) \subset \mathbb{R}^{d}$ and $\mathcal{O}(Q) \subset \mathbb{R}^{d}$ their order polytopes. The twinned order polytope of $P$ and $Q$ is the convex polytope $Δ(P,-Q) \subset \mathbb{R}^{d}$ which is the convex hull of $\mathcal{O}(P) \cup (- \mathcal{O}(Q))$. It follows that the origin of $\mathbb{R}^{d}$ belongs to the interior of $Δ(P,-Q)$ if and only if $P$ and $Q$ possess a common linear extension. It will be proved that, when the origin of $\mathbb{R}^{d}$ belongs to the interior of $Δ(P,-Q)$, the toric ideal of $Δ(P,-Q)$ possesses a quadratic Gröbner basis with respect to a reverse lexicographic order for which the variable corresponding to the origin is smallest. Thus in particular if $P$ and $Q$ possess a common linear extension, then the twinned order polytope $Δ(P,-Q)$ is a normal Gorenstein Fano polytope.
Characterizing N+-perfect line graphs
Published
• View Publication
• BIB
The subject of this contribution is the study of the Lovász-Schrijver PSD-operator N+ applied to the edge relaxation of the stable set polytope of a graph. We are particularly interested in the problem of characterizing graphs for which N+ generates the stable set polytope in one step, called N+-perfect graphs. It is conjectured that the only N+-perfect graphs are those whose stable set polytope is described by inequalities with near-bipartite support. So far, this conjecture has been proved for near-perfect graphs, fs-perfect graphs, and webs. Here, we verify it for line graphs, by proving that in an N+-perfect line graph the only facet-defining graphs are cliques and odd holes.
Stability Properties Of The Plethysm: A Combinatorial Approach
Published
• View Publication
• BIB
An important family of structural constants in the theory of symmetric functions and in the representation theory of symmetric groups and general linear groups are the plethysm coefficients. In 1950, Foulkes observed that they have some stability properties: certain sequences of plethysm coefficients are eventually constant. Such stability properties were proven by Brion with geometric techniques, and by Thibon and Carré by means of vertex operators. In this paper we present a new approach to prove such stability properties.Our proofs are purely combinatorial and follow the same scheme. We decompose plethysm coefficients in terms of other plethysm coefficients related to the complete homogeneous basis of symmetric functions. We show that these other plethysm coefficients count integer points in polytopes and we prove stability for them by exhibiting bijections between the corresponding sets of integer points of each polytope.
Rapid mixing and Markov bases
Published
• View Publication
• BIB
The mixing behaviour of random walks on lattice points of polytopes using Markov bases is examined. It is shown that under a dilation of the underlying polytope, these random walks do not mix rapidly when a fixed Markov basis is used. We also show that this phenomenon does not disappear after adding more moves to the Markov basis. Avoiding rejections by sampling applicable moves does also not lead to an asymptotic improvement. As a way out, a method of how to adapt Markov bases in order to achieve the fastest mixing behaviour is introduced.
Polynomials defined by tableaux and linear recurrences
Published in Electronic Journal of Combinatorics, 23, No.1 2016
• View Publication
• BIB
We show that several families of polynomials defined via fillings of diagrams satisfy linear recurrences under a natural operation on the shape of the diagram. We focus on key polynomials, (also known as Demazure characters), and Demazure atoms. The same technique can be applied to Hall-Littlewood polynomials and dual Grothendieck polynomials.
The motivation behind this is that such recurrences are strongly connected with other nice properties, such as interpretations in terms of lattice points in polytopes and divided difference operators.
Lift-and-project ranks of the stable set polytope of joined a-perfect graphs
Published
• View Publication
• BIB
In this paper we study lift-and-project polyhedral operators defined by Lov?asz and Schrijver and Balas, Ceria and Cornu?ejols on the clique relaxation of the stable set polytope of web graphs. We compute the disjunctive rank of all webs and consequently of antiweb graphs. We also obtain the disjunctive rank of the antiweb constraints for which the complexity of the separation problem is still unknown. Finally, we use our results to provide bounds of the disjunctive rank of larger classes of graphs as joined a-perfect graphs, where near-bipartite graphs belong.
The PBW filtration and convex polytopes in type $\tt B$
Published in J. Pure Appl. Algebra 223 (2019), no. 1, 245-276
• View Publication
• BIB
We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $\tt B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.
Extended Formulations for Independence Polytopes of Regular Matroids
Published in Graphs and Combinatorics (2016) 32: 1931-1944
• View Publication
• BIB
The ancillary file Corrigendum.pdf contains an explanation why our proof does not work.