arXiv++ Combinatorics

In this paper, it has been shown that the generalized Petersen graph $\mathrm {GP}(8,3)$, also known as the Möbius-Kantor graph, admits a faithful unit-distance representation in the plane.

We study a recent variation of zero forcing called leaky forcing. Zero forcing is a propagation process on a network whereby some nodes are initially blue with all others white. Blue vertices can "force" a white neighbor to become blue if all other neighbors are blue. The goal is to find the minimum number of initially blue vertices to eventually force all vertices blue after exhaustively applying the forcing rule above. Leaky forcing is a fault-tolerant variation of zero forcing where certain vertices (not necessarily initially blue) cannot force. The goal in this context is to find the minimum number of initially blue vertices needed that can eventually force all vertices to be blue, regardless of which small number of vertices can't force. This work extends results from zero forcing in terms of leaky forcing. In particular, we provide a complete determination of leaky forcing numbers for all unicyclic graphs and upper bounds for generalized Petersen graphs. We also provide bounds for the effect of both edge removal and vertex removal on the $\ell$-leaky forcing number. Finally, we completely characterize connected graphs that have the minimum and maximum possible $1$-leaky forcing number (i.e., when $Z_{1}(G) = 2$ and when $Z_{1}(G) = |V(G)|-1$).

We study quantum coherence in continuous-time quantum walks on perfect graphs generated by the symmetric lift ${\mathrm{HL}}'_2(G)$, a canonical, unweighted, undirected construction defined as the line graph of a bipartite double cover of $G$. This lift acts as both a coherence-preserving and coherence-inducing transformation: it preserves and scales structured quantum interference in highly symmetric base graphs, and induces sustained coherence in random or weakly structured ones. In small graphs such as $K_4$, $K_5$, and the Petersen graph, where quantum walks exhibit sharp revivals and high return probability, repeated $\mathrm{HL}'_2$ lifting produces towers of perfect graphs with thousands to tens of thousands of vertices that retain periodic or quasi-periodic coherence. When applied to random regular or Erdős--Rényi graphs with flat or decaying return behavior, the lift introduces structured interference and significant amplification of mean and peak return probabilities. To quantify these effects, we evaluate standard coherence metrics from quantum resource theory, including inverse participation ratio (IPR), purity, relative entropy of coherence, and the logarithmic coherence number. These measures confirm that $\mathrm{HL}'_2$ lifting delocalizes eigenstates, increases coherence entropy, and expands the basis support of quantum states. These results demonstrate that $\mathrm{HL}'_2$ is a scalable and structurally grounded mechanism for organizing quantum interference, and introduce a new family of perfect graphs that support long-time quantum coherence without spectral tuning or engineered weights.

A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. A brick $G$ is solid if for any two vertex disjoint odd cycles $C_1$ and $C_2$ of $G$, $G-(V(C_1)\cup V(C_2))$ has no perfect matching. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we show that for a solid brick $G$ of order $n$ that is distinct from $K_4$, every $b$-invariant edge of $G$ is solitary if and only if $G$ is a wheel $W_n$.

Motivated by the well-known conjecture of Ryser which relates maximum matchings to minimum vertex covers in $r$-partite $r$-uniform hypergraphs, Lovász formulated a stronger conjecture. It states that one can always reduce the matching number by removing $r-1$ vertices. This conjecture was very recently disproven for $r=3$ by Clow, Haxell, and Mohar using the line graph of a $3$-regular graph of order $102$. Building on this, we describe a simple infinite family of counterexamples based on generalized Petersen graphs for the case $r=3$ and give specific counterexamples for $r=4$.

After long-term efforts, the Hamilton path (cycle) problem for connected vertex-transitive graphs of order $pq$ (where $p$ and $q$ are primes) was finally resolved in 2021, see [10]. Fifteen years ago, mathematicians began addressing this problem for graphs of order $2pq$. Among these studies, it was proved in 2012 (see [21]) that every connected vertex-transitive graph of order $10p$ (where $p \neq 7$ is a prime) contains a Hamilton path, with the exception of a family of graphs that was recently confirmed in [11]. In this paper, we achieve a further result: every connected vertex-transitive graph of order $10p$ (where $p$ is a prime) contains a Hamilton cycle, except for the truncation of the Petersen graph.

