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

Technische Samenvatting: Over Binaire Codes die Maximaal Totale Isotrope Ruimten zijn met Betrekking tot een Alternatief Vorm

Probleemstelling
Hoewel zelf-dual binaire lineaire codes (waarbij een code $K$ gelijk is aan zijn orthogonale complement $K^\perp$ onder het standaard inproduct) uitvoerig zijn bestudeerd en geclassificeerd voor lengtes $n \le 40$, ontbreekt er onderzoek naar lineaire codes die samenvallen met hun orthogonale complement wanneer het onderliggende inproduct niet het standaard inproduct is. Dit artikel behandelt de classificatie en structurele eigenschappen van binaire lineaire codes die maximaal totale isotrope ruimten zijn met betrekking tot een specifieke alternatieve bilineaire vorm gedefinieerd op $\mathbb{F}_2^n$.

Methodologie
De auteurs definiëren een nieuw inproduct op de vectorruimte $V = \mathbb{F}_2^n$:
$$\langle v, w \rangle := \sum_{i \neq j} v_i w_i = v \cdot w + p(v)p(w)$$
waarbij $v \cdot w$ het standaard inproduct is en $p(v) = \sum v_i$ de pariteit van de vector is. In tegenstelling tot het inproduct is deze vorm alternatief ($\langle v, v \rangle = 0$ voor alle $v$).

De studie verloopt via de volgende methodologische stappen:

1. Classificatie via Symplectische Meetkunde: De auteurs analyseren de structuur van maximaal totale isotrope ruimten (Lagrangiaanse ruimten) onder deze vorm.
   • Voor oneven $n$ is de vorm degeneraat met een radical opgespannen door de vector van alle enen $\mathbf{1}$. De auteurs stellen een bijectie vast tussen maximaal totale isotrope ruimten van $\mathbb{F}_2^n$ en maximaal zelf-orthogonale codes van lengte $n$.
   • Voor even $n$ is de vorm niet-degeneraat, waardoor $\mathbb{F}_2^n$ een symplectische ruimte wordt. De auteurs onderscheiden tussen "even" Lagrangiaanse ruimten (ruimten die zijn opgenomen in de even-gewichtsubruimte $V^+$, die overeenkomen met standaard zelf-dual codes) en "oneven" Lagrangiaanse ruimten (die vectoren van oneven gewicht bevatten). Zij maken gebruik van een twee-op-een-correspondentie tussen oneven Lagrangiaanse ruimten en complementen van $\langle \mathbf{1} \rangle$ binnen even Lagrangiaanse ruimten om de classificatie te faciliteren.
2. Computational Classificatie: Met behulp van SageMath implementeren de auteurs een algoritme om deze ruimten te classificeren tot op de actie van de symmetrische groep $S_n$ (permutatie van coördinaten) voor $n \le 24$. Dit omvat het genereren van vertegenwoordigers van zelf-dual codes, het vinden van hun complementen en het construeren van de corresponderende oneven Lagrangiaanse ruimten. Een massformule wordt gebruikt om de volledigheid van de enumeratie te verifiëren.
3. Analyse van Gewichtsverdelingen: De auteurs leiden een MacWilliams-achtige identiteit af die specifiek is voor dit alternatieve inproduct. Zij analyseren de gewichtsverdelingen van deze codes door de werking van specifieke matrixgroepen (isomorf met de dihedrale groep $D_8$ en een grotere groep van orde 192) op de ruimte van polynomen te bestuderen. Dit stelt hen in staat de algebraïsche structuur van de gewichtsverdelingen te bepalen voor zowel algemene gevallen als Type II (gewichten deelbaar door 4).

Belangrijkste Bijdragen en Resultaten

• Classificatie: Het artikel biedt een volledige classificatie van maximaal totale isotrope ruimten voor $n \le 24$. De resultaten worden gepresenteerd in Tabel 1, waarbij het aantal niet-equivalente Type I en Type II Lagrangiaanse ruimten voor zowel oneven als even lengtes wordt genummerd.
  • Opmerkelijk is dat voor bepaalde waarden van $n$ de minimale afstand van specifieke oneven Lagrangiaanse ruimten de hoogste minimale afstand overschrijdt die haalbaar is door standaard zelf-dual codes van dezelfde lengte.
• MacWilliams-achtige Identiteit: De auteurs bewijzen dat de standaard MacWilliams-identiteit niet geldt voor deze alternatieve vorm. In plaats daarvan leiden zij een gewijzigde identiteit af (Propositie 4.2) die de gewichtsverdeling van een code $K$ relateert aan die van zijn orthogonale complement $K^\perp$. Deze identiteit scheidt de even en oneven delen van de gewichtsverdeling, waarbij blijkt dat het oneven deel een variabele-omwisseling ($x \leftrightarrow y$) ondergaat bij de transformatie.
• Structurele Beperkingen op Gewichtsverdelingen:
  • Oneven Lengte: De auteurs bewijzen dat de gewichtsverdeling van een maximaal totale isotrope code van oneven lengte wordt bepaald door de gewichtsverdeling van zijn even deel. Zij geven expliciete modulestructuren voor deze verdelingen over de ring van invarianten, met onderscheid tussen algemene gevallen en Type II gevallen (waarbij gewichten deelbaar zijn door 4).
  • Even Lengte: Voor even $n$ stelt het artikel beperkingen vast op de gewichtsverdelingen van oneven Lagrangiaanse ruimten. Het toont aan dat voor Type II oneven Lagrangiaanse ruimten de lengte $n$ specifieke congruenties modulo 8 moet voldoen ($n \equiv 0, 2, \text{ of } -2 \pmod 8$).
  • Het artikel biedt gedetailleerde stellingen (4.7, 4.9, 4.13, 4.19, 4.21, 4.23) die de gewichtsverdelingen beschrijven als elementen van vrije modules gegenereerd door specifieke polynomen over de ring van invarianten.
• Decompositie-eigenschappen: Het artikel karakteriseert decomposeerbare maximaal totale isotrope ruimten. Het toont aan dat een code met minimale afstand 1 of 2 decomposeert in een direct product dat kleinere codes omvat (bijvoorbeeld $i_1 \times M$ of $i_2^k \times M$), wat recursieve analyse mogelijk maakt.

Betekenis
Het artikel claimt betekenis door een gat in de literatuur te vullen betreffende lineaire codes die zelf-orthogonaal zijn onder niet-standaard inproducten. Door de alternatieve vorm $\langle v, w \rangle = v \cdot w + p(v)p(w)$ in te voeren, openen de auteurs een nieuwe weg voor het bestuderen van "Lagrangiaanse" ruimten in binaire vectorruimten.

Het werk is significant omdat:

1. Het de theorie van zelf-dual codes uitbreidt naar een bredere context van alternatieve vormen, waardoor nieuwe klassen codes (oneven Lagrangiaanse ruimten) worden onthuld met potentieel superieure minimale afstanden in vergelijking met traditionele zelf-dual codes.
2. Het de eerste volledige classificatie van deze structuren biedt voor kleine lengtes ($n \le 24$).
3. Het een theoretisch kader (via de nieuwe MacWilliams-achtige identiteit) vaststelt voor het analyseren van de gewichtsverdelingen van deze codes, en bewijst dat hun verdelingen worden beperkt door specifieke algebraïsche invarianten die vergelijkbaar zijn met, maar verschillend van, die van standaard zelf-dual codes.

De auteurs merken op dat de classificatie van oneven Lagrangiaanse ruimten equivalent is aan het classificeren van maximaal zelf-orthogonale codes van oneven lengte, waardoor deze studie wordt gekoppeld aan bestaande problemen in de coderingstheorie, terwijl tegelijkertijd nieuwe structurele inzichten worden geboden via het perspectief van symplectische meetkunde.