arXiv++ Combinatorics

It is known that the problem of computing the edge dimension of a graph is NP-hard, and that the edge dimension of any generalized Petersen graph $P(n,k)$ is at least 3. We prove that the graph $P(n,3)$ has edge dimension 4 for $n\ge 11$, by showing semi-combinatorially the nonexistence of an edge resolving set of order 3 and by constructing explicitly an edge resolving set of order 4.

In a graph $G=(V,E)$, each vertex $v\in V$ is labelled with $0$, $1$ or $2$ such that each vertex labelled with $0$ is adjacent to at least one vertex labelled $2$ or two vertices labelled $1$. Such kind of labelling is called an Italian dominating function (IDF) of $G$. The weight of an IDF $f$ is $w(f)=\sum_{v\in V}f(v)$. The Italian domination number of $G$ is $γ_{I}(G)=\min_{f} w(f)$. Gao et al. (2019) have determined the value of $γ_I(P(n,3))$. In this article, we focus on the study of the Italian domination number of generalized Petersen graphs $P(n, k)$, $k\neq3$. We determine the values of $γ_I(P(n, 1))$, $γ_I(P(n, 2))$ and $γ_I(P(n, k))$ for $k\ge4$, $k\equiv2,3(\bmod5)$ and $n\equiv0(\bmod5)$. For other $P(n,k)$, we present a bound of $γ_I(P(n, k))$. With the obtained results, we partially solve the open problem presented by Brešar et al. (2007) by giving $P(n,1)$ is an example for which $γ_I=γ_{r2}$ and characterizing $P(n,2)$ for which $γ_I(P(n,2))=γ_{r2}(P(n,2))$. Moreover, our results imply $P(n,1)$ $(n\equiv0(\bmod\ 4))$ is Italian, $P(n,1)$ $(n\not\equiv0(\bmod\ 4))$ and $P(n,2)$ are not Italian.

Let $G$ be a simple graph with maximum degree $Δ$. We call $G$ \emph{overfull} if $|E(G)|>Δ\lfloor |V(G)|/2\rfloor$. The \emph{core} of $G$, denoted $G_Δ$, is the subgraph of $G$ induced by its vertices of degree $Δ$. A classic result of Vizing shows that $χ'(G)$, the chromatic index of $G$, is either $Δ$ or $Δ+1$. It is NP-complete to determine the chromatic index for a general graph. However, if $G$ is overfull then $χ'(G)=Δ+1$. Hilton and Zhao in 1996 conjectured that if $G$ is a simple connected graph with $Δ\ge 3$ and $Δ(G_Δ)\le 2$, then $χ'(G)=Δ+1$ if and only if $G$ is overfull or $G=P^*$, where $P^*$ is obtained from the Petersen graph by deleting a vertex. This conjecture, if true, implies an easy approach for calculating $χ'(G)$ for graphs $G$ satisfying the conditions. The progress on the conjecture has been slow: it was only confirmed for $Δ=3,4$, respectively, in 2003 and 2017. In this paper, we confirm this conjecture for all $Δ\ge 4$.

For a sequence of non-decreasing positive integers $S = (s_1, \ldots, s_k)$, a packing $S$-coloring is a partition of $V(G)$ into sets $V_1, \ldots, V_k$ such that for each $1\leq i \leq k$ the distance between any two distinct $x,y\in V_i$ is at least $s_i+1$. The smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring is called the packing chromatic number of $G$ and is denoted by $χ_p(G)$. For a graph $G$, let $D(G)$ denote the graph obtained from $G$ by subdividing every edge. The question whether $χ_p(D(G)) \le 5$ for all subcubic graphs was first asked by Gastineau and Togni and later conjectured by Bresar, Klavzar, Rall and Wash. Gastineau and Togni observed that if one can prove every subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable then the conjecture holds. The maximum average degree, mad($G$), is defined to be $\max\{\frac{2|E(H)|}{|V(H)|}: H \subset G\}$. In this paper, we prove that subcubic graphs with $mad(G)<\frac{30}{11}$ are packing $(1,1,2,2)$-colorable. As a corollary, the conjecture of Bresar et al holds for every subcubic graph $G$ with $mad(G)<\frac{30}{11}$.

