Extended Formulations for Polytopes of Regular Matroids

Abstract

We present a simple proof of the fact that the base (and independence) polytope of a rank $n$ regular matroid over $m$ elements has an extension complexity $O(mn)$.