Graphic matroids with connectivity constraints

Abstract

In 1959, Tutte proved that a matroid can be realised by a graph if and only if it does not have a minor isomorphic to $U_{2,4}$, $F_7$, $F_7^*$, $M^*(K_5)$ or $M^*(K_{3,3})$. In this paper, we extend this theorem to determine when it is possible to find a graphic realisation $G$ of a matroid $M$, subject to a list of additional constraints of the following form: a subset $F$ of the elements of $M$ must induce a connected subgraph of $G$. We prove that a connected matroid with such constraints---called a `constraint matroid'---is realisable as a graph satisfying those constraints if and only if it does not contain as a minor one of the constraint matroids from a given list: that is, the original $5$ matroids of Tutte, a further $9$ sporadic constraint matroids, and two well-behaved infinite families. Matroids realisable as graphs appear famously in Whitney's planarity criterion: Carmesin proved an extension of Whitney's planarity criterion to the embeddability of local simply connected $2$-complexes into $\mathbb{R}^3$. An application of our theorem is an extension of this theorem beyond the simply connected regime.