We introduce the game of Surrounding Cops and Robbers on a graph, as a variant of the original game of Cops and Robbers. In contrast to the original game in which the cops win by occupying the same vertex as the robber, they now win by occupying each of the robber's neighbouring vertices. We denote by $σ(G)$ the {\em surrounding cop number} of $G$, namely the least number of cops required to surround a robber in the graph $G$. We present a number of results regarding this parameter, including general bounds as well as exact values for several classes of graphs. Particular classes of interest include product graphs, graphs arising from combinatorial designs, and generalised Petersen graphs.

Two signed graphs are called switching isomorphic if one of them is isomorphic to a switching equivalent of the other. To determine the number of switching non-isomorphic signed graphs on a specific graph, we will establish a method based on the action of its automorphism group. As an application and computational results, we classify all the switching non-isomorphic signed graphs arising from the complete graph K5 and the generalized Petersen graph GP(7; 2). Moreover, some results on the automorphism groups of the target signed graphs are obtained.

A coprime labeling of a graph of order $n$ is an assignment of distinct positive integer labels in which adjacent vertices have relatively prime labels. Restricting labels to only the set $1$ to $n$ results in a prime labeling. In this paper, we consider families of graphs in which a prime labeling cannot exist with the goal being to minimize the largest value of the labeling set, resulting in a minimum coprime labeling. In particular, prism graphs, generalized Petersen graphs with $k=2$, and stacked prism graphs are investigated for minimum coprime labelings.

In a graph $G$, a vertex dominates itself and its neighbors. A subset $D \subseteq V(G)$ is a double dominating set of $G$ if $D$ dominates every vertex of $G$ at least twice. A signed graph $Σ= (G,σ)$ is a graph $G$ together with an assignment $σ$ of positive or negative signs to all its edges. A cycle in a signed graph is positive if the product of its edge signs is positive. A signed graph is balanced if all its cycles are positive. A subset $D \subseteq V(Σ)$ is a double dominating set of $Σ$ if it satisfies the following conditions: (i) $D$ is a double dominating set of $G$, and (ii) $Σ[D:V \setminus D]$ is balanced, where $Σ[D:V \setminus D]$ is the subgraph of $Σ$ induced by the edges of $Σ$ with one end point in $D$ and the other end point in $V \setminus D$. The cardinality of a minimum double dominating set of $Σ$ is the double domination number $γ_{\times 2}(Σ)$. In this paper, we give bounds for the double domination number of signed cubic graphs. We also obtain some bounds on the double domination number of signed generalized Petersen graphs and signed I-graphs.

We show that every connected induced subgraph of a graph $G$ is dominated by an induced connected split graph if and only if $G$ is $\cal{C}$-free, where $\cal{C}$ is a set of six graphs which includes $P_7$ and $C_7$, and each containing an induced $P_5$. A similar characterisation is shown for the class of graphs which are dominated by induced complete split graphs. Motivated by these results, we study structural descriptions of some classes of $\cal{C}$-free graphs. In particular, we give structural descriptions for the class of ($P_7$,$C_7$,$C_4$,gem)-free graphs and for the class of ($P_7$,$C_7$,$C_4$,diamond)-free graphs. Using these results, we show that every ($P_7$,$C_7$,$C_4$,gem)-free graph $G$ satisfies $χ(G) \leq 2ω(G)-1$, and that every ($P_7$,$C_7$,$C_4$,diamond)-free graph $H$ satisfies $χ(H) \leq ω(H)+1$. These two upper bounds are tight for any subgraph of the Petersen graph containing a $C_5$.

