arXiv++ Combinatorics

Given a finite connected simple graph $Γ$, and a subgroup $G$ of its automorphism group, a general method for finding all finite abelian regular coverings of $Γ$ that admit a lift of each element of $G$ is developed. As an application, all connected arc-transitive abelian regular coverings of the Petersen graph are classified up to isomorphism.

Up to switching isomorphism there are six ways to put signs on the edges of the Petersen graph. We prove this by computing switching invariants, especially frustration indices and frustration numbers, switching automorphism groups, chromatic numbers, and numbers of proper 1-colorations, thereby illustrating some of the ideas and methods of signed graph theory. We also calculate automorphism groups and clusterability indices, which are not invariant under switching. In the process we develop new properties of signed graphs, especially of their switching automorphism groups.

A graph is called Ricci-flat if its Ricci-curvatures vanish on all edges. Here we use the definition of Ricci-cruvature on graphs given in [Lin-Lu-Yau, Tohoku Math., 2011], which is a variation of [Ollivier, J. Funct. Math., 2009]. In this paper, we classified all Ricci-flat connected graphs with girth at least five: they are the infinite path, cycle $C_n$ ($n\geq 6$), the dodecahedral graph, the Petersen graph, and the half-dodecahedral graph. We also construct many Ricci-flat graphs with girth 3 or 4 by using the root systems of simple Lie algebras.

Given two graphs, a mapping between their edge-sets is cycle-continuous, if the preimage of every cycle is a cycle. The motivation for this notion is Jaeger's conjecture that for every bridgeless graph there is a cycle-continuous mapping to the Petersen graph. Answering a question of DeVos, Nešetřil, and Raspaud, we prove that there exists an infinite set of graphs with no cycle-continuous mapping between them. Further extending this result, we show that every countable poset can be represented by graphs and existence of cycle-continuous mappings between them.

We estimate the minimum number of vertices of a cubic graph with given oddness and cyclic connectivity. We prove that a bridgeless cubic graph $G$ with oddness $ω(G)$ other than the Petersen graph has at least $5.41\cdotω(G)$ vertices, and for each integer $k$ with $2\le k\le 6$ we construct an infinite family of cubic graphs with cyclic connectivity $k$ and small oddness ratio $|V(G)|/ω(G)$. In particular, for cyclic connectivity 2, 4, 5, and 6 we improve the upper bounds on the oddness ratio of snarks to 7.5, 13, 25, and 99 from the known values 9, 15, 76, and 118, respectively. In addition, we construct a cyclically 4-connected snark of girth 5 with oddness 4 on 44 vertices, improving the best previous value of 46.

The crossing number of a graph is the least number of crossings of edges among all drawings of the graph in the plane. In this article, we prove that the crossing number of the generalized Petersen graph P(10, 3) is equal to 6.

