Excluding a group-labelled graph

This paper contains a first step towards extending the Graph Minors Project of Robertson and Seymour to group-labelled graphs. For a finite abelian group Γ and Γ-labelled graph G, we describe the class of Γ-labelled graphs that do not contain a minor isomorphic to G

Matroid 3-connectivity and branch width

We prove that, for each nonnegative integer k and each matroid N, if M is a 3-connected matroid containing N as a minor, and the the branch width of M is sufficiently large, then there is a k-element subset X of E(M) such that one of M\X and M/X is 3-connected and contains N as a minor

Matroid 3-connectivity and branch width

We prove that, for each nonnegative integer k and each matroid N, if M is a 3-connected matroid containing N as a minor, and the the branch width of M is sufficiently large, then there is a k-element subset X of E(M) such that one of M\X and M/X is 3-connected and contains N as a minor

Tangles, tree-decompositions, and grids in matroids

A tangle in a matroid is an obstruction to small branch-width. In particular, the maximum order of a tangle is equal to the branch-width. We prove that: (i) there is a tree-decomposition of a matroid that “displays” all of the maximal tangles, and (ii) when M is representable over a finite field, each tangle of sufficiently large order “dominates” a large grid-minor. This extends results of Robertson and Seymour concerning Graph Minors

Branch-width and well-quasi-ordering in matroids and graphs

AbstractWe prove that a class of matroids representable over a fixed finite field and with bounded branch-width is well-quasi-ordered under taking minors. With some extra work, the result implies Robertson and Seymour's result that graphs with bounded tree-width (or equivalently, bounded branch-width) are well-quasi-ordered under taking minors. We will not only derive their result from our result on matroids, but we will also use the main tools for a direct proof that graphs with bounded branch-width are well-quasi-ordered under taking minors. This proof also provides a model for the proof of the result on matroids, with all specific matroid technicalities stripped off

Quasi-graphic matroids

Frame matroids and lifted-graphic matroids are two interesting generalizations of graphic matroids. Here we introduce a new generalization, quasi-graphic matroids, that unifies these two existing classes. Unlike frame matroids and lifted-graphic matroids, it is easy to certify that a matroid is quasi-graphic. The main result of the paper is that every 3-connected representable quasi-graphic matroid is either a lifted-graphic matroid or a rame matroid

On inequivalent representations of matroids over non-prime fields

For each finite field $F$ of prime order there is a constant $c$ such that every 4-connected matroid has at most $c$ inequivalent representations over $F$. We had hoped that this would extend to all finite fields, however, it was not to be. The $(m,n)$-mace is the matroid obtained by adding a point freely to $M(K_{m,n})$. For all $n \geq 3$, the $(3,n)$-mace is 4-connected and has at least $2n$ representations over any field $F$ of non-prime order $q \geq 9$. More generally, for $n \geq m$, the $(m,n)$-mace is vertically $(m+1)$-connected and has at least $2n$ inequivalent representations over any finite field of non-prime order $q\geq m^m$

On the odd-minor variant of Hadwiger's conjecture

A {\it $K_l$ -expansion} consists of $l$ vertex-disjoint trees, every two of which are joined by an edge. We call such an expansion {\it odd} if its vertices can be two-coloured so that the edges of the trees are bichromatic but the edges between trees are monochromatic. We show that, for every $l$, if a graph contains no odd $K_l$ -expansion then its chromatic number is $O(l \sqrt{\log l})$. In doing so, we obtain a characterization of graphs which contain no odd $K_l$ -expansion which is of independent interest. We also prove that given a graph and a subset $S$ of its vertex set, either there are $k$ vertex-disjoint odd paths with endpoints in $S$, or there is a set X of at most $2k − 2$ vertices such that every odd path with both ends in $S$ contains a vertex in $X$. Finally, we discuss the algorithmic implications of these results

On the odd-minor variant of Hadwiger's conjecture

A {\it $K_l$ -expansion} consists of $l$ vertex-disjoint trees, every two of which are joined by an edge. We call such an expansion {\it odd} if its vertices can be two-coloured so that the edges of the trees are bichromatic but the edges between trees are monochromatic. We show that, for every $l$, if a graph contains no odd $K_l$ -expansion then its chromatic number is $O(l \sqrt{\log l})$. In doing so, we obtain a characterization of graphs which contain no odd $K_l$ -expansion which is of independent interest. We also prove that given a graph and a subset $S$ of its vertex set, either there are $k$ vertex-disjoint odd paths with endpoints in $S$, or there is a set X of at most $2k − 2$ vertices such that every odd path with both ends in $S$ contains a vertex in $X$. Finally, we discuss the algorithmic implications of these results

ROTA’S BASIS CONJECTURE FOR PAVING MATROIDS

Rota conjectured that, given n disjoint bases of a rank-n matroid M, there are n disjoint transversals of these bases that are all bases of M. We prove a stronger statement for the class of paving matroids. We prove the following theorem