polytope ↗ reference
3024 papers tagged with this keyword
Different moment-angle manifolds arising from two polytopes having the same bigraded Betti numbers
Published in Algebr. Geom. Topol. 13 (2013) 3639-3649
• View Publication
• BIB
Two simple polytopes of dimension 3 having the identical bigraded Betti numbers but non-isomorphic Tor-algebras are presented. These polytopes provide two homotopically different moment-angle manifolds having the same bigraded Betti numbers. These two simple polytopes are the first examples of polytopes that are (toric) cohomologically rigid but not combinatorially rigid.
A Euclid style algorithm for MacMahon's partition analysis
Published in Journal of Combinatorial Theory Series A, 131 (2015), 32-60
• View Publication
• BIB
Solutions to a linear Diophantine system, or lattice points in a rational convex polytope, are important concepts in algebraic combinatorics and computational geometry. The enumeration problem is fundamental and has been well studied, because it has many applications in various fields of mathematics. In algebraic combinatorics, MacMahon's partition analysis has become a general approach for linear Diophantine system related problems. Many algorithms have been developed, but "bottlenecks" always arise when dealing with complex problems. While in computational geometry, Barvinok's important result asserts the existence of a polynomial time algorithm when the dimension is fixed. However, the implementation by the LattE package of De Loera et. al. does not perform well in many situations. By combining excellent ideas in the two fields, we generalize Barvinok's result by giving a polynomial time algorithm for MacMahon's partition analysis in a suitable condition. We also present an elementary Euclid style algorithm, which might not be polynomial but is easy to implement and performs well. As applications, we contribute the generating series for magic squares of order 6.
Convex Integer Optimization by Constantly Many Linear Counterparts
Published in Linear Algebra and its Applications 447 (2014) 88-109
• View Publication
• BIB
In this article we study convex integer maximization problems with composite objective functions of the form $f(Wx)$, where $f$ is a convex function on $\R^d$ and $W$ is a $d\times n$ matrix with small or binary entries, over finite sets $S\subset \Z^n$ of integer points presented by an oracle or by linear inequalities.
Continuing the line of research advanced by Uri Rothblum and his colleagues on edge-directions, we introduce here the notion of {\em edge complexity} of $S$, and use it to establish polynomial and constant upper bounds on the number of vertices of the projection $\conv(WS)$ and on the number of linear optimization counterparts needed to solve the above convex problem.
Two typical consequences are the following. First, for any $d$, there is a constant $m(d)$ such that the maximum number of vertices of the projection of any matroid $S\subset\{0,1\}^n$ by any binary $d\times n$ matrix $W$ is $m(d)$ regardless of $n$ and $S$; and the convex matroid problem reduces to $m(d)$ greedily solvable linear counterparts. In particular, $m(2)=8$. Second, for any $d,l,m$, there is a constant $t(d;l,m)$ such that the maximum number of vertices of the projection of any three-index $l\times m\times n$ transportation polytope for any $n$ by any binary $d\times(l\times m\times n)$ matrix $W$ is $t(d;l,m)$; and the convex three-index transportation problem reduces to $t(d;l,m)$ linear counterparts solvable in polynomial time.
On the vertices of the d-dimensional Birkhoff polytope
Published
• View Publication
• BIB
Consider the Birkhoff polytope of n by n doubly-stochastic matrices. As the Birkhoff-von Neumann theorem famously states, its vertex set coincides with the set of all n by n permutation matrices. Here we seek a higher-dimensional analog of this basic fact. Namely, consider the polytope which consists of all tristochastic arrays of order n. These are n by n by n arrays with nonnegative entries in which every line sums to 1. What can be said about its vertex set?
It is well-known that an order-n Latin square may be viewed as a tristochastic array where every line contains n-1 zeros and a single 1 entry. Indeed, every Latin square of order n is a vertex, but as we show, such vertices constitute only a vanishingly small part of the total number of vertices.
More concretely, we show that the number of vertices is at least (L_n)^{3/2-o(1)}, where L_n is the number of order-n Latin squares. We also briefly consider similar problems concerning the polytope of n by n by n arrays where the entries in every coordinate hyperplane sum to 1. Several open questions are presented as well.
Non-normal very ample polytopes and their holes
Published
• View Publication
• BIB
In this paper, we show that for given integers $h$ and $d$ with $h \geq 1$ and $d \geq 3$, there exists a non-normal very ample integral convex polytope of dimension $d$ which has exactly $h$ holes.
Unimodular equivalence of order and chain polytopes
Published
• View Publication
• BIB
The problem when the order polytope and the chain polytope of a finite partially ordered set are unimodularly equivalent will be solved.
An Eulerian permutation statistic and generalizations
Recently, the second author studied an Eulerian statistic (called cover) in the context of convex polytopes, and proved an equal joint distribution of (cover,des) with (des,exc). In this paper, we present several direct bijective proofs that cover is Eulerian, and examine its generalizations and their Mahonian partners. We also present a quasi-symmetric function proof (suggested by Michelle Wachs) of the above equal joint distribution.
Flow polytopes of signed graphs and the Kostant partition function
Published in Int. Math. Res. Not. 3 (2015) 830-871
• View Publication
• BIB
We establish the relationship between volumes of flow polytopes associated to signed graphs and the Kostant partition function. A special case of this relationship, namely, when the graphs are signless, has been studied in detail by Baldoni and Vergne using techniques of residues. In contrast with their approach, we provide entirely combinatorial proofs inspired by the work of Postnikov and Stanley on flow polytopes. As a fascinating special family of flow polytopes, we study the Chan-Robbins-Yuen polytopes. Motivated by the beautiful volume formula $\prod_{k=1}^{n-2} Cat(k)$ for the type $A_n$ version, where $Cat(k)$ is the $k$th Catalan number, we introduce type $C_{n+1}$ and $D_{n+1}$ Chan-Robbins-Yuen polytopes along with intriguing conjectures pertaining to their properties.
The Lecture Hall Parallelepiped
Published
• View Publication
• BIB
The s-lecture hall polytopes P_s are a class of integer polytopes defined by Savage and Schuster which are closely related to the lecture hall partitions of Eriksson and Bousquet-Mélou. We define a half-open parallelopiped Par_s associated with P_s and give a simple description of its integer points. We use this description to recover earlier results of Savage et al. on the δ-vector (or h^*-vector) and to obtain the connections to s-ascents and s-descents, as well as some generalizations of these results.
The diameter of associahedra
Published in Adv. Math. 259, 13-42 (2014)
• View Publication
• BIB
It is proven here that the diameter of the d-dimensional associahedron is 2d-4 when d is greater than 9. Two maximally distant vertices of this polytope are explicitly described as triangulations of a convex polygon, and their distance is obtained using combinatorial arguments. This settles two problems posed about twenty-five years ago by Daniel Sleator, Robert Tarjan, and William Thurston.
A short proof for the polyhedrality of the Chvátal-Gomory closure of a compact convex set
Published
• View Publication
• BIB
Recently Schrijver's open problem, whether the Chvátal--Gomory closure of an irrational polytope is polyhedral was answered independently in the affirmative by Dadush, Dey, and Vielma (even for arbitrarily compact convex set) as well as by Dunkel and Schulz. We present a very short, easily accesible proof that the Chvátal--Gomory closure of a compact convex set is a polytope.
Random Walks and Mixed Volumes of Hypersimplices
Below is a method for relating a mixed volume computation for polytopes sharing many facet directions to a symmetric random walk. The example of permutahedra and particularly hypersimplices is expanded upon.
Root polytopes and abelian ideals
Published in J. Algebraic Combin. 39 (2014), n.3, 607-645
• View Publication
• BIB
We study the root polytope $\mathcal P_Φ$ of a finite irreducible crystallographic root system $Φ$ using its relation with the abelian ideals of a Borel subalgebra of a simple Lie algebra with root system $Φ$. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal P_Φ$ and analyze its relation with the facets of $\mathcal P_Φ$. For $Φ$ of type $A_n$ or $C_n$, we show that the orbits of some special subsets of abelian ideals under the action of the Weyl group parametrize a triangulation of $\mathcal P_Φ$. We show that this triangulation restricts to a triangulation of the positive root polytope $\mathcal P_Φ^+$.
Chain polytopes and algebras with straightening laws
Published
• View Publication
• BIB
It will be shown that the toric ring of the chain polytope of a finite partially ordered set is an algebra with straightening laws on a finite distributive lattice. Thus in particular every chain polytope possesses a regular unimodular triangulation arising from a flag complex.
The maximum likelihood degree of a very affine variety
Published in Compositio Math. 149 (2013) 1245-1266
• View Publication
• BIB
We show that the maximum likelihood degree of a smooth very affine variety is equal to the signed topological Euler characteristic. This generalizes Orlik and Terao's solution to Varchenko's conjecture on complements of hyperplane arrangements to smooth very affine varieties. For very affine varieties satisfying a genericity condition at infinity, the result is further strengthened to relate the variety of critical points to the Chern-Schwartz-MacPherson class. The strengthened version recovers the geometric deletion-restriction formula of Denham et al. for arrangement complements, and generalizes Kouchnirenko's theorem on the Newton polytope for nondegenerate hypersurfaces.
Lattice-point generating functions for free sums of convex sets
Published in Journal of Combinatorial Theory Series A 120 (2013), 1246-1262
• View Publication
• BIB
Let $\J$ and $\K$ be convex sets in $\R^{n}$ whose affine spans intersect at a single rational point in $\J \cap \K$, and let $\J \oplus \K = \conv(\J \cup \K)$. We give formulas for the generating function {equation*} σ_{\cone(\J \oplus \K)}(z_1,..., z_n, z_{n+1}) = \sum_{(m_1,..., m_n) \in t(\J \oplus \K) \cap \Z^{n}} z_1^{m_1}... z_n^{m_n} z_{n+1}^{t} {equation*} of lattice points in all integer dilates of $\J \oplus \K$ in terms of $σ_{\cone \J}$ and $σ_{\cone \K}$, under various conditions on $\J$ and $\K$. This work is motivated by (and recovers) a product formula of B.\ Braun for the Ehrhart series of $¶\oplus \Q$ in the case where $¶$ and $\Q$ are lattice polytopes containing the origin, one of which is reflexive. In particular, we find necessary and sufficient conditions for Braun's formula and its multivariate analogue.
An algebraic approach to symmetric extended formulations
Published
• View Publication
• BIB
Extended formulations are an important tool to obtain small (even compact) formulations of polytopes by representing them as projections of higher dimensional ones. It is an important question whether a polytope admits a small extended formulation, i.e., one involving only a polynomial number of inequalities in its dimension. For the case of symmetric extended formulations (i.e., preserving the symmetries of the polytope) Yannakakis established a powerful technique to derive lower bounds and rule out small formulations. We rephrase the technique of Yannakakis in a group-theoretic framework. This provides a different perspective on symmetric extensions and considerably simplifies several lower bound constructions.
Minimal covers of the prisms and antiprisms
Published
• View Publication
• BIB
This paper contains a classication of the regular minimal abstract polytopes that act as covers for the convex polyhedral prisms and antiprisms. It includes a detailed discussion of their topological structure, and completes the enumeration of such covers for convex uniform polyhedra. Additionally, this paper addresses related structural questions in the theory of string C-groups.
Obstructions to weak decomposability for simplicial polytopes
Published in Proc. Amer. Math. Soc., 142(9):3249-3257, 2014
• View Publication
• BIB
Provan and Billera introduced notions of (weak) decomposability of simplicial complexes as a means of attempting to prove polynomial upper bounds on the diameter of the facet-ridge graph of a simplicial polytope. Recently, De Loera and Klee provided the first examples of simplicial polytopes that are not weakly vertex-decomposable. These polytopes are polar to certain simple transportation polytopes. In this paper, we refine their analysis to prove that these $d$-dimensional polytopes are not even weakly $O(\sqrt{d})$-decomposable. As a consequence, (weak) decomposability cannot be used to prove a polynomial version of the Hirsch conjecture.
Kronecker covers, V-construction, unit-distance graphs and isometric point-circle configurations
We call a polytope P of dimension 3 admissible if it has the following two properties: (1) for each vertex of P the set of its first-neighbours is coplanar; (2) all planes determined by the first-neighbours are distinct. It is shown that the Levi graph of a point-plane configuration obtained by V-construction from an admissible polytope P is the Kronecker cover of its 1-skeleton. We investigate the combinatorial nature of the V-construction and use it on unit-distance graphs to construct novel isometric point-circle configurations. In particular, we present an infinite series whose all members are subconfigurations of the renowned Clifford configurations.