The class of generalized Petersen graphs was introduced by Coxeter in the 1950s. Frucht, Graver and Watkins determined the automorphism groups of generalized Petersen graphs in 1971, and much later, Nedela and Škoviera and (independently) Lovrečič-Saražin characterised those which are Cayley graphs. In this paper we extend the class of generalized Petersen graphs to a class of GI-graphs. For any positive integer n and any sequence j_0,j_1,....,j_{t-1} of integers mod n, the GI-graph GI(n;j_0,j_1,....,j_{t-1}) is a (t+1)-valent graph on the vertex set Z_t x Z_n, with edges of two kinds: - an edge from (s,v) to (s',v), for all distinct s,s' in Z_t and all v in Z_n, - edges from (s,v) to (s,v+j_s) and (s,v-j_s), for all s in Z_t and v in Z_n. By classifying different kinds of automorphisms, we describe the automorphism group of each GI-graph, and determine which GI-graphs are vertex-transitive and which are Cayley graphs. A GI-graph can be edge-transitive only when t < 4 or equivalently, for valence at most 4. We present a unit-distance drawing of a remarkable GI(7;1,2,3).

The main aim of this paper is to solve the design spectrum problem for Tietze's graph, the two 18-vertex Blanusa snarks, the six snarks on 20 vertices (including the flower snark J5), the twenty snarks on 22 vertices (including the two Loupekine snarks) and Goldberg's snark 3. Together with the Petersen graph (for which the spectrum has already been computed) this list includes all non-trivial snarks of up to 22 vertices. We also give partial results for a selection of larger graphs: the two Celmins-Swart snarks, the 26- and 34-vertex Blanusa snarks, the flower snark J7, the double star snark, Zamfirescu's graph, Goldberg's snark 5, the Szekeres snark and the Watkins snark.

It is proved that if $G$ is a $t$-tough graph of order $n$ and minimum degree $δ$ with $t>1$ then either $G$ has a cycle of length at least $\min\{n,2δ+5\}$ or $G$ is the Petersen graph.

A permutation graph is a cubic graph admitting a 1-factor M whose complement consists of two chordless cycles. Extending results of Ellingham and of Goldwasser and Zhang, we prove that if e is an edge of M such that every 4-cycle containing an edge of M contains e, then e is contained in a subdivision of the Petersen graph of a special type. In particular, if the graph is cyclically 5-edge-connected, then every edge of M is contained in such a subdivision. Our proof is based on a characterization of cographs in terms of twin vertices. We infer a linear lower bound on the number of Petersen subdivisions in a permutation graph with no 4-cycles, and give a construction showing that this lower bound is tight up to a constant factor.

In this note we construct two infinite snark families which have high oddness and low circumference compared to the number of vertices. Using this construction, we also give a counterexample to a suggested strengthening of Fulkerson's conjecture by showing that the Petersen graph is not the only cyclically 4-edge connected cubic graph which require at least five perfect matchings to cover its edges. Furthermore the counterexample presented has the interesting property that no 2-factor can be part of a cycle double cover.

It is proved that if $G$ is a $t$-tough graph of order $n$ and minimum degree $δ$ with $t>1$ then either $G$ has a cycle of length at least $\min\{n,2δ+4\}$ or $G$ is the Petersen graph.

If $G$ and $H$ are two cubic graphs, then we write $H\prec G$, if $G$ admits a proper edge-coloring $f$ with edges of $H$, such that for each vertex $x$ of $G$, there is a vertex $y$ of $H$ with $f(\partial_G(x))=\partial_H(y)$. Let $P$ and $S$ be the Petersen graph and the Sylvester graph, respectively. In this paper, we introduce the Sylvester coloring conjecture. Moreover, we show that if $G$ is a connected bridgeless cubic graph with $G\prec P$, then $G=P$. Finally, if $G$ is a connected cubic graph with $G\prec S$, then $G=S$.

In this paper we consider a fundamental problem in the area of viral marketing, called T{\scriptsize ARGET} S{\scriptsize ET} S{\scriptsize ELECTION} problem. In a a viral marketing setting, social networks are modeled by graphs with potential customers of a new product as vertices and friend relationships as edges, where each vertex $v$ is assigned a threshold value $θ(v)$. The thresholds represent the different latent tendencies of customers (vertices) to buy the new product when their friend (neighbors) do. Consider a repetitive process on social network $(G,θ)$ where each vertex $v$ is associated with two states, active and inactive, which indicate whether $v$ is persuaded into buying the new product. Suppose we are given a target set $S\subseteq V(G)$. Initially, all vertices in $G$ are inactive. At time step 0, we choose all vertices in $S$ to become active. Then, at every time step $t>0$, all vertices that were active in time step $t-1$ remain active, and we activate any vertex $v$ if at least $θ(v)$ of its neighbors were active at time step $t-1$. The activation process terminates when no more vertices can get activated. We are interested in the following optimization problem, called T{\scriptsize ARGET} S{\scriptsize ET} S{\scriptsize ELECTION}: Finding a target set $S$ of smallest possible size that activates all vertices of $G$. There is an important and well-studied threshold called strict majority threshold, where for every vertex $v$ in $G$ we have $θ(v)=\lceil{(d(v) +1)/2}\rceil$ and $d(v)$ is the degree of $v$ in $G$. In this paper, we consider the T{\scriptsize ARGET} S{\scriptsize ET} S{\scriptsize ELECTION} problem under strict majority thresholds and focus on three popular regular network structures: cycle permutation graphs, generalized Petersen graphs and torus cordalis.

In the game of \emph{cops and robbers} on a graph $G = (V,E)$, $k$ cops try to catch a robber. On the cop turn, each cop may move to a neighboring vertex or remain in place. On the robber's turn, he moves similarly. The cops win if there is some time at which a cop is at the same vertex as the robber. Otherwise, the robber wins. The minimum number of cops required to catch the robber is called the \emph{cop number} of $G$, and is denoted $c(G)$. Let $m_k$ be the minimum order of a connected graph satisfying $c(G) \geq k$. Recently, Baird and Bonato determined via computer search that $m_3=10$ and that this value is attained uniquely by the Petersen graph. Herein, we give a self-contained mathematical proof of this result. Along the way, we give some characterizations of graphs with $c(G) >2$ and very high maximum degree.

A set $D \subseteq V(G)$ is a \emph{dominating set} of $G$ if every vertex not in $D$ is adjacent to at least one vertex in $D$. A dominating set of $G$ of minimum cardinality is called a $γ(G)$-set. For each vertex $v \in V(G)$, we define the \emph{domination value} of $v$ to be the number of $γ(G)$-sets to which $v$ belongs. In this paper, we study some basic properties of the domination value function, thus initiating \emph{a local study of domination} in graphs. Further, we characterize domination value for the Petersen graph, complete $n$-partite graphs, cycles, and paths.

\noindent The b-chromatic number of a graph $G$, denoted by $φ(G)$, is the largest integer $k$ that $G$ admits a proper coloring by $k$ colors, such that each color class has a vertex that is adjacent to at least one vertex in each of the other color classes. El Sahili and Kouider [About b-colorings of regular graphs, Res. Rep. 1432, LRI, Univ. Orsay, France, 2006] asked whether it is true that every $d$-regular graph $G$ of girth at least 5 satisfies $φ(G)=d+1$. Blidia, Maffray, and Zemir [On b-colorings in regular graphs, Discrete Appl. Math. 157 (2009), 1787-1793] showed that the Petersen graph provides a negative answer to this question, and then conjectured that the Petersen graph is the only exception. In this paper, we investigate a strengthened form of the question. The edge connectivity of a graph $G$, denoted by $λ(G)$, is the minimum cardinality of a subset $U$ of $E(G)$ such that $G\setminus U$ is either disconnected or a graph with only one vertex. A $d$-regular graph $G$ is called super-edge-connected if every minimum edge-cut is the set of all edges incident with a vertex in $G$, i.e., $λ(G)=d$ and every minimum edge-cut of $G$ isolates a vertex. We show that if $G$ is a $d$-regular graph that contains no 4-cycle, then $φ(G)=d+1$ whenever $G$ is not super-edge-connected.

A $Roman\ domination\ function$ on a graph $G=(V, E)$ is a function $f:V(G)\rightarrow\{0,1,2\}$ satisfying the condition that every vertex $u$ with $f(u)=0$ is adjacent to at least one vertex $v$ with $f(v)=2$. The $weight$ of a Roman domination function $f$ is the value $f(V(G))=\sum_{u\in V(G)}f(u)$. The minimum weight of a Roman dominating function on a graph $G$ is called the $Roman\ domination\ number$ of $G$, denoted by $γ_{R}(G)$. In this paper, we study the {\it Roman domination number} of generalized Petersen graphs P(n,2) and prove that $γ_R(P(n,2)) = \lceil {\frac{8n}{7}}\rceil (n \geq 5)$.

Let $G=(V(G),E(G))$ be a simple connected and undirected graph with vertex set $V(G)$ and edge set $E(G)$. A set $S \subseteq V(G)$ is a $dominating$ $set$ if for each $v \in V(G)$ either $v \in S$ or $v$ is adjacent to some $w \in S$. That is, $S$ is a dominating set if and only if $N[S]=V(G)$. The domination number $γ(G)$ is the minimum cardinalities of minimal dominating sets. In this paper, we give an improved upper bound on the domination number of generalized Petersen graphs $P(ck,k)$ for $c\geq 3$ and $k\geq 3$. We also prove that $γ(P(4k,k))=2k+1$ for even $k$, $γ(P(5k,k))=3k$ for all $k\geq 1$, and $γ(P(6k,k))=\lceil\frac{10k}{3}\rceil$ for $k\geq 1$ and $k\neq 2$.

This paper has been withdrawn.