polytope ↗ reference
3077 papers tagged with this keyword
Tensor valuations on lattice polytopes
Published in Adv. Math. 319 (2017), 76-110
• View Publication
• BIB
The Ehrhart polynomial and the reciprocity theorems by Ehrhart \& Macdonald are extended to tensor valuations on lattice polytopes. A complete classification is established of tensor valuations of rank up to eight that are equivariant with respect to the special linear group over the integers and translation covariant. Every such valuation is a linear combination of the Ehrhart tensors which is shown to no longer hold true for rank nine.
Classification of empty lattice $4$-simplices of width larger than two
Published in Transactions Amer. Math. Soc., 371:9 (May 2019), 6605-6625
• View Publication
• BIB
A lattice $d$-simplex is the convex hull of $d+1$ affinely independent integer points in ${\mathbb R}^d$. It is called empty if it contains no lattice point apart of its $d+1$ vertices. The classification of empty $3$-simplices is known since 1964 (White), based on the fact that they all have width one. But for dimension $4$ no complete classification is known.
Haase and Ziegler (2000) enumerated all empty $4$-simplices up to determinant 1000 and based on their results conjectured that after determinant $179$ all empty $4$-simplices have width one or two. We prove this conjecture as follows:
- We show that no empty $4$-simplex of width three or more can have determinant greater than 5058, by combining the recent classification of hollow 3-polytopes (Averkov, Krümpelmann and Weltge, 2017) with general methods from the geometry of numbers.
- We continue the computations of Haase and Ziegler up to determinant 7600, and find that no new $4$-simplices of width larger than two arise.
In particular, we give the whole list of empty $4$-simplices of width larger than two, which is as computed by Haase and Ziegler: There is a single empty $4$-simplex of width four (of determinant 101), and 178 empty $4$-simplices of width three, with determinants ranging from 41 to 179.
Exploring the bounds on the positive semidefinite rank
The nonnegative and positive semidefinite (PSD-) ranks are closely connected to the nonnegative and positive semidefinite extension complexities of a polytope, which are the minimal dimensions of linear and SDP programs which represent this polytope. Though some exponential lower bounds on the nonnegative and PSD- ranks has recently been proved for the slack matrices of some particular polytopes, there are still no tight bounds for these quantities. We explore some existing bounds on the PSD-rank and prove that they cannot give exponential lower bounds on the extension complexity. Our approach consists in proving that the existing bounds are upper bounded by the polynomials of the regular rank of the matrix, which is equal to the dimension of the polytope (up to an additive constant). As one of the implications, we also retrieve an upper bound on the mutual information of an arbitrary matrix of a joint distribution, based on its regular rank.
Weighted quasisymmetric enumerator for generalized permutohedra
We introduce a weighted quasisymmetric enumerator function associated to generalized permutohedra. It refines the Billera, Jia and Reiner quasisymmetric function which also includes the Stanley chromatic symmetric function. Beside that it carries information of face numbers of generalized permutohedra. We consider more systematically the cases of nestohedra and matroid base polytopes.
Proof of Chapoton's conjecture on Newton polygons of $q$-Ehrhart polynomials
Published
• View Publication
• BIB
Recently, Chapoton found a $q$-analog of Ehrhart polynomials, which are polynomials in $x$ whose coefficients are rational functions in $q$. Chapoton conjectured the shape of the Newton polygon of the numerator of the $q$-Ehrhart polynomial of an order polytope. In this paper, we prove Chapoton's conjecture.
Surprising Examples of Manifolds in Toric Topology!
We investigate small covers and quasitoric over the duals of neighborly simplicial polytopes with small number of vertices in dimensions $4$, $5$, $6$ and $7$. In the most of the considered cases we obtain the complete classification of small covers. The lifting conjecture in all cases is verified to be true. The problem of cohomological rigidity for small covers is also studied and we have found a whole new series of weakly cohomologically rigid simple polytopes. New examples of manifolds provide the first known examples of quasitoric manifolds in higher dimensions whose orbit polytopes have chromatic numbers $χ(P^n)\geq 3n-5$.
Smooth polytopes with negative Ehrhart coefficients
Published
• View Publication
• BIB
We present examples of smooth lattice polytopes in dimensions 3 and higher where each coefficient of their Ehrhart polynomials that can potentially be negative is indeed negative. This answers a question by Bruns. We also discuss Berline-Vergne valuations as a useful tool in proving Ehrhart positivity results.
Volumes of generalized Chan-Robbins-Yuen polytopes
Published
• View Publication
• BIB
The normalized volume of the Chan-Robbins-Yuen polytope ($CRY_n$) is the product of consecutive Catalan numbers. The polytope $CRY_n$ has captivated combinatorial audiences for over a decade, as there is no combinatorial proof for its volume formula. In their quest to understand $CRY_n$ better, the third author and Morales introduced two natural generalizations of it and conjectured that their volumes are certain powers of $2$ multiplied by a product of consecutive Catalan numbers. Zeilberger proved one of these conjectures. In this paper we present proofs of both conjectures.
The Matching Problem in General Graphs is in Quasi-NC
Published in Proc. of 58th Annual IEEE Symposium on Foundations of Computer Science (FOCS), 2017, pages 696-707
• View Publication
• BIB
We show that the perfect matching problem in general graphs is in Quasi-NC. That is, we give a deterministic parallel algorithm which runs in $O(\log^3 n)$ time on $n^{O(\log^2 n)}$ processors. The result is obtained by a derandomization of the Isolation Lemma for perfect matchings, which was introduced in the classic paper by Mulmuley, Vazirani and Vazirani [1987] to obtain a Randomized NC algorithm.
Our proof extends the framework of Fenner, Gurjar and Thierauf [2016], who proved the analogous result in the special case of bipartite graphs. Compared to that setting, several new ingredients are needed due to the significantly more complex structure of perfect matchings in general graphs. In particular, our proof heavily relies on the laminar structure of the faces of the perfect matching polytope.
Polytopes close to being simple
Published
• View Publication
• BIB
It is known that polytopes with at most two nonsimple vertices are reconstructible from their graphs, and that $d$-polytopes with at most $d-2$ nonsimple vertices are reconstructible from their 2-skeletons. Here we close the gap between 2 and $d-2$, showing that certain polytopes with more than two nonsimple vertices are reconstructible from their graphs. In particular, we prove that reconstructibility from graphs also holds for $d$-polytopes with $d+k$ vertices and at most $d-k+3$ nonsimple vertices, provided $k\ge 5$. For $k\le4$, the same conclusion holds under a slightly stronger assumption.
Another measure of deviation from simplicity is the {\it excess degree} of a polytope, defined as $ξ(P):=2f_1-df_0$, where $f_k$ denotes the number of $k$-dimensional faces of the polytope. Simple polytopes are those with excess zero. We prove that polytopes with excess at most $d-1$ are reconstructible from their graphs, and this is best possible. An interesting intermediate result is that $d$-polytopes with less than $2d$ vertices, and at most $d-1$ nonsimple vertices, are necessarily pyramids.
Transfer-Matrix Methods meet Ehrhart Theory
Transfer-Matrix Methods originated in physics where they were used to count the number of allowed particle states on a structure whose width $n$ is a parameter. Typically, the number of states is exponential in $n.$ One more mathematical instance of this methodology is to enumerate the proper vertex colorings of a graph of growing size by a fixed number of colors.
In Ehrhart theory, lattice points in the dilation of a fixed polytope by a factor $k$ are enumerated. By inclusion-exclusion, relevant conditions on how the lattice points interact with hyperplanes are enforced. Typically, the number of points are (quasi-) polynomial in $k.$ The text-book example is that for a fixed graph, the number of proper vertex colorings with $k$ colors is polynomial in $k.$
This paper investigates the joint enumeration problem with both parameters $n$ and $k$ free. We start off with the classical graph colorings and then explore the common situations in combinatorics related to Ehrhart theory. We show how symmetries can be explored to reduce calculations and explain the interactions with Discrete Geometry.
Computations of volumes and Ehrhart series in four candidates elections
Published
• View Publication
• BIB
We describe several experimental results obtained in four candidates social choice elections. These include the Condorcet and Borda paradoxes, as well as the Condorcet efficiency of plurality voting with runoff. The computations are done by Normaliz. It finds precise probabilities as volumes of polytopes and counting functions encoded as Ehrhart series of polytopes.
A Note on the Polytope of Bipartite TSP
The main result of this paper is that the polytope of the bipartite TSP is significantly different from that of the general TSP. Comb inequalities are known as facet defining ones in the general case. In the bipartite case, however, many of them are satisfied whenever all degree and subtour elimination constraints are satisfied, {\em i.e.}\ these comb inequalities are not facet defining. The inequalities in question belong to the cases where vertices of one of the two classes occur in less than the half of the intersections of the teeth and the hand. Such side conditions are necessary, as simple example shows that the comb inequality can be violated when each class has vertices in more than the half of the intersections.
Geometric Symmetric Chain Decompositions
We create a framework for studying symmetric chain decompositions of families of finite posets based on the geometry of polytopes. Our framework unifies almost all known results regarding symmetric chain decompositions of the Young posets $L(m,n)$ --- arising as cells in the Bruhat decomposition of quotients of $SL_{m+n+1}$ --- and yields unexpected new results. The methods we provide are geometric in nature, systematic, and totally amenable to human analysis. This allows us to discover new phenomena which are impenetrable to casework and brute force computer search. In particular, our method yields perfect and near perfect decompositions of various families of posets, which are intractable by known methods. A fundamental tool we use is geometrical projection, which in our framework cleanly unifies many different types of induction; as we move a point from which we project between faces of our polytope, we alter the type of induction. Moreover, projection allows us to decrease dimension and therefore obtain a clear geometric intuition. We also provide additional tools for producing decompositions, and discuss how the various decompositions behave under products.
Lipschitz polytopes of posets and permutation statistics
Published
• View Publication
• BIB
We introduce Lipschitz functions on a finite partially ordered set $P$ and study the associated Lipschitz polytope $L(P)$. The geometry of $L(P)$ can be described in terms of descent-compatible permutations and permutation statistics that generalize descents and big ascents. For ranked posets, Lipschitz polytopes are centrally-symmetric and Gorenstein, which implies symmetry and unimodality of the statistics. Finally, we define $(P,k)$-hypersimplices as generalizations of classical hypersimplices and give combinatorial interpretations of their volumes and $h^*$-vectors.
The excess degree of a polytope
Published
• View Publication
• BIB
We define the excess degree $ξ(P)$ of a $d$-polytope $P$ as $2f_1-df_0$, where $f_0$ and $f_1$ denote the number of vertices and edges, respectively. This parameter measures how much $P$ deviates from being simple.
It turns out that the excess degree of a $d$-polytope does not take every natural number: the smallest possible values are $0$ and $d-2$, and the value $d-1$ only occurs when $d=3$ or 5. On the other hand, for fixed $d$, the number of values not taken by the excess degree is finite if $d$ is odd, and the number of even values not taken by the excess degree is finite if $d$ is even.
The excess degree is then applied in three different settings. It is used to show that polytopes with small excess (i.e. $ξ(P)<d$) have a very particular structure: provided $d\ne5$, either there is a unique nonsimple vertex, or every nonsimple vertex has degree $d+1$. This implies that such polytopes behave in a similar manner to simple polytopes in terms of Minkowski decomposability: they are either decomposable or pyramidal, and their duals are always indecomposable. Secondly, we characterise completely the decomposable $d$-polytopes with $2d+1$ vertices (up to combinatorial equivalence). And thirdly all pairs $(f_0,f_1)$, for which there exists a 5-polytope with $f_0$ vertices and $f_1$ edges, are determined.
Geometric realizations of the accordion complex of a dissection
Published in Discrete Comput. Geom., 61(3):507-540, 2019
• View Publication
• BIB
Consider $2n$ points on the unit circle and a reference dissection $\mathrm{D}_\circ$ of the convex hull of the odd points. The accordion complex of $\mathrm{D}_\circ$ is the simplicial complex of non-crossing subsets of the diagonals with even endpoints that cross a connected subset of diagonals of $\mathrm{D}_\circ$. In particular, this complex is an associahedron when $\mathrm{D}_\circ$ is a triangulation and a Stokes complex when $\mathrm{D}_\circ$ is a quadrangulation. In this paper, we provide geometric realizations (by polytopes and fans) of the accordion complex of any reference dissection $\mathrm{D}_\circ$, generalizing known constructions arising from cluster algebras.
Universal inequalities in Ehrhart Theory
Published
• View Publication
• BIB
In this paper, we show the existence of universal inequalities for the $h^*$-vector of a lattice polytope P, that is, we show that there are relations among the coefficients of the $h^*$-polynomial which are independent of both the dimension and the degree of P. More precisely, we prove that the coefficients $h^*_1$ and $h^*_2$ of the $h^*$-vector $(h^*_0,h^*_1,\ldots,h^*_d)$ of a lattice polytope of any degree satisfy Scott's inequality if $h^*_3=0$.
Decomposition techniques applied to the Clique-Stable set Separation problem
Published
• View Publication
• BIB
In a graph, a Clique-Stable Set separator (CS-separator) is a family $\mathcal{C}$ of cuts (bipartitions of the vertex set) such that for every clique $K$ and every stable set $S$ with $K \cap S = \emptyset$, there exists a cut $( W,W')$ in $\mathcal{C}$ such that $K \subseteq W$ and $S \subseteq W'$. Starting from a question concerning extended formulations of the Stable Set polytope and a related complexity communication problem, Yannakakis [17] asked in 1991 the following questions: does every graph admit a polynomial-size CS-separator? If not, does every perfect graph do? Several positive and negative results related to this question were given recently. Here we show how graph decomposition can be used to prove that a class of graphs admits a polynomial CS-separator. We apply this method to apple-free graphs and cap-free graphs.
Cyclohedron and Kantorovich-Rubinstein polytopes
We show that the cyclohedron (Bott-Taubes polytope) $W_n$ arises as the dual of a Kantorovich-Rubinstein polytope $KR(ρ)$, where $ρ$ is a quasi-metric (asymmetric distance function) satisfying strict triangle inequality. From a broader perspective, this phenomenon illustrates the relationship between a nestohedron $Δ_{\mathcal{\widehat{F}}}$ (associated to a building set $\mathcal{\widehat{F}}$) and its non-simple deformation $Δ_{\mathcal{F}}$, where $\mathcal{F}$ is an `irredundant' or `tight basis' of $\mathcal{\widehat{F}}$. Among the consequences are a new proof of a recent result of Gordon and Petrov (arXiv:1608.06848 [math.CO]) about $f$-vectors of generic Kantorovich-Rubinstein polytopes and an extension of a theorem of Gelfand, Graev, and Postnikov, about triangulations of the type A, positive root polytopes.