arXiv++ Combinatorics

A long-standing conjecture of Berge suggests that every bridgeless cubic graph can be expressed as a union of at most five perfect matchings. This conjecture trivially holds for $3$-edge-colourable cubic graphs, but remains widely open for graphs that are not $3$-edge-colourable. The aim of this paper is to verify the validity of Berge's conjecture for cubic graphs that are in a certain sense close to $3$-edge-colourable graphs. We measure the closeness by looking at the colouring defect, which is defined as the minimum number of edges left uncovered by any collection of three perfect matchings. While $3$-edge-colourable graphs have defect $0$, every bridgeless cubic graph with no $3$-edge-colouring has defect at least $3$. In 2015, Steffen proved that the Berge conjecture holds for cyclically $4$-edge-connected cubic graphs with colouring defect $3$ or $4$. Our aim is to improve Steffen's result in two ways. We show that all bridgeless cubic graphs with defect $3$ satisfy Berge's conjecture irrespectively of their cyclic connectivity. If, additionally, the graph in question is cyclically $4$-edge-connected, then four perfect matchings suffice, unless the graph is the Petersen graph. The result is best possible as there exists an infinite family of cubic graphs with cyclic connectivity $3$ which have defect $3$ but cannot be covered with four perfect matchings.

A common problem in graph colouring seeks to decompose the edge set of a given graph into few similar and simple subgraphs, under certain divisibility conditions. In 1987 Wormald conjectured that the edges of every cubic graph on $4n$ vertices can be partitioned into two isomorphic linear forests. We prove this conjecture for large connected cubic graphs. Our proof uses a wide range of probabilistic tools in conjunction with intricate structural analysis, and introduces a variety of local recolouring techniques.

Given a graph $G$, we denote by $f(G,u_0,k)$ the number of paths of length $k$ in $G$ starting from $u_0$. In graphs of maximum degree 3, with edge weights $i.i.d.$ with $exp(1)$, we provide a simple proof showing that (under the assumption that $f(G,u_0,k)=ω(1)$) the expected weight of the heaviest path of length $k$ in $G$ starting from $u_0$ is at least \begin{align*} (1-o(1))\left(k+\frac{\log_2\left(f(G,u_0,k)\right)}{2}\right), \end{align*} and the expected weight of the lightest path of length $k$ in $G$ starting from $u_0$ is at most \begin{align*} (1+o(1))\left(k-\frac{\log_2\left(f(G,u_0,k)\right)}{2}\right). \end{align*} We demonstrate the immediate implication of this result for Hamilton paths and Hamilton cycles in random cubic graphs, where we show that typically there exist paths and cycles of such weight as well. Finally, we discuss the connection of this result to the question of a longest cycle in the giant component of supercritical $G(n,p)$.

A graph is {\em locally irregular} if no two adjacent vertices have the same degree. A {\em locally irregular edge-coloring} of a graph $G$ is such an (improper) edge-coloring that the edges of any fixed color induce a locally irregular graph. Among the graphs admitting a locally irregular edge-coloring, i.e., {\em decomposable graphs}, only one is known to require $4$ colors, while for all the others it is believed that $3$ colors suffice. In this paper, we prove that decomposable claw-free graphs with maximum degree $3$, all cycle permutation graphs, and all generalized Petersen graphs admit a locally irregular edge-coloring with at most $3$ colors. We also discuss when $2$ colors suffice for a locally irregular edge-coloring of cubic graphs and present an infinite family of cubic graphs of girth $4$ which require $3$ colors.

The power domination problem focuses on finding the optimal placement of phase measurement units (PMUs) to monitor an electrical power network. In the context of graphs, the power domination number of a graph $G$, denoted $γ_P(G)$, is the minimum number of vertices needed to observe every vertex in the graph according to a specific set of observation rules. In \cite{ZKC_cubic}, Zhao et al. proved that if $G$ is a connected claw-free cubic graph of order $n$, then $γ_P(G) \leq n/4$. In this paper, we show that if $G$ is a claw-free diamond-free cubic graph of order $n$, then $γ_P(G) \le n/6$, and this bound is sharp. We also provide new bounds on $γ_P(G \Box H)$ where $G\Box H$ is the Cartesian product of graphs $G$ and $H$. In the specific case that $G$ and $H$ are trees whose power domination number and domination number are equal, we show the Vizing-like inequality holds and $γ_P(G \Box H) \ge γ_P(G)γ_P(H)$.

Assume that a graph $G$ models a detection system for a facility with a possible ``intruder," or a multiprocessor network with a possible malfunctioning processor. We consider the problem of placing detectors at a subset of vertices in $G$ to determine the location of an intruder if there is any. Many types of detection systems have been defined for different sensor capabilities; in particular, we focus on Identifying Codes, where each detector can determine whether there is an intruder within its closed neighborhood. In this research we explore a fault-tolerant variant of identifying codes applicable to real-world systems. Specifically, error-detecting identifying codes permit a false negative transmission from any single detector. We investigate minimum-sized error-detecting identifying codes in several classes of graphs, including cubic graphs and infinite grids, and show that the problem of determining said minimum size in arbitrary graphs is NP-complete.

