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

Resumo Técnico: Expansão Ótima em Grupos Unitários I: Grupos Adélicos Dourados e Cutoff

Enunciado do Problema
O artigo aborda dois problemas interconectados na interseção da geometria aritmética, teoria de representações e computação quântica. Primeiro, busca construir reticulados $p$-aritméticos em grupos unitários projetivos ($PU_n$) que atuam transitivamente em seus correspondentes edifícios de Bruhat-Tits. Tais grupos são cruciais para a construção de "Conjuntos de Portas Douradas" (Golden Gate sets) — conjuntos geradores para portas quânticas que permitem uma compilação eficiente e quase-ótima de circuitos quânticos. Segundo, o artigo investiga o "fenômeno de cutoff" (uma transição abrupta no tempo de mistura) para passeios aleatórios em quocientes de edifícios de Bruhat-Tits. Embora a propriedade Ramanujan (Conjectura Ramanujan Ingênua, NRC) garanta o cutoff para certos grupos (como $U_2$), sabe-se que ela falha para grupos unitários matriciais $U_n$ com $n \ge 3$. Os autores visam estabelecer o cutoff sob a hipótese mais fraca da Densidade de Sarnak-Xue (SXDH), que limita a densidade de representações não temperadas.

Metodologia
Os autores empregam uma combinação de teoria de grupos aritméticos, teoria dos edifícios de Bruhat-Tits e análise espectral de operadores de Hecke.

1. Construções Aritméticas: Para provar a existência de grupos $p$-aritméticos de número de classe um (que atuam transitivamente no edifício), os autores utilizam duas técnicas distintas:

   • Fórmula de Volume de Siegel-Prasad: Eles computam a massa do grupo aritmético usando a medida de Tamagawa e a comparam com o tamanho do grupo sobre os inteiros. Se a massa for igual ao recíproco do tamanho do grupo, o número de classe é um.
   • Aproximação Forte e "Um-para-Todos": Eles utilizam o teorema da aproximação forte para mostrar que, se um subgrupo atua transitivamente nos vértices do edifício, o grupo possui número de classe um. Isso envolve a contagem de elementos em classes de congruência específicas e a relação com o grau do edifício.

2. Teoria de Bruhat-Tits: O artigo baseia-se fortemente na estrutura dos edifícios de Bruhat-Tits para grupos $p$-ádicos semissimples. Utiliza as decomposições de Cartan e Iwahori, a estrutura de subgrupos parahóricos e de Iwahori, e a ação desses grupos nas câmaras e vértices do edifício. Os autores analisam especificamente os estabilizadores de faces e a transitividade das ações de grupo nessas estruturas.

3. Limites Espectrais em Operadores de Hecke: Uma contribuição técnica central é a derivação de limites superiores para as normas de operador de operadores de Hecke atuando em representações unitárias irredutíveis. Os autores limitam a norma do operador $\|1_{PSP} | \pi_P \|_{op}$ em termos do tamanho do conjunto $S$ e da taxa de decaimento $\sigma(\pi)$ dos coeficientes de matriz da representação $\pi$. Isso generaliza resultados anteriores para classes mais amplas de subgrupos abertos compactos $P$ e conjuntos $S$.

4. Análise de Cutoff: Os autores analisam o tempo de mistura de operadores geométricos (como potências de operadores de adjacência) em quocientes finitos do edifício. Eles decompõem o espaço $L^2$ do quociente em representações irredutíveis. Ao combinar os limites espectrais em operadores de Hecke com a SXDH (que limita a contribuição de representações não temperadas) e uma suposição de gap espectral, eles provam que a distância de variação total para a distribuição estacionária cai abruptamente em um tempo específico.

Principais Contribuições e Resultados

