polytope ↗ reference
3024 papers tagged with this keyword
On a canonical construction of tesselated surfaces via finite group theory, Part I
This paper is the first part in a 2 part study of an elementary functorial construction from the category of finite non-abelian groups to a category of singular compact, oriented 2-manifolds. After a desingularization process this construction results in a collection of compact, connected, oriented tesselated smooth surfaces equipped with a closed-cell structure which is face and edge transitive and which has at most 2 orbits of vertices. These tesselated surfaces can also be viewed as abstract 3-polytopes (or as graph embeddings in the corresponding surface) which are either equivar or dual to abstract quasiregular polytopes. This construction generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. We study the distribution of these surfaces in various groups and some interesting resulting tesselations. In a second paper, we show that extensions of groups result in branched coverings between the component surfaces in their decompositions. We also exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.
On face numbers of neighborly cubical polytopes
Neighborly cubical polytopes are known as the cubical analogues of the cyclic polytopes. Using the short cubical $h$-vectors of cubical polytopes (introduced by Adin), we derive an explicit formula for the face numbers of the neighborly cubical polytopes. These face numbers form a unimodal sequence.
Enumerating Polytropes
Published
• View Publication
• BIB
Polytropes are both ordinary and tropical polytopes. We show that tropical types of polytropes in $\mathbb{TP}^{n-1}$ are in bijection with cones of a certain Gröbner fan $\mathcal{GF}_n$ in $\mathbb{R}^{n^2 - n}$ restricted to a small cone called the polytrope region. These in turn are indexed by compatible sets of bipartite and triangle binomials. Geometrically, on the polytrope region, $\mathcal{GF}_n$ is the refinement of two fans: the fan of linearity of the polytrope map appeared in \cite{tran.combi}, and the bipartite binomial fan. This gives two algorithms for enumerating tropical types of polytropes: one via a general Gröbner fan software such as \textsf{gfan}, and another via checking compatibility of systems of bipartite and triangle binomials. We use these algorithms to compute types of full-dimensional polytropes for $n = 4$, and maximal polytropes for $n = 5$.
The rigidity of infinite graphs
Published
• View Publication
• BIB
A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1<p<\infty. Generalisations are obtained for the Laman and Henneberg combinatorial characterisations of generic infinitesimal rigidity for finite graphs in the Euclidean plane. Also Tay's multi-graph characterisation of the rigidity of generic finite body-bar frameworks in d-dimensional Euclidean space is generalised to the non-Euclidean l^p norms and to countably infinite graphs. For all dimensions and norms it is shown that a generically rigid countable simple graph is the direct limit of an inclusion tower of finite graphs for which the inclusions satisfy a relative rigidity property. For d>2 a countable graph which is rigid for generic placements in R^d may fail the stronger property of sequential rigidity, while for d=2 the equivalence with sequential rigidity is obtained from the generalised Laman characterisations. Applications are given to the flexibility of non-Euclidean convex polyhedra and to the infinitesimal and continuous rigidity of compact infinitely-faceted simplicial polytopes.
Tight orientably-regular polytopes
Published
• View Publication
• BIB
Every equivelar abstract polytope of type $\{p_1, \ldots, p_{n-1}\}$ has at least $2p_1 \cdots p_{n-1}$ flags. Polytopes that attain this lower bound are called tight. Here we investigate the question of under what conditions there is a tight orientably-regular polytope of type $\{p_1, \ldots, p_{n-1}\}$. We show that it is necessary and sufficient that whenever $p_i$ is odd, both $p_{i-1}$ and $p_{i+1}$ are even divisors of $2p_i$.
On fractional realizations of graph degree sequences
Published in Electronic Journal of Combinatorics 21 (2014), no. 2, Paper #P2.18
• View Publication
• BIB
We introduce fractional realizations of a graph degree sequence and a closely associated convex polytope. Simple graph realizations correspond to a subset of the vertices of this polytope. We describe properties of the polytope vertices and characterize degree sequences for which each polytope vertex corresponds to a simple graph realization. These include the degree sequences of pseudo-split graphs, and we characterize their realizations both in terms of forbidden subgraphs and graph structure.
Newton Polytopes of Cluster Variables of Type A_n
Published
• View Publication
• BIB
We study Newton polytopes of cluster variables in type A_n cluster algebras, whose cluster and coefficient variables are indexed by the diagonals and boundary segments of a polygon. Our main results include an explicit description of the affine hull and facets of the Newton polytope of the Laurent expansion of any cluster variable, with respect to any cluster. In particular, we show that every Laurent monomial in a Laurent expansion of a type A cluster variable corresponds to a vertex of the Newton polytope. We also describe the face lattice of each Newton polytope via an isomorphism with the lattice of elementary subgraphs of the associated snake graph.
Largest integral simplices with one interior integral point: Solution of Hensley's conjecture and related results
Published
• View Publication
• BIB
For each dimension $d$, $d$-dimensional integral simplices with exactly one interior integral point have bounded volume. This was first shown by Hensley. Explicit volume bounds were determined by Hensley, Lagarias and Ziegler, Pikhurko, and Averkov. In this paper we determine the exact upper volume bound for such simplices and characterize the volume-maximizing simplices. We also determine the sharp upper bound on the coefficient of asymmetry of an integral polytope with a single interior integral point. This result confirms a conjecture of Hensley from 1983. Moreover, for an integral simplex with precisely one interior integral point, we give bounds on the volumes of its faces, the barycentric coordinates of the interior integral point and its number of integral points. Furthermore, we prove a bound on the lattice diameter of integral polytopes with a fixed number of interior integral points. The presented results have applications in toric geometry and in integer optimization.
Stable Intersections of Tropical Varieties
Published in J. Algebraic Combin. 43 (2016), no. 1, 101-128
• View Publication
• BIB
We give several characterizations of stable intersections of tropical cycles and establish their fundamental properties. We prove that the stable intersection of two tropical varieties is the tropicalization of the intersection of the classical varieties after a generic rescaling. A proof of Bernstein's theorem follows from this. We prove that the tropical intersection ring of tropical cycle fans is isomorphic to McMullen's polytope algebra. It follows that every tropical cycle fan is a linear combination of pure powers of tropical hypersurfaces, which are always realizable. We prove that every stable intersection of constant coefficient tropical varieties defined by prime ideals is connected through codimension one. We also give an example of a realizable tropical variety that is connected through codimension one but whose stable intersection with a hyperplane is not.
Kirillov-Reshetikhin crystals, energy function and the combinatorial R-matrix
Published in J. Algebraic Combin. 43 (2016) no. 1, 45-74
• View Publication
• BIB
We study the polytope model for the affine type $A$ Kirillov-Reshetikhin crystals and prove that the action of the affine Kashiwara operators can be described in a remarkable simple way. Moreover, we investigate the combinatorial $R$-matrix on a tensor product of polytopes and characterize the map explicitly on the highest weight elements. We further give a formula for the local energy function and provide an alternative proof for the perfectness. We determine for any dominant highest weight element $Λ$ of level $\ell$ the elements $b_Λ, b^Λ$ involved in the definition of perfect crystals and give an explicit description of the ground-state path in the tensor product of polytopes.
Tropicalizing the positive semidefinite cone
Published in Proc. Amer. Math. Soc. 143 (2015), no. 5, 1891-1895
• View Publication
• BIB
We study the tropicalization of the cone of positive semidefinite matrices over the ordered field of real Puiseux series. The tropical PSD matrices form the normal cone of the Newton polytope of the symmetric determinant at the vertex corresponding to the product of diagonal entries. We find generators and defining inequalities of the cone. The PSD tropical quadratic forms are those that induce the trivial subdivision on the standard simplex dilated by two. We also show that the tropical PSD cone is the tropical convex hull of the set of symmetric matrices of tropical rank one and that every tropical PSD matrix can be factored as a tropical product of a matrix and its transpose.
Signed tree associahedra
Published
• View Publication
• BIB
An associahedron is a polytope whose vertices correspond to the triangulations of a convex polygon and whose edges correspond to flips between them. A particularly elegant realization of the associahedron, due to S. Shnider and S. Sternberg and popularized by J.-L. Loday, has been generalized in two directions: on the one hand by A. Postnikov to obtain a realization of the graph associahedra of M. Carr and S. Devadoss, and on the other hand by C. Hohlweg and C. Lange to obtain multiple realizations of the associahedron parametrized by a sequence of signs. The goal of this paper is to unify and extend these two constructions to signed tree associahedra.
We define the notions of signed tubes and signed nested sets on a vertex-signed tree, generalizing the classical notions of tubes and nested sets for unsigned trees. The resulting signed nested complexes are all simplicial spheres, but they are not necessarily isomorphic, even if they arise from signed trees with the same underlying unsigned structure. We then construct a signed tree associahedron realizing the signed nested complex, obtained by removing certain well-chosen facets from the classical permutahedron. We study relevant properties of its normal fan and of certain orientations of its 1-skeleton, in connection to the braid arrangement and to the weak order. Our main tool, both for combinatorial and geometric perspectives, is the notion of spines on a vertex-signed tree, which extend the families of Schröder and binary search trees.
Lattice polytopes, finite abelian subgroups in $\SL(n,\C)$ and coding theory
We consider $d$-dimensional lattice polytopes $Δ$ with $h^*$-polynomial $h^*_Δ=1+h_k^*t^k$ for $1<k<(d+1)/2$ and relate them to some abelian subgroups of $\SL_{d+1}(\C)$ of order $1+h_k^*=p^r$ where $p$ is a prime number. These subgroups can be investigate by means of coding theory as special linear constant weight codes in $\F_p^{d+1}$. If $p =2$, then the classication of these codes and corresponding lattice polytopes can be obtained using a theorem of Bonisoli. If $p > 2$, the main technical tool in the classification of these linear codes is the non-vanishing theorem for generalized Bernoulli numbers $B_{1,χ}^{(r)}$ associated with odd characters $χ:\F_q^*\to\C^*$ where $q=p^r$. Our result implies a complete classification of all lattice polytopes whose $h^*$-polynomial is a binomial.
Normal 0-1 polytopes
We study the question of when 0-1 polytopes are normal or, equivalently, having the integer decomposition property. In particular, we shall associate to each 0-1 polytope a labeled hypergraph, and examine the equality between its Ehrhart and polytopal rings via the combinatorial structures of the labeled hypergraph.
Forbidden vertices
Published
• View Publication
• BIB
In this work, we introduce and study the forbidden-vertices problem. Given a polytope P and a subset X of its vertices, we study the complexity of linear optimization over the subset of vertices of P that are not contained in X. This problem is closely related to finding the k-best basic solutions to a linear problem. We show that the complexity of the problem changes significantly depending on the encoding of both P and X. We provide additional tractability results and extended formulations when P has binary vertices only. Some applications and extensions to integral polytopes are discussed.
A proof for Padberg's conjecture on rank of matching polytope
Padberg introduced a geometric notion of ranks for (mixed) integer rational polyhedrons and conjectured that the geometric rank of the matching polytope is one. In this work, we prove that this conjecture is true.
On counterexamples to a conjecture of Wills and Ehrhart polynomials whose roots have equal real parts
Published
• View Publication
• BIB
As a discrete analog to Minkowski's theorem on convex bodies, Wills conjectured that the Ehrhart coefficients of a centrally symmetric lattice polytope with exactly one interior lattice point are maximized by those of the cube of side length two. We discuss several counterexamples to this conjecture and, on the positive side, we identify a family of lattice polytopes that fulfill the claimed inequalities. This family is related to the recently introduced class of $l$-reflexive polytopes.
Neighborly inscribed polytopes and Delaunay triangulations
Published
• View Publication
• BIB
We construct a large family of neighborly polytopes that can be realized with all the vertices on the boundary of any smooth strictly convex body. In particular, we show that there are superexponentially many combinatorially distinct neighborly polytopes that admit realizations inscribed on the sphere. These are the first examples of inscribable neighborly polytopes that are not cyclic polytopes, and provide the current best lower bound for the number of combinatorial types of inscribable polytopes (which coincides with the current best lower bound for the number of combinatorial types of polytopes). Via stereographic projections, this translates into a superexponential lower bound for the number of combinatorial types of (neighborly) Delaunay triangulations.
Strong Koszulness of toric rings associated with stable set polytopes of trivially perfect graphs
Published
• View Publication
• BIB
We give necessary and sufficient conditions for strong Koszulness of toric rings associated with the stable set polytope of graphs.
The full Kostant-Toda hierarchy on the positive flag variety
Published
• View Publication
• BIB
We study some geometric and combinatorial aspects of the solution to the full Kostant-Toda (f-KT) hierarchy, when the initial data is given by an arbitrary point on the totally non-negative (tnn) flag variety of SL_n(R). The f-KT flows on the tnn flag variety are complete, and their asymptotics are completely determined by the cell decomposition of the tnn flag variety given by Rietsch. We define the f-KT flow on the weight space via the moment map, and show that the closure of each f-KT flow forms an interesting convex polytope generalizing the permutohedron which we call a Bruhat interval polytope. We also prove analogous results for the full symmetric Toda hierarchy, by mapping our f-KT solutions to those of the full symmetric Toda hierarchy. In the Appendix we show that Bruhat interval polytopes are generalized permutohedra, in the sense of Postnikov, and that their edges correspond to cover relations in the Bruhat order.