polytope ↗ reference
3077 papers tagged with this keyword
Projecting lattice polytopes without interior lattice points
Published
• View Publication
• BIB
We show that up to unimodular equivalence there are only finitely many d-dimensional lattice polytopes without interior lattice points that do not admit a lattice projection onto a (d-1)-dimensional lattice polytope without interior lattice points. This was conjectured by Treutlein. As an immediate corollary, we get a short proof of a recent result of Averkov, Wagner and Weismantel, namely the finiteness of the number of maximal lattice polytopes without interior lattice points. Moreover, we show that in dimension four and higher some of these finitely many polytopes are not maximal as convex bodies without interior lattice points.
Stasheff polytope as a sublattice of permutohedron
An assosiahedron $\mathcal{K}^n$, known also as Stasheff polytope, is a multifaceted combinatorial object, which, in particular, can be realized as a convex hull of certain points in $\mathbf{R}^{n}$, forming $(n-1)$-dimensional polytope.
A permutahedron $\mathcal{P}^n$ is a polytope of dimension $(n-1)$ in $\mathbf{R}^{n}$ with vertices forming various permutations of $n$-element set. There exist well-known orderings of vertices of $\mathcal{P}^n$ and $\mathcal{K}^n$ that make these objects into lattices: the first known as permutation lattices, and the latter as Tamari lattices. We establish that the vertices of $\mathcal{K}^n$ can be naturally associated with particular vertices of $\mathcal{P}^n$ in such a way that the corresponding lattice operations are preserved. In lattices terms, Tamari lattices are sublattices of permutation lattices. More generally, this defines the application of associative law as a special form of permutation.
Eulerian-Catalan Numbers
Published
• View Publication
• BIB
We show that the Eulerian-Catalan numbers enumerate Dyck permutations. We provide two proofs for this fact, the first using the geometry of alcoved polytopes and the second a direct combinatorial proof via an Eulerian-Catalan analogue of the Chung-Feller theorem.
Equivalence Classes of Full-Dimensional 0/1-Polytopes with Many Vertices
Published
• View Publication
• BIB
Let $Q_n$ denote the $n$-dimensional hypercube with the vertex set $V_n=\{0,1}^n$. A 0/1-polytope of $Q_n$ is a convex hull of a subset of $V_n$. This paper is concerned with the enumeration of equivalence classes of full-dimensional 0/1-polytopes under the symmetries of the hypercube. With the aid of a computer program, Aichholzer completed the enumeration of equivalence classes of full-dimensional 0/1-polytopes for $Q_4$, $Q_5$, and those of $Q_6$ up to 12 vertices. In this paper, we present a method to compute the number of equivalence classes of full-dimensional 0/1-polytopes of $Q_n$ with more than $2^{n-3}$ vertices. As an application, we finish the counting of equivalence classes of full-dimensional 0/1-polytopes of $Q_6$ with more than 12 vertices.
Tropical varieties with polynomial weights and corner loci of piecewise polynomials
Published in Mosc. Math. J., 12:1 (2012), 55--76
• View Publication
• BIB
We find a relation between mixed volumes of several polytopes and the convex hull of their union, deducing it from the following fact: the mixed volume of a collection of polytopes only depends on the product of their support functions (rather than on the individual support functions). For integer polytopes, this dependence is essentially a certain specialization of the isomorphism between two well-known combinatorial models for the cohomology of toric varieties, however, this construction has not been extended to arbitrary polytopes so far (partially due to the lack of combinatorial tools capable of substituting for toric geometry, when vertices are not rational). We provide such an extension, which leads to an explicit formula for the mixed volume in terms of the product of support functions, and may also be interesting because of the combinatorial tools (tropical varieties with polynomial weights and their corner loci) that appear in our construction. As an example of another possible application of these new objects, we notice that every tropical subvariety in a tropical manifold M can be locally represented as the intersection of M with another tropical variety (possibly with negative weights), and conjecture certain generalizations of this fact to singular M. The above fact about subvarieties of a tropical manifold may be of independent interest, because it implies that the intersection theory on a tropical manifold, which was recently constructed by Allerman, Francois, Rau and Shaw, is locally induced from the ambient vector space.
Universal Polynomials for Severi Degrees of Toric Surfaces
Published
• View Publication
• BIB
The Severi variety parameterizes plane curves of degree d with delta nodes. Its degree is called the Severi degree. For large enough d, the Severi degrees coincide with the Gromov-Witten invariants of P^2. Fomin and Mikhalkin (2009) proved the 1995 conjecture that, for fixed delta, Severi degrees are eventually polynomial in d.
In this paper, we study the Severi varieties corresponding to a large family of toric surfaces. We prove the analogous result that the Severi degrees are eventually polynomial as a function of the multidegree. More surprisingly, we show that the Severi degrees are also eventually polynomial "as a function of the surface". We illustrate our theorems by explicit computing, for a small number of nodes, the Severi degree of any large enough Hirzebruch surface and of a singular surface.
Our strategy is to use tropical geometry to express Severi degrees in terms of Brugalle and Mikhalkin's floor diagrams, and study those combinatorial objects in detail. An important ingredient in the proof is the polynomiality of the discrete volume of a variable facet-unimodular polytope.
Realizability of Polytopes as a Low Rank Matrix Completion Problem
Published in Discrete and Computational Geometry, 51(4): 761-778, 2014
• View Publication
• BIB
This article gives necessary and sufficient conditions for a relation to be the containment relation between the facets and vertices of a polytope. Also given here, are a set of matrices parameterizing the linear moduli space and another set parameterizing the projective moduli space of a combinatorial polytope.
Coarse types of tropical matroid polytopes
Describing the combinatorial structure of the tropical complex $C$ of a tropical matroid polytope, we obtain a formula for the coarse types of the maximal cells of $C$. Due to the connection between tropical complexes and resolutions of monomial ideals, this yields the generators for the corresponding coarse type ideal introduced in a recent paper of Dochtermann, Joswig and Sanyal (2010, preprint arXiv.org:1001.0237). Furthermore, a complete description of the minimal tropical halfspaces of the uniform tropical matroid polytopes, i.e. the tropical hypersimplices, is given.
LP Decodable Permutation Codes based on Linearly Constrained Permutation Matrices
Published
• View Publication
• BIB
A set of linearly constrained permutation matrices are proposed for constructing a class of permutation codes. Making use of linear constraints imposed on the permutation matrices, we can formulate a minimum Euclidian distance decoding problem for the proposed class of permutation codes as a linear programming (LP) problem. The main feature of this class of permutation codes, called LP decodable permutation codes, is this LP decodability. It is demonstrated that the LP decoding performance of the proposed class of permutation codes is characterized by the vertices of the code polytope of the code. Two types of linear constraints are discussed; one is structured constraints and another is random constraints. The structured constraints such as pure involution lead to an efficient encoding algorithm. On the other hand, the random constraints enable us to use probabilistic methods for analyzing several code properties such as the average cardinality and the average weight distribution.
Decomposing Björner's Matrix
We give an alternative proof of a (former) conjecture of Björner stating that the matrix expressing face numbers in terms of g numbers is totally non-negative. We briefly discuss the case of simple flag polytopes.
Bounds on the number of integer points in a polytope via concentration estimates
It is generally hard to count, or even estimate, how many integer points lie in a polytope P. Barvinok and Hartigan have approached the problem by way of information theory, showing how to efficiently compute a random vector which samples the integer points of P with (computable) constant mass, but which may also land outside P. Thus, to count the integer points of P, it suffices to determine the frequency with which the random vector falls in P.
We prove a collection of efficiently computable upper bounds on this frequency. We also show that if P is suitably presented by n linear inequalities and m linear equations (m fixed), then under mild conditions separating the expected value of the above random vector from the origin, the frequency with which it falls in P is O(n^{-m/2}) as n -> infinity. As in the classical Littlewood-Offord problem, all results in the paper are obtained by bounding the point concentration of a sum of independent random variables; we sketch connections to previous work on the subject.
Intermediate Sums on Polyhedra: Computation and Real Ehrhart Theory
Published
• View Publication
• BIB
We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum up the integrals. We first develop an algorithmic theory of parametric intermediate generating functions. Then we study the Ehrhart theory of these intermediate sums, that is, the dependence of the result as a function of a dilation of the polytope. We provide an algorithm to compute the resulting Ehrhart quasi-polynomials in the form of explicit step polynomials. These formulas are naturally valid for real (not just integer) dilations and thus provide a direct approach to real Ehrhart theory.
Characterization of polytopes via tilings with similar pieces
Published
• View Publication
• BIB
Generalizing results by Valette, Zamfirescu and Laczkovich, we will prove that a convex body $K$ is a polytope if there are sufficiently many tilings which contain a tile similar to $K$. Furthermore, we give an example that this can not be improved.
Axioms for the g-vector of general convex polytopes
McMullen's g-vector is important for simple convex polytopes. This paper postulates axioms for its extension to general convex polytopes. It also conjectures that, for each dimension d, a stated finite calculation gives the formula for the extended g-vector. This calculation is done by computer for d=5 and the results analysed. The conjectures imply new linear inequalities on convex polytope flag vectors. Underlying the axioms is a hypothesised higher-order homology extension to middle perversity intersection homology (order-zero homology), which measures the failure of lower-order homology to have a ring structure.
Polytopes from Subgraph Statistics
Polytopes from subgraph statistics are important in applications and conjectures and theorems in extremal graph theory can be stated as properties of them. We have studied them with a view towards applications by inscribing large explicit polytopes and semi-algebraic sets when the facet descriptions are intractable. The semi-algebraic sets called curvy zonotopes are introduced and studied using graph limits. From both volume calculations and algebraic descriptions we find several interesting conjectures.
Constructing Extended Formulations from Reflection Relations
Published
• View Publication
• BIB
There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space. However, currently not many general tools to construct such extended formulations are available. In this paper, we develop a framework of polyhedral relations that generalizes inductive constructions of extended formulations via projections, and we particularly elaborate on the special case of reflection relations. The latter ones provide polynomial size extended formulations for several polytopes that can be constructed as convex hulls of the unions of (exponentially) many copies of an input polytope obtained via sequences of reflections at hyperplanes. We demonstrate the use of the framework by deriving small extended formulations for the G-permutahedra of all finite reflection groups G (generalizing both Goeman's extended formulation of the permutahedron of size O(n log n) and Ben-Tal and Nemirovski's extended formulation with O(k) inequalities for the regular 2^k-gon) and for Huffman-polytopes (the convex hulls of the weight-vectors of Huffman codes).
Sweeping the cd-Index and the Toric h-Vector
Published
• View Publication
• BIB
We derive formulas for the cd-index and the toric h-vector of a convex polytope P from a sweeping by a hyperplane. These arise from interpreting the corresponding S-shelling of the dual of P. We describe a partition of the faces of the complete truncation of P to reflect explicitly the nonnegativity of its cd-index and what its components are counting. One corollary is a quick way to compute the toric h-vector directly from the cd-index. We also propose an "extended toric" h-vector that fully captures the information in the flag h-vector.
The Hopf algebra of diagonal rectangulations
Published
• View Publication
• BIB
We define and study a combinatorial Hopf algebra dRec with basis elements indexed by diagonal rectangulations of a square. This Hopf algebra provides an intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter permutations, which previously had only been described extrinsically as a sub Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We describe the natural lattice structure on diagonal rectangulations, analogous to the Tamari lattice on triangulations, and observe that diagonal rectangulations index the vertices of a polytope analogous to the associahedron. We give an explicit bijection between twisted Baxter permutations and the better-known Baxter permutations, and describe the resulting Hopf algebra structure on Baxter permutations.
Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra
Published
• View Publication
• BIB
This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a polynomial function h. Our technique is based on a refinement of an algorithm of A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), pp. 1449--1466] in the unweighted case (i.e., h = 1). In contrast to Barvinok's method, our method is local, obtains an approximation on the level of generating functions, handles the general weighted case, and provides the coefficients in closed form as step polynomials of the dilation. To demonstrate the practicality of our approach we report on computational experiments which show even our simple implementation can compete with state of the art software.
Polytopes, Hopf algebras and Quasi-symmetric functions
Published
• View Publication
• BIB
In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group $\mathcal{P}$ generated by all combinatorial polytopes. There are two natural bilinear operations on this group defined by a direct product $\times $ and a join $\divideontimes$ of polytopes. $(\mathcal{P},\times)$ is a commutative associative bigraded ring of polynomials, and $\mathcal{RP}=(\mathbb Z\varnothing\oplus\mathcal{P},\divideontimes)$ is a commutative associative threegraded ring of polynomials. The ring $\mathcal{RP}$ has the structure of a graded Hopf algebra. It turns out that $\mathcal{P}$ has a natural Hopf comodule structure over $\mathcal{RP}$. Faces operators $d_k$ that send a polytope to the sum of all its $(n-k)$-dimensional faces define on both rings the Hopf module structures over the universal Leibnitz-Hopf algebra $\mathcal{Z}$. This structure gives a ring homomorphism $\R\to\Qs\otimes\R$, where $\R$ is $\mathcal{P}$ or $\mathcal{RP}$. Composing this homomorphism with the characters $P^n\toα^n$ of $\mathcal{P}$, $P^n\toα^{n+1}$ of $\mathcal{RP}$, and with the counit we obtain the ring homomorphisms $f\colon\mathcal{P}\to\Qs[α]$, $f_{\mathcal{RP}}\colon\mathcal{RP}\to\Qs[α]$, and $\F^*:\mathcal{RP}\to\Qs$, where $F$ is the Ehrenborg transformation. We describe the images of these homomorphisms in terms of functional equations, prove that these images are rings of polynomials over $\mathbb Q$, and find the relations between the images, the homomorphisms and the Hopf comodule structures. For each homomorphism $f,\;f_{\mathcal{RP}}$, and $\F$ the images of two polytopes coincide if and only if they have equal flag $f$-vectors. Therefore algebraic structures on the images give the information about flag $f$-vectors of polytopes.