arXiv++ Combinatorics

We investigate connected cubic vertex-transitive graphs whose edge sets admit a partition into a $2$-factor $\mathcal{C}$ and a $1$-factor that is invariant under a vertex-transitive subgroup of the automorphism group of the graph and where the quotient graph with respect to $\mathcal{C}$ is a cycle. There are two essentially different types of such cubic graphs. In this paper we focus on the examples of what we call the alternating type. We classify all such examples admitting a vertex-transitive subgroup of the automorphism group of the graph preserving the corresponding $2$-factor and also determine the ones for which the $2$-factor is invariant under the full automorphism group of the graph. In this way we introduce a new infinite family of cubic vertex-transitive graphs that is a natural generalization of the well-known generalized Petersen graphs as well as of the honeycomb toroidal graphs. The family contains an infinite subfamily of arc-regular examples and an infinite family of $2$-arc-regular examples.

For some $α$ with $0 < α\le 1$, a subset $X$ of vertices in a graph $G$ of order~$n$ is an $α$-partial dominating set of $G$ if the set $X$ dominates at least $α\times n$ vertices in $G$. The $α$-partial domination number ${\rm pd}_α(G)$ of $G$ is the minimum cardinality of an $α$-partial dominating set of $G$. In this paper partial domination of graphs with minimum degree at least $3$ is studied. It is proved that if $G$ is a graph of order~$n$ and with $δ(G)\ge 3$, then ${\rm pd}_{\frac{7}{8}}(G) \le \frac{1}{3}n$. If in addition $n\ge 60$, then ${\rm pd}_{\frac{9}{10}}(G) \le \frac{1}{3}n$, and if $G$ is a connected cubic graph of order $n\ge 28$, then ${\rm pd}_{\frac{13}{14}}(G) \le \frac{1}{3}n$. Along the way it is shown that there are exactly four connected cubic graphs of order $14$ with domination number $5$.

An $r$-regular graph is an $r$-graph, if every odd set of vertices is connected to its complement by at least $r$ edges. Let $G$ and $H$ be $r$-graphs. An $H$-coloring of $G$ is a mapping $f\colon E(G) \to E(H)$ such that each $r$ adjacent edges of $G$ are mapped to $r$ adjacent edges of $H$. For every $r\geq 3$, let $\mathcal{H}_r$ be an inclusion-wise minimal set of connected $r$-graphs, such that for every connected $r$-graph $G$ there is an $H \in \mathcal{H}_r$ which colors $G$. We show that $\mathcal{H}_r$ is unique and characterize $\mathcal{H}_r$ by showing that $G \in \mathcal{H}_r$ if and only if the only connected $r$-graph coloring $G$ is $G$ itself. The Petersen Coloring Conjecture states that the Petersen graph $P$ colors every bridgeless cubic graph. We show that if true, this is a very exclusive situation. Indeed, either $\mathcal{H}_3 = \{P\}$ or $\mathcal{H}_3$ is an infinite set and if $r \geq 4$, then $\mathcal{H}_r$ is an infinite set. Similar results hold for the restriction on simple $r$-graphs. By definition, $r$-graphs of class $1$ (i.e. those having edge-chromatic number equal to $r$) can be colored with any $r$-graph. Hence, our study will focus on those $r$-graphs whose edge-chromatic number is bigger than $r$, also called $r$-graphs of class $2$. We determine the set of smallest $r$-graphs of class 2 and show that it is a subset of $\mathcal{H}_r$.

In a (proper) edge-coloring of a bridgeless cubic graph G an edge e is rich (resp. poor) if the number of colors of all edges incident to end-vertices of e is 5 (resp. 3). An edge-coloring of G is is normal if every edge of G is either rich or poor. In this paper we consider snarks ~G obtained by a simple superposition of edges and vertices of a cycle C in a snark G: For an even cycle C we show that a normal coloring of G can be extended to a normal coloring of ~G without changing colors of edges outside C in G: An interesting remark is that this is in general impossible for odd cycles, since the normal coloring of a Petersen graph P10 cannot be extended to a superposition of P10 on a 5-cycle without changing colors outside the 5-cycle. On the other hand, as our colorings of the superpositioned snarks introduce 18 or more poor edges, we are inclined to believe that every bridgeless cubic graph istinct from P10 has a normal coloring with at least one poor edge and possibly with at least 6 if we also exclude the Petersen graph with one vertex truncated.

