Sampling hard circuits with verifiably high fidelity

Planteamiento del Problema

Demostrar la ventaja cuántica mediante propuestas basadas en el muestreo (por ejemplo, el Muestreo de Circuitos Aleatorios) enfrenta dos cuellos de botella críticos en la era de la tecnología de corto plazo (near-term):

1. Supresión de Errores: Aumentar el tamaño del circuito para lograr la dureza clásica suele amplificar el ruido del hardware, lo que provoca que la distribución de salida se vuelva trivial y clásicamente simulable. Las propuestas existentes que son amigables con el hardware carecen de una protección contra errores de baja sobrecarga, mientras que las propuestas estructuradas son difíciles de mapear al hardware de corto plazo en regímenes de dureza clásica.
2. Verificación: Verificar que se realizó una computación cuántica compleja con alta fidelidad es difícil. Resolver la fidelidad en salidas ampliamente distribuidas requiere un número prohibitivo de muestras. Los benchmarks existentes (como el Benchmarking de Entropía Cruzada, XEB) dependen de supuestos fuertes sobre el ruido (por ejemplo, homogeneidad espacial, independencia temporal) o requieren una simulación clásica costosa para servir como proxy.

Los autores pretenden desarrollar un protocolo que logre simultáneamente dureza clásica demostrable, ejecución de alta fidelidad mediante detección de errores y verificación dependiente del dispositivo con supuestos de ruido más débiles que los benchmarks actuales.

Metodología: Muestreo de Clifford Dopado (DCS)

Los autores proponen un protocolo llamado Muestreo de Clifford Dopado (DCS) que combina circuitos de Clifford estructurados con recursos "mágicos" no-Clifford, todo ello codificado dentro de un código espacio-temporal.

1. Construcción del Circuito:

• Esqueleto de Clifford: El experimento comienza con un circuito de Clifford aleatorio y altamente entrelazado (específicamente un patrón de ladrillo de profundidad $n$ en $n$ qubits). Esta estructura se elige porque puede ser codificada eficientemente y su fidelidad de salida puede medirse directamente.
• Codificación Espacio-Temporal: El circuito de Clifford se codifica utilizando códigos espacio-temporales. Esto implica añadir qubits ancilla para realizar comprobaciones de Pauli (medición de síndromes) distribuidas tanto en el espacio como en el tiempo. Estas comprobaciones detectan errores mediante la medición de síndromes; las ejecuciones con síndromes no nulos se post-seleccionan (se descartan). Esto proyecta efectivamente el estado en un subespacio de bajo error.
• Dopaje con Puertas T: Para introducir la dureza clásica, el circuito se "dopa" con puertas no-Clifford $T$. Crucialmente, estas puertas $T$ se colocan solo en cables espacio-temporales que conmutan con los estabilizadores del código (específicamente, conmutan con los back-cumulants de las comprobaciones de Pauli).
  • Debido a que las puertas $T$ conmutan con las comprobaciones, no alteran la distribución de los síndromes.
  • En el hardware superconductor, las rotaciones $Z$ (incluyendo las puertas $T$) se implementan virtualmente mediante el seguimiento de marco (frame tracking), lo que significa que introducen un ruido adicional insignificante.

2. Lógica de Certificación de Fidelidad:
La innovación central es un método para establecer un límite inferior de la fidelidad del estado dopado y duro ($F_2$) utilizando la fidelidad medible del estado de Clifford no dopado ($F_1$).

• Invarianza: Dado que las puertas $T$ conmutan con las comprobaciones, el conjunto de fallos aceptados (síndromes) es idéntico para los circuitos dopados y no dopados.
• Inofensivo vs. Dañino: En el circuito de Clifford no dopado, algunos fallos son "inofensivos" (estabilizan el estado) y otros son "dañinos". El dopaje puede convertir potencialmente un fallo previamente inofensivo en uno dañino, reduciendo la fidelidad.
• El Límite: Los autores demuestran que la probabilidad de que un fallo inofensivo se convierta en uno dañino es asintóticamente pequeña (inversa polinómica en $n$) para circuitos de Clifford aleatorios.
• Resultado: La fidelidad del estado dopado está acotada inferiormente por:
  $$F_2 \ge F_1 - \text{Pr}(\text{inofensivo} \mid \text{aceptado})$$
  Esto permite a los autores estimar $F_2$ sin necesidad de simular el circuito dopado y duro, basándose únicamente en la $F_1$ medible y en un límite teórico sobre la conversión de fallos.

