A complex Hadamard matrix of order 94

Each language version is independently generated for its own context, not a direct translation.

Immagina di dover costruire un grattacielo perfetto, dove ogni piano è perfettamente bilanciato e non c'è mai un "punto debole" che fa crollare la struttura. In matematica, questi "grattacieli perfetti" si chiamano Matrici di Hadamard. Sono griglie di numeri (in questo caso, solo +1 e -1, o le loro versioni complesse) che hanno una proprietà magica: se le combini in un certo modo, si annullano a vicenda in modo perfetto, come se fossero pezzi di un puzzle che si incastrano senza lasciare spazi vuoti.

Per molto tempo, i matematici hanno cercato di costruire questi grattacieli per una dimensione specifica: 94. È come se avessero provato a costruire un edificio di 94 piani, ma si fossero sempre bloccati perché mancavano i mattoni giusti.

Ecco cosa ha fatto l'autore di questo articolo, Ferenc Szöllősi, per risolvere il problema:

1. Il Problema dei "Mattoni Simmetrici"

Per costruire questi grattacieli, i matematici usano dei "mattoni" speciali chiamati matrici circolanti. Immagina questi mattoni come dischi che ruotano: ogni riga è una copia della precedente, ma spostata di un passo.
Fino a poco tempo fa, la ricetta standard richiedeva che tutti i mattoni fossero perfettamente simmetrici (come un'immagine riflessa in uno specchio). Per la dimensione 94 (che deriva da un numero primo chiamato 47), si pensava che questi mattoni simmetrici non esistessero affatto. Era come cercare di costruire una casa senza trovare mattoni che fossero uguali su entrambi i lati.

2. La Nuova Ricetta: "Un po' di asimmetria va bene"

L'autore ha detto: "Aspetta, forse non abbiamo bisogno che tutti i mattoni siano perfetti specchi".
Ha modificato una vecchia ricetta (creata da Kharaghani e Seberry) inventando un nuovo metodo di costruzione. Invece di chiedere che tutti i mattoni siano simmetrici, ha scoperto che basta che due su quattro siano simmetrici, mentre gli altri due possono essere un po' "storti" (asimmetrici), purché seguano una regola precisa.

È come se per costruire il tuo tavolo da cucina, invece di cercare quattro gambe perfettamente identiche, ti bastasse avere due gambe d'oro e due gambe di legno, purché siano legate insieme in un modo molto intelligente.

3. La Caccia al Tesoro con il Computer

Poiché nessuno sapeva dove trovare questi "mattoni asimmetrici" perfetti per la dimensione 47, l'autore ha usato un computer come un cacciatore di tesori.
Ha creato un programma che ha provato milioni e milioni di combinazioni di numeri (+1 e -1), controllando se funzionavano come mattoni per la sua nuova ricetta.
È stato come cercare un ago in un pagliaio, ma invece di un ago, cercava una sequenza specifica di 47 numeri. Dopo aver girato il computer per circa un giorno e mezzo (usando 20 gigabyte di memoria, che è tantissimo per un singolo compito), il computer ha urlato: "Trovato!".

4. Il Risultato: Il Grattacielo è Pronto

Il computer ha trovato due sequenze di numeri (chiamate Esempio 1 ed Esempio 2) che, una volta trasformate in matrici e inserite nella nuova ricetta, hanno funzionato perfettamente.
Grazie a questo, per la prima volta nella storia, è stato possibile costruire la Matrice di Hadamard di ordine 94.

In Sintesi

L'obiettivo: Costruire una struttura matematica perfetta di 94 unità.
L'ostacolo: I pezzi standard (simmetrici) non esistevano per questa dimensione.
La soluzione: Inventare un nuovo modo di assemblare i pezzi, accettando che alcuni siano diversi dagli altri.
L'azione: Usare un computer per cercare i pezzi mancanti tra miliardi di possibilità.
Il risultato: Il grattacielo è stato costruito con successo.

Questo lavoro è importante non solo perché risolve un enigma matematico vecchio di decenni, ma perché apre la porta a costruire strutture ancora più grandi in futuro, usando la stessa logica creativa: a volte, per costruire qualcosa di perfetto, bisogna essere disposti a rompere le regole tradizionali.

Each language version is independently generated for its own context, not a direct translation.

Ecco una sintesi tecnica dettagliata del paper "A COMPLEX HADAMARD MATRIX OF ORDER 94" di Ferenc Szöllősi, redatta in italiano.

Titolo: Una Matrice di Hadamard Complessa di Ordine 94

Autore: Ferenc Szöllősi
Data: Marzo 2026 (Preprint)

1. Il Problema

Il lavoro si inserisce nel campo della teoria dei disegni combinatori e dell'algebra lineare, focalizzandosi sulla costruzione di matrici di Hadamard complesse.

Contesto: Una matrice di Hadamard reale di ordine $n$ è una matrice quadrata con elementi $\{-1, 1\}$ tale che $HH^T = nI_n$ . Esistono metodi classici (come quello di Williamson) per costruire matrici di Hadamard reali di ordine $4p $utilizzando quattro matrici circolanti simmetriche di ordine dispari$ p$.
La Sfida: È stato dimostrato che per certi valori di $p$ , in particolare $p=35$ e $p=47$ , non esistono matrici di Williamson (quattro matrici circolanti simmetriche che soddisfano la condizione di somma dei prodotti). Di conseguenza, non è possibile costruire direttamente una matrice di Hadamard reale di ordine $4 \times 47 = 188 $tramite il metodo classico, né una matrice complessa di ordine$ 2p = 94$ utilizzando le costruzioni note che richiedono quattro matrici simmetriche.
Obiettivo: Costruire una matrice di Hadamard complessa (con elementi nell'insieme $\{-1, -i, 1, i\}$ e righe mutuamente ortogonali nel senso complesso) di ordine 94 ($2 \times 47$), colmando un vuoto nella letteratura matematica.

2. Metodologia

L'autore adotta un approccio ibrido che combina teoria matematica avanzata e ricerca computazionale.

A. Modifica Teorica della Costruzione

L'autore modifica una costruzione fondamentale di Kharaghani e Seberry (che utilizzava matrici di Williamson per creare matrici complesse di ordine $2p$).

Teorema 4 (Nuova Costruzione): Viene proposto un nuovo array (struttura a blocchi) per costruire una matrice di Hadamard complessa di ordine $2p$.
Requisiti Ridotti: A differenza delle costruzioni precedenti che richiedevano quattro matrici circolanti simmetriche, il nuovo teorema richiede solo che due delle quattro matrici circolanti $\{-1, 1\}$ di ordine $p$ siano simmetriche. Le altre due possono essere non simmetriche, purché soddisfino la condizione fondamentale di somma dei prodotti:
$AA^T + BB^T + CC^T + DD^T = 4pI_p$
dove $A, B$ sono simmetriche e $C, D$ sono circolanti.
Struttura: La matrice complessa $K$ di ordine $2p $è costruita combinando le matrici$ A, B, C, D $con la matrice anti-diagonale$ R $e l'unità immaginaria$ i$, sfruttando le proprietà di commutatività e normalità delle matrici circolanti.

B. Ricerca Computazionale (Algoritmo)

Poiché non esistevano in letteratura matrici circolanti di ordine 47 con la simmetria richiesta (tipo $(ssxx)$ , ovvero due simmetriche e due non specificate), l'autore ha implementato un algoritmo di ricerca su computer.

Parametri: Per $p=47$ , sono stati cercati quattro vettori circolanti con somme delle righe ( $\sigma$ ) specifiche che soddisfino l'equazione $\sigma_A^2 + \sigma_B^2 + \sigma_C^2 + \sigma_D^2 = 4p$ .
Algoritmo di Ricerca:
1. Fase di Pre-calcolo: Generazione di tutti i vettori $\{-1, 1\}$ di lunghezza $(p-1)/2$ che soddisfano vincoli di somma e limiti sugli autovalori (Lemma 5).
2. Hashing delle Autocorrelazioni: Calcolo dei vettori di autocorrelazione periodica $I(a)$ e $I(b)$ per le matrici simmetriche candidate.
3. Tabella di Lookup: Creazione di una tabella di hash basata sulla somma dei vettori di autocorrelazione $\Sigma = I(a) + I(b)$ .
4. Ricerca Stocastica: Generazione casuale di coppie di vettori $(c, d)$ per le matrici non simmetriche, calcolo della loro autocorrelazione negativa $\Delta = -I(c) - I(d)$ , e verifica se $\Delta$ esiste nella tabella di hash.
5. Ricostruzione: Se una corrispondenza viene trovata, si recuperano i vettori originali per formare la terna $(A, B, C, D)$ .
Risorse: La ricerca è stata eseguita in C++ e Mathematica, richiedendo circa 20 GB di memoria e circa $8 \times 10^9$ tentativi in poco più di un giorno.

3. Risultati Chiave

Scoperta di Matrici di Ordine 47: L'autore ha trovato con successo quattro matrici circolanti di ordine 47 che soddisfano la condizione (1) con il tipo di simmetria richiesto (due simmetriche, due non simmetriche).
- Esempio 1: Con somme delle righe $\sigma_A=3, \sigma_B=7, \sigma_C=7, \sigma_D=9$ .
- Esempio 2: Con somme delle righe $\sigma_A=-1, \sigma_B=-5, \sigma_C=9, \sigma_D=9$ .
Costruzione della Matrice di Ordine 94: Combinando le matrici trovate nell'Esempio 1 con il Teorema 4, è stata costruita la prima matrice di Hadamard complessa di ordine 94.
Dimostrazione del Teorema 1: Il paper dimostra formalmente l'esistenza di una matrice di Hadamard complessa di ordine 94.

4. Contributi Principali

Generalizzazione della Costruzione: L'estensione del metodo di Kharaghani-Seberry per accettare configurazioni di simmetria mista (due simmetriche, due non simmetriche) invece di richiedere quattro matrici simmetriche.
Risoluzione di un Caso Aperto: La costruzione risolve il problema dell'esistenza di matrici di Hadamard complesse per l'ordine 94, che era rimasto aperto a causa della non-esistenza di matrici di Williamson per $p=47$ .
Metodologia Computazionale: L'implementazione di un algoritmo di ricerca efficiente basato su hashing e autocorrelazioni per trovare configurazioni di matrici circolanti in spazi di ricerca vasti.

5. Significato e Implicazioni

Progresso nella Teoria delle Matrici di Hadamard: Prima di questo lavoro, le matrici di Hadamard complesse erano note fino all'ordine 18, e per ordini superiori si basavano su costruzioni specifiche (es. ordine 70 per $p=35$ ). L'ordine 94 era il prossimo "caso aperto" significativo.
Superamento delle Limitazioni di Williamson: Il lavoro dimostra che la mancanza di matrici di Williamson (simmetriche) non preclude la costruzione di matrici di Hadamard complesse, aprendo la strada all'uso di classi più ampie di matrici (come le matrici "best" o configurazioni miste).
Prospettive Future: L'autore suggerisce che la costruzione potrebbe essere ulteriormente modificata per richiedere solo una singola matrice simmetrica o per adattarsi ad altre proprietà. Inoltre, l'uso di risorse di calcolo superpotenti e algoritmi più sofisticati potrebbe permettere di estendere questi risultati a ordini superiori, come $p=59$ (ordine 118).

In sintesi, il paper rappresenta un avanzamento significativo nella teoria combinatoria delle matrici, combinando innovazioni teoriche nella struttura degli array di Hadamard con una potente ricerca computazionale per risolvere un problema di esistenza specifico e di lunga data.