Optimal expansion in unitary groups I: Golden adelic groups and cutoff

Sintesi Tecnica: Espansione Ottimale nei Gruppi Unitari I: Gruppi Adelici Golden e Cutoff

Enunciato del Problema
Il saggio affronta due problemi interconnessi all'intersezione tra geometria aritmetica, teoria delle rappresentazioni e computazione quantistica. In primo luogo, mira a costruire reticoli $p$-aritmetici nei gruppi unitari proiettivi ($PU_n$) che agiscano transitivamente sui loro corrispondenti edifici di Bruhat-Tits. Tali gruppi sono cruciali per la costruzione di "Golden Gate sets": insiemi generatori per porte quantistiche che permettono una compilazione efficiente e quasi-ottimale di circuiti quantistici. In secondo luogo, il saggio investiga il "fenomeno del cutoff" (una transizione netta nel tempo di miscelamento) per cammini casuali su quozienti di edifici di Bruhat-Tits. Sebbene la proprietà Ramanujan (Congettura Ramanujan Naïve, NRC) garantisca il cutoff per certi gruppi (come $U_2$), è noto che essa fallisca per i gruppi unitari matriciali $U_n$ con $n \ge 3$. Gli autori mirano a stabilire il cutoff sotto la più debole Ipotesi di Densità di Sarnak-Xue (SXDH), che limita la densità delle rappresentazioni non temperate.

Metodologia
Gli autori impiegano una combinazione di teoria dei gruppi aritmetici, teoria degli edifici di Bruhat-Tits e analisi spettrale degli operatori di Hecke.

1. Costruzioni Aritmetiche: Per provare l'esistenza di gruppi $p$-aritmetici di classe uno (che agiscono transitivamente sull'edificio), gli autori utilizzano due tecniche distinte:

   • Formula del Volume di Siegel-Prasad: Calcolano la massa del gruppo aritmetico utilizzando la misura di Tamagawa e la confrontano con la dimensione del gruppo sugli interi. Se la massa è uguale al reciproco della dimensione del gruppo, la classe è uno.
   • Approssimazione Forte e "One-for-All": Utilizzano il teorema di approssimazione forte per dimostrare che se un sottogruppo agisce transitivamente sui vertici dell'edificio, il gruppo ha classe uno. Ciò comporta il conteggio degli elementi in specifiche classi di congruenza e la relazione con il grado dell'edificio.

2. Teoria di Bruhat-Tits: Il saggio si basa fortemente sulla struttura degli edifici di Bruhat-Tits per gruppi $p$-adici semisimpli. Utilizza le decomposizioni di Cartan e Iwahori, la struttura dei sottogruppi paraborici e di Iwahori, e l'azione di questi gruppi sulle celle (chambers) e sui vertici dell'edificio. Gli autori analizzano specificamente i stabilizzatori delle facce e la transitività delle azioni dei gruppi su tali strutture.

3. Limiti Spettrali sugli Operatori di Hecke: Un contributo tecnico centrale è la derivazione di limiti superiori per le norme degli operatori degli operatori di Hecke che agiscono su rappresentazioni unitarie irriducibili. Gli autori limitano la norma $\|1_{PSP} | \pi_P \|_{op}$ rispetto alla dimensione dell'insieme $S$ e al tasso di decadimento $\sigma(\pi)$ dei coefficienti di matrice della rappresentazione $\pi$. Questo generalizza i risultati precedenti a classi più ampie di sottogruppi compatti aperti $P$ e insiemi $S$.

4. Analisi del Cutoff: Gli autori analizzano il tempo di miscelamento di operatori geometrici (come le potenze di operatori di adiacenza) su quozienti finiti dell'edificio. Decompongono lo spazio $L^2$ del quoziente in rappresentazioni irriducibili. Combinando i limiti spettrali sugli operatori di Hecke con la SXDH (che limita il contributo delle rappresentazioni non temperate) e un'assunzione di gap spettrale, dimostrano che la distanza di variazione totale dalla distribuzione stazionaria scende bruscamente a un tempo specifico.

Contributi Chiave e Risultati

