🔢 mathematics

Classification of ternary maximal self-orthogonal codes of length 25

Dit artikel presenteert een volledige classificatie van ternaire maximaal zelf-orthogonale codes met lengte 25, waarmee eerdere resultaten worden uitgebreid die tot lengte 24 bestreken.

Oorspronkelijke auteurs: Makoto Araya, Masaaki Harada

Gepubliceerd 2026-05-14

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Makoto Araya, Masaaki Harada

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een meesterarchitect bent die probeert de perfecte set blauwdrukken te bouwen. In de wereld van de wiskunde, specifiek in een vakgebied genaamd coderingstheorie, worden deze "blauwdrukken" codes genoemd. Ze worden gebruikt om berichten (zoals tekst of afbeeldingen) door het universum te sturen zonder dat ze door ruis of fouten onleesbaar worden.

Dit artikel gaat over een specifiek type blauwdruk genaamd een Ternaire Maximaal Zelf-Orthogonale Code. Dat klinkt als een mondvol, dus laten we het opbreken tot een simpel verhaal over een zeer strenge club.

De Setting: Een Club met Strikte Regels

Stel je een club voor waar leden bestaan uit getallen. Deze club heeft drie specifieke regels:

De Taal: Iedereen spreekt een taal met slechts drie woorden: 0, 1 en 2. (Dit is het "Ternaire" deel).
De Lengte: Elk lid moet precies 25 getallen op zijn identiteitskaart hebben. (Dit is het "Lengte 25" deel).
De "Zelf-Orthogonale" Regel: Dit is de belangrijkste regel van de club. Het is als een "spiegeltest". Als je twee willekeurige leden van de club neemt en hun identiteitskaarten vergelijkt, moeten ze op een wiskundige manier perfect "uit fase" zijn. Als je hun getallen met elkaar combineert, moet het resultaat altijd nul zijn. In gewone taal: Geen twee leden mogen te veel op elkaar lijken. Ze moeten verschillend genoeg zijn om elkaar op te heffen.

Het Doel: De "Maximale" Club Vinden

De auteurs van dit artikel wilden elke mogelijke versie van deze club vinden die Maximaal is.

Maximaal betekent dat de club zo vol mogelijk is. Je kunt geen enkele nieuwe member toevoegen aan de club zonder de "spiegeltest"-regel te breken. Als je probeert een nieuwe persoon toe te voegen, zou die onvermijdelijk te veel op iemand lijken die al binnen zit.

Dus, de missie was: Op hoeveel verschillende manieren kun je deze perfecte, volle club van leden met 25 getallen bouwen, waarbij iedereen uniek is en de strenge regels volgt?

De Uitdaging: Een Naald in een Kosmische Hooiberg

Het aantal mogelijke combinaties is astronomisch groot. Het is als proberen elke mogelijke rangschikking van een kaartspel te vinden, maar het spel heeft 25 kaarten en elke kaart kan een van drie kleuren hebben.

Om dit op te lossen, gokten de auteurs niet zomaar. Ze gebruikten een slimme constructiemethode:

De Lego-Analogie: Ze begonnen met kleinere, bekende clubs (codes van lengte 24).
De Uitbreiding: Ze probeerden deze kleinere clubs te "verlengen" door één extra getal aan het einde van de identiteitskaart van elk lid toe te voegen.
De Filter: Ze controleerden elke nieuwe mogelijkheid om te zien of deze nog steeds de regels volgde. Als dat zo was, bewaarden ze het. Als het de regels brak, gooiden ze het weg.

Ze gebruikten ook een "Massformule", wat als een wiskundig boekhoudtrucje werkt. Het is een manier om hun werk te controleren. Stel je een grote pot met knikkers voor. Je telt ze niet één voor één, maar weegt de pot en weet precies hoeveel knikkers erin zitten op basis van het gewicht van één enkele knikker. De auteurs gebruikten deze formule om te bewijzen dat ze geen enkele club hadden gemist en er geen enkele dubbel hadden geteld.

