arXiv++ Combinatorics

A subset \( C \) of the vertex set \( V \) of a graph \( Γ= (V,E) \) is termed an $(r,s)$-regular set if each vertex in \( C \) is adjacent to exactly \( r \) other vertices in \( C \), while each vertex not in \( C \) is adjacent to precisely \( s \) vertices in \( C \). A specific case, known as a $(0,1)$-regular set, is referred to as a perfect code. In this paper, we will delve into $(r,s)$-regular sets in the context of vertex-transitive graphs. It is noteworthy that any vertex-transitive graph can be represented as a coset graph \( \Cos(G,H,U) \). When examining a group \( G \) and a subgroup \( H \) of \( G \), a subgroup \( A \) that encompasses \( H \) is identified as an $(r,s)$-regular set related to the pair \( (G,H) \) if there exists a coset graph \( \Cos(G,H,U) \) such that the set of left cosets of \( H \) in \( A \) forms an $(r,s)$-regular set within this graph. In this paper, we present both a necessary and sufficient condition for determining when a normal subgroup \( A \) that includes \( H \) as a normal subgroup qualifies as an $(r,s)$-regular set for the pair \( (G,H) \). Furthermore, if \( A \) is a normal subgroup of \( G \) containing \( H \), we establish a relationship between \( A \) being a perfect code of \( (G,H) \) and the quotient \( N_A(H)/H \) being a perfect code of \(( N_G(H)/H, {1_{N_{G}(H)/H}}) \).

A subset $C$ of the vertex set of a graph $Γ$ is said to be $(a,b)$-regular if $C$ induces an $a$-regular subgraph and every vertex outside $C$ is adjacent to exactly $b$ vertices in $C$. In particular, if $C$ is an $(a,b)$-regular set of some Cayley graph on a finite group $G$, then $C$ is called an $(a,b)$-regular set of $G$ and a $(0,1)$-regular set is called a perfect code of $G$. In [Wang, Xia and Zhou, Regular sets in Cayley graphs, J. Algebr. Comb., 2022] it is proved that if $H$ is a normal subgroup of $G$, then $H$ is a perfect code of $G$ if and only if it is an $(a,b)$-regular set of $G$, for each $0\leq a\leq|H|-1$ and $0\leq b\leq|H|$ with $\gcd(2,|H|-1)\mid a$. In this paper, we generalize this result and show that a subgroup $H$ of $G$ is a perfect code of $G$ if and only if it is an $(a,b)$-regular set of $G$, for each $0\leq a\leq|H|-1$ and $0\leq b\leq|H|$ such that $\gcd(2,|H|-1)$ divides $a$.