• Construção de Grupos Adélicos Dourados:

  • Os autores constroem exemplos explícitos de subgrupos $p$-aritméticos em $PU_4$ e $PU_8$ que possuem número de classe um. Esses grupos atuam simplesmente transitivamente nos vértices do edifício de Bruhat-Tits de $PU_4(\mathbb{Q}_p)$ (para primos $p$ específicos).
  • Essas construções estendem os trabalhos seminais de Lubotzky, Phillips e Sarnak (LPS) para dimensões superiores. Especificamente, o presente artigo fornece as fundações aritméticas necessárias (grupos de número de classe um em $PU_4$ e $PU_8$) para construir "Conjuntos de Portas Douradas" para sistemas de 2 qubits ($PU_4$) e 3 qubits ($PU_8$).
  • O artigo apresenta novos exemplos baseados na rede $E_8$ realizada sobre corpos imaginários quadráticos ($\mathbb{Q}[\sqrt{-1}], \mathbb{Q}[\sqrt{-2}], \mathbb{Q}[\sqrt{-3}], \mathbb{Q}[\sqrt{-7}]$), bem como construções envolvendo grupos não-quasisplit onde o edifício é uma árvore. A construção completa dos Conjuntos de Portas Douradas para 2 e 3 qubits, utilizando esses grupos aritméticos junto aos resultados da SXDH, é completada no artigo complementar [DEP].

• Cutoff sob SXDH:

  • O artigo prova que uma família de quocientes finitos de um edifício de Bruhat-Tits exibe o fenômeno de cutoff se a família satisfizer a Hipótese de Densidade de Sarnak-Xue (SXDH) e uma propriedade de gap espectral.
  • Este resultado generaliza teoremas de cutoff anteriores para complexos de Ramanujan (que exigem a NRC mais forte) para uma classe mais ampla de grupos onde a NRC falha.
  • O tempo de mistura é mostrado como $t(n) = \log_d(n)$, onde $d$ é a taxa de crescimento exponencial dos operadores geométricos, com uma janela de cutoff $w(n) = o(t(n))$.

• Limites Espectrais:

  • O Teorema 5.3 fornece um limite geral para a norma de operador de operadores de Hecke: $\|1_{PSP} | \pi_P \|_{op} \ll (\log |S|)^{C+d} |S|^{\frac{\sigma-1}{\sigma}}$. Este limite é crucial para controlar os termos de erro na análise do tempo de mistura quando a propriedade Ramanujan não é válida.

Significância

O artigo reivindica significância em duas áreas primárias:

1. Computação Quântica: Os grupos $p$-aritméticos construídos em $PU_4$ e $PU_8$ fornecem os componentes aritméticos essenciais necessários para construir "Conjuntos de Portas Douradas" para 2 e 3 qubits. Esses conjuntos são ótimos em termos de comprimento de circuito e possuem algoritmos de compilação eficientes. Isso estende a aplicabilidade da teoria de grupos aritméticos à computação quântica universal em dimensões superiores, um campo anteriormente limitado amplamente a construções em $PU(2)$. A construção real desses conjuntos é finalizada no artigo complementar [DEP], combinando os resultados deste artigo com as provas de SXDH para grupos unitários.

2. Teoria Matemática de Expansão: O artigo estabelece que o fenômeno de cutoff é robusto, persistindo mesmo quando a Conjectura Ramanujan Ingênua falha. Ao substituir a NRC pela SXDH, os autores fornecem um arcabouço para entender as propriedades de expansão de quocientes de edifícios de Bruhat-Tits para grupos $p$-ádicos semissimples gerais. Isso preenche a lacuna entre a teoria de grafos/complexos de Ramanujan e o panorama mais geral de grupos aritméticos onde representações não temperadas são inevitáveis.

Os autores observam que o artigo complementar [DEP] utiliza estes resultados para provar a SXDH para grupos unitários algébricos definidos em dimensões 4 e 8, completando assim a construção dos Conjuntos de Portas Douradas e provando a propriedade de cobertura quase-ótima para os grupos de Lie reais associados.