⚛️ quantum physics

Maximally entangled states are not complete for pseudo-telepathy

El artículo resuelve un problema abierto de larga data en la no localidad cuántica al presentar un contraejemplo —un juego no local bipartito específico dentro de una nueva clase llamada "juegos de producto interno"— que demuestra que los estados máximamente entrelazados no son completos para la telepataia pseudo, ya que existen juegos con estrategias entrelazadas perfectas que no pueden ganarse utilizando únicamente estados máximamente entrelazados.

Autores originales: Olivier Lalonde

Publicado 2026-08-07

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Olivier Lalonde

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 un universo donde dos amigos, Alice y Bob, están separados por una distancia vasta, quizás incluso en lados opuestos de la galaxia. No pueden hablar entre sí, enviar mensajes de texto o usar telepatía en el sentido de la ciencia ficción. Sin embargo, están jugando un juego en el que deben coordinar sus respuestas perfectamente para ganar. En el mundo clásico, si no pueden comunicarse, existen límites en cuanto a qué tan bien pueden coordinarse; están sujetos a las reglas de la lógica y la probabilidad. Pero en el mundo cuántico, las cosas se vuelven extrañas. Si Alice y Bob comparten un "vínculo cuántico" especial llamado entrelazamiento, a veces pueden coordinar sus respuestas de formas que parecen imposibles, como si estuvieran leyendo la mente del otro. Este fenómeno espeluznante se llama pseudo-telepatía cuántica.

La gran pregunta que los científicos se han estado haciendo durante mucho tiempo es: ¿Qué tan fuerte debe ser este vínculo cuántico? Específicamente, ¿necesitan Alice y Bob el vínculo "más fuerte posible", conocido como un estado máximamente entrelazado, para ganar estos juegos imposibles? Es un poco como preguntar si necesitas un Ferrari para ganar una carrera, o si una bicicleta realmente buena será suficiente. Durante muchos años, cada ejemplo de estos juegos alucinantes que los científicos encontraban podía ganarse usando ese nivel de entrelazamiento "Ferrari". Esto llevó a una suposición esperanzadora: tal vez el vínculo más fuerte es todo lo que siempre necesitas. Pero, ¿es eso cierto para cada posible juego?

Un nuevo artículo de Olivier Lalonde, de la Universidad de Waterloo, dice: No, no siempre.

Lalonde ha descubierto un juego específico donde el "Ferrari" (el estado máximamente entrelazado) en realidad falla al intentar ganar, a pesar de que un vínculo cuántico diferente, ligeramente más "tambaleante", puede ganar perfectamente. Es un contraejemplo que destruye la idea de que la conexión más fuerte es siempre la mejor herramienta para el trabajo.

El Juego del "Producto Interno"

Para entender el descubrimiento, tenemos que mirar el juego en sí. Lalonde inventó un nuevo tipo de juego llamado "juego de producto interno". Imagina que a Alice y a Bob se les entrega un código secreto (un número de entrada). Basándose en su código, deben elegir un vector específico (una dirección en el espacio) de una lista de opciones. Ganan si los dos vectores que eligen no son perpendiculares entre sí; piensa en esto como dos flechas que no apuntan en un ángulo de 90 grados exactos la una hacia la otra.

Las reglas son complicadas. El juego está diseñado de tal manera que, si Alice y Bob intentan usar la lógica clásica (simplemente adivinar o seguir un plan previamente acordado), perderán. Pero si comparten un vínculo cuántico, pueden ganar todas las veces.

Lalonde creó una versión específica de este juego con estas estadísticas:

Entradas: Alice recibe uno de 4 posibles preguntas; Bob recibe una de 3.
Salidas: Deben cada uno elegir uno de 6 posibles respuestas.
El Estado Ganador: Para ganar perfectamente, necesitan compartir un estado cuántico donde la "dimensión local" sea 6.

El Ferrari vs. La Bicicleta Personalizada

Aquí está el giro. En este juego específico, la estrategia cuántica "perfecta" requiere un estado entrelazado muy específico y construido a medida. Se ve así:
$|\Phi\rangle = \frac{1}{\sqrt{18}} (|1\rangle|1\rangle + |2\rangle|2\rangle + 2|3\rangle|3\rangle + 2|4\rangle|4\rangle + 2|5\rangle|5\rangle + 2|6\rangle|6\rangle)$