In this note we show that there is a cubic graph of girth $5$ that is not a subgraph of any minimal Cayley graph. On the other hand, we show that any Generalized Petersen Graph $G(n,k)$ with $\gcd(n,k)=1$ is an induced subgraph of a minimal Cayley graph. These results give insights into two comments of László Babai in [L. Babai, \emph{Automorphism groups, isomorphism, reconstruction}. Graham, R. L. (ed.) et al., Handbook of combinatorics. Vol. 1-2, 1994].

We give a complete characterisation of the cubic graphs with no eigenvalues in the interval $(-2,0)$. There is one thin infinite family consisting of a single graph on $6n$ vertices for each $n \geqslant 2$, and five ``sporadic'' graphs, namely the $3$-prism $K_3 \mathbin{\square} K_2$, the complete bipartite graph $K_{3,3}$, the Petersen graph, the dodecahedron and Tutte's $8$-cage. The proof starts by observing that if a cubic graph has no eigenvalues in $(-2,0)$ then its local structure around a girth-cycle is very constrained. Then a separate case analysis for each possible girth shows that these constraints can be satisfied only by the known examples. All but one of these case analyses can be completed by hand, but for girth five there are sufficiently many cases that it is necessary to use a computer for the analysis.

We study two measures of uncolourability of cubic graphs, their colouring defect and perfect matching index. The colouring defect of a cubic graph $G$ is the smallest number of edges left uncovered by three perfect matchings; the perfect matching index of $G$ is the smallest number of perfect matchings that together cover all edges of $G$. We provide a complete characterisation of cubic graphs with colouring defect $3$ whose perfect matching index is greater or equal to $5$. The result states that every such graph arises from the Petersen graph with a fixed $6$-cycle $C$ by substituting edges or vertices outside $C$ with suitable $3$-edge-colourable cubic graphs. Our research is motivated by two deep and long-standing conjectures, Berge's conjecture stating that five perfect matchings are enough to cover the edges of any bridgeless cubic graph and the shortest cycle cover conjecture of Alon and Tarsi suggesting that every bridgeless graph can have its edges covered with cycles of total length at most $7/5\cdot m$, where $m$ is the number of edges. We apply our characterisation to showing that every cubic graph with colouring defect $3$ admits a cycle cover of length at most $4/3\cdot m +1$, where $m$ is the number of edges, the bound being achieved by the graphs whose perfect matching index equals $5$. We further prove that every snark containing a $5$-cycle with an edge whose endvertices removed yield a $3$-edge-colourable graph has a cycle cover of length at most $4/3\cdot m+1$, as well.

We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the torus, with the exceptional graph class called "Petersen-like", is 3-edge-colorable. This means every (non-trivial) toroidal snark can be obtained from several copies of the Petersen graph using the dot product operation. The first two snarks in this family are the Petersen graph and one of Blanuša snarks; the rest are exposed by Vodopivec in 2008. This proves a strengthening of the well-known, long-standing conjecture of Grünbaum from 1968. This implies that a 2-connected cubic (multi)graph that can be embedded in the torus is not 3-edge-colorable if and only if it can be obtained from a dot product of copies of the Petersen graph by replacing its vertices with 2-edge-connected planar cubic (multi)graphs. Here, replacing a vertex $v$ in a cubic graph $G$ is the operation that takes a 2-connected planar cubic multigraph $H$ and one of its vertices $u$ of degree 3, unifying $G-v$ and $H-u$ and connecting the neighbors of $v$ in $G-v$ with the neighbors of $u$ in $H-u$ with a matching. This result is a highly nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability. An important consequence of this result is a very strong version of the Tutte 4-Flow Conjecture for toroidal graphs. We show that a 2-edge connected graph embedded in the torus admits a nowhere-zero 4-flow unless it is Petersen-like (in which case it does not admit nowhere-zero 4-flows). Observe that this is a vast strengthening over the Tutte 4-Flow Conjecture on the torus, which assumes that the graph does not contain the Petersen graph as a minor because almost all toroidal graphs contain the Petersen graph minor, but almost none are Petersen-like.

