-
Flexipaths in matroids
Authors:
Nick Brettell,
James Oxley,
Charles Semple,
Geoff Whittle
Abstract:
Although the unavoidable minors of large 3-connected matroids were found nearly thirty years ago, there has been little progress on solving the corresponding problem for large 4-connected matroids. This paper aims to take a step towards solving that problem. The objects of study here are 4-paths, that is, sequences $(L, P_1, P_2, \ldots, P_n, R)$ of sets that partition the ground set of a matroid…
▽ More
Although the unavoidable minors of large 3-connected matroids were found nearly thirty years ago, there has been little progress on solving the corresponding problem for large 4-connected matroids. This paper aims to take a step towards solving that problem. The objects of study here are 4-paths, that is, sequences $(L, P_1, P_2, \ldots, P_n, R)$ of sets that partition the ground set of a matroid so that the union of any proper initial segment of parts is 4-separating. Viewing the ends L and R as fixed, we call such a partition a 4-flexipath if $(L, Q_1, Q_2, \ldots, Q_n, R)$ is a 4-path for all permutations $(Q_1, Q_2, \ldots, Q_n)$ of $(P_1, P_2, \ldots, P_n)$. A straightforward simplification enables us to focus on $(4,c)$-flexipaths for some $c$ in $\{1,2,3\}$, that is, those 4-flexipaths for which $λ(Q_i) = c$ and $λ(Q_i \cup Q_j) > c$ for all distinct $i$ and $j$. Our main result is that the only non-trivial case that arises here is when $c = 2$. In that case, there are essentially only two possible dual pairs of $(4,c)$-flexipaths when $n \geq 5$. A key technique in the proof of this result is of independent interest. We construct the clonal core of a partitioned matroid. From the relatively simple structure of this clonal core, we can deduce many properties of the original partitioned matroid from the local connectivities between unions of parts of the partition.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Chordal matroids arising from generalized parallel connections II
Authors:
James Dylan Douthitt,
James Oxley
Abstract:
In 1961, Dirac showed that chordal graphs are exactly the graphs that can be constructed from complete graphs by a sequence of clique-sums. In an earlier paper, by analogy with Dirac's result, we introduced the class of $GF(q)$-chordal matroids as those matroids that can be constructed from projective geometries over $GF(q)$ by a sequence of generalized parallel connections across projective geome…
▽ More
In 1961, Dirac showed that chordal graphs are exactly the graphs that can be constructed from complete graphs by a sequence of clique-sums. In an earlier paper, by analogy with Dirac's result, we introduced the class of $GF(q)$-chordal matroids as those matroids that can be constructed from projective geometries over $GF(q)$ by a sequence of generalized parallel connections across projective geometries over $GF(q)$. Our main result showed that when $q=2$, such matroids have no induced minor in $\{M(C_4),M(K_4)\}$. In this paper, we show that the class of $GF(2)$-chordal matroids coincides with the class of binary matroids that have none of $M(K_4)$, $M^*(K_{3,3})$, or $M(C_n)$ for $n\geq 4$ as a flat. We also show that $GF(q)$-chordal matroids can be characterized by an analogous result to Rose's 1970 characterization of chordal graphs as those that have a perfect elimination ordering of vertices.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
What is a 4-connected matroid?
Authors:
Nick Brettell,
Susan Jowett,
James Oxley,
Charles Semple,
Geoff Whittle
Abstract:
The breadth of a tangle $\mathcal{T}$ in a matroid is the size of the largest spanning uniform submatroid of the tangle matroid of $\mathcal{T}$. The matroid $M$ is weakly 4-connected if it is 3-connected and whenever $(X,Y)$ is a partition of $E(M)$ with $|X|,|Y|>4$, then $λ(X)\geq 3$. We prove that if $\mathcal{T}$ is a tangle of order $k\geq 4$ and breadth $l$ in a matroid $M$, then $M$ has a w…
▽ More
The breadth of a tangle $\mathcal{T}$ in a matroid is the size of the largest spanning uniform submatroid of the tangle matroid of $\mathcal{T}$. The matroid $M$ is weakly 4-connected if it is 3-connected and whenever $(X,Y)$ is a partition of $E(M)$ with $|X|,|Y|>4$, then $λ(X)\geq 3$. We prove that if $\mathcal{T}$ is a tangle of order $k\geq 4$ and breadth $l$ in a matroid $M$, then $M$ has a weakly 4-connected minor $N$ with a tangle $\mathcal{T}_N$ of order $k$, breadth $l$ and has the property that $\mathcal{T}$ is the tangle in $M$ induced by $\mathcal{T}_N$.
A set $Z$ of elements of a matroid $M$ is 4-connected if $λ(A)\geq\min\{|A\cap Z|,|Z-A|,3\}$ for all $A\subseteq E(M)$. As a corollary of our theorems on tangles we prove that if $M$ contains an $n$-element 4-connected set where $n\geq 7$, then $M$ has a weakly $4$-connected minor that contains an $n$-element $4$-connected set.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Matroids Arising From Nested Sequences of Flats In Projective And Affine Geometries
Authors:
Matthew Mizell,
James Oxley
Abstract:
Targets are matroids that arise from a nested sequence of flats in a projective geometry. This class of matroids was introduced by Nelson and Nomoto, who found the forbidden induced restrictions for binary targets. This paper generalizes their result to targets arising from projective geometries over $GF(q)$. We also consider targets arising from nested sequences of affine flats and determine the…
▽ More
Targets are matroids that arise from a nested sequence of flats in a projective geometry. This class of matroids was introduced by Nelson and Nomoto, who found the forbidden induced restrictions for binary targets. This paper generalizes their result to targets arising from projective geometries over $GF(q)$. We also consider targets arising from nested sequences of affine flats and determine the forbidden induced restrictions for affine targets.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Chordal matroids arising from generalized parallel connections
Authors:
James Dylan Douthitt,
James Oxley
Abstract:
A graph is chordal if every cycle of length at least four has a chord. In 1961, Dirac characterized chordal graphs as those graphs that can be built from complete graphs by repeated clique-sums. Generalizing this, we consider the class of simple $GF(q)$-representable matroids that can be built from projective geometries over $GF(q)$ by repeated generalized parallel connections across projective ge…
▽ More
A graph is chordal if every cycle of length at least four has a chord. In 1961, Dirac characterized chordal graphs as those graphs that can be built from complete graphs by repeated clique-sums. Generalizing this, we consider the class of simple $GF(q)$-representable matroids that can be built from projective geometries over $GF(q)$ by repeated generalized parallel connections across projective geometries. We show that this class of matroids is closed under induced minors. We characterize the class by its forbidden induced minors; the case when $q=2$ is distinctive.
△ Less
Submitted 14 October, 2023; v1 submitted 12 June, 2023;
originally announced June 2023.
-
A binary-matroid analogue of a graph connectivity result of Jamison and Mulder
Authors:
Cameron Crenshaw,
James Oxley
Abstract:
Let $G$ be a graph such that, whenever two vertices $x$ and $y$ of $G$ are joined by three internally disjoint paths, $x$ and $y$ are adjacent. Jamison and Mulder determined that the set of such graphs coincides with the set of graphs that can be built from cycles and complete graphs via 1-sums and parallel connections. This paper proves an analogous result for binary matroids.
Let $G$ be a graph such that, whenever two vertices $x$ and $y$ of $G$ are joined by three internally disjoint paths, $x$ and $y$ are adjacent. Jamison and Mulder determined that the set of such graphs coincides with the set of graphs that can be built from cycles and complete graphs via 1-sums and parallel connections. This paper proves an analogous result for binary matroids.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
The excluded minors for 2- and 3-regular matroids
Authors:
Nick Brettell,
James Oxley,
Charles Semple,
Geoff Whittle
Abstract:
The class of 2-regular matroids is a natural generalisation of regular and near-regular matroids. We prove an excluded-minor characterisation for the class of 2-regular matroids. The class of 3-regular matroids coincides with the class of matroids representable over the Hydra-5 partial field, and the 3-connected matroids in the class with a $U_{2,5}$- or $U_{3,5}$-minor are precisely those with si…
▽ More
The class of 2-regular matroids is a natural generalisation of regular and near-regular matroids. We prove an excluded-minor characterisation for the class of 2-regular matroids. The class of 3-regular matroids coincides with the class of matroids representable over the Hydra-5 partial field, and the 3-connected matroids in the class with a $U_{2,5}$- or $U_{3,5}$-minor are precisely those with six inequivalent representations over GF(5). We also prove that an excluded minor for this class has at most 15 elements.
△ Less
Submitted 6 September, 2023; v1 submitted 30 June, 2022;
originally announced June 2022.
-
Excluded minors are almost fragile II: essential elements
Authors:
Nick Brettell,
James Oxley,
Charles Semple,
Geoff Whittle
Abstract:
Let $M$ be an excluded minor for the class of $\mathbb{P}$-representable matroids for some partial field $\mathbb{P}$, let $N$ be a $3$-connected strong $\mathbb{P}$-stabilizer that is non-binary, and suppose $M$ has a pair of elements $\{a,b\}$ such that $M\backslash a,b$ is $3$-connected with an $N$-minor. Suppose also that $|E(M)| \geq |E(N)|+11$ and $M \backslash a,b$ is not $N$-fragile. In th…
▽ More
Let $M$ be an excluded minor for the class of $\mathbb{P}$-representable matroids for some partial field $\mathbb{P}$, let $N$ be a $3$-connected strong $\mathbb{P}$-stabilizer that is non-binary, and suppose $M$ has a pair of elements $\{a,b\}$ such that $M\backslash a,b$ is $3$-connected with an $N$-minor. Suppose also that $|E(M)| \geq |E(N)|+11$ and $M \backslash a,b$ is not $N$-fragile. In the prequel to this paper, we proved that $M \backslash a,b$ is at most five elements away from an $N$-fragile minor. An element $e$ in a matroid $M'$ is $N$-essential if neither $M'/e$ nor $M' \backslash e$ has an $N$-minor. In this paper, we prove that, under mild assumptions, $M \backslash a,b$ is one element away from a minor having at least $r(M)-2$ elements that are $N$-essential.
△ Less
Submitted 14 August, 2023; v1 submitted 26 June, 2022;
originally announced June 2022.
-
Ordering Circuits of Matroids
Authors:
Cameron Crenshaw,
James Oxley
Abstract:
The cycles of a graph give a natural cyclic ordering to their edge-sets, and these orderings are consistent in that two edges are adjacent in one cycle if and only if they are adjacent in every cycle in which they appear together. An orderable matroid is one whose set of circuits admits such a consistent ordering. In this paper, we consider the question of determining which matroids are orderable.…
▽ More
The cycles of a graph give a natural cyclic ordering to their edge-sets, and these orderings are consistent in that two edges are adjacent in one cycle if and only if they are adjacent in every cycle in which they appear together. An orderable matroid is one whose set of circuits admits such a consistent ordering. In this paper, we consider the question of determining which matroids are orderable. Although we are able to answer this question for non-binary matroids, it remains open for binary matroids. We give examples to provide insight into the potential difficulty of this question in general. We also show that, by requiring that the ordering preserves the three arcs in every theta-graph restriction of a binary matroid $M$, we guarantee that $M$ is orderable if and only if $M$ is graphic.
△ Less
Submitted 8 April, 2023; v1 submitted 15 March, 2022;
originally announced March 2022.
-
Small cocircuits in minimally vertically $4$-connected matroids
Authors:
James Oxley,
Zach Walsh
Abstract:
Halin proved that every minimally $k$-connected graph has a vertex of degree $k$. More generally, does every minimally vertically $k$-connected matroid have a $k$-element cocircuit? Results of Murty and Wong give an affirmative answer when $k \le 3$. We show that every minimally vertically $4$-connected matroid with at least six elements has a $4$-element cocircuit, or a $5$-element cocircuit that…
▽ More
Halin proved that every minimally $k$-connected graph has a vertex of degree $k$. More generally, does every minimally vertically $k$-connected matroid have a $k$-element cocircuit? Results of Murty and Wong give an affirmative answer when $k \le 3$. We show that every minimally vertically $4$-connected matroid with at least six elements has a $4$-element cocircuit, or a $5$-element cocircuit that contains a triangle, with the exception of a specific non-binary $9$-element matroid. Consequently, every minimally vertically $4$-connected binary matroid with at least six elements has a $4$-element cocircuit.
△ Less
Submitted 25 May, 2022; v1 submitted 25 October, 2021;
originally announced October 2021.
-
The smallest class of binary matroids closed under direct sums and complements
Authors:
James Oxley,
Jagdeep Singh
Abstract:
The class of cographs or complement-reducible graphs is the class of graphs that can be generated from $K_1$ using the operations of disjoint union and complementation. By analogy, this paper introduces the class of binary comatroids as the class of matroids that can be generated from the empty matroid using the operations of direct sum and taking complements inside of binary projective space. We…
▽ More
The class of cographs or complement-reducible graphs is the class of graphs that can be generated from $K_1$ using the operations of disjoint union and complementation. By analogy, this paper introduces the class of binary comatroids as the class of matroids that can be generated from the empty matroid using the operations of direct sum and taking complements inside of binary projective space. We show that a proper flat of a binary comatroid is a binary comatroid. Our main result identifies those binary non-comatroids for which every proper flat is a binary comatroid. The paper also proves the corresponding results for ternary matroids.
△ Less
Submitted 18 October, 2021;
originally announced October 2021.
-
On the Cogirth of Binary Matroids
Authors:
Cameron Crenshaw,
James Oxley
Abstract:
The cogirth, $g^\ast(M)$, of a matroid $M$ is the size of a smallest cocircuit of $M$. Finding the cogirth of a graphic matroid can be done in polynomial time, but Vardy showed in 1997 that it is NP-hard to find the cogirth of a binary matroid. In this paper, we show that $g^\ast(M)\leq \frac{1}{2}\vert E(M)\vert$ when $M$ is binary, unless $M$ simplifies to a projective geometry. We also show tha…
▽ More
The cogirth, $g^\ast(M)$, of a matroid $M$ is the size of a smallest cocircuit of $M$. Finding the cogirth of a graphic matroid can be done in polynomial time, but Vardy showed in 1997 that it is NP-hard to find the cogirth of a binary matroid. In this paper, we show that $g^\ast(M)\leq \frac{1}{2}\vert E(M)\vert$ when $M$ is binary, unless $M$ simplifies to a projective geometry. We also show that, when equality holds, $M$ simplifies to a Bose-Burton geometry, that is, a matroid of the form $PG(r-1,2)-PG(k-1,2)$. These results extend to matroids representable over arbitrary finite fields.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
$2$-Modular Matrices
Authors:
James Oxley,
Zach Walsh
Abstract:
A rank-$r$ integer matrix $A$ is $Δ$-modular if the determinant of each $r \times r$ submatrix has absolute value at most $Δ$. The class of $1$-modular, or unimodular, matrices is of fundamental significance in both integer programming theory and matroid theory. A 1957 result of Heller shows that the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ unimodular matrix is…
▽ More
A rank-$r$ integer matrix $A$ is $Δ$-modular if the determinant of each $r \times r$ submatrix has absolute value at most $Δ$. The class of $1$-modular, or unimodular, matrices is of fundamental significance in both integer programming theory and matroid theory. A 1957 result of Heller shows that the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ unimodular matrix is ${r + 1 \choose 2}$. We prove that, for each sufficiently large integer $r$, the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ $2$-modular matrix is ${r + 2 \choose 2} - 2$.
△ Less
Submitted 1 May, 2024; v1 submitted 10 May, 2021;
originally announced May 2021.
-
Generalizing Cographs to 2-Cographs
Authors:
James Oxley,
Jagdeep Singh
Abstract:
A graph in which every connected induced subgraph has a disconnected complement is called a cograph. Such graphs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We define a $2$-cograph to be a graph in which the complement of every $2$-connected induced subgraph is not $2$-connected. We show that, like cographs, $2$-cographs can be recursively defined. But, unli…
▽ More
A graph in which every connected induced subgraph has a disconnected complement is called a cograph. Such graphs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We define a $2$-cograph to be a graph in which the complement of every $2$-connected induced subgraph is not $2$-connected. We show that, like cographs, $2$-cographs can be recursively defined. But, unlike cographs, $2$-cographs are closed under induced minors. We characterize the class of non-$2$-cographs for which every proper induced minor is a $2$-cograph. We further find the finitely many members of this class whose complements are also induced-minor-minimal non-$2$-cographs.
△ Less
Submitted 10 March, 2022; v1 submitted 28 February, 2021;
originally announced March 2021.
-
Circuit-Difference Matroids
Authors:
George Drummond,
Tara Fife,
Kevin Grace,
James Oxley
Abstract:
One characterization of binary matroids is that the symmetric difference of every pair of intersecting circuits is a disjoint union of circuits. This paper considers circuit-difference matroids, that is, those matroids in which the symmetric difference of every pair of intersecting circuits is a single circuit. Our main result shows that a connected regular matroid is circuit-difference if and onl…
▽ More
One characterization of binary matroids is that the symmetric difference of every pair of intersecting circuits is a disjoint union of circuits. This paper considers circuit-difference matroids, that is, those matroids in which the symmetric difference of every pair of intersecting circuits is a single circuit. Our main result shows that a connected regular matroid is circuit-difference if and only if it contains no pair of skew circuits. Using a result of Pfeil, this enables us to explicitly determine all regular circuit-difference matroids. The class of circuit-difference matroids is not closed under minors, but it is closed under series minors. We characterize the infinitely many excluded series minors for the class.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
A note on the connectivity of 2-polymatroid minors
Authors:
Zachary Gershkoff,
James Oxley
Abstract:
Brylawski and Seymour independently proved that if $M$ is a connected matroid with a connected minor $N$, and $e \in E(M) - E(N)$, then $M \backslash e$ or $M / e$ is connected having $N$ as a minor. This paper proves an analogous but somewhat weaker result for $2$-polymatroids. Specifically, if $M$ is a connected $2$-polymatroid with a proper connected minor $N$, then there is an element $e$ of…
▽ More
Brylawski and Seymour independently proved that if $M$ is a connected matroid with a connected minor $N$, and $e \in E(M) - E(N)$, then $M \backslash e$ or $M / e$ is connected having $N$ as a minor. This paper proves an analogous but somewhat weaker result for $2$-polymatroids. Specifically, if $M$ is a connected $2$-polymatroid with a proper connected minor $N$, then there is an element $e$ of $E(M) - E(N)$ such that $M \backslash e$ or $M / e$ is connected having $N$ as a minor. We also consider what can be said about the uniqueness of the way in which the elements of $E(M) - E(N)$ can be removed so that connectedness is always maintained.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Pathologist-Level Grading of Prostate Biopsies with Artificial Intelligence
Authors:
Peter Ström,
Kimmo Kartasalo,
Henrik Olsson,
Leslie Solorzano,
Brett Delahunt,
Daniel M. Berney,
David G. Bostwick,
Andrew J. Evans,
David J. Grignon,
Peter A. Humphrey,
Kenneth A. Iczkowski,
James G. Kench,
Glen Kristiansen,
Theodorus H. van der Kwast,
Katia R. M. Leite,
Jesse K. McKenney,
Jon Oxley,
Chin-Chen Pan,
Hemamali Samaratunga,
John R. Srigley,
Hiroyuki Takahashi,
Toyonori Tsuzuki,
Murali Varma,
Ming Zhou,
Johan Lindberg
, et al. (7 additional authors not shown)
Abstract:
Background: An increasing volume of prostate biopsies and a world-wide shortage of uro-pathologists puts a strain on pathology departments. Additionally, the high intra- and inter-observer variability in grading can result in over- and undertreatment of prostate cancer. Artificial intelligence (AI) methods may alleviate these problems by assisting pathologists to reduce workload and harmonize grad…
▽ More
Background: An increasing volume of prostate biopsies and a world-wide shortage of uro-pathologists puts a strain on pathology departments. Additionally, the high intra- and inter-observer variability in grading can result in over- and undertreatment of prostate cancer. Artificial intelligence (AI) methods may alleviate these problems by assisting pathologists to reduce workload and harmonize grading.
Methods: We digitized 6,682 needle biopsies from 976 participants in the population based STHLM3 diagnostic study to train deep neural networks for assessing prostate biopsies. The networks were evaluated by predicting the presence, extent, and Gleason grade of malignant tissue for an independent test set comprising 1,631 biopsies from 245 men. We additionally evaluated grading performance on 87 biopsies individually graded by 23 experienced urological pathologists from the International Society of Urological Pathology. We assessed discriminatory performance by receiver operating characteristics (ROC) and tumor extent predictions by correlating predicted millimeter cancer length against measurements by the reporting pathologist. We quantified the concordance between grades assigned by the AI and the expert urological pathologists using Cohen's kappa.
Results: The performance of the AI to detect and grade cancer in prostate needle biopsy samples was comparable to that of international experts in prostate pathology. The AI achieved an area under the ROC curve of 0.997 for distinguishing between benign and malignant biopsy cores, and 0.999 for distinguishing between men with or without prostate cancer. The correlation between millimeter cancer predicted by the AI and assigned by the reporting pathologist was 0.96. For assigning Gleason grades, the AI achieved an average pairwise kappa of 0.62. This was within the range of the corresponding values for the expert pathologists (0.60 to 0.73).
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
Complementation, Local Complementation, and Switching in Binary Matroids
Authors:
James Oxley,
Jagdeep Singh
Abstract:
In 2004, Ehrenfeucht, Harju, and Rozenberg showed that any graph on a vertex set $V$ can be obtained from a complete graph on $V$ via a sequence of the operations of complementation, switching edges and non-edges at a vertex, and local complementation. The last operation involves taking the complement in the neighbourhood of a vertex. In this paper, we consider natural generalizations of these ope…
▽ More
In 2004, Ehrenfeucht, Harju, and Rozenberg showed that any graph on a vertex set $V$ can be obtained from a complete graph on $V$ via a sequence of the operations of complementation, switching edges and non-edges at a vertex, and local complementation. The last operation involves taking the complement in the neighbourhood of a vertex. In this paper, we consider natural generalizations of these operations for binary matroids and explore their behaviour. We characterize all binary matroids obtainable from the binary projective geometry of rank $r$ under the operations of complementation and switching. Moreover, we show that not all binary matroids of rank at most $r$ can be obtained from a projective geometry of rank $r$ via a sequence of the three generalized operations. We introduce a fourth operation and show that, with this additional operation, we are able to obtain all binary matroids.
△ Less
Submitted 16 April, 2020; v1 submitted 27 May, 2019;
originally announced May 2019.
-
On Density-Critical Matroids
Authors:
Rutger Campbell,
Kevin Grace,
James Oxley,
Geoff Whittle
Abstract:
For a matroid $M$ having $m$ rank-one flats, the density $d(M)$ is $\tfrac{m}{r(M)}$ unless $m = 0$, in which case $d(M)= 0$. A matroid is density-critical if all of its proper minors of non-zero rank have lower density. By a 1965 theorem of Edmonds, a matroid that is minor-minimal among simple matroids that cannot be covered by $k$ independent sets is density-critical. It is straightforward to sh…
▽ More
For a matroid $M$ having $m$ rank-one flats, the density $d(M)$ is $\tfrac{m}{r(M)}$ unless $m = 0$, in which case $d(M)= 0$. A matroid is density-critical if all of its proper minors of non-zero rank have lower density. By a 1965 theorem of Edmonds, a matroid that is minor-minimal among simple matroids that cannot be covered by $k$ independent sets is density-critical. It is straightforward to show that $U_{1,k+1}$ is the only minor-minimal loopless matroid with no covering by $k$ independent sets. We prove that there are exactly ten minor-minimal simple obstructions to a matroid being able to be covered by two independent sets. These ten matroids are precisely the density-critical matroids $M$ such that $d(M) > 2$ but $d(N) \le 2$ for all proper minors $N$ of $M$. All density-critical matroids of density less than $2$ are series-parallel networks. For $k \ge 2$, although finding all density-critical matroids of density at most $k$ does not seem straightforward, we do solve this problem for $k=\tfrac{9}{4}$.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
On the Highly Connected Dyadic, Near-Regular, and Sixth-Root-of-Unity Matroids
Authors:
Ben Clark,
Kevin Grace,
James Oxley,
Stefan H. M. van Zwam
Abstract:
Subject to announced results by Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the classes of dyadic, near-regular, and sixth-root-of-unity matroids.
Subject to announced results by Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the classes of dyadic, near-regular, and sixth-root-of-unity matroids.
△ Less
Submitted 26 March, 2021; v1 submitted 9 March, 2019;
originally announced March 2019.
-
A matroid extension result
Authors:
James Oxley
Abstract:
Adding elements to matroids can be fraught with difficulty. In the Vámos matroid $V_8$, there are four independent sets $X_1,X_2, X_3,$ and $X_4$ such that $(X_1 \cup X_2,X_3 \cup X_4)$ is a $3$-separation while exactly three of the local connectivities $\sqcap(X_1,X_{3})$, $\sqcap(X_1,X_{4})$, $\sqcap(X_2,X_{3})$, and $\sqcap(X_2,X_{4})$ are one, with the fourth being zero. As is well known, ther…
▽ More
Adding elements to matroids can be fraught with difficulty. In the Vámos matroid $V_8$, there are four independent sets $X_1,X_2, X_3,$ and $X_4$ such that $(X_1 \cup X_2,X_3 \cup X_4)$ is a $3$-separation while exactly three of the local connectivities $\sqcap(X_1,X_{3})$, $\sqcap(X_1,X_{4})$, $\sqcap(X_2,X_{3})$, and $\sqcap(X_2,X_{4})$ are one, with the fourth being zero. As is well known, there is no extension of $V_8$ by a non-loop element $p$ such that $X_j \cup p$ is a circuit for all $j$. This paper proves that a matroid can be extended by a fixed element in the guts of a $3$-separation provided no Vámos-like structure is present.
△ Less
Submitted 13 May, 2018;
originally announced May 2018.
-
Generalized Laminar Matroids
Authors:
Tara Fife,
James Oxley
Abstract:
Nested matroids were introduced by Crapo in 1965 and have appeared frequently in the literature since then. A flat of a matroid $M$ is Hamiltonian if it has a spanning circuit. A matroid $M$ is nested if and only if its Hamiltonian flats form a chain under inclusion; $M$ is laminar if and only if, for every $1$-element independent set $X$, the Hamiltonian flats of $M$ containing $X$ form a chain u…
▽ More
Nested matroids were introduced by Crapo in 1965 and have appeared frequently in the literature since then. A flat of a matroid $M$ is Hamiltonian if it has a spanning circuit. A matroid $M$ is nested if and only if its Hamiltonian flats form a chain under inclusion; $M$ is laminar if and only if, for every $1$-element independent set $X$, the Hamiltonian flats of $M$ containing $X$ form a chain under inclusion. We generalize these notions to define the classes of $k$-closure-laminar and $k$-laminar matroids. This paper focuses on structural properties of these classes noting that, while the second class is always minor-closed, the first is if and only if $k \le 3$. The main results are excluded-minor characterizations for the classes of 2-laminar and 2-closure-laminar matroids.
△ Less
Submitted 21 January, 2018;
originally announced January 2018.
-
A splitter theorem for 3-connected 2-polymatroids
Authors:
James Oxley,
Charles Semple,
Geoff Whittle
Abstract:
Seymour's Splitter Theorem is a basic inductive tool for dealing with $3$-connected matroids. This paper proves a generalization of that theorem for the class of $2$-polymatroids. Such structures include matroids, and they model both sets of points and lines in a projective space and sets of edges in a graph. A series compression in such a structure is an analogue of contracting an edge of a graph…
▽ More
Seymour's Splitter Theorem is a basic inductive tool for dealing with $3$-connected matroids. This paper proves a generalization of that theorem for the class of $2$-polymatroids. Such structures include matroids, and they model both sets of points and lines in a projective space and sets of edges in a graph. A series compression in such a structure is an analogue of contracting an edge of a graph that is in a series pair. A $2$-polymatroid $N$ is an s-minor of a $2$-polymatroid $M$ if $N$ can be obtained from $M$ by a sequence of contractions, series compressions, and dual-contractions, where the last are modified deletions. The main result proves that if $M$ and $N$ are $3$-connected $2$-polymatroids such that $N$ is an s-minor of $M$, then $M$ has a $3$-connected s-minor $M'$ that has an s-minor isomorphic to $N$ and has $|E(M)| - 1$ elements unless $M$ is a whirl or the cycle matroid of a wheel. In the exceptional case, such an $M'$ can be found with $|E(M)| - 2$ elements.
△ Less
Submitted 24 June, 2017;
originally announced June 2017.
-
A notion of minor-based matroid connectivity
Authors:
Zachary Gershkoff,
James Oxley
Abstract:
For a matroid $N$, a matroid $M$ is $N$-connected if every two elements of $M$ are in an $N$-minor together. Thus a matroid is connected if and only if it is $U_{1,2}$-connected. This paper proves that $U_{1,2}$ is the only connected matroid $N$ such that if $M$ is $N$-connected with $|E(M)| > |E(N)|$, then $M \backslash e$ or $M / e$ is $N$-connected for all elements $e$. Moreover, we show that…
▽ More
For a matroid $N$, a matroid $M$ is $N$-connected if every two elements of $M$ are in an $N$-minor together. Thus a matroid is connected if and only if it is $U_{1,2}$-connected. This paper proves that $U_{1,2}$ is the only connected matroid $N$ such that if $M$ is $N$-connected with $|E(M)| > |E(N)|$, then $M \backslash e$ or $M / e$ is $N$-connected for all elements $e$. Moreover, we show that $U_{1,2}$ and $M(\mathcal{W}_2)$ are the only connected matroids $N$ such that, whenever a matroid has an $N$-minor using $\{e,f\}$ and an $N$-minor using $\{f,g\}$, it also has an $N$-minor using $\{e,g\}$. Finally, we show that $M$ is $U_{0,1} \oplus U_{1,1}$-connected if and only if every clonal class of $M$ is trivial.
△ Less
Submitted 21 July, 2018; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Relaxations of GF$(4)$-representable matroids
Authors:
Ben Clark,
James Oxley,
Stefan H. M. van Zwam
Abstract:
We consider the GF$(4)$-representable matroids with a circuit-hyperplane such that the matroid obtained by relaxing the circuit-hyperplane is also GF$(4)$-representable. We characterize the structure of these matroids as an application of structure theorems for the classes of $U_{2,4}$-fragile and $\{U_{2,5},U_{3,5}\}$-fragile matroids. In addition, we characterize the forbidden submatrices in GF…
▽ More
We consider the GF$(4)$-representable matroids with a circuit-hyperplane such that the matroid obtained by relaxing the circuit-hyperplane is also GF$(4)$-representable. We characterize the structure of these matroids as an application of structure theorems for the classes of $U_{2,4}$-fragile and $\{U_{2,5},U_{3,5}\}$-fragile matroids. In addition, we characterize the forbidden submatrices in GF$(4)$-representations of these matroids.
△ Less
Submitted 1 June, 2018; v1 submitted 24 April, 2017;
originally announced April 2017.
-
Internally $4$-connected binary matroids with every element in three triangles
Authors:
Carolyn Chun,
James Oxley
Abstract:
Let $M$ be an internally $4$-connected binary matroid with every element in three triangles. Then $M$ has at least four elements $e$ such that si$(M/e)$ is internally 4-connected.
Let $M$ be an internally $4$-connected binary matroid with every element in three triangles. Then $M$ has at least four elements $e$ such that si$(M/e)$ is internally 4-connected.
△ Less
Submitted 21 August, 2016;
originally announced August 2016.
-
Towards a Splitter Theorem for Internally $4$-connected Binary Matroids VII
Authors:
Carolyn Chun,
James Oxley
Abstract:
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$…
▽ More
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, $\{x_1,x_2,x_3\}$ and $\{x_4,x_5,x_6\}$, of disjoint triangles and a cocircuit, $\{x_2,x_3,x_4,x_5\}$, where $M\backslash x_3$ has an $N$-minor and is \ffsc. We also showed that, when $M$ has a good bowtie, either $M\backslash x_3,x_6$ has an $N$-minor and $M\backslash x_6$ is $(4,4,S)$-connected; or $M\backslash x_3/x_2$ has an $N$-minor and is \ffsc. In this paper, we show that, when $M\backslash x_3,x_6$ 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.
△ Less
Submitted 2 August, 2016;
originally announced August 2016.
-
Towards a Splitter Theorem for Internally $4$-connected Binary Matroids VI
Authors:
Carolyn Chun,
James Oxley
Abstract:
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. L…
▽ More
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, $\{x_1,x_2,x_3\}$ and $\{x_4,x_5,x_6\}$, of disjoint triangles and a cocircuit, $\{x_2,x_3,x_4,x_5\}$, where $M\backslash x_3$ has an $N$-minor and is $(4,4,S)$-connected. We also showed that, when $M$ has a good bowtie, either $M\backslash x_3,x_6$ has an $N$-minor; or $M\backslash x_3/x_2$ has an $N$-minor and is $(4,4,S)$-connected. In this paper, we show that, when $M\backslash x_3,x_6$ 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.
△ Less
Submitted 2 August, 2016;
originally announced August 2016.
-
Laminar Matroids
Authors:
Tara Fife,
James Oxley
Abstract:
A laminar family is a collection $\mathscr{A}$ of subsets of a set $E$ such that, for any two intersecting sets, one is contained in the other. For a capacity function $c$ on $\mathscr{A}$, let $\mathscr{I}$ be $\{I:|I\cap A| \leq c(A)\text{ for all $A\in\mathscr{A}$}\}$. Then $\mathscr{I}$ is the collection of independent sets of a (laminar) matroid on $E$. We present a method of compacting lamin…
▽ More
A laminar family is a collection $\mathscr{A}$ of subsets of a set $E$ such that, for any two intersecting sets, one is contained in the other. For a capacity function $c$ on $\mathscr{A}$, let $\mathscr{I}$ be $\{I:|I\cap A| \leq c(A)\text{ for all $A\in\mathscr{A}$}\}$. Then $\mathscr{I}$ is the collection of independent sets of a (laminar) matroid on $E$. We present a method of compacting laminar presentations, characterize the class of laminar matroids by their excluded minors, present a way to construct all laminar matroids using basic operations, and compare the class of laminar matroids to other well-known classes of matroids.
△ Less
Submitted 27 June, 2016;
originally announced June 2016.
-
Excluded minors are almost fragile
Authors:
Nick Brettell,
Ben Clark,
James Oxley,
Charles Semple,
Geoff Whittle
Abstract:
Let $M$ be an excluded minor for the class of $\mathbb{P}$-representable matroids for some partial field $\mathbb P$, and let $N$ be a $3$-connected strong $\mathbb{P}$-stabilizer that is non-binary. We prove that either $M$ is bounded relative to $N$, or, up to replacing $M$ by a $Δ$-$Y$-equivalent excluded minor, we can choose a pair of elements $\{a,b\}$ such that either $M\backslash \{a,b\}$ i…
▽ More
Let $M$ be an excluded minor for the class of $\mathbb{P}$-representable matroids for some partial field $\mathbb P$, and let $N$ be a $3$-connected strong $\mathbb{P}$-stabilizer that is non-binary. We prove that either $M$ is bounded relative to $N$, or, up to replacing $M$ by a $Δ$-$Y$-equivalent excluded minor, we can choose a pair of elements $\{a,b\}$ such that either $M\backslash \{a,b\}$ is $N$-fragile, or $M^* \backslash \{a,b\}$ is $N^*$-fragile.
△ Less
Submitted 19 September, 2018; v1 submitted 31 March, 2016;
originally announced March 2016.
-
Towards a splitter theorem for internally 4-connected binary matroids VIII: small matroids
Authors:
Carolyn Chun,
Dillon Mayhew,
James Oxley
Abstract:
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,…
▽ More
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.
△ Less
Submitted 12 July, 2016; v1 submitted 1 January, 2015;
originally announced January 2015.
-
Towards a splitter theorem for internally 4-connected binary matroids II
Authors:
Carolyn Chun,
Dillon Mayhew,
James Oxley
Abstract:
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 inte…
▽ More
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.
△ Less
Submitted 20 June, 2012;
originally announced June 2012.
-
On two classes of nearly binary matroids
Authors:
James Oxley,
Jesse Taylor
Abstract:
We give an excluded-minor characterization for the class of matroids M in which M\e or M/e is binary for all e in E(M). This class is closely related to the class of matroids in which every member is binary or can be obtained from a binary matroid by relaxing a circuit-hyperplane. We also provide an excluded-minor characterization for the second class.
We give an excluded-minor characterization for the class of matroids M in which M\e or M/e is binary for all e in E(M). This class is closely related to the class of matroids in which every member is binary or can be obtained from a binary matroid by relaxing a circuit-hyperplane. We also provide an excluded-minor characterization for the second class.
△ Less
Submitted 28 July, 2013; v1 submitted 2 May, 2012;
originally announced May 2012.
-
Homogeneous multivariate polynomials with the half-plane property
Authors:
Young-Bin Choe,
James G. Oxley,
Alan D. Sokal,
David G. Wagner
Abstract:
A polynomial P in n complex variables is said to have the "half-plane property" (or Hurwitz property) if it is nonvanishing whenever all the variables lie in the open right half-plane. Such polynomials arise in combinatorics, reliability theory, electrical circuit theory and statistical mechanics. A particularly important case is when the polynomial is homogeneous and multiaffine: then it is the…
▽ More
A polynomial P in n complex variables is said to have the "half-plane property" (or Hurwitz property) if it is nonvanishing whenever all the variables lie in the open right half-plane. Such polynomials arise in combinatorics, reliability theory, electrical circuit theory and statistical mechanics. A particularly important case is when the polynomial is homogeneous and multiaffine: then it is the (weighted) generating polynomial of an r-uniform set system. We prove that the support (set of nonzero coefficients) of a homogeneous multiaffine polynomial with the half-plane property is necessarily the set of bases of a matroid. Conversely, we ask: For which matroids M does the basis generating polynomial P_{B(M)} have the half-plane property? Not all matroids have the half-plane property, but we find large classes that do: all sixth-root-of-unity matroids, and a subclass of transversal (or cotransversal) matroids that we call "nice". Furthermore, the class of matroids with the half-plane property is closed under minors, duality, direct sums, 2-sums, series and parallel connection, full-rank matroid union, and some special cases of principal truncation, principal extension, principal cotruncation and principal coextension. Our positive results depend on two distinct (and apparently unrelated) methods for constructing polynomials with the half-plane property: a determinant construction (exploiting "energy" arguments), and a permanent construction (exploiting the Heilmann-Lieb theorem on matching polynomials). We conclude with a list of open questions.
△ Less
Submitted 3 December, 2002; v1 submitted 4 February, 2002;
originally announced February 2002.