¿Notas los números? Algunas partes del vínculo están ponderadas por 1, y otras por 2. Este es un estado no máximamente entrelazado. No está perfectamente equilibrado; es desequilibrado.

Ahora, aquí está el clímax: Un estado máximamente entrelazado no puede ganar este juego.

Un estado máximamente entrelazado es como una escala perfectamente equilibrada donde cada opción tiene el mismo peso (todos los 1s). Lalonde demostró matemáticamente que, si Alice y Bob intentan usar este "Ferrari" perfectamente equilibrado para jugar este juego específico, inevitablemente fallarán. Simplemente no pueden coordinar sus respuestas perfectamente usando ese tipo de vínculo. Deben usar el vínculo desequilibrado y construido a medida descrito arriba.

¿Cómo lo demostraron?

Podrías preguntarte: "¿Cómo puedes estar seguro de que no existe una estrategia perfecta?". No puedes simplemente jugar el juego un millón de veces; necesitas una prueba matemática.

Lalánode utilizó una herramienta poderosa: la jerarquía NPA tracial. Piensa en esto como una máquina de lógica súper sofisticada que verifica todas las formas posibles en que Alice y Bob podrían intentar coordinar sus respuestas. Es como revisar cada movimiento posible en una partida de ajedrez para ver si es posible un jaque mate.

La prueba fue de alto nivel. Implicó a una computadora resolviendo un rompecabezas masivo con 207,202 variables y 208,702 restricciones. Tardó 7 minutos en una computadora portátil para resolverse. La computadora no solo adivinó; produjo un "certificado racional de inviabilidad", que es un recibo matemático que demuestra que no existe ninguna solución. Para estar extra seguro, toda la prueba fue verificada por un programa de computadora llamado Lean, un asistente de pruebas que verifica las matemáticas paso a paso.

El resultado es sólido: No existe una estrategia perfecta usando un estado máximamente entrelazado para este juego.

Por qué esto es importante

Este descubrimiento es un gran acontecimiento porque resuelve un debate de larga data. Durante años, los científicos se preguntaron si el vínculo cuántico "más fuerte" era lo único que importaba para estos juegos alucinantes. Este artículo muestra que la naturaleza es más sutil de lo que parece. A veces, la herramienta "perfecta" no es la herramienta adecuada; necesitas una específica, ligeramente imperfecta, para lograr el trabajo.

También abre nuevas preguntas. ¿Es este juego un "auto-test"? Eso significa que, si alguien afirma que puede ganar este juego, ¿demuestra eso que posee ese estado cuántico específico y desequilibrado? Los números sugieren que sí, pero demostrarlo analíticamente (sin una computadora) es un desafío para el futuro.

En resumen, ahora sabemos que en el mundo cuántico, tener el entrelazamiento "mejor" no siempre es suficiente. A veces, necesitas el tipo correcto de entrelazamiento, incluso si no es el más fuerte.

Resumen Técnico: "Los estados máximamente entrelazados no son completos para la pseudotelepatía"

Planteamiento del Problema
El artículo aborda un problema abierto de larga data en la no localidad cuántica relativo a la suficiencia de los estados máximamente entrelazados para los juegos de pseudotelepatía. Un juego no local se denomina pseudotelepático si admite una estrategia entrelazada perfecta (ganando con probabilidad 1) pero no una estrategia clásica perfecta. Si bien se sabe que para muchas familias específicas de juegos de pseudotelepatía bipartitos los estados máximamente entrelazados bastan para lograr estrategias perfectas, seguía siendo una pregunta abierta si esto se cumple universalmente. Específicamente, el problema plantea: ¿Todo juego no local que admite una estrategia entrelazada perfecta también admite una estrategia perfecta utilizando un estado máximamente entrelazado? Trabajos previos establecieron que los estados máximamente entrelazados no son necesarios (ya que algunos juegos pueden ganarse con estados no máximamente entrelazados), pero la cuestión de si son siempre suficientes permanecía sin resolver.

Metodología
El autor introduce una nueva clase de juegos no locales denominada juegos de producto interno para construir un contraejemplo.

