polytope ↗ reference
3024 papers tagged with this keyword
Cluster Transformations from Bipartite Field Theories
Published
• View Publication
• BIB
Bipartite field theories (BFTs) are a new class of 4d N=1 quantum field theories defined by bipartite graphs on bordered Riemann surfaces. In this paper we derive, purely in terms of the gauge theory, the cluster transformations of face weights under square moves in the graph. In this context, we obtain them by connecting regular parametrizations of the master space of the associated BFTs. For BFTs on a disk, these transformations follow from the properties of coordinates in the Grassmannian. This represents a new addition to the list of combinatorial objects for the Grassmannian, such as matching and matroid polytopes, that have been shown to emerge from BFT dynamics.
Enumerating Colorings, Tensions and Flows in Cell Complexes
Published in Journal of Combinatorial Theory Series A 122 (2014), 82-106
• View Publication
• BIB
We study quasipolynomials enumerating proper colorings, nowhere-zero tensions, and nowhere-zero flows in an arbitrary CW-complex $X$, generalizing the chromatic, tension and flow polynomials of a graph. Our colorings, tensions and flows may be either modular (with values in $\mathbb{Z}/k\mathbb{Z}$ for some $k$) or integral (with values in $\{-k+1,\dots,k-1\}$). We obtain deletion-contraction recurrences and closed formulas for the chromatic, tension and flow quasipolynomials, assuming certain unimodularity conditions. We use geometric methods, specifically Ehrhart theory and inside-out polytopes, to obtain reciprocity theorems for all of the aforementioned quasipolynomials, giving combinatorial interpretations of their values at negative integers as well as formulas for the numbers of acyclic and totally cyclic orientations of $X$.
Pfaffian Systems of A-Hypergeometric Equations I: Bases of Twisted Cohomology Groups
Published
• View Publication
• BIB
This is the third revision. We study bases of Pfaffian systems for $A$-hypergeometric system. Gröbner deformations give bases. These bases also give those for twisted cohomology groups. For hypergeometric system associated to a class of order polytopes, these bases have a combinatorial description. The size of the bases associated to a subclass of the order polytopes have the growth rate of the polynomial order. Bases associated to two chain posets and bouquets are studied.
Many projectively unique polytopes
Published
• View Publication
• BIB
We construct an infinite family of 4-polytopes whose realization spaces have dimension smaller or equal to 96. This in particular settles a problem going back to Legendre and Steinitz: whether and how the dimension of the realization space of a polytope is determined/bounded by its f-vector.
From this, we derive an infinite family of combinatorially distinct 69-dimensional polytopes whose realization is unique up to projective transformation. This answers a problem posed by Perles and Shephard in the sixties. Moreover, our methods naturally lead to several interesting classes of projectively unique polytopes, among them projectively unique polytopes inscribed to the sphere.
The proofs rely on a novel construction technique for polytopes based on solving Cauchy problems for discrete conjugate nets in S^d, a new Alexandrov--van Heijenoort Theorem for manifolds with boundary and a generalization of Lawrence's extension technique for point configurations.
Lattice Path Matroid Polytopes
Fix two lattice paths $P$ and $Q$ from $(0,0)$ to $(m,r)$ that use East and North steps with $P $ never going above $Q$. Bonin et al. show that the lattice paths that go from $(0,0)$ to $(m,r)$ and remain bounded by $P$ and $Q$ can be identified with the bases of a particular type of transversal matroid, which we call it a lattice path matroid.
In this paper, we consider properties of lattice path matroid polytopes. These are the polytopes associated to the lattice path matroids. We investigate their face structure, decomposition, triangulation, Ehrhart polynomial and volume.
Threshold functions and Poisson convergence for systems of equations in random sets
Published in Mathematische Zeitschrift, February 2018, Volume 288, Issue 1-2, pp. 333-360
• View Publication
• BIB
We present a unified framework to study threshold functions for the existence of solutions to linear systems of equations in random sets which includes arithmetic progressions, sum-free sets, $B_{h}[g]$-sets and Hilbert cubes. In particular, we show that there exists a threshold function for the property "$\mathcal{A}$ contains a non-trivial solution of $M\cdot\textbf{x}=\textbf{0}$", where $\mathcal{A}$ is a random set and each of its elements is chosen independently with the same probability from the interval of integers $\{1,\dots,n\}$. Our study contains a formal definition of trivial solutions for any combinatorial structure, extending a previous definition by Ruzsa when dealing with a single equation.
Furthermore, we study the behaviour of the distribution of the number of non-trivial solutions at the threshold scale. We show that it converges to a Poisson distribution whose parameter depends on the volumes of certain convex polytopes arising from the linear system under study as well as the symmetry inherent in the structures, which we formally define and characterize.
Combinatorics of flag simplicial 3-polytopes
Published
• View Publication
• BIB
In the focus of this paper is the operation of edge contraction. One can show that simplicial 3-polytope is flag iff contraction of any its edge gives simplicial 3-polytope. Our main result states that any flag simplicial 3-polytope can be reduced to octahedron by sequence of edge contractions. Using this operation we introduce a partial order on the set of flag simplicial 3-polytopes and study Hasse graph of corresponding poset. We estimate input and output degrees of vertices of this Hasse graph.
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.