An edge $e$ of a graph $G$ is called deletable for some orientation $o$ if the restriction of $o$ to $G-e$ is a strong orientation. Inspired by a problem of Frank, in 2021 Hörsch and Szigeti proposed a new parameter for $3$-edge-connected graphs, called the Frank number, which refines $k$-edge-connectivity. The Frank number is defined as the minimum number of orientations of $G$ for which every edge of $G$ is deletable in at least one of them. They showed that every $3$-edge-connected graph has Frank number at most $7$ and that in case these graphs are also $3$-edge-colourable the parameter is at most $3$. Here we strengthen both results by showing that every $3$-edge-connected graph has Frank number at most $4$ and that every graph which is $3$-edge-connected and $3$-edge-colourable has Frank number $2$. The latter also confirms a conjecture by Barát and Blázsik. Furthermore, we prove two sufficient conditions for cubic graphs to have Frank number $2$ and use them in an algorithm to computationally show that the Petersen graph is the only cyclically $4$-edge-connected cubic graph up to $36$ vertices having Frank number greater than $2$.

We study subsets $T$ consisting of some transpositions $(i,j)$ of the symmetric group $S_n$ on $\{1,\dots,n\}$ such that the Cayley graph $Γ_T:=Cay(S_n,T)$ is an integral graph, i.e., all eigenvalues of an adjacency matrix of $Γ_T$ are integers. Graph properties of $Γ_T$ are determined in terms of ones of the graph $G_T$ whose vertex set is $\{1,\dots,n\}$ and $\{i,j\}$ is an edge if and only if $(i,j)\in T$. Here we prove that if $G_T$ is a tree then $Γ_T$ is integral if and only if $T$ is isomorphic to the star graph $K_{1,n-1}$, answering Problem 5 of [Electron. J. Comnin., 29(2) (2022) \# P2.9]. Problem 6 of the latter article asks to find necessary and sufficient conditions on $T$ for integralness of $Cay(S_n,T)$ without any further assumption on $T$. We show that if $G_T$ is a graph which we call it a ``generalized complete multipartite graph" then $Cay(S_n,T)$ is integral. We conjecture that $Cay(S_n,T)$ is integral only if $G_T$ is a generalized complete multipartitie graph. To support the latter conjecture we show its validity whenever $G_T$ is some classes of graphs including cycles and cubic graphs.

A $d$-dimensional nowhere-zero $r$-flow on a graph $G$, an $(r,d)$-NZF from now on, is a flow where the value on each edge is an element of $\mathbb{R}^d$ whose (Euclidean) norm lies in the interval $[1,r-1]$. Such a notion is a natural generalization of the well-known concept of circular nowhere-zero $r$-flow (i.e.\ $d=1$). For every bridgeless graph $G$, the $5$-flow Conjecture claims that $φ_1(G)\leq 5$, while a conjecture by Jain suggests that $φ_d(G)=1$, for all $d \geq 3$. Here, we address the problem of finding a possible upper-bound also for the remaining case $d=2$. We show that, for all bridgeless graphs, $φ_2(G) \le 1 + \sqrt{5}$ and that the oriented $5$-cycle double cover Conjecture implies $φ_2(G)\leq τ^2$, where $τ$ is the Golden Ratio. Moreover, we propose a geometric method to describe an $(r,2)$-NZF of a cubic graph in a compact way, and we apply it in some instances. Our results and some computational evidence suggest that $τ^2$ could be a promising upper bound for the parameter $φ_2(G)$ for an arbitrary bridgeless graph $G$. We leave that as a relevant open problem which represents an analogous of the $5$-flow Conjecture in the $2$-dimensional case (i.e. complex case).

The present note concerns the "graph of graphs" that has cubic graphs as vertices connected by edges represented by the so-called Whitehead moves. Here, we prove that the outer-conductance of the graph of graphs tends to zero as the number of vertices tends to infinity. This answers a question of K. Rafi in the negative.

We study a counting version of Cycle Double Cover Conjecture. We discuss why it is more interesting to count circuits (i.e., graphs isomorphic to $C_k$ for some $k$) instead of cycles (graphs with all degrees even). We give an almost-exponential lower-bound for graphs with a surface embedding of representativity at least 4. We also prove an exponential lower-bound for planar graphs. We conjecture that any bridgeless cubic graph has at least $2^{n/2-1}$ circuit double covers and we show an infinite class of graphs for which this bound is tight.

Let $r \geq 2$ be a real number. A complex nowhere-zero $r$-flow on a graph $G$ is an orientation of $G$ together with an assignment $\varphi\colon E(G)\to \mathbb{C}$ such that, for all $e \in E(G)$, the modulus of the complex number $\varphi(e)$ lies in the interval $[1,r-1]$ and, for every vertex, the incoming flow is equal to the outgoing flow. The complex flow number of a bridgeless graph $G$, denoted by $φ_{\mathbb{C}}(G)$, is the minimum of the real numbers $r$ such that $G$ admits a complex nowhere-zero $r$-flow. The exact computation of $φ_{\mathbb{C}}$ seems to be a hard task even for very small and symmetric graphs. In particular, the exact value of $φ_{\mathbb{C}}$ is known only for families of graphs where a lower bound can be trivially proved. Here, we use geometric and combinatorial arguments to give a non trivial lower bound for $φ_{\mathbb{C}}(G)$ in terms of the odd-girth of a cubic graph $G$ (i.e. the length of a shortest odd cycle) and we show that such lower bounds are tight. Our main result, Theorem 2, relies on the exact computation of the complex flow number of the wheel graph $W_n$ (see Theorem 1). In particular, we show that for every odd $n$, the value of $φ_{\mathbb{C}}(W_n)$ arises from one of three suitable configurations of points in the complex plane according to the congruence of $n$ modulo $6$.

A set $D$ of vertices of a simple graph $G=(V,E)$ is a strong dominating set, if for every vertex $x\in \overline{D}=V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. The strong domatic number of $G$ is the maximum number of strong dominating sets into which the vertex set of $G$ can be partitioned. We initiate the study of the strong domatic number, and we present different sharp bounds on $d_{st}(G)$. In addition, we determine this parameter for some classes of graphs, such as cubic graphs of order at most $10$.

A perfect matching cut is a perfect matching that is also a cutset, or equivalently a perfect matching containing an even number of edges on every cycle. The corresponding algorithmic problem, Perfect Matching Cut, is known to be NP-complete in subcubic bipartite graphs [Le & Telle, TCS '22] but its complexity was open in planar graphs and in cubic graphs. We settle both questions at once by showing that Perfect Matching Cut is NP-complete in 3-connected cubic bipartite planar graphs or Barnette graphs. Prior to our work, among problems whose input is solely an undirected graph, only Distance-2 4-Coloring was known NP-complete in Barnette graphs. Notably, Hamiltonian Cycle would only join this private club if Barnette's conjecture were refuted.

In this paper, we give a very simple proof that Treewidth is NP-complete; this proof also shows NP-completeness on the class of co-bipartite graphs. We then improve the result by Bodlaender and Thilikos from 1997 that Treewidth is NP-complete on graphs with maximum degree at most 9, by showing that Treewidth is NP-complete on cubic graphs.

Given a graph $G$, its genus polynomial is $Γ_G(x) = \sum_{k\geq 0} g_k(G)x^k$, where $g_k(G)$ is the number of 2-cell embeddings of $G$ in an orientable surface of genus $k$. The Log-Concavity Genus Distribution (LCGD) Conjecture states that the genus polynomial of every graph is log-concave. It was further conjectured by Stahl that the genus polynomial of every graph has only real roots, however this was later disproved. We identify several examples of cubic graphs whose genus polynomials, in addition to having at least one non-real root, have a quadratic factor that is non-log-concave when factored over the real numbers.

The coalition in a graph $G$ consists of two disjoint sets of vertices $V_{1}$ and $V_{2}$, neither of which is a dominating set but whose union $V_{1}\cup V_{2}$, is a dominating set. A coalition partition in a graph $G$ is a vertex partition $π$ = $\{V_1, V_2,..., V_k \}$ such that every set $V_i \in π$ is not a dominating set but forms a coalition with another set $V_j\in π$ which is not a dominating set. The coalition number $C(G)$ equals the maximum $k$ of a coalition partition of $G$. In this paper, we compute the coalition number of all cubic graphs of order at most $10$.

A locating-dominating set is a subset of vertices representing "detectors" in a graph G; each detector monitors its closed neighborhood and can distinguish its own location from its neighbors, and given all sensor input, the system can locate an "intruder" anywhere in the graph. We explore a fault-tolerant variant of locating-dominating sets, error-correcting locating-dominating (ERR:LD) sets, which can tolerate an incorrect signal from a single detector. In particular, we characterize error-correcting locating-dominating sets, and derive its existence criteria. We also prove that the problem of determining the minimum cardinality of ERR:LD set in arbitrary graphs is NP-complete. Additionally, we establish lower and upper bounds for the minimum density of ERR:LD sets in infinite grids and cubic graphs, and prove the lower bound for cubic graphs is sharp.

Aldous and Fill (2002) conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^{2}}{2π^{2}}$. A conjecture by Guiduli and Mohar (1996) predicts the structure of graphs whose algebraic connectivity $μ$ is the smallest among all connected graphs whose minimum degree $δ$ is a given $d$. We prove that this conjecture implies the Aldous--Fill conjecture for odd $d$. We pose another conjecture on the structure of $d$-regular graphs with minimum $μ$, and show that this also implies the Aldous--Fill conjecture for even $d$. In the literature, it has been noted empirically that graphs with small $μ$ tend to have a large diameter. In this regard, Guiduli (1996) asked if the cubic graphs with maximum diameter have algebraic connectivity smaller than all others. Motivated by these, we investigate the interplay between the graphs with maximum diameter and those with minimum algebraic connectivity. We show that the answer to Guiduli problem in its general form, that is for $d$-regular graphs for every $d\ge 3$ is negative. We aim to develop an asymptotic formulation of the problem. It is proven that $d$-regular graphs for $d\ge 5$ as well as graphs with $δ=d$ for $d\ge 4$ with asymptotically maximum diameter, do not necessarily exhibit the asymptotically smallest $μ$. We conjecture that $d$-regular graphs (or graphs with $δ=d$) that have asymptotically smallest $μ$, should have asymptotically maximum diameter. The above results rely heavily on our understanding of the structure as well as optimal estimation of the algebraic connectivity of nearly maximum-diameter graphs, from which the Aldous--Fill conjecture for this family of graphs also follows.

In this paper, we deal with hamiltonicity in planar cubic graphs G having a facial 2-factor Q via (quasi) spanning trees of faces in G/Q and study the algorithmic complexity of finding such (quasi) spanning trees of faces. Moreover, we show that if Barnette's Conjecture is false, then hamiltonicity in 3-connected planar cubic bipartite graphs is an NP-complete problem.

Given a simple, finite graph with vertex set $V(G)$, we define a zero forcing set of $G$ as follows. Choose $S\subseteq V(G)$ and color all vertices of $S$ blue and all vertices in $V(G) - S$ white. The color change rule is if $w$ is the only white neighbor of blue vertex $v$, then we change the color of $w$ from white to blue. If after applying the color change rule as many times as possible eventually every vertex of $G$ is blue, we call $S$ a zero forcing set of $G$. $Z(G)$ denotes the minimum cardinality of a zero forcing set. Davila and Henning proved in \cite{zerocubic} that for any claw-free cubic graph $G$, $Z(G) \le \frac{1}{3}|V(G)| + 1$. We show that if $G$ is $2$-edge-connected, claw-free, and cubic, then $Z(G) \le \left\lceil\frac{5n(G)}{18}\right\rceil+1$. We also study a similar graph invariant known as the loop zero forcing number of a graph $G$ which happens to be the dual invariant to the Grundy domination number of $G$. Specifically, we study the loop zero forcing number in two particular types of planar graphs.

We study the problem of maximizing the number of full degree vertices in a spanning tree $T$ of a graph $G$; that is, the number of vertices whose degree in $T$ equals its degree in $G$. In cubic graphs, this problem is equivalent to maximizing the number of leaves in $T$ and minimizing the size of a connected dominating set of $G$. We provide an algorithm which produces (w.h.p.) a tree with at least $0.4591n$ vertices of full degree (and also, leaves) when run on a random cubic graph. This improves the previously best known lower bound of $0.4146 n$. We also provide lower bounds on the number of full degree vertices in the random regular graph $G(n,r)$ for $r \le 10$.