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

Resumo Técnico: Sobre Códigos Binários que são Subespaços Totalmente Isotrópicos Maximais em Relação a uma Forma Alternada

Enunciado do Problema
Embora códigos lineares binários auto-duais (onde um código $K$ é igual ao seu complemento ortogonal $K^\perp$ sob o produto escalar padrão) tenham sido extensivamente estudados e classificados para comprimentos $n \le 40$, há uma lacuna de pesquisa sobre códigos lineares que coincidem com seu complemento ortogonal quando o produto interno subjacente não é o produto escalar padrão. Este artigo aborda a classificação e as propriedades estruturais de códigos lineares binários que são subespaços totalmente isotrópicos maximais em relação a uma forma bilinear alternada específica definida em $\mathbb{F}_2^n$.

Metodologia
Os autores definem um novo produto interno no espaço vetorial $V = \mathbb{F}_2^n$:
$$\langle v, w \rangle := \sum_{i \neq j} v_i w_i = v \cdot w + p(v)p(w)$$
onde $v \cdot w$ é o produto escalar padrão e $p(v) = \sum v_i$ é a paridade do vetor. Diferentemente do produto escalar, esta forma é alternada ($\langle v, v \rangle = 0$ para todo $v$).

O estudo prossegue através das seguintes etapas metodológicas:

1. Classificação via Geometria Simplética: Os autores analisam a estrutura dos subespaços totalmente isotrópicos maximais (Lagrangianos) sob esta forma.
   • Para $n$ ímpar, a forma é degenerada com um radical gerado pelo vetor de todos os uns $\mathbf{1}$. Os autores estabelecem uma bijeção entre subespaços totalmente isotrópicos maximais de $\mathbb{F}_2^n$ e códigos auto-ortogonais maximais de comprimento $n$.
   • Para $n$ par, a forma é não degenerada, tornando $\mathbb{F}_2^n$ um espaço simplético. Os autores distinguem entre Lagrangianos "pares" (subespaços contidos no subespaço de peso par $V^+$, que correspondem a códigos auto-duais padrão) e Lagrangianos "ímpares" (aqueles contendo vetores de peso ímpar). Eles utilizam uma correspondência dois-para-um entre Lagrangianos ímpares e complementos de $\langle \mathbf{1} \rangle$ dentro de Lagrangianos pares para facilitar a classificação.
2. Classificação Computacional: Usando SageMath, os autores implementam um algoritmo para classificar esses subespaços até a ação do grupo simétrico $S_n$ (permutando coordenadas) para $n \le 24$. Isso envolve gerar representantes de códigos auto-duais, encontrar seus complementos e construir os Lagrangianos ímpares correspondentes. Uma fórmula de massa é usada para verificar a completude da enumeração.
3. Análise do Enumerador de Pesos: Os autores derivam uma identidade do tipo MacWilliams específica para este produto interno alternado. Eles analisam os enumeradores de pesos desses códigos estudando a ação de grupos matriciais específicos (isomorfos ao grupo diedral $D_8$ e a um grupo maior de ordem 192) no espaço de polinômios. Isso permite determinar a estrutura algébrica dos enumeradores de pesos para os casos geral e Tipo II (pesos divisíveis por 4).

Principais Contribuições e Resultados

• Classificação: O artigo fornece uma classificação completa dos subespaços totalmente isotrópicos maximais para $n \le 24$. Os resultados são apresentados na Tabela 1, enumerando o número de Lagrangianos Tipo I e Tipo II inequivalentes para comprimentos ímpares e pares.
  • Notavelmente, para certos valores de $n$, a distância mínima de Lagrangianos ímpares específicos excede a maior distância mínima alcançável por códigos auto-duais padrão do mesmo comprimento.
• Identidade do Tipo MacWilliams: Os autores provam que a identidade MacWilliams padrão não se aplica a esta forma alternada. Em vez disso, eles derivam uma identidade modificada (Proposição 4.2) relacionando o enumerador de pesos de um código $K$ ao de seu complemento ortogonal $K^\perp$. Esta identidade separa as partes par e ímpar do enumerador de pesos, mostrando que a parte ímpar sofre uma troca de variáveis ($x \leftrightarrow y$) na transformação.
• Restrições Estruturais nos Enumeradores de Pesos:
  • Comprimento Ímpar: Os autores provam que o enumerador de pesos de um código totalmente isotrópico maximal de comprimento ímpar é determinado pelo enumerador de pesos de sua parte par. Eles fornecem estruturas de módulo explícitas para esses enumeradores sobre o anel de invariantes, distinguindo entre casos gerais e casos Tipo II (onde os pesos são divisíveis por 4).
  • Comprimento Par: Para $n$ par, o artigo estabelece restrições nos enumeradores de pesos de Lagrangianos ímpares. Demonstra-se que, para Lagrangianos ímpares Tipo II, o comprimento $n$ deve satisfazer congruências específicas módulo 8 ($n \equiv 0, 2, \text{ ou } -2 \pmod 8$).
  • O artigo fornece teoremas detalhados (4.7, 4.9, 4.13, 4.19, 4.21, 4.23) descrevendo os enumeradores de pesos como elementos de módulos livres gerados por polinômios específicos sobre o anel de invariantes.
• Propriedades de Decomposição: O artigo caracteriza subespaços totalmente isotrópicos maximais decomponíveis. Mostra-se que um código com distância mínima 1 ou 2 decompõe-se em um produto direto envolvendo códigos menores (por exemplo, $i_1 \times M$ ou $i_2^k \times M$), permitindo uma análise recursiva.

Significado
O artigo reivindica significado ao preencher uma lacuna na literatura sobre códigos lineares que são auto-ortogonais sob produtos internos não padrão. Ao introduzir a forma alternada $\langle v, w \rangle = v \cdot w + p(v)p(w)$, os autores abrem uma nova via para estudar subespaços "Lagrangianos" em espaços vetoriais binários.

O trabalho é significativo porque:

1. Estende a teoria dos códigos auto-duais para um contexto mais amplo de formas alternadas, revelando novas classes de códigos (Lagrangianos ímpares) com distâncias mínimas potencialmente superiores em comparação com códigos auto-duais tradicionais.
2. Fornece a primeira classificação completa dessas estruturas para pequenos comprimentos ($n \le 24$).
3. Estabelece uma estrutura teórica (via a nova identidade do tipo MacWilliams) para analisar as distribuições de pesos desses códigos, provando que seus enumeradores são restringidos por invariantes algébricos específicos, semelhantes, mas distintos, dos códigos auto-duais padrão.

Os autores observam que a classificação de Lagrangianos ímpares é equivalente à classificação de códigos auto-ortogonais maximais de comprimento ímpar, ligando assim este estudo a problemas existentes na teoria de códigos, enquanto oferece novos insights estruturais através da perspectiva da geometria simplética.