Towards a splitter theorem for internally 4-connected binary matroids VIII: small matroids

Our splitter theorem for internally 4-connected binary matroids studies pairs of the form (M,N), where N and M are internally 4-connected binary matroids, M has a proper N-minor, and if M' is an internally 4-connected matroid such that M has a proper M'-minor and M' has an N-minor, then |E(M)|-|E(M')|>3. The analysis in the splitter theorem requires the constraint that |E(M)|>15. In this article, we complement that analysis by using an exhaustive computer search to find all such pairs satisfying |E(M)|<16.Comment: Correcting minor error

Fan-extensions in fragile matroids

If S is a set of matroids, then the matroid M is S-fragile if, for every element e in E(M), either M\e or M/e has no minor isomorphic to a member of S. Excluded-minor characterizations often depend, implicitly or explicitly, on understanding classes of fragile matroids. In certain cases, when F is a minor-closed class of S-fragile matroids, and N is in F, the only members of F that contain N as a minor are obtained from N by increasing the length of fans. We prove that if this is the case, then we can certify it with a finite case-analysis. The analysis involves examining matroids that are at most two elements larger than N.Comment: Small revisions and correction

Unavoidable Parallel Minors of 4-Connected Graphs

A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of degree k, the k-spoke double wheel, the k-spoke double wheel with axle, the (2k+1)-rung Mobius zigzag ladder, the (2k)-rung zigzag ladder, or K_k. We also find the unavoidable parallel minors of 1-, 2-, and 3-connected graphs.Comment: 12 pages, 3 figure

Unavoidable minors in graphs and matroids

It is well known that every sufficiently large connected graph G has either a vertex of high degree or a long path. If we require G to be more highly connected, then we ensure the presence of more highly structured minors. In particular, for all positive integers k, every 2-connected graph G has a series minor isomorphic to a k-edge cycle or K_{2,k}. In 1993, Oxley, Oporowski, and Thomas extended this result to 3- and internally 4-connected graphs identifying all unavoidable series minors of these classes. Loosely speaking, a series minor allows for arbitrary edge deletions but only allows edges to be contracted when they meet a degree-2 vertex. Dually, a parallel minor allows for any edge contractions but restricts the deletion of edges to those that lie in 2-edge cycles. This dissertation begins by proving the dual results to those noted above. These identify all unavoidable parallel minors for finite graphs of low connectivity. Following this, corresponding results on unavoidable minors for infinite graphs are proved. The dissertation concludes by finding the unavoidable parallel minors for 3-connected regular matroids, which combines the results for unavoidable series and parallel minors for graphs with Seymour\u27s decomposition theorem for regular matroids

Unavoidable topological minors of infinite graphs

This is the post-print version of the Article - Copyright @ 2010 ElsevierA graph G is loosely-c-connected, or ℓ-c-connected, if there exists a number d depending on G such that the deletion of fewer than c vertices from G leaves precisely one infinite component and a graph containing at most d vertices. In this paper, we give the structure of a set of ℓ-c-connected infinite graphs that form an unavoidable set among the topological minors of ℓ-c-connected infinite graphs. Corresponding results for minors and parallel minors are also obtained.This study was supported in part by NSF grants DMS-1001230 and NSA grant H98230-10-1-018

Unavoidable parallel minors of regular matroids

This is the post-print version of the Article - Copyright @ 2011 ElsevierWe prove that, for each positive integer k, every sufficiently large 3-connected regular matroid has a parallel minor isomorphic to M (K_{3,k}), M(W_k), M(K_k), the cycle matroid of the graph obtained from K_{2,k} by adding paths through the vertices of each vertex class, or the cycle matroid of the graph obtained from K_{3,k} by adding a complete graph on the vertex class with three vertices.This study is partially supported by a grant from the National Security Agency

Constructing internally 4-connected binary matroids

This is the post-print version of the Article - Copyright @ 2013 ElsevierIn an earlier paper, we proved that an internally 4-connected binary matroid with at least seven elements contains an internally 4-connected proper minor that is at most six elements smaller. We refine this result, by giving detailed descriptions of the operations required to produce the internally 4-connected minor. Each of these operations is top-down, in that it produces a smaller minor from the original. We also describe each as a bottom-up operation, constructing a larger matroid from the original, and we give necessary and su fficient conditions for each of these bottom-up moves to produce an internally 4-connected binary matroid. From this, we derive a constructive method for generating all internally 4-connected binary matroids.This study is supported by NSF IRFP Grant 0967050, the Marsden Fund, and the National Security Agency

Towards a splitter theorem for internally 4-connected binary matroids VI

Let M be a 3-connected binary matroid; M is called internally 4-connected if one side of every 3-separation is a triangle or a triad, and M is internally 4-connected if one side of every 3-separation is a triangle, a triad, or a 4-element fan. Assume M is internally 4-connected and that neither M nor its dual is a cubic Möbius or planar ladder or a certain coextension thereof. Let N be an internally 4-connected proper minor of M. Our aim is to show that M has a proper internally 4-connected minor with an N-minor that can be obtained from M either by removing at most four elements, or by removing elements in an easily described way from a special substructure of M. When this aim cannot be met, the earlier papers in this series showed that, up to duality, M has a good bowtie, that is, a pair, {x1,x2,x3} and {x4,x5,x6}, of disjoint triangles and a cocircuit, {x2,x3,x4,x5}, where M\x3 has an N-minor and is internally 4-connected. We also showed that, when M has a good bowtie, either M\x3,x6 has an N-minor; or M\x3/x2 has an N-minor and is internally 4-connected. In this paper, we show that, when M\x3,x6 has an N-minor but is not internally 4-connected, M has an internally 4-connected proper minor with an N-minor that can be obtained from M by removing at most three elements, or by removing elements in a well-described way from one of several special substructures of M. This is a significant step towards obtaining a splitter theorem for the class of internally 4-connected binary matroids

Internally 4-Connected Binary Matroids with Every Element in Three Triangles

Let M be an internally 4-connected binary matroid with every element in exactly three triangles. Then M has at least four elements e such that si(M/e) is internally 4-connected. This technical result is a crucial ingredient in Abdi and Guenin’s theorem determining the minimally non-ideal binary clutters that have a triangle