New lower bounds for constant-weight codes via seeded bit-swap tabu search

Stel je voor dat je een koffer probeert te pakken voor een reis, maar met een zeer vreemde regel: elk item dat je inpakt moet exact dezelfde grootte hebben, en geen twee items mogen te veel op elkaar lijken. Als ze te veel op elkaar lijken, kunnen ze in het donker door elkaar raken, wat chaos veroorzaakt. In de wereld van digitale communicatie is deze "koffer" een bericht, de "items" zijn patronen van enen en nullen (bits), en de "grootte" is het aantal enen in het patroon. Dit is het puzzel van constant-weight codes (codes met constant gewicht). Wetenschappers gebruiken deze codes om gegevens betrouwbaar te verzenden over ruisgevoelige kanalen, zoals Wi-Fi of radioverbindingen in de diepe ruimte, waardoor de ontvanger zelfs als een paar bits verstoord raken, nog steeds kan begrijpen wat er is verzonden. Het doel is simpel maar ongelooflijk moeilijk: probeer zoveel mogelijk unieke, afzonderlijke items in de koffer te passen zonder dat ze tegen elkaar botsen. Hoe groter de koffer (de meer codes je kunt passen), hoe meer informatie we tegelijkertijd kunnen verzenden.

Ontmoet William Echols, die besloot deze verpakkingsprobleem aan te pakken met een slimme draai. In plaats van te beginnen met een lege koffer en willekeurig items erin te gooien in de hoop dat ze passen, gebruikte hij een "seeded" benadering. Denk hierover als volgt: als je een beter Lego-kasteel wilt bouwen, begin je niet zomaar vanaf nul; je neemt een bestaand, hoogwaardig kasteel, haalt er een paar blokjes uit en wisselt ze rond om te zien of je het nog groter of steviger kunt maken. Echols gebruikte een computermethode genaamd tabu search, wat lijkt op een zeer koppige ontdekkingsreiziger die weigert zijn eigen stappen te herhalen (om te voorkomen dat hij in lussen terechtkomt) en steeds nieuwe paden probeert. Door deze ontdekkingsreiziger te "enten" (seeden) met bestaande, hoogwaardige code-ontwerpen, leidde hij hem naar het vinden van 124 gloednieuwe, grotere verpakkingsarrangementen die nog nooit eerder waren ontdekt. Deze nieuwe arrangementen verbeteren de ondergrenzen voor hoeveel berichten we kunnen verzenden, en ze helpen ons zelfs te begrijpen hoeveel sferen een centrale sfeer kunnen aanraken—een concept dat bekend staat als "kissing numbers" (kussengetallen).

De Verpakkingspuzzel en de Magische Zaadcel

In de digitale wereld is data slechts een lange reeks enen en nullen. Soms, om zaken robuust te maken, staan we alleen reeksen toe die een specifiek aantal enen hebben. Bijvoorbeeld, als we zeggen dat het "gewicht" 5 is, moet elke reeks precies vijf enen bevatten en de rest nullen. Stel je nu voor dat je een collectie van deze reeksen hebt. Om fouten te voorkomen, moet elke reeks in je collectie verschillend genoeg zijn van elke andere reeks. Als twee reeksen te veel op elkaar lijken, zou een beetje ruis de ene in de andere kunnen veranderen, en raakt de ontvanger in de war. De "afstand" tussen hen wordt gemeten door hoeveel posities verschillen.

De grote vraag in dit veld is: Wat is het maximale aantal reeksen dat je in je collectie kunt passen? Dit maximale aantal wordt $A(n, d, w)$ genoemd, waarbij $n$ de lengte van de reeks is, $d$ de vereiste minimale afstand, en $w$ het aantal enen. Decennialang hebben wiskundigen en computerwetenschappers geprobeerd om de grootste mogheden voor diverse instellingen te vinden. Ze hebben enkele geweldige collecties gevonden, maar ze weten vaak niet of ze de absolute grootste hebben gevonden. Ze weten alleen dat ze niet beter kunnen doen dan een bepaald aantal.

De "Seeded" Strategie

Eerdere pogingen om deze maximale aantallen te vinden met computerzoekopdrachten voelden vaak als dwalen in een donker bos. De computers begonnen met willekeurige gokken, en hoewel ze soms goede paden vonden, kwenden ze vaak vast in lokale open plekken die leken op de top van een berg, maar dat eigenlijk niet waren. Ze stopten daar, denkend dat ze de beste code hadden gevonden, terwijl er net over de volgende heuvel een veel grotere kon liggen.