Let PG$(\mathbb{F}_q^v)$ be the $(v-1)$-dimensional projective space over $\mathbb{F}_q$ and let $Γ$ be a simple graph of order ${q^k-1\over q-1}$ for some $k$. A 2$-(v,Γ,λ)$ design over $\mathbb{F}_q$ is a collection $\cal B$ of graphs (\textit{blocks}) isomorphic to $Γ$ with the following properties: the vertex set of every block is a subspace of PG$(\mathbb{F}_q^v)$; every two distinct points of PG$(\mathbb{F}_q^v)$ are adjacent in exactly $λ$ blocks. This new definition covers, in particular, the well known concept of a 2$-(v,k,λ)$ design over $\mathbb{F}_q$ corresponding to the case that $Γ$ is complete. In this work of a foundational nature we illustrate how difference methods allow us to get concrete non-trivial examples of $Γ$-decompositions over $\mathbb{F}_2$ or $\mathbb{F}_3$ for which $Γ$ is a cycle, a path, a prism, a generalized Petersen graph, or a Moebius ladder. In particular, we will discuss in detail the special and very hard case that $Γ$ is complete and $λ=1$, i.e., the Steiner 2-designs over a finite field. Also, we briefly touch the new topic of near resolvable 2-$(v,2,1)$ designs over $\mathbb{F}_q$. This study has led us to some (probably new) collateral problems concerning difference sets. Supported by multiple examples, we conjecture the existence of infinite families of $Γ$-decompositions over a finite field that can be obtained by suitably labeling the vertices of $Γ$ with the elements of a Singer difference set.

A vertex subset $S$ of a graph $G=(V,E)$ is a $[1,2]$-dominating set if each vertex of $V\backslash S$ is adjacent to either one or two vertices in $S$. The minimum cardinality of a $[1,2]$-dominating set of $G$, denoted by $γ_{[1,2]}(G)$, is called the $[1,2]$-domination number of $G$. In this paper the $[1,2]$-domination and the $[1,2]$-total domination numbers of the generalized Petersen graphs $P(n,2)$ are determined.

The Petersen colouring conjecture states that every bridgeless cubic graph admits an edge-colouring with $5$ colours such that for every edge $e$, the set of colours assigned to the edges adjacent to $e$ has cardinality either $2$ or $4$, but not $3$. We prove that every bridgeless cubic graph $G$ admits an edge-colouring with $4$ colours such that at most $\frac45\cdot|V(G)|$ edges do not satisfy the above condition. This bound is tight and the Petersen graph is the only connected graph for which the bound cannot be decreased. We obtain such a $4$-edge-colouring by using a carefully chosen subset of edges of a perfect matching, and the analysis relies on a simple discharging procedure with essentially no reductions and very few rules.

A {\em brick} is a non-bipartite matching covered graph without non-trivial tight cuts. Bricks are building blocks of matching covered graphs. We say that an edge $e$ in a brick $G$ is {\em $b$-invariant} if $G-e$ is matching covered and a tight cut decomposition of $G-e$ contains exactly one brick. A 2-edge-connected cubic graph is {\em essentially 4-edge-connected} if it does not contain nontrivial 3-cuts. A brick $G$ is {\em near-bipartite} if it has a pair of edges $\{e_1, e_2\}$ such that $G-\{e_1,e_2\}$ is bipartite and matching covered. Kothari, de Carvalho, Lucchesi and Little proved that each essentially 4-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges. Moreover, they made a conjecture: every essentially 4-edge-connected cubic near-bipartite brick $G$, distinct from $K_4$, has at least $|V(G)|/2$ $b$-invariant edges. We confirm the conjecture in this paper. Furthermore, all the essentially 4-edge-connected cubic near-bipartite bricks, the numbers of $b$-invariant edges of which attain the lower bound, are presented.

A \textit{signed graph} is a simple graph whose edges are labelled with positive or negative signs. A cycle is \textit{positive} if the product of its edge signs is positive. A signed graph is \textit{balanced} if every cycle in the graph is positive. The \textit{frustration index} of a signed graph is the minimum number of edges whose deletion makes the graph balanced. The \textit{maximum frustration} of a graph is the maximum frustration index over all sign labellings. In this paper, first, we prove that the maximum frustration of generalized Petersen graphs $P_{n,k}$ is bounded above by $\left\lfloor \frac{n}{2} \right\rfloor + 1$ for $\gcd(n,k)=1$, and this bound is achieved for $k=1,2,3$. Second, we prove that the maximum frustration of $P_{n,k}$ is bounded above by $d\left\lfloor \frac{n}{2d} \right\rfloor + d + 1$, where $\gcd(n,k)=d\geq2$.

For a given graph $H$, the anti-Ramsey number of $H$ is the maximum number of colors in an edge-coloring of a complete graph which does not contain a rainbow copy of $H$. In this paper, we extend the decomposition family of graphs to the decomposition family sequence of graphs and show that $K_5$ is determined by its decomposition family sequence. Based on this new graph notation, we determine the anti-Ramsey numbers for new families of graphs, including the Petersen graph, vertex-disjoint union of cliques, etc., and characterize the extremal colorings.

