Abstract: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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the conditions for the existence of perfect codes in circulant graphs and their structures. Specifically, the author studied perfect codes in circulant graphs with degree \(p^{\ell}-1\), where \(p\) is a prime number and \(\ell\geq1\). The main contributions of the paper include:
1. **Necessary and Sufficient Conditions**: The necessary and sufficient conditions for the existence of perfect codes in such circulant graphs are given. Specifically, if a connected circulant graph \(Cay(Z_n, S)\) with degree \(p^{\ell}-1\) has a perfect code, then \(p^{\ell}\) must divide \(n\), and \(S_0\) (i.e., \(S\cup\{0\}\)) must be a pyramidal set.
2. **Construction Method**: A method for constructing all circulant graphs that satisfy the above conditions is provided, and the lower bound of the number of perfect codes in these graphs is proved.
3. **Extension of Known Results**: The known results for \(l = 1\) are extended to the general case \(l\geq1\), thus providing a deeper understanding of the existence and structure of perfect codes in circulant graphs.
### Overview of Main Results
1. **Theorem 1.2**: Let \(n\geq3\) be an integer, and let \(Cay(Z_n, S)\) be a connected non - complete circulant graph of order \(n\) and degree \(p^{\ell}-1\), where \(p\) is a prime number and \(\ell\geq1\) is an integer. Then \(Cay(Z_n, S)\) has a perfect code if and only if \(p^{\ell}\) divides \(n\) and \(S_0\) is a pyramidal set.
Moreover, if \(p^{\ell}\) divides \(n\), \(S_0\) is a pyramidal set and non - periodic, and the length of the longest admissible subgroup sequence associated with \(S_0\) is \(2t\), then the following conclusions hold:
- If \((S_0 - S_0)\cap\langle p^{\ell}\rangle=\{0\}\), then the subgroup \(\langle p^{\ell}\rangle\) is a perfect code containing 0; when \(t = 1\), this is the only perfect code containing 0, while when \(t>1\), there exist perfect codes that do not contain 0.
- If \((S_0 - S_0)\cap\langle p^{\ell}\rangle\neq\{0\}\), then there exist perfect codes containing 0, but none of them is the subgroup \(\langle p^{\ell}\rangle\).
2. **Theorem 1.3**: Let \(n = p^{\ell}m\), where \(p\) is a prime number, \(\ell\geq1\), and \(m\geq2\) are integers. Then a connected circulant graph of order \(n\) and degree \(p^{\ell}-1\) has a perfect code if and only if it is isomorphic to a graph belonging to \(G_{l,m}(n, p^{\ell})\), where \(l = (\ell_1,\ell_2,\ldots,\ell_t)\) and \(m=(m_1,m_2,\ldots,m_t)\) are sequences of positive integers satisfying \(\sum_{i = 1}^t\ell_i=\ell\) and \(\prod_{i = 1}^t m_i=m\).
3. **Theorem 1.4**: Let \(n = p^{\ell}m\), and let \(Cay(Z_n, S)\) be a connected circulant graph of order \(n\) and degree \(p^{\ell}-1\), where \(p\) is a prime number, \(\ell\geq1\), and \(m\geq2\) is an integer.