Resultados Experimentales

El protocolo se demostró en un circuito de Clifford de 70 qubits y profundidad 70 dopado con 468 puertas $T$, ejecutado en un procesador superconductor de IBM (IBM Boston) utilizando 97 qubits físicos (70 de datos + 27 ancilla).

• Supresión de Errores: La post-selección de síndromes suprimió las tasas de error de puerta en un factor de 10$\times$ en comparación con la tasa de error física. El estado de referencia de Clifford codificado alcanzó una fidelidad de 0.32(1) (0.57(2) con mitigación de lectura).
• Límite Inferior de Fidelidad: Basándose en la fidelidad de Clifford medida y en la probabilidad estimada de conversión de fallo inofensivo (0.013), los autores establecieron un límite inferior de confianza del 95% de 0.284 para la fidelidad del estado dopado, que es clásicamente duro.
• Dureza Clásica: El experimento generó ~2,000 muestras en 16 minutos. Los autores estiman que esta instancia es inviable para los algoritmos actuales de redes de tensores y de estabilizadores.
  • Redes de Tensores: El circuito exhibe un alto entrelazamiento (rango bipartito mínimo de 30), lo que requiere dimensiones de enlace ($2^{30}$) que exceden la memoria de las supercomputadoras de frontera actuales.
  • Descomposición de Estabilizadores: Con 468 puertas $T$, el rango de estabilizador es demasiado alto para una simulación eficiente ($\Omega(2^{0.228 \times 468})$).
• Validación: El límite de fidelidad fue validado en regímenes intermedios (conteos bajos y medios de $T$) utilizando Estimación Directa de Fidelidad (DFE) y Benchmarking de Entropía Cruzada (XEB), confirmando que el límite teórico se mantiene.

Contribuciones Clave

1. Dureza Estructurada con Detección de Errores: El artículo introduce un método sistemático para promover un estado estabilizador a un estado mágico (mediante el dopaje con $T$) preservando al mismo tiempo las capacidades de detección de errores de un código espacio-temporal. Esto permite la ejecución de alta fidelidad de circuitos clásicamente duros.
2. Certificado de Fidelidad Dependiente del Dispositivo: Los autores proporcionan un certificado para la fidelidad de un estado cuántico duro que requiere supuestos de ruido sustancialmente más débiles que los proxies existentes (como XEB). No asume un ruido espacialmente homogéneo o temporalmente independiente, solo un modelo de ruido de Pauli general (alcanzable mediante twirling).
3. Demostración Experimental: El trabajo demuestra el primer experimento de muestreo que combina garantías de dureza agnósticas al algoritmo con la ejecución confiable de circuitos profundos y con detección de errores en hardware actual.

Significado y Reivindicaciones

El artículo afirma abordar el "problema de escalabilidad" en las demostraciones de ventaja cuántica: la dificultad de escalar simultáneamente el tamaño del circuito, suprimir el ruido y verificar el resultado.

• Coexistencia de Dureza y Confianza: El significado principal es demostrar que la dureza clásica demostrable y la ejecución confiable (mediante detección de errores y certificación de fidelidad) pueden coexistir.
• Camino a la Escalabilidad: Aunque el enfoque actual depende de la post-selección (que tiene una sobrecarga), los autores argumentan que los mismos códigos espacio-temporales pueden adaptarse para la ventaja cuántica con tolerancia a fallos a medida que el hardware mejore.
• Robustez de la Verificación: El método relaja los estrictos supuestos de ruido requeridos por XEB, haciendo que la verificación sea más robusta frente al ruido de hardware realista y correlacionado.

Los autores mantienen la modestia respecto a la escala absoluta de la ventaja, señalando que los tiempos de simulación pueden cambiar con mejores algoritmos o hardware, pero enfatizando que la garantía estructural de dureza combinada con la fidelidad verificada es el logro clave. Dejan abierta la posibilidad de simulaciones más rápidas con algoritmos mejorados, pero afirman que su instancia específica es actualmente intratable para los métodos de vanguardia.