arXiv++ Combinatorics

Let $G$ be a bridgeless cubic graph. In 2023, the three authors solved a conjecture (also known as the $S_4$-Conjecture) made by Mazzuoccolo in 2013: there exist two perfect matchings of $G$ such that the complement of their union is a bipartite subgraph of $G$. They actually show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbitrary edge $e$ of $G$, there exists a perfect matching $M$ of $G$ containing $e$ such that $G\setminus (F\cup M)$ is bipartite. This is a step closer to comprehend better the Fan--Raspaud Conjecture and eventually the Berge--Fulkerson Conjecture. The $S_4$-Conjecture, now a theorem, is also the weakest assertion in a series of three conjectures made by Mazzuoccolo in 2013, with the next stronger statement being: there exist two perfect matchings of $G$ such that the complement of their union is an acyclic subgraph of $G$. Unfortunately, this conjecture is not true: Jin, Steffen, and Mazzuoccolo later showed that there exists a counterexample admitting 2-cuts. Here we show that, despite of this, every cyclically 3-edge-connected cubic graph satisfies this second conjecture.

Let $G$ be a graph of even order, and consider $K_G$ as the complete graph on the same vertex set as $G$. A perfect matching of $K_G$ is called a pairing of $G$. If for every pairing $M$ of $G$ it is possible to find a perfect matching $N$ of $G$ such that $M \cup N$ is a Hamiltonian cycle of $K_G$, then $G$ is said to have the Pairing-Hamiltonian property, or PH-property, for short. In 2007, Fink [J. Combin. Theory Ser. B, 97] proved that for every $d\geq 2$, the $d$-dimensional hypercube $\mathcal{Q}_d$ has the PH-property, thus proving a conjecture posed by Kreweras in 1996. In this paper we extend Fink's result by proving that given a graph $G$ having the PH-property, the prism graph $\mathcal{P}(G)$ of $G$ has the PH-property as well. Moreover, if $G$ is a connected graph, we show that there exists a positive integer $k_0$ such that the $k^{\textrm{th}}$-prism of a graph $\mathcal{P}^k(G)$ has the PH-property for all $k \ge k_0$.

Let $G$ be a bridgeless cubic graph. The Berge--Fulkerson Conjecture (1970s) states that $G$ admits a list of six perfect matchings such that each edge of $G$ belongs to exactly two of these perfect matchings. If answered in the affirmative, two other recent conjectures would also be true: the Fan--Raspaud Conjecture (1994), which states that $G$ admits three perfect matchings such that every edge of $G$ belongs to at most two of them; and a conjecture by Mazzuoccolo (2013), which states that $G$ admits two perfect matchings whose deletion yields a bipartite subgraph of $G$. It can be shown that given an arbitrary perfect matching of $G$, it is not always possible to extend it to a list of three or six perfect matchings satisfying the statements of the Fan--Raspaud and the Berge--Fulkerson conjectures, respectively. In this paper, we show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbitrary edge $e$ of $G$, there always exists a perfect matching $M$ of $G$ containing $e$ such that $G\setminus (F\cup M)$ is bipartite. Our result implies Mazzuoccolo's conjecture, but not only. It also implies that given any collection of disjoint odd circuits in $G$, there exists a perfect matching of $G$ containing at least one edge of each circuit in this collection.

In 2015, Bogdanowicz gave a necessary and sufficient condition for a 4-regular circulant graph to be isomorphic to the Cartesian product of two cycles. Accordion graphs, denoted by $A[n,k]$, are 4-regular graphs on two parameters $n$ and $k$ which were recently introduced by the authors and studied with regards to Hamiltonicity and matchings. These graphs can be obtained by a slight modification in some of the edges of the Cartesian product of two cycles. Motivated by the work of Bogdanowicz, the authors also determined for which values of $n$ and $k$ the accordion graph $A[n,k]$ is circulant. In this work we investigate what parameters a 4-regular circulant graph must have in order to be isomorphic to an accordion graph, thus providing a complete characterisation similar to that given by Bogdanowicz. We also give a necessary and sufficient condition for two accordion graphs with distinct parameters to be isomorphic.

