On Binary Codes That Are Maximal Totally Isotropic Subspaces with Respect to an Alternating Form

技術的概要：交代形式に関する極大完全等方部分空間である二進符号について

問題提起
標準的な内積（ドット積）の下で符号 $K$ がその直交補空間 $K^\perp$ と一致する自己双対二進線形符号は、長さ $n \le 40$ に対して広範に研究され、分類されてきた。しかし、基礎となる内積が標準的なドット積ではない場合、その直交補空間と一致する線形符号に関する研究は欠如している。本論文は、$\mathbb{F}_2^n$ 上で定義された特定の交代双線形形式に関して、極大完全等方部分空間である二進線形符号の分類と構造的特性に焦点を当てる。

手法
著者らは、ベクトル空間 $V = \mathbb{F}_2^n$ 上に新しい内積を定義する：
$$\langle v, w \rangle := \sum_{i \neq j} v_i w_i = v \cdot w + p(v)p(w)$$
ここで、$v \cdot w$ は標準的なドット積であり、$p(v) = \sum v_i$ はベクトルのパリティである。ドット積とは異なり、この形式は交代的である（すべての $v$ に対して $\langle v, v \rangle = 0$）。

本研究は以下の手法的ステップを経て進められる：

1. シンプレクティック幾何学による分類：著者らは、この形式の下での極大完全等方部分空間（ラグランジュ部分空間）の構造を解析する。
   • $n$ が奇数の場合、この形式は退化しており、その根（radical）は全 1 ベクトル $\mathbf{1}$ によって張られる。著者らは、$\mathbb{F}_2^n$ の極大完全等方部分空間と、長さ $n$ の極大自己直交符号との間の全単射を確立する。
   • $n$ が偶数の場合、この形式は非退化であり、$\mathbb{F}_2^n$ はシンプレクティック空間となる。著者らは、「偶数」ラグランジュ部分空間（偶数重みの部分空間 $V^+$ に含まれる部分空間であり、標準的な自己双対符号に対応するもの）と「奇数」ラグランジュ部分空間（奇数重みのベクトルを含むもの）を区別する。分類を容易にするため、奇数ラグランジュ部分空間と、偶数ラグランジュ部分空間内の $\langle \mathbf{1} \rangle$ の補空間との間の 2 対 1 の対応を利用する。
2. 計算機による分類：SageMath を用いて、対称群 $S_n$（座標の置換）の作用の下で同値な部分空間を分類するアルゴリズムを実装し、$n \le 24$ まで分類を行った。これには、自己双対符号の代表元を生成し、その補空間を見出し、対応する奇数ラグランジュ部分空間を構成することが含まれる。網羅性の検証には質量公式（mass formula）が用いられた。
3. 重み数式解析：著者らは、この交代内積に固有のマクウィリアムズ型恒等式を導出した。特定の行列群（二面体群 $D_8$ に同型な群と、位数 192 のより大きな群）の多項式空間への作用を研究することで、これらの符号の重み数式を解析した。これにより、一般の場合とタイプ II（重みが 4 で割り切れる場合）の両方における重み数式の代数的構造を決定することが可能となった。

主要な貢献と結果

• 分類：本論文は、$n \le 24$ に対する極大完全等方部分空間の完全な分類を提供する。結果は表 1 に示され、奇数および偶数の長さに対する非同値なタイプ I およびタイプ II ラグランジュ部分空間の数が列挙されている。
  • 注目すべき点として、特定の $n$ の値において、特定の奇数ラグランジュ部分空間の最小距離は、同じ長さの標準的な自己双対符号が達成しうる最大最小距離を超えている。
• マクウィリアムズ型恒等式：著者らは、標準的なマクウィリアムズ恒等式がこの交代形式に対しては成立しないことを証明した。代わりに、符号 $K$ の重み数式とその直交補空間 $K^\perp$ の重み数式を関連付ける修正された恒等式（命題 4.2）を導出した。この恒等式は重み数式の偶数部と奇数部を分離し、変換において奇数部が変数の入れ替え（$x \leftrightarrow y$）を受けることを示している。
• 重み数式に対する構造的制約：
  • 奇数長さ：著者らは、奇数長さの極大完全等方符号の重み数式は、その偶数部の重み数式によって決定されることを証明した。これら数式に対する明示的な加群構造を、不変式環上のモジュールとして提供し、一般の場合とタイプ II の場合（重みが 4 で割り切れる場合）を区別する。
  • 偶数長さ：$n$ が偶数の場合、奇数ラグランジュ部分空間の重み数式に対する制約を確立する。タイプ II の奇数ラグランジュ部分空間については、長さ $n$ は 8 法で特定の合同式（$n \equiv 0, 2, \text{または} -2 \pmod 8$）を満たさなければならないことを示す。
  • 本論文は、重み数式を不変式環上の特定的多項式によって生成される自由加群の要素として記述する詳細な定理（4.7, 4.9, 4.13, 4.19, 4.21, 4.23）を提供する。
• 分解性：本論文は、分解可能な極大完全等方部分空間を特徴づける。最小距離が 1 または 2 である符号は、より小さな符号を含む直積（例：$i_1 \times M$ または $i_2^k \times M$）に分解され、これにより再帰的な解析が可能となる。

重要性
本論文は、非標準的な内積の下で自己直交である線形符号に関する文献のギャップを埋める点で重要性を有すると主張されている。交代形式 $\langle v, w \rangle = v \cdot w + p(v)p(w)$ を導入することで、著者らは二進ベクトル空間における「ラグランジュ」部分空間を研究する新たな道を開いた。

この研究が重要である理由は以下の通りである：

1. 自己双対符号の理論を交代形式のより広範な文脈に拡張し、従来の自己双対符号よりも潜在的に優れた最小距離を持つ新しい符号クラス（奇数ラグランジュ部分空間）を明らかにしていること。
2. 小長さ（$n \le 24$）に対するこれらの構造の最初の完全な分類を提供していること。
3. 新しいマクウィリアムズ型恒等式を通じて、これらの符号の重み分布を解析するための理論的枠組みを確立し、その数式が標準的な自己双対符号のものとは類似しながらも異なる特定の代数的不変式によって制約されていることを証明していること。

著者らは、奇数ラグランジュ部分空間の分類は、奇数長さの極大自己直交符号の分類と同等であり、これにより本研究は符号理論における既存の問題と結びつきつつも、シンプレクティック幾何学の視点を通じて新たな構造的洞察を提供していると指摘している。