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

Resumen Técnico: Sobre Códigos Binarios que son Subespacios Totalmente Isótropos Maximales con Respecto a una Forma Alternante

Enunciado del Problema
Mientras que los códigos lineales binarios autoduales (donde un código $K$ es igual a su complemento ortogonal $K^\perp$ bajo el producto punto estándar) han sido estudiados y clasificados extensamente para longitudes $n \le 40$, existe una falta de investigación sobre códigos lineales que coinciden con su complemento ortogonal cuando el producto interno subyacente no es el producto punto estándar. Este artículo aborda la clasificación y las propiedades estructurales de códigos lineales binarios que son subespacios totalmente isótropos maximales con respecto a una forma bilineal alternante específica definida en $\mathbb{F}_2^n$.

Metodología
Los autores definen un nuevo producto interno en el espacio vectorial $V = \mathbb{F}_2^n$:
$$\langle v, w \rangle := \sum_{i \neq j} v_i w_i = v \cdot w + p(v)p(w)$$
donde $v \cdot w$ es el producto punto estándar y $p(v) = \sum v_i$ es la paridad del vector. A diferencia del producto punto, esta forma es alternante ($\langle v, v \rangle = 0$ para todo $v$).

El estudio procede a través de los siguientes pasos metodológicos:

1. Clasificación mediante Geometría Simplectica: Los autores analizan la estructura de subespacios totalmente isótropos maximales (Lagrangianos) bajo esta forma.
   • Para $n$ impar, la forma es degenerada con un radical generado por el vector de todos unos $\mathbf{1}$. Los autores establecen una biyección entre los subespacios totalmente isótropos maximales de $\mathbb{F}_2^n$ y los códigos autoortogonales maximales de longitud $n$.
   • Para $n$ par, la forma es no degenerada, convirtiendo a $\mathbb{F}_2^n$ en un espacio simplectico. Los autores distinguen entre Lagrangianos "pares" (subespacios contenidos en el subespacio de peso par $V^+$, que corresponden a códigos autoduales estándar) y Lagrangianos "impares" (aquellos que contienen vectores de peso impar). Utilizan una correspondencia dos a uno entre Lagrangianos impares y complementos de $\langle \mathbf{1} \rangle$ dentro de Lagrangianos pares para facilitar la clasificación.
2. Clasificación Computacional: Utilizando SageMath, los autores implementan un algoritmo para clasificar estos subespacios hasta la acción del grupo simétrico $S_n$ (permutando coordenadas) para $n \le 24$. Esto implica generar representantes de códigos autoduales, encontrar sus complementos y construir los Lagrangianos impares correspondientes. Se utiliza una fórmula de masa para verificar la completitud del recuento.
3. Análisis del Enumerador de Pesos: Los autores derivan una identidad tipo MacWilliams específica para este producto interno alternante. Analizan los enumeradores de pesos de estos códigos estudiando la acción de grupos matriciales específicos (isomorfos al grupo diédrico $D_8$ y un grupo mayor de orden 192) sobre el espacio de polinomios. Esto les permite determinar la estructura algebraica de los enumeradores de pesos tanto para casos generales como para el Tipo II (pesos divisibles por 4).

Contribuciones y Resultados Clave

• Clasificación: El artículo proporciona una clasificación completa de subespacios totalmente isótropos maximales para $n \le 24$. Los resultados se presentan en la Tabla 1, enumerando el número de Lagrangianos Tipo I y Tipo II no equivalentes para longitudes tanto impares como pares.
  • Cabe destacar que, para ciertos valores de $n$, la distancia mínima de Lagrangianos impares específicos supera la distancia mínima máxima alcanzable por códigos autoduales estándar de la misma longitud.
• Identidad Tipo MacWilliams: Los autores demuestran que la identidad de MacWilliams estándar no se cumple para esta forma alternante. En su lugar, derivan una identidad modificada (Proposición 4.2) que relaciona el enumerador de pesos de un código $K$ con el de su complemento ortogonal $K^\perp$. Esta identidad separa las partes par e impar del enumerador de pesos, mostrando que la parte impar experimenta un intercambio de variables ($x \leftrightarrow y$) en la transformación.
• Restricciones Estructurales sobre los Enumeradores de Pesos:
  • Longitud Impar: Los autores demuestran que el enumerador de pesos de un código totalmente isótropo maximal de longitud impar está determinado por el enumerador de pesos de su parte par. Proporcionan estructuras de módulo explícitas para estos enumeradores sobre el anillo de invariantes, distinguiendo entre casos generales y casos Tipo II (donde los pesos son divisibles por 4).
  • Longitud Par: Para $n$ par, el artículo establece restricciones sobre los enumeradores de pesos de Lagrangianos impares. Demuestra que para Lagrangianos impares Tipo II, la longitud $n$ debe satisfacer congruencias específicas módulo 8 ($n \equiv 0, 2, \text{ o } -2 \pmod 8$).
  • El artículo proporciona teoremas detallados (4.7, 4.9, 4.13, 4.19, 4.21, 4.23) que describen los enumeradores de pesos como elementos de módulos libres generados por polinomios específicos sobre el anillo de invariantes.
• Propiedades de Descomposición: El artículo caracteriza los subespacios totalmente isótropos maximales descomponibles. Muestra que un código con distancia mínima 1 o 2 se descompone en un producto directo que involucra códigos más pequeños (por ejemplo, $i_1 \times M$ o $i_2^k \times M$), permitiendo un análisis recursivo.

Significado
El artículo reclama importancia al llenar un vacío en la literatura sobre códigos lineales que son autoortogonales bajo productos internos no estándar. Al introducir la forma alternante $\langle v, w \rangle = v \cdot w + p(v)p(w)$, los autores abren una nueva vía para estudiar subespacios "Lagrangianos" en espacios vectoriales binarios.

La obra es significativa porque:

1. Extiende la teoría de códigos autoduales a un contexto más amplio de formas alternantes, revelando nuevas clases de códigos (Lagrangianos impares) con distancias mínimas potencialmente superiores en comparación con los códigos autoduales tradicionales.
2. Proporciona la primera clasificación completa de estas estructuras para longitudes pequeñas ($n \le 24$).
3. Establece un marco teórico (mediante la nueva identidad tipo MacWilliams) para analizar las distribuciones de pesos de estos códigos, demostrando que sus enumeradores están restringidos por invariantes algebraicos específicos, similares pero distintos a los de los códigos autoduales estándar.

Los autores señalan que la clasificación de Lagrangianos impares es equivalente a clasificar códigos autoortogonales maximales de longitud impar, vinculando así este estudio con problemas existentes en la teoría de códigos, al tiempo que ofrece nuevas perspectivas estructurales a través de la perspectiva de la geometría simplectica.