polytope ↗ reference
3024 papers tagged with this keyword
Vertex adjacencies in the set covering polyhedron
Published in Discrete Applied Mathematics, Volume 218, Pages 40-56, 2017
• View Publication
• BIB
We describe the adjacency of vertices of the (unbounded version of the) set covering polyhedron, in a similar way to the description given by Chvatal for the stable set polytope. We find a sufficient condition for adjacency, and characterize it with similar conditions in the case where the underlying matrix is row circular. We apply our findings to show a new infinite family of minimally nonideal matrices.
Bruhat Interval Polytopes
Published
• View Publication
• BIB
Let u and v be permutations on n letters, with u <= v in Bruhat order. A Bruhat interval polytope Q_{u,v} is the convex hull of all permutation vectors z = (z(1), z(2),...,z(n)) with u <= z <= v. Note that when u=e and v=w_0 are the shortest and longest elements of the symmetric group, Q_{e,w_0} is the classical permutohedron. Bruhat interval polytopes were studied recently by Kodama and the second author, in the context of the Toda lattice and the moment map on the flag variety.
In this paper we study combinatorial aspects of Bruhat interval polytopes. For example, we give an inequality description and a dimension formula for Bruhat interval polytopes, and prove that every face of a Bruhat interval polytope is a Bruhat interval polytope. A key tool in the proof of the latter statement is a generalization of the well-known lifting property for Coxeter groups. Motivated by the relationship between the lifting property and R-polynomials, we also give a generalization of the standard recurrence for R-polynomials. Finally, we define a more general class of polytopes called Bruhat interval polytopes for G/P, which are moment map images of (closures of) totally positive cells in the non-negative part of G/P, and are a special class of Coxeter matroid polytopes. Using tools from total positivity and the Gelfand-Serganova stratification, we show that the face of any Bruhat interval polytope for G/P is again a Bruhat interval polytope for G/P.
Quasitoric manifolds and Small covers over properly colored polytopes: Immersions and Embeddings
Published
• View Publication
• BIB
We construct small covers and quasitoric manifolds over $n$-dimensional simple polytopes which allow proper colorings of facets with $n$ colors. We calculate Stiefel-Whitney classes of these manifolds as obstructions to immersions and embeddings into Euclidean spaces. The largest dimension required for embedding is achieved in the case $n$ is a power of two.
Computing The Extension Complexities of All 4-Dimensional 0/1-Polytopes
We present slight refinements of known general lower and upper bounds on sizes of extended formulations for polytopes. With these observations we are able to compute the extension complexities of all 0/1-polytopes up to dimension 4. We provide a complete list of our results including geometric constructions of minimum size extensions for all considered polytopes. Furthermore, we show that all of these extensions have strong properties. In particular, one of our computational results is that every 0/1-polytope up to dimension 4 has a minimum size extension that is also a 0/1-polytope.
Non-normal very ample polytopes - constructions and examples
Published in Experimental Mathematics 26 (2017), no. 2, 130-137
• View Publication
• BIB
We present a method of constructing non-normal very ample polytopes as a segmental fibration of unimodular graph polytopes. In many cases we explicitly compute their invariants - Hilbert function, Ehrhart polynomial, gap vector. In particular, we answer several questions posed by Beck, Cox, Delgado, Gubeladze, Haase, Hibi, Higashitani and Maclagan.
Decomposable edge polytopes of finite graphs
Edge polytopes is a class of interesting polytope with rich algebraic and combinatorial properties, which was introduced by Ohsugi and Hibi. In this papar, we follow a previous study on cutting edge polytopes by Hibi, Li and Zhang. Instead of focusing on the algeraic properties of the subpolytopes as the previous study, in this paper, we take a closer look on the graphs whose edge polytopes are decomposable. In particular, we answer two important questions raised in the previous study about 1) the relationship between type I and type II decomposable graphs and 2) description of decomposable graphs.
Integer round-up property for the chromatic number of some h-perfect graphs
Published
• View Publication
• BIB
A graph is h-perfect if its stable set polytope can be completely described by non-negativity, clique and odd-hole constraints. It is t-perfect if it furthermore has no clique of size 4. For every graph $G$ and every $c\in\mathbb{Z}_{+}^{V(G)}$, the weighted chromatic number of $(G,c)$ is the minimum cardinality of a multi-set $\mathcal{F}$ of stable sets of $G$ such that every $v\in V(G)$ belongs to at least $c_v$ members of $\mathcal{F}$.
We prove that every h-perfect line-graph and every t-perfect claw-free graph $G$ has the integer round-up property for the chromatic number: for every non-negative integer weight $c$ on the vertices of $G$, the weighted chromatic number of $(G,c)$ can be obtained by rounding up its fractional relaxation. In other words, the stable set polytope of $G$ has the integer decomposition property.
Our results imply the existence of a polynomial-time algorithm which computes the weighted chromatic number of t-perfect claw-free graphs and h-perfect line-graphs. Finally, they yield a new case of a conjecture of Goldberg and Seymour on edge-colorings.
Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto
This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan.
It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology community.
Triangulations are highly suitable for computations due to their clear combinatorial structure. As a consequence, they have been successfully employed in discrete algorithms to solve purely theoretical problems in a broad variety of mathematical research areas (knot theory, polytope theory, 2- and 3-manifold topology, geometry, and others). However, due to the large variety of applications, requirements vary from field to field and thus different types of triangulations, different tools, and different frameworks are used in different areas of research. This is why today closely related research areas are sometimes largely disjoint leaving potential reciprocal benefits unused.
To address these potentials a workshop on Triangulations was held at Oberwolfach Research Institute in 2012. Since then many new collaborations between researchers of different mathematical communities have been established. Regarding the computational geometry community, the theory of manifolds continues to contribute to advances in more applied areas of the field. Many researchers are interested in fundamental mathematical research about triangulations and thus will benefit from a broad set of knowledge about different research areas using different techniques.
We hope that this workshop brought together researchers from many different fields of computational geometry to have fruitful discussions which will lead to new interdisciplinary collaborations and solutions.
The diameter of type D associahedra and the non-leaving-face property
Published in European J. Combin., 51: 109-124, 2016
• View Publication
• BIB
Generalized associahedra were introduced by S. Fomin and A. Zelevinsky in connection to finite type cluster algebras. Following recent work of L. Pournin in types $A$ and $B$, this paper focuses on geodesic properties of generalized associahedra. We prove that the graph diameter of the $n$-dimensional associahedron of type $D$ is precisely $2n-2$ for all $n$ greater than $1$. Furthermore, we show that all type $BCD$ associahedra have the non-leaving-face property, that is, any geodesic connecting two vertices in the graph of the polytope stays in the minimal face containing both. This property was already proven by D. Sleator, R. Tarjan and W. Thurston for associahedra of type $A$. In contrast, we present relevant examples related to the associahedron that do not always satisfy this property.
Relative Stanley-Reisner theory and Upper Bound Theorems for Minkowski sums
Published
• View Publication
• BIB
In this paper we settle long-standing questions regarding the combinatorial complexity of Minkowski sums of polytopes: We give a tight upper bound for the number of faces of a Minkowski sum, including a characterization of the case of equality. We similarly give a (tight) upper bound theorem for mixed faces of Minkowski sums. This has a wide range of applications and generalizes the classical the Upper Bound Theorems of McMullen and Stanley.
Our main tool is relative Stanley--Reisner theory, a powerful generalization of the algebraic theory of simplicial complexes inaugurated by Hochster, Reisner, and Stanley. A key feature of our theory is the ability to accomodate topological as well as combinatorial restrictions. We illustrate this by providing several simplicial isoperimetric and reverse isoperimetric inequalities.
Quasi-periodic tiling with multiplicity: a lattice enumeration approach
Published in Discrete & Computational Geometry 54 (2015), pp. 647-662
• View Publication
• BIB
The $k$-tiling problem for a convex polytope $P$ is the problem of covering $\mathbb R^d$ with translates of $P$ using a discrete multiset $Λ$ of translation vectors, such that every point in $\mathbb R^d$ is covered exactly $k$ times, except possibly for the boundary of $P$ and its translates. A classical result in the study of tiling problems is a theorem of McMullen that a convex polytope $P$ that 1-tiles $\mathbb R^d$ with a discrete multiset $Λ$ can, in fact, 1-tile $\mathbb R^d$ with a lattice $\mathcal L$. A generalization of McMullen's theorem for $k$-tiling was conjectured by Gravin, Robins, and Shiryaev, which states that if $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$, then $P$ $m$-tiles $\mathbb R^d$ with a lattice $\mathcal L$ for some $m$. In this paper, we consider the case when $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$ such that every element of $Λ$ is contained in a quasi-periodic set $\mathcal Q$ (i.e. a finite union of translated lattices). This is motivated by the result of Gravin, Kolountzakis, Robins, and Shiryaev, showing that for $d \in \{2,3\}$, if a polytope $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$, then $P$ $m$-tiles $\mathbb R^d$ with a quasi-periodic set $\mathcal Q$ for some $m$. Here we show for all values of $d$ that if a polytope $P$ $k$-tiles $\mathbb R^d$ with a discrete multiset $Λ$ that is contained in a quasi-periodic set $\mathcal Q$ that satisfies a mild hypothesis, then $P$ $m$-tiles $\mathbb R^d$ with a lattice $\mathcal L$ for some $m$. This strengthens the results of Gravin, Kolountzakis, Robins, and Shiryaev, and is a step in the direction of proving the conjecture of Gravin et al.
Gelfand-Tsetlin polytopes and the integer decomposition property
Published in European Journal of Combinatorics (2016), pp. 1-20
• View Publication
• BIB
Let $P$ be the Gelfand--Tsetlin polytope defined by the skew shape $λ/μ$ and weight $w$. In the case corresponding to a standard Young tableau, we completely characterize for which shapes $λ/μ$ the polytope $P$ is integral. Furthermore, we show that $P$ is a compressed polytope whenever it is integral and corresponds to a standard Young tableau. We conjecture that a similar property hold for arbitrary $w$, namely that $P$ has the integer decomposition property whenever it is integral.
Finally, a natural partial ordering on GT-polytopes is introduced that provides information about integrality and the integer decomposition property, which implies the conjecture for certain shapes.
Graph Orientations and Linear Extensions
Published in DMTCS Proceedings 01 (2014): 945-956
• Search Publication
Given an underlying undirected simple graph, we consider the set of all acyclic orientations of its edges. Each of these orientations induces a partial order on the vertices of our graph and, therefore, we can count the number of linear extensions of these posets. We want to know which choice of orientation maximizes the number of linear extensions of the corresponding poset, and this problem will be solved essentially for comparability graphs and odd cycles, presenting several proofs. The corresponding enumeration problem for arbitrary simple graphs will be studied, including the case of random graphs; this will culminate in 1) new bounds for the volume of the stable polytope and 2) strong concentration results for our main statistic and for the graph entropy, which hold true $a.s.$ for random graphs. We will then argue that our problem springs up naturally in the theory of graphical arrangements and graphical zonotopes.
Existence of a regular unimodular triangulation of the edge polytopes of finite graphs
In this paper we give several criteria for the edge polytope of a fundamental FHM-graph to possess a regular unimodular triangulation in terms of some simple data of the the graph. We further apply our criteria to several examples of graphs and show that their edge polytopes possess a regular unimodular triangulation.
Markov degree of configurations defined by fibers of a configuration
Published
• View Publication
• BIB
We consider a series of configurations defined by fibers of a given base configuration. We prove that Markov degree of the configurations is bounded from above by the Markov complexity of the base configuration. As important examples of base configurations we consider incidence matrices of graphs and study the maximum Markov degree of configurations defined by fibers of the incidence matrices. In particular we give a proof that the Markov degree for two-way transportation polytopes is three.
A $q$-Queens Problem. VI. The Bishops' Period
Published in Ars Mathematica Contemporanea, 16 (2019), no. 2, 549-561
• View Publication
• BIB
The number of ways to place $q$ nonattacking queens, bishops, or similar chess pieces on an $n\times n$ square chessboard is essentially a quasipolynomial function of $n$ (by Part I of this series). The period of the quasipolynomial is difficult to settle. Here we prove that the empirically observed period 2 for three to ten bishops is the exact period for every number of bishops greater than 2. The proof depends on signed graphs and the Ehrhart theory of inside-out polytopes.
Existence of unimodular triangulations - positive results
Published in Mem. Amer. Math. Soc. Volume 270, Number 1321, American Math. Society, 2021. ISBNs: 978-1-4704-4716-8 (print); 978-1-4704-6530-8 (online)
• View Publication
• BIB
Unimodular triangulations of lattice polytopes arise in algebraic geometry, commutative algebra, integer programming and, of course, combinatorics.
In this article, we review several classes of polytopes that do have unimodular triangulations and constructions that preserve their existence.
We include, in particular, the first effective proof of the classical result by Knudsen-Mumford-Waterman stating that every lattice polytope has a dilation that admits a unimodular triangulation. Our proof yields an explicit (although doubly exponential) bound for the dilation factor.
The stable set polytope of ($P_6$,triangle)-free graphs and new facet-inducing graphs
The stable set polytope of a graph $G$, denoted as STAB($G$), is the convex hull of all the incidence vectors of stable sets of $G$. To describe a linear system which defines STAB($G$) seems to be a difficult task in the general case. In this paper we present a complete description of the stable set polytope of ($P_6$,triangle)-free graphs (and more generally of ($P_6$,paw)-free graphs). For that we combine different tools, in the context of a well known result of Chvátal \cite{Chvatal1975} which allows to focus just on prime facet-inducing graphs, with particular reference to a structure result on prime ($P_6$,triangle)-free graphs due to Brandstädt et al. \cite{BraKleMah2005}. Also we point out some peculiarities of new facet-inducing graphs detected along this study with the help of a software.
Lifting properties of maximal lattice-free polyhedra
Published
• View Publication
• BIB
We study the uniqueness of minimal liftings of cut-generating functions obtained from maximal lattice-free polyhedra. We prove a basic invariance property of unique minimal liftings for general maximal lattice-free polyhedra. This generalizes a previous result by Basu, Cornuéjols and Köppe~\cite{bcm} for {\em simplicial} maximal lattice-free polytopes, thus completely settling this fundamental question about lifting for maximal lattice-free polyhedra. We further give a very general iterative construction to get maximal lattice-free polyhedra with the unique-lifting property in arbitrary dimensions. This single construction not only obtains all previously known polyhedra with the unique-lifting property, but goes further and vastly expands the known list of such polyhedra. Finally, we extend characterizations from~\cite{bcm} about lifting with respect to maximal lattice-free simplices to more general polytopes. These nontrivial generalizations rely on a number of results from discrete geometry, including the Venkov-Alexandrov-McMullen theorem on translative tilings and characterizations of zonotopes in terms of central symmetry of their faces.
Polynomial time vertex enumeration of convex polytopes of bounded branch-width
Over the last years the vertex enumeration problem of polyhedra has seen a revival in the study of metabolic networks, which increased the demand for efficient vertex enumeration algorithms for high-dimensional polyhedra given by inequalities. It is a famous and long standing open question in polyhedral theory and computational geometry whether the vertices of a polytope (bounded polyhedron), described by a set of linear constraints, can be enumerated in total polynomial time. In this paper we apply the concept of branch-decomposition to the vertex enumeration problem of polyhedra $P = \{x : Ax = b, x \geq 0\}$. For this purpose, we introduce the concept of $k$-module and show how it relates to the separators of the linear matroid generated by the columns of $A$. We then use this to present a total polynomial time algorithm for polytopes $P$ for which the branch-width of the linear matroid generated by $A$ is bounded by a constant $k$.