Una demostración matemática puede ser mucho más que una cadena de símbolos. En teoría de la computación, una prueba es también aquello que permite verificar que una respuesta es correcta sin tener que resolver el problema desde cero. La pregunta decisiva es qué forma puede tener esa prueba: un texto, una lista de instrucciones, un algoritmo o, en el caso más extraño, un estado cuántico.

John Bostanci, Jonas Haferkamp, Chinmay Nirkhe y Mark Zhandry han presentado un resultado sobre una de las grandes preguntas de la complejidad cuántica: si las pruebas cuánticas pueden ofrecer una capacidad real que las pruebas clásicas no pueden igualar. El paper formula esa cuestión de manera directa: “¿Ofrecen los testigos cuánticos más poder que los testigos clásicos?” 

Qué significa aquí una prueba cuántica

En este contexto, una “prueba” no es exactamente una demostración como las de un manual de matemáticas. Es una pieza de información que permite a un verificador comprobar una respuesta. Si esa pieza es clásica, puede escribirse como una cadena de bits: un documento, una receta, un programa. Si es cuántica, adopta la forma de un estado físico que un ordenador cuántico puede medir.

Las dos clases que aparecen en el paper son QMA y QCMA. QMA reúne los problemas que un ordenador cuántico puede verificar con ayuda de una prueba cuántica. QCMA reúne los que puede verificar con ayuda de una prueba clásica. La diferencia parece sutil, pero apunta al centro del problema: si una prueba cuántica siempre pudiera traducirse a una descripción clásica útil, entonces QCMA tendría la misma fuerza que QMA.

El nuevo trabajo demuestra una separación entre ambas clases en un modelo con oráculo clásico. Dicho con cuidado: no resuelve de manera absoluta si QMA y QCMA son distintas en el mundo sin oráculos, pero sí muestra una situación matemática muy relevante en la que QMA es estrictamente más potente que QCMA. 

El problema de las dos mediciones

El caso elegido por los autores se llama spectral Forrelation. La idea puede explicarse sin entrar en toda la maquinaria técnica. El oráculo describe dos conjuntos, y el verificador debe decidir si existe un estado cuántico cuyas mediciones encajen bien con ambos conjuntos: una medición en la base habitual y otra en una base relacionada por la transformada de Hadamard. 

Hay casos en los que poseer el estado cuántico permite verificar algo que ningún documento clásico puede sustituir de forma eficiente.

Podemos imaginar dos sombras que podrían proceder del mismo objeto, visto desde ángulos distintos. La pregunta es si hay algo detrás capaz de producir las dos. En el paper, ese “algo” es un estado cuántico. Si el verificador recibe ese estado, puede comprobar la compatibilidad de las dos mediciones.

¿Pero qué ocurre cuando intentamos sustituir ese estado por una prueba clásica? Una descripción escrita tendría una propiedad muy corriente: se puede copiar, releer y reutilizar. En cambio, un estado cuántico no se comporta así. Medirlo altera la información disponible. Esa asimetría, aparentemente técnica, sostiene el argumento central.

La ventaja sospechosa de lo clásico

La parte más elegante del resultado es casi paradójica. Una prueba clásica parece, en cierto sentido, más cómoda que una cuántica: puede duplicarse tantas veces como haga falta. Los autores aprovechan esa ventaja para mostrar que sería demasiado buena para ser real.

Si existiera una prueba clásica capaz de reemplazar a la cuántica en este problema, podría reutilizarse para generar muchas muestras de cierta distribución. Pero el paper demuestra que esa tarea de muestreo es demasiado difícil incluso con acceso cuántico al oráculo correspondiente. Por tanto, la hipótesis inicial falla, es decir, no puede existir una prueba clásica eficiente que haga el mismo trabajo.

Los autores resumen el núcleo de la idea así del siguiente modo: un algoritmo con testigo clásico puede ejecutarse muchas veces para generar muestras, mientras que un testigo cuántico es un objeto de “un solo uso”. Esta diferencia permite probar una cota inferior para QCMA sin arrastrar al mismo tiempo una cota inferior para QMA, que era uno de los obstáculos habituales.

Por qué el resultado importa

El matiz del oráculo es esencial. Una separación con oráculo no equivale a una demostración definitiva de que QMA y QCMA sean distintas en todos los modelos posibles. Funciona como una evidencia estructural fuerte, una forma de mostrar que, bajo un entorno matemático controlado, las pruebas cuánticas tienen una capacidad que las clásicas no reproducen.

La ventaja de una prueba clásica —poder copiarse— se convierte aquí en la pista que demuestra que no puede existir.

Esto importa porque evita una explicación demasiado pobre de la ventaja cuántica. No se trata solo de que ciertos estados sean enormes y difíciles de describir. El paper en realidad lo que busca es mostrar que incluso la información necesaria para verificar una respuesta puede resistirse a una sustitución clásica útil. 

También abre conexiones con criptografía cuántica. Los propios autores señalan vínculos con preguntas sobre dinero cuántico y pseudorandomness frente a adversarios cuánticos. No es una aplicación inmediata, pero sí una pista sobre el tipo de frontera conceptual que este resultado ayuda a dibujar.

Una frontera más nítida

El valor del trabajo está en haber convertido una sospecha abstracta en un resultado matemático preciso. La computación cuántica no solo promete acelerar algunos cálculos. También obliga a revisar qué entendemos por prueba, por verificación y por descripción de la información.

El resultado no cierra toda la cuestión, pero vuelve mucho más nítida la frontera entre verificar con bits y verificar con estados cuánticos.

La idea más fuerte del paper puede decirse de forma sencilla: hay casos en los que poseer el estado cuántico permite verificar algo que ningún documento clásico puede sustituir de forma eficiente. No es una demostración final sobre toda la computación cuántica, pero sí un avance notable en una pregunta que llevaba mucho tiempo resistiéndose.