Smaller extended formulations for spanning tree polytopes in minor-closed classes and beyond
arXiv:2106.11945 · doi:10.37236/10522
Abstract
Let be a connected -vertex graph in a proper minor-closed class . We prove that the extension complexity of the spanning tree polytope of is . This improves on the bounds following from the work of Wong (1980) and Martin (1991). It also extends a result of Fiorini, Huynh, Joret, and Pashkovich (2017), who obtained a bound for graphs embedded in a fixed surface. Our proof works more generally for all graph classes admitting strongly sublinear balanced separators: We prove that for every constant with , if is a graph class closed under induced subgraphs such that all -vertex graphs in have balanced separators of size , then the extension complexity of the spanning tree polytope of every connected -vertex graph in is . We in fact give two proofs of this result, one is a direct construction of the extended formulation, the other is via communication protocols. Using the latter approach we also give a short proof of the bound for planar graphs due to Williams (2002).
v2: Minor changes following the referees' comments