arXiv++ Combinatorics

Let $G$ be a graph, $r \geq t$ integers, and $N \subseteq E(G)$. An $(r,t)$-threshold-coloring of $G$ with respect to $N$ is a mapping $c: V(G) \rightarrow \{0,\ldots,r-1\}$ such that $|c(u)-c(v)| \leq t$ for every $uv \in N$ and $|c(u)-c(v)|>t$ for every $uv \in E(G) \setminus N$. A graph is total threshold colorable if there exist integers $r,t$ such that for every $N \subseteq E(G)$, $G$ admits an $(r,t)$-threshold-coloring with respect to $N$. We show that every prism is total threshold colorable, and that the Petersen graph is total threshold colorable. In contrast to this fact we show that Moebius ladders are not total threshold colorable, from which it follows that there is no characterization of being total threshold colorable in terms of a finite set of forbidden subgraphs.

In the ordinary version of the pursuit-evasion game "cops and robbers", a team of cops and a robber occupy vertices of a graph and alternately move along the graph's edges, with perfect information about each other. If a cop lands on the robber, the cops win; if the robber can evade the cops indefinitely, he wins. In the variant "lazy cops and robbers", the cops may only choose one member of their squad to make a move when it's their turn. The minimum number of cops (respectively lazy cops) required to catch the robber is called the "cop number" (resp. "lazy cop number") of G and is denoted $c(G)$ (resp. $c_L(G)$). Previous work by Beveridge at al. has shown that the Petersen graph is the unique graph on ten vertices with $c(G)=3$, and all graphs on nine or fewer vertices have $c(G)\leq 2$. (This was a self-contained mathematical proof of a result found by computational search by Baird and Bonato.) In this article, we prove a similar result for lazy cops, namely that the 3x3 rooks graph ($K_3\square K_3$) is the unique graph on nine vertices which requires three lazy cops, and a graph on eight or fewer vertices requires at most two lazy cops.

If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is 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)$. If $G$ admits an $H$-coloring, then we will write $H\prec G$. The Petersen coloring conjecture of Jaeger states that for any bridgeless cubic graph $G$, one has: $P\prec G$. The second author has recently introduced the Sylvester coloring conjecture, which states that for any cubic graph $G$ one has: $S\prec G$. Here $S$ is the Sylvester graph on $10$ vertices. In this paper, we prove the analogue of Sylvester coloring conjecture for cubic pseudo-graphs. Moreover, we show that if $G$ is any connected simple cubic graph $G$ with $G\prec P$, then $G = P$. This implies that the Petersen graph does not admit an $S_{16}$-coloring, where $S_{16}$ is the smallest connected simple cubic graph without a perfect matching. $S_{16}$ has $16$ vertices. %We conjecture that there are infinitely many connected cubic simple graphs which do not admit an %$S_{16}$-coloring. Finally, we obtain $2$ results towards the Sylvester coloring conjecture. The first result states that any cubic graph $G$ has a coloring with edges of Sylvester graph $S$ such that at least $\frac45$ of vertices of $G$ meet the conditions of Sylvester coloring conjecture. The second result states that any claw-free cubic graph graph admits an $S$-coloring. This results is an application of our result on cubic pseudo-graphs.

Consider two graphs $G$ and $H$. Let $H^k[G]$ be the lexicographic product of $H^k$ and $G$, where $H^k$ is the lexicographic product of the graph $H$ by itself $k$ times. In this paper, we determine the spectrum of $H^k[G]$ and $H^k$ when $G$ and $H$ are regular and the Laplacian spectrum of $H^k[G]$ and $H^k$ for $G$ and $H$ arbitrary. Particular emphasis is given to the least eigenvalue of the adjacency matrix in the case of lexicographic powers of regular graphs, and to the algebraic connectivity and the largest Laplacian eigenvalues in the case of lexicographic powers of arbitrary graphs. This approach allows the determination of the spectrum (in case of regular graphs) and Laplacian spectrum (for arbitrary graphs) of huge graphs. As an example, the spectrum of the lexicographic power of the Petersen graph with the googol number (that is, $10^{100}$) of vertices is determined. The paper finish with the extension of some well known spectral and combinatorial invariant properties of graphs to its lexicographic powers.

