The Low-Individual-Degree Test Without the Diagonal-Lines Test Is Not Quantum-Sound

En el extraño y contraintuitivo mundo de la computación cuántica, los científicos suelen recurrir a un truco ingenioso para verificar que una máquina está haciendo lo que afirma estar haciendo. Imagine un juego en el que dos jugadores, que no pueden comunicarse entre sí, deben responder preguntas sobre un patrón masivo y complejo. Para demostrar que realmente están siguiendo un conjunto único y consistente de reglas, deben responder de una manera que encaje perfectamente. En el mundo clásico, si sus respuestas coinciden a lo largo de cada línea recta trazada a través del patrón, podemos estar seguros de que están describiendo un único objeto global. Esta lógica es la base de las "pruebas de bajo grado" (low-degree tests), una herramienta utilizada para comprobar si las respuestas locales provienen de un único polinomio global, una forma matemática que se curva suavemente en lugar de retorcerse salvajemente.

Sin embargo, el mundo cuántico es mucho más escurridizo. En la mecánica cuántica, el acto de medir un sistema puede cambiarlo, y diferentes mediciones podrían no ser compatibles entre sí. Esto significa que dos jugadores que comparten un estado cuántico podrían dar respuestas que parecen perfectas cuando se comprueban a lo largo de direcciones específicas, pero que fallan al representar una realidad única y coherente. Durante años, los investigadores creyeron que comprobar la consistencia a lo largo de líneas horizontales y verticales era suficiente para garantizar esa armonía global, incluso en el reino cuántico. Pensaban que si las respuestas se alineaban perfectamente en estos caminos similares a una cuadrícula, las mediciones cuánticas subyacentes estarían trabajando juntas correctamente. Esta creencia fue crucial para un gran avance en la informática que demostró que las computadoras cuánticas podían resolver problemas que antes se consideraban imposibles.

Un investigador ha demostrado ahora que esta creencia es incorrecta. Demostró que comprobar solo las líneas horizontales y verticales no es suficiente para obligar a los jugadores cuánticos a acordar una única verdad global. Mediante la construcción de una estrategia cuántica específica, probó que dos jugadores pueden pasar cada prueba que involucre estas líneas rectas con puntuaciones perfectas, pero siguen estando fundamentalmente desconectados entre sí. Sus respuestas parecerían consistentes en la cuadrícula, pero las mediciones cuánticas subyacentes no se alinearían de la manera requerida para una verdadera solución global. Este hallazgo significa que una comprobación específica, conocida como la prueba de líneas diagonales (diagonal-lines test), no puede eliminarse del proceso de verificación sin añadir un mecanismo diferente para asegurar que los jugadores son verdaderamente compatibles.

El investigador construyó este contraejemplo utilizando un paisaje matemático definido por un campo finito, un sistema donde los números dan la vuelta después de alcanzar un número primo determinado. Diseñó una estrategia donde dos jugadores comparten un estado cuántico máximamente entrelazado, una conexión especial que vincula sus acciones independientemente de la distancia. En esta configuración, se les pide a los jugadores que proporcionen respuestas para puntos y líneas dentro de una cuadrícula bidimensional. Las reglas de su juego requieren que informen de valores que coincidan con un polinomio de un grado específico. El investigador diseñó sus mediciones cuánticas para que, siempre que un jugador sea consultado sobre un punto en una línea horizontal o vertical, su respuesta coincida perfectamente con el polinomio reportado para esa línea completa. También se aseguró de que, si ambos jugadores son consultados sobre el mismo punto, siempre den exactamente la misma respuesta.

A pesar de este desempeño impecable en todas las comprobaciones estándar, la estrategia falla la prueba definitiva de consistencia global. El investigador calculó que las mediciones de los jugadores no conmutan, lo que significa que el orden en que se realizan cambia el resultado, una señal de que no están describiendo una realidad única y unificada. Específicamente, demostró que el error promedio en esta alineación no es un número diminuto y negligible que desaparece a medida que el sistema crece. En cambio, el error permanece obstinadamente alto, limitado lejos de cero por un valor constante. Incluso cuando la cuadrícula se vuelve infinitamente grande, los jugadores permanecen a una distancia fija de poder describir un único polinomio global. Esto demuestra que la prueba de líneas diagonales, que comprueba la consistencia a lo largo de trayectorias inclinadas, no es solo un paso redundante, sino un componente necesario para detectar este tipo específico de engaño cuántico.

La construcción se basa en un mapeo ingenioso de puntos a vectores en un espacio de mayor dimensión, utilizando una fórmula matemática específica que asegura que las mediciones se alineen perfectamente a lo largo de filas y columnas, pero choquen siempre que ambas coordenadas cambien. Esto crea una situación en la que los jugadores son localmente consistentes pero globalmente incompatibles. El investigador confirmó que este fallo no es un error fortuito de un solo cálculo, sino un obstáculo fundamental. Demostró que, sin importar qué medición global intente usar un tercero para verificar las respuestas de los jugadores, la estrategia siempre fallará en coincidir con esa visión global por un margen significativo. Este resultado obliga a una reevaluación de cómo verificamos las computaciones cuánticas, confirmando que no podemos simplemente asumir que la consistencia local en una cuadrícula implica la verdad global.

Este trabajo no sugiere que las computadoras cuánticas estén rotas o que el gran resultado que ayudaron a probar sea falso. Más bien, aclara las condiciones precisas necesarias para que ese resultado se mantenga. La prueba original de que las computadoras cuánticas pueden resolver estos problemas difíciles dependía de una prueba que incluía las líneas diagonales. Este artículo confirma que eliminar esa parte de la prueba habría sido un error. La comprobación diagonal es la pieza faltante que obliga a los jugadores cuánticos a dejar de actuar como actores locales independientes y empezar a comportarse como parte de un todo único y coherente. Sin ella, la ilusión de un polinomio global puede mantenerse incluso cuando la realidad subyacente está fracturada.

Las implicaciones van más allá de solo esta prueba. El estudio destaca una diferencia profunda entre los mundos clásico y cuántico. En el mundo clásico, si compruebas un patrón a lo largo de cada línea recta, sabes que toda la imagen es consistente. En el mundo cuántico, debes comprobar también a lo largo de las diagonales para estar seguro. El trabajo del investigador sirve como un recordatorio de que, en el reino cuántico, lo que parece perfecto desde un ángulo puede estar profundamente defectuoso desde otro. Su prueba es rigurosa y completa, sin dejar lugar a dudas de que la prueba de líneas diagonales es esencial para la solidez de estos protocolos de verificación cuántica. Cierra la puerta a un posible atajo en la verificación cuántica, asegurando que las futuras pruebas sigan construidas sobre un fundamento que sea verdaderamente sólido.