Extension complexity of low-dimensional polytopes

06/16/2020
by   Matthew Kwan, et al.
0

Sometimes, it is possible to represent a complicated polytope as a projection of a much simpler polytope. To quantify this phenomenon, the extension complexity of a polytope P is defined to be the minimum number of facets in a (possibly higher-dimensional) polytope from which P can be obtained as a (linear) projection. This notion has been studied for several decades, motivated by its relevance for combinatorial optimisation problems. It is an important question to understand the extent to which the extension complexity of a polytope is controlled by its dimension, and in this paper we prove three different results along these lines. First, we prove that for a fixed dimension d, the extension complexity of a random d-dimensional polytope (obtained as the convex hull of random points in a ball or on a sphere) is typically on the order of the square root of its number of vertices. Second, we prove that any cyclic n-vertex polygon (whose vertices lie on a circle) has extension complexity at most 24√(n). This bound is tight up to the constant factor 24. Finally, we show that there exists an n^o(1)-dimensional polytope with at most n facets and extension complexity n^1-o(1).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/25/2021

On the extension complexity of polytopes separating subsets of the Boolean cube

We show that 1. for every A⊆{0, 1}^n, there exists a polytope P⊆ℝ^n wi...
research
06/01/2018

Extension Complexity of the Correlation Polytope

We prove that for every n-vertex graph G, the extension complexity of th...
research
11/06/2019

On the Average Complexity of the k-Level

Let A be an arrangement of n lines in the Euclidean plane. The <i>k-leve...
research
12/24/2021

Asymptotic Bounds on the Combinatorial Diameter of Random Polytopes

The combinatorial diameter diam(P) of a polytope P is the maximum shorte...
research
11/09/2020

Discretization on high-dimensional domains

Let μ be a Borel probability measure on a compact path-connected metric ...
research
03/18/2020

Convex Hulls of Random Order Types

We establish the following two main results on order types of points in ...
research
06/28/2017

On Compatible Triangulations with a Minimum Number of Steiner Points

Two vertex-labelled polygons are compatible if they have the same clockw...

Please sign up or login with your details

Forgot password? Click here to reset