arXiv++ Combinatorics

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.

Let $n\geq 5$ and $m\geq 1$ be positive integers. Let $S = ( s_1, s_2, \ldots , s_m)$ be a sequence of integers such that $1 \leq s_1 < s_2 < \ldots < s_m \leq \lfloor \frac{n-1}{2} \rfloor.$ In this paper, we discuss the diameter of multi-loop networks $C_n(s_1,s_2, \ldots, s_m)$ when $s_1=1$. We also present a relation between the diameter of multi-loop networks and the diameter of generalized Petersen graphs.

In an orientation $O$ of the graph $G$, the edge $e$ is deletable if and only if $O-e$ is strongly connected. For a $3$-edge-connected graph $G$, Hörsch and Szigeti defined the Frank number as the minimum $k$ for which $G$ admits $k$ orientations such that every edge $e$ of $G$ is deletable in at least one of the $k$ orientations. They conjectured the Frank number is at most $3$ for every $3$-edge-connected graph $G$. They proved the Petersen graph has Frank number $3$, but this was the only example with this property. We show an infinite class of graphs having Frank number $3$. Hörsch and Szigeti showed every $3$-edge-colorable $3$-edge-connected graph has Frank number at most $3$. It is tempting to consider non-$3$-edge-colorable graphs as candidates for having Frank number greater than $2$. Snarks are sometimes a good source of finding critical examples or counterexamples. One might suspect various snarks should have Frank number $3$. However, we prove several candidate infinite classes of snarks have Frank number $2$. As well as the generalized Petersen Graphs $GP(2s+1,s)$. We formulate numerous conjectures inspired by our experience.

A finite simple graph $Γ$ is called a Nest graph if it is regular of valency $6$ and admits an automorphism $ρ$ with two orbits of the same length such that at least one of the subgraphs induced by these orbits is a cycle. We say that $Γ$ is core-free if no non-trivial subgroup of the group generated by $ρ$ is normal in $\mathrm{Aut}(Γ)$. In this paper, we show that, if $Γ$ is edge-transitive and core-free, then it is isomorphic to one of the following graphs: the complement of the Petersen graph, the Hamming graph $H(2,4)$, the Shrikhande graph and a certain normal $2$-cover of $K_{3,3}$ by $\mathbb{Z}_2^4$.

A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. We prove that the generalized Petersen graph $GP(n,k)$ is ${\rm diam}(GP(n,k))$-distance-balanced provided that $n$ is large enough relative to $k$. This partially solves a conjecture posed by Miklavič and Šparl \cite{Miklavic:2018}. We also determine ${\rm diam}(GP(n,k))$ when $n$ is large enough relative to $k$.

A graph $G$ is $α$-excellent if every vertex of $G$ is contained in some maximum independent set of $G$. In this paper, we characterize $α$-excellent bipartite graphs, $α$-excellent unicyclic graphs, $α$-excellent simplicial graphs, $α$-excellent chordal graphs, $α$-excellent block graphs, and we show that every generalized Petersen graph is $α$-excellent.

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.

Let $V_{8}+e$ denote the unique graph obtained from the Wagner graph, also known as $V_{8}$, by adding an edge between two vertices of distance 3 on the Hamilton cycle, which is exactly a split of a minor of the Petersen graph. A complete characterization of all internally 4-connected graphs with no $V_{8}$ minor is given in [J. Maharry and N. Robertson, The structure of graphs not topologically containing the Wagner graph, J. Combin. Theory Ser. B 121 (2016) 398-420]. In this paper we characterize all internally 4-connected graphs with no $V_{8}+e$ minor.

