Abstract:Let $\mathrm{Sym}_q(m)$ be the space of symmetric matrices in $\mathbb{F}_q^{m\times m}$. A subspace of $\mathrm{Sym}_q(m)$ equipped with the rank distance is called a symmetric rank-metric code. In this paper we study the covering properties of symmetric rank-metric codes. First we characterize symmetric rank-metric codes which are perfect, i.e. that satisfy the equality in the sphere-packing like bound. We show that, despite the rank-metric case, there are non trivial perfect codes. Also, we characterize families of codes which are quasi-perfect.
What problem does this paper attempt to address?
This paper aims to explore the covering properties of symmetric rank - metric codes, especially to study whether these codes can reach the state of perfect codes, that is, to satisfy equations similar to the sphere - packing bound. In addition, the paper also explores the existence and characteristics of quasi - perfect codes.
Specifically, the main contributions of the paper include:
1. **Characterization of perfect symmetric rank - metric codes**: The author proves the existence of non - trivial perfect symmetric rank - metric codes, and these codes are perfect under specific conditions (the matrix order is odd and the minimum distance is 3).
2. **Research on quasi - perfect codes**: By analyzing the covering density, the author defines quasi - perfect codes and proves that there are no quasi - perfect codes under certain parameters, especially when the minimum distance \(d\) satisfies \(\left\lfloor\frac{d - 1}{2}\right\rfloor\geq3\).
### Main Conclusions
- **Existence of perfect codes**: The paper proves that in symmetric rank - metric codes, apart from the entire space, the only type of perfect code is the symmetric maximum rank - distance (MRD) code, where the matrix order is odd and the minimum distance is 3.
- **Non - existence of quasi - perfect codes**: For the case where the minimum distance \(d\) satisfies \(\left\lfloor\frac{d - 1}{2}\right\rfloor\geq3\), there are no quasi - perfect codes. For the case where the minimum distance is 3, there exist some families of quasi - perfect codes.
### Key Concepts
- **Symmetric rank - metric codes**: Subspaces in the symmetric matrix space \(\text{Sym}_q(m)\) equipped with rank distance.
- **Perfect codes**: Codes that satisfy the sphere - packing bound equation.
- **Quasi - perfect codes**: Families of codes whose covering density approaches 1.
- **Covering density**: A measure of the extent to which the balls centered on codewords cover the entire space.
### Mathematical Background
- **Rank distance**: The rank distance between two matrices \(A\) and \(B\) is defined as \(d(A, B)=\text{rk}(A - B)\).
- **Minimum distance**: The minimum distance of a symmetric rank - metric code \(C\) is defined as \(d(C)=\min\{d(A, B):A, B\in C, A\neq B\}\).
- **Sphere - packing bound**: For a symmetric rank - metric code \(C\), if \(t = \left\lfloor\frac{d - 1}{2}\right\rfloor\), then \(MB_t\leq q^{\frac{m^2 + m}{2}}\), where \(M\) is the size of the code and \(B_t\) is the size of a ball with radius \(t\).
### Application Background
Symmetric rank - metric codes have wide applications in error - correcting coding, cryptography, and network coding, etc. The theoretical results of this paper provide an important theoretical basis for further design and optimization of these codes.
Hope this information can help you better understand the core content and main contributions of this paper. If you have more specific questions or need further explanations, please feel free to let me know!