Abstract:For a digraph $\Gamma$, a subset $C$ of $V(\Gamma)$ is a perfect code if $C$ is a dominating set such that every vertex of $\Gamma$ is dominated by exactly one vertex in $C$. In this paper, we classify strongly connected 2-valent Cayley digraphs on abelian groups admitting a perfect code, and determine completely all perfect codes of such digraphs.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to classify the existence of perfect codes in 2 - regular Cayley digraphs on Abelian groups and completely determine all perfect codes in these graphs. Specifically, the goals of the paper can be divided into two main parts:
1. **Classify 2 - regular Cayley digraphs with existing perfect codes**:
- Researchers focus on 2 - regular Cayley digraphs constructed on Abelian groups, and these graphs are strongly connected.
- They aim to find out which of these graphs can have perfect codes, that is, a set in which each vertex is exactly dominated by one codeword.
2. **Determine all perfect codes**:
- For those 2 - regular Cayley digraphs that do have perfect codes, the researchers' further goal is to completely determine the specific forms of all perfect codes in these graphs.
### Main Results
- **Theorem 1.1**: A strongly - connected 2 - regular Cayley digraph on an Abelian group has a perfect code if and only if it is isomorphic to a graph \(\Gamma_{m,l,h}\) constructed in a certain way, where \(0\leq h < m\), \(0 < l\), and \(3\mid m\) and \(3\mid(l - h)\).
- **Theorem 1.2**: Suppose \(\text{Cay}(G, S)\) is isomorphic to the graph in Theorem 1.1, where \(S=\{s, s'\}\) and \(o(s)=m\). Then all perfect codes containing the identity element are exactly \(\bigcup_{i\in[\gcd(l - h, m)/3]}D(i)\), where \(D(i)=\{(3i + r)s+rs'\mid r\in\mathbb{Z}\}\).
### Methods and Techniques
- **Construction**: Researchers achieve the above goals by constructing an infinite family of 2 - regular Cayley digraphs. The construction of these graphs is based on the properties of Abelian groups and specific generating sets.
- **Proof**: Through a series of lemmas and propositions, the correctness of Theorem 1.1 and Theorem 1.2 is gradually proved. These lemmas involve the symmetry of graphs, the transitivity of vertices, and the definitions and properties of perfect codes.
### Application Background
- **Coding Theory**: Perfect codes have important applications in coding theory, especially in the design of error - correcting codes.
- **Graph Theory**: Studying perfect codes in Cayley graphs helps to gain a deeper understanding of the structure and properties of graphs, especially for graphs on Abelian groups.
In conclusion, through strict mathematical proofs and construction methods, this paper solves the problem of the existence of perfect codes in 2 - regular Cayley digraphs under specific conditions and gives the specific forms of all perfect codes. This not only enriches the research content of graph theory and coding theory but also provides a theoretical basis for applications in related fields.