We show that every bridgeless cubic graph $G$ with $m$ edges has a cycle cover of length at most $1.6 m$. Moreover, if $G$ does not contain any intersecting circuits of length $5$, then $G$ has a cycle cover of length $212/135 \cdot m \approx 1.570 m$ and if $G$ contains no $5$-circuits, then it has a cycle cover of length at most $14/9 \cdot m \approx 1.556 m$. To prove our results, we show that each $2$-edge-connected cubic graph $G$ on $n$ vertices has a $2$-factor containing at most $n/10+f(G)$ circuits of length $5$, where the value of $f(G)$ only depends on the presence of several subgraphs arising from the Petersen graph. As a corollary we get that each $3$-edge-connected cubic graph on $n$ vertices has a $2$-factor containing at most $n/9$ circuits of length $5$ and each $4$-edge-connected cubic graph on $n$ vertices has a $2$-factor containing at most $n/10$ circuits of length $5$.

Partial cubes are graphs isometrically embeddable into hypercubes. In this paper it is proved that every cubic, vertex-transitive partial cube is isomorphic to one of the following graphs: $K_2 \, \square \, C_{2n}$, for some $n\geq 2$, the generalized Petersen graph $G(10,3)$, the cubic permutahedron, the truncated cuboctahedron, or the truncated icosidodecahedron. This classification is a generalization of results of Brešar et al.~from 2004 on cubic mirror graphs, it includes all cubic, distance-regular partial cubes (Weichsel, 1992), and presents a contribution to the classification of all cubic partial cubes.

We show that the cop number of every generalized Petersen graph is at most 4. The strategy is to play a modified game of cops and robbers on an infinite cyclic covering space where the objective is to capture the robber or force the robber towards an end of the infinite graph. We prove that finite isometric subtrees are 1-guardable and apply this to determine the exact cop number of some families of generalized Petersen graphs. We also extend these ideas to prove that the cop number of any connected I-graph is at most 5.

We prove that every graph with $n$ vertices and at least $5n-8$ edges contains the Petersen graph as a minor, and this bound is best possible. Moreover we characterise all Petersen-minor-free graphs with at least $5n-11$ edges. It follows that every graph containing no Petersen minor is 9-colourable and has vertex arboricity at most 5. These results are also best possible.

We give a necessary and sufficient condition for a cubic graph to be Hamiltonian by analyzing Eulerian tours in certain spanning subgraphs of the quartic graph associated with the cubic graph by 1-factor contraction. This correspondence is most useful in the case when it induces a blue and red 2-factorization of the associated quartic graph. We use this condition to characterize the Hamiltonian I-graphs, a further generalization of generalized Petersen graphs. The characterization of Hamiltonian I-graphs follows from the fact that one can choose a 1-factor in any I-graph in such a way that the corresponding associated quartic graph is a graph bundle having a cycle graph as base graph and a fiber and the fundamental factorization of graph bundles playing the role of blue and red factorization. The techniques that we develop allow us to represent Cayley multigraphs of degree 4, that are associated to abelian groups, as graph bundles. Moreover, we can find a family of connected cubic (multi)graphs that contains the family of connected I-graphs as a subfamily.