Contraction of triangles is a standard operation in the study of cubic graphs, as it reduces the order of the graph while typically preserving many of its properties. In this paper, we investigate the converse problem, wherein certain vertices of cubic graphs are expanded into triangles to achieve a desired property. We first focus on bridgeless cubic graphs and define the parameter $T(G)$ as the minimum number of vertices that need to be expanded into triangles so that the resulting cubic graph can be covered with four perfect matchings. We relate this parameter to the concept of shortest cycle cover. Furthermore, we show that if $5$-Cycle Double Cover Conejcture holds true, then $T(G)\leq \frac{2}{5} |V(G)|$. We conjecture a tighter bound, $T(G)\leq \frac{1}{10}|V(G)|$, which is optimal for the Petersen graph, and show that this bound follows from major conjectures like the Petersen Coloring Conjecture. In the second part of the paper, we introduce the parameter $t(G)$ as the minimum number of vertex expansions needed for the graph to admit a perfect matching. We prove a Gallai type identity: $t(G)+\ell(G)=|V(G)|$, where $\ell(G)$ is the number of edges in a largest even subgraph of $G$. Then we prove the general upper bound $t(G)< \frac{1}{4}|V(G)|$ for cubic graphs, and $t(G)< \frac{1}{6}|V(G)|$ for cubic graphs without parallel edges. We provide examples showing that these bounds are asymptotically tight. The paper concludes with a discussion of the computational complexity of determining these parameters.

A bicirculant is a regular, $d$-valent graph that admits a semiregular automorphism of order $m$ having two vertex-orbits of size $m$. The vertices of each orbit induce a circulant graph of order $m$ and the remaining edges span a regular bipartite graph of valence, say $s$, $1 \leq s \leq d$, connecting the two vertex-orbits. Generalized Petersen graphs constitute a prominent family of bicirculants, with $d = 3$ and $s = 1$. In 1983, Brian Alspach proved that all generalized Petersen graphs are hamiltonian, except for the family $G(m, 2)$ with $m\equiv 5\pmod 6$. In this paper we conjecture that among all connected bicirculants of valence at least 2, there are no other exceptions. It follows from various sources that the conjecture is true for all cubic bicirculants. In this paper we prove the conjecture for quartic bicirulants with $s = 2$, also known as the generalized rose window graphs.

We introduce a new two-player game on graphs, in which players alternate choosing vertices until the set of chosen vertices forms a dominating set. The last player to choose a vertex is the winner. The game fits into the scheme of several other known games on graphs. We characterize the paths and cycles for which the first player has the winning strategy. We also create tools for combining graphs in various ways (via graph powers, Cartesian products, graph joins, and other methods) for building a variety of graphs whose games are won by the second player, including cubes, multidimensional grids with an odd number of vertices, most multidimensional toroidal grids, various trees such as specialized caterpillars, the Petersen graph, and others. Finally, we extend the game to groups and show that the second player wins the game on abelian groups of even order with canonical generating set, among others.

For a non-decreasing sequence of integers $S=(s_1,s_2, \dots, s_k)$, an $S$-packing coloring of $G$ is a partition of $V(G)$ into $k$ subsets $V_1,V_2,\dots,V_k$ such that the distance between any two distinct vertices $x,y \in V_i$ is at least $s_{i}+1$, $1\leq i\leq k$. The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $p$ such that $G$ is $(1,2,\dots ,p)$-packing colorable. Gastineau and Togni asked whether the subdivision $S(G)$ of every subcubic graph $G$ has $χ_ρ(S(G))\leq 5$ and whether every subcubic graph, except the Petersen graph, is $(1,1,2,2)$-packing colorable; these questions were later conjectured by Brešar et al. Moreover, Gastineau and Togni proved that a positive answer to the second question implies a positive answer to the first. In this paper, we completely resolve the second question for connected non-regular subcubic graphs, proving that they are $(1,1,2,2)$-packing colorable and hence satisfy $χ_ρ(S(G)) \leq 5$. We also establish the same result for several classes of cubic graphs, including those with diamonds, certain cut-vertices, and bridges on short cycles. Finally, we strengthen the recent result of Liu, Zhang, and Zhang [\textit{Discrete Math.} 348 (11) (2025). 114610] that every subcubic graph is $(1,1,2,2,3)$-packing colorable by proving that every connected cubic graph admits a $(1,1,2,2,k)$-packing coloring in which at most one vertex receives color $k$, where $k$ is arbitrary. This not only simplifies the existing argument but also strictly improves the bound.