In the present paper, we investigate the complexity of infinite family of graphs $H_n=H_n(G_1,\,G_2,\ldots,G_m)$ obtained as a circulant foliation over a graph $H$ on $m$ vertices with fibers $G_{1},\,G_{2},\ldots,G_{m}.$ Each fiber $G_{i}=C_{n}(s_{i,1},\,s_{i,2},\ldots,s_{i,k_{i}})$ of this foliation is the circulant graph on $n$ vertices with jumps $s_{i,1},\,s_{i,2},\ldots,s_{i,k_{i}}.$ This family includes the family of generalized Petersen graphs, $I$-graphs, sandwiches of circulant graphs, discrete torus graphs and others. We obtain a closed formula for the number $τ(n)$ of spanning trees in $H_{n}$ in terms of Chebyshev polynomials, investigate some arithmetical properties of this function and find its asymptotics as $n\to\infty.$

One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph embedding problem. In this paper we compute the lower bound for dilation and congestion of embedding onto wheel-like networks. Further, we compute the exact dilation of embedding wheel-like networks into hypertrees, proving that the lower bound obtained is sharp. Again, we compute the exact congestion of embedding windmill graphs into circulant graphs, proving that the lower bound obtained is sharp. Further, we compute the exact wirelength of embedding wheels and fans into 1,2-fault hamiltonian graphs. Using this we estimate the exact wirelength of embedding wheels and fans into circulant graphs, generalized Petersen graphs, augmented cubes, crossed cubes, Möbius cubes, twisted cubes, twisted $n$-cubes, locally twisted cubes, generalized twisted cubes, odd-dimensional cube connected cycle, hierarchical cubic networks, alternating group graphs, arrangement graphs, 3-regular planer hamiltonian graphs, star graphs, generalised matching networks, fully connected cubic networks, tori and 1-fault traceable graphs.

Rubei et. al., established results for the distance matrix of positive weighted Petersen graphs. Focusing on the properties of the distance matrix, we generalized positive weighted Petersen graphs results to Kneser graphs. We analyzed theorems established by Rubei et al. and used girth of the generalized Petersen graphs and Kneser graphs to conclude generalizations. Further, we examined the properties of positive weighted generalized Petersen graphs. We generalized the properties of distance matrices of positive weighted Petersen graphs to positive weighted generalized Petersen graphs.

Thomassen formulated the following conjecture: Every $3$-connected cubic graph has a red-blue vertex coloring such that the blue subgraph has maximum degree $1$ (that is, it consists of a matching and some isolated vertices) and the red subgraph has minimum degree at least $1$ and contains no $3$-edge path. We prove the conjecture for Generalized Petersen graphs. We indicate that a coloring with the same properties might exist for any subcubic graph. We confirm this statement for all subcubic trees.

In this paper we consider the number of Hamilton cycles in planar cubic graphs of high cyclic edge-connectivity, answering two questions raised by Chia and Thomassen ("On the number of longest and almost longest cycles in cubic graphs", Ars Combin., 104, 307--320, 2012) about extremal graphs in these families. In particular, we find families of cyclically $5$-edge connected planar cubic graphs with more Hamilton cycles than the generalized Petersen graphs $P(2n,2)$. The graphs themselves are fullerene graphs that correspond to certain carbon molecules known as nanotubes --- more precisely, the family consists of the zigzag nanotubes of (fixed) width $5$ and increasing length. In order to count the Hamilton cycles in the nanotubes, we develop methods inspired by the transfer matrices of statistical physics. We outline how these methods can be adapted to count the Hamilton cycles in nanotubes of greater (but still fixed) width, with the caveat that the resulting expressions involve matrix powers. We also consider cyclically $4$-edge-connected cubic planar graphs with few Hamilton cycles, and exhibit an infinite family of such graphs each with exactly $4$ Hamilton cycles. Finally we consider the "other extreme" for these two classes of graphs, thus investigating cyclically $4$-edge connected cubic planar graphs with many Hamilton cycles and the cyclically $5$-edge connected cubic planar graphs with few Hamilton cycles. In each of these cases, we present partial results, examples and conjectures regarding the graphs with few or many Hamilton cycles.