arXiv++ Combinatorics

Let $k$ be a positive integer. A graph is said to be $(P_2 \cup kP_1)$-free if it does not contain $P_2 \cup kP_1$ as an induced subgraph. Recently, Ota and the author asked whether every 1-tough and $k$-connected $(P_2 \cup kP_1)$-free graph is hamiltonian or the Petersen graph. Note that this problem is affirmative for $k \in \{1,2,3\}$ by the known results. In this paper, we show that for each integer $k \geq 4$, if $G$ is a $1$-tough and $(k-1)$-connected $(P_2 \cup kP_1)$-free graph with $|V(G)| \ge k^2+k+1$ and $δ(G) \ge k$, then $G$ is hamiltonian. This result implies that the above question is affirmative for large graphs.

For each integer $n\geq 3$, let $W_n$ denote the wheel graph obtained by connecting a single vertex to all vertices of a cycle of length $n$. In particular, $W_6$ is obtained from the Petersen graph by contracting three edges incident with a common vertex. In this paper, we determine all $4$-connected graphs that do not contain $W_6$ as a minor.

For each integer $n \geq 3$, the wheel graph $W_n$ is defined as the graph obtained by connecting a single vertex to all vertices of a cycle of length $n$. In particular, $W_6$ can be uniquely obtained from the Petersen graph by contracting three edges incident to a common vertex. Gubser provided a characterization of all 3-connected planar $W_6$-minor-free graphs. In this paper, we complete the characterization of $W_6$-minor-free graphs by determining the 3-connected nonplanar cases.

A bicirculant is a regular graph that admits an automorphism having two vertex-orbits of the same size. A bicirculant can be described as follows. Given an integer $m \ge 1$ and sets $R, S, T \subseteq \mathbb Z_m$ such that $R=-R$, $T=-T$, $0 \not\in R \cup T$ and $0 \in S$, the graph $B(m;R,S,T)$ has vertex set $V=\{u_0,\dots,u_{m-1},v_0,\dots,v_m-1\}$ and edge set $E=\{u_iu_{i+j}| \ i \in\mathbb Z_m, j \in R\} \cup \{v_iv_{i+j}| \ i \in\mathbb Z_m, j \in T\} \cup\{u_iv_{i+j}| \ i \in\mathbb Z_m, j \in S\}.$ Bicirculant graphs with $R=T=\emptyset$ are known as cyclic Haar graphs. In 2025 we conjectured that the only non-hamiltonian graphs among regular connected bicirculants of degree more than one are the generalized Petersen graphs $G(m,2)$ with $m \equiv 5 \pmod 6$. Recently we have verified the conjecture for bicirculants with $|S|\le 2$ and for bicirculants with $|R|=|T|$ odd. In this paper we show that the conjecture holds for all bicirculants with $|S| \le 3$ and for all bicirculants with $|S| \ge 4$ and $m/\gcd(m, S)$ even. As a byproduct of our results, we prove that every connected bicirculant graph on $2m$ vertices with $|S| \ge 4$ is hamiltonian for even $m< 9\, 240$, and for odd $m< 3\,465$. Finally, we show that the existence of a hamilton cycle in every connected cyclic Haar graph of valence at least $4$ implies that every connected bicirculant graph of valence at least $4$ is hamiltonian.

For a non-decreasing sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers, a packing $S$-coloring of a graph $G$ is a partition of $V(G)$ into $V_1, V_2, \ldots, V_k$ such that each $V_i$ has pairwise distance at least $s_i+1$. The packing chromatic number (PCN) of a graph $G$ is the minimum $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. The $1$-subdivision of $G$ is obtained by replacing each edge of $G$ with a path of two edges. In 2016, Gastineau and Togni asked an open question whether the $1$-subdivision of every subcubic graph has PCN at most $5$, and later Bre\v sar, Klav\v zar, Rall, and Wash conjectured it is true. Balogh, Kostochka, and Liu proved the first upper bound of $8$, and it was later improved to $6$ by Liu, Zhang, and Zhang. In this paper, we prove that every connected subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable. Our result implies a solution to the conjecture of Bre\v sar, Klav\v zar, Rall, and Wash, and answers the question of Gastineau and Togni in the affirmative. Furthermore, our result answers an open question of Kostochka and Liu and solves a conjecture of Liu, Zhang, and Zhang.

