Noise Inference by Recycling Test Rounds in Verification Protocols

Resumen Técnico: Inferencia de Ruido mediante Reciclaje de Rondas de Prueba

1. El Problema

Los protocolos de verificación interactiva para computación cuántica permiten que un cliente con capacidades limitadas confíe en un servidor remoto (potencialmente no confiable) para realizar cálculos complejos.

• Contexto: Existen dos variantes principales: aquellas sin comunicación cuántica (que requieren sobrecarga criptográfica masiva en el servidor) y aquellas con comunicación cuántica (que utilizan la repetición de rondas como única sobrecarga).
• Desafío: En el paradigma actual de "Computar y Probar" (Compute and Test), la seguridad se logra alternando rondas de cálculo con rondas de prueba (trampas). Para garantizar la seguridad, el número de rondas debe crecer logarítmicamente con la inversa del error deseado ($O(\log(1/\epsilon))$).
• Ineficiencia Operativa: Desde la perspectiva del proveedor de servicios (servidor), estas rondas de prueba son datos "desechados" una vez que el cliente verifica la honestidad. Además, los servidores cuánticos requieren calibración constante para mantener la fidelidad. Normalmente, esta calibración requiere que la máquina se detenga (tiempo de inactividad), lo cual es costoso.
• La Pregunta Central: ¿Es posible utilizar los datos de las rondas de prueba, que son necesarios para la seguridad, para ayudar al servidor a calibrar su propio dispositivo y estimar los parámetros de su modelo de ruido, sin comprometer la seguridad del protocolo ni aumentar el tiempo de inactividad?

2. Metodología

Los autores proponen integrar el protocolo ACES (Average Circuit Eigenvalue Sampling) dentro del protocolo de Verificación Ciega Cuántica Robusta (rVBQC).

• Fundamento Teórico:

  • El rVBQC utiliza rondas de prueba donde el cliente espera resultados deterministas (trampas). Si el servidor es honesto pero ruidoso, la tasa de fallo de estas trampas revela información sobre el ruido.
  • El protocolo rVBQC aplica un "one-time pad" (encriptación) a los estados cuánticos. Al eliminar esta encriptación (una vez finalizado el protocolo), el ruido se "twirlea" (promedia), convirtiéndose efectivamente en un canal de ruido de Pauli.
  • Innovación Clave: La tasa de fallo de una trampa depende del orden en que se aplican las puertas lógicas (específicamente las puertas CZ) debido a la propagación del ruido.

• El Protocolo Propuesto (Protocolo 2):

  1. Inicialización: El servidor elige aleatoriamente una permutación $\sigma_i$ de las puertas CZ para cada ronda $i$ de ejecución.
  2. Ejecución: Cliente y servidor ejecutan rVBQC estándar, pero el servidor aplica las puertas CZ en el orden definido por $\sigma_i$.
  3. Intercambio de Aleatoriedad: Al finalizar el protocolo, el cliente envía al servidor las claves de encriptación (aleatoriedad) utilizadas en las rondas de prueba.
  4. Inferencia (ACES): El servidor, ahora con acceso a los resultados de las mediciones y las claves, puede descifrar los resultados de las trampas. Al comparar las tasas de éxito/fallo de las trampas bajo diferentes permutaciones de puertas, construye un sistema de ecuaciones lineales (matriz de diseño).
  5. Recuperación de Parámetros: El servidor invierte esta matriz para estimar los parámetros de ruido a nivel de puerta (ej. fuerza de canales de despolarización $\lambda_e$).

• Optimización de Ordenamientos:

  • Para maximizar la información extraída, los autores proponen un algoritmo basado en grafos para determinar el número mínimo de ordenamientos de puertas necesarios. Construyen un grafo de conflictos donde los nodos son triples ordenados de qubits. El número de ordenamientos necesarios es proporcional al número cromático de este grafo (ej. para un estado de racimo 2D, se requieren hasta 28 ordenamientos).

3. Contribuciones Clave

1. Reciclaje de Datos de Verificación: Demuestran que las rondas de prueba, tradicionalmente vistas como un costo de sobrecarga, pueden utilizarse para la caracterización continua del hardware sin tiempo de inactividad adicional.
2. Protocolo Seguro y Robusto: El Protocolo 2 mantiene las garantías de seguridad del rVBQC original (seguro contra un servidor malicioso arbitrario) y es robusto frente a ruido constante a nivel de circuito.
3. Integración de ACES en rVBQC: Muestran cómo adaptar la técnica ACES (diseñada para circuitos Clifford) al entorno restringido de la verificación ciega, donde el servidor no puede elegir circuitos arbitrarios, sino que debe seguir la estructura de las trampas.
4. Estimación de Ruido a Nivel de Puerta: Permiten a un servidor "honesto pero ruidoso" actualizar su modelo de ruido interno, identificando la fuerza de los canales de despolarización en puertas específicas, incluso en presencia de crosstalk (ruido cruzado).

4. Resultados

Los autores realizaron un análisis numérico en dos escenarios:

• Grafo Arbitrario Pequeño: Validaron que el estimador basado en la relación de ordenamientos puede aislar correctamente la contribución de ruido de una sola puerta específica, recuperando el parámetro de ruido inyectado con alta precisión.
• Estado de Racimo 2D (12x12):
  • Se simuló un escenario con ruido heterogéneo (parámetros de ruido extraídos de una distribución gaussiana).
  • Se evaluó la reconstrucción de los parámetros de ruido ($\hat{\lambda}_e$) frente al número de disparos (shots) de medición ($10^4, 10^5, 10^6$).
  • Hallazgos:
    • El estimador no mostró sesgo sistemático (las distribuciones de error estaban centradas en cero).
    • La precisión mejoró predeciblemente al aumentar el número de muestras (la varianza de la distribución de error disminuyó).
    • El método es estable incluso bajo ruido heterogéneo y en grafos grandes y estructurados.

5. Significado e Impacto

• Reducción de Tiempos de Inactividad: Para los proveedores de computación cuántica en la nube, esta técnica permite realizar calibración y caracterización de ruido "en vivo" durante la ejecución de tareas de verificación, eliminando la necesidad de detener la máquina para pruebas de diagnóstico.
• Cambio de Paradigma en la Verificación: Cambia la visión de los protocolos de verificación de ser meramente herramientas de seguridad a ser herramientas duales de seguridad y diagnóstico de hardware.
• Viabilidad Práctica: Demuestra que es posible extraer información detallada sobre el hardware (modelos de ruido) sin violar la privacidad del cálculo (el cliente sigue sin saber qué se está calculando) ni la seguridad del protocolo.
• Futuro: Abre la puerta a la implementación de "mapas de ruido certificados" que podrían utilizarse para mitigación de errores verificada en tiempo real, fortaleciendo la integración de la verificación en las hojas de ruta de desarrollo de máquinas cuánticas.

En resumen, el trabajo transforma la sobrecarga inherente a la verificación cuántica en una oportunidad para la mejora continua del hardware, alineando los intereses de seguridad del cliente con los intereses de calibración del servidor.