En el ámbito de la informática moderna, existe una diferencia fundamental entre la forma en que las máquinas clásicas y las máquinas cuánticas procesan la información. Las computadoras clásicas, las que usamos todos los días, almacenan datos como bits que son cero o uno. Las computadoras cuánticas, sin embargo, utilizan bits cuánticos, o qubits, que pueden existir en una mezcla compleja de estados simultáneamente. Esta capacidad única les permite abordar ciertos problemas con una velocidad que parece imposible para las máquinas clásicas. Uno de los ejemplos más famosos es la búsqueda en una lista masiva y desorganizada de elementos. Una computadora clásica debe verificar los elementos uno por uno, pero una computadora cuántica puede encontrar un elemento específico mucho más rápido utilizando una técnica llamada amplificación de amplitud. Sin embargo, esta aceleración depende de que la computadora tenga el tipo adecuado de acceso a los datos. Si los datos están ocultos dentro de un estado cuántico que la computadora no puede ver directamente, las reglas del juego cambian por completo. La pregunta que durante mucho tiempo ha desconcertado a los científicos es si un ayudante poderoso que conoce el secreto puede simplemente decirle a una computadora cuántica qué buscar usando el lenguaje ordinario, o si la naturaleza cuántica del secreto hace que sea imposible describirlo sin perder la misma ventaja que lo hace especial.

Un investigador abordó recientemente esta cuestión diseñando un experimento mental que involucra a un verificador cuántico y a un ayudante omnisciente. Imagine un escenario en el que una computadora cuántica intenta encontrar un estado cuántico específico y oculto. Este estado es como una aguja en un pajar, pero el pajar está hecho de posibilidades cuánticas. La computadora tiene una herramienta especial que puede decirle si está cerca de la aguja, pero no puede ver la aguja en sí. Para ayudar, un ayudante superinteligente e ilimitado que sabe exactamente dónde está la aguja intenta guiar a la computadora. El problema es que el ayudante solo puede enviar mensajes usando bits clásicos, el mismo tipo de ceros y unos utilizados por las computadoras estándar. El investigador quería saber si este flujo de consejo clásico, incluso si es largo y consiste en una conversación de ida y vuelta, podría ayudar a la computadora cuántica a encontrar el estado oculto de manera tan eficiente como si se le hubiera entregado el estado directamente.

El estudio demuestra que ninguna cantidad de conversación clásica puede cerrar esta brecha. El investigador demostró que, para un estado cuántico oculto elegido al azar de entre el vasto espacio de todos los estados posibles, una computadora cuántica no puede encontrarlo con alta precisión a menos que realice un número de comprobaciones que crezca exponencialmente con el tamaño del estado. Incluso si el ayudante envía una cantidad masiva de información clásica, la computadora todavía necesita realizar un trabajo enorme. Específicamente, el producto del cuadrado del número de comprobaciones que realiza la computadora y la cantidad total de información clásica enviada debe ser increíblemente grande para tener éxito. Si la cantidad de información enviada se limita a un tamaño razonable, el número de comprobaciones requeridas se vuelve tan vasto que es efectivamente imposible para la computadora resolver el problema en un marco de tiempo práctico. Este hallazgo es válido incluso si se le permite al ayudante realizar cualquier cálculo imaginable y se le permite a la computadora almacenar y procesar información cuántica libremente entre mensajes.

Este resultado tiene implicaciones profundas para nuestra comprensión del poder de las computadoras cuánticas en comparación con las clásicas. Muestra que la ventaja de tener un testigo cuántico —una pieza de información cuántica que demuestra que una solución es correcta— no puede ser reemplazada por un testigo clásico, sin importar cuánto hable el informante. En el lenguaje de la informática, esto significa que una clase específica de problemas que pueden ser verificados con una sola prueba cuántica no pueden ser resueltos o verificados simplemente mediante el intercambio de mensajes clásicos, incluso con un número ilimitado de rondas de conversación. El investigador construyó un escenario matemático específico, o "oráculo", donde esta separación es absoluta. En este escenario, existe un problema que una computadora cuántica con una prueba cuántica puede resolver fácilmente, pero una computadora cuántica que depende solo de un ayudante clásico, por muy inteligente o comunicativo que sea, no puede resolver.