In a graph $Γ$, a perfect code is an independent set $C$ with the property that every vertex not in $C$ is adjacent to a unique vertex in $C$, and a total perfect code is a set $C$ of vertices of $Γ$ such that every vertex of $Γ$ is adjacent to a unique vertex in $C$. We classify these codes for generalized Petersen graphs.

We construct an infinite family of 6-regular graphs $\{G_n\}_{n\ge 3}$ by taking $n$ copies of the Petersen graph and wiring corresponding vertices according to an $n$-cycle permutation. Each $G_n$ has $10n$ vertices, $30n$ edges, and automorphism group $D_{5n}$ of order $10n$, acting with two vertex orbits of size $5n$. The graphs have girth $4$ and diameter $\lfloor n/2\rfloor+2$. We prove that $G_3$ and $G_4$ are Ramanujan graphs, satisfying $|λ_2| \le 2\sqrt{5}$. The first five members ($n=3,\dots,7$) have been deposited in the House of Graphs database as entries 56324--56328. This construction provides new examples of highly symmetric regular graphs and contributes two new Ramanujan graphs to the literature. All computational scripts are available online for full reproducibility.

Given a graph $H$, we investigate the $d$-regular graphs $G$ with the highest $H$-density. We reframe the problem as a continuous optimization problem on the eigenvalues of $G$ by relating injective homomorphism numbers from $H$ and homomorphism numbers from quotient graphs of $H$. For almost all $H$, this relation has non-spectral terms, which require bounding by spectral terms in a way that is sharp at the optimal graph. For bipartite $H$ and $d$ large enough, we show $G$ consists of disjoint copies of $K_{d,d}$. For non-bipartite $H$ and $d$ sufficiently large, $G$ is a collection of disjoint $K_{d+1}$ graphs. For $H=C_5$ and $d=3$, disjoint Petersen graphs emerge.

We investigate the distribution of zeros of the independence polynomial ${\rm I}(G, x)$ for the family of Generalized Petersen graphs ${\rm GP}(n, k)$ in the complex plane. While the independence numbers and coefficients of these graphs have been studied, the global behavior of their roots remains largely unexplored. Using an exact transfer matrix algorithm parameterized by $k$, we compute ${\rm I}({\rm GP}(n,k), x)$ for $n$ up to $30$ and $k \in \{1, 2, 3, 4\}$. Our numerical analysis reveals a striking parity-based dichotomy: for odd $k$, the roots exhibit complex conjugate structures accumulating on closed curves, whereas for even $k$, the roots appear to be strictly real and negative. Motivated by this evidence, we conjecture that ${\rm I}({\rm GP}(n,k), x)$ is real-rooted, and hence log-concave, if and only if $k$ is even. This phenomenon connects algebraic properties of ${\rm GP}(n,k)$ to questions about zero-free regions and limiting behavior in the hard-core lattice gas model.

The concept of mutual visibility in a graph encodes combinatorial information about vertex subsets with prescribed visibility properties and serves as a useful algebraic invariant. In this paper, we study the visibility properties of some Moore graphs of diameter 2, with emphasis on the Petersen and Hoffman Singleton graphs. We first compute the visibility polynomial of the Petersen graph explicitly by analyzing its structural features in relation to the strong regularity of the graph. For the Hoffman Singleton graph, we establish an upper bound of 20 on its visibility number, and subsequently employ an integer programming approach to prove that this bound is tight. As a corollary, we deduce that the maximum size of an induced matching in the Hoffman Singleton graph is 10. These results demonstrate how visibility polynomials can be computed for extremal graphs of high symmetry, and how algebraic and optimization techniques can be combined to determine precise visibility parameters in complex graph families.

