Perfect codes in quintic Cayley graphs on abelian groups

Yuefeng Yang,Xuanlong Ma,Qing Zeng

2024-06-02

Abstract:A subset $C$ of the vertex set of a graph $\Gamma$ is called a perfect code of $\Gamma$ if every vertex of $\Gamma$ is at distance no more than one to exactly one vertex in $C$. In this paper, we classify all connected quintic Cayley graphs on abelian groups that admit a perfect code, and determine completely all perfect codes of such graphs.

Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to find graphs with perfect codes in the fifth - degree Cayley graphs on Abelian groups, and completely determine all perfect codes of these graphs. Specifically, the authors classify all connected fifth - degree Cayley graphs containing perfect codes and give the specific forms of all perfect codes in these graphs.

### Background of the Paper and Problem Definition

In graph theory, a subset \(C\) of the vertex set of a graph \(\Gamma\) is called a **perfect code** of \(\Gamma\) if every vertex in \(\Gamma\) has a distance of no more than 1 to exactly one vertex in \(C\). In particular, when \(t = 1\), this kind of perfect code is called a **perfect 1 - code** or simply a **perfect code**.

### Research Object

The research object of the paper is the fifth - degree Cayley graphs on Abelian groups. Given an Abelian group \(G\) and an inverse - closed subset \(S\subseteq G\setminus\{e\}\), the Cayley graph \(Cay(G, S)\) is defined as a graph with the vertex set \(G\), where two vertices \(x, y\in G\) are adjacent if and only if \(yx^{-1}\in S\).

### Main Results

The main results of the paper are as follows:

1. **Classification Theorem (Theorem 1.1)**:
- A connected fifth - degree Cayley graph \(Cay(G, S)\) has a perfect code if and only if it is isomorphic to one of the following graphs:
- \(\Gamma_{m, l, h}\times K_2\), where \(\Gamma_{m, l, h}\) is a graph generated by Construction 2.1, satisfying \(\sigma_2(l)\neq0\) or \(\sigma_2(m)>\sigma_2(l - ah)\);
- \(\Gamma'_{m, l, h}\) is a graph generated by Construction 2.5, satisfying \(\sigma_2(l) = 0\) and \(\sigma_2(m)=\sigma_2(l - ah)+ 1\), or \(\sigma_2(h)\sigma_2(l)\neq0\) and \(\sigma_2(m)\leq\sigma_2(l - ah)\);
- \(\Gamma''_{m, l, h}\) is a graph generated by Construction 2.8, satisfying \(\sigma_2(h)\geq\sigma_2(m)>\sigma_2(l)\geq1\) or \(\sigma_2(h)\geq\sigma_2(m)=\sigma_2(l) = 1\).

2. **Determination of Perfect Codes (Theorem 1.2)**:
- For a connected fifth - degree Cayley graph \(Cay(G, S)\), assume that \(S =\{\pm s,\pm s', s_0\}\) and \(o(s)=m\), \(o(s_0) = 2\). If \(Cay(G, S)\) has a perfect code, then all perfect codes containing the identity element can be expressed as:
- If \(Cay(G, S)\) is isomorphic to the graph in Theorem 1.1 (i), the graph in (ii) with \(\sigma_2(l) = 0\), the graph in (iii) with \(\sigma_2(h)\geq\sigma_2(m)=\sigma_2(l) = 1\), then all perfect codes containing the identity element are:
\[
\bigcup_{r = 0}^{\frac{\gcd(l - ah, m)}{3}-1}D_a(r, t_r)\quad\text{for all}\quad t_r\in\{0, 1\}\quad\text{and}\quad r\geq1
\]