# Tropical lower bounds for extended formulations

@article{Shitov2015TropicalLB, title={Tropical lower bounds for extended formulations}, author={Yaroslav Shitov}, journal={Mathematical Programming}, year={2015}, volume={153}, pages={67-74} }

The tropical arithmetic operations on $$\mathbb {R}$$R, defined as $$\oplus :(a,b)\rightarrow \min \{a,b\}$$⊕:(a,b)→min{a,b} and $$\otimes :(a,b)\rightarrow a+b$$⊗:(a,b)→a+b, arise from studying the geometry over non-Archimedean fields. We present an application of tropical methods to the study of extended formulations for convex polytopes. We propose a non-Archimedean generalization of the well known Boolean rank bound for the extension complexity. We show how to construct a real polytope with…

## 4 Citations

### Extension complexity of low-dimensional polytopes

- MathematicsArXiv
- 2020

This paper proves 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.

### Tropical lower bound for extended formulations. II. Deficiency graphs of matrices

- MathematicsIzvestiya: Mathematics
- 2019

Deficiency graphs arise in the problem of decomposing a tropical vector into a sum of points of a given tropical variety. We give an application of this concept to the theory of extended formulations…

### Sublinear extensions of polygons

- Mathematics
- 2014

Every convex polygon with $n$ vertices is a linear projection of a higher-dimensional polytope with at most $147\,n^{2/3}$ facets.

## References

SHOWING 1-10 OF 18 REFERENCES

### Extended Formulations for Polygons

- MathematicsDiscret. Comput. Geom.
- 2012

It is proved that there exist n-gons whose vertices lie on an O(n)×O(n2) integer grid with extension complexity $\varOmega (\sqrt{n}/\ sqrt{\log n})$.

### Extended formulations in combinatorial optimization

- Mathematics4OR
- 2010

This survey surveys various tools for deriving and studying extended formulations, such as Fourier's procedure for projection, Minkowski–Weyl’s theorem, Balas’ theorem for the union of polyhedra, Yannakakis' theorem on the size of an extended formulation, dynamic programming, and variable discretization.

### Lifts of Convex Sets and Cone Factorizations

- MathematicsMath. Oper. Res.
- 2013

This paper addresses the basic geometric question of when a given convex set is the image under a linear map of an affine slice of a given closed convex cone and shows that the existence of a lift of a conveX set to a cone is equivalent to theexistence of a factorization of an operator associated to the set and its polar via elements in the cone and its dual.

### Computing a nonnegative matrix factorization -- provably

- Computer ScienceSTOC '12
- 2012

This work gives an algorithm that runs in time polynomial in n, m and r under the separablity condition identified by Donoho and Stodden in 2003, and is the firstPolynomial-time algorithm that provably works under a non-trivial condition on the input matrix.

### Two Algorithmic Results for the Traveling Salesman Problem

- Computer Science, MathematicsMath. Oper. Res.
- 1996

A polynomial time algorithm which computes a Hamiltonian circuit with the given vertices in the space whose length approximates, with relative error less than δ, the largest length of a Hamiltonians circuit with these vertices is presented.

### Polytopes of Minimum Positive Semidefinite Rank

- MathematicsDiscret. Comput. Geom.
- 2013

This paper shows that the psd rank of a polytope is at least the dimension of the polytopes plus one, and characterize those polytopes whose pSD rank equals this lower bound.

### Expressing combinatorial optimization problems by linear programs

- MathematicsSTOC '88
- 1988

It is shown that expressing the matching and the Traveling Salesman Problem by a symmetric linear program requires exponential size, and the minimum size needed by a LP to express a polytope to a combinatorial parameter is related.