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

Resumen Técnico: Expansión Óptima en Grupos Unitarios I: Grupos Ádicos de Oro y Cutoff

Planteamiento del Problema
El artículo aborda dos problemas interconectados en la intersección de la geometría aritmética, la teoría de representaciones y la computación cuántica. Primero, busca construir redes $p$-aritméticas en grupos unitarios proyectivos ($PU_n$) que actúen transitivamente sobre sus correspondientes edificios de Bruhat-Tits. Tales grupos son cruciales para la construcción de "conjuntos de compuertas de oro" (Golden Gate sets): conjuntos generadores para compuertas cuánticas que permiten una compilación eficiente y casi óptima de circuitos cuánticos. Segundo, el artículo investiga el "fenómeno de corte" (una transición abrupta en el tiempo de mezcla) para caminatas aleatorias en cocientes de edificios de Bruhat-Tits. Si bien la propiedad Ramanujan (Conjetura de Ramanujan Naive, NRC) garantiza el corte para ciertos grupos (como $U_2$), se sabe que falla para grupos unitarios matriciales $U_n$ con $n \ge 3$. Los autores pretenden establecer el corte bajo la hipótesis más débil de la Densidad de Sarnak-Xue (SXDH), la cual acota la densidad de las representaciones no templadas.

Metodología
Los autores emplean una combinación de teoría de grupos aritméticos, la teoría de los edificios de Bruhat-Tits y el análisis espectral de operadores de Hecke.

1. Construcciones Aritméticas: Para probar la existencia de redes $p$-aritméticas de clase número uno (que actúan transitivamente en el edificio), los autores utilizan dos técnicas distintas:

   • Fórmula de Volumen de Siegel-Prasad: Computan la masa del grupo aritmético utilizando la medida de Tamagawa y la comparan con el tamaño del grupo sobre los enteros. Si la masa es igual al recíproco del tamaño del grupo, la clase número es uno.
   • Aproximación Fuerte y "Uno-por-Todos": Utilizan el teorema de aproximación fuerte para demostrar que si un subgrupo actúa transitivamente en los vértices del edificio, el grupo tiene clase número uno. Esto implica contar elementos en clases de congruencia específicas y relacionarlos con el grado del edificio.

2. Teoría de Bruhat-Tits: El artículo se apoya fuertemente en la estructura de los edificios de Bruhat-Tits para grupos $p$-ádicos semisencibles. Utiliza las descomposiciones de Cartan e Iwahori, la estructura de los subgrupos parahóricos e Iwahori, y la acción de estos grupos sobre las cámaras y vértices del edificio. Los autores analizan específicamente los estabilizadores de las caras y la transitividad de las acciones de grupo sobre estas estructuras.

3. Límites Espectrales en Operadores de Hecke: Una contribución técnica central es la derivación de límites superiores para las normas de los operadores de Hecke que actúan sobre representaciones irreducibles unitarias. Los autores acotan la norma del operador $\|1_{PSP} | \pi_P \|_{op}$ en términos del tamaño del conjunto $S$ y la tasa de decaimiento $\sigma(\pi)$ de los coeficientes de matriz de la representación $\pi$. Esto generaliza resultados previos a clases más amplias de subgrupos abiertos compactos $P$ y conjuntos $S$.

4. Análisis de Corte (Cutoff): Los autores analizan el tiempo de mezcla de operadores geométicos (como potencias de operadores de adyacencia) en cocientes finitos del edificio. Descomponen el espacio $L^2$ del cociente en representaciones irreducibles. Al combinar los límites espectrales de los operadores de Hecke con la SXDH (que limita la contribcción de las representaciones no templadas) y una suposición de brecha espectral, demuestran que la distancia de variación total hacia la distribución estacionaria cae abruptamente en un tiempo específico.

Contribuciones Clave y Resultados