Let $H$ and $G$ be graphs. An $H$-colouring of $G$ is a proper edge-colouring $f:E(G)\rightarrow E(H)$ such that for any vertex $u\in V(G)$ there exists a vertex $v\in V(H)$ with $f\left (\partial_Gu\right )=\partial_Hv$, where $\partial_Gu$ and $\partial_Hv$ respectively denote the sets of edges in $G$ and $H$ incident to the vertices $u$ and $v$. If $G$ admits an $H$-colouring we say that $H$ colours $G$. The question whether there exists a graph $H$ that colours every bridgeless cubic graph is addressed directly by the Petersen Colouring Conjecture, which states that the Petersen graph colours every bridgeless cubic graph. In 2012, Mkrtchyan showed that if this conjecture is true, the Petersen graph is the unique connected bridgeless cubic graph $H$ which can colour all bridgeless cubic graphs. In this paper we extend this and show that if we were to remove all degree conditions on $H$, every bridgeless cubic graph $G$ can be coloured substantially only by a unique other graph: the subcubic multigraph $S_{4}$ on four vertices. A few similar results are provided also under weaker assumptions on the graph $G$. In the second part of the paper, we also consider $H$-colourings of regular graphs having degree strictly greater than $3$ and show that: (i) for any $r>3$, there does not exist a connected graph $H$ (possibly containing parallel edges) that colours every $r$-regular multigraph, and (ii) for every $r>1$, there does not exist a connected graph $H$ (possibly containing parallel edges) that colours every $2r$-regular simple graph.

A Hamiltonian graph is 2-factor Hamiltonian (2FH) if each of its 2-factors is a Hamiltonian cycle. A similar, but weaker, property is the Perfect-Matching-Hamiltonian property (PMH-property): a graph admitting a perfect matching is said to have this property if each one of its perfect matchings (1-factors) can be extended to a Hamiltonian cycle. It was shown that the star product operation between two bipartite 2FH-graphs is necessary and sufficient for a bipartite graph admitting a 3-edge-cut to be 2FH. The same cannot be said when dealing with the PMH-property, and in this work we discuss how one can use star products to obtain graphs (which are not necessarily bipartite, regular and 2FH) admitting the PMH-property with the help of malleable vertices, which we introduce here. We show that the presence of a malleable vertex in a graph implies that the graph has the PMH-property, but does not necessarily imply that it is 2FH. It was also conjectured that if a graph is a bipartite cubic 2FH-graph, then it can only be obtained from the complete bipartite graph $K_{3,3}$ and the Heawood graph by using star products. Here, we show that a cubic graph (not necessarily bipartite) is 2FH if and only if all of its vertices are malleable. We also prove that the above conjecture is equivalent to saying that, apart from the Heawood graph, every bipartite cyclically 4-edge-connected cubic graph with girth at least 6 having the PMH-property admits a perfect matching which can be extended to a Hamiltonian cycle in exactly one way. Finally, we also give two necessary and sufficient conditions for a graph admitting a 2-edge-cut to be: (i) 2FH, and (ii) PMH.

A graph $G$ has the Perfect-Matching-Hamiltonian property (PMH-property) if for each one of its perfect matchings, there is another perfect matching of $G$ such that the union of the two perfect matchings yields a Hamiltonian cycle of $G$. The study of graphs that have the PMH-property, initiated in the 1970s by Las Vergnas and Häggkvist, combines three well-studied properties of graphs, namely matchings, Hamiltonicity and edge-colourings. In this work, we study these concepts for cubic graphs in an attempt to characterise those cubic graphs for which every perfect matching corresponds to one of the colours of a proper 3-edge-colouring of the graph. We discuss that this is equivalent to saying that such graphs are even-2-factorable (E2F), that is, all 2-factors of the graph contain only even cycles. The case for bipartite cubic graphs is trivial, since if $G$ is bipartite then it is E2F. Thus, we restrict our attention to non-bipartite cubic graphs. A sufficient, but not necessary, condition for a cubic graph to be E2F is that it has the PMH-property. The aim of this work is to introduce an infinite family of E2F non-bipartite cubic graphs on two parameters, which we coin papillon graphs, and determine the values of the respective parameters for which these graphs have the PMH-property or are just E2F. We also show that no two papillon graphs with different parameters are isomorphic.

