⚛️ quantum physics

Verifiable blind probabilistic error cancellation

Este artículo presenta la Cancelación de Errores Probabilística Ciega Verificable (VBPEC, por sus siglas en inglés), el primer protocolo criptográfico que verifica de forma segura la mitigación de errores cuánticos en hardware no confiable con ceguera perfecta y un error de seguridad exponencialmente pequeño, evitando al mismo tiempo la sobrecarga de espacio cuántico.

Autores originales: Bo Yang, Elham Kashefi, Harold Ollivier

Publicado 2026-07-29

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Bo Yang, Elham Kashefi, Harold Ollivier

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás intentando resolver un rompecabezas masivo e imposible, pero no tienes las piezas ni la mesa para hacerlo por ti mismo. Así que contratas a un extraño en una habitación cerrada para que haga el trabajo por ti. Este es el sueño de la "computación cuántica en la nube": dejar que una potente computadora cuántica remota resuelva problemas que son demasiado difíciles para nuestras máquinas actuales. Pero hay un inconveniente. Las computadoras cuánticas son increíblemente frágiles; son como delicadas esculturas de vidrio que se rompen si las miras demasiado fuerte o si el aire es demasiado seco. Este "ruido" crea errores, haciendo que las respuestas sean poco fiables.

Para solucionar esto, los científicos han desarrollado un truco llamado "Cancelación de Errores Probabilística" (PEC, por sus siglas en inglés). Piensa en ello como unos auriculares con cancelación de ruido para las matemáticas. Si conoces el patrón exacto de la estática (el ruido), puedes reproducir un contra-sonido para cancelarlo, dejando una señal clara. Sin embargo, esto solo funciona si confías en la persona que genera el contra-sonido. Si el extraño en la habitación cerrada es un embaucador, podría fingir que cancela el ruido mientras en realidad arruina tu rompecas piezas, o podría mentirte sobre qué es lo que constituye el ruido. Hasta ahora, no había forma de comprobar si estaba haciendo el trabajo honestamente y si realmente estaba corrigiendo los errores. Este artículo presenta un nuevo método que actúa como un árbitro mágico y superestricto, asegurando que el extraño sea tanto honesto como capaz de corregir realmente el ruido, todo sin que tú tengas que asomarte jamás al interior de su habitación.

El Problema: La Caja Mágica No Confiable

Supongamos que quieres hacerle una pregunta a una computadora cuántica, como "¿Cuál es la energía de esta nueva molécula?". Envías la pregunta a un servidor remoto (el "Servidor") porque tu propia computadora no es lo suficientemente potente. Pero el Servidor no es confiable. Podría ser una IA rebelde, una máquina con fallos o simplemente un mal actor intentando engañarte.

En el pasado, los científicos tenían dos formas de manejar esto:

Computación Ciega: Podías enviar instrucciones en un código secreto para que el Servidor no sepa qué está calculando. Esto mantiene tus secretos seguros, pero si el Servidor comete un error (o miente), no tienes forma de saberlo. Simplemente recibes una respuesta incorrecta.
Corrección de Errores: Podrías intentar corregir el ruido. Pero la corrección de errores estándar requiere muchos qubits (bits cuánticos) "de repuesto" adicionales, de los cuales las máquinas actuales carecen.

Entonces llegó la Cancelación de Errores Probabilística (PEC). Es un ingenioso trucción de software. En lugar de necesitar hardware adicional, ejecuta el cálculo muchas veces mezclando diferentes movimientos de "cancelación de ruido". Al promediar los resultados, resta matemáticamente el ruido. ¿El problema? La PEC asume que el Servidor es honesto respecto al ruido. Si el Servedor es malicioso, puede mentir sobre el patrón del ruido, y tu "cancelación" en realidad hará que la respuesta sea peor. Necesitas una forma de verificar que el Servidor está siguiendo las reglas y que el ruido que está cancelando es real.

La Solución: VBPEC (El Árbitro Mágico)

Los autores, Bo Yang, Elham Kashefi y Harold Ollivier, han creado un nuevo protocolo llamado Cancelación de Errores Probabilística Ciega Verificable (VBPEC). Es el primer sistema que combina tres cosas a la vez:

