polytope ↗ reference
3077 papers tagged with this keyword
Decomposition Methods for Nonlinear Optimization and Data Mining
We focus on two central themes in this dissertation. The first one is on decomposing polytopes and polynomials in ways that allow us to perform nonlinear optimization. We start off by explaining important results on decomposing a polytope into special polyhedra. We use these decompositions and develop methods for computing a special class of integrals exactly. Namely, we are interested in computing the exact value of integrals of polynomial functions over convex polyhedra. We present prior work and new extensions of the integration algorithms. Every integration method we present requires that the polynomial has a special form. We explore two special polynomial decomposition algorithms that are useful for integrating polynomial functions. Both polynomial decompositions have strengths and weaknesses, and we experiment with how to practically use them.
After developing practical algorithms and efficient software tools for integrating a polynomial over a polytope, we focus on the problem of maximizing a polynomial function over the continuous domain of a polytope. This maximization problem is NP-hard, but we develop approximation methods that run in polynomial time when the dimension is fixed. Moreover, our algorithm for approximating the maximum of a polynomial over a polytope is related to integrating the polynomial over the polytope. We show how the integration methods can be used for optimization.
The second central topic in this dissertation is on problems in data science. We first consider a heuristic for mixed-integer linear optimization. We show how many practical mixed-integer linear have a special substructure containing set partition constraints. We then describe a nice data structure for finding feasible zero-one integer solutions to systems of set partition constraints. Finally, we end with an applied project using data science methods in medical research.
Vertices of FFLV polytopes
Published
• View Publication
• BIB
FFLV polytopes describe monomial bases in irreducible representations of $\mathfrak{sl}_n$ and $\mathfrak{sp}_{2n}$. We study various sets of vertices of FFLV polytopes. First, we consider the special linear case. We prove the locality of the set of vertices with respect to the type $A$ Dynkin diagram. Then we describe all the permutation vertices and after that we describe all the simple vertices and prove that their number is equal to the large Schröder number. Finally, we derive analogous results for symplectic algebras.
Convex Polytopes for the Central Degeneration of the Affine Grassmannian
Published in Advances in Mathematics 348 (2019) 541-582
• View Publication
• BIB
We study the algebraic geometry and combinatorics of the central degeneration (the degeneration that shows up in local models of Shimura varieties and Gaitsgory's central sheaves) in type A. More specifically, we elucidate the central degeneration of semi-infinite orbits and explain its relations with Levi restriction. Also, we discuss the central degeneration of Mirkovi$\acute{\text{c}}$-Vilonen cycles in the affine Grassmannian, and the corresponding transformations of Mirkovi$\acute{\text{c}}$-Vilonen polytopes. In addition, we shed some light on the geometry of Iwahori MV cycles in the affine Grassmannian and generalized MV cycles in the affine flag variety, which are closely related to Demazure modules and affine Deligne-Lusztig varieties respectively.
Smaller Extended Formulations for the Spanning Tree Polytope of Bounded-genus Graphs
Published in Discrete & Computational Geometry, 57(3), 757-761 (2017)
• View Publication
• BIB
We give an $O(g^{1/2} n^{3/2} + g^{3/2} n^{1/2})$-size extended formulation for the spanning tree polytope of an $n$-vertex graph embedded on a surface of genus $g$, improving on the known $O(n^2 + g n)$-size extended formulations following from Wong and Martin.
Subdividing the cd-index of Eulerian Posets
This thesis aims to give the reader an introduction and overview of the cd-index of a poset, as well as establish some new results. We give a combinatorial proof of Ehrenborg and Karu's cd-index subdivision decomposition for Gorenstein* complexes and extend it to a wider class of subdivisions. In doing so, we define a local cd-index that behaves analogously to the well studied local h-vector. We examine known cd-index and h-vector bounds, and then use the local cd-index to bound a particular class of polytopes with the cd-index of a stacked polytope. We conclude by investigating the h-vector and local h- vector of posets in full generality, and use an algebra morphism developed by Bayer and Ehrenborg to demonstrate the structural connection between the cd-index subdivision decomposition and the local h-vector subdivision decomposition. iii
Extension Complexity of Independent Set Polytopes
Published
• View Publication
• BIB
We exhibit an $n$-node graph whose independent set polytope requires extended formulations of size exponential in $Ω(n/\log n)$. Previously, no explicit examples of $n$-dimensional $0/1$-polytopes were known with extension complexity larger than exponential in $Θ(\sqrt{n})$. Our construction is inspired by a relatively little-known connection between extended formulations and (monotone) circuit depth.
Tropical Fermat-Weber points
Published in SIAM Journal on Discrete Mathematics, 2018, 32(2), 1229-1245
• View Publication
• BIB
In a metric space, the Fermat-Weber points of a sample are statistics to measure the central tendency of the sample and it is well-known that the Fermat-Weber point of a sample is not necessarily unique in the metric space. We investigate the computation of Fermat-Weber points under the tropical metric on the quotient space $\mathbb{R}^{n} \!/ \mathbb{R} {\bf 1}$ with a fixed $n \in \mathbb{N}$, motivated by its application to the space of equidistant phylogenetic trees with $N$ leaves (in this case $n=\binom{N}{2}$) realized as the tropical linear space of all ultrametrics. We show that the set of all tropical Fermat-Weber points of a finite sample is always a classical convex polytope, and we present a combinatorial formula for a key value associated to this set. We identify conditions under which this set is a singleton. We apply numerical experiments to analyze the set of the tropical Fermat-Weber points within a space of phylogenetic trees. We discuss the issues in the computation of the tropical Fermat-Weber points.
Highly symmetric hypertopes
Published
• View Publication
• BIB
We study incidence geometries that are thin and residually connected. These geometries generalise abstract polytopes. In this generalised setting, guided by the ideas from the polytopes theory, we introduce the concept of chirality, a property of orderly asymmetry occurring frequently in nature as a natural phenomenon. The main result in this paper is that automorphism groups of regular and chiral thin residually connected geometries need to be $C$-groups in the regular case and $C^+$-groups in the chiral case.
Flat $δ$-vectors and their Ehrhart polynomials
Published in Arch. Math. (Basel) 108(2017), 151--157
• View Publication
• BIB
We call the $δ$-vector of an integral convex polytope of dimension $d$ flat if the $δ$-vector is of the form $(1,0,\ldots,0,a,\ldots,a,0,\ldots,0)$, where $a \geq 1$. In this paper, we give the complete characterization of possible flat $δ$-vectors. Moreover, for an integral convex polytope $\mathcal{P} \subset \mathbb{R}^N$ of dimension $d$, we let $i(\mathcal{P},n)=|n\mathcal{P} \cap \mathbb{Z}^N|$ and $\ i^*(\mathcal{P},n)=|n(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^N|.$ By this characterization, we show that for any $d \geq 1$ and for any $k,\ell \geq 0$ with $k+\ell \leq d-1$, there exist integral convex polytopes $\mathcal{P}$ and $\mathcal{Q}$ of dimension $d$ such that (i) For $t=1,\ldots,k$, we have $i(\mathcal{P},t)=i(\mathcal{Q},t),$ (ii) For $t=1,\ldots,\ell$, we have $i^*(\mathcal{P},t)=i^*(\mathcal{Q},t)$ and (iii) $i(\mathcal{P},k+1) \neq i(\mathcal{Q},k+1)$ and $i^*(\mathcal{P},\ell+1)\neq i^*(\mathcal{Q},\ell+1).$
An O(|E|)-linear Model for the MaxCut Problem
A polytope $P$ is a {\em model} for a combinatorial problem on finite graphs $G$ whose variables are indexed by the edge set $E$ of $G$ if the points of $P$ with (0,1)-coordinates are precisely the characteristic vectors of the subset of edges inducing the feasible configurations for the problem. In the case of the (simple) MaxCut Problem, which is the one that concern us here, the feasible subsets of edges are the ones inducing the bipartite subgraphs of $G$. In this paper we introduce a new polytope $\mathbb{P}_{12} \subset \mathbb{R}^{|E|}$ given by at most $11|E|$ inequalities, which is a model for the MaxCut Problem on $G$. Moreover, the left side of each inequality is the sum of at most 4 edge variables with coefficients $\pm1$ and right side 0,1, or 2. We restrict our analysis to the case of $G=K_{z}$, the complete graph in $z$ vertices, where $z$ is an even positive integer $z\ge 4$. This case is sufficient to study because the simple MaxCut problem for general graphs $G$ can be reduced to the complete graph $K_z$ by considering the obective function of the associated integer programming as the characteristic vector of the edges in $G \subseteq K_z$. This is a polynomial algorithmic transformation.
Proving Tucker's Lemma with a Volume Argument
Published
• View Publication
• BIB
Sperner's lemma is a statement about labeled triangulations of a simplex. McLennan and Tourky (2007) provided a novel proof of Sperner's Lemma by examining volumes of simplices in a triangulation under time-linear simplex-linear deformation. We adapt a similar argument to prove Tucker's Lemma on a triangulated cross-polytope $P$. The McLennan-Tourky technique does not directly apply because this deformation may distort the volume of $P$. We remedy this by inscribing $P$ in its dual polytope, triangulating it, and considering how the volumes of deformed simplices behave.
Polytopality of Maniplexes
Published
• View Publication
• BIB
Given an abstract polytope $\cal P$, its flag graph is the edge-coloured graph whose vertices are the flags of $\cal P$ and the $i$-edges correspond to $i$-adjacent flags. Flag graphs of polytopes are maniplexes. On the other hand, given a maniplex $\cal M$, on can define a poset $\cal P_M$ by means of the non empty intersection of its faces. In this paper we give necessary and sufficient conditions (in terms of graphs) on a maniplex $\cal M$ in order for $\cal P_M$ to be an abstract polytope. Moreover, in such case, we show that $\cal M$ is isomorphic to the flag graph of $\cal P_M$. This in turn gives necessary and sufficient conditions for a maniplex to be (isomorphic to) the flag graph of a polytope.
A lattice point counting generalisation of the Tutte polynomial
Published
• View Publication
• BIB
The Tutte polynomial for matroids is not directly applicable to polymatroids. For instance, deletion-contraction properties do not hold. We construct a polynomial for polymatroids which behaves similarly to the Tutte polynomial of a matroid, and in fact contains the same information as the Tutte polynomial when we restrict to matroids. This polynomial is constructed using lattice point counts in the Minkowski sum of the base polytope of a polymatroid and scaled copies of the standard simplex. We also show that, in the matroid case, our polynomial has coefficients of alternating sign, with a combinatorial interpretation closely tied to the Dawson partition.
12, 24 and Beyond
Published
• View Publication
• BIB
We generalize the well-known "12" and "24" Theorems for reflexive polytopes of dimension 2 and 3 to any smooth reflexive polytope. Our methods apply to a wider category of objects, here called reflexive GKM graphs, that are associated with certain monotone symplectic manifolds which do not necessarily admit a toric action. As an application, we provide bounds on the Betti numbers for certain monotone Hamiltonian spaces which depend on the minimal Chern number of the manifold.
Ehrhart series of fractional stable set polytopes of finite graphs
Published in Annals of Combinatorics 22 (2018), 563-573
• View Publication
• BIB
The fractional stable set polytope ${\rm FRAC}(G)$ of a simple graph $G$ with $d$ vertices is a rational polytope that is the set of nonnegative vectors $(x_1,\ldots,x_d)$ satisfying $x_i+x_j\le 1$ for every edge $(i,j)$ of $G$. In this paper we show that (i) The $δ$-vector of a lattice polytope $2 {\rm FRAC}(G)$ is alternatingly increasing; (ii) The Ehrhart ring of ${\rm FRAC}(G)$ is Gorenstein; (iii) The coefficients of the numerator of the Ehrhart series of ${\rm FRAC}(G)$ are symmetric, unimodal and computed by the $δ$-vector of $2 {\rm FRAC}(G)$.
The unimodality of the Ehrhart $δ$-polynomial of the chain polytope of the zig-zag poset
We prove the unimodality of the Ehrhart $δ$-polynomial of the chain polytope of the zig-zag poset, which was conjectured by Kirillov. First, based on a result due to Stanley, we show that this polynomial coincides with the $W$-polynomial for the zig-zag poset with some natural labeling. Then, its unimodality immediately follows from a result of Gasharov, which states that the $W$-polynomials of naturally labeled graded posets of rank $1$ or $2$ are unimodal.
The Signed Positive Semidefinite Matrix Completion Problem for Odd-$K_4$ Minor Free Signed Graphs
We give a signed generalization of Laurent's theorem that characterizes feasible positive semidefinite matrix completion problems in terms of metric polytopes. Based on this result, we give a characterization of the maximum rank completions of the signed positive semidefinite matrix completion problem for odd-$K_4$ minor free signed graphs. The analysis can also be used to bound the minimum rank over the completions and to characterize uniquely solvable completion problems for odd-$K_4$ minor free signed graphs. As a corollary we derive a characterization of the universal rigidity of odd-$K_4$ minor free spherical tensegrities, and also a characterization of signed graphs whose signed Colin de Verdière parameter $ν$ is bounded by two, recently shown by Arav et al.
A glimpse into continuous combinatorics of posets, polytopes, and matroids
This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and other combinatorial structures. Among the illustrative examples are an Euler formula for a class of `continuous convex polytopes' (conjectured by Kalai and Wigderson), a duality result for a class of `continuous matroids', a calculation of the Euler characteristic of ideals in the Grassmannian poset (related to a problem of Gian-Carlo Rota), an exposition of the `homotopy complementation formula' for topological posets and its relation to the results of Kallel and Karoui about `weighted barycenter spaces' and a conjecture of Vassiliev about simplicial resolutions of singularities. We also include an extension of the index inequality (Sarkaria's inequality) based on interpreting diagrams of spaces as continuous posets.
The generalized lifting property of Bruhat intervlas
Published
• View Publication
• BIB
In [E. Tsukerman and L. Williams, {\em Bruhat Interval Polytopes}, Advances in Mathematics, 285 (2015), 766-810] it is shown that every Bruhat interval of the symmetric group satisfies the so-called generalized lifting property. In this paper we show that a Coxeter group satisfies this property if and only if it is finite and simply-laced.
Tail diameter upper bounds for polytopes and polyhedra
In 1992, Kalai and Kleitman proved a quasipolynomial upper bound on the diameters of convex polyhedra. Todd and Sukegawa-Kitahara proved tail-quasipolynomial bounds on the diameters of polyhedra. These tail bounds apply when the number of facets is greater than a certain function of the dimension. We prove tail-quasipolynomial bounds on the diameters of polytopes and normal simplicial complexes. We also prove tail-polynomial upper bounds on the diameters of polyhedra.