Internally -connected binary matroids with every element in three triangles
Let be an internally -connected binary matroid with every element in three triangles. Then has at least four elements such that si is internally 4-connected.
Source author record
Carolyn Chun
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
7works
1topics
4close collaborators
Published work
7 publications
preprint2016arXiv
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 (4,4,S)-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 (4,4,S)-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 (4,4,S)-connected. In this paper, we show that, when M\x3,x6 has an N-minor but is not (4,4,S)-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.
Open access
preprint2016arXiv
Towards a Splitter Theorem for Internally 4-connected Binary Matroids VII
Let M be a 3-connected binary matroid; M is internally 4-connected if one side of every 3-separation is a triangle or a triad, and M is (4,4,S)-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 \ffsc. We also showed that, when M has a good bowtie, either M\x3,x6 has an N-minor and M\x6 is (4,4,S)-connected; or M\x3/x2 has an N-minor and is \ffsc. In this paper, we show that, when M\x3,x6 has no N-minor, 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 a special substructure of M. This is the penultimate step towards obtaining a splitter theorem for the class of internally 4-connected binary matroids.
Open access
preprint2016arXiv
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.
Open access
preprint2015arXiv
Computer-verification of the structure of some classes of fragile matroids
This technical report accompanies the following three papers. It contains the computations necessary to verify some of the results claimed in those papers. [1] Carolyn Chun, Deborah Chun, Dillon Mayhew, and Stefan H. M. van Zwam. Fan-extensions in fragile matroids. In preparation. [2] Carolyn Chun, Dillon Mayhew, Geoff Whittle, and Stefan H. M. van Zwam. The structure of binary Fano-fragile matroids. In preparation. [3] Ben Clark, Dillon Mayhew, Geoff Whittle, and Stefan H. M. van Zwam. The structure of {U2,5, U3,5}-fragile matroids. In preparation.
Open access
preprint2015arXiv
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.
Open access
preprint2012arXiv
Towards a splitter theorem for internally 4-connected binary matroids II
Let M and N be internally 4-connected binary matroids such that M has a proper N-minor, and |E(N)| is at least seven. As part of our project to develop a splitter theorem for internally 4-connected binary matroids, we prove the following result: if M\e has no N-minor whenever e is in a triangle of M, and M/e has no N-minor whenever e is in a triad of M, then M has a minor, M', such that M' is internally 4-connected with an N-minor, and 0 < |E(M)|-|E(M')| < 3.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.