[论文解读] The invariants of the Clifford groups

Gabriele Nebe, Eric M. Rains+1 more|ArXiv.org|Jan 6, 2000

Coding theory and cryptography参考文献 20被引用 9

一句话总结

本文提供了对 Clifford 群 $\mathcal{C}_m$ 的 Runge 定理的简化证明，表明在度数为 $2k$ 的齐次不变量空间中，由长度为 $2k$ 的二元自偶码 $C$ 的 $C \otimes \mathbb{F}_{2^m}$ 的完整权枚举函数张量生成，当 $m \geq k-1$ 时构成一组基。此外，本文提出了一种新的 Barnes-Wall 格 $L_m$ 的构造方法，即作为 $M^{\otimes m}$ 的有理部分，其中 $M$ 是一个 $\mathbb{Z}[\sqrt{2}]$-格，且识别出 $\mathcal{C}_m$ 为 $M^{\otimes m}$ 及任意不被权为 2 的向量生成的自偶码的完整权枚举函数的自同构群。

ABSTRACT

The automorphism group of the Barnes-Wall lattice L_m in dimension 2^m (m not 3) is a subgroup of index 2 in a certain ``Clifford group'' C_m (an extraspecial group of order 2^(1+2m) extended by an orthogonal group). This group and its complex analogue CC_m have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge's 1996 result that the space of invariants for C_m of degree 2k is spanned by the complete weight enumerators of the codes obtained by tensoring binary self-dual codes of length 2k with the field GF(2^m); these are a basis if m >= k-1. We also give new constructions for L_m and C_m: let M be the Z[sqrt(2)]-lattice with Gram matrix [2, sqrt(2); sqrt(2), 2]. Then L_m is the rational part of the mth tensor power of M, and C_m is the automorphism group of this tensor power. Also, if C is a binary self-dual code not generated by vectors of weight 2, then C_m is precisely the automorphism group of the complete weight enumerator of the tensor product of C and GF(2^m). There are analogues of all these results for the complex group CC_m, with ``doubly-even self-dual code'' instead of ``self-dual code''.

研究动机与目标

• 提供 Runge 关于实 Clifford 群 $\mathcal{C}_m$ 不变量结构结果的更简单、自包含的证明。
• 基于 $\mathbb{Z}[\sqrt{2}]$-格的张量幂，提出一种新的代数框架，用于构造 Barnes-Wall 格 $L_m$ 及其自同构群 $\mathcal{C}_m$。
• 证明 $\mathcal{C}_m$ 恰好是任意不被权为 2 的向量生成的自偶码的完整权枚举函数的自同构群。
• 将结果推广至复 Clifford 群 $\mathcal{X}_m$，其中自偶码被双偶自偶码所取代。
• 证明 $\mathcal{C}_m$ 是 $GL(2^m, \mathbb{R})$ 的极大有限子群，且不依赖于有限单群分类定理。

提出的方法

• 定义 $M$ 为 Gram 矩阵为 $\begin{bmatrix} 2 & \sqrt{2} \\ \sqrt{2} & 2 \end{bmatrix}$ 的 $\mathbb{Z}[\sqrt{2}]$-格，并将 $M^{\otimes m}$ 作为基本对象构造。
• 证明 Barnes-Wall 格 $L_m$ 是 $M^{\otimes m}$ 的有理部分，从而为 $L_m$ 提供一种新的代数构造方法。
• 证明 $\mathcal{C}_m = \operatorname{Aut}(M^{\otimes m})$，将 Clifford 群识别为该张量幂的自同构群。
• 利用广义权枚举函数的结构及其在 $\mathcal{C}_m$ 作用下的行为，刻画 $\mathcal{C}_m$ 的不变量。
• 证明 $\mathcal{C}_m$ 是任意不被权为 2 的向量生成的自偶码 $C$ 的完整权枚举函数的完整自同构群。
• 通过在 $\mathbb{C}$ 上的类似构造，将结果推广至复 Clifford 群 $\mathcal{X}_m$，其中双偶自偶码取代了自偶码。

实验结果

研究问题

• RQ1 实 Clifford 群 $\mathcal{C}_m$ 的齐次不变量空间在度数 $2k$ 下的结构是什么？
• RQ2 Barnes-Wall 格 $L_m$ 能否作为某个简单 $\mathbb{Z}[\sqrt{2}]$-格的张量幂的有理部分来构造？
• RQ3 Clifford 群 $\mathcal{C}_m$ 是否等于任意不被权为 2 的向量生成的自偶码的完整权枚举函数的自同构群？
• RQ4 复 Clifford 群 $\mathcal{X}_m$ 的不变量与双偶自偶码之间有何关系？
• RQ5 $\mathcal{C}_m$ 是否是 $GL(2^m, \mathbb{R})$ 的极大有限子群？

主要发现

• 对于 $\mathcal{C}_m$，度数为 $2k$ 的齐次不变量空间由 $C \otimes \mathbb{F}_{2^m}$ 的完整权枚举函数张量生成，其中 $C$ 遍历所有长度为 $2k$ 的二元自偶码。
• 当 $m \geq k-1$ 时，这些完整权枚举函数构成度数为 $2k$ 的不变量空间的一组基。
• Barnes-Wall 格 $L_m$ 是 $M^{\otimes m}$ 的有理部分，其中 $M$ 是 Gram 矩阵为 $\begin{bmatrix} 2 & \sqrt{2} \\ \sqrt{2} & 2 \end{bmatrix}$ 的 $\mathbb{Z}[\sqrt{2}]$-格。
• $\mathcal{C}_m$ 等于 $\operatorname{Aut}(M^{\otimes m})$，从而为该张量幂的自同构群提供了 $\mathcal{C}_m$ 的新刻画。
• 对于任意不被权为 2 的向量生成的二元自偶码 $C$，$\mathcal{C}_m$ 是 $C \otimes \mathbb{F}_{2^m}$ 的完整权枚举函数的完整自同构群。
• 在复 Clifford 群 $\mathcal{X}_m$ 的情形下，类似结果成立：度数为 $8k$ 的不变量由长度为 $8k$ 的双偶自偶码 $C$ 的 $C \otimes \mathbb{F}_{2^m}$ 的完整权枚举函数张量生成。