polytope ↗ reference
3024 papers tagged with this keyword
A note on palindromic $δ$-vectors for certain rational polytopes
Published in Electronic Journal of Combinatorics, 15 (2008), #N18
• View Publication
• BIB
Let P be a convex polytope containing the origin, whose dual is a lattice polytope. Hibi's Palindromic Theorem tells us that if P is also a lattice polytope then the Ehrhart $δ$-vector of P is palindromic. Perhaps less well-known is that a similar result holds when P is rational. We present an elementary lattice-point proof of this fact.
An algorithm for weighted fractional matroid matching
Published in JCTB 103 (2013), 509-520
• View Publication
• BIB
Let M be a matroid on ground set E. A subset l of E is called a `line' when its rank equals 1 or 2. Given a set L of lines, a `fractional matching' in (M,L) is a nonnegative vector x indexed by the lines in L, that satisfies a system of linear constraints, one for each flat of M. Fractional matchings were introduced by Vande Vate, who showed that the set of fractional matchings is a half-integer relaxation of the matroid matching polytope.
It was shown by Chang et al. that a maximum size fractional matching can be found in polynomial time. In this paper we give a polynomial time algorithm to find for any given weights on the lines in L, a maximum weight fractional matching.
Homology representations arising from the half cube
Published
• View Publication
• BIB
We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 \leq k \leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique complex of the half cube graph if $k = 4$. The homology of $C_{n, k}$ is concentrated in degree $k-1$ and furthermore, the $(k-1)$-st Betti number of $C_{n, k}$ is equal to the $(k-2)$-nd Betti number of the complement of the $k$-equal real hyperplane arrangement. These Betti numbers, which also appear in theoretical computer science, numerical analysis and engineering, are the coefficients of a certain Pascal-like triangle (Sloane's sequence A119258). The Coxeter groups of type $D_n$ act naturally on the complexes $C_{n, k}$, and thus on the associated homology groups.
Multivariate Splines and Polytopes
Published
• View Publication
• BIB
In this paper, we use multivariate splines to investigate the volume of polytopes. We first present an explicit formula for the multivariate truncated power, which can be considered as a dual version of the famous Brion's formula for the volume of polytopes. We also prove that the integration of polynomials over polytopes can be dealt with by the multivariate truncated power. Moreover, we show that the volume of the cube slicing can be considered as the maximum value of the box spline. Based on this connection, we give a simple proof for Good's conjecture, which has been settled by probability methods.
Generalized parking functions, descent numbers, and chain polytopes of ribbon posets
Published
• View Publication
• BIB
We consider the inversion enumerator I_n(q), which counts labeled trees or, equivalently, parking functions. This polynomial has a natural extension to generalized parking functions. Substituting q = -1 into this generalized polynomial produces the number of permutations with a certain descent set. In the classical case, this result implies the formula I_n(-1) = E_n, the number of alternating permutations. We give a combinatorial proof of these formulas based on the involution principle. We also give a geometric interpretation of these identities in terms of volumes of generalized chain polytopes of ribbon posets. The volume of such a polytope is given by a sum over generalized parking functions, which is similar to an expression for the volume of the parking function polytope of Pitman and Stanley.
Extended Formulations for Packing and Partitioning Orbitopes
Published
• View Publication
• BIB
We give compact extended formulations for the packing and partitioning orbitopes (with respect to the full symmetric group) described and analyzed in (Kaibel and Pfetsch, 2008). These polytopes are the convex hulls of all 0/1-matrices with lexicographically sorted columns and at most, resp. exactly, one 1-entry per row. They are important objects for symmetry reduction in certain integer programs.
Using the extended formulations, we also derive a rather simple proof of the fact that basically shifted-column inequalities suffice in order to describe those orbitopes linearly.
Locally Toroidal Polytopes and Modular Linear Groups
Published
• View Publication
• BIB
When the standard representation of a crystallographic Coxeter group G (with string diagram) is reduced modulo the integer d>1, one obtains a finite group G^d which is often the automorphism group of an abstract regular polytope. Building on earlier work in the case that d is an odd prime, we here develop methods to handle composite moduli and completely describe the corresponding modular polytopes when G is of spherical or Euclidean type. Using a modular variant of the quotient criterion, we then describe the locally toroidal polytopes provided by our construction, most of which are new.
Agnihotri-Woodward-Belkale polytope and the intersection of Klyachko cones
Published in Math Notes 87, 96-101 (2010)
• View Publication
• BIB
Agnihotri-Woodward-Belkale polytope $Δ$ (resp. Klyachko cone $K$) is the set of solutions of the multiplicative (resp. additive) Horn's problem, i.e., the set of triples of spectra of special unitary (resp. traceless Hermitian) $n\times n$ matrices satisfying $AB=C$ (resp. $A+B=C$). $K$ is the tangent cone of $Δ$ at the origin. The group $G=\Bbb Z_n \oplus \Bbb Z_n$ acts naturally on $Δ$. In this note, we report on a computer calculation which shows that $Δ$ coincides with the intersection of $gK$, $g\in G$, for $n\le 14$ but does not coincide for $n=15$. Our motivation was an attempt to understand how to solve the multiplicative Horn problem in practice for given conjugacy classes in SU(n).
Modular Reduction in Abstract Polytopes
Published in Can. Math. Bull. 52 (2009) 435-450
• View Publication
• BIB
The paper studies modular reduction techniques for abstract regular and chiral polytopes, with two purposes in mind: first, to survey the literature about modular reduction in polytopes; and second, to apply modular reduction, with moduli given by primes in Z[t] (with t=τthe golden ratio), to construct new regular 4-polytopes of hyperbolic types {3,5,3} and {5,3,5} with automorphism groups given by finite orthogonal groups.
Lattice polytopes cut out by root systems and the Koszul property
Published in Adv. Math. 220 (2009), 926--935.
• View Publication
• BIB
We show that lattice polytopes cut out by root systems of classical type are normal and Koszul, generalizing a well-known result of Bruns, Gubeladze, and Trung in type A. We prove similar results for Cayley sums of collections of polytopes whose Minkowski sums are cut out by root systems. The proofs are based on a combinatorial characterization of diagonally split toric varieties.
Splitting Polytopes
A split of a polytope $P$ is a (regular) subdivision with exactly two maximal cells. It turns out that each weight function on the vertices of $P$ admits a unique decomposition as a linear combination of weight functions corresponding to the splits of $P$ (with a split prime remainder). This generalizes a result of Bandelt and Dress [Adv. Math. 92 (1992)] on the decomposition of finite metric spaces.
Introducing the concept of compatibility of splits gives rise to a finite simplicial complex associated with any polytope $P$, the split complex of $P$. Complete descriptions of the split complexes of all hypersimplices are obtained. Moreover, it is shown that these complexes arise as subcomplexes of the tropical (pre-)Grassmannians of Speyer and Sturmfels [Adv. Geom. 4 (2004)].
Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations
Some basic mathematical tools such as convex sets, polytopes and combinatorial topology, are used quite heavily in applied fields such as geometric modeling, meshing, computer vision, medical imaging and robotics. This report may be viewed as a tutorial and a set of notes on convex sets, polytopes, polyhedra, combinatorial topology, Voronoi Diagrams and Delaunay Triangulations. It is intended for a broad audience of mathematically inclined readers. I have included a rather thorough treatment of the equivalence of V-polytopes and H-polytopes and also of the equivalence of V-polyhedra and H-polyhedra, which is a bit harder. In particular, the Fourier-Motzkin elimination method (a version of Gaussian elimination for inequalities) is discussed in some detail. I also included some material on projective spaces, projective maps and polar duality w.r.t. a nondegenerate quadric in order to define a suitable notion of ``projective polyhedron'' based on cones. To the best of our knowledge, this notion of projective polyhedron is new. We also believe that some of our proofs establishing the equivalence of V-polyhedra and H-polyhedra are new.
On the Log-Concavity of Hilbert Series of Veronese Subrings and Ehrhart Series
Published in Mathematische Zeitschrift 264, no. 1 (2010), 195-207
• View Publication
• BIB
For every positive integer $n$, consider the linear operator $\U_{n}$ on polynomials of degree at most $d$ with integer coefficients defined as follows: if we write $\frac{h(t)}{(1 - t)^{d + 1}} = \sum_{m \geq 0} g(m) t^{m}$, for some polynomial $g(m)$ with rational coefficients, then $\frac{\U_{n}h(t)}{(1- t)^{d + 1}} = \sum_{m \geq 0} g(nm) t^{m}$. We show that there exists a positive integer $n_{d}$, depending only on $d$, such that if $h(t)$ is a polynomial of degree at most $d$ with nonnegative integer coefficients and $h(0) \geq 1$, then for $n \geq n_{d}$, $\U_{n}h(t)$ has simple, real, strictly negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart $δ$-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen--MacCauley graded rings.
Cayley decompositions of lattice polytopes and upper bounds for h^*-polynomials
Published in J. Reine Angew. Math. 637 (2009), 207-216
• View Publication
• BIB
We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem which says, roughly speaking, that any lattice polytope with a large multiple that has no interior lattice points has a nontrivial decomposition as a Cayley sum of polytopes of smaller dimension. In an appendix, we interpret this result in terms of adjunction theory for toric varieties.
More on counting acyclic digraphs
In this note we derive enumerative formulas for several types of labelled acyclic directed graphs by slight modifications of the familiar recursive formula for simple acyclic digraphs. These considerations are motivated by, and based upon, recent combinatorial results in geometric topology obtained by S.Choi, who established exact correspondences between acyclic digraphs and so-called small covers over hypercubes and related polytopes. In particular, we show that the number of equivalence classes of small covers over the cartesian product of $n$ copies of an $r$-simplex is equal to the number of acyclic $(2^r-1)$-multidigraphs of order $n$. Asymptotics follows easily since the main formula is represented by a simple equation in terms of special generating functions.
A characterization of simplicial polytopes with g_2=1
Kalai proved that the simplicial polytopes with g_2=0 are the stacked polytopes. We characterize the g_2=1 case. Specifically, we prove that every simplicial d-polytope (d>=4) which is prime and with g_2=1 is combinatorially equivalent either to a free sum of two simplices whose dimensions add up to d (each of dimension at least 2), or to a free sum of a polygon with a (d-2)-simplex. Thus, every simplicial d-polytope (d>=4) with g_2=1 is combinatorially equivalent to a polytope obtained by stacking over a polytope as above. Moreover, the above characterization holds for any homology (d-1)-sphere (d>=4) with g_2=1, and our proof takes advantage of working with this larger class of complexes.
Overview of some general results in combinatorial enumeration
Published
• View Publication
• BIB
This survey article is devoted to general results in combinatorial enumeration. The first part surveys results on growth of hereditary properties of combinatorial structures.
These include permutations, ordered and unordered graphs and hypergraphs, relational structures, and others. The second part advertises five topics in general enumeration: 1. counting lattice points in lattice polytopes, 2. growth of context-free languages, 3. holonomicity (i.e., P-recursiveness) of numbers of labeled regular graphs, 4. frequent occurrence of the asymptotics cn^{-3/2}r^n and 5. ultimate modular periodicity of numbers of MSOL-definable structures.
Quotients of the Multiplihedron as Categorified Associahedra
Published
• View Publication
• BIB
We describe a new sequence of polytopes which characterize A_infinity maps from a topological monoid to an A_infinity space. Therefore each of these polytopes is a quotient of the corresponding multiplihedron. Later term(s) in our sequence of polytopes are demonstrated not to be combinatorially equivalent to the associahedron, as was previously assumed. They are given the new collective name composihedra. We point out how these polytopes are used to parameterize compositions in the formulation of the theories of enriched bicategories and pseudomonoids in a monoidal bicategory. We present a simple algorithm for determining the extremal points in Euclidean space whose convex hull is the nth polytope in the sequence of composihedra, that is, the nth composihedron.
Diagonal vectors of shifted Young tableaux
We study vectors formed by entries on the diagonal of standard Young tableaux of shifted shapes. Such vectors are in bijection with integer lattice points of certain integral polytopes, which are Minkowski sums of simplices. We also describe vertices of these polytopes, and construct corresponding shifted Young tableaux.
Alternatives for Testing Total Dual Integrality
In this paper we provide characterizing properties of TDI systems, among others the following: a system of linear inequalities is TDI if and only if its coefficient vectors form a Hilbert basis, and there exists a test-set for the system's dual integer programs where all test vectors have positive entries equal to 1. Reformulations of this provide relations between computational algebra and integer programming and they contain Applegate, Cook and McCormick's sufficient condition for the TDI property and Sturmfels' theorem relating toric initial ideals generated by square-free monomials to unimodular triangulations. We also study the theoretical and practical efficiency and limits of the characterizations of the TDI property presented here.
In the particular case of set packing polyhedra our results correspond to endowing the weak perfect graph theorem with an additional, computationally interesting, geometric feature: the normal fan of the stable set polytope of a perfect graph can be refined into a regular triangulation consisting only of unimodular cones.