Ceguera: El Servidor nunca llega a saber qué estás calculando.
Verificación: Puedes demostrar matemáticamente que el Servidor no hizo trampa.
Cancelación de Errores: El Servidor realmente corrige el ruido, dándote una mejor respuesta.

Así es como funciona la magia, usando algunas analogías:

1. El "Libro de un Solo Uso" de los Secretos Cuánticos

Para mantener al Servidor ciego, el protocolo utiliza algo llamado "Libro de un Solo Uso Cuántico" (Quantum One-Time Pad). Imagina que estás enviando un mensaje al Servidor, pero envuelves cada letra en un sobre aleatorio e inquebrantable. El Servidor tiene que abrir el sobre, hacer el trabajo y volver a meterlo en un nuevo sobre aleatorio. Debido a que los sobres son aleatorios, el Servidor solo ve garabatos. No puede saber si está calculando la energía de una molécula o simplemente contando hasta diez. Esto garantiza una ceguera perfecta.

2. Convirtiendo el Caos en un Juego de Dados

Los autores descubrieron algo brillante: debido a los sobres aleatorios (el Libro de un Solo Uso Cuántico), cualquier error o trampa que el Servidor intente hacer se desordena en un tipo específico de error aleatorio llamado "canal de Pauli estocástico".
Piénsalo de esta manera: si el Servidor intenta sabotear tu rompecabezas retorciendo una pieza, los sobres aleatorios la retuercen de nuevo en un simple "giro" (como pasar una moneda de cara a cruz). El Servidor ya no puede hacer nada sofisticado; solo puede lanzar monedas. Esto es una excelente noticia porque lanzar monedas es fácil de rastrear y cancelar.

3. La Trampa y la Prueba Estadística

Ahora, ¿cómo atrapas a un mentiroso? El protocolo utiliza "trampas". Imagina que envías al Servidor una mezcla de piezas de rompecabezas reales y piezas de "trampa" falsas. Las piezas de trampa están diseñadas de tal manera que, si el Servidor es honesto, aterrizarán en un lugar específico y predecible. Si el Servidor hace trampa, las trampas aterrizarán en el lugar equivocado.

En los protocolos anteriores, simplemente contabas cuántas trampas fallaban. Si demasiadas fallaban, decías: "¡Se acabó el juego, hiciste trampa!". Pero esto es demasiado estricto. Si la máquina tiene solo un poco de ruido (no está haciendo trampa), podría fallar en algunas trampas y tú descartarías un buen resultado.

VBPEC cambia el juego. En lugar de solo contar los fallos, utiliza los resultados de las trampas para estimar exactamente cuánto ruido está ocurriendo. Es como un chef probando una sopa. En lugar de decir simplemente "Está demasiado salada, tírala", el chef la prueba y dice: "Está un 10% más salada de lo que debería". Luego, el chef usa ese conocimiento para ajustar la receta.

En VBPEC, el cliente (tú) utiliza los resultados de las trampas para calcular un "mapa de ruido". Si el mapa de ruido coincide con lo que el Servidor debería estar haciendo, el cliente acepta el resultado. Si el mapa de ruido parece extraño (como si el Servidor estuviera mintiendo), el cliente lo rechaza.

La Gran Victoria: Cancelación Activa de Ruido

La parte más emocionante es lo que sucede cuando el Servidor es honesto pero la máquina tiene ruido.

Forma Antigua: Si el ruido era demasiado alto, el protocolo rechazaría el resultado el 100% de las veces. No obtendrías nada.
Forma VBPEC: El protocolo detecta el ruido, comprueba que coincida con el patrón esperado y luego lo cancela activamente. Acepta el resultado y te da una respuesta corregida.

El artículo demuestra que, si el Servidor es honesto, la probabilidad de obtener una respuesta correcta y con el ruido cancelado aumenta a casi el 100% a medida que se ejecutan más rondas. Incluso si el modelo de ruido no es perfecto (tal vez la máquina es ligeramente distinta de lo esperado), el protocolo es lo suficientemente robusto como para seguir funcionando, siempre y que la discrepancia no sea demasiado grande.

Qué Significa Esto para Ti

Este artículo no solo dice "creemos que esto podría funcionar". Proporciona una prueba matemática rigurosa de que VBPEC es composablemente seguro. Esto significa que puedes usarlo como un bloque de construcción en un sistema más grande, y las garantías de seguridad se mantienen.

