A Hadamard Cube of Order 22

In de stille hoekjes van de wiskunde bestaat een puzzel over perfecte balans. Stel je een raster van getallen voor, waarbij elke cel een plus of een minteken bevat. Het doel is om deze tekens zo te rangschikken dat er nooit twee rijen of kolommen met elkaar botsen; ze moeten perfect verschillend zijn, als twee mensen die nooit het eens zijn over een enkele mening. Wanneer een dergelijk raster wordt gevonden, wordt het een Hadamard-matrix genoemd. Deze structuren zijn niet slechts abstracte nieuwsgierigheden; ze vormen de ruggengraat van foutcorrigerende codes die onze digitale communicatie helder houden en de signalen van diepe ruimtesondes beschermen tegen vervaging door ruis. Decennialang hebben wiskundigen geweten hoe ze deze rasters voor veel formaten kunnen bouwen, maar een hardnekkige kloof bleef bestaan. Ze konden ze construeren voor formaten die veelvouden van vier zijn, en voor sommige specifieke oneven getallen, maar een hele klasse van formaten—die twee meer zijn dan een veelvoud van vier—bleef grotendeels een mysterie. Onder deze ongrijpbare formaten viel het getal tweeëntwintig op als het kleinste en meest hardnekkige geval dat niemand tot nu toe had kunnen oplossen.

Een team van onderzoekers heeft deze kloof eindelijk gedicht door een concrete oplossing te presenteren voor een raster van grootte tweeëntwintig. Hun werk stopt niet bij een plat, tweedimensionaal veld. In plaats daarvan hebben ze een driedimensionaal object gebouwd, een kubus gemaakt van tweeëntwintig lagen die op elkaar zijn gestapeld. Elke laag is een rooster van tweeëntwintig bij tweeëntwintig tekens, en de gehele structuur is zo ontworpen dat als je het in een van de drie richtingen snijdt—horizontaal, verticaal of in de diepte—de resulterende sneden allemaal perfect tegenover elkaar staan. Dit is een belangrijke prestatie omdat het bewijst dat een dergelijk complex, meerlagig object kan bestaan voor deze specifieke grootte, zelfs wanneer een eenvoudiger, plat versie van dezelfde grootte onmogelijk is. De onderzoekers hebben niet alleen beweerd dat het bestaat; ze hebben het hele object uitgeschreven, waarbij ze elk enkel teken in elke laag hebben vermeld, een volledige kaart van de oplossing.

De reis naar deze ontdekking begon met de erkenning van een langlopend open probleem. Eerdere pogingen om deze driedimensionale rasters te construeren waren succesvol voor veel formaten, maar ze faalden allemaal wanneer ze de tweeëntwintig bereikten. De onderzoekers wisten dat een plat, tweedimensionaal rooster van deze grootte niet kon bestaan, een feit dat door eerdere wiskundige bewijzen was vastgesteld. Dit betekende dat hun nieuwe object fundamenteel anders in zijn aard moest zijn; het kon geen eenvoudige uitbreiding zijn van de platte rasters waar men aan gewend was. Ze zetten zich uit op het vinden van een configuratie waarbij de orthogonaliteit, of het perfecte gebrek aan conflict, tegelijkertijd in drie dimensies standhield. Dit vereiste een zoektocht door een uitgestrekt landschap van mogelijkheden, een taak die te groot was voor een mens om met de hand te controleren.

Om door deze immense ruimte te navigeren, maakte het team gebruik van een krachtig computationeel hulpmiddel. Ze gebruikten een kunstmatige intelligentie-systeem om de zoektocht te begeleiden, wat hielp bij het zeven van de talloze manieren waarop de tekens gerangschikt konden worden. De computer gokte niet simpelweg; hij volgde een rigoureus pad en controleerde de balans van de lagen terwijl hij voortschreed. Zodra het systeem een kandidaat voorstelde, verifieerden de onderzoekers deze direct tegen de strikte regels van het probleem. Ze controleerden of elke doorsnede, ongeacht hoe deze werd gesneden, de vereiste balans behield. Het resultaat was een volledig, expliciet voorbeeld van een driedimensionale Hadamard-kubus van orde tweeëntwintig. Het artikel presenteert dit object in volle glorie, waarbij de tweeëntwintig verschillende lagen, elk een massief rooster van plusjes en minnetjes, in hun geheel worden weergegeven.

De betekenis van deze bevinding ligt in haar specificiteit en haar beperkingen. De onderzoekers hebben aangetoond dat een driedimensionale structuur van deze grootte mogelijk is, maar ze hebben ook een grens benadrukt. Omdat een plat, tweedimensionaal rooster van grootte tweeëntwintig niet kan bestaan, kan hun nieuwe object geen eenvoudige, platte reeks zijn die in de derde dimensie is uitgebreid. Het is een werkelijk nieuw soort structuur, één die vertrouwt op de extra dimensie om de balans te bereiken die in twee dimensies onmogelijk is. Het artikel maakt geen aanspraak op het feit dat deze methode alle andere ontbrekende formaten zal oplossen, noch suggereert het een nieuwe manier om platte rasters te bouwen. Het is een enkel, solide bewijs dat dit specifieke, hardnekkige geval is opgelost. Het werk staat als een verslag van een specifiek wiskundig object, een testament aan de kracht van het combineren van menselijk inzicht met computationele zoektochten om orde te vinden in een ruimte die eerder chaotisch leek.

Het laatste stukje van de puzzel is het object zelf. Het is een kubus van tekens, tweeëntwintig eenheden breed, tweeëntwintig eenheden hoog en tweeëntwintig eenheden diep. Binnenin bevinden zich tweeëntwintig lagen, die elk vierhonderd vierentachtig tekens bevatten. De onderzoekers hebben elk van deze tekens opgesomd, van de allereerste laag tot de allerlaatste. Als men een doorsnede door het midden van deze kubus zou nemen, of hem van de zijkant zou snijden, zouden de resulterende patronen perfect verschillend zijn van elkaar, zonder op een manier te overlappen die de regels breekt. Deze expliciete opsomming dient als het ultieme bewijs; het object is er, volledig gevormd, wachtend om onderzocht te worden. Het is een herinnering dat het antwoord, zelfs in de meest abstracte domeinen van de wiskunde, soms gevonden kan worden door het simpelweg op te schrijven, één teken per keer.