# Correction to: Extended Formulations for Independence Polytopes of Regular Matroids

- 64 Downloads

## 1 Correction to: Graphs and Combinatorics (2016) 32:1931–1944 https://doi.org/10.1007/s00373-016-1709-8

We report a logical error in our article that turns out to be fatal for the main result. The error lies in Lemma 3 for the case of a 3-sum, that is, \(k = 3\). In fact, the claimed characterization of independent sets of the matroid \(\mathcal {M}\) in terms of those of its minors \(\mathcal {M}_{1}\) and \(\mathcal {M}_{2}\) is wrong in this case. The consequences for our main results are drastic in the sense that we currently see no way to prove Theorem 2 using the techniques from our paper. However, the corresponding polynomiality result was recently established by Manuel Aprile and Samuel Fiorini (arXiv:1909.08539).

The main statement in the original article, Theorem 2, claims that independence polytopes of regular matroids admit polynomial-size extended formulations. The proof of Theorem 2 relies on Lemma 3, which contains a wrong characterization of independent sets of a matroid \(\mathcal {M}\) that arises as a 3-sum. We elaborate on details below. We would like to thank Manuel Aprile for pointing out this error.

Unfortunately, the consequences for our main results are drastic in the sense the we currently see no way to prove Theorem 2 using the techniques from our paper. However, the polynomiality result of Theorem 2 was recently established by Manuel Aprile and Samuel Fiorini (arXiv:1909.08539).

*Error in Lemma 3.*The statement is concerned with the independent sets of a binary matroid \( \mathcal {M}= (E, \mathcal {I}) \) that arises as the 3-sum of two binary matroids \(\mathcal {M}_1 = (E_1, \mathcal {I}_1)\) and \(\mathcal {M}_2 = (E_2,\mathcal {I}_2)\), in which elements \(r_1\), \(p_1\) and \(q_1\) of \(\mathcal {M}_1\) (forming a circuit in \(\mathcal {M}_1\)) are identified with elements \(r_2\), \(p_2\) and \(q_2\) of \(\mathcal {M}_2\) (forming a circuit in \(\mathcal {M}_2\)), respectively. The statement claims that the independent sets of \( \mathcal {M}\) are described by

*Counterexample.*We consider, for \(i=1,2\), the binary matroids \(\mathcal {M}_i = (E_i, \mathcal {I}_i)\) with ground sets \(E_i := \left\{ p_i,x_i,y_i,r_i,q_i,z_i \right\} \), where the elements are associated to columns in the two totally unimodular matrices and where a subset of \( E_i \) is independent in \( \mathcal {M}_i \) iff the associated columns are linearly independent (over \( \mathbb {R}\)). Given the above matrices, the paper defines a 3-sum of \(\mathcal {M}_1\) and \(\mathcal {M}_2\) as the matroid \(\mathcal {M}= (E, \mathcal {I}) \) with ground set \(E = \{x_1,y_1,x_2,y_2,z_1,z_2\} \) and where a subset of

*E*is independent iff the associated columns in the matrix are linearly independent.

*I*is a basis in \(\mathcal {M}_1\) we even obtain \(I_1 = I\). Since \(I_1 \cap \{r_1,p_1,q_1\} = \emptyset \), the above inequalities imply that \( \{r_2,p_2,q_2\} \subseteq I_2 \). However, observe that the set \( \{r_2,p_2,q_2\} \) is dependent in \(\mathcal {M}_2\), implying that \(I_2\) is also dependent, a contradiction.