A hole is an induced cycle of length at least 4. Let $ł\ge 2$ be a positive integer, let ${\cal G}_l$ denote the family of graphs which have girth $2ł+1$ and have no holes of odd length at least $2ł+3$, and let $G\in {\cal G}_ł$. For a vertex $u\in V(G)$ and a nonempty set $S\subseteq V(G)$, let $d(u, S)=\min\{d(u, v):v\in S\}$, and let $L_i(S)=\{u\in V(G) \mbox{ and } d(u, S)=i\}$ for any integer $i\ge 0$. We show that if $G[S]$ is connected and $G[L_i(S)]$ is bipartite for each $i\in\{1, \ldots, \lfloor{ł\over 2}\rfloor\}$, then $G[L_i(S)]$ is bipartite for each $i>0$, and consequently $χ(G)\le 4$, where $G[S]$ denotes the subgraph induced by $S$. Let $θ^-$ be the graph obtained from the Petersen graph by deleting three vertices which induce a path, let $θ^+$ be the graph obtained from the Petersen graph by deleting two adjacent vertices, and let $θ$ be the graph obtained from $θ^+$ by removing an edge incident with two vertices of degree 3. For a graph $G\in{\cal G}_2$, we show that if $G$ is 3-connected and has no unstable 3-cutset then $G$ must induce either $θ$ or $θ^-$ but does not induce $θ^+$. As corollaries, $χ(G)\le 3$ for every graph $G$ of ${\cal G}_2$ that induces neither $θ$ nor $θ^-$, and minimal non-3-colorable graphs of ${\cal G}_2$ induce no $θ^+$.

A graph is a core or unretractive if all its endomorphisms are automorphisms. Well-known examples of cores include the Petersen graph and the graph of the dodecahedron -- both generalized Petersen graphs. We characterize the generalized Petersen graphs that are cores. A simple characterization of endomorphism-transitive generalized Petersen graphs follows. This extends the characterization of vertex-transitive generalized Petersen graphs due to Frucht, Graver, and Watkins and solves a problem of Fan and Xie. Moreover, we study generalized Petersen graphs that are (underlying graphs of) Cayley graphs of monoids. We show that this is the case for the Petersen graph, answering a recent mathoverflow question, for the Desargues graphs, and for the dodecahedron -- answering a question of Knauer and Knauer. Moreover, we characterize the infinite family of generalized Petersen graphs that are Cayley graph of a monoid with generating connection set of size two. This extends Nedela and Škoviera's characterization of generalized Petersen graphs that are group Cayley graphs and complements results of Hao, Gao, and Luo.

Say a graph $G$ is a {\em pentagraph} if every cycle has length at least five, and every induced cycle of odd length has length five. N. Robertson proposed the conjecture that the Petersen graph is the only pentagraph that is three-connected and internally 4-connected, but this was disproved by M. Plummer and X. Zha in 2014. Plummer and Zha conjectured that every 3-connected, internally 4-connected pentagraph is three-colourable. We prove this: indeed, we will prove that every pentagraph is three-colourable.

We define a normal graph algebra modeled on algebras used in genetics. Although the algebra does not always determine its graph, it often highlights special features. After developing basic properties of the algebra, we examine those of certain minimal graphs. We then apply the results to the Petersen graph, finding connections between some of its many aspects. For example, the outer automorphisms of Sym(6) emerge naturally. The normal algebra of the Petersen graph is unique among normal graph algebras.

The $P_3$-hull number of a graph is the minimum cardinality of an infecting set of vertices that will eventually infect the entire graph under the rule that uninfected nodes become infected if two or more neighbors are infected. In this paper, we study the $P_3$-hull number for generalized Petersen graphs and a number of closely related graphs that arise from surgery or more generalized permutations. In addition, the number of components of the complement of an infecting set of minimum cardinality is calculated for the generalized Petersen graph and shown to always be $1$ or $2$. Moreover, infecting times for infecting sets of minimum cardinality are studied. Bounds are provided and complete information is given in special cases.

For $k \ge 4$, let $Q_{2k}$ and $V_{2k}$ denote the ladder and Möbius ladder on $2k$ vertices, respectively. We prove results that build on a result by Wormald that states that any cyclically $4$-connected cubic graph other than $Q_8$ or $V_8$ is obtained from a smaller cyclically $4$-connected cubic graph by bridging a pair of non-adjacent edges. We introduce the concept of cycle spread, which generalizes the edge pair distance defined by Wormald, and show that the set of pairs of edges that needs to be considered in order to obtain all cyclically $4$-connected cubic graphs is smaller than the set of all pairs of non-adjacent edges. We prove that all non-planar cyclically $4$-connected cubic graphs with at least $10$ vertices, other than the Möbius ladders and the Petersen graph, are obtained from $Q_8$ by bridging pairs of edges with cycle spread at least $(1,2)$. Moreover every graph obtained in this way is non-planar, cyclically $4$-connected, and cubic. All planar cyclically $4$-connected cubic graphs with at least $10$ vertices except for the ladders are obtained from the ladders by bridging pairs of edges with cycle spread at least $(1,2)$. We implemented an algorithm based on these results using McKay's nauty system for isomorphism checking.