Echols realiseerde zich dat de sleutel was om niet vanaf nul te beginnen. Hij gebruikte een techniek genaamd seeded initialization. In plaats van een willekeurig startpunt te genereren, nam hij een bekende, hoogwaardige code (een "seed") en gebruikte hij deze om de zoektocht te lanceren.

Hij deed dit op twee speelse manieren:

1. Directe Seeding: Hij nam een bestaande code en voegde één extra woord toe aan deze, zorgvuldig gekozen om de minste "problemen" (afstandstekorten) te veroorleken. Dit creëerde een iets groter, iets slordiger startpunt.
2. Neighbor Seeding: Hij keek naar codes voor licht verschillende problemen. Bijvoorbeeld, als hij een code van lengte 30 wilde, nam hij een goede code van lengte 29, voegde een nul toe aan elk woord om ze de lengte 30 te geven, en gebruikte die vervolgens als startpunt. Of hij nam een code van lengte 31, sneed een nul weg, en gebruikte die.

Zodra hij deze "seeded" startpunten had, draaide hij zijn bit-swap tabu search. Stel je deze zoektocht voor als een spelletig stoelenvolgen waarbij de stoelen de posities van de enen in de reeksen zijn. Het algoritme wisselt bits rond, in een poging om de reeksen meer van elkaar te onderscheiden. Het "tabu" gedeelte betekent dat het algoritme een geheugen bijhoudt van de zetten die het net heeft gemaakt en weigert deze direct ongedaan te maken, wat het dwingt om nieuw terrein te verkennen in plaats van cirkels te draaien.

De Resultaten: 124 Nieuwe Ontdekkingen

Door deze slimme seedingstrategie te gebruiken, vond Echols 124 nieuwe constructies die de vorige records braken. Dit zijn niet zomaar kleine verbeteringen; sommige zijn enorme sprongen.

Bijvoorbeeld:

• Voor een code van lengte 39 met specifieke beperkingen, was het vorige record 1.014 woorden. De nieuwe methode vond 1.118 woorden. Dat is een winst van 104!
• Voor lengte 40 sprong het record van 1.170 naar 1.230.
• Voor lengte 56 ging het aantal van 2.414 naar 2.477.

Deze getallen vertegenwoordigen het maximale aantal unieke berichten dat we nu gegarandeerd kunnen verzenden zonder verwarring voor die specifieke instellingen. Het artikel beweert niet dat dit de absolute maxima zijn (de ware wiskundige limiet), maar het bewijst dat we zeker beter kunnen doen dan we dachten. Het verhoogt de "ondergrens", wat betekent dat we zeker weten dat we ten minste dit aantal items in de koffer kunnen passen.

Kissing Numbers: Een Verrassend Bijeffect

Hier wordt het verhaal nog interessanter. Het artikel raakt ook aan een concept genaamd kissing numbers. Stel je voor dat je een enorme bal in het midden van een kamer hebt. Hoeveel andere ballen van dezelfde grootte kun je rondom de centrale bal plaatsen zodat ze allemaal de centrale bal aanraken zonder elkaar te overlappen? In de 3D-ruimte is het antwoord 12. Maar in hogere dimensies (zoals 32 of 33 dimensies) is het antwoord veel moeilijker te vinden.

De wiskunde voor deze kissing numbers is diep verbonden met de constant-weight codes die Echols vond. Omdat hij de codes voor specifieke parameters verbeterde (met name $A(n, 8, 8)$), verbeterde hij automatisch de ondergrenzen voor de kissing numbers in de dimensies 32, 33, 34 en 37.

Voor de dimensie 32 ($\tau_{32}$) was de vorige schatting dat er ten minste 345.408 ballen de centrale bal konden aanraken. Met de nieuwe codes springt dat aantal naar 346.432. Het is een klein procentueel verschil, maar in de wereld van hoogdimensionale geometrie is het vinden van zelfs maar één extra bal die past een significante overwinning.

De Kernboodschap

William Echols heeft niet alleen een paar betere codes gevonden; hij heeft aangetoont dat door slim te zijn over hoe je je zoektocht begint—door "seeds" te gebruiken van bestaande kennis in plaats van blind te beginnen—je veel betere oplossingen kunt vinden. Het artikel bewijst dat 124 specifieke verbeteringen mogelijk zijn, en het geeft ons een nieuwe, hogere vloer voor hoeveel data we betrouwbaar in deze digitale reeksen kunnen verpakken. Het is een herinnering dat het soms de beste manier om vooruit te gaan is om op de schouders van wat we al weten te staan, in plaats van alles vanaf de grond op te bouwen.