arXiv++ Combinatorics

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.

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.

We show that, for any graph or matroid, there is a tree that simultaneously distinguishes its maximal tangles, and, for each maximal tangle $\mathcal{T}$ that satisfies an additional robustness condition, displays all of the non-trivial separations relative to $\mathcal{T}$, up to a natural equivalence.

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.

Let $\mathcal{N}$ be a set of matroids. A matroid $M$ is strictly $\mathcal{N}$-fragile if $M$ has a member of $\mathcal{N}$ as minor and, for all $e \in E(M)$, at least one of $M\backslash e$ and $M/e$ has no minor in $\mathcal{N}$. In this paper we give a structural description of the strictly $\{U_{2,5},U_{3,5}\}$-fragile matroids that have six inequivalent representations over $\mathrm{GF}(5)$. Roughly speaking, these matroids fall into two classes. The matroids without an $\{X_8, Y_8, Y_8^{*}\}$-minor are constructed, up to duality, from one of two matroids by gluing wheels onto specified triangles. On the other hand, those matroids with an $\{X_8, Y_8, Y_8^{*}\}$-minor can be constructed from a matroid in $\{X_8, Y_8, Y_8^{*}\}$ by repeated application of elementary operations, and are shown to have path width 3. The characterization presented here will be crucial in finding the explicit list of excluded minors for two classes of matroids: the Hydra-5-representable matroids and the 2-regular matroids.

A tangle of order $k$ in a matroid or graph may be thought of as a "$k$-connected component". For a tangle of order $k$ in a matroid or graph that satisfies a certain robustness condition, we describe a tree decomposition of the matroid or graph that displays, up to a certain natural equivalence, all of the $k$-separations of the matroid or graph that are non-trivial with respect to the tangle.