A proper Euler magic matrix of order 6

Nel vasto panorama della matematica, esiste una particolare fascinazione per le griglie di numeri che obbediscono a regole rigide e nascoste. Immaginate una tabella quadrata riempita di numeri interi. Se si sommano i numeri in ogni riga, ogni colonna o lungo le due diagonali principali, il totale è sempre lo stesso. Questo è un quadrato magico, un enigma che ha affascinato i pensanti per secoli. Ma i matematici spesso spingono oltre, chiedendosi cosa accada se i numeri all'interno del quadrato non siano solo comuni interi, ma siano essi stessi quadrati perfetti — numeri come uno, quattro, nove o sedici. Ancora più impegnativo è un tipo specifico di griglia dove le righe e le colonne non sono solo bilanciate nella somma, ma sono anche matematicamente indipendenti l'una dall'altra, il che significa che non si sovrappongono in modo da creare ridondanza. Questa combinazione di requisiti crea un oggetto raro e difficile noto come matrice magica di Euler. Per molto tempo, i matematici hanno saputo che tali griglie esistevano per certe dimensioni, come quattro per quattro o otto per otto, ma una dimensione specifica nel mezzo rimaneva un mistero. La domanda era semplice ma ostinata: si poteva costruire un tale griglia con sei righe e sei colonne?

Un ricercatore di nome Sanjit Singh Mehat ha ora risposto a quella domanda con un sì definitivo. In uno studio recente, Mehat ha costruito il primo esempio noto di una matrice magica di Euler propria di ordine sei. Per comprenderne la significatività, bisogna guardare alle rigide condizioni richieste. La griglia deve contenere trentasei numeri interi. Quando questi numeri vengono elevati al quadrato, la somma dei sei numeri in ogni singola riga deve essere uguale a un totale specifico. Lo stesso totale deve apparire in ogni colonna. Inoltre, la somma dei sei numeri elevati al quadrato che corrono dall'angolo in alto a sinistra all'angolo in basso a destra deve corrispondere a quel totale, e la somma dei sei numeri elevati al quadrato che corrono dall'angolo in alto a destra all'angolo in basso a sinistra deve anche corrispondere a quel totale. Infine, e forse più importante, la griglia è considerata "propria" solo se i valori assoluti di tutti i trentasei numeri sono completamente diversi tra loro. Nessun due numeri possono avere la stessa grandezza, anche se uno è positivo e l'altro è negativo.

Per decenni, l'esistenza di una tale griglia per una disposizione sei per sei era sconosciuta. Lavori precedenti avevano risolto i casi per griglie più piccole, dimostrando che una versione tre per tre era impossibile, e confermando che le versioni per dimensioni uno, due, quattro, cinque e otto esistevano. Il caso sei per sei era il pezzo mancante più piccolo del puzzle. Il lavoro di Mehat colma questa lacuna presentando due esempi distinti e concreti di queste griglie. Il primo esempio utilizza un totale di somma specifica di 18.500 per le voci al quadrato. Il secondo esempio, trovato indipendentemente, utilizza un totale di somma diverso di 43.290. Entrambe le matrici sono riempite con interi che, quando elevati al quadrato e sommati secondo le regole, producono esattamente questi totali. Il ricercatore ha verificato che in entrambi i casi le righe e le colonne sono matematicamente indipendenti, le somme delle diagonali sono corrette e ogni singolo numero nella griglia ha una grandezza unica.

Il percorso per trovare queste griglie non è stato una questione di semplice tentativi ed errori. Lo spazio di ricerca è così vasto che controllare ogni possibilità a mano o con metodi computazionali standard sarebbe impossibile. Mehat ha sviluppato un metodo specializzato per restringere la ricerca. Invece di cercare di costruire l'intera griglia in una volta sola, l'approccio consisteva nel generare blocchi di costruzione più piccoli e combinarli in modi che soddisfacessero prima le regole di riga e colonna. Una volta trovata una griglia candidata che soddisfaceva quei requisiti di base, il ricercatore cercava poi una specifica disposizione delle righe e delle colonne che soddisfacesse anche le regole delle diagonali. Questa strategia si è rivelata efficace, permettendo la scoperta dei due esempi entro pochi minuti dall'esecuzione del programma di ricerca. Lo studio ha anche stabilito un limite inferiore matematico per la somma totale in una tale griglia, dimostrando che la somma delle voci al quadrato deve essere almeno 2.485, un confine che ha aiutato a guidare la ricerca.

Per garantire che i risultati fossero oltre ogni dubbio, i risultati sono stati sottoposti a una verifica rigorosa. I calcoli sono stati controllati utilizzando l'aritmetica esatta degli interi, un metodo che non lascia spazio ad errori di arrotondamento. Un programma separato, scritto indipendentemente, ha confermato i risultati, e l'intera prova è stata anche verificata da un sistema informatico progettato per controllare la logica matematica. Questo processo di tripla verifica conferma che le griglie sono reali e che soddisfano ogni condizione richiesta. Il lavoro non si basa su teorie complesse o assunzioni non provate; poggia sull'esposizione esplicita dei numeri stessi. Chiunque abbia una calcolatrice può verificare che le righe, le colonne e le diagonali delle griglie fornite si sommino correttamente e che nessun due numeri condividano la stessa grandezza.

Questa scoperta risolve una specifica, lunga domanda nel campo della matematica combinatoria. Mentre l'esistenza di quadrati magici composti da quadrati era già nota per le griglie sei per sei, i risultati precedenti non garantivano la stretta indipendenza di righe e colonne richiesta per una matrice magica di Euler. Il lavoro di Mehat dimostra che una tale struttura è effettivamente possibile, aggiungendo il numero sei alla lista delle dimensioni in cui queste griglie speciali possono essere costruite. Lo studio fornisce i numeri effettivi per due tali griglie, offrendo una soluzione concreta a un problema che era rimasto aperto. Esso rappresenta un chiaro esempio di come i moderni metodi computazionali, quando guidati da sagge strategie matematiche, possano risolvere problemi che hanno sfuggito ai ricercatori per anni, trasformando una possibilità teorica in una realtà tangibile.