Master polytopes for cycles of binary matroids (Q1824625)

L\({}_ k\), the complete binary matroid of order k, is defined by the binary standard representation matrix \([I| A_ k]\) where I is the identity matrix and \(A_ k\) is the 0-1 matrix with k columns that has as rows all possible distinct 0-1 vectors except for the k unit vectors and the 0-vector. For an arbitrary binary matroid P(M) denotes the convex hull of incidence vectors of cycles of M. The authors develop a method to deduce from the facets of \(P(L_ k)\) all facets of P(M) where M is a binary matroid of corank k. Next they apply a lifting procedure to produce for arbitrary binary matroids M a subset of the facets of P(M) using \(P(L_ j)\), \(j\leq k\).