Definición del Juego: Un juego de producto interno se define por colecciones de operadores unitarios $\{U_x\}$ y $\{V_y\}$ de orden $m$ , y una matriz semidefinida positiva $S$ . Alicia y Bob reciben entradas $x$ e $y$ y deben producir salidas $a$ y $b$ tales que $\langle a| U_x^\dagger S V_y |b\rangle \neq 0$ .
Existencia de una Estrategia Entrelazada: El artículo demuestra (Proposición 3.1) que cualquier juego de producto interno admite una estrategia entrelazada perfecta utilizando un estado específico $|\psi\rangle = (S \otimes I)|\Omega\rangle$ , donde $|\Omega\rangle$ es el estado máximamente entrelazado estándar. Esta estrategia no utiliza necesariamente un estado máximamente entrelazado si $S$ no es proporcional a la identidad.
Construcción del Contraejemplo ( $G_{4,3,6,6}$ ): Mediante una búsqueda heurística asistida por computadora, el autor construyó un caso específico, $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ , con conjuntos de entrada de tamaño 4 y 3, y conjuntos de salida de tamaño 6. La construcción involucró:
- Establecer la dimensión local $m=6$ .
- Seleccionar una matriz diagonal $S = \text{diag}(1, 1, 2, 2, 2, 2)$ .
- Enumerar unitarios con componentes en $\{-1, 0, 1\}$ para encontrar una configuración que sea clásicamente inviable.
- Aplicar un algoritmo de poda para minimizar los tamaños de los conjuntos de entrada.
Prueba de la No Existencia de una Estrategia Máximamente Entrelazada: Para demostrar que no existe una estrategia perfecta utilizando un estado máximamente entrelazado para $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ , el autor empleó una variante de la jerarquía NPA tracial (una jerarquía de suma de cuadrados).
- El problema se formuló como la búsqueda de un estado tracial sobre un $*$ -álgebra específica generada por operadores de medición.
- Se utilizó una versión fortalecida del nivel $n=4$ de la jerarquía para probar la existencia de tal estado.
- El programa semidefinido resultante (que involucra ~207k variables y ~208k restricciones) se resolvió numéricamente para demostrar la inviabilidad.
- La prueba fue formalizada en el asistente de pruebas Lean utilizando un certificado racional de inviabilidad extraído del resolvedor.

Resultos Clave
El artículo establece el Teorema 1.1, que dicta:

Existe un juego bipartito $G_{4,3,6,6}$ con tamaños de entrada 4 y 3, y tamaños de salida 6 y 6.
Este juego posee una estrategia entrelazada perfecta utilizando un estado entrelazado de dimensión local 6 (específicamente, un estado no máximamente entrelazado derivado de la matriz $S$ ).
Crucialmente, este juego no admite ninguna estrategia entrelazada perfecta que involucre un estado máximamente entrelazado.

Significado y Reivindicaciones
El artículo afirma resolver el problema abierto en sentido negativo, demostrando que los estados máximamente entrelazados no son completos para la pseudotelepatía. La significancia del trabajo radica en:

Resolución de un Problema Abierto: Proporciona el primer contraejemplo que muestra que la clase de juegos resolubles con estados máximamente entrelazados es estrictamente menor que la clase de juegos resolubles con estados entrelazados generales.
Nueva Clase de Juegos: La introducción de los "juegos de producto interno" ofrece un nuevo marco para estudiar la no localidad, lo cual puede ser de interés independiente.
Contribución Metodológica: El trabajo demuestra la utilidad de combinar la búsqueda heurística computacional con la verificación formal (vía Lean) y las jerarquías numéricas (NPA tracial) para resolver preguntas profundas en la teoría de la información cuántica.

Limitaciones y Direcciones Futuras (según nota el autor)
El autor señala que el contraejemplo fue "fabricado" mediante búsqueda computacional en lugar de surgir de un sistema físico natural, y que la prueba de sus propiedades depende fuertemente de la programación semidefinida numérica en lugar de la intuición analítica. El artículo sugiere que encontrar un contraejemplo "natural" con una prueba analítica sigue siendo un desafío abierto. Además, el autor observa que las simulaciones numéricas sugieren que $G_{4,3,6,6}$ es un self-test para el estado específico no máximamente entrelazado utilizado, una propiedad que aún debe ser probada formalmente. El trabajo también insinúa posibles implicaciones para la relación entre el número cromático entrelazado y el número cromático cuántico en la teoría de la información de error cero.

El Juego del "Producto Interno"

El Ferrari vs. La Bicicleta Personalizada

¿Cómo lo demostraron?

Por qué esto es importante

Más como este