[논문 리뷰] The invariants of the Clifford groups

Gabriele Nebe, Eric M. Rains외 1명|ArXiv.org|2000. 01. 06.

Coding theory and cryptography참고 문헌 20인용 수 9

한 줄 요약

이 논문은 클리포드 군 $\mathcal{C}_m$의 불변량에 대한 룬게의 정리를 간단히 증명하며, 길이 $2k$인 이진 자기수반 코드 $C$에 대해 $C \otimes \mathbb{F}_{2^m}$의 완전 무게 생성함수로 degree $2k$의 동차 불변량이 생성됨을 보이며, $m \geq k-1$일 때 기저를 이룸을 보임. 또한 Barnes-Wall 격자 $L_m$을 $\mathbb{Z}[\sqrt{2}]$-격자 $M$의 텐서 곱 $M^{ ens m}$의 유리수 부분으로서 새로운 구성법을 제시하고, $\mathcal{C}_m$이 $M^{ ens 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}]$-격자의 텐서 곱 기반의 새로운 대수적 프레임워크를 사용하여 Barnes-Wall 격자 $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}$을 구성하는 것.
• Barnes-Wall 격자 $L_m$이 $M^{\otimes m}$의 유리수 부분임을 보이며, $L_m$의 새로운 대수적 구성법을 제공하는 것.
• $\mathcal{C}_m = \operatorname{Aut}(M^{\otimes m})$임을 증명하여 클리포드 군을 이 텐서 곱의 자기동형군으로 규명하는 것.
• 일반화된 무게 생성함수의 구조와 $\mathcal{C}_m$이 이들에 작용하는 방식을 이용하여 $\mathcal{C}_m$의 불변량을 특성화하는 것.
• 무게 2 벡터로 생성되지 않는 어떤 자기수반 코드 $C$에 대해 $\mathcal{C}_m$이 $C \otimes \mathbb{F}_{2^m}$의 완전 무게 생성함수의 전체 자기동형군임을 확립하는 것.
• 복소수에 대한 유사한 구성법을 사용하여 복소 클리포드 군 $\mathcal{X}_m$로 결과를 확장하며, 자기수반 코드 대신 이중으로 짝수인 자기수반 코드를 사용하는 것.

실험 결과

연구 질문

• RQ1 실 클리포드 군 $\mathcal{C}_m$에 대한 동차 불변량의 차수 $2k$ 공간의 구조는 무엇인가요?
• RQ2 Barnes-Wall 격자 $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$의 불변량 공간에 대한 기저를 이룸.
• Barnes-Wall 격자 $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}$의 완전 무게 생성함수로 생성됨.