The aim of this paper is to classify all snarks up to order $36$ and explain the reasons of their uncolourability. The crucial part of our approach is a computer-assisted structural analysis of cyclically $5$-connected critical snarks, which is justified by the fact that every other snark can be constructed from them by a series of simple operations while preserving uncolourability. Our results reveal that most of the analysed snarks are built up from pieces of the Petersen graph and can be naturally distributed into a small number of classes having the same reason for uncolourability. This sheds new light on the structure of all small snarks. Based on our analysis, we generalise certain individual snarks to infinite families and identify a rich family of cyclically $5$-connected critical snarks.

A graph admitting an automorphism with two orbits of the same length is called a bicirculant. Recently, Jajcay et al. initiated the investigation of the edge-transitive bicirculants with the properties that one of the subgraphs induced by the latter orbits is a cycle and the valence is at least $6$ (Electron. J. Combin., 2019). We show that the complement of the Petersen graph is the only such graph whose order is twice an odd number.

In this paper, we describe the structure of the Laplace characteristic polynomial $χ_n(λ)$ for the 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 show that the characteristic polynomial for such graphs can be decomposed into a finite product of algebraic functions evaluated at the roots of a linear combination of Chebyshev polynomials. Also, we prove that the characteristic polynomial can be represented in the form $χ_n(λ)=p(λ)\,χ_H(λ)a(n)^2,$ where $a(n)$ is a sequence of integer polynomials and $p(λ)$ is a prescribed integer polynomial. Moreover, we use the obtained results to produce analytic formulas for spectral graph invariants, such as the number of spanning trees and the number of spanning rooted forests.

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 matching $M$ in a graph $Γ$ is positive if $Γ$ has a vertex-labeling such that $M$ coincides with the set of edges with positive weights. A positive matching decomposition (pmd) of $Γ$ is an edge-partition $M_1,\ldots,M_p$ of $Γ$ such that $M_i$ is a positive matching in $Γ-M_1\cup\cdots\cup M_{i-1}$, for $i=1,\ldots,p$. The pmds of graphs are used to study algebraic properties of the Lovász-Saks-Schrijver ideals arising from orthogonal representations of graphs. We give a characterization of pmds of graphs in terms of alternating closed walks and apply it to study pmds of various classes of graphs including complete multipartite graphs, (regular) bipartite graphs, cacti, generalized Petersen graphs, etc. We further show that computation of pmds of a graph can be reduced to that of its maximum pendant-free subgraph.

Given a finite simple graph $Γ$ on $n$ vertices its complementary prism is the graph $Γ\barΓ$ that is obtained from $Γ$ and its complement $\barΓ$ by adding a perfect matching, where each its edge connects two copies of the same vertex in $Γ$ and $\barΓ$. It generalizes the Petersen graph, which is obtained if $Γ$ is the pentagon. The automorphism group of $Γ\barΓ$ is described for arbitrary graph $Γ$. In particular, it is shown that the ratio between the cardinalities of the automorphism groups of $Γ\barΓ$ and $Γ$ can attain only values $1$, $2$, $4$, and $12$. It is shown that the Cheeger number of $Γ\barΓ$ equals either 1 or $1-\frac{1}{n}$, and the two corresponding classes of graphs are fully determined. It is proved that $Γ\barΓ$ is vertex-transitive if and only if $Γ$ is vertex-transitive and self-complementary. In this case the complementary prism is Hamiltonian-connected whenever $n>5$, and is not a Cayley graph whenever $n>1$. The main results involve endomorphisms of graph $Γ\barΓ$. It is shown that $Γ\barΓ$ is a core, i.e. all its endomorphisms are automorphisms, whenever $Γ$ is strongly regular and self-complementary. The same conclusion is obtained for many vertex-transitive self-complementary graphs. In particular, it is shown that if there exists a vertex-transitive self-complementary graph $Γ$ such that $Γ\barΓ$ is not a core, then $Γ$ is neither a core nor its core is a complete graph.