polytope ↗ reference
3077 papers tagged with this keyword
Polytopes associated to Dihedral Groups
Published
• View Publication
• BIB
In this note we investigate the convex hull of those $n \times n$-permutation matrices that correspond to symmetries of a regular $n$-gon. We give the complete facet description. As an application, we show that this yields a Gorenstein polytope, and we determine the Ehrhart $h^*$-vector.
Criterion for the Buchstaber invariant of simplicial complexes to be equal to two
In this paper we study the Buchstaber invariant of simplicial complexes, which comes from toric topology. With each simplicial complex $K$ on $m$ vertices we can associate a moment-angle complex $\mathcal Z_K$ with a canonical action of the compact torus $T^m$. Then $s(K)$ is the maximal dimension of a toric subgroup that acts freely on $\mathcal Z_K$. We develop the Buchstaber invariant theory from the viewpoint of the set of minimal non-simplices of $K$. It is easy to show that $s(K)=1$ if and only if any two and any three minimal non-simplices intersect. For $K=\partial P^*$, where $P$ is a simple polytope, this implies that $P$ is a simplex. The case $s(P)=2$ is such more complicated. For example, for any $k\geqslant 2$ there exists an $n$-polytope with $n+k$ facets such that $s(P)=2$. Our main result is the criterion for the Buchstaber invariant of a simplicial complex $K$ to be equal to two.
Causal cells: spacetime polytopes with null hyperfaces
Published
• View Publication
• BIB
We consider polyhedra and 4-polytopes in Minkowski spacetime - in particular, null polyhedra with zero volume, and 4-polytopes that have such polyhedra as their hyperfaces. We present the basic properties of several classes of null-faced 4-polytopes: 4-simplices, "tetrahedral diamonds" and 4-parallelotopes. We propose a "most regular" representative of each class. The most-regular parallelotope is of particular interest: its edges, faces and hyperfaces are all congruent, and it features both null hyperplanes and null segments. A tiling of spacetime with copies of this polytope can be viewed alternatively as a lattice with null edges, such that each point is at the intersection of four lightrays in a tetrahedral pattern. We speculate on the relevance of this construct for discretizations of curved spacetime and for quantum gravity.
Orbit graphs and face-transitivity of k-orbit polytopes
The orbit graph of a k-orbit polytope is a graph on k nodes that shows how the flag orbits are related by flag adjacency. Using orbit graphs, we classify k-orbit polytopes and determine when a k-orbit polytope is i-transitive. We then provide an explicit classification of three-orbit polytopes, and we describe a generating set for their automorphism groups.
LP Pseudocodewords of Cycle Codes are Half-Integral
In his Ph.D. disseration, Feldman and his collaborators define the linear programming decoder for binary linear codes, which is a linear programming relaxation of the maximum-likelihood decoding problem. This decoder does not, in general, attain maximum-likelihood performance; however, the source of this discrepancy is known to be the presence of non-integral extreme points (vertices) within the fundamental polytope, vectors which are also called nontrivial linear programming pseudocodewords. Restricting to the class of cycle codes, we provide necessary conditions for a vector to be a linear programming pseudocodeword. In particular, the components of any such pseudocodeword can only assume values of zero, one-half, or one.
Combinatorial Excess Intersection
Published
• View Publication
• BIB
We provide formulas and algorithms for computing the excess numbers of certain ideals. The solution for monomial ideals is given by the mixed volumes of certain polytopes. These results enable us to design specific homotopies for numerical algebraic geometry.
Minkowski Polynomials and Mutations
Published in SIGMA 8 (2012), 094, 707 pages
• View Publication
• BIB
Given a Laurent polynomial f, one can form the period of f: this is a function of one complex variable that plays an important role in mirror symmetry for Fano manifolds. Mutations are a particular class of birational transformations acting on Laurent polynomials in two variables; they preserve the period and are closely connected with cluster algebras. We propose a higher-dimensional analog of mutation acting on Laurent polynomials f in n variables. In particular we give a combinatorial description of mutation acting on the Newton polytope P of f, and use this to establish many basic facts about mutations. Mutations can be understood combinatorially in terms of Minkowski rearrangements of slices of P, or in terms of piecewise-linear transformations acting on the dual polytope P^* (much like cluster transformations). Mutations map Fano polytopes to Fano polytopes, preserve the Ehrhart series of the dual polytope, and preserve the period of f. Finally we use our results to show that Minkowski polynomials, which are a family of Laurent polynomials that give mirror partners to many three-dimensional Fano manifolds, are connected by a sequence of mutations if and only if they have the same period.
Systems of equations with a single solution
Published in Journal of symb. comput. 68-2 (2015) 116-130
• View Publication
• BIB
We classify general systems of polynomial equations with a single solution, or, equivalently, collections of lattice polytopes of minimal positive mixed volume. As a byproduct, this classification provides an algorithm to evaluate the single solution of such a system.
The maximum number of faces of the Minkowski sum of three convex polytopes
Published
• View Publication
• BIB
We derive tight expressions for the maximum number of $k$-faces, $0\le k\le d-1$, of the Minkowski sum, $P_1+P_2+P_3$, of three $d$-dimensional convex polytopes $P_1$, $P_2$ and $P_3$, as a function of the number of vertices of the polytopes, for any $d\ge 2$. Expressing the Minkowski sum of the three polytopes as a section of their Cayley polytope $\mathcal{C}$, the problem of counting the number of $k$-faces of $P_1+P_2+P_3$, reduces to counting the number of $(k+2)$-faces of the subset of $\mathcal{C}$ comprising of the faces that contain at least one vertex from each $P_i$. In two dimensions our expressions reduce to known results, while in three dimensions, the tightness of our bounds follows by exploiting known tight bounds for the number of faces of $r$ $d$-polytopes, where $r\ge d$. For $d\ge 4$, the maximum values are attained when $P_1$, $P_2$ and $P_3$ are $d$-polytopes, whose vertex sets are chosen appropriately from three distinct $d$-dimensional moment-like curves.
Integer decomposition property of dilated polytopes
Published
• View Publication
• BIB
Let $\mathcal{P} \subset \mathbb{R}^N$ be an integral convex polytope of dimension $d$ and write $k \mathcal{P}$, where $k = 1, 2, \ldots$, for dilations of $\mathcal{P}$. We say that $\mathcal{P}$ possesses the integer decomposition property if, for any integer $k = 1, 2, \ldots$ and for any $α\in k \mathcal{P} \cap \mathbb{Z}^N$, there exist $α_{1}, \ldots, α_k$ belonging to $\mathcal{P} \cap \mathbb{Z}^N$ such that $α= α_1 + \cdots + α_k$. A fundamental question is to determine the integers $k > 0$ for which the dilated polytope $k\mathcal{P}$ possesses the integer decomposition property. In the present paper, combinatorial invariants related to the integer decomposition property of dilated polytopes will be proposed and studied.
New Directions in Bipartite Field Theories
Published in JHEP 1306:032,2013
• View Publication
• BIB
We perform a detailed investigation of Bipartite Field Theories (BFTs), a general class of 4d N=1 gauge theories which are defined by bipartite graphs. This class of theories is considerably expanded by identifying a new way of assigning gauge symmetries to graphs. A new procedure is introduced in order to determine the toric Calabi-Yau moduli spaces of BFTs. For graphs on a disk, we show that the matroid polytope for the corresponding cell in the Grassmannian coincides with the toric diagram of the BFT moduli space. A systematic BFT prescription for determining graph reductions is presented. We illustrate our ideas in infinite classes of BFTs and introduce various operations for generating new theories from existing ones. Particular emphasis is given to theories associated to non-planar graphs.
Cube-Like Polytopes and Complexes
The main purpose of this paper is to popularize Danzer's power complex construction and establish some new results about covering maps between two power complexes. Power complexes are cube-like combinatorial structures that share many structural properties with higher-dimensional cubes and cubical tessellations on manifolds. Power complexes that are also abstract polytopes have repeatedly appeared somewhat unexpectedly in various contexts, although often under a different name. However, the non-polytope case is largely unexplored.
Integer Points in Knapsack Polytopes and s-covering Radius
Published
• View Publication
• BIB
Given an integer matrix A satisfying certain regularity assumptions, we consider for a positive integer s the set F_s(A) of all integer vectors b such that the associated knapsack polytope P(A,b)={x: Ax=b, x non-negative} contains at least s integer points. In this paper we investigate the structure of the set F_s(A) sing the concept of s-covering radius. In particular, in a special case we prove an optimal lower bound for the s-Frobenius number.
On the optimality of the ideal right-angled 24-cell
Published in Algebraic & Geometric Topology 12 (2012) 1941-1960
• View Publication
• BIB
We prove that among four-dimensional ideal right-angled hyperbolic polytopes the 24-cell is of minimal volume and of minimal facet number. As a corollary, a dimension bound for ideal right-angled hyperbolic polytopes is obtained.
Tropical Incidence Relations, Polytopes, and Concordant Matroids
In this paper, we develop a tropical analog of the classical flag variety that we call the flag Dressian. We find relations, which we call "tropical incidence relations", for when one tropical linear space is contained in another, and show that the flag Dressian is a tropical prevariety. In the case of 2-step flag Dressians, which we call "tropical incidence prevarieties", we find an equivalence between points in this space and induced subdivisions of a hypersimplex, generalizing two parts of an equivalence given by D. Speyer for tropical linear spaces. We attempt to generalize the third part of Speyer's equivalence to concordant matroids and obtain some partial results.
The combinatorics of interval-vector polytopes
Published in Electronic Journal of Combinatorics 20, no. 3 (2013), P22
• View Publication
• BIB
An \emph{interval vector} is a $(0,1)$-vector in $\mathbb{R}^n$ for which all the 1's appear consecutively, and an \emph{interval-vector polytope} is the convex hull of a set of interval vectors in $\mathbb{R}^n$. We study three particular classes of interval vector polytopes which exhibit interesting geometric-combinatorial structures; e.g., one class has volumes equal to the Catalan numbers, whereas another class has face numbers given by the Pascal 3-triangle.
Morse Matchings on a Hypersimplex
We present a family of complete acyclic Morse matchings on the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. In a future paper we will utilize these matchings to classify every subcomplex whose reduced homology groups are concentrated in a single degree and describe a homology basis for each of them.
Reverse Chvátal-Gomory rank
Published
• View Publication
• BIB
We introduce the reverse Chvátal-Gomory rank r*(P) of an integral polyhedron P, defined as the supremum of the Chvátal-Gomory ranks of all rational polyhedra whose integer hull is P. A well-known example in dimension two shows that there exist integral polytopes P with r*(P) equal to infinity. We provide a geometric characterization of polyhedra with this property in general dimension, and investigate upper bounds on r*(P) when this value is finite.
s-Lecture Hall Partitions, Self-Reciprocal Polynomials, and Gorenstein Cones
Published in Ramanujan Journal 36 (2015), 123-147
• View Publication
• BIB
In 1997, Bousquet-Melou and Eriksson initiated the study of lecture hall partitions, a fascinating family of partitions that yield a finite version of Euler's celebrated odd/distinct partition theorem. In subsequent work on s-lecture hall partitions, they considered the self-reciprocal property for various associated generating functions, with the goal of characterizing those sequences s that give rise to generating functions of the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$.
We continue this line of investigation, connecting their work to the more general context of Gorenstein cones. We focus on the Gorenstein condition for s-lecture hall cones when s is a positive integer sequence generated by a second-order homogeneous linear recurrence with initial values 0 and 1. Among such sequences s, we prove that the n-dimensional s-lecture hall cone is Gorenstein for all n greater than or equal to 1 if and only if s is an l-sequence. One consequence is that among such sequences s, unless s is an l-sequence, the generating function for the s-lecture hall partitions can have the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$ for at most finitely many n.
We also apply the results to establish several conjectures by Pensyl and Savage regarding the symmetry of h*-vectors for s-lecture hall polytopes. We end with open questions and directions for further research.
Root polytope and partitions
Given a crystallographic reduced root system and an element v of the lattice generated by the roots we study the minimum number |v|, called the length of v, of roots needed to express v as sum of roots. This number is related to the linear functionals presenting the convex hull of the roots; the map v --> |v| turns out to be piecewise quasi-linear with quasi-linearity domains the cones over the facets of this convex hull. In order to show this relation we investigate the integral closure of the monoid generated by the roots in a facet. We study also the positive lenght, i.e. the minimum number of positive roots needed to write an element, and we prove that the two notions of length coincide for type A and C.