Let $C_{n,g}$ be the number of rooted cubic maps with $2n$ vertices on the orientable surface of genus $g$. We show that the sequence $(C_{n,g}:g\ge 0)$ is asymptotically normal with mean and variance asymptotic to $(1/2)(n-\ln n)$ and $(1/4)\ln n$, respectively. We derive an asymptotic expression for $C_{n,g}$ when $(n-2g)/\ln n$ lies in any closed subinterval of $(0,2)$. Using rotation systems and Bender's theorem about generating functions with fast-growing coefficients, we derive simple asymptotic expressions for the numbers of rooted regular maps, disregarding the genus. In particular, we show that the number of rooted cubic maps with $2n$ vertices, disregarding the genus, is asymptotic to $\frac{3}π\,n!6^n$.

A graph $G$ admiting a $2$-factor is \textit{pseudo $2$-factor isomorphic} if the parity of the number of cycles in all its $2$-factors is the same. In [M. Abreu, A.A. Diwan, B. Jackson, D. Labbate and J. Sheehan. Pseudo $2$-factor isomorphic regular bipartite graphs. Journal of Combinatorial Theory, Series B, 98(2) (2008), 432-444.] some of the authors of this note gave a partial characterisation of pseudo $2$-factor isomorphic bipartite cubic graphs and conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially $4$-edge-connected ones. In [J. Goedgebeur. A counterexample to the pseudo $2$-factor isomorphic graph conjecture. Discr. Applied Math., 193 (2015), 57-60.] Jan Goedgebeur computationally found a graph $\mathscr{G}$ on $30$ vertices which is pseudo $2$-factor isomorphic cubic and bipartite, essentially $4$-edge-connected and cyclically $6$-edge-connected, thus refuting the above conjecture. In this note, we describe how such a graph can be constructed from the Heawood graph and the generalised Petersen graph $GP(8,3)$, which are the Levi graphs of the Fano $7_3$ configuration and the Möbius-Kantor $8_3$ configuration, respectively. Such a description of $\mathscr{G}$ allows us to understand its automorphism group, which has order $144$, using both a geometrical and a graph theoretical approach simultaneously. Moreover we illustrate the uniqueness of this graph.

We offer a new, gradual approach to the largest girth problem for cubic graphs. It is easily observed that the largest possible girth of all $n$-vertex cubic graphs is attained by a $2$-connected graph $G=(V,E)$. By Petersen's graph theorem, $E$ is the disjoint union of a $2$-factor and a perfect matching $M$. We refer to the edges of $M$ as chords and classify the cycles in $G$ by their number of chords. We define $γ_k(n)$ to be the largest integer $g$ such that every cubic $n$-vertex graph with a given perfect matching $M$ has a cycle of length at most $g$ with at most $k$ chords. Here we determine this function up to small additive constant for $k= 1, 2$ and up to a small multiplicative constant for larger $k$.

We define a new integer invariant of a finite graph G, the freeness index, that measures the extent to which G can be embedded in the 3-sphere so that it and its subgraphs have ``simple" complements, i.e., complements which are homeomorphic to a connect-sum of handlebodies. We relate the freeness index to questions of embedding graphs into surfaces, in particular to the orientable cycle double cover conjecture. We show that a cubic graph satisfying the orientable double cycle cover conjecture has freeness index at least two.

Thomassen [Problem 1 in Factorizing regular graphs, J. Combin. Theory Ser. B, 141 (2020), 343-351] asked whether every $r$-edge-connected $r$-regular graph of even order has $r-2$ pairwise disjoint perfect matchings. We show that this is not the case if $r \equiv 2 \text{ mod } 4$. Together with a recent result of Mattiolo and Steffen [Highly edge-connected regular graphs without large factorizable subgraphs, J. Graph Theory, 99 (2022), 107-116] this solves Thomassen's problem for all even $r$. It turns out that our methods are limited to the even case of Thomassen's problem. We then prove some equivalences of statements on pairwise disjoint perfect matchings in highly edge-connected regular graphs, where the perfect matchings contain or avoid fixed sets of edges. Based on these results we relate statements on pairwise disjoint perfect matchings of 5-edge-connected 5-regular graphs to well-known conjectures for cubic graphs, such as the Fan-Raspaud Conjecture, the Berge-Fulkerson Conjecture and the $5$-Cycle Double Cover Conjecture.

The independence number $α(G)$ and the dissociation number ${\rm diss}(G)$ of a graph $G$ are the largest orders of induced subgraphs of $G$ of maximum degree at most $0$ and at most $1$, respectively. We consider possible improvements of the obvious inequality $2α(G)\geq {\rm diss}(G)$. For connected cubic graphs $G$ distinct from $K_4$, we show $5α(G)\geq 3{\rm diss}(G)$, and describe the rich and interesting structure of the extremal graphs in detail. For bipartite graphs, and, more generally, triangle-free graphs, we also obtain improvements. For subcubic graphs though, the inequality cannot be improved in general, and we characterize all extremal subcubic graphs.

