[論文レビュー] The invariants of the Clifford groups

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

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

ひとこと要約

本稿は、クライフォード群 $\mathcal{C}_m$ の不変量に関するランゲの定理の簡略化された証明を提供し、$2k$ 次の斉次不変量が、長さ $2k$ の二元自己双対符号 $C$ についての $C \otimes \mathbb{F}_{2^m}$ の完全重み列挙多項式によって張られることを示している。$m \geq k-1$ のとき、これらは基底をなす。さらに、$M$ を $\mathbb{Z}[\sqrt{2}]$-格子として定義し、$M^{\otimes m}$ の有理部分としてバーンズ＝ウォール格子 $L_m$ を新たに構成し、$\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''.

研究の動機と目的

• 実クライフォード群 $\mathcal{C}_m$ の不変量構造に関するランゲの結果のより簡単で自己完備な証明を提供すること。
• $\mathbb{Z}[\sqrt{2}]$-格子のテンソル積に基づく新しい代数的枠組みを用いて、バーンズ＝ウォール格子 $L_m$ 及びその自己同型群 $\mathcal{C}_m$ を構成すること。
• 重み2ベクトルで生成されない任意の二元自己双対符号について、$\mathcal{C}_m$ がその完全重み列挙多項式の自己同型群であることを確立すること。
• 自己双対符号を二重偶数自己双対符号に置き換えることで、複素クライフォード群 $\mathcal{X}_m$ へ結果を拡張すること。
• $\mathcal{C}_m$ が有限単純群の分類に依存せずに $GL(2^m, \mathbb{R})$ の最大有限部分群であることを証明すること。

提案手法

• $M$ をグラム行列 $\begin{bmatrix} 2 & \sqrt{2} \\ \sqrt{2} & 2 \end{bmatrix}$ を持つ $\mathbb{Z}[\sqrt{2}]$-格子として定義し、$M^{\otimes m}$ を基本的対象として構成する。
• $L_m$ が $M^{\otimes m}$ の有理部分であることを示し、$L_m$ の新しい代数的構成を与える。
• $\mathcal{C}_m = \operatorname{Aut}(M^{\otimes m})$ を証明し、クライフォード群をこのテンソル積の自己同型群として同定する。
• 一般化された重み列挙多項式の構造と $\mathcal{C}_m$ のそれらへの作用を用いて、$\mathcal{C}_m$ の不変量を特徴付ける。
• $\mathcal{C}_m$ が重み2ベクトルで生成されない任意の自己双対符号 $C$ について、$C \otimes \mathbb{F}_{2^m}$ の完全重み列挙多項式の全自己同型群であることを確立する。
• 複素数体 $\mathbb{C}$ 上で同様の構成を用いて、複素クライフォード群 $\mathcal{X}_m$ へ結果を拡張し、自己双対符号の代わりに二重偶数自己双対符号を用いる。

実験結果

リサーチクエスチョン

• RQ1 実クライフォード群 $\mathcal{C}_m$ の $2k$ 次斉次不変量空間の構造は何か？
• RQ2 バーンズ＝ウォール格子 $L_m$ は、単純な $\mathbb{Z}[\sqrt{2}]$-格子のテンソル積の有理部分として構成可能か？
• RQ3 クライフォード群 $\mathcal{C}_m$ は、重み2ベクトルで生成されない任意の自己双対符号の完全重み列挙多項式の自己同型群と等しいか？
• RQ4 複素クライフォード群 $\mathcal{X}_m$ の不変量は二重偶数自己双対符号とどのように関係するか？
• RQ5 $\mathcal{C}_m$ は $GL(2^m, \mathbb{R})$ の最大有限部分群か？

主な発見

• $\mathcal{C}_m$ の $2k$ 次斉次不変量空間は、長さ $2k$ のすべての二元自己双対符号 $C$ についての $C \otimes \mathbb{F}_{2^m}$ の完全重み列挙多項式によって張られる。
• $m \geq k-1$ のとき、これらの完全重み列挙多項式は $2k$ 次不変量空間の基底をなす。
• $L_m$ は、グラム行列 $\begin{bmatrix} 2 & \sqrt{2} \\ \sqrt{2} & 2 \end{bmatrix}$ を持つ $\mathbb{Z}[\sqrt{2}]$-格子 $M$ についての $M^{\otimes m}$ の有理部分である。
• $\mathcal{C}_m$ は $\operatorname{Aut}(M^{\otimes m})$ に等しく、このテンソル積の自己同型群としての群の新しい特徴付けを与える。
• 重み2ベクトルで生成されない任意の二元自己双対符号 $C$ について、$\mathcal{C}_m$ は $C \otimes \mathbb{F}_{2^m}$ の完全重み列挙多項式の全自己同型群である。
• 複素クライフォード群 $\mathcal{X}_m$ に対しても同様の結果が成り立ち、$8k$ 次不変量は、長さ $8k$ の二重偶数自己双対符号 $C$ についての $C \otimes \mathbb{F}_{2^m}$ の完全重み列挙多項式によって張られる。