The generalized Petersen graph $G(n, k)$ is a cubic graph with vertex set $V(G(n, k)) = \{v_i\}_{0 \leq i < n} \cup \{w_i\}_{0 \leq i < n}$ and edge set $E(G(n, k)) = \{v_i v_{i+1}\}_{0 \leq i < n} \cup \{w_i w_{i+k}\}_{0 \leq i < n} \cup \{v_i w_i\}_{0 \leq i < n}$ where the indices are taken modulo $n$. Schwenk found the number of Hamiltonian cycles in $G(n, 2)$, and in this article we present initial conditions and linear recurrence relations for the number of Hamiltonian cycles in $G(n, 3)$ and $G(n, 4)$. This is attained by introducing $G'(n, k)$, which is a modified version of $G(n, k)$, and a subset of its subgraphs which we call admissible, and which are partitioned into different classes in such a manner that we can find relations between the number of admissible subgraphs of each class. The classes and their relations define a directed graph such that each strongly connected component is of a manageable size for $k=3$ and $k=4$, which allows us to find linear recurrence relations for the number of admissible subgraphs in each class in these cases. The number of Hamiltonian cycles in $G(n, k)$ is a sum of the number of admissible subgraphs of $G'(n, k)$ over a certain subset of the classes.

We construct connected $2$-arc-transitive covers of the Petersen graph with non-solvable transformation groups, solving the long-standing problem for the existence of such covers.

Burr and Erdős conjectured in 1976 that for every two integers $k>\ell\geqslant 0$ satisfying that $k\mathbb{Z}+\ell$ contains an even integer, an $n$-vertex graph containing no cycles of length $\ell$ modulo $k$ can contain at most a linear number of edges on $n$. Bollobás confirmed this conjecture in 1977 and then Erdős proposed the problem of determining the exact value of the maximum number of edges in such a graph. For the above $k$ and $\ell$, define $c_{\ell,k}$ to be the least constant such that every $n$-vertex graph with at least $c_{\ell,k}\cdot n$ edges contains a cycle of length $\ell$ modulo $k$. The precise (or asymptotic) values of $c_{\ell,k}$ are known for very few pairs $\ell$ and $k$. In this paper, we precisely determine the maximum number of edges in a graph containing no cycles of length 1 modulo 3. In particular, we show that every $n$-vertex graph with at least $\frac{5}{3}(n-1)$ edges contains a cycle of length 1 modulo 3, unless $9|(n-1)$ and each block of the graph is a Petersen graph. As a corollary, we obtain that $c_{1,3}=\frac{5}{3}$. This is the last remaining class modulo $k$ for $1\leqslant k\leqslant 4$.

The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs.'' The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023]. As every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $NP$-hard: for the existence and optimization of interval-order subgraphs of line graphs, or of interval completions and the boxicity of their complement, if the boxicity is bounded. We finally extend our approach to upper and lower bounding the boxicity of line graphs.

In this article, we study radio \(k\)-colorings of simple connected graphs \(G\) with diameter \(d\), where a radio \(k\)-coloring \(g\) assigns non-negative integers to \(V(G)\) (vertices of \(G\)) such that \(|g(u) - g(v)| \geq 1 + k - d(u, v)\) for any two vertices \(u, v\) with \(1 \leq k \leq d\). The span of a radio \(k\)-coloring \(g\), expressed by \(rc_k(g)\), is the maximum integer assigned by \(g\), and the radio \(k\)-chromatic number \(rc_k(G)\) is the minimum span among all radio \(k\)-colorings of \(G\). A coloring \(g\) is minimal if \(rc_k(g) = rc_k(G)\). When \(k = d-1\), this coloring is known as the antipodal coloring, and \(rc_{d-1}(G)\) referred to as the antipodal number, is denoted by \(ac(G)\). We derive a sufficient condition for an antipodal coloring to be minimal and apply this criterion to determine the antipodal number of the generalized Petersen graph \(GP(n,1)\) for all \(n\) except when \(n \equiv 2 \pmod{8}\), and for toroidal grids \(T_{r,s} = C_r \square C_s\) when \(rs\) is even. Additionally, we establish a lower bound for \(ac(T_{r,s})\) when \(rs\) is odd.

We prove a collection of asymptotic density results for several interesting classes of the $I$-graphs. Specifically, we quantify precisely the proportion of $I$-graphs that are generalised Petersen graphs as well as those that are connected. Our results rely on the estimation of sums over tuples satisfying various coprimality conditions along with other techniques from analytic number theory.