It follows from the work of Tait and the Four-Color-Theorem that a planar cubic graph is 3-edge-colorable if and only if it contains no bridge. We consider the question of which planar graphs are subgraphs of planar cubic bridgeless graphs, and hence 3-edge-colorable. We provide an efficient recognition algorithm that given an $n$-vertex planar graph, augments this graph in $O(n^2)$ steps to a planar cubic bridgeless supergraph, or decides that no such augmentation is possible. The main tools involve the Generalized Antifactor-problem for the fixed embedding case, and SPQR-trees for the variable embedding case.

Assume that a graph $G$ models a detection system for a facility with a possible "intruder," or a multiprocessor network with a possible malfunctioning processor. We consider the problem of placing (the minimum number of) detectors at a subset of vertices in $G$ to automatically determine if there is an intruder, and if so, its precise location. In this research we explore a fault-tolerant variant of identifying codes, known as error-correcting identifying codes, which permit one false positive or negative and are applicable to real-world systems. We present the proof of NP-completeness of the problem of determining said minimum size in arbitrary graphs, and determine bounds on the parameter in cubic graphs.

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 line with the recent development in topological graph theory, we are considering undirected graphs that are allowed to contain {\em multiple edges}, {\em loops}, and {\em semi-edges}. A graph is called {\em simple} if it contains no semi-edges, no loops, and no multiple edges. A graph covering projection, also known as a locally bijective homomorphism, is a mapping between vertices and edges of two graphs which preserves incidences and which is a local bijection on the edge-neighborhood of every vertex. This notion stems from topological graph theory, but has also found applications in combinatorics and theoretical computer science. It has been known that for every fixed simple regular graph $H$ of valency greater than 2, deciding if an input graph covers $H$ is NP-complete. Graphs with semi-edges have been considered in this context only recently and only partial results on the complexity of covering such graphs are known so far. In this paper we consider the list version of the problem, called \textsc{List-$H$-Cover}, where the vertices and edges of the input graph come with lists of admissible targets. Our main result reads that the \textsc{List-$H$-Cover} problem is NP-complete for every regular graph $H$ of valency greater than 2 which contains at least one semi-simple vertex (i.e., a vertex which is incident with no loops, with no multiple edges and with at most one semi-edge). Using this result we show the NP-co/polytime dichotomy for the computational complexity of \textsc{ List-$H$-Cover} for cubic graphs.

The general position problem for graphs was inspired by the no-three-in-line problem from discrete geometry. A set $S$ of vertices of a graph $G$ is a \emph{general position set} if no shortest path in $G$ contains three or more vertices of $S$. The \emph{general position number} of $G$ is the number of vertices in a largest general position set. In this paper we investigate the general position numbers of the Mycielskian of graphs. We give tight upper and lower bounds on the general position number of the Mycielskian of a graph $G$ and investigate the structure of the graphs meeting these bounds. We determine this number exactly for common classes of graphs, including cubic graphs and a wide range of trees.

The planar Turán number of a graph $H$, denoted $ex_{_\mathcal{P}}(n,H)$, is the maximum number of edges in a planar graph on $n$ vertices without containing $H$ as a subgraph. This notion was introduced by Dowden in 2016 and has attracted quite some attention since then; those work mainly focus on finding $ex_{_\mathcal{P}}(n,H)$ when $H$ is a cycle or Theta graph or $H$ has maximum degree at least four. In this paper, we study $ex_{_\mathcal{P}}(n,H)$ when $H$ is a cubic graph or disjoint union of cycles or $H=K_{s, t}$.

In this paper we further our understanding of the structure of class two cubic graphs, or snarks, as they are commonly known. We do this by investigating their 3-critical subgraphs, or as we will call them, minimal conflicting subgraphs. We consider how the minimal conflicting subgraphs of a snark relate to its possible minimal 4-edge-colourings. We fully characterise the relationship between the resistance of a snark and the set of minimal conflicting subgraphs. That is, we show that the resistance of a snark is equal to the minimum number of edges which can be selected from the snark, such that the selection contains at least one edge from each minimal conflicting subgraph. We similarly characterise the relationship between what we call \textit{the critical subgraph} of a snark and the set of minimal conflicting subgraphs. The critical subgraph being the set of all edges which are conflicting in some minimal colouring of the snark. Further to this, we define groups, or \textit{clusters}, of minimal conflicting subgraphs. We then highlight some interesting properties and problems relating to clusters of minimal conflicting subgraphs.

The search for the smallest possible $d$-regular graph of girth $g$ has a long history, and is usually known as the cage problem. This problem has a natural extension to hypergraphs, where we may ask for the smallest number of vertices in a $d$-regular, $r$-uniform hypergraph of given (Berge) girth $g$. We show that these two problems are in fact very closely linked. By extending the ideas of Cayley graphs to the hypergraph context, we find smallest known hypergraphs for various parameter sets. Because of the close link to the cage problem from graph theory, we are able to use these techniques to find new record smallest cubic graphs of girths 23, 24, 28, 29, 30, 31 and 32.