polytope ↗ reference
3077 papers tagged with this keyword
Edgewise Cohen-Macaulay connectivity of partially ordered sets
Published
• View Publication
• BIB
The proper parts of face lattices of convex polytopes are shown to satisfy a strong form of the Cohen--Macaulay property, namely that removing from their Hasse diagram all edges in any closed interval results in a Cohen--Macaulay poset of the same rank. A corresponding notion of edgewise Cohen--Macaulay connectivity for partially ordered sets is investigated. Examples and open questions are discussed.
Classification of finite metric spaces and combinatorics of convex polytopes
Published in Arnold Math Journ,v.1:1 2015
• View Publication
• BIB
We describe the canonical correspondence between set of all finite metric spaces and set of special symmetric convex polytopes, and formulate the problem about classification of the metric spaces in terms of combinatorial structure of those polytopes.
Cluster Algebras, Invariant Theory, and Kronecker Coefficients I
Published
• View Publication
• BIB
We relate the $m$-truncated Kronecker products of symmetric functions to the semi-invariant rings of a family of quiver representations. We find cluster algebra structures for these semi-invariant rings when $m=2$. Each {\sf g}-vector cone ${\sf G}_{\Diamond_l}$ of these cluster algebras controls the $2$-truncated Kronecker products for all symmetric functions of degree no greater than $l$. As a consequence, each relevant Kronecker coefficient is the difference of the number of the lattice points inside two rational polytopes. We also give explicit description of all ${\sf G}_{\Diamond_l}$'s. As an application, we compute some invariant rings.
Order-Chain Polytopes
Published
• View Publication
• BIB
Given two families $X$ and $Y$ of integral polytopes with nice combinatorial and algebraic properties, a natural way to generate new class of polytopes is to take the intersection $\mathcal{P}=\mathcal{P}_1\cap\mathcal{P}_2$, where $\mathcal{P}_1\in X$, $\mathcal{P}_2\in Y$. Two basic questions then arise: 1) when $\mathcal{P}$ is integral and 2) whether $\mathcal{P}$ inherits the "old type" from $\mathcal{P}_1, \mathcal{P}_2$ or has a "new type", that is, whether $\mathcal{P}$ is unimodularly equivalent to some polytope in $X\cup Y$ or not. In this paper, we focus on the families of order polytopes and chain polytopes and create a new class of polytopes following the above framework, which are named order-chain polytopes. In the study on their volumes, we discover a natural relation with Ehrenborg and Mahajan's results on maximizing descent statistics.
Quantum jumps of normal polytopes
Published
• View Publication
• BIB
We introduce a partial order on the set of all normal polytopes in R^d. This poset NPol(d) is a natural discrete counterpart of the continuum of convex compact sets in R^d, ordered by inclusion, and exhibits a remarkably rich combinatorial structure. We derive various arithmetic bounds on elementary relations in NPol(d), called "quantum jumps". The existence of extremal objects in NPol(d) is a challenge of number theoretical flavor, leading to interesting classes of normal polytopes: minimal, maximal, spherical. Minimal elements in NPol(5) have played a critical role in disproving various covering conjectures for normal polytopes in the 1990s. Here we report on the first examples of maximal elements in NPol(4) and NPol(5), found by a combination of the developed theory, random generation, and extensive computer search.
Free algebraic structures on the permutohedra
Published
• View Publication
• BIB
Tridendriform algebras are a type of associative algebras, introduced independently by F. Chapoton and by J.-L. Loday and the third author, in order to describe operads related to the Stasheff polytopes. The vector space $\st$ spanned by the faces of permutohedra has a natural structure of tridendriform bialgebra, we prove that it is free as a tridendriform algebra and exhibit a basis. Our result implies that the subspace of primitive elements of the coalgebra $\st$ , equipped with the coboundary map of permutohedra, is a free cacti algebra.
Toric chordality
Published
• View Publication
• BIB
We study the geometric change of Chow cohomology classes in projective toric varieties under the Weil-McMullen dual of the intersection product with a Lefschetz element. Based on this, we introduce toric chordality, a generalization of graph chordality to higher skeleta of simplicial complexes with a coordinatization over characteristic 0, leading us to a far-reaching generalization of Kalai's work on applications of rigidity of frameworks to polytope theory. In contrast to "homological" chordality, the notion that is usually studied as a higher-dimensional analogue of graph chordality, we will show that toric chordality has several advantageous properties and applications. -- Most strikingly, we will see that toric chordality allows us to introduce a higher version of Dirac's propagation principle. -- Aside from the propagation theorem, we also study the interplay with the geometric properties of the simplicial chain complex of the underlying simplicial complex, culminating in a quantified version of the Stanley--Murai--Nevo generalized lower bound theorem. -- Finally, we apply our technique to give a simple proof of the generalized lower bound theorem in polytope theory and -- prove the balanced generalized lower bound conjecture of Klee and Novik.
Balanced generalized lower bound inequality for simplicial polytopes
Published
• View Publication
• BIB
A remarkable and important property of face numbers of simplicial polytopes is the generalized lower bound inequality, which says that the $h$-numbers of any simplicial polytope are unimodal. Recently, for balanced simplicial $d$-polytopes, that is simplicial $d$-polytopes whose underlying graphs are $d$-colorable, Klee and Novik proposed a balanced analogue of this inequality, that is stronger than just unimodality. The aim of this article is to prove this conjecture of Klee and Novik. For this, we also show a Lefschetz property for rank-selected subcomplexes of balanced simplicial polytopes and thereby obtain new inequalities for their $h$-numbers.
Equivalence classes for smooth Fano polytopes
Let $\mathcal{F}(n)$ be the set of smooth Fano $n$-polytopes up to unimocular equivalence. In this paper, we consider the F-equivalence or I-equivalence classes for $\mathcal{F}(n)$ and introduce F-isolated or I-isolated smooth Fano $n$-polytopes. First, we describe all of F-equivalence classes and I-equivalence classes for $\mathcal{F}(5)$. We also give a complete characterization of F-equivalence classes (I-equivalence classes) for smooth Fano $n$-polytopes with $n+3$ vertices and construct a family of I-isolated smooth Fano polytopes.
Graphs and obstruction theory for algebraic curves
In this paper we study a construction of algebraic curves from combinatorial data. In the study of algebraic curves through degeneration, graphs usually appear as the dual intersection graph of the central fiber. Properties of such graphs can be encoded in so-called tropical curves. Our main concern is the relation between algebraic curves and tropical curves where the deformation problem is obstructed. Particular emphasis is put on the role of higher valent vertices of tropical curves, which has not been developed well so far in spite of its importance in this area of study. We will give a general formula describing the obstruction, a new criterion for the vanishing of the obstruction, and a relation between the number of algebraic curves and the number of integral points in certain polytopes. We also prove the optimal version of the correspondence between tropical curves and algebraic curves when the tropical curves are regular, generalizing previous results.
An Extension of hibi's palindromic theorem
Hibi showed that the polynomial in the numerator of the Ehrhart series of a reflexive polytope is palindromic. We proved that those in the numerator of the Ehrhart series of every graph polytope (defined later) of the bipartite graph is palindromic. From this, one of the conjectures (raised in the A205497 of OEIS \cite{[O]}) follows immediately.
Gorenstein polytopes with trinomial $h^*$-polynomials
Published
• View Publication
• BIB
The characterization of lattice polytopes based upon information about their Ehrhart $h^*$-polynomials is a difficult open problem. In this paper, we finish the classification of lattice polytopes whose $h^*$-polynomials satisfy two properties: they are palindromic (so the polytope is Gorenstein) and they consist of precisely three terms. This extends the classification of Gorenstein polytopes of degree two due to Batyrev and Juny. The proof relies on the recent characterization of Batyrev and Hofscheier of empty lattice simplices whose $h^*$-polynomials have precisely two terms. Putting our theorem in perspective, we give a summary of these and other existing results in this area.
Ehrhart polynomial roots of reflexive polytopes
Published in Electronic Journal of Combinatorics, 26 (2019), no. 1, P1.38
• View Publication
• BIB
Recent work has focused on the roots z of the Ehrhart polynomial of a lattice polytope P. The case when Re(z) = -1/2 is of particular interest: these polytopes satisfy Golyshev's "canonical line hypothesis". We characterise such polytopes when dim(P) <= 7. We also consider the "half-strip condition", where all roots z satisfy -dim(P)/2 <= Re(z) <= dim(P)/2-1, and show that this holds for any reflexive polytope with dim(P) <= 5. We give an example of a 10-dimensional reflexive polytope which violates the half-strip condition, thus improving on an example by Ohsugi--Shibata in dimension 34.
Circuit diameter and Klee-Walkup constructions
Published
• View Publication
• BIB
Consider a variant of the graph diameter of a polyhedron where each step in a walk between two vertices travels maximally in a circuit direction instead of along incident edges. Here circuit directions are non-trivial solutions to minimally-dependent subsystems of the presentation of the polyhedron. These can be understood as the set of all possible edge directions, including edges that may arise from translation of the facets.
It is appealing to consider a circuit analogue of the Hirsch conjecture for graph diameter, as suggested by Borgwardt et al. [BFH15]. They ask whether the known counterexamples to the Hirsch conjecture give rise to counterexamples for this relaxed notion of circuit diameter. We show that the most basic counterexample to the unbounded Hirsch conjecture, the Klee-Walkup polyhedron, does have a circuit diameter that satisfies the Hirsch bound, regardless of representation. We also examine the circuit diameter of the bounded Klee-Walkup polytope.
On the existence of compact ε-approximated formulations for knapsack in the original space
Published
• View Publication
• BIB
We show that there exists a family of Knapsack polytopes such that, for each polytope P from this family and each ε > 0, any ε-approximated formulation of P in the original space R^n requires a number of inequalities that is super-polynomial in n. This answers a question by Bienstock and McClosky (2012). We also prove that, for any down-monotone polytope, an ε-approximated formulation in the original space can be obtained with inequalities using at most O(min{log(n/ε),n}/ε) different coefficients.
Polytopes with few vertices and few facets
Published
• View Publication
• BIB
In this note we prove that the number of combinatorial types of $d$-polytopes with $d+1+α$ vertices and $d+1+β$ facets is bounded by a constant independent of $d$.
The LP Relaxation Orthogonal Array Polytope and its Permutation Symmetries
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, Vol. 91, November 2014, pp. 165-176
• Search Publication
Symmetry plays a fundamental role in design of experiments. In particular, symmetries of factorial designs that preserve their statistical properties are exploited to find designs with the best statistical properties. By using a result proved by Rosenberg [6], the concept of the LP relaxation orthogonal array polytope is developed and studied. A complete characterization of the permutation symmetry group of this polytope is made. Also, this characterization is verified computationally for many cases. Finally, a proof is provided.
Sparse sum-of-squares certificates on finite abelian groups
Published in Mathematical Programming, Volume 160, Issue 1, pp 149-191, November 2016
• View Publication
• BIB
Let G be a finite abelian group. This paper is concerned with nonnegative functions on G that are sparse with respect to the Fourier basis. We establish combinatorial conditions on subsets S and T of Fourier basis elements under which nonnegative functions with Fourier support S are sums of squares of functions with Fourier support T. Our combinatorial condition involves constructing a chordal cover of a graph related to G and S (the Cayley graph Cay($\hat{G}$,S)) with maximal cliques related to T. Our result relies on two main ingredients: the decomposition of sparse positive semidefinite matrices with a chordal sparsity pattern, as well as a simple but key observation exploiting the structure of the Fourier basis elements of G.
We apply our general result to two examples. First, in the case where $G = \mathbb{Z}_2^n$, by constructing a particular chordal cover of the half-cube graph, we prove that any nonnegative quadratic form in n binary variables is a sum of squares of functions of degree at most $\lceil n/2 \rceil$, establishing a conjecture of Laurent. Second, we consider nonnegative functions of degree d on $\mathbb{Z}_N$ (when d divides N). By constructing a particular chordal cover of the d'th power of the N-cycle, we prove that any such function is a sum of squares of functions with at most $3d\log(N/d)$ nonzero Fourier coefficients. Dually this shows that a certain cyclic polytope in $\mathbb{R}^{2d}$ with N vertices can be expressed as a projection of a section of the cone of psd matrices of size $3d\log(N/d)$. Putting $N=d^2$ gives a family of polytopes $P_d \subset \mathbb{R}^{2d}$ with LP extension complexity $\text{xc}_{LP}(P_d) = Ω(d^2)$ and SDP extension complexity $\text{xc}_{PSD}(P_d) = O(d\log(d))$. To the best of our knowledge, this is the first explicit family of polytopes in increasing dimensions where $\text{xc}_{PSD}(P_d) = o(\text{xc}_{LP}(P_d))$.
Polyhedral aspects of score equivalence in Bayesian network structure learning
Published in Mathematical Programming A 164 (2017) n. 1-2, 285-324
• View Publication
• BIB
This paper deals with faces and facets of the family-variable polytope and the characteristic-imset polytope, which are special polytopes used in integer linear programming approaches to statistically learn Bayesian network structure. A common form of linear objectives to be maximized in this area leads to the concept of score equivalence (SE), both for linear objectives and for faces of the family-variable polytope. We characterize the linear space of SE objectives and establish a one-to-one correspondence between SE faces of the family-variable polytope, the faces of the characteristic-imset polytope, and standardized supermodular functions. The characterization of SE facets in terms of extremality of the corresponding supermodular function gives an elegant method to verify whether an inequality is SE-facet-defining for the family-variable polytope. We also show that when maximizing an SE objective one can eliminate linear constraints of the family-variable polytope that correspond to non-SE facets. However, we show that solely considering SE facets is not enough as a counter-example shows; one has to consider the linear inequality constraints that correspond to facets of the characteristic-imset polytope despite the fact that they may not define facets in the family-variable mode.
Face-subgroups of permutation polytopes
In [Baumeister, H., Nill, Paffenholz, On permutation polytopes, Adv. Math. 222 (2009), 431-452 / arXiv:0709.1615] we conjectured a characterization of subgroups H of a permutation group G so that, on the level of permutation polytopes, P(H) is a face of P(G). Here we present the embarrassingly simple proof of this conjecture.