• Costruzione di Gruppi Adelici Golden:

  • Gli autori costruiscono esempi espliciti di sottogruppi $p$-aritmetici in $PU_4$ e $PU_8$ che hanno classe uno. Questi gruppi agiscono semplicemente transitivamente sui vertici dell'edificio di Bruhat-Tits di $PU_4(\mathbb{Q}_p)$ (per specifici numeri primi $p$).
  • Queste costruzioni estendono i lavori seminali di Lubotzky, Phillips e Sarnak (LPS) a dimensioni superiori. Nello specifico, il presente saggio fornisce le fondamenta aritmetiche necessarie (gruppi di classe uno in $PU_4$ e $PU_8$) per costruire "Golden Gate sets" per sistemi a 2 qubit ($PU_4$) e 3 qubit ($PU_8$).
  • Il saggio presenta nuovi esempi basati sul reticolo $E_8$ realizzato su campi immaginari quadratici ($\mathbb{Q}[\sqrt{-1}], \mathbb{Q}[\sqrt{-2}], \mathbb{Q}[\sqrt{-3}], \mathbb{Q}[\sqrt{-7}]$), così come costruzioni che coinvolgono gruppi non quasi-splittati dove l'edificio è un albero. La costruzione completa dei Golden Gate sets per 2 e 3 qubit, utilizzando questi gruppi aritmetici insieme ai risultati SXDH, è completata nel saggio compagno [DEP].

• Cutoff sotto SXDH:

  • Il saggio dimostra che una famiglia di quozienti finiti di un edificio di Bruhat-Tits esibisce il fenomeno del cutoff se la famiglia soddisfa l'Ipotesi di Densità di Sarnak-Xue (SXDH) e una proprietà di gap spettrale.
  • Questo risultato generalizza i precedenti teoremi di cutoff per i complessi di Ramanujan (che richiedono la più forte NRC) a una classe più ampia di gruppi dove la NRC fallisce.
  • Il tempo di miscelamento è mostrato essere $t(n) = \log_d(n)$, dove $d$ è il tasso di crescita esponenziale degli operatori geometrici, con una finestra di cutoff $w(n) = o(t(n))$.

• Limiti Spettrali:

  • Il Teorema 5.3 fornisce un limite generale per la norma dell'operatore degli operatori di Hecke: $\|1_{PSP} | \pi_P \|_{op} \ll (\log |S|)^{C+d} |S|^{\frac{\sigma-1}{\sigma}}$. Questo limite è cruciale per controllare i termini di errore nell'analisi del tempo di miscelamento quando la proprietà Ramanujan non è valida.

Significatività
Gli autori rivendicano significatività in due aree primarie:

1. Computazione Quantistica: I gruppi $p$-aritmetici costruiti in $PU_4$ e $PU_8$ forniscono i componenti aritmetici essenziali necessari per costruire "Golden Gate sets" per 2 e 3 qubit. Questi insiemi sono ottimali in termini di lunghezza del circuito e possiedono algoritmi di compilazione efficienti. Ciò estende l'applicabilità della teoria dei gruppi aritmetici alla computazione quantistica universale in dimensioni superiori, un campo precedentemente limitato in gran parte alle costruzioni in $PU(2)$. La costruzione effettiva di questi set è finalizzata nel saggio compagno [DEP] combinando i risultati di questo saggio con le prove SXDH per i gruppi unitari.

2. Teoria Matematica dell'Espansione: Il saggio stabilisce che il fenomeno del cutoff è robusto, persistendo anche quando la Congettura Ramanujan Naïve fallisce. Sostituendo la NRC con la SXDH, gli autori forniscono un quadro per comprendere le proprietà di espansione dei quozienti degli edifici di Bruhat-Tits per gruppi $p$-adici semisimpli generali. Questo colma il divario tra la teoria dei grafi/complessi di Ramanujan e il panorama più generale degli edifici di Bru fat-Tits per gruppi aritmetici dove le rappresentazioni non temperate sono inevitabili.

Gli autori notano che il saggio compagno [DEP] utilizza questi risultati per provare la SXDH per i gruppi unitari algebrici definiti in dimensioni 4 e 8, completando così la costruzione dei Golden Gate sets e provando la proprietà di copertura quasi-ottimale per i relativi gruppi di Lie reali.