Extended formulations for sparsity matroids

We show the existence of a polynomial-size extended formulation for the base polytope of a $$(k,\ell )$$(k,ℓ)-sparsity matroid. For an undirected graph $$G=(V,E)$$G=(V,E), the size of the formulation is $$O(|V|\cdot |E|)$$O(|V|·|E|) when $$k \ge \ell $$k≥ℓ and $$O(|V|^2 |E|)$$O(|V|2|E|) when $$k \le \ell $$k≤ℓ. To this end, we employ the technique developed by Faenza et al. recently that uses a randomized communication protocol.

[1]  Paul D. Seymour,et al.  Decomposition of regular matroids , 1980, J. Comb. Theory, Ser. B.

[2]  Hans Raj Tiwary,et al.  Extended formulations, nonnegative factorizations, and randomized communication protocols , 2011, Mathematical Programming.

[3]  Justin C. Williams,et al.  A linear‐size zero—one programming model for the minimum spanning tree problem in planar graphs , 2002, Networks.

[4]  S. Hakimi On the degrees of the vertices of a directed graph , 1965 .

[5]  Michele Conforti,et al.  Subgraph polytopes and independence polytopes of count matroids , 2015, Oper. Res. Lett..

[6]  Imai Hiroshi,et al.  On Extended Complexity of Generalized Transversal Matroids , 2014 .

[7]  Tiong-Seng Tay,et al.  Rigidity of multi-graphs. I. Linking rigid bodies in n-space , 1984, J. Comb. Theory, Ser. B.

[8]  A. Frank Connections in Combinatorial Optimization , 2011 .

[9]  Michel X. Goemans,et al.  Smallest compact formulation for the permutahedron , 2015, Math. Program..

[10]  H. Imai NETWORK-FLOW ALGORITHMS FOR LOWER-TRUNCATED TRANSVERSAL POLYMATROIDS , 1983 .

[11]  Jack Edmonds,et al.  Matroids and the greedy algorithm , 1971, Math. Program..

[12]  C. Nash-Williams Edge-disjoint spanning trees of finite graphs , 1961 .

[13]  Ileana Streinu,et al.  Natural realizations of sparsity matroids , 2007, Ars Math. Contemp..

[14]  G. Laman On graphs and rigidity of plane skeletal structures , 1970 .

[15]  R. Kipp Martin,et al.  Using separation algorithms to generate mixed integer model reformulations , 1991, Oper. Res. Lett..

[16]  Thomas Rothvoß,et al.  Some 0/1 polytopes need exponential size extended formulations , 2011, Math. Program..