On Base , Normal and Near-normal Sequences

In de stille, abstracte wereld van de combinatorische wiskunde zoeken onderzoekers vaak naar patronen die verborgen liggen in eenvoudige reeksen getallen. Stel je een lange rij schakelaars voor, die elk op "aan" of "uit" staan. Als je twee van zulke rijen neemt en ze met elkaar vergelijkt door de ene langs de andere te schuiven, kun je meten hoeveel ze overeenkomen of botsen bij elke stap. Deze meting wordt een autocorrelatie genoemd. Decennialang zijn wiskundigen gefascineerd geweest door een specifieke puzzel: kun je vier van deze rijen schakelaars vinden, gerangschikt in twee paren van verschillende lengtes, zodanig dat wanneer je ze over elkaar heen schuift en alle overeenkomsten en botsingen bij elkaar optelt, de totale ruis overal perfect naar nul wegvalt, behalve aan het begin? Dit is de zoektocht naar "basissequenties".

Deze sequenties zijn niet alleen een spel met getallen; ze zijn de verborgen blauwdrukken voor het bouwen van een speciaal soort vierkant rooster dat bekend staat als een Hadamard-matrix. Deze roosters zijn vitale instrumenten in de techniek en natuurkunde, gebruikt om signalen te creëren die door lawaaierige omgevingen kunnen reizen zonder vervormd te raken, vergelijkbaar met hoe een heldere stem door een drukke kamer snijdt. Hoe groter het rooster, hoe krachtiger het signaal, maar het vinden van de juiste arrangement van schakelaars om deze roosters te bouwen, wordt exponentieel moeilijker naarms de grootte toeneemt. Jarenlang hadden wiskundigen een sterk vermoeden, een conjectuur, dat deze perfecte arrangementen voor elke mogelijke grootte gevonden konden worden, maar ze konden dit alleen bewijzen voor groottes tot een bepa certain punt.

Een team van onderzoekers aan de Nanjing University of Information Science and Technology heeft nu de grenzen van deze zoektocht verder dan ooit tevoren verlegd. Ze hebben een nieuwe, uiterst efficiënte methode ontwikkeld om door de miljarden mogelijke combinaties van deze schakelrijen te zeven. In plaats van te proberen alle vier de rijen tegelijkertijd te raden, bouwt hun algoritme eerst paren rijen die bij elkaar passen, en zoekt vervolgens naar de resterende twee om de set te voltooien. Met deze aanpak hebben ze deze perfecte sequenties voor het eerst in de geschiedenis geconstrueerd voor de groottes 41, 42 en 43. Deze prestatie bevestigt dat de langlopende gok over het bestaan van deze sequenties waar is voor alle groottes tot en met 43, waarmee het bekende gebied van deze wiskundige structuren wordt uitgebreid.

De zaak neemt echter een verrassende wending wanneer de onderzoekers naar twee specifieke, striktere versies van deze sequenties kijken, bekend als "bijna-normale" sequenties. Voor deze bestond er een vergelijkbaar geloof dat ze voor elk even getal gevonden zouden kunnen worden. Het team voerde een uitvoerige computercrash uit om dit te controleren voor de volgende enkele even getallen. Ze ontdekten dat hoewel deze sequenties voor veel groottes bestaan, ze simpelweg niet bestaan voor de getallen 42 en 44. Deze ontdekking is significant omdat het het eerste concrete bewijs levert dat het geloof over bijna-normale sequenties onjuist is. Het is een zeldzaam moment in de wiskunde waarop een langgekoesterd idee niet alleen onbewezen is, maar expliciet wordt aangetoond als onjuist door een specifiek geval te vinden waar het faalt.

De onderzoekers onderzochten ook een andere striktere versie genaamd "normale" sequenties. Ze bewezen wiskundig dat deze sequenties niet kunnen bestaan voor een specifiek patroon van getallen, specifiek die welke twee minder zijn dan een veelvoud van acht. Hun computercrash bevestigde verder dat deze sequenties niet bestaan voor de getallen 41 tot en met 46. Hoewel ze de algemene sequenties voor de nieuwe groottes succesvol hebben gebouwd, blijft het bestaan van de striktere versies voor grotere getallen een mysterie. Hun werk voegt niet alleen nieuwe voorbeelden toe aan een lijst; het hervormt het landschap van wat mogelijk is, door precies aan te geven waar de patronen breken en waar ze voortduren.

De implicaties van deze bevindingen werken door naar de constructie van de eerder genoemde Hadamard-matrices. Aangezien deze matrices essentieel zijn voor het creëren van robuuste communicatiesystemen en foutcorrigerende codes, is het weten van exact welke groottes gebouwd kunnen worden en welke niet, cruciaal. Het nieuwe algoritme van de onderzoekers, dat diepe wiskundige regels combineert met krachtig computeronderzoek, biedt een duidelijk pad voorwaarts. Het stelt wetenschappers in staat om zelfs grotere groottes met vertrouwen te testen, wetende dat de methode onmogelijke combinaties snel kan wegfilteren. Hoewel de vraag of deze sequenties voor elke enkele grootte bestaan nu bekend is als onwaar voor de striktere typen, gaat de algemene zoektocht door, waarbij de onderzoekers het pad hebben vrijgemaakt voor de volgende generatie ontdekkingen in dit ingewikkelde veld.