polytope ↗ reference
3024 papers tagged with this keyword
Triangulations of root polytopes
Published
• View Publication
• BIB
Let $Φ$ be an irreducible crystallographic root system and $\mathcal P$ its root polytope, i.e., its convex hull. We provide a uniform construction, for all root types, of a triangulation of the facets of $\mathcal P$. We also prove that, on each orbit of facets under the action of the Weyl gruop, the triangulation is unimodular with respect to a root sublattice that depends on the orbit.
On Dantzig figures from graded lexicographic orders
Published in Discrete Mathematics, 341 (6), pp. 1534 - 1554, 2018
• View Publication
• BIB
We construct two families of Dantzig figures, which are $(d,2d)$-polytopes with an antipodal vertex pair, from convex hulls of initial subsets for the graded lexicographic (grlex) and graded reverse lexicographic (grevlex) orders on $\mathbb{Z}^{d}_{\geq 0}$. These two polytopes have the same number of vertices, $\mathcal{O}(d^{2})$, and the same number of edges, $\mathcal{O}(d^{3})$, but are not combinatorially equivalent. We provide an explicit description of the vertices and the facets for both families and describe their graphs along with analyzing their basic properties such as the radius, diameter, existence of Hamiltonian circuits, and chromatic number. Moreover, we also analyze the edge expansions of these graphs.
Fundamental polytopes of metric trees via parallel connections of matroids
Published in European Journal of Combinatorics 2020
• View Publication
• BIB
We tackle the problem of a combinatorial classification of finite metric spaces via their fundamental polytopes, as suggested by Vershik in 2010. In this paper we consider a hyperplane arrangement associated to every split pseudometric and, for tree-like metrics, we study the combinatorics of its underlying matroid. We give explicit formulas for the face numbers of fundamental polytopes and Lipschitz polytopes of all tree-like metrics, and we characterize the metric trees for which the fundamental polytope is simplicial.
Lovász-Schrijver PSD-operator on Claw-Free Graphs
Published
• View Publication
• BIB
The subject of this work is the study of $\LS_+$-perfect graphs defined as those graphs $G$ for which the stable set polytope $\stab(G)$ is achieved in one iteration of Lovász-Schrijver PSD-operator $\LS_+$, applied to its edge relaxation $\estab(G)$. In particular, we look for a polyhedral relaxation of $\stab(G)$ that coincides with $\LS_+(\estab(G))$ and $\stab(G)$ if and only if $G$ is $\LS_+$-perfect. An according conjecture has been recently formulated ($\LS_+$-Perfect Graph Conjecture); here we verify it for the well-studied class of claw-free graphs.
A Short Proof of Euler--Poincaré Formula
"V - E + F = 2", the famous Euler's polyhedral formula, has a natural generalization to convex polytopes in every finite dimension, also known as the Euler-Poincaré Formula. We provide another short inductive proof of the general formula. Our proof is self-contained and it does not use shellability of polytopes.
Bounds for entries of $γ$-vectors of flag homology spheres
We present some enumerative and structural results for flag homology spheres. For a flag homology sphere $Δ$, we show that its $γ$-vector $γ^Δ=(1,γ_1,γ_2,\ldots)$ satisfies: \begin{align*}
γ_j=0,\text{ for all } j>γ_1, \quad γ_2\leq\binom{γ_1}{2}, \quad γ_{γ_1}\in\{0,1\}, \quad \text{ and }γ_{γ_1-1}\in\{0,1,2,γ_1\}, \end{align*} supporting a conjecture of Nevo and Petersen. Further we characterize the possible structures for $Δ$ in extremal cases. As an application, the techniques used produce infinitely many $f$-vectors of flag balanced simplicial complexes that are not $γ$-vectors of flag homology spheres (of any dimension); these are the first examples of this kind.
In addition, we prove a flag analog of Perles' 1970 theorem on $k$-skeleta of polytopes with "few" vertices, specifically: the number of combinatorial types of $k$-skeleta of flag homology spheres with $γ_1\leq b$, of any given dimension, is bounded independently of the dimension.
Parabolic double cosets in Coxeter groups
Published
• View Publication
• BIB
Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double coset are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element.
Flow polytopes with Catalan volumes
Published
• View Publication
• BIB
The Chan-Robbins-Yuen polytope can be thought of as the flow polytope of the complete graph with netflow vector $(1, 0, \ldots, 0, -1)$. The normalized volume of the Chan-Robbins-Yuen polytope equals the product of consecutive Catalan numbers, yet there is no combinatorial proof of this fact. We consider a natural generalization of this polytope, namely, the flow polytope of the complete graph with netflow vector $(1,1, 0, \ldots, 0, -2)$. We show that the volume of this polytope is a certain power of $2$ times the product of consecutive Catalan numbers. Our proof uses constant term identities and further deepens the combinatorial mystery of why these numbers appear. In addition we introduce two more families of flow polytopes whose volumes are given by product formulas.
Stapledon Decompositions and Inequalities for Coefficients of Chromatic Polynomials
We use a polynomial decomposition result by Stapledon to show that the numerator polynomial of the Ehrhart series of an open polytope is the difference of two symmetric polynomials with nonnegative integer coefficients. We obtain a related decomposition for order polytopes and for the numerator polynomial of the corresponding series for chromatic polynomials. The nonnegativity of the coefficients in such decompositions provide inequalities satisfied by the coefficients of chromatic polynomials for any simple graph.
Sperner's colorings and optimal partitioning of the simplex
Published
• View Publication
• BIB
We discuss coloring and partitioning questions related to Sperner's Lemma, originally motivated by an application in hardness of approximation. Informally, we call a partitioning of the $(k-1)$-dimensional simplex into $k$ parts, or a labeling of a lattice inside the simplex by $k$ colors, "Sperner-admissible" if color $i$ avoids the face opposite to vertex $i$. The questions we study are of the following flavor: What is the Sperner-admissible labeling/partitioning that makes the total area of the boundary between different colors/parts as small as possible?
First, for a natural arrangement of "cells" in the simplex, we prove an optimal lower bound on the number of cells that must be non-monochromatic in any Sperner-admissible labeling. This lower bound is matched by a simple labeling where each vertex receives the minimum admissible color.
Second, we show for this arrangement that in contrast to Sperner's Lemma, there is a Sperner-admissible labeling such that every cell contains at most $4$ colors.
Finally, we prove a geometric variant of the first result: For any Sperner-admissible partition of the regular simplex, the total surface area of the boundary shared by at least two different parts is minimized by the Voronoi partition $(A^*_1,\ldots,A^*_k)$ where $A^*_i$ contains all the points whose closest vertex is $i$. We also discuss possible extensions of this result to general polytopes and some open questions.
The Graph of the Pedigree Polytope is Asymptotically Almost Complete (Extended Abstract)
Published
• View Publication
• BIB
Graphs (1-skeletons) of Traveling-Salesman-related polytopes have attracted a lot of attention. Pedigree polytopes are extensions of the classical Symmetric Traveling Salesman Problem polytopes (Arthanari 2000) whose graphs contain the TSP polytope graphs as spanning subgraphs (Arthanari 2013). Unlike TSP polytopes, Pedigree polytopes are not "symmetric", e.g., their graphs are not vertex transitive, not even regular. We show that in the graph of the pedigree polytope, the quotient minimum degree over number of vertices tends to 1 as the number of cities tends to infinity.
On the Graph of the Pedigree Polytope
Pedigree polytopes are extensions of the classical Symmetric Traveling Salesman Problem polytopes whose graphs (1-skeletons) contain the TSP polytope graphs as spanning subgraphs. While deciding adjacency of vertices in TSP polytopes is coNP-complete, Arthanari has given a combinatorial (polynomially decidable) characterization of adjacency in Pedigree polytopes. Based on this characterization, we study the graphs of Pedigree polytopes asymptotically, for large numbers of cities. Unlike TSP polytope graphs, which are vertex transitive, Pedigree graphs are not even regular. Using an "adjacency game" to handle Arthanari's intricate inductive characterization of adjacency, we prove that the minimum degree is asymptotically equal to the number of vertices, i.e., the graph is "asymptotically almost complete".
On the diameter of dual graphs of Stanley-Reisner rings with Serre $(S_2)$ property and Hirsch type bounds on abstractions of polytopes
Published
• View Publication
• BIB
Let $R$ be a Noetherian commutative ring of positive dimension. The Hochster-Huneke graph of $R$ (sometimes called the dual graph of Spec $R$ and denoted by $\mathcal{G} (R)$) is defined as follows: the vertices are the minimal prime ideals of $R$, and the edges are the pairs of prime ideals $(P_1,P_2)$ with height $(P_1 + P_2) = 1$. If $R$ satisfies Serre's property $(S_2)$, then $\mathcal{G} (R)$ is connected. In this note, we provide lower and upper bounds for the maximum diameter of Hochster-Huneke graphs of Stanley-Reisner rings satisfying $(S_2)$. These bounds depend on the number of variables and the dimension. Hochster-Huneke graphs of $(S_2)$ Stanley-Reisner rings are a natural abstraction of the $1$-skeletons of polyhedra. We discuss how our bounds imply new Hirsch-type bounds on $1$-skeletons of polyhedra.
Diameter and Automorphisms of Gelfand-Tsetlin Polytopes
Published
• View Publication
• BIB
We determine the diameter of the 1-skeleton and the combinatorial automorphism group of any Gelfand-Tsetlin polytope GT$_λ$ associated to an integer partition $λ.$
Connectivity and $W_v$-Paths in Polyhedral Maps on Surfaces
Published in Discrete & Computational Geometry, 2017
• View Publication
• BIB
The $W_v$-Path Conjecture due to Klee and Wolfe states that any two vertices of a simple polytope can be joined by a path that does not revisit any facet. This is equivalent to the well-known Hirsch Conjecture. Klee proved that the $W_v$-Path Conjecture is true for all 3-polytopes (3-connected plane graphs), and conjectured even more, namely that the $W_v$-Path Conjecture is true for all general cell complexes. This general $W_v$-Path Conjecture was verified for polyhedral maps on the projective plane and the torus by Barnette, and on the Klein bottle by Pulapaka and Vince. Let $G$ be a graph polyhedrally embedded in a surface $Σ$, and $x, y$ be two vertices of $G$. In this paper, we show that if there are three internally disjoint $(x,y)$-paths which are homotopic to each other, then there exists a $W_v$-path joining $x$ and $y$. For every surface $Σ$, define a function $f(Σ)$ such that if for every graph polyhedrally embedded in $Σ$ and for a pair of vertices $x$ and $y$ in $V(G)$, the local connectivity $κ_G(x,y) \ge f(Σ)$, then there exists a $W_v$-path joining $x$ and $y$. We show that $f(Σ)=3$ if $Σ$ is the sphere, and for all other surfaces $3-τ(Σ)\le f(Σ)\le 9-4χ(Σ)$, where $χ(Σ)$ is the Euler characteristic of $Σ$, and $τ(Σ)=χ(Σ)$ if $χ(Σ)< -1$ and 0 otherwise. Further, if $x$ and $y$ are not cofacial, we prove that $G$ has at least $κ_G(x,y)+4χ(Σ)-8$ internally disjoint $W_v$-paths joining $x$ and $y$. This bound is sharp for the sphere. Our results indicate that the $W_v$-path problem is related to both the local connectivity $κ_G(x,y)$, and the number of different homotopy classes of internally disjoint $(x,y)$-paths as well as the number of internally disjoint $(x,y)$-paths in each homotopy class.
Finite sets of operations sufficient to construct any fullerene from $C_{20}$
Published
• View Publication
• BIB
We study the well-known problem of combinatorial classification of fullerenes. By a (mathematical) fullerene we mean a convex simple three dimensional polytope with all facets pentagons and hexagons. We analyse approaches of construction of arbitrary fullerene from the dodecahedron (a fullerene $C_{20}$). A growth operation is a combinatorial operation that substitutes the patch with more facets and the same boundary for the patch on the surface of a simple polytope to produce a new simple polytope. It is known that an infinite set of different growth operations transforming fullerenes into fullerenes is needed to construct any fullerene from the dodecahedron. We prove that if we allow a polytope to contain one exceptional facet, which is a quadrangle or a heptagon, then a finite set of growth operation is sufficient. We analyze pairs of objects: a finite set of operations, and a family of acceptable polytopes containing fullerenes such that any polytope of the family can be obtained from the dodecahedron by a sequence of operations from the corresponding set. We describe explicitly three such pairs. First two pairs contain seven operations, and the last -- eleven operations. Each of these operations corresponds to a finite set of growth operations and is a composition of edge- and two edges-truncations.
On a special class of general permutahedra
Published
• View Publication
• BIB
Minkowski sums of simplices in ${\mathbb{R}}^n$ form an interesting class of polytopes that seem to emerge in various situations. In this paper we discuss the Minkowski sum of the simplices $Δ_{k-1}$ in ${\mathbb{R}}^n$ where $k$ and $n$ are fixed, their flags and some of their face lattice structure. In particular, we derive a closed formula for their {\em exponential generating flag function}. These polytopes are simple, include both the simplex $Δ_{n-1}$ and the permutahedron $Π_{n-1}$, and form a Minkowski basis for more general permutahedra.
A tropical isoperimetric inequality
Published in Séminaire Lotharingien de Combinatoire, 78B, 2017. Article #27, 12 pp., Proceedings of FPSAC 2017 (29th Conference on Formal Power Series and Algebraic Combinatorics, London)
• Search Publication
We introduce tropical analogues of the notion of volume of polytopes, leading to a tropical version of the (discrete) classical isoperimetric inequality. The planar case is elementary, but a higher-dimensional generalization leads to an interesting class of ordinary convex polytopes, characterizing the equality case in the isoperimetric inequality. This study is motivated by open complexity questions concerning linear optimization and its tropical analogs.
Combinatorics of canonical bases revisited: Type A
Published
• View Publication
• BIB
We initiate a new approach to the study of the combinatorics of several parametrizations of canonical bases. In this work we deal with Lie algebras of type $A$. Using geometric objects called Rhombic tilings we derive a "crossing formula" to compute the actions of the crystal operators on Lusztig data for an arbitrary reduced word of the longest Weyl group element. We provide the following three applications of this result. Using the tropical Chamber Ansatz of Berenstein-Fomin-Zelevinsky we prove an enhanced version of the Anderson-Mirković conjecture for the crystal structure on MV polytopes. We establish a duality between Kashiwara's string and Lusztig's parametrization, revealing that each of them is controlled by the crystal structure of the other. We identify the potential functions of the unipotent radical of $SL_n$ defined by Berenstein-Kazhdan and Gross-Hacking-Keel-Kontsevich, respectively, with a function arising from the crystal structure on Lusztig data.
On the maximum dual volume of a canonical Fano polytope
Published
• View Publication
• BIB
We give an upper bound on the volume vol(P*) of a polytope P* dual to a d-dimensional lattice polytope P with exactly one interior lattice point, in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp, and is achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional toric Fano variety X with at worst canonical singularities.