arXiv++ Combinatorics

A graph pair $(Γ, Σ)$ is called stable if every automorphism of the direct product $Γ\timesΣ$ is induced componentwise by automorphisms of $Γ$ and $Σ$. A graph is twin-free if no two distinct vertices share the same neighbourhood in the graph. Two graphs $Γ$ and $Σ$ are coprime with respect to the direct product if there is no graph $Δ$ of order greater than $1$ such that $Γ\congΓ'\timesΔ$ and $Σ\congΣ'\timesΔ$ for some graphs $Γ'$ and $Σ'$. A graph pair $(Γ,Σ)$ is nontrivial if $Γ$ and $Σ$ are coprime connected twin-free graphs and exactly one of them is bipartite. In this paper, we prove that if $Γ$ is non-bipartite, stable, and factor-loopless, then each nontrivial graph pair $(Γ,Σ)$ is stable. This gives a partial answer to [Question~19, Qin, Xia and Zhou, Discrete Math., 113856, (2024)] and proves the factor-loopless case of [Conjecture~1.3, Wang, Qin and Xia, arXiv:2509.26170]. We also give affirmative answers to [Questions~3.5, 3.6, Gan, Liu and Xia, J. Combin. Theory Ser. B, 140--164, (2025)] and a negative answer to [Question~3.7, Gan, Liu and Xia, J. Combin. Theory Ser. B, 140--164, (2025)].

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.

A pair of graphs $(Γ,Σ)$ is called unstable if their direct product $Γ\timesΣ$ admits automorphisms not from $\mathrm{Aut}(Γ)\times\mathrm{Aut}(Σ)$, and such automorphisms are said to be unexpected. The stability of a graph $Γ$ refers to that of $(Γ,K_2)$. While the stability of individual graphs has been relatively well studied, much less is known for graph pairs. In this paper, we propose a conjecture that provides the best possible reduction of the stability of a graph pair to the stability of a single graph. We prove one direction of this conjecture and establish partial results for the converse. This enables the determination of the stability of a broad class of graph pairs, with complete results when one factor is a cycle.

A perfect code in a graph is an independent set of the graph such that every vertex outside the set is adjacent to exactly one vertex in the set. A circulant graph is a Cayley graph of a cyclic group. In this paper we study perfect codes in circulant graphs of degree $p^l - 1$, where $p$ is a prime and $l \ge 1$. We obtain a necessary and sufficient condition for such a circulant graph to admit perfect codes, give a construction of all such circulant graphs which admit perfect codes, and prove a lower bound on the number of distinct perfect codes in such a circulant graph. This extends known results for the case $l=1$ and provides insight on the general problem on the existence and structure of perfect codes in circulant graphs.

A graph pair $(Γ, Σ)$ is called stable if $\aut(Γ)\times\aut(Σ)$ is isomorphic to $\aut(Γ\timesΣ)$ and unstable otherwise, where $Γ\timesΣ$ is the direct product of $Γ$ and $Σ$. A graph is called $R$-thin if distinct vertices have different neighbourhoods. $Γ$ and $Σ$ are said to be coprime if there is no nontrivial graph $Δ$ such that $Γ\cong Γ_1 \times Δ$ and $Σ\cong Σ_1 \times Δ$ for some graphs $Γ_1$ and $Σ_1$. An unstable graph pair $(Γ, Σ)$ is called nontrivially unstable if $Γ$ and $Σ$ are $R$-thin connected coprime graphs and at least one of them is non-bipartite. This paper contributes to the study of the stability of graph pairs with a focus on the case when $Σ= C_n$ is a cycle. We give two sufficient conditions for $(Γ, C_n)$ to be nontrivially unstable, where $n \ne 4$ and $Γ$ is an $R$-thin connected graph. In the case when $Γ$ is an $R$-thin connected non-bipartite graph, we obtain the following results: (i) if $(Γ, K_2)$ is unstable, then $(Γ, C_{n})$ is unstable for every even integer $n \geq 4$; (ii) if an even integer $n \ge 6$ is compatible with $Γ$ in some sense, then $(Γ, C_{n})$ is nontrivially unstable if and only if $(Γ, K_2)$ is unstable; (iii) if there is an even integer $n \ge 6$ compatible with $Γ$ such that $(Γ, C_{n})$ is nontrivially unstable, then $(Γ, C_{m})$ is unstable for all even integers $m \ge 6$. We also prove that if $Γ$ is an $R$-thin connected graph and $n \ge 3$ is an odd integer compatible with $Γ$, then $(Γ, C_{n})$ is stable.

Let $\Ga = (V, E)$ be a graph and $a, b$ nonnegative integers. An $(a, b)$-regular set in $\Ga$ is a nonempty proper subset $D$ of $V$ such that every vertex in $D$ has exactly $a$ neighbours in $D$ and every vertex in $V \setminus D$ has exactly $b$ neighbours in $D$. A $(0,1)$-regular set is called a perfect code, an efficient dominating set, or an independent perfect dominating set. A subset $D$ of a group $G$ is called an $(a,b)$-regular set of $G$ if it is an $(a, b)$-regular set in some Cayley graph of $G$, and an $(a, b)$-regular set in a Cayley graph of $G$ is called a subgroup $(a, b)$-regular set if it is also a subgroup of $G$. In this paper we study $(a, b)$-regular sets in Cayley graphs with a focus on $(0, k)$-regular sets, where $k \ge 1$ is an integer. Among other things we determine when a non-trivial proper normal subgroup of a group is a $(0, k)$-regular set of the group. We also determine all subgroup $(0, k)$-regular sets of dihedral groups and generalized quaternion groups. We obtain necessary and sufficient conditions for a hypercube or the Cartesian product of $n$ copies of the cycle of length $p$ to admit $(0, k)$-regular sets, where $p$ is an odd prime. Our results generalize several known results from perfect codes to $(0, k)$-regular sets.

In this paper, we construct a bialgebraic and further a Hopf algebraic structure on top of subgraphs of a given graph. Further, we give the dual structure of this Hopf algebraic structure. We study the algebra morphisms induced by graph homomorphisms, and obtain a covariant functor from a graph category to an algebra category.