polytope ↗ reference
3077 papers tagged with this keyword
Convex Geometry and Stoichiometry
We demonstrate the benefits of a convex geometric perspective for questions on chemical stoichiometry. We show that the balancing of chemical equations, the use of "mixtures" to explain multiple stoichiometry, and the half-reaction for balancing redox actions all yield nice convex geometric interpretations. We also relate some natural questions on reaction mechanisms with the enumeration of lattice points in polytopes. Lastly, it is known that a given reaction mechanism imposes linear constraints on observed stoichiometries. We consider the inverse question of deducing reaction mechanism consistent with a given set of linear stoichiometric restrictions.
On stretching the interval simplex-permutohedron
A family of polytopes introduced by E.M. Feichtner, A. Postnikov and B. Sturmfels, which were named nestohedra, consists in each dimension of an interval of polytopes starting with a simplex and ending with a permutohedron. This paper investigates a problem of changing and extending the boundaries of these intervals. An iterative application of Feichtner-Kozlov procedure of forming complexes of nested sets is a solution of this problem. By using a simple algebraic presentation of members of nested sets it is possible to avoid the problem of increasing the complexity of the structure of nested curly braces in elements of the produced simplicial complexes.
Computing the Grothendieck constant of some graph classes
Published
• View Publication
• BIB
Given a graph $G=([n],E)$ and $w\in\R^E$, consider the integer program ${\max}_{x\in \{\pm 1\}^n} \sum_{ij \in E} w_{ij}x_ix_j$ and its canonical semidefinite programming relaxation ${\max} \sum_{ij \in E} w_{ij}v_i^Tv_j$, where the maximum is taken over all unit vectors $v_i\in\R^n$. The integrality gap of this relaxation is known as the Grothendieck constant $\ka(G)$ of $G$. We present a closed-form formula for the Grothendieck constant of $K_5$-minor free graphs and derive that it is at most 3/2. Moreover, we show that $\ka(G)\le \ka(K_k)$ if the cut polytope of $G$ is defined by inequalities supported by at most $k$ points. Lastly, since the Grothendieck constant of $K_n$ grows as $Θ(\log n)$, it is interesting to identify instances with large gap. However this is not the case for the clique-web inequalities, a wide class of valid inequalities for the cut polytope, whose integrality ratio is shown to be bounded by 3.
Proof of Gal's conjecture for the D series of generalized associahedra
Published in Russian Math. Surveys 65 (2010) no.6
• View Publication
• BIB
In this short note we consider generalized associahedra of type D_n. We prove that these simple flag polytopes are not nestohedra for n > 3, but the statement of Gal's conjecture holds for them.
Centrally symmetric polytopes with many faces
Published
• View Publication
• BIB
We present explicit constructions of centrally symmetric polytopes with many faces: first, we construct a d-dimensional centrally symmetric polytope P with about (1.316)^d vertices such that every pair of non-antipodal vertices of P spans an edge of P, second, for an integer k>1, we construct a d-dimensional centrally symmetric polytope P of an arbitrarily high dimension d and with an arbitrarily large number N of vertices such that for some 0 < delta_k < 1 at least (1-delta_k^d) {N choose k} k-subsets of the set of vertices span faces of P, and third, for an integer k>1 and a>0, we construct a centrally symmetric polytope Q with an arbitrary large number N of vertices and of dimension d=k^{1+o(1)} such that least (1 - k^{-a}){N choose k} k-subsets of the set of vertices span faces of Q.
A combinatorial description of the Gindikin-Karpelevich formula in type A
Published in J. Combin. Theory Ser. A. 119 (2012), 1081-1094
• View Publication
• BIB
A combinatorial description of the crystal $\mathcal{B}(\infty)$ for finite-dimensional simple Lie algebras in terms of Young tableaux was developed by J. Hong and H. Lee. Using this description, we obtain a combinatorial rule for expressing the Gindikin-Karpelevich formula as a sum over $\mathcal{B}(\infty)$ when the underlying Lie algebra is of type A. We also interpret our description in terms of MV polytopes and irreducible components of quiver varieties.
Arithmetic geometry of toric varieties. Metrics, measures and heights
Published in Asterisque vol. 360 (2014)
• View Publication
• BIB
We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fenchel duality. We also present a closed formula for the integral over a polytope of a function of one variable composed with a linear form. This allows us to compute the height of toric varieties with respect to some interesting metrics arising from polytopes. We also compute the height of toric projective curves with respect to the Fubini-Study metric, and of some toric bundles.
Defect Polytopes and Counter-Examples With polymake
Published
• View Publication
• BIB
It is demonstrated how the software system polymake can be used for computations in toric geometry. More precisely, counter-examples to conjectures related to A-determinants and defect polytopes are constructed.
Extended formulations, non-negative factorizations and randomized communication protocols
Published
• View Publication
• BIB
An extended formulation of a polyhedron $P$ is a linear description of a polyhedron $Q$ together with a linear map $π$ such that $π(Q)=P$. These objects are of fundamental importance in polyhedral combinatorics and optimization theory, and the subject of a number of studies. Yannakakis' factorization theorem [M. Yannakakis. Expressing combinatorial optimization problems by linear programs. {\em J. Comput. System Sci.}, 43(3):441--466 (1991)] provides a surprising connection between extended formulations and communication complexity, showing that the smallest size of an extended formulation of $P$ equals the nonnegative rank of its slack matrix $S$. Moreover, Yannakakis also shows that the nonnegative rank of $S$ is at most $2^c$, where $c$ is the complexity of any \emph{deterministic} protocol computing $S$. In this paper, we show that the latter result can be strengthened when we allow protocols to be \emph{randomized}. In particular, we prove that the base-2 logarithm of the nonnegative rank of any nonnegative matrix equals the minimum complexity of a randomized communication protocol computing the matrix in expectation. Using Yannakakis' factorization theorem, this implies that the base-2 logarithm of the smallest size of an extended formulation of a polytope $P$ equals the minimum complexity of a randomized communication protocol computing the slack matrix of $P$ in expectation. We show that allowing randomization in the protocol can be crucial for obtaining small extended formulations. Specifically, we prove that for the spanning tree and perfect matching polytopes, small variance in the protocol forces large size in the extended formulation.
Dual complementary polynomials of graphs and combinatorial interpretation on the values of the Tutte polynomial at positive integers
Published
• View Publication
• BIB
We introduce a modular (integral) complementary polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) of two variables of a graph $G$ by counting the number of modular (integral) complementary tension-flows (CTF) of $G$ with an orientation $ε$. We study these polynomials by further introducing a cut-Eulerian equivalence relation on orientations and geometric structures such as the complementary open lattice polyhedron $Δ_\textsc{ctf}(G,ε)$, the complementary open 0-1 polytope $Δ^+_\textsc{ctf}(G,ε)$, and the complementary open lattice polytopes $Δ^ρ_\textsc{ctf}(G,ε)$ with respect to orientations $ρ$. The polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) is a common generalization of the modular (integral) tension polynomial $τ(G,x)$ ($τ_\mathbbm{z}(G,x)$) and the modular (integral) flow polynomial $φ(G,y)$ ($φ_\mathbbm{z}(G,y)$), and can be decomposed into a sum of product Ehrhart polynomials of complementary open 0-1 polytopes $Δ^+_\textsc{ctf}(G,ρ)$. There are dual complementary polynomials $\barκ(G;x,y)$ and $\barκ_{\mathbbm z}(G;x,y)$, dual to $κ$ and $κ_{\mathbbm z}$ respectively, in the sense that the lattice-point counting to the Ehrhart polynomials is taken inside a topological sum of the dilated closed polytopes $\barΔ^+_\textsc{ctf}(G,ρ)$. It turns out that the polynomial $\barκ(G;x,y)$ is Whitney's rank generating polynomial $R_G(x,y)$, which gives rise to a combinatorial interpretation on the values of the Tutte polynomial $T_G(x,y)$ at positive integers. In particular, some special values of $κ_\mathbbm{z}$ and $\barκ_\mathbbm{z}$ ($κ$ and $\barκ$) count the number of certain special kinds (of equivalence classes) of orientations.
Orientations, lattice polytopes, and group arrangements II: Modular and integral flow polynomials of graphs
Published
• View Publication
• BIB
We study modular and integral flow polynomials of graphs by means of subgroup arrangements and lattice polytopes. We introduce an Eulerian equivalence relation on orientations, flow arrangements, and flow polytopes; and we apply the theory of Ehrhart polynomials to obtain properties of modular and integral flow polynomials. The emphasis is on the geometrical treatment through subgroup arrangements and Ehrhart polynomials. Such viewpoint leads to a reciprocity law for the modular flow polynomial, which gives rise to an interpretation on the values of the modular flow polynomial at negative integers, and answers a question by Beck and Zaslavsky.
Polyhedral adjunction theory
Published in Algebra Number Theory 7 (2013) 2417-2446
• View Publication
• BIB
In this paper we give a combinatorial view on the adjunction theory of toric varieties. Inspired by classical adjunction theory of polarized algebraic varieties we define two convex-geometric notions: the Q-codegree and the nef value of a rational polytope P. We define the adjoint polytope P^(s) as the set of those points in P, whose lattice distance to every facet of P is at least s. We prove a structure theorem for lattice polytopes P with high Q-codegree. If P^(s) is empty for some s < 2/(dim(P)+2), then the lattice polytope P has lattice width one. This has consequences in Ehrhart theory and on polarized toric varieties with dual defect. Moreover, we illustrate how classification results in adjunction theory can be translated into new classification results for lattice polytopes.
0/1-Polytopes related to Latin squares autotopisms
Published in Proceedings of VI Jornadas de Matemática Discreta y Algor\'ıtmica JMDA 2008 (2008), pp. 311 - 319. ISBN: 978-84-8409-263-6
• Search Publication
The set LS(n) of Latin squares of order $n$ can be represented in $\mathbb{R}^{n^3}$ as a $(n-1)^3$-dimensional 0/1-polytope. Given an autotopism $Θ=(α,β,γ)\in\mathfrak{A}_n$, we study in this paper the 0/1-polytope related to the subset of LS(n) having $Θ$ in their autotopism group. Specifically, we prove that this polyhedral structure is generated by a polytope in $\mathbb{R}^{((\mathbf{n}_α-\mathbf{l}_α^1)\cdot n^2 + \mathbf{l}_α^1\cdot \mathbf{n}_β\cdot n)-(\mathbf{l}_α^1\cdot \mathbf{l}_β^1\cdot (n -\mathbf{l}_γ^1) + \mathbf{l}_α^1\cdot \mathbf{l}_γ^1\cdot (\mathbf{n}_β -\mathbf{l}_β^1) + \mathbf{l}_β^1\cdot \mathbf{l}_γ^1\cdot (\mathbf{n}_α -\mathbf{l}_α^1))}$, where $\mathbf{n}_α$ and $\mathbf{n}_β$ are the number of cycles of $α$ and $β$, respectively, and $\mathbf{l}_δ^1$ is the number of fixed points of $δ$, for all $δ\in \{α,β,γ\}$. Moreover, we study the dimension of these two polytopes for Latin squares of order up to 9.
Some 0/1 polytopes need exponential size extended formulations
We prove that there are 0/1 polytopes P that do not admit a compact LP formulation. More precisely we show that for every n there is a sets X \subseteq {0,1}^n such that conv(X) must have extension complexity at least 2^{n/2 * (1-o(1))}. In other words, every polyhedron Q that can be linearly projected on conv(X) must have exponentially many facets.
In fact, the same result also applies if conv(X) is restricted to be a matroid polytope.
Conditioning on NP not contained in P_{/poly}, our result rules out the existence of any compact formulation for the TSP polytope, even if the formulation may contain arbitrary real numbers.
Ehrhart $h^*$-vectors of hypersimplices
Published
• View Publication
• BIB
We consider the Ehrhart $h^*$-vector for the hypersimplex. It is well-known that the sum of the $h_i^*$ is the normalized volume which equals an Eulerian numbers. The main result is a proof of a conjecture by R. Stanley which gives an interpretation of the $h^*_i$ coefficients in terms of descents and excedances. Our proof is geometric using a careful book-keeping of a shelling of a unimodular triangulation. We generalize this result to other closely related polytopes.
Neighborliness of the symmetric moment curve
Published
• View Publication
• BIB
We consider the convex hull B_k of the symmetric moment curve U(t)=(cos t, sin t, cos 3t, sin 3t, ..., cos (2k-1)t, sin (2k-1)t) in R^{2k}, where t ranges over the unit circle S= R/2pi Z. The curve U(t) is locally neighborly: as long as t_1, ..., t_k lie in an open arc of S of a certain length phi_k>0, the convex hull of the points U(t_1), ..., U(t_k) is a face of B_k. We characterize the maximum possible length phi_k, proving, in particular, that phi_k > pi/2 for all k and that the limit of phi_k is pi/2 as k grows. This allows us to construct centrally symmetric polytopes with a record number of faces.
The Bipartite Swapping Trick on Graph Homomorphisms
Published in SIAM J. Discrete Math. 25 (2011), 660-680
• View Publication
• BIB
We provide an upper bound to the number of graph homomorphisms from $G$ to $H$, where $H$ is a fixed graph with certain properties, and $G$ varies over all $N$-vertex, $d$-regular graphs. This result generalizes a recently resolved conjecture of Alon and Kahn on the number of independent sets. We build on the work of Galvin and Tetali, who studied the number of graph homomorphisms from $G$ to $H$ when $H$ is bipartite. We also apply our techniques to graph colorings and stable set polytopes.
Embedding a pair of graphs in a surface, and the width of 4-dimensional prismatoids
Published in Discrete Comput. Geom. 47:3 (2012), 569-576
• View Publication
• BIB
A prismatoid is a polytope with all its vertices contained in two parallel facets, called its bases. Its width is the number of steps needed to go from one base to the other in the dual graph. The first author recently showed that the existence of counter-examples to the Hirsch conjecture is equivalent to that of $d$-prismatoids of width larger than $d$, and constructed such prismatoids in dimension five. Here we show that the same is impossible in dimension four. This is proved by looking at the pair of graph embeddings on a 2-sphere that arise from the normal fans of the two bases.
Analytic continuation of a parametric polytope and wall-crossing
Published
• View Publication
• BIB
We define a set theoretic "analytic continuation" of a polytope defined by inequalities. For the regular values of the parameter, our construction coincides with the parallel transport of polytopes in a mirage introduced by Varchenko. We determine the set-theoretic variation when crossing a wall in the parameter space, and we relate this variation to Paradan's wall-crossing formulas for integrals and discrete sums. As another application, we refine the theorem of Brion on generating functions of polytopes and their cones at vertices. We describe the relation of this work with the equivariant index of a line bundle over a toric variety and Morelli constructible support function.
External zonotopal algebra
Published
• View Publication
• BIB
We provide a general, unified, framework for external zonotopal algebra. The approach is critically based on employing simultaneously the two dual algebraic constructs and invokes the underlying matroidal and geometric structures in an essential way. This general theory makes zonotopal algebra an applicable tool for a larger class of polytopes.