Smaller Extended Formulations for the Spanning Tree Polytope of Bounded-genus Graphs

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.Comment: v3: fixed some typo

Some 0/1 polytopes need exponential size extended formulations

We prove that there are 0/1 polytopes P⊆R[superscript n] that do not admit a compact LP formulation. More precisely we show that for every n there is a set X⊆{0,1}[superscript n] such that conv(X) must have extension complexity at least 2[superscript 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⊈P[subscript /poly], our result rules out the existence of a compact formulation for any NP -hard optimization problem even if the formulation may contain arbitrary real numbers

Compact systems for T-join and perfect matching polyhedra of graphs with bounded genus

We extend a result of Barahona, saying that T-join and perfect matching problems for planar graphs can be formulated as linear programming problems using only a polynomial number of constraints and variables, to graphs embeddable on an arbitrary, but fixed, surface