Detachable Pairs in 3-Connected Matroids

The classical tool at the matroid theorist’s disposal when dealing with the common problem of wanting to remove a single element from a 3-connected matroid without losing 3-connectivity is Tutte’s Wheels-and-Whirls Theorem. However, situations arise where one wishes to delete or contract a pair of elements from a 3-connected matroid whilst maintaining 3-connectedness. The goal of this research was to provide a new tool for making such arguments. Let M be a 3-connected matroid. A detachable pair in M is a pair x, y ∈ E(M) such that either M\x, y or M/x, y is 3-connected. Naturally, our aim was to find the necessary conditions on M which guarantee the existence of a detachable pair. Triangles and triads are an obvious barrier to overcome, and can be done so by allowing the use of a Δ − Y exchange. Apart from these matroids with three-element 3-separating sets, the only other class of matroids that fail to contain a detachable pair for which no bound can be placed on the size of the ground set is the class of spikes. In particular, we prove the following result. Let M be a 3-connected matroid with at least thirteen elements. If M is not a spike, then either M contains a detachable pair, or there exists a matroid M′ where M′ is obtained by performing a single Δ − Y exchange on either M or M* such that M′ contains a detachable pair. As well as being an important theorem in its own right, we anticipate that this result will be essential in future attempts to extend Seymour’s Splitter Theorem in a comparable manner; where the goal would be to obtain a detachable pair as well as maintaining a 3-connected minor. As such, much work has been done herein to study the precise configurations that arise in 3-separating subsets which themselves yield no detachable pair.

[1]  James G. Oxley,et al.  On Inequivalent Representations of Matroids over Finite Fields , 1996, J. Comb. Theory B.

[2]  Geoff Whittle,et al.  On preserving matroid 3-connectivity relative to a fixed basis , 2013, Eur. J. Comb..

[3]  Paul D. Seymour,et al.  Decomposition of regular matroids , 1980, J. Comb. Theory, Ser. B.

[4]  Gian-Carlo ROTA.  COMBINATORIAL THEORY , OLD AND NEW by , 2022 .

[5]  R. Bixby.  A simple theorem on 3-connectivity , 1982 .

[6]  W. T. Tutte.  Connectivity in Matroids , 1966, Canadian Journal of Mathematics.

[7]  Ben Clark.  Fragility and excluded minors , 2015 .

[8]  Geoff Whittle,et al.  Stabilizers of Classes of Representable Matroids , 1999, J. Comb. Theory, Ser. B.

[9]  Bert Gerards,et al.  The Excluded Minors for GF(4)-Representable Matroids , 1997, J. Comb. Theory, Ser. B.

[10]  Geoff Whittle,et al.  Inequivalent representations of matroids over prime fields , 2011, Adv. Appl. Math..

[11]  Haidong Wu,et al.  On the Structure of 3-connected Matroids and Graphs , 2000, Eur. J. Comb..

[12]  H. Whitney.  On the Abstract Properties of Linear Dependence , 1935 .

[13]  James G. Oxley,et al.  Some Local Extremal Connectivity Results for Matroids , 1993, Combinatorics, Probability and Computing.

[14]  Paul D. Seymour,et al.  Matroid representation over GF(3) , 1979, J. Comb. Theory, Ser. B.

[15]  Dillon Mayhew,et al.  On excluded minors for real-representability , 2009, J. Comb. Theory, Ser. B.

[16]  Charles Semple,et al.  Generalized Delta?-Y Exchange and k-Regular Matroids , 2000, J. Comb. Theory, Ser. B.

[17]  Joel Miller,et al.  Matroids in which every pair of elements belongs to both a 4-circuit and a 4-cocircuit , 2014 .

[18]  Jeff Kahn,et al.  On the Uniqueness of Matroid Representations Over GF(4) , 1988 .

[19]  W. T. Tutte,et al.  A HOMOTOPY THEOREM FOR MATROIDS, II , 2010 .

[20]  Robert E. Bixby,et al.  On Reid's characterization of the ternary matroids , 1979, J. Comb. Theory, Ser. B.