• Construcción de Grupos Ádicos de Oro:

  • Los autores construyen ejemplos explícitos de subgrupos $p$-aritméticos en $PU_4$ y $PU_8$ que tienen clase número uno. Estos grupos actúan de forma simplemente transitiva en los vértices del edificio de Bruhat-Tits de $PU_4(\mathbb{Q}_p)$ (para primos $p$ específicos).
  • Estas construcciones extienden los trabajos seminales de Lubotzky, Phillips y Sarnak (LPS) a dimensiones superiores. Específicamente, el presente artículo proporciona los fundamentos aritméticos necesarios (grupos de clase número uno en $PU_4$ y $PU_8$) para construir "conjuntos de compuertas de oro" para sistemas de 2 cúbits ($PU_4$) y 3 cúbits ($PU_8$).
  • El artículo presenta nuevos ejemplos basados en la red $E_8$ realizada sobre cuerpos cuadráticos imaginarios ($\mathbb{Q}[\sqrt{-1}], \mathbb{Q}[\sqrt{-2}], \mathbb{Q}[\sqrt{-3}], \mathbb{Q}[\sqrt{-7}]$), así como construcciones que involucran grupos no quasisplit donde el edificio es un árbol. La construcción completa de los conjuntos de compuertas de oro para 2 y 3 cúbits, utilizando estos grupos aritméticos junto con los resultados de SXDH, se completa en el artículo compañero [DEP].

• Corte bajo SXDH:

  • El artículo demuestra que una familia de cocientes finitos de un edificio de Bruhat-Tis exhibe el fenómeno de corte si la familia satisface la Hipótesis de Densidad de Sarnak-Xue (SXDH) y una propiedad de brecha espectral.
  • Este resultado generaliza teoremas de corte previos para complejos de Ramanujan (que requieren la NRC más fuerte) a una clase más amplia de grupos donde la NRC falla.
  • Se muestra que el tiempo de mezcla es $t(n) = \log_d(n)$, donde $d$ es la tasa de crecimiento exponencial de los operadores geométicos, con una ventana de corte $w(n) = o(t(n))$.

• Límites Espectrales:

  • El Teorema 5.3 proporciona un límite general para la norma del operador de los operadores de Hecke: $\|1_{PSP} | \pi_P \|_{op} \ll (\log |S|)^{C+d} |S|^{\frac{\sigma-1}{\sigma}}$. Este límite es crucial para controlar los términos de error en el análisis del tiempo de mezcla cuando la propiedad Ramanujan no se cumple.

Significancia
Los autores afirman que el artículo tiene significancia en dos áreas primarias:

1. Computación Cuántica: Los grupos $p$-aritméticos construidos en $PU_4$ y $PU_8$ proporcionan los componentes aritméticos esenciales requeridos para construir "conjuntos de compuertas de oro" para 2 y 3 cúbits. Estos conjuntos son óptimos en términos de longitud de circuito y poseen algoritmos de compilación eficientes. Esto extiende la aplicabilidad de la teoría de grupos aritméticos a la computación cuántica universal en dimensiones superiores, un campo previamente limitado en gran medida a las construcciones de $PU(2)$. La construcción real de estos conjuntos se finaliza en el artículo compañero [DEP] combinando los resultados de este artículo con las pruebas de SXDH para grupos unitarios.

2. Teoría Matemática de la Expansión: El artículo establece que el fenómeno de corte es robusto, persistiendo incluso cuando la Conjetura de Ramanujan Naive falla. Al reemplazar la NRC con la SXDH, los autores proporcionan un marco para comprender las propiedades de expansión de los cocientes de los edificios de Bruhat-Tits para grupos $p$-ádicos semisencibles generales. Esto cierra la brecha entre la teoría de grafos/complejos de Ramanujan y el panorama más general de los grupos aritméticos donde las representaciones no templadas son inevitables.

Los autores señalan que el artículo compañero [DEP] utiliza estos resultados para probar la SXDH para grupos unitarios definidos algebraicamente en dimensiones 4 y 8, completando así la construcción de los conjuntos de compuertas de oro y probando la propiedad de cobertura casi óptima para los grupos de Lie reales asociados.