polytope ↗ reference
3024 papers tagged with this keyword
Root polytopes, Tutte polynomials, and a duality theorem for bipartite graphs
Published
• View Publication
• BIB
Let G be a connected bipartite graph with color classes E and V and root polytope Q. Regarding the hypergraph (V,E) induced by G, we prove that its interior polynomial is equivalent to the Ehrhart polynomial of Q, which in turn is equivalent to the h-vector of any triangulation of Q. It follows that the interior polynomials of (V,E) and its transpose (E,V) agree.
When G is a complete bipartite graph, our result recovers a well known hypergeometric identity due to Saalschütz. It also implies that certain extremal coefficients in the Homfly polynomial of a special alternating link can be read off of an associated Floer homology group.
Root systems and graph associahedra
It is known that a connected simple graph $G$ associates a simple polytope $P_G$ called a graph associahedron in Euclidean space. In this paper we show that the set of facet vectors of $P_G$ forms a root system if and only if $G$ is a cycle graph and that the root system is of type A.
Any Finite Group is the Group of Some Binary, Convex Polytope
Published
• View Publication
• BIB
For any given finite group, Schulte and Williams (2015) establish the existence of a convex polytope whose combinatorial automorphisms form a group isomorphic to the given group. We provide here a shorter proof for a stronger result: the convex polytope we build for the given finite group is binary, and even combinatorial in the sense of Naddef and Pulleyblank (1981); the diameter of its skeleton is at most 2; any combinatorial automorphism of the polytope is induced by some isometry of the space; any automorphism of the skeleton is a combinatorial automorphism.
Macdonald's solid-angle sum for real dilations of rational polygons
The solid-angle sum $A_{\mathcal{P}} (t)$ of a rational polytope ${\mathcal{P}} \subset \mathbb{R}^d$, with $t \in \mathbb{Z}$ was first investigated by I.G. Macdonald. Using our Fourier-analytic methods, we are able to establish an explicit formula for $A_{\mathcal{P}} (t)$, for any real dilation $t$ and any rational polygon ${\mathcal{P}} \subset \mathbb{R}^2$. Our formulation sheds additional light on previous results, for lattice-point enumerating functions of triangles, which are usually confined to the case of integer dilations. Our approach differs from that of Hardy and Littlewood in 1992, but offers an alternate point of view for enumerating weighted lattice points in real dilations of real triangles.
Linear recurrence relations in $Q$-systems via lattice points in polyhedra
Published
• View Publication
• BIB
We prove that the sequence of the characters of the Kirillov-Reshetikhin (KR) modules $W_{m}^{(a)}, m\in \mathbb{Z}_{m\geq 0}$ associated to a node $a$ of the Dynkin diagram of a complex simple Lie algebra $\mathfrak{g}$ satisfies a linear recurrence relation except for some cases in types $E_7$ and $E_8$. To this end we use the $Q$-system and the existing lattice point summation formula for the decomposition of KR modules, known as domino removal rules when $\mathfrak{g}$ is of classical type. As an application, we show how to reduce some unproven lattice point summation formulas in exceptional types to finite problems in linear algebra and also give a new proof of them in type $G_2$, which is the only completely proven case when KR modules have an irreducible summand with multiplicity greater than 1. We also apply the recurrence to prove that the function $\dim W_{m}^{(a)}$ is a quasipolynomial in $m$ and establish its properties. We conjecture that there exists a rational polytope such that its Ehrhart quasipolynomial in $m$ is $\dim W_{m}^{(a)}$ and the lattice points of its $m$-th dilate carry the same crystal structure as the crystal associated with $W_{m}^{(a)}$.
Cyclopermutohedron: geometry and topology
Published
• View Publication
• BIB
The face poset of the permutohedron realizes the combinatorics of linearly ordered partitions of the set $[n]=\{1,...,n\}$. Similarly, the cyclopermutohedron is a virtual polytope that realizes the combinatorics of cyclically ordered partitions of the set $[n+1]$. The cyclopermutohedron was introduced by the third author by motivations coming from configuration spaces of polygonal linkages. In the paper we prove two facts: (1) the volume of the cyclopermutohedron equals zero, and (2) the homology groups $H_k$ for $k=0,...,n-2$ of the face poset of the cyclopermutohedron are non-zero free abelian groups. We also present a short formula for their ranks.
$LS$-category of moment-angle manifolds and higher order Massey products
Published
• View Publication
• BIB
Using the combinatorics of the underlying simplicial complex $K$, we give various upper and lower bounds for the Lusternik-Schnirelmann (LS) category of moment-angle complexes $\zk$. We describe families of simplicial complexes and combinatorial operations which allow for a systematic description of the LS category. In particular, we characterise the LS category of moment-angle complexes $\zk$ over triangulated $d$-manifolds $K$ for $d\leq 2$, as well as higher dimension spheres built up via connected sum, join, and vertex doubling operations. %This characterisation is given in terms of the combinatorics of $K$, the cup product length of $H^*(\zk)$, as well as a certain Massey products. We show that the LS category closely relates to vanishing of Massey products in $H^*(\zk)$ and through this connection we describe first structural properties of Massey products in moment-angel manifolds. Some of further applications include calculations of the LS category and the description of conditions for vanishing of Massey products for moment-angle manifolds over fullerenes, Pogorelov polytopes and $k$-neighbourly complexes, which double as important examples of hyperbolic manifolds.
Flip-connectivity of triangulations of the product of a tetrahedron and simplex
Published
• View Publication
• BIB
A flip is a minimal move between two triangulations of a polytope. An open question is whether any two triangulations of the product of two simplices can be connected through a series of flips. This was proven in the case where one of the simplices is a triangle by Santos in 2005. In this paper we extend this to when one of the simplices is a tetrahedron.
The fiber dimension of a graph
Published
• View Publication
• BIB
Graphs on integer points of polytopes whose edges come from a set of allowed differences are studied. It is shown that any simple graph can be embedded in that way. The minimal dimension of such a representation is the fiber dimension of the given graph. The fiber dimension is determined for various classes of graphs and an upper bound in terms of the chromatic number is stated.
Enumeration of lattice 3-polytopes by their number of lattice points
Published in Discrete Comput. Geom. 60:3 (2018), 756-800
• View Publication
• BIB
We develop a procedure for the complete computational enumeration of lattice $3$-polytopes of width larger than one, up to any given number of lattice points. We also implement an algorithm for doing this and enumerate those with at most eleven lattice points (there are 216,453 of them).
In order to achieve this we prove that if $P$ is a lattice 3-polytope of width larger than one and with at least seven lattice points then it fits in one of three categories that we call boxed, spiked and merged.
Boxed polytopes have at most 11 lattice points; in particular they are finitely many, and we enumerate them completely with computer help. Spiked polytopes are infinitely many but admit a quite precise description (and enumeration). Merged polytopes are computed as a union (merging) of two polytopes of width larger than one and strictly smaller number of lattice points.
On paths, stars and wyes in trees
We further the study of local profiles of trees. Bubeck and Linial showed that the set of 5-profiles contains a certain polytope, namely the convex hull of d-millipedes, and they proved that the segment [0-millipede, 1-millipede] corresponds to a face of the set of 5-profiles. Our main result shows that the segment [1-millipede, 2-millipede] also corresponds to a face. Surprisingly we also show that for d > 3 the segment [d-millipede, (d+1)-millipede] is not a face of the set of 5-profiles. We do so by exhibiting new trees which are generalized millipedes with intriguing patterns for their degree sequence. The plot thickens, and the set of 5-profiles remains a mysterious convex set.
Counting lattice points in free sums of polytopes
Published in J. Comb. Theory, Ser. A 151 (2017), 51-60
• View Publication
• BIB
We show how to compute the Ehrhart polynomial of the free sum of two lattice polytopes containing the origin $P$ and $Q$ in terms of the enumerative combinatorics of $P$ and $Q$. This generalizes work of Beck, Jayawant, McAllister, and Braun, and follows from the observation that the weighted $h^*$-polynomial is multiplicative with respect to the free sum. We deduce that given a lattice polytope $P$ containing the origin, the problem of computing the number of lattice points in all rational dilates of $P$ is equivalent to the problem of computing the number of lattice points in all integer dilates of all free sums of $P$ with itself.
A Graph Theoretic Proof of the Tight Cut Lemma
Published
• View Publication
• BIB
In deriving their characterization of the perfect matchings polytope, Edmonds, Lovász, and Pulleyblank introduced the so-called {\em Tight Cut Lemma} as the most challenging aspect of their work. The Tight Cut Lemma in fact claims {\em bricks} as the fundamental building blocks that constitute a graph in studying the matching polytope and can be referred to as a key result in this field. Even though the Tight Cut Lemma is a matching \textup{(}$1$-matching\textup{)} theoretic statement that consists of purely graph theoretic concepts, the known proofs either employ a linear programming argument or are established upon results regarding a substantially wider notion than matchings. This paper presents a new proof of the Tight Cut Lemma, which attains both of the two reasonable features for the first time, namely, being {\em purely graph theoretic} as well as {\em purely matching theory closed}. Our proof uses, as the only preliminary result, the canonical decomposition recently introduced by Kita. By further developing this canonical decomposition, we acquire a new device of {\em towers} to analyze the structure of bricks, and thus prove the Tight Cut Lemma. We believe that our new proof of the Tight Cut Lemma provides a highly versatile example of how to handle bricks.
Volume, facets and dual polytopes of twinned chain polytopes
Published in Annals of Combinatorics 22(2018), 875--884
• View Publication
• BIB
Let $(P,\leq_P)$ and $(Q,\leq_Q)$ be finite partially ordered sets with $|P|=|Q|=d$, and $\mathcal{C}(P) \subset \mathbb{R}^d$ and $\mathcal{C}(Q) \subset \mathbb{R}^d$ their chain polytopes. The twinned chain polytope of $P$ and $Q$ is the lattice polytope $Γ(\mathcal{C}(P),\mathcal{C}(Q)) \subset \mathbb{R}^d$ which is the convex hull of $\mathcal{C}(P) \cup (-\mathcal{C}(Q))$. It is known that twinned chain polytopes are Gorenstein Fano polytopes with the integer decomposition property. In the present paper, we study combinatorial properties of twinned chain polytopes. First, we will give the formula of the volume of twinned chain polytopes in terms of the underlying partially ordered sets. Second, we will identify the facet-supporting hyperplanes of twinned chain polytopes in terms of the underlying partially ordered sets. Finally, we will provide the vertex representations of the dual polytopes of twinned chain polytopes.
Webs of stars or how to triangulate free sums of point configurations
Published in Journal of Combinatorial Theory. Series A 159 (2018), 183-214
• View Publication
• BIB
The triangulations of point configurations which decompose as a free sum are classified in terms of the triangulations of the summands. The methods employ two new kinds of partially ordered sets to be associated with any triangulation of a point set with one point marked, the "web of stars" and the "stabbing poset". Triangulations of smooth Fano polytopes are discussed as a case study.
Primitive Zonotopes
Published
• View Publication
• BIB
We introduce and study a family of polytopes which can be seen as a generalization of the permutahedron of type $B_d$. We highlight connections with the largest possible diameter of the convex hull of a set of points in dimension $d$ whose coordinates are integers between $0$ and $k$, and with the computational complexity of multicriteria matroid optimization.
On the diameter of lattice polytopes
Published
• View Publication
• BIB
In this paper we show that the diameter of a d-dimensional lattice polytope in [0,k]^n is at most (k - 1/2) d. This result implies that the diameter of a d-dimensional half-integral polytope is at most 3/2 d. We also show that for half-integral polytopes the latter bound is tight for any d.
Combinatorial and Probabilistic Formulae for Divided Symmetrization
Published
• View Publication
• BIB
Divided symmetrization of a function $f(x_1,\dots,x_n)$ is symmetrization of the ratio $$DS_G(f)=\frac{f(x_1,\dots,x_n)}{\prod (x_i-x_j)},$$ where the product is taken over the set of edges of some graph $G$. We concentrate on the case when $G$ is a tree and $f$ is a polynomial of degree $n-1$, in this case $DS_G(f)$ is a constant function. We give a combinatorial interpretation of the divided symmetrization of monomials for general trees and probabilistic game interpretation for a tree which is a path. In particular, this implies a result by Postnikov originally proved by computing volumes of special polytopes, and suggests its generalization.
The Dehn-Sommerville Relations and the Catalan Matroid
Published
• View Publication
• BIB
The $f$-vector of a $d$-dimensional polytope $P$ stores the number of faces of each dimension. When $P$ is simplicial the Dehn--Sommerville relations condense the $f$-vector into the $g$-vector, which has length $\lceil{\frac{d+1}{2}}\rceil$. Thus, to determine the $f$-vector of $P$, we only need to know approximately half of its entries. This raises the question: Which $(\lceil{\frac{d+1}{2}}\rceil)$-subsets of the $f$-vector of a general simplicial polytope are sufficient to determine the whole $f$-vector? We prove that the answer is given by the bases of the Catalan matroid.
Supercharacter theories of type $A$ unipotent radicals and unipotent polytopes
Published
• View Publication
• BIB
Even with the introduction of supercharacter theories, the representation theory of many unipotent groups remains mysterious. This paper constructs a family of supercharacter theories for normal pattern groups in a way that exhibit many of the combinatorial properties of the set partition combinatorics of the full uni-triangular groups, including combinatorial indexing sets, dimensions, and computable character formulas. Associated with these supercharacter theories is also a family of polytopes whose integer lattice points give the theories geometric underpinnings.