Apparent Universal Behavior in Second Moments of Random Quantum Circuits

Resumen Técnico: Comportamiento Universal Aparente en los Momentos de Segundo Orden de Circuitos Cuánticos Aleatorios

Planteamiento del Problema
La convergencia de los conjuntos de circuitos cuánticos aleatorios hacia diseños unitarios aproximados es un tema central en la teoría de la información cuántica, que gobierna el comportamiento a gran profundidad de las propiedades observables experimentalmente. Si bien se sabe que ciertas arquitecturas estructuradas (por ejemplo, brickworks censurados) forman $\epsilon$-diseños aproximados de orden $t$ en una profundidad $\Theta(\log n)$, el comportamiento de arquitecturas más genéricas y regularmente conectadas sigue siendo menos comprendido. Las preguntas clave abiertas incluyen:

1. ¿Qué tan rápido forman los circuitos "brickwork" estándar $\epsilon$-diseños de orden 2, y difiere esto de la anticoncentración?
2. ¿Todos los arquitecturas muestreadas mediante grafos forman 2-diseños a la misma tasa asintótica, o topologías específicas (por ejemplo, aquellas con baja conectividad) requieren significativamente más puertas?
3. ¿Cuál es la configuración experimental óptima para distinguir un conjunto dado de la medida de Haar, y la probabilidad de colisión (un sustituto de la anticoncentración) dicta siempre la tasa de convergencia?

Trabajos previos a menudo dependieron de límites superiores o inferiores laxos derivados de brechas espectrales o propiedades específicas del circuito, careciendo de evaluaciones numéricas exactas para tamaños de sistema moderados.

Metodología
Los autores introducen una estrategia para determinar explícitamente el experimento óptimo que distingue cualquier conjunto dado de la medida de Haar, específicamente para el segundo momento ($t=2$).

• Reducción Teórica: Demuestran (Teorema 1) que para conjuntos localmente invariantes con vectorización semidefinida positiva (PSD), el error multiplicativo $M(\Phi_\epsilon, \Phi_{Haar})$ es saturado por un conjunto específico de estados $\rho_{\vec{a}}$. Estos estados son productos tensoriales de estados singlete ($|01\rangle - |10\rangle$) y estados producto ($|00\rangle$) a través de los $n$ sitios, parametrizados por un vector binario $\vec{a} \in \{0, 1\}^n$.
• Algoritmo Computacional: Esta reducción transforma el problema de encontrar el error multiplicativo en la maximización de una función sobre un conjunto finito de $2^n$ posibilidades. Los autores expresan el operador de momento en una base de permutación (vía dualidad de Schur-Weyl) y utilizan métodos de redes de tensores para calcular exactamente los elementos de matriz $v(\vec{a})^T H v(\vec{a})$. Este enfoque reduce la complejidad computacional de un $64^n$ ingenuo a $4^n$ (o $2^n$ con simetrías), permitiendo cálculos exactos para sistemas de hasta 50 qubits.
• Arquitecturas Estudiadas: El estudio cubre:
  • Arquitecturas muestreadas por grafos (lineal, círculo, completo, lollipop, estrella, Ramanujan, hourglass, bridge).
  • Circuitos brickwork 1D (condiciones de contorno abiertas y periódicas).
  • Arquitecturas "rápidas" incluyendo el Grafo Completo Paralelo (PCG), Permuted Brickwork (PB), y Permuted Brickwork with Fixed Evens (PBFE).

Contribuciones Clave y Resultados

1. Cálculo Exacto del Error Multiplicativo: El artículo proporciona el primer algoritmo utilizable para calcular el error multiplicativo exacto para $t=2$ en tamaños de sistema moderados, yendo más allá de los límites laxos.
2. Tasas de Escalamiento Dependientes del Grafo:
   • Límites Universales: La mayoría de las familias de grafos (lineal, círculo, árboles, Ramanujan) forman $\epsilon$-diseños de orden 2 en una profundidad proporcional a $\log n$.
   • Excepciones: Los autores identifican arquitecturas "excepcionales" específicas, tales como los grafos lollipop y bridge, que requieren una profundidad $\Omega(n)$ (específicamente $\Omega(n^2 \log n)$ para los lollipops). Esto responde negativamente a una pregunta de la Ref. [1], demostando que no todos los grafos forman 2-diseños a la misma tasa.
   • Mecanismo de Conectividad: La lenta dispersión (scrambling) en los casos excepcionales se atribuye a una pobre conectividad, lo que crea una separación de escalas de tiempo (por ejemplo, un "palito" en el grafo lollipop se termaliza mucho más lento que el "caramelo"). Los autores conjeturan que el grafo lineal es el más lento en términos de conexiones requeridas, mientras que el grafo completo es el más rápido en términos de puertas totales.