The rook graph is a graph whose edges represent all the possible legal moves of the rook chess piece on a chessboard. The problem we consider is the following. Given any set $M$ containing pairs of cells such that each cell of the $m_1 \times m_2$ chessboard is in exactly one pair, we determine the values of the positive integers $m_1$ and $m_2$ for which it is possible to construct a closed tour of all the cells of the chessboard which uses all the pairs of cells in $M$ and some edges of the rook graph. This is an alternative formulation of a graph-theoretical problem presented in [Electron. J. Combin. 28(1) (2021), #P1.7] involving the Cartesian product $G$ of two complete graphs $K_{m_1}$ and $K_{m_2}$, which is, in fact, isomorphic to the $m_{1}\times m_{2}$ rook graph. The problem revolves around determining the values of the parameters $m_1$ and $m_2$ that would allow any perfect matching of the complete graph on the same vertex set of $G$ to be extended to a Hamiltonian cycle by using only edges in $G$.

The Erdős--Faber--Lovász Conjecture, posed in 1972, states that if a graph $G$ is the union of $n$ cliques of order $n$ (referred to as defining $n$-cliques) such that two cliques can share at most one vertex, then the vertices of $G$ can be properly coloured using $n$ colours. Although still open after almost 50 years, it can be easily shown that the conjecture is true when every shared vertex belongs to exactly two defining $n$-cliques. We here provide a quick and easy algorithm to colour the vertices of $G$ in this case, and discuss connections with clique-decompositions and edge-colourings of graphs.

A bridgeless cubic graph $G$ is said to have a 2-bisection if there exists a 2-vertex-colouring of $G$ (not necessarily proper) such that: (i) the colour classes have the same cardinality, and (ii) the monochromatic components are either an isolated vertex or an edge. In 2016, Ban and Linial conjectured that every bridgeless cubic graph, apart from the well-known Petersen graph, admits a 2-bisection. In the same paper it was shown that every Class I bridgeless cubic graph admits such a bisection. The Class II bridgeless cubic graphs which are critical to many conjectures in graph theory are known as snarks, in particular, those with excessive index at least 5, that is, whose edge set cannot be covered by four perfect matchings. Moreover, in [J. Graph Theory, 86(2) (2017), 149--158], Esperet et al. state that a possible counterexample to Ban--Linial's Conjecture must have circular flow number at least 5. The same authors also state that although empirical evidence shows that several graphs obtained from the Petersen graph admit a 2-bisection, they can offer nothing in the direction of a general proof. Despite some sporadic computational results, until now, no general result about snarks having excessive index and circular flow number both at least 5 has been proven. In this work we show that treelike snarks, which are an infinite family of snarks heavily depending on the Petersen graph and with both their circular flow number and excessive index at least 5, admit a 2-bisection.

A fractional colouring of a graph $G$ is a function that assigns a non-negative real value to all possible colour-classes of $G$ containing any vertex of $G$, such that the sum of these values is at least one for each vertex. The fractional chromatic number is the minimum sum of the values assigned by a fractional colouring over all possible such colourings of $G$. Introduced by Bosica and Tardif, fractional covers are an extension of fractional colourings whereby the real-valued function acts on all possible subgraphs of $G$ belonging to a given class of graphs. The fractional chromatic number turns out to be a special instance of the fractional cover number. In this work we investigate fractional covers acting on $(k+1)$-clique-free subgraphs of $G$ which, although sharing some similarities with fractional covers acting on $k$-colourable subgraphs of $G$, they exhibit some peculiarities. We first show that if a simple graph $G_2$ is a homomorphic image of a simple graph $G_1$, then the fractional cover number defined on the $(k+1)$-clique-free subgraphs of $G_1$ is bounded above by the corresponding number of $G_2$. We make use of this result to obtain bounds for the associated fractional cover number of graphs that are either $n$-colourable or $a\!\!:\!\!b$-colourable.

Let $G$ be a graph of even order and let $K_{G}$ be the complete graph on the same vertex set of $G$. A pairing of a graph $G$ is a perfect matching of the graph $K_{G}$. A graph $G$ has the Pairing-Hamiltonian property (for short, the PH-property) if for each one of its pairings, there exists a perfect matching of $G$ such that the union of the two gives rise to a Hamiltonian cycle of $K_G$. In 2015, Alahmadi \emph{et al.} gave a complete characterisation of the cubic graphs having the PH-property. Most naturally, the next step is to characterise the quartic graphs that have the PH-property. In this work we propose a class of quartic graphs on two parameters, $n$ and $k$, which we call the class of accordion graphs $A[n,k]$. We show that an infinite family of quartic graphs (which are also circulant) that Alahmadi \emph{et al.} stated to have the PH-property are, in fact, members of this general class of accordion graphs. We also study the PH-property of this class of accordion graphs, at times considering the pairings of $G$ which are also perfect matchings of $G$. Furthermore, there is a close relationship between accordion graphs and the Cartesian product of two cycles. Motivated by a recent work by Bogdanowicz (2015), we give a complete characterisation of those accordion graphs that are circulant graphs. In fact, we show that $A[n,k]$ is not circulant if and only if both $n$ and $k$ are even, such that $k\geq 4$.

A pairing of a graph $G$ is a perfect matching of the complete graph having the same vertex set as $G$. If every pairing of $G$ can be extended to a Hamiltonian cycle of the underlying complete graph using only edges from $G$, then $G$ has the PH-property. A somewhat weaker property is the PMH-property, whereby every perfect matching of $G$ can be extended to a Hamiltonian cycle of $G$. In an attempt to characterise all 4-regular graphs having the PH-property, we answer a question made in 2015 by Alahmadi et al. by showing that the Cartesian product $C_p\square C_q$ of two cycles on $p$ and $q$ vertices does not have the PMH-property, except for $C_4\square C_4$ which is known to have the PH-property.

Many conjectures and open problems in graph theory can either be reduced to cubic graphs or are directly stated for cubic graphs. Furthermore, it is known that for a lot of problems, a counterexample must be a snark, i.e. a bridgeless cubic graph which is not 3--edge-colourable. In this paper we deal with the fact that the family of potential counterexamples to many interesting conjectures can be narrowed even further to the family ${\cal S}_{\geq 5}$ of bridgeless cubic graphs whose edge set cannot be covered with four perfect matchings. The Cycle Double Cover Conjecture, the Shortest Cycle Cover Conjecture and the Fan-Raspaud Conjecture are examples of statements for which ${\cal S}_{\geq 5}$ is crucial. In this paper, we study parameters which have the potential to further refine ${\cal S}_{\geq 5}$ and thus enlarge the set of cubic graphs for which the mentioned conjectures can be verified. We show that ${\cal S}_{\geq 5}$ can be naturally decomposed into subsets with increasing complexity, thereby producing a natural scale for proving these conjectures. More precisely, we consider the following parameters and questions: given a bridgeless cubic graph, (i) how many perfect matchings need to be added, (ii) how many copies of the same perfect matching need to be added, and (iii) how many 2--factors need to be added so that the resulting regular graph is Class I? We present new results for these parameters and we also establish some strong relations between these problems and some long-standing conjectures.

A graph admitting a perfect matching has the Perfect-Matching-Hamiltonian property (for short the PMH-property) if each of its perfect matchings can be extended to a Hamiltonian cycle. In this paper we establish some sufficient conditions for a graph $G$ in order to guarantee that its line graph $L(G)$ has the PMH-property. In particular, we prove that this happens when $G$ is (i) a Hamiltonian graph with maximum degree at most $3$, (ii) a complete graph, or (iii) an arbitrarily traceable graph. Further related questions and open problems are proposed along the paper.

In 1994, it was conjectured by Fan and Raspaud that every simple bridgeless cubic graph has three perfect matchings whose intersection is empty. In this paper we answer a question recently proposed by Mkrtchyan and Vardanyan, by giving an equivalent formulation of the Fan-Raspaud Conjecture. We also study a possibly weaker conjecture originally proposed by the first author, which states that in every simple bridgeless cubic graph there exist two perfect matchings such that the complement of their union is a bipartite graph. Here, we show that this conjecture can be equivalently stated using a variant of Petersen-colourings, we prove it for graphs having oddness at most four and we give a natural extension to bridgeless cubic multigraphs and to certain cubic graphs having bridges.