arXiv++ Combinatorics

A graph is $k$-degenerate if every subgraph has a vertex of degree at most $k$. We extend this notion to matroids, defining a loopless matroid $M$ to be $k$-degenerate if every restriction of $M$ contains a cocircuit of size at most $k$; $M$ is minimally $k$-degenerate if it has cogirth $k$ and every proper restriction of $M$ has cogirth at most $k-1$. Our main result characterizes extremal minimally $k$-degenerate matroids. We also extend the known arboricity bound for matroids, showing that $k$-degenerate matroids have arboricity at most $k$ and providing sharper bounds.

Let $M$ be a simple connected binary matroid, and let $e$ and $f$ be distinct elements of $M$. It is well known that, when the only circuits containing $e$ are spanning, $M$ is a circuit with at least three elements. This paper proves that if every circuit containing $\{e,f\}$ is spanning, then the canonical tree decomposition of $M$ is a path in which each vertex is labeled by a circuit, a copy of $U_{1,3}$, or a binary spike having one non-tip element deleted.

A class $\mathcal{G}$ of graphs closed under taking induced subgraphs is called hereditary. We denote by $\mathcal{G}^\mathrm{add}$ the class of graphs at most one edge addition away from $\mathcal{G}$, and by $\mathcal{G}^\mathrm{epex}$ the class of graphs at most one edge deletion away. We previously showed that if $\mathcal{G}$ has finitely many forbidden induced subgraphs, then so does the hereditary class $\mathcal{G}^\mathrm{epex}$. In this paper, we prove the corresponding result for $\mathcal{G}^\mathrm{add}$. Consequently, we show that the class of graphs within a fixed number of vertex deletions, edge deletions, and edge additions from $\mathcal{G}$ also has finitely many forbidden induced subgraphs provided that $\mathcal{G}$ does. We also present the binary and ternary matroid analogue of this result. Additionally, if $\mathcal{G}$ is closed under complementation, the forbidden induced subgraphs of $\mathcal{G}^\mathrm{add}$ and $\mathcal{G}^\mathrm{epex}$ are complements of each other. We provide explicit lists of the forbidden induced subgraphs for $\mathcal{G}^\mathrm{add}$, and consequently for $\mathcal{G}^\mathrm{epex}$, when $\mathcal{G}$ is the class of split graphs, cographs, or threshold graphs. Following Gyárfás's framework, we introduce $(p,q)$-edge split graphs, analogous to his $(p,q)$-split graphs, and prove they have finitely many forbidden induced subgraphs.

We call a matroid element "loose" if it is contained in no circuits of size less than the rank of the matroid. A matroid in which all elements are loose is a paving matroid. Acketa determined all binary paving matroids, while Oxley specified all ternary paving matroids. We characterize the binary matroids that contain a loose element. For ternary matroids with a loose element, we show that their size is linear in terms of their rank. Moreover, for a prime power $q$, we give a partial characterization of $GF(q)$-representable matroids that have two or more loose elements; we note Rajpal's partial characterization of $GF(q)$-representable paving matroids as a consequence.

For a matroid of rank $r$ and a non-negative integer $k$, an element is called $k$-loose if every circuit containing it has size greater than $r-k$. Zaslavsky and the author characterized all binary matroids with a $1$-loose element. In this paper, we establish a sharp linear bound on the size of a binary matroid, in terms of its rank, that contains a $k$-loose element. A matroid is called $k$-paving if all its elements are $k$-loose. Rajpal showed that for a prime power $q$, the rank of a $GF(q)$-matroid that is $k$-paving is bounded. We provide a bound on the rank of $GF(q)$-matroids that are cosimple and have two $k$-loose elements. Consequently, we deduce a bound on the rank of $GF(q)$-matroids that are $k$-paving. Additionally, we provide a bound on the size of binary matroids that are $k$-paving.

We call a class $\mathcal{M}$ of matroids hereditary if it is closed under flats. We denote by $\mathcal{M}^{ext}$ the class of matroids $M$ that is in $\mathcal{M}$, or has an element $e$ such that $M \backslash e$ is in $\mathcal{M}$. We prove that if $\mathcal{M}$ has finitely many forbidden flats, then so does $\mathcal{M}^{ext} $. Discussing the interplay of graphs and matroids, we note the consequences of this result for graphs.

A class $\mathcal{G}$ of graphs is called hereditary if it is closed under taking induced subgraphs. We denote by $G^{epex}$ the class of graphs that are at most one edge away from being in $\mathcal{G}$. We note that $G^{epex}$ is hereditary and prove that if a hereditary class $\mathcal{G}$ has finitely many forbidden induced subgraphs, then so does $G^{epex}$. The hereditary class of cographs consists of all graphs $G$ that can be generated from $K_1$ using complementation and disjoint union. Cographs are precisely the graphs that do not have the $4$-vertex path as an induced subgraph. For the class of edge-apex cographs our main result bounds the order of such forbidden induced subgraphs by 8 and finds all of them by computer search.

A class $\mathcal{G}$ of graphs is called hereditary if it is closed under taking induced subgraphs. We denote by $\mathcal{G}^\mathrm{apex}$ the class of graphs $G$ that contain a vertex $v$ such that $G-v$ is in $\mathcal{G}$. We prove that if a hereditary class $\mathcal{G}$ has finitely many forbidden induced subgraphs, then so does $\mathcal{G}^\mathrm{apex}$. The hereditary class of cographs consists of all graphs $G$ that can be generated from $K_1$ using complementation and disjoint union. A graph is an apex cograph if it contains a vertex whose deletion results in a cograph. Cographs are precisely the graphs that do not have the $4$-vertex path as an induced subgraph. Our main result finds all such forbidden induced subgraphs for the class of apex cographs.

A graph that can be generated from $K_1$ using joins and 0-sums is called a cograph. We define a sesquicograph to be a graph that can be generated from $K_1$ using joins, 0-sums, and 1-sums. We show that, like cographs, sesquicographs are closed under induced minors. Cographs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We obtain an analogue of this result for sesquicographs, that is, we find those non-sesquicographs for which every proper induced subgraph is a sesquicograph.

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.

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.

It follows by Bixby's Lemma that if $e$ is an element of a $3$-connected matroid $M$, then either ${\rm co}(M\delete e)$, the cosimplification of $M\delete e$, or ${\rm si}(M/e)$, the simplification of $M/e$, is $3$-connected. A natural question to ask is whether $M$ has an element $e$ such that both ${\rm co}(M\delete e)$ and ${\rm si}(M/e)$ are $3$-connected. Calling such an element "elastic", in this paper we show that if $|E(M)|\ge 4$, then $M$ has at least four elastic elements provided $M$ has no $4$-element fans and, up to duality, $M$ has no $3$-separating set $S$ that is the disjoint union of a rank-$2$ subset and a corank-$2$ subset of $E(M)$ such that $M|S$ is isomorphic to a member or a single-element deletion of a member of a certain family of matroids.

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.