Quantinuum muestra una brecha exponencial frente a lo clásico en una prueba cuántica

El experimento de Quantinuum aporta una demostración precisa de ventaja cuántica: un procesador cuántico produjo estadísticas que rebasan un límite clásico derivado rigurosamente para un juego pensado para conservar y explotar la superposición. Para una familia de instancias basada en el problema de Bernstein–Vazirani, la razón ideal de violación cuántica frente a clásica crece como 2^(n−1). 4

Es un resultado relevante, pero no significa que el procesador H2 sea «137.000 millones de veces más rápido» en tareas reales. La separación corresponde a una tarea de muestreo muy concreta, con reglas, métrica y supuestos bien definidos.

En qué consiste el juego de muestreo del complemento

Un árbitro elige en secreto un subconjunto S que contiene la mitad de todas las cadenas posibles de n bits. Después prepara un estado cuántico que es una superposición uniforme de las cadenas de ese subconjunto. El objetivo del jugador es devolver una cadena del complemento S̄: una cadena que no pertenezca a S. 34

Un jugador clásico recibe, en esencia, una muestra convencional de S. Puede descartar la cadena que ha recibido, pero esa información apenas le dice cuáles de las restantes cadenas pertenecen a S y cuáles a S̄. Por eso su estrategia está limitada por una cota formal. 47

El jugador cuántico, en cambio, recibe el estado coherente del subconjunto antes de que la medición lo reduzca a una sola cadena. En las instancias estructuradas usadas en el experimento, una transformación cuántica convierte el estado asociado a S en otro con soporte en su complemento. En el caso ideal, sin ruido, al medir se obtiene una respuesta válida con certeza. 34

La propiedad que se pone a prueba es la coherencia cuántica: la capacidad de transformar información contenida en una superposición de muchas posibilidades sin colapsarla primero en una observación clásica. No es una prueba de Bell ni una demostración de no localidad espacial.

Por qué la diferencia crece de forma exponencial

La comparación relevante no es simplemente la probabilidad bruta de acertar. El trabajo define una medida de violación sobre la línea de base clásica. Para la familia derivada de Bernstein–Vazirani, la razón ideal cuántica/clásica es 2^(n−1). 4

Con n = 37:

2^36 = 68.719.476.736

El estudio describe una comparación superior a 137.000 millones a uno debido a la convención de violación empleada en el experimento. En ambos casos, lo esencial es la escala: la señal cuántica ideal se mantiene perfecta, mientras que la ventaja permitida a la estrategia clásica disminuye exponencialmente al crecer la longitud de la cadena. 4

Por tanto, el dato no indica que H2 haya resuelto un problema útil 137.000 millones de veces más rápido que un ordenador convencional. Indica que las estrategias ideales se separan en esa magnitud bajo las reglas y la métrica de este juego.

Qué se ejecutó en los procesadores H2

El equipo ejecutó miles de circuitos en procesadores H2 de Quantinuum basados en iones atrapados. Utilizó hasta 55 qubits físicos y probó cadenas de hasta 37 bits. 48

Como ocurre en el hardware actual, el ruido hizo que el desempeño observado quedara por debajo del comportamiento ideal de éxito perfecto, y los circuitos mayores sufrieron más los errores. Aun así, los resultados reportados se mantuvieron estadísticamente por encima del umbral clásico aplicable. Esto respalda que los dispositivos implementaron la estrategia cuántica con suficiente fidelidad para violar la cota clásica. 4

La distinción importa: el experimento no afirma que una máquina clásica sea incapaz de imprimir esas cadenas de bits concretas. Afirma que, bajo el modelo de entrada establecido, la distribución medida de respuestas superó lo que puede conseguir la estrategia clásica permitida. 4

Qué mejora respecto a otras pruebas de ventaja cuántica

Muchas demostraciones anteriores de muestreo cuántico se apoyan en supuestos de teoría de la complejidad para sostener que la simulación clásica debe ser difícil. El muestreo del complemento se diseñó para evitar esa dependencia: su limitación clásica se deriva directamente para el propio juego, sin inferirla de una conjetura de dureza aún no probada. 34

También ofrece una verificación directa. El árbitro conoce cómo se construyó el subconjunto oculto y puede comprobar si la salida pertenece al complemento. El trabajo contrasta este método con el muestreo de circuitos aleatorios, cuya verificación a gran escala puede requerir simulación clásica costosa o un número muy elevado de muestras. 34

Eso convierte al juego en un buen banco de pruebas fundamental para hardware cuántico cercano: está diseñado para exhibir una separación limpia entre estrategias cuánticas y clásicas, y a la vez permite verificar el resultado con computación clásica.

Los límites tras el titular

Es una tarea de muestreo especializada

El juego fue construido para revelar una ventaja cuántica en el procesamiento de información basada en muestras. No demuestra una aceleración práctica en química, optimización, criptografía, inteligencia artificial ni computación de propósito general. 4

«Incondicional» no significa independiente de los dispositivos

La cota clásica es incondicional dentro del juego matemático, pero el protocolo experimental sigue requiriendo confiar en que el árbitro prepara correctamente el estado de entrada. Eso es distinto de una prueba plenamente independiente de los dispositivos, en la que no es necesario confiar en elementos clave del aparato. 4

El árbitro y el jugador no fueron dos ordenadores cuánticos separados

Como no se disponía de un canal real de comunicación cuántica entre ordenadores cuánticos, la implementación integró los registros del árbitro y del jugador en un mismo procesador y empleó teleportación para simular el canal cuántico. 4

Una demostración más sólida requeriría sistemas controlados de forma independiente y conectados mediante un enlace cuántico real, idealmente con hardware tolerante a fallos. Ese avance plantea sus propios retos: transferir estados cuánticos y preservar la coherencia puede convertirse en un cuello de botella para la computación cuántica distribuida. 14

La separación exponencial puede no ser el límite final

El resultado establece una separación exponencial para esta familia de juegos. No prueba que sea la mayor brecha posible entre computación cuántica y clásica, ni demuestra una separación superexponencial. Con la evidencia disponible, sigue abierta la cuestión de si tareas físicamente significativas y verificables de forma eficiente pueden exhibir diferencias aún mayores.

Qué demuestra realmente el experimento

El hito de Quantinuum puede resumirse así: hardware actual de iones atrapados cruzó una frontera clásica rigurosa en un juego de muestreo del complemento verificable eficientemente, y la separación ideal crece exponencialmente con el tamaño del problema. 34

Es una afirmación más concreta que una etiqueta genérica como «supremacía cuántica», porque especifica la tarea, la métrica, el método de verificación y los supuestos de confianza. Pero esos mismos detalles delimitan el alcance del resultado. Es evidencia convincente de que la superposición cuántica puede proporcionar una ventaja exponencial en este escenario diseñado a medida; no de que los ordenadores cuánticos hayan superado ya a los clásicos en cargas de trabajo útiles de manera general.