arXiv++ Combinatorics

Dirac and Lovász independently characterized the $3$-connected graphs with no pair of vertex-disjoint cycles. Equivalently, they characterized all $3$-connected graphs with no prism-minors. In this paper, we completely characterize the $3$-connected graphs with an edge that is contained in the union of no pair of vertex-disjoint cycles. As applications, we answer the analogous questions for edge-disjoint cycles and for $4$-connected graphs and we completely characterize the $3$-connected graphs with no prism-minor using a specified edge.

A connected simple graph is said dual-hamiltonian if its vertex set has a $2$-coloring such that each color class induces a tree. We call such a coloring a hamiltonian coloring. We prove that if $G$ is a graph with a certain type of hamiltonian coloring and $T$ is a tree, then $G\times T$ is also dual-hamiltonian having the same certain type of hamiltonian coloring. This result is used to constructed a class of dual-hamiltonian graphs, which includes the hypercubes and other multidimensional grids.

A matroid $N$ is said to be triangle-rounded in a class of matroids $\mathcal{M}$ if each $3$-connected matroid $M\in \mathcal{M}$ with a triangle $T$ and an $N$-minor has an $N$-minor with $T$ as triangle. Reid gave a result useful to identify such matroids as stated next: suppose that $M$ is a binary $3$-connected matroid with a $3$-connected minor $N$, $T$ is a triangle of $M$ and $e\in T\cap E(N)$; then $M$ has a $3$-connected minor $M'$ with an $N$-minor such that $T$ is a triangle of $M'$ and $|E(M')|\le |E(N)|+2$. We strengthen this result by dropping the condition that such element $e$ exists and proving that there is a $3$-connected minor $M'$ of $M$ with an $N$-minor $N'$ such that $T$ is a triangle of $M'$ and $E(M')-E(N')\subseteq T$. This result is extended to the non-binary case and, as an application, we prove that $M(K_5)$ is triangle-rounded in the class of the regular matroids.

We denote by $\mathbb{F}_q$ the field with $q$ elements. A radius-$r$ extended ball with center in a $1$-dimensional vector subspace $V$ of $\mathbb{F}_q^3$ is the set of elements of $\mathbb{F}_q^3$ with Hamming distance to $V$ at most $r$. We define $c(q)$ as the size of a minimum covering of $\fqt$ by radius-$1$ extended balls. We define a semiqueen as a piece of a toroidal chessboard that extends the covering range of a rook by the southwest-northeast diagonal containing it. Let $ξ_D(n)$ be the minimum number of semiqueens of the $n\times n$ toroidal board necessary to cover the entire board except possibly for the southwest-northeast diagonal. We prove that, for $q\ge 7$, $c(q)=ξ_D(q-1)+2$. Moreover, our proof exhibits a method to build such covers of $\mathbb{F}_q^3$ from the semiqueen coverings of the board. With this new method, we determine $c(q)$ for the odd values of $q$ and improve both existing bounds for the even case.

Let $G$ be a $3$-connected graph with a $3$-connected (or sufficiently small) simple minor $H$. We establish that $G$ has a forest $F$ with at least $\left\lceil(|G|-|H|+1)/2\right\rceil$ edges such that $G/e$ is $3$-connected with an $H$-minor for each $e\in E(F)$. Moreover, we may pick $F$ with $|G|-|H|$ edges provided $G$ is triangle-free. These results are sharp. Our result generalizes a previous one by Ando et. al., which establishes that a $3$-connected graph $G$ has at least $\left\lceil|G|/2\right\rceil$ contractible edges. As another consequence, each triangle-free $3$-connected graph has an spanning tree of contractible edges. Our results follow from a more general theorem on graph minors, a splitter theorem, which is also established here.

We establish the following splitter theorem for graphs and its generalization for matroids: Let $G$ and $H$ be $3$-connected simple graphs such that $G$ has an $H$-minor and $k:=|V(G)|-|V(H)|\ge 2$. Let $n:=\left\lceil k/2\right\rceil+1$. Then there are pairwise disjoint sets $X_1,\dots,X_n\subseteq E(G)$ such that each $G/X_i$ is a $3$-connected graph with an $H$-minor, each $X_i$ is a singleton set or the edge set of a triangle of $G$ with $3$ degree-$3$ vertices and $X_1\cup\cdots\cup X_n$ contains no edge sets of circuits of $G$ other than the $X_i$'s. This result extends previous ones of Whittle (for $k=1,2$) and Costalonga (for $k=3$).

In this paper we prove two main results about obstruction to graph planarity. One is that, if $G$ is a 3-connected graph with a $K_5$-minor and $T$ is a triangle of $G$, then $G$ has a $K_5$-minor $H$, such that $E(T)\cont E(H)$. Other is that if $G$ is a 3-connected simple non-planar graph not isomorphic to $K_5$ and $e,f\in E(G)$, then $G$ has a minor $H$ such that $e,f\in E(H)$ and, up to isomorphisms, $H$ is one of the four non-isomorphic simple graphs obtained from $K_{3,3}$ by the addiction of \,0, 1 or 2 edges. We generalize this second result to the class of the regular matroids.

Let $M$ be a 3-connected binary matroid and let $Y(M)$ be the set of elements of $M$ avoiding at least $r(M)+1$ non-separating cocircuits of $M$. Lemos proved that $M$ is non-graphic if and only if $Y(M)\neq\emp$. We generalize this result when by establishing that $Y(M)$ is very large when $M$ is non-graphic and $M$ has no $M\s(K_{3,3}"')$-minor if $M$ is regular. More precisely that $|E(M)-Y(M)|\le 1$ in this case. We conjecture that when $M$ is a regular matroid with an $M\s(K_{3,3})$-minor, then $r\s_M(E(M)-Y(M))\le 2$. The proof of such conjecture is reduced to a computational verification.

In this paper we establish a variation of the Splitter Theorem. Let $M$ and $N$ be simple 3-connected matroids. We say that $x\in E(M)$ is vertically $N$-contractible if $si(M/x)$ is a 3-connected matroid with an $N$-minor. Whittle (for $k=1,2$) and Costalonga(for $k=3$) proved that, if $r(M)- r(N)\ge k$, then $M$ has a $k$-independent set $I$ of vertically $N$-contractible elements. Costalonga also characterized an obstruction for the existence of such a 4-independent set $I$ in the binary case, provided $r(M)-r(N)\ge 5$, and improved this result when $r(M)-r(N)\ge 6$, and in the graphic case. In this paper we generalize the results of Costalonga to the non-binary case. Moreover, we apply our results to the study of properties similar to 3-roundedness in classes of matroids.