3. Circuitos Brickwork:
   • Para brickworks 1D, los autores derivan una fórmula semi-empírica para la profundidad $d_{brickwork}$ requerida para alcanzar un $\epsilon$-diseño de orden 2:
     $$d_{brickwork} \approx \frac{\log(\frac{3}{\pi^2} \frac{n}{\epsilon})}{\log(5/4)} + O\left(\frac{1}{n^2}\right)$$
   • Identifican que el experimento óptimo para los brickworks de contorno abierto es el estado de "fronteras entrelazadas" (singletes en los extremos, estados producto en el centro), el cual converge más lento que la probabilidad de colisión.
4. Arquitecturas Rápidas:
   • Se muestra que las arquitecturas Permuted Brickwork (PB) y PBFE dispersan significativamente más rápido que las arquitecturas muestreadas por grafos.
   • La arquitectura PBFE construye un 2-diseño de orden 0.01 en 50 qubits con solo 12 capas, sugiriendo que la profundidad requerida es casi independiente del número de qubits para estas construcciones específicas.
   • El Grafo Completo Paralelo (PCG), sugerido previamente como el más rápido anticoncentrador, resulta no ser el más rápido en dispersión absoluta, aunque es más rápido que cualquier arquitectura muestreada por grafos.
5. Anticoncentración vs. 2-Diseños:
   • Aunque la anticoncentración (probabilidad de colisión) y la formación de 2-diseños están estrechamente relacionadas, no siempre son equivalentes.
   • Para el grafo estrella, la probabilidad de colisión converge mucho más rápido que el error multiplicativo, demostrando que el "experimento óptimo" no siempre es la probabilidad de colisión.
   • Para los brickworks 1D con contornos abiertos, existe una brecha entre la profundidad requerida para la anticoncentración y la profundidad requerida para un 2-diseño, mientras que estas coinciden para contornos periódicos.

Significancia y Reivindicaciones
El artículo afirma proporcionar una caracterización numérica exhaustiva de los segundos momentos en circuitos cuánticos aleatorios, ofreciendo "todo lo que siempre quiso saber... pero que le dio miedo calcular".

• Profundidad Práctica: Los resultados sugieren que, para rangos de parámetros realistas, solo se necesitan 10–20 capas para construir un 2-diseño aproximado para muchas arquitecturas, lo que representa una mejora de un gran factor constante sobre construcciones previas.
• Límites de Conectividad: El trabajo establece que, si bien la geometría del grafo influye en las tasas de dispersión, el cuello de botella principal es la conectividad. Los autores conjeturan que los grafos lineal y completo representan los límites extremos para el conteo de conexiones y el conteo de puertas, respectivamente.
• Límites Teóricos: El documento señala modestamente que, aunque sus resultados numéricos son exactos para un $n$ finito, son "fuertemente sugestivos" en lugar de pruebas formales para $n \to \infty$. Sin embargo, proporcionan la primera prueba rigurosa de que ciertas familias de grafos (puente/lollipop) requieren $\Omega(n)$ puertas, refutando la idea de una forma asintótica universal para todos los grafos.
• Brecha de Anticoncentración: Los autores destacan que los resultados que vinculan la anticoncentración con los estados 2-diseños (Ref. [15]) no se extienden de manera directa a los diseños unitarios, ya que la razón entre los errores de colisión y multiplicativo puede crecer arbitrariamente grande dependiendo de la arquitectura.

El artículo concluye sugiriendo direcciones futuras, como extender el algoritmo a $t > 2$, explorar otros grupos e investigar si propiedades de grafos más simples (como las razones de corte mínimo o min-cut) pueden reemplazar las complejas medidas de conectividad utilizadas aquí.