Abstract:Let $K$ be a field, $\Gamma $ a finite group of field automorphisms of $K$, $F$ the $\Gamma $-fixed field in $K$ and $G\leq $GL$_v(K)$ a finite matrix group. Then the action of $\Gamma $ defines a grading on the symmetric algebra of the $F$-space $K^v$ which we use to introduce the notion of homogeneous $\Gamma $-conjugate invariants of $G$. We apply this new grading in invariant theory to broaden the connection between codes and invariant theory by introducing $\Gamma $-conjugate complete weight enumerators of codes. The main result of this paper applies the theory from Nebe, Rains, Sloane to show that under certain extra conditions these new weight enumerators generate the ring of $\Gamma $-conjugate invariants of the associated Clifford-Weil groups. As an immediate consequence we obtain a result by Bannai etal that the complex conjugate weight enumerators generate the ring of complex conjugate invariants of the complex Clifford group. Also the Schur-Weyl duality conjectured and partly shown by Gross etal can be derived from our main result.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on expanding the connection between invariant theory and coding, especially by introducing Γ - conjugate complete weight enumerators. Specifically:
1. **Introducing new concepts**: The author introduces the concept of Γ - conjugate invariants and applies it to weight enumerators in coding theory. This provides a new framework for studying coding and invariant theory.
2. **Expanding the application of invariant theory**: By introducing Γ - conjugate complete weight enumerators, the author hopes to broaden the connection between coding theory and invariant theory, especially in the study of complex conjugate invariants.
3. **Proving the main theorem**: The main result of the paper is to prove that under certain additional conditions, these new weight enumerators can generate the Γ - conjugate invariant ring related to the Clifford - Weil group. This result not only generalizes previous work but also provides broader application possibilities.
4. **Deducing existing results**: As a direct corollary, the author proves Bannai et al.'s result that the complex conjugate weight enumerator generates the complex conjugate invariant ring of the complex Clifford group. In addition, the Schur - Weyl duality conjecture proposed by Gross et al. can also be derived from the main theorem.
5. **Application examples**: To demonstrate the practical applications of these theories, the paper lists some examples of self - dual codes and explores their potential applications in low - rank matrix recovery measurement schemes.
In summary, this paper aims to further deepen the connection between coding theory and invariant theory by introducing and studying Γ - conjugate weight enumerators, and to provide new tools and methods for research in related fields.
### Key formulas
- **Γ - conjugate complete weight enumerator**:
\[
\text{ccwe}(C):=\sum_{c\in C}\prod_{j = 1}^n\prod_{i\in D_j}x_{c_i}\circ\alpha_j
\]
where \(D_j=\{i\in\{1,\ldots,N\}\mid\gamma_{a_i}=\alpha_j\}\), \(d_j = |D_j|\), \(d=(d_1,\ldots,d_n)\).
- **Molien formula**:
\[
H(K[x^\Gamma]^G)=\frac{1}{|G|}\sum_{g\in G}\prod_{j = 1}^n\frac{1}{\det(I_v - z_j\alpha_j(g))}
\]
These formulas show how to describe and calculate the weight enumerators of codes through Γ - conjugate invariants, and how to use the Molien formula to calculate the Hilbert series of the invariant ring.