Exact cospectrality probabilities for uniform random matrices

Sintesi Tecnica: Probabilità Esatte di Cospettralità per Matrici Casuali Uniformi

Enunciato del Problema
Il saggio affronta il problema della caratterizzazione spettrale per matrici discrete, investigando specificamente la probabilità che una matrice simmetrica casuale con entrate in un insieme discreto (come l'anello degli interi $\mathcal{O}_K$ di un campo numerico algebrico $K$) rimanga all'interno di tale insieme dopo la coniugazione per una matrice ortogonale $Q$.

Mentre il caso "generico" suggerisce che una matrice o un grafo casuale sia caratterizzato unicamente dal suo spettro (congettura di Haemers), l'esistenza di matrici ortogonali non triviali $Q$ tali che $Q^\top X Q$ condivida lo stesso spettro di $X$ (cospettralità) complica la questione. La domanda centrale è: data una matrice ortogonale $Q$ fissa (potenzialmente con entrate algebriche) e una matrice simmetrica casuale $X$ con entrate uniformemente distribuite in $\mathcal{O}_K$, qual è la probabilità esatta che il coniugato $Q^\top X Q$ abbia anch'esso entrate in $\mathcal{O}_K$?

Lavori precedenti, come quelli di Wang e Zhao [33], hanno stabilito limiti superiori asintotici per matrici ortogonali razionali con denominatori limitati per $n \to \infty$. Questo articolo mira a fornire formule esatte e non asintotiche per questa probabilità per dimensioni fisse e arbitrari campi numerici algebrici, andando oltre il regime asintotico.

Metodologia
L'autore impiega una combinazione di teoria dei numeri algebrici, teoria degli ideali in domini di Dedekind e argomenti di invarianza probabilistica.

1. Quadro Algebrico: Lo studio è impostato all'interno di un campo numerico algebrico $K$ con il suo anello degli interi $\mathcal{O}_K$. Il "livello" $\ell$ di una matrice $Q$ è definito come il più piccolo intero tale che $\ell Q \in \mathcal{O}_K^{n \times n}$. L'analisi utilizza la forma normale di Smith e gli ideali di Smith ($\mathfrak{d}_i$) associati alla matrice $\ell Q$.
2. Invarianza Probabilistica: La dimostrazione si basa sull'invarianza per traslazione della distribuzione uniforme sul ring quoziente $\mathcal{O}_K / \ell^2 \mathcal{O}_K$. Sfruttando il fatto che la legge di una matrice simmetrica casuale è invariante sotto traslazione per matrici simmetriche deterministiche, l'autore dimostra che la probabilità che $Q^\top X Q$ sia integrale dipende solo dalla forma normale di Smith di $\ell Q$, permettendo a $Q$ di essere efficacemente sostituita da una matrice diagonale nel calcolo della probabilità.
3. Riduzione Ideale-Teoretica: Il problema viene ridotto al conteggio delle soluzioni di congruenze coinvolgenti gli ideali di Smith. L'ortogonalità di $Q$ impone specifici vincoli strutturali a questi ideali (nello specifico, relazioni tra $\mathfrak{d}_i$ e $\mathfrak{d}_{n-i+1}$), il che semplifica la formula generale derivata per matrici arbitrarie.

Contributi Chiave e Risultati

• Formula della Probabilità Esatta (Teorema 1.3): Il risultato primario è una formula esatta per la probabilità $\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n})$. Per una matrice simmetrica casuale $X$ con entrate uniformemente distribuite modulo $\ell^2$, la probabilità è data da:
  $$\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n}) = \prod_{i=1}^{\lfloor n/2 \rfloor} \prod_{j=i}^{n-i} \frac{\mathrm{N}_{\mathcal{O}_K}(\mathfrak{d}_i \mathfrak{d}_j)}{\mathrm{N}_{\mathcal{O}_K}(\ell^2 \mathcal{O}_K)}$$
  dove $\mathfrak{d}_i$ sono gli ideali di Smith di $\ell Q$ e $\mathrm{N}$ indica la norma dell'ideale. Questa formula è valida per qualsiasi campo numerico algebrico e si applica sia agli insiemi simmetrici che a quelli ermitiani.

• Cospettralità Razionale in Basse Dimensioni (Teoremi 1.6 & 1.7): L'articolo deriva formule esplicite per il numero atteso di matrici ortogonali razionali con un dato denominatore $\ell$ che preservano l'integrità per le dimensioni $n=2$ e $n=3$:

  • Dimensione 2: Il numero atteso è non nullo solo se i fattori primi di $\ell$ sono tutti congruenti a $1 \pmod 4$. L'aspettativa è $\mathbb{E}[N_2(\ell)] = 2^{r+3}/\ell^2$, dove $r$ è il numero di fattori primi distinti.
  • Dimensione 3: Il numero atteso è non nullo solo se $\ell$ è dispari. L'aspettativa è $\mathbb{E}[N_3(\ell)] = \frac{48}{\ell^2} \prod_{p|\ell} (1 + 1/p)$.

• Non-Monotonicità: Un risultato significativo è che la dipendenza del numero atteso di coniugazioni preservanti dal denominatore $\ell$ è non monotona. Sebbene il fattore $1/\ell^2$ suggerisca un decadimento generale, le fluttuazioni numeriche legate alla fattorizzazione in numeri primi (specificamente il numero e la dimensione dei fattori primi) causano aumenti locali della probabilità.

• Limiti sulla Cospettralità Razionale (Corollario 1.8): Utilizzando le aspettative esatte, l'autore stabilisce che per $n \le 3$, la probabilità che una matrice intera casuale sia cospettrale a un'altra tramite una matrice ortogonale razionale (con denominatore limitato ma arbitrariamente grande) è strettamente minore di 1.

  • Per $n=2$, il limite è vincolato a circa $0,114$.
  • Per $n=3$, il limite è vincolato a circa $0,296$.
    Ciò fornisce una variante rigorosa e non asintotica della congettura di Haemers per le basse dimensioni.

Significato e Rivendicazioni
Il saggio sostiene di fornire le prime formule esatte e non asintotiche per la probabilità di preservazione dell'integrità sotto coniugazione ortogonale, collegando questa probabilità direttamente agli ideali di Smith della matrice di coniugazione.

L'autore evidenzia come questi risultati rivelino un nuovo fenomeno nei contesti a bassa dimensione: la dipendenza non monotona dal denominatore dovuta alle fluttuazioni aritmetiche. Ciò contrasta con i più semplici trend asintotici dove la probabilità tipicamente decade in modo monotono.

Il lavoro connette lo studio probabilistico delle matrici casuali con le condizioni sufficienti deterministiche per la caratterizzazione spettrale (facendo riferimento ai lavori di Qiu, Wang e Zhang [23] e Wang e Yu [32]), suggerendo che le forme normali di Smith giochino un ruolo fondamentale nel determinare se una matrice sia unicamente caratterizzata dal suo spettro. Il saggio conclude proponendo una congettura (Congettura 1.9) secondo cui questa stretta disuguaglianza (probabilità $< 1$) si verifichi per tutte le dimensioni fisse $n$, sebbene dimostrare ciò per un $n$ generale rimanga un problema aperto e complesso.