The notion of a Galvin orientation of a line graph is introduced, generalizing the idea used by Galvin in his landmark proof of the list-edge-colouring conjecture for bipartite graphs. If L(G) has a proper Galvin orientation with respect to k, then it immediately implies that G is k-list-edge-colourable, but the converse is not true. The stronger property is studied in graphs of the form `bipartite plus an edge', the Petersen graph, cliques, and simple graphs without odd cycles of length 5 or longer.

In this paper the strong metric dimension of generalized Petersen graphs $GP(n,2)$ is considered. The exact value is determined for cases $n=4k$ and $n=4k+2$, while for $n=4k+1$ an upper bound of the strong metric dimension is presented.

We consider graphs $G$ with $Δ=3$ such that $χ'(G)=4$ and $χ'(G-e)=3$ for every edge $e$, so-called \emph{critical} graphs. Jakobsen noted that the Petersen graph with a vertex deleted, $P^*$, is such a graph and has average degree only $\frac83$. He showed that every critical graph has average degree at least $\frac83$, and asked if $P^*$ is the only graph where equality holds. A result of Cariolaro and Cariolaro shows that this is true. We strengthen this average degree bound further. Our main result is that if $G$ is a subcubic critical graph other than $P^*$, then $G$ has average degree at least $\frac{46}{17}\approx2.706$. This bound is best possible, as shown by the Hajos join of two copies of $P^*$.

A $k$-weak bisection of a cubic graph $G$ is a partition of the vertex-set of $G$ into two parts $V_1$ and $V_2$ of equal size, such that each connected component of the subgraph of $G$ induced by $V_i$ ($i=1,2$) is a tree of at most $k-2$ vertices. This notion can be viewed as a relaxed version of nowhere-zero flows, as it directly follows from old results of Jaeger that every cubic graph $G$ with a circular nowhere-zero $r$-flow has a $\lfloor r \rfloor$-weak bisection. In this paper we study problems related to the existence of $k$-weak bisections. We believe that every cubic graph which has a perfect matching, other than the Petersen graph, admits a 4-weak bisection and we present a family of cubic graphs with no perfect matching which do not admit such a bisection. The main result of this article is that every cubic graph admits a 5-weak bisection. When restricted to bridgeless graphs, that result would be a consequence of the assertion of the 5-flow Conjecture and as such it can be considered a (very small) step toward proving that assertion. However, the harder part of our proof focuses on graphs which do contain bridges.

For integers $k\geq 1$ and $n\geq 2k+1$ the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of $[n]:=\{1,2,\ldots,n\}$ and an edge between any two vertices (=sets) that are disjoint. The bipartite Kneser graph $H(n,k)$ has as vertices all $k$-element and $(n-k)$-element subsets of $[n]$ and an edge between any two vertices where one is a subset of the other. It has long been conjectured that all Kneser graphs and bipartite Kneser graphs except the Petersen graph $K(5,2)$ have a Hamilton cycle. The main contribution of this paper is proving this conjecture for bipartite Kneser graphs $H(n,k)$. We also establish the existence of cycles that visit almost all vertices in Kneser graphs $K(n,k)$ when $n=2k+o(k)$, generalizing and improving upon previous results on this problem.

We prove that the number of $1$-factorisations of a generalised Petersen graph of the type $GP(3k,k)$ is equal to the $k$th Jacobsthal number $J(k)$ if $k$ is odd, and equal to $4J(k)$, when $k$ is even. Moreover, we verify the list colouring conjecture for $GP(3k,k)$.

The {\em square} $G^2$ of a graph $G$ is the graph with the same vertex set as $G$ and with two vertices adjacent if their distance in $G$ is at most 2. Thomassen showed that every planar graph $G$ with maximum degree $Δ(G)=3$ satisfies $χ(G^2)\leq 7$. Kostochka and Woodall conjectured that for every graph, the list-chromatic number of $G^2$ equals the chromatic number of $G^2$, that is $χ_l(G^2)=χ(G^2)$ for all $G$. If true, this conjecture (together with Thomassen's result) implies that every planar graph $G$ with $Δ(G)=3$ satisfies $χ_l(G^2)\leq 7$. We prove that every connected graph (not necessarily planar) with $Δ(G)=3$ other than the Petersen graph satisfies $χ_l(G^2)\leq 8$ (and this is best possible). In addition, we show that if $G$ is a planar graph with $Δ(G)=3$ and girth $g(G)\geq 7$, then $χ_l(G^2)\leq 7$. Dvořák, Škrekovski, and Tancer showed that if $G$ is a planar graph with $Δ(G) = 3$ and girth $g(G) \geq 10$, then $χ_l(G^2)\leq 6$. We improve the girth bound to show that if $G$ is a planar graph with $Δ(G)=3$ and $g(G) \geq 9$, then $χ_l(G^2) \leq 6$. All of our proofs can be easily translated into linear-time coloring algorithms.

A class of simple graphs such as ${\cal G}$ is said to be {\it odd-girth-closed} if for any positive integer $g$ there exists a graph $G \in {\cal G}$ such that the odd-girth of $G$ is greater than or equal to $g$. An odd-girth-closed class of graphs ${\cal G}$ is said to be {\it odd-pentagonal} if there exists a positive integer $g^*$ depending on ${\cal G}$ such that any graph $G \in {\cal G}$ whose odd-girth is greater than $g^*$ admits a homomorphism to the five cycle (i.e. is $C_{_{5}}$-colorable). In this article, we show that finding the odd girth of generalized Petersen graphs can be transformed to an integer programming problem, and using this we explicitly compute the odd girth of such graphs, showing that the class is odd-girth-closed. Also, motivated by showing that the class of generalized Petersen graphs is odd-pentagonal, we study the circular chromatic number of such graphs.

We report here a computation giving the complete list of facets for the cut polytopes over several very symmetric graphs with $15-30$ edges, including $K_8$, $K_{3,3,3}$, $K_{1,4,4}$, $K_{5,5}$, some other $K_{l,m}$, $K_{1,l,m}$, $Prism_7, APrism_6$, Möbius ladder $M_{14}$, Dodecahedron, Heawood and Petersen graphs. For $K_8$, it shows that the huge lists of facets of the cut polytope $CUTP_8$ and cut cone $CUT_8$, given in [CR] is complete. We also confirm the conjecture that any facet of $CUTP_8$ is adjacent to a triangle facet. The lists of facets for $K_{1,l,m}$ with $(l,m)=(4,4),(3,5),(3,4)$ solve problems (see, for example, [Werner]) in quantum information theory.

For some time the Petersen graph has been the only known Snark with circular flow number $5$ (or more, as long as the assertion of Tutte's $5$-flow Conjecture is in doubt). Although infinitely many such snarks were presented eight years ago by Macajova and Raspaud, the variety of known methods to construct them and the structure of the obtained graphs were still rather limited. We start this article with an analysis of sets of flow values, which can be transferred through flow networks with the flow on each edge restricted to the open interval $(1,4)$ modulo $5$. All these sets are symmetric unions of open integer intervals in the ring $\mathbb{R}/5\mathbb{Z}$. We use the results to design an arsenal of methods for constructing snarks $S$ with circular flow number $φ_c(S)\ge 5$. As one indication to the diversity and density of the obtained family of graphs, we show that it is sufficiently rich so that the corresponding recognition problem is NP-complete.

We study embeddings of a graph $G$ in a surface $S$ by considering representatives of different classes of $H_1(S)$ and their intersections. We construct a matrix invariant that can be used to detect homological invariance of elements of the cycle space of a cellularly embedded graph. We show that: for each positive integer $n$, there is a graph embeddable in the torus such that there is a free $\mathbb{Z}_{2p}$-action on the graph that extends to a cellular automorphism of the torus; for an odd prime $p$ greater than 5 the Generalized Petersen Graphs of the form $GP(2p,2)$ do cellularly embed in the torus, but not in such a way that a free-action of a group on $GP(2p,2)$ extends to a cellular automorphism of the torus; the Generalized Petersen Graph $GP(6,2)$ does embed in the the torus such that a free-action of a group on $GP(6,2)$ extends to a cellular automorphism of the torus; and we show that for any odd $q$, the Generalized Petersen Graph $GP(2q,2)$ does embed in the Klein bottle in such a way that a free-action of a group on the graph extends to a cellular automorphism of the Klein bottle.