El estudio también extiende estos hallazgos al campo de la criptografía, específicamente respecto a la seguridad de los futuros sistemas cuánticos. El investigador utilizó su límite inferior para construir un escenario donde un lenguaje cuántico permanece seguro incluso contra un adversario que tiene acceso a un oráculo de decisión QCIP[2] (un sistema que permite la interacción con un informante clásico). Esto ayuda a establecer que ciertas tareas criptográficas, como el cifrado de testigos y la ofuscación de indistinguibilidad cuántica, podrían permanecer seguras incluso si un atacante tiene acceso a una computadora cuántica que puede interactuar con tal oráculo clásico. El trabajo sugiere que la dificultad de describir un estado cuántico usando lenguaje clásico no es solo un inconveniente menor, sino una barrera fundamental. Confirma que la "cuanticidad" de un estado es un recurso que no puede comprimirse en un mensaje clásico sin perder la capacidad de verificar o encontrar dicho estado de manera eficiente.

El investigador llegó a estas conclusiones analizando cuidadosamente cuánta información puede revelar un registro clásico sobre un estado cuántico oculto. Demostró que cada vez que el ayudante envía un mensaje clásico, este solo reduce las posibilidades para el estado oculto por una fracción mínima. Debido a que el espacio de los estados cuánticos posibles es tan vasto, la cantidad de bits requeridos para describir el estado con precisión es enorme. Incluso con una conversación de ida y vuelta, el ayudante no puede transmitir suficiente información para guiar a la computadora hacia el estado correcto sin que la computadora misma realice una cantidad masiva de consultas al estado oculto. La prueba se basa en las propiedades matemáticas de los estados cuánticos aleatorios y en los límites de cuánto puede un mensaje clásico reducir la incertidencia. Es una demostración rigurosa de que la brecha entre la información clásica y la cuántica no es algo que pueda cerrarse simplemente hablando más.

En el contexto más amplio de la teoría de la complejidad cuántica, este trabajo aclara los límites de lo que es posible. Resuelve una pregunta de larga data sobre si el consejo clásico interactivo podría imitar el poder de un testigo cuántico. La respuesta es un no definitivo. El investigador demostró que, para un estado oculto elegido al azar, la única forma de encontrarlo eficientamente es tener el estado mismo o una descripción cuántica de este. La interacción clásica, por sofisticada que sea, no puede sustituir al recurso cuántico. Esto proporciona una separación clara entre diferentes clases de problemas computacionales y fortalece nuestra comprensión de por qué se espera que las computadoras cuánticas sean más poderosas que las clásicas para ciertas tareas. Los hallazgos también respaldan la idea de que el dinero cuántico y otros esquemas criptográficos cuánticos podrían ser seguros contra ataques clásicos, ya que los estados cuánticos subyacentes no pueden ser comunicados o reconstruidos eficazmente mediante medios clásicos.

El artículo concluye reforzando la idea de que el mundo cuántico opera bajo reglas que son fundamentalmente diferentes a nuestra experiencia cotidiana. Mientras que podemos describir muchas cosas en el mundo con palabras y números, un estado cuántico porta un tipo de información que se resiste a este tipo de descripción. El trabajo del investigador no solo muestra que es difícil describir un estado cuántico; prueba que es imposible hacerlo de manera eficiente sin perder las propiedades esenciales que hacen que el estado sea útil. Esta visión es crucial para el desarrollo futuro de las tecnologías cuánticas, ya que define los límites de lo que se puede lograr con la comunicación clásica en un mundo cuántico. Sugiere que, a medida que construyamos sistemas cuánticos más complejos, debemos confiar en los recursos cuánticos para gestionarlos y verificarlos, en lugar de intentar traducir todo al lenguaje de los bits clásicos. El estudio se erige como una firme prueba matemática de que la ventaja cuántica es real y que no puede ser eludida mediante estrategias clásicas ingeniosas.