Los autores demuestran que:

No necesitas hardware cuántico adicional (no hay "sobrecarga de espacio").
El único coste es ejecutar el cálculo algunas veces más (lo cual es barato comparado con construir nuevo hardware).
Puedes confiar en la respuesta incluso si la computadora es propiedad de un extraño que podría estar intentando engañarte.

En resumen, VBPEC convierte la "nube cuántica no confiable y ruidosa" de un riesgo peligroso en una herramienta fiable. Cierra la brecha entre la realidad desordenada y ruidosa de las computadoras cuánticas actuales y el mundo perfecto y seguro de la criptografía. Es un paso importante hacia el día en que podamos pedir con confianza a una computadora cuántica remota que resuelva nuestros problemas más difíciles, sabiendo que la respuesta es real, privada y correcta.

Resumen Técnico: Cancelación de Errores Probabilística Ciega y Verificable (VBPEC)

1. Planteamiento del Problema

La Mitigación de Errores Cuánticos (QEM), particularmente la Cancelación de Errores Probabilística (PEC), ha surgado como una técnica crítica para permitir computaciones útiles en dispositivos de escala intermedia con ruido (NISQ) sin la sobrecarga de espacio de la tolerancia a fallos completa. La PEC funciona invirtiendo virtualmente un canal de ruido mediante el uso de cuasi-probabilidades para suprimir el sesgo de estimación. Sin embargo, la fiabilidad de la PEC depende actualmente de manera total de un modelado de ruido preciso y de una implementación fiel por parte del proveedor del hardware.

En un escenario de computación delegada, donde un cliente delega la computación a un servidor no confiable y potencialmente malicioso, esta dependencia crea una brecha de seguridad. Los protocolos existentes de Computación Cuántica Ciega Verificable (VBQC) pueden detectar desviaciones maliciosas, pero no pueden mitigar activamente el ruido físico para mejorar las probabilidades de aceptación más allá de un umbral de ruido fijo. Por el contrario, los protocolos estándar de QEM carecen de garantías criptográficas; un servidor malicioso podría desviarse durante la ejecución o proporcionar un mapa de ruido inexacto, invalidando la estrategia de mitigación o volviéndola engañosa. Actualmente no existe un protocolo que ofrezca garantías de seguridad de extremo a extremo para la computación delegada con mitigación de errores.

2. Metodología

Los autores introducen la Cancelación de Errores Probabilística Ciega y Verificable (VBPEC), un protocolo que integra la PEC en el marco de la Estimación de Observables Ciega y Verificable (VBOE) dentro del marco de la Criptografía Abstracta. La metodología se basa en tres pilares técnicos fundamentales:

Implementación Ciega de PEC mediante MBQC: El protocolo utiliza el modelo de Computación Cuántica Basada en Mediciones (MBQC) y el Quantum One-Time Pad (QOTP). El QOTP "remueve" (twirls) cualquier desviación arbitraria del servidor en un canal de Pauli estocástico efectivo. Crucialmente, los autores demuestren que las operaciones de cancelación de Pauli requeridas para la PEC pueden absorberse enteramente en el post-procesamiento clásico del cliente (específicamente, mediante la inversión de los resultados de las mediciones o el ajuste de ángulos). Esto permite al cliente realizar la PEC de forma ciega, ocultando las operaciones de cancelación específicas al servidor mientras mantiene la perfecta ceguera de la computación objetivo.
Verificación Estadística mediante Patrones de Trampa: En lugar de depender de comprobaciones deterministas de paso/fallo para rondas individuales, la VBPEC emplea patrones de trampa generales para evaluar estadísticamente la desviación del servidor. Al aplicar la transformada de Walsh–Hadamard a las salidas de patrones de trampa muestreados aleatoriamente, el cliente reconstruye un estimador insesgado de la distribución de la desviación de Pauli efectiva del servidor. Esto permite al cliente cuantificar el desajuste entre el ruido real del servidor y el modelo de ruido de referencia de la PEC ( $E_{PEC}$ ).
Nueva Técnica de Prueba para Resultados con Estimadores: Dado que el protocolo produce estimadores estadísticos en lugar de resultados clásicos deterministas, las técnicas de prueba estándar de paso/fallo por ronda son insuficientes. Los autores desarrollan una nueva técnica de prueba que controla simultáneamente las fluctuaciones de muestras finitas del estimador mitigado para la computación objetivo y los estimadores del modelo de ruido basados en trampas. Esto establece un límite en el sesgo de estimación residual basado en la cercanía estadística de las rondas de prueba con respecto al modelo de referencia.

El protocolo opera intercalando $N_c$ rondas de computación (donde se aplica la PEC) y $N_t$ rondas de prueba (usando patrones de trampa generales). El cliente acepta el resultado solo si la distancia estadística entre la desviación estimada y el modelo de referencia es inferior a un umbral $\epsilon_t$ .

3. Contribuciones Clave

Formalización de la PEC Segura: El artículo define el recurso de "Cancelación de Errores Probabilística Delegada Segura (SDPEC)", capturando el comportamiento ideal donde el servidor solo aprende información pública, y cualquier salida aceptada está garantizada de estar dentro de un error prescrito del valor de expectativa ideal, siempre que el ruido coincida con el modelo de referencia.
Seguridad Componible con Mitigación Activa: La VBPEC es el primer protocolo que construye este recurso con seguridad komponible, ceguera perfecta y un error de seguridad exponencialmente pequeño. A diferencia de los protocolos de verificación previos que simplemente toleran el ruido por debajo de un umbral, la VBPEC cancela activamente el ruido que coincide con el modelo de referencia, aumentando así la probabilidad de aceptar estimaciones correctas.
Extensión de la Verificación Basada en Trampas: El trabajo extiende la utilidad de los patrones de trampa desde la simple detección de desviaciones hacia el "benchmarking de desviación de extremo a extremo". Demuestra que las estadísticas de salida de las trampas pueden codificar el modelo de ruido efectivo del servidor, permitiendo un condicionamiento estadístico en lugar de un rechazo binario.
Análisis de Robustez: Los autores demuestran que la VBPEC sigue siendo robusta bajo "ruido desajustado honesto" (donde el ruido real difiere ligeramente del modelo de referencia) y logra altas probabilidades de aceptación bajo "ruido coincidente honesto", transformando el ruido de una causa de rechazo en un costo de muestreo gestionable.

4. Resultados

Seguridad: El protocolo construye el recurso SDPEC con un error negligible en el número de rondas ( $N_c, N_t$ ). El error de seguridad es exponencialmente pequeño, y el protocolo es componiblemente seguro dentro del marco de la criptografía abstracta.
Probabilidad de Aceptación: Cuando el servidor es honesto y el ruido real coincide con el modelo de referencia de la PEC, la probabilidad de aceptar una estimación correctamente mitigada converge exponencialmente a 1 a medida que aumenta el número de rondas.
Robustez al Ruido: El protocolo tolera desajustes moderados del modelo. Si el desajuste entre la desviación real y el modelo de referencia es suficientemente pequeño (acotado por $\epsilon / \|\vec{q}\|_1$ ), el protocolo aún acepta la computación con alta probabilidad y produce una estimación dentro del límite de error deseado.
Sobrecarga: El protocolo mantiene la ausencia de sobrecarga de espacio cuántico presente en los protocolos recientes de computación cuántica verificable. La única sobrecarga es las repeticiones adicionales requeridas por el procedimiento de QEM (costo de muestreo) y las rondas de prueba para la verificación.

5. Significado

El artículo afirma que la VBPEC mejora fundamentalmente la practicidad de la verificación para la computación delegada cuántica en hardware de la era cercana. Al integrar la QEM en un marco de verificación criptográfica, establece una ruta esencial hacia la computación delegada segura, confiable y práctica.

Específicamente, la VBPEC aborda la brecha entre la computación resiliente al ruido práctica y la delegación con seguridad komponible. Permite la ejecución segura de algoritmos con mitigación de errores en servidores no confiables sin depender del comportamiento de hardware confiable o de la implementación fiel de las operaciones de mitigación. Esto es particularmente significativo para el campo emergente de la ventaja cuántica verificable basada en la estimación de observables, donde se requiere verificación criptográfica para certificar que los resultados reportados fueron producidos correctamente, incluso en presencia de ruido significativo de hardware. El trabajo sugiere un camino para verificar tareas cuánticas de forma segura antes del advenimiento de los regímenes de tolerancia a fallos completos.