On Base , Normal and Near-normal Sequences

Nel silenzioso e astratto mondo della matematica combinatoria, i ricercatori spesso danno la caccia a schemi nascosti all'interno di semplici elenchi di numeri. Immaginate una lunga fila di interruttori, ciascuno impostato su "on" o "off". Se prendete due di queste file e le confrontate, facendo scorrere una rispetto all'altra, potete misurare quanto si corrispondano o contrastino in ogni passaggio. Questa misurazione è chiamata autocorrelazione. Per decenni, i matematici sono stati affascinati da un enigma specifico: riuscite a trovare quattro di queste file di interruttori, disposte in due coppie di lunghezze diverse, tali che quando le fate scorrere e sommate tutti i loro incastri e contrasti, il rumore totale si annulli perfettamente a zero ovunque, tranne che all'inizio? Questa è la ricerca delle "sequenze base".

Queste sequenze non sono solo un gioco di numeri; sono le planimetrie nascoste per costruire un tipo speciale di griglia quadrata nota come matrice di Hadamard. Queste griglie sono strumenti vitali per l'ingegneria e la fisica, usati per creare segnali che possano viaggiare attraverso ambienti rumorosi senza venire distorti, proprio come una voce chiara che si distingue in una stanza affollata. Più grande è la griglia, più potente è il segnale, ma trovare la giusta disposizione di interruttori per costruire queste griglie diventa esponenzialmente più difficile all'aumentare delle dimensioni. Per anni, i matematici hanno avuto un forte intuito, una congettura, secondo cui questi arrangiamenti perfetti potevano essere trovati per ogni dimensione possibile, ma potevano provarlo solo fino a una certa misura.

Un team di ricercatori della Nanjing University of Information Science and Technology ha ora ampliato i confini di questa ricerca più di quanto mai fatto prima. Hanno sviluppato un nuovo metodo, altamente efficiente, per setacciare i miliardi di possibili combinazioni di queste file di interruttori. Invece di cercare di indovinare tutte e quattro le file contemporaneamente, il loro algoritmo costruisce prima coppie di file che si incastrano tra loro, e poi cerca le restanti due per completare l'insieme. Usando questo approccio, sono riusciti a costruire queste sequenze perfette per le dimensioni 41, 42 e 43 per la prima volta nella storia. Questo traguardo conferma che la lunga ipotesi sull'esistenza di queste sequenze è vera per tutte le dimensioni fino a 43, estendendo il territorio noto di queste strutture matematiche.

Tuttavia, la storia prende una svolta sorprendente quando i ricercatori hanno esaminato due versioni più rigorose di queste sequenze, note come sequenze "quasi-normali". Per queste, esisteva una credenza simile secondo cui potevano essere trovate per ogni numero pari. Il team ha eseguito una ricerca esaustiva tramite computer per verificare questo punto per i successivi numeri pari. Hanno scoperto che, sebbene queste sequenze esistano per molte dimensioni, semplicemente non esistono per i numeri 42 e 44. Questa scoperta è significativa perché fornisce la prima prova concreta che la credenza sulle sequenze quasi-normali sia falsa. È un raro momento nella matematica in cui un'idea di lunga data non è solo non dimostrata, ma viene esplicitamente mostrata come errata trovando un caso specifico in cui fallisce.

I ricercatori hanno anche investigato un'altra versione più rigorosa chiamata sequenze "normali". Hanno dimostrato matematicamente che queste sequenze non possono esistere per un particolare schema di numeri, nello specifico quelli che sono due meno di un multiplo di otto. La loro ricerca al computer ha ulteriormente confermato che queste sequenze non esistono per i numeri da 41 a 46. Sebbene abbiano costruito con successo le sequenze generali per le nuove dimensioni, l'esistenza delle versioni più rigorose per numeri più grandi rimane un mistero. Il loro lavoro non aggiunge solo nuovi esempi a un elenco; rimodella il panorama di ciò che è possibile, mostrando esattamente dove gli schemi si interrompono e dove continuano a reggere.

Le implicazioni di queste scoperte si propagano verso l'esterno, fino alla costruzione delle matrici di Hadamard menzionate all'inizio. Poiché queste matrici sono essenziali per creare sistemi di comunicazione robusti e codici di correzione degli errori, sapere esattamente quali dimensioni possono essere costruite e quali no, è fondamentale. Il nuovo algoritmo dei ricercatori, che combina profonde regole matematiche con una potente ricerca al computer, offre una via chiara da seguire. Permette agli scienziati di testare dimensioni ancora più grandi con fiducia, sapendo che il metodo può filtrare rapidamente le combinazioni impossibili. Sebbene la questione se queste sequenze esistano per ogni singola dimensione sia ora nota essere falsa per i tipi più rigorosi, la ricerca generale continua, con i ricercatori che hanno spianato la strada per la prossima generazione di scoperte in questo intricato campo.