A bicirculant is a regular graph that admits a semi-regular automorphism with two vertex-orbits of the same size. By $m$ we denote the size of vertex-orbits and by $d$ the valence of a bicirculant. Furthermore, we denote by $s$ the valence of the bipartite graph joining the two vertex-orbits. In 1983, Brian Alspach proved that the only non-hamiltonian generalized Petersen graphs are $G(m,2)$ with $m \equiv 5 \pmod 6$. In a recent paper we conjectured that this is the only exception among regular, connected bicirculants of degree $d > 1$ and we have verified the conjecture for the quartic bicirculants with $s=2$, also known as the generalized rose window graphs. In this paper we develop tools and apply them for a partial verification of the conjecture. We show that the conjecture holds for all bicirculants with $s \leq 2$. As a consequence we obtain that every connected bicirculant with $s \ge 3$ is hamiltonian if $m$ is a product of at most three prime powers. In particular, every connected bicirculant with $s \ge 3$ is hamiltonian for even $m<210$ and odd $m < 1155$. Our results imply that many other families of bicirculants are hamiltonian. For example, all bicirculants with $d-s$ odd are hamiltonian.

Circular $r$-coloring of a signed graph $(G,σ)$ is a mapping of its vertices to a circle of circumference $r$ such that: I. each pair of vertices with a negative connection is at distance at least $1$, and II. for each pair with a positive connection, the distance of one from the antipodal of the other is at least $1$. A signed graph $(G,σ)$ admits a circular $r$-coloring for some values of $r$ if and only if it has no negative loop. The smallest value of such $r$ is the circular chromatic number, denoted $χ_{c}(G,σ)$. The circular chromatic number is a refinement of the balanced chromatic number, which is mostly studied under the equivalent term $0$-free coloring in the literature. Extending Brooks' theorem, Má\v cajová, Raspaud, and Škoviera showed that if $Δ(G)$ is an even number, $G$ is connected, and $(G,σ)$ is not (switching) isomorphic to $(K_{Δ+1},-)$ or $C_{-\ell}$ (when $Δ(G)=2$), then $χ_c(G,σ)\leq Δ(G)$ and that the upper bound is tight. For the odd values of $Δ(G)$, assuming a connected signed graph $(G,σ)$ is not isomorphic to $(K_{Δ+1},-)$, determining the best upper bound for $χ_c(G, σ)$ proves to be more of a challenge. In this work, addressing the first step of this question, we show that if $(G, σ)$ is a signed graph of maximum degree 3 with no component isomorphic to $(K_4, -)$, then $χ_{c}(G, σ)\leq \frac{10}{3}$. The upper bound is tight even among signed cubic graphs of girth 5. In particular, there is a signature on the Petersen graph for which the upper of $\frac{10}{3}$ is achieved.

Given a graph $G$, let $Δ_2(G)$ denote the maximum number of neighbors any two distinct vertices of $G$ have in common. Vu (2002) proposed that, provided $Δ_2(G)$ is not too small as a proportion of the maximum degree $Δ(G)$ of $G$, the chromatic number of $G$ should never be too much larger than $Δ_2(G)$. We make a first approach towards Vu's conjecture from a structural graph theoretic point of view. We prove that, in the case where $G$ is claw-free, indeed the chromatic number of $G$ is at most $Δ_2(G)+3$. This is tight, as our bound is met with equality for the line graph of the Petersen graph. Moreover, we can prove this in terms of the more specific parameter that bounds the maximum number of neighbors any two endpoints of some edge of $G$ have in common. Our result may be viewed as a generalization of the classic bound of Vizing (1964) for edge-coloring.

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$. 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 present a characterization of this problem when the bricks are claw-free.

This paper explores the application of Hurlbert's Linear Optimization Technique to determine bounds on pebbling numbers. By applying Hurlbert's weight functions and optimization methods, we derive upper bounds for specific graph families. The study provides a comprehensive analysis of these bounds and contributes to a broader understanding of pebbling numbers in graph theory. In particular, the weight function lemma is applied to calculate upper bounds for graphs such as the Petersen graph, the Bruhat graph, and various trees.

In this paper we classify cubic vertex-transitive graphs of girth $7$, based on their signature. Such a graph is either a truncation of an arc-transitive dihedral scheme on a $7$-regular graph, the skeleton of a rotary map of type $\{7,3\}$, a member of an infinite family of Cayley graphs, or is one of the of the generalised Petersen graphs $\text{Pet}(13,5)$, $\text{Pet}(15,4)$, $\text{Pet}(17,4)$ or the Coxeter graph. We show that for a cubic vertex-transitive graphs $Γ$ of girth $7$, if every edge of $Γ$ is contained in the same number of $7$-cycles, then $Γ$ is also arc-transitive.

Let $G=(V,E)$ be a matching-covered graph, denote by $P$ its perfect matching polytope, and by $L$ the integer lattice generated by the integral points in $P$. In this paper, we give short, polyhedral proofs for two difficult results established by Lovász (1987), and by Carvalho, Lucchesi, and Murty (2002) in a series of three papers totaling over 120 pages. More specifically, we prove that $L$ has a lattice basis consisting solely of incidence vectors of some perfect matchings of $G$, $2x\in L$ for all $x\in \mathrm{lin}(P)\cap \mathbb{Z}^E$, and if $G$ has no Petersen brick then $L = \mathrm{lin}(P)\cap \mathbb{Z}^E$. Our proof avoids major technical aspects of the previous proofs, the most important of these being a characterization of the dual lattice, and a `Petersen-brick-sensitive' ear-decomposition result for matching-covered graphs. This is achieved by a novel study of the facial structure of the polytope $P$ and its relationship with the lattice $L$. Along the way, we give a new polyhedral characterization of the Petersen graph.

The metric dimension of a graph $G$ is defined as the minimum number of vertices in a subset $S\subset V(G)$ such that all other vertices are uniquely determined by their distances to the vertices in $S$, and is denoted by $\dim(G)$. In this paper, we study the metric dimension of generalized Petersen graphs $P(n,3)$. The notions of good and bad vertices, which are introduced in Imran et al. (2014, Ars. Combinatoria 117, 113-130), are instrumental in determining the lower bound of the metric dimension for certain types of graphs. We propose an approach, based on these notions, to determine the lower bound of $\dim(P(n,3))$. Moreover, we shall prove that $\dim(P(n,3))=4$, where $n\equiv2,3,4,5 \,\,(\text{mod}\,\, 6)$ and is sufficiently large.

The energy of a vertex $v_i$ in a graph $G$ is defined as $\mathcal{E}_G(v_i) = |A|_{ii}$, where $A$ is the adjacency matrix of $G$, $A^*$ denotes the conjugate transpose of $A$, and $|A| = (AA^*)^{1/2}$. The total energy of the graph, $\mathcal{E}(G)$, is then the sum of the energies of all vertices: $\mathcal{E}(G) = \mathcal{E}_G(v_1) + \mathcal{E}_G(v_2) + \dots + \mathcal{E}_G(v_n)$. In this paper, we compute the vertex energy for several well-known regular graphs, including the Frucht graph, Desargues graph, Tutte-Coxeter graph, Heawood graph, Shrikhande graph, and Petersen graph.

Let ${\rm EX}(n,H)$ and ${\rm SPEX}(n,H)$ denote the families of $n$-vertex $H$-free graphs with the maximum size and the maximum spectral radius, respectively. A graph $H$ is said to be spectral-consistent if ${\rm SPEX}(n,H)\subseteq {\rm EX}(n,H)$ for sufficiently large $n$. A fundamental problem in spectral extremal graph theory is to determine which graphs are spectral-consistent. Cioabă, Desai and Tait [European J. Combin. 99 (2022) 103420] proposed the following conjecture: Let $H$ be any graph such that the graphs in ${\rm EX}(n,H)$ are Turán graph plus $O(1)$ edges. Then $H$ is spectral-consistent. Wang, Kang and Xue [J. Combin. Theory Ser. B 159 (2023) 20--41] confirmed this conjecture, along with a stronger result. In this paper, we continue to explore the spectral-consistent problem. We prove that for any finite graph $H$, if $\mathcal{M}(H)$ is matching-good, then $H$ is spectral-consistent. This provides a weaker condition than the one presented by Wang, Kang, and Xue for guaranteeing that $H$ is spectral-consistent. This result allows us to characterize spectral-consistency for several important classes of forbidden graphs $H$: generalized color-critical graphs (including the Petersen graph and the dodecahedron graph), and the odd-ballooning of trees or complete bipartite graphs. Moreover, we provide a concise proof for a spectral-consist result by Chen, Lei and Li [European J. Combin. 130 (2025) 104226]. Additionally, we propose problems for future research.