De Grote Ontdekking

Na het uitvoeren van deze berekeningen op supercomputers vonden de auteurs het antwoord:

Er zijn precies 139.613 verschillende manieren om deze perfecte club van lengte 25 te bouwen.

Ze hielden niet alleen bij het totale aantal; ze categoriseerden ze op basis van hoe "sterk" de club is. In de coderingstheorie wordt "sterkte" gemeten aan de hand van het minimale gewicht (hoeveel niet-nul getallen een lid heeft).

De Sterkste Clubs: 26 van deze clubs zijn ongelooflijk robuust (minimaal gewicht 9).
De Gemiddelde Clubs: 118.984 clubs zijn van gemiddelde sterkte (minimaal gewicht 6).
De Zwakste Clubs: 20.603 clubs zijn het minst robuust maar nog steeds geldig (minimaal gewicht 3).

Waarom Is Dit Belangrijk?

Het artikel concludeert dat dit werk een enorm puzzelstuk voltooit. Wiskundigen classificeren deze clubs voor lengtes 3 tot en met 24 al jaren. Dit artikel vult het laatste stukje in voor lengte 25.

Stel je het voor als een museum. Jarenlang hadden curatoren elk uniek artefact van formaten 3 tot en met 24 tentoongesteld. Dit artikel voegt de volledige collectie van formaat 25 toe aan de tentoonstelling, zodat het museum nu compleet is voor dat specifieke bereik.

De auteurs keken ook vooruit en gebruikten hun wiskunde om te raden hoeveel clubs er mogelijk bestaan voor lengtes 26, 27, 28, 29 en 30. Ze ontdekten dat de getallen zeer snel enorm worden (miljarden en biljoenen), wat suggereert dat het classificeren van die toekomstige formaten een nog grotere uitdaging zal zijn.

Samenvattend: Dit artikel is een definitieve catalogus. Het vertelt ons precies hoeveel unieke, regels-volgende, maximale groepen codes van 25 getallen bestaan, en voltooit zo een langdurig wiskundig classificatieproject.

Technische Samenvatting: Classificatie van Ternaire Maximaal Zelf-Orthogonale Codes van Lengte 25

Probleemstelling
Het artikel behandelt de classificatie van ternaire maximaal zelf-orthogonale codes. Een ternaire code $C$ over het veld $\mathbb{F}_3$ is zelf-orthogonaal als $C \subseteq C^\perp$ . Deze wordt maximaal genoemd als deze niet proper bevat is in enige andere zelf-orthogonale code. Hoewel maximaal zelf-orthogonale codes van lengtes tot en met 24 eerder waren geclassificeerd, bleef het geval voor lengte $n=25$ open. Specifiek hebben de auteurs tot doel alle niet-equivalente ternaire maximaal zelf-orthogonale codes van lengte 25 te classificeren, die per definitie dimensie $k=12$ hebben (aangezien $n$ oneven is, is de dimensie $(n-1)/2$ ).

Methodologie
De classificatie maakt gebruik van een constructieve aanpak gebaseerd op de operaties van inkorten en verlengen, gecombineerd met rigoureuze equivalentietests en verificatie via massavormules.

Verlengingsconstructie: De auteurs maken gebruik van de inverse van de inkortingsoperatie. Ze construeren ternaire maximaal zelf-orthogonale $[25, 12]$ -codes door ternaire zelf-orthogonale $[24, 11]$ -codes te verlengen. Gegeven een generatiematrix voor een $[24, 11]$ -code, wordt een nieuwe kolomvector $b$ toegevoegd om een $[25, 12]$ -code te vormen. De vector $b$ moet specifieke gewichts- en orthogonaliteitsvoorwaarden voldoen: $\text{wt}(b) \ge d-1$ , $\text{wt}(b) \equiv 2 \pmod 3$ , en $Ab^T = 0$ , waarbij $A$ het pariteitsdeel van de generatiematrix is. Om redundantie te vermijden, worden alleen vectoren beschouwd waarbij het eerste niet-nul component 1 is.
Broncodes: De constructie steunt op twee verschillende bronnen:
- Dual Distance 1: Codes die direct zijn afgeleid van bekende ternaire zelf-duale $[24, 12]$ -codes door een nul-coördinaat toe te voegen.
- Dual Distance > 1: Codes die zijn afgeleid van de volledige classificatie van ternaire zelf-orthogonale $[24, 11]$ -codes. Deze deelcodes werden geteld door ze te extraheren uit alle niet-equivalente ternaire zelf-duale $[24, 12]$ -codes.
Equivalentietest: Om te bepalen of twee geconstrueerde codes equivalent zijn, maken de auteurs gebruik van een graf-isomorfisme-aanpak. Ze construeren vertex-gekleurde gerichte grafen $\Gamma_{W(C)}(C)$ op basis van de codewoorden van specifieke gewichten (typisch gewicht 9, 12 of 24). Isomorfismetesten en berekening van automorfismegroepen worden uitgevoerd met de software nauty en Magma.
Verificatie via Massavormule: De volledigheid van de classificatie wordt geverifieerd met de massavormule voor ternaire zelf-orthogonale codes. De som van $2^n n! / |\text{Aut}(C)|$ over alle gevonden niet-equivalente codes wordt vergeleken met de theoretische totale waarde $T(n, k)$ .

Belangrijkste Resultaten
Het artikel stelt de volgende stelling vast:

Stelling 1: Er zijn precies 139.613 niet-equivalente ternaire maximaal zelf-orthogonale $[25, 12]$ $[25, 12]$ -codes.
- Verdeling van het Minimale Gewichten:
  - 26 codes hebben minimaal gewicht $d=9$ .
  - 118.984 codes hebben minimaal gewicht $d=6$ .
  - 20.603 codes hebben minimaal gewicht $d=3$ .
Sub-classificatie:
- De auteurs bieden een volledige classificatie van ternaire zelf-orthogonale $[24, 11]$ -codes, waarbij 1.373 codes met $d=9$ , 2.745.294 met $d=6$ en 339.492 met $d=3$ worden gevonden.
- De massavormule is succesvol geverifieerd voor zowel de $[24, 11]$ - als de $[25, 12]$ -classificatie, wat bevestigt dat geen enkele code is gemist.
Automorfismegroepen: Gedetailleerde tabellen worden verstrekt met de orden van de automorfismegroepen voor de resulterende $[25, 12]$ -codes, gecategoriseerd naar hun minimale gewichten.

Betekenis en Claims
De primaire betekenis van dit werk is de voltooiing van de classificatie van ternaire maximaal zelf-orthogonale codes voor alle lengtes $n$ tot en met 25. De auteurs merken op dat dit resultaat een direct gevolg is van de eerdere classificatie van ternaire zelf-duale codes van lengte 24.

Bovendien leidt het artikel niet-strakke ondergrenzen af voor het aantal niet-equivalente ternaire maximaal zelf-orthogonale codes voor lengtes $n=26$ tot en met $n=30$ met behulp van de massavormule. Specifiek wordt vastgesteld dat $N(26) \ge 757.009.213$ en $N(30) \ge 4,9 \times 10^{15}$ .

Tot slot identificeren de auteurs een specifieke toepassing van hun classificatie: deze dient als fundament voor een toekomstig project om de classificatie van weegmatrices van orde 25 en gewicht 9 te voltooien, waarbij methoden worden gebruikt die eerder zijn toegepast op lengte 24. De volledige lijst van codes is elektronisch beschikbaar via een universitair repository.

De Setting: Een Club met Strikte Regels

Het Doel: De "Maximale" Club Vinden

De Uitdaging: Een Naald in een Kosmische Hooiberg

De Grote Ontdekking

Waarom Is Dit Belangrijk?

Meer zoals dit