An extended Wigner's friend no-go theorem inspired by generalized contextuality

Inspirado por la correspondencia entre la no localidad y la contextualidad generalizada, este artículo introduce el teorema de imposición "Amistad No Contextual", que demuestra que la teoría cuántica es incompatible con las suposiciones conjuntas de la Absolutitud de los Eventos Observados y la Agencia No Contextual, generalizando y fortaleciendo así el teorema de imposición existente de la Amistad Local.

Lo esencial

La Gran Imagen: Un nuevo letrero de "Prohibido" en el camino hacia la realidad

Imagina que estás intentando construir una casa (nuestra comprensión de la realidad) utilizando un conjunto específico de planos (la Teoría Cuántica). Durante mucho tiempo, los científicos han estado tratando de averiguar si estos planos son compatibles con la idea de que la casa existe de una sola manera, sólida y objetiva, con la que todos están de acuerdo.

Este artículo introduce una regla nueva y más estricta para verificar si los planos funcionan. Los autores, Laurens Walleghem y Lorenzo Catani, han creado un nuevo "Teorema de Imposibilidad". Piensa en un "Teorema de Imposibilidad" como un letrero que dice: "No puedes tener las dos cosas a la vez".

Específicamente, muestran que no puedes tener:

1. Teoría Cuántica (las reglas actuales del universo).
2. Hechos Absolutos (la idea de que cuando alguien ve algo, es una verdad única y objetiva para todos).
3. Agencia No Contextual (una versión nueva y ligeramente más débil de una regla sobre cómo viaja la información).

Si aceptas que la Teoría Cuántica es verdadera y que el experimento descrito es posible, te ves obligado a renunciar a la idea de que los eventos observados son absolutos.

---

El Reparto de Personajes: Los Amigos y los Super-Observadores

Para entender el experimento, necesitamos conocer a los personajes, quienes se basan en un famoso experimento mental llamado "El Amigo de Wigner".

• Charlie y Debbie: Estos son los "Amigos". Están dentro de laboratorios sellados. Realizan mediciones sobre partículas diminutas (como electrones) y obtienen resultados. Para ellos, el resultado es real y definitivo.
• Alice y Bob: Estos son los "Super-Observadores". Están fuera de los laboratorios. Tienen un superpoder mágico: pueden tratar los laboratorios completos de Charlie y Debbie como si fueran simplemente un solo objeto cuántico grande.

El Truco de Magia:
Por lo general, una vez que Charlie mide una partícula, el resultado se fija. Pero Alice, la Super-Observadora, puede usar un "Borrador Cuántico" (una operación unitaria sofisticada) para deshacer la medición de Charlie. Puede borrar la memoria de Charlie sobre el resultado e invertir el proceso, haciendo que parezca que Charlie nunca midió nada en absoluto.

Los Dos Escenarios: Bell vs. Contextualidad

El artículo compara dos formas diferentes de probar la realidad.

1. La Vieja Forma: Amistad Local (El Escenario de Bell)

En trabajos anteriores, los científicos combinaron a los "Amigos" con una configuración llamada Escenario de Bell.

• La Analogía: Imagina que Charlie y Debbie están en dos ciudades diferentes. Cada uno lanza una moneda. Alice y Bob, de pie fuera, pueden elegir verificar las monedas o "deshacer" los lanzamientos.
• La Regla: Asumieron Agencia Local. Esto significa que "lo que sucede en la Ciudad A no puede cambiar instantáneamente lo que sucede en la Ciudad B".
• El Resultado: Demostraron que si asumes que los resultados son hechos absolutos, la Teoría Cuántica rompe esta regla.

2. La Nueva Forma: Amistad No Contextual (El Escenario de Contextualidad)

En este artículo, los autores cambian la configuración de "Bell" por una configuración de Contextualidad.

• La Analogía: En lugar de dos ciudades, imagina un solo laboratorio donde Charlie prepara una partícula de diferentes maneras (como pintándola de diferentes colores) y Debbie la mide.
• La Regla: Introducen la Agencia No Contextual.
  • ¿Qué es la Contextualidad? En el mundo cuántico, la respuesta que obtienes a menudo depende de cómo haces la pregunta (el contexto). Por ejemplo, medir el "giro hacia arriba" de una partícula podría dar un resultado diferente dependiendo de si la mediste junto con "giro hacia la izquierda" o "giro hacia la derecha".
  • ¿Qué es la Agencia No Contextual? Es la creencia de que si dos formas diferentes de preparar una partícula se ven exactamente iguales para el mundo exterior, deben tratarse como la misma "realidad" en el interior, incluso si ninguna persona individual puede verificar ambas a la vez.

El Argumento Central: La "Conspiración" de la Realidad

Los autores argumentan que la Agencia No Contextual es una suposición muy razonable. Se basa en un principio llamado "Sin Ajuste Fino".

La Metáfora de la Conspiración:
Imagina que estás horneando un pastel.

• Escenario A: Pruebas la masa y sabe a chocolate.
• Escenario B: Pruebas la masa de nuevo, pero esta vez usaste una cuchara diferente. Aún así, sigue sabiendo a chocolate.
• La Regla: Si la masa sabe igual en ambos escenarios, tiene sentido asumir que los ingredientes (la realidad) son los mismos.

La Conspiración:
Si la masa sabe igual cuando puedes verificarla, pero de repente sabe a vainilla cuando no puedes verificarla (porque el "Super-Observador" borró la memoria de la cuchara), eso sería una conspiración. El universo estaría cambiando secretamente los ingredientes solo porque nadie está mirando.

El artículo argumenta: "Es demasiada conspiración creer que el universo cambia sus reglas solo porque un Super-Observador borra una memoria". Por lo tanto, debemos aceptar la Agencia No Contextual: las reglas deberían mantenerse incluso para los eventos "borrados".

El Remate: La Contradicción

Aquí está la parte de "Imposibilidad":

1. La Teoría Cuántica predice que si Alice y Bob usan sus poderes de "Borrador Cuántico", las estadísticas de los resultados se verán de cierta manera.
2. La Amistad No Contextual (la combinación de Hechos Absolutos + Agencia No Contextual) dice que los resultados deben seguir un patrón diferente (uno que asume que existe una única realidad consistente).
3. El Choque: Cuando haces las matemáticas, la Teoría Cuántica y la Amistad No Contextual predicen resultados opuestos. No pueden ser ambas verdaderas.

¿Por qué es este resultado "más fuerte"?

Los autores afirman que este nuevo teorema es "más fuerte" que los anteriores. Aquí está por qué:

• La Vieja Regla (Bell/Amistad Local): Requería la suposición de que "lo que sucede aquí no afecta instantáneamente lo que sucede allá" (Causalidad Local). Esta es una regla muy estricta sobre el espacio y el tiempo.
• La Nueva Regla (Amistad No Contextual): Solo requiere la suposición de que "si dos cosas se ven iguales, son iguales" (No Contextualidad). Esta es una regla mucho más débil y básica sobre la lógica y la realidad.

La Analogía:
Imagina que estás intentando probar que un puente es inseguro.

• Prueba Vieja: "El puente es inseguro porque el viento sopla demasiado fuerte". (Requiere una condición específica y fuerte: viento fuerte).
• Prueba Nueva: "El puente es inseguro porque los ladrillos están hechos de gelatina". (Requiere una condición mucho más débil: solo que los ladrillos sean gelatina).

Si puedes probar que el puente es inseguro incluso cuando el viento está en calma (usando el argumento de la gelatina), tu prueba es más fuerte. De manera similar, este artículo muestra que la Teoría Cuántica es incompatible con la realidad incluso cuando usamos las suposiciones más débiles y básicas sobre cómo funciona la realidad.

La Conclusión

Si crees:

1. Que la Teoría Cuántica es correcta.
2. Que el experimento del "Super-Observador" es posible (lo que implica que la teoría cuántica también se aplica a los observadores).
3. Que el universo no está "conspirando" para ocultar su verdadera naturaleza cuando no estamos mirando (Agencia No Contextual).

Entonces, debes concluir que los eventos observados no son absolutos.

En otras palabras, cuando Charlie ve un resultado, ese resultado podría ser real para Charlie, pero podría no ser un hecho único y objetivo para Alice. La realidad, en esta visión, es relativa al observador, incluso cuando ese observador es un "Super-Observador" que puede borrar memorias.

El artículo no sugiere que esto cambie cómo construimos computadoras o tratamos enfermedades hoy en día. Es un resultado profundo, filosófico y matemático sobre la naturaleza fundamental de la realidad y los límites de nuestra capacidad para describir el universo con una sola historia objetiva.

Resumen técnico

Resumen Técnico: Un Teorema de Imposibilidad de Amigo de Wigner Extendido Inspirado por la Contextualidad Generalizada

Enunciado del Problema
El artículo aborda la tensión entre la teoría cuántica y las visiones del mundo clásicas, centrándose específicamente en los problemas interpretativos que surgen cuando los agentes son tratados como sistemas cuánticos capaces de realizar mediciones. Si bien el teorema de imposibilidad de la Amistad Local (LF) ha establecido una contradicción entre las predicciones cuánticas y las suposiciones conjuntas de Absolutud de los Eventos Observados (AOE) y Agencia Local, los autores buscan generalizar este resultado. El objetivo es determinar si surgen contradicciones similares al reemplazar la suposición de Agencia Local (una forma fortalecida de no-señalización) por una suposición más débil derivada de la contextualidad generalizada. Los autores pretenden demostrar que la teoría cuántica es incompatible con un escenario de "Amistad No Contextual", produciendo así un teorema de imposibilidad más fuerte que aquellos basados únicamente en la no contextualidad generalizada.

Metodología
Los autores aprovechan una correspondencia conocida entre las pruebas de no localidad en escenarios de Bell y las pruebas de contextualidad en escenarios de preparación y medición. La metodología procede de la siguiente manera:

1. Construcción del Escenario: Los autores diseñan un escenario de "Amistad No Contextual" (NF) (Figura 4) que involucra un único sistema cuántico $S$ y tres agentes: Alice (un superobservador), Charlie (un amigo) y Debbie (un amigo), seguidos por Bob (un superobservador).

   • Alice prepara un qubit y lo envía a Charlie.
   • Charlie realiza una medición $C$ (modelada unitariamente como $U_C$).
   • Dependiendo de una configuración $x \in \{0, 1\}$, Alice ya sea acepta el resultado de Charlie ($x=0$) o actúa como superobservador para deshacer la medición de Charlie mediante $U_C^\dagger$ ($x=1$), borrando el registro del resultado.
   • El sistema se pasa a Debbie, quien realiza la medición $D$ (modelada como $U_D$).
   • Dependiendo de la configuración $y \in \{0, 1\}$, Bob ya sea acepta el resultado de Debbie ($y=0$) o deshace su medición mediante $U_D^\dagger$ y realiza una medición $B$ ($y=1$).

2. Suposiciones: El teorema se basa en dos suposiciones fundamentales:

   • Absolutud de los Eventos Observados (AOE): Los resultados observados son eventos singulares y objetivos, no relativos a ningún observador. Esto implica la existencia de una distribución de probabilidad conjunta $p(a, b, c, d|x, y)$ para todos los resultados, incluso aquellos borrados o inaccesibles para un solo agente.
   • Agencia No Contextual: Esto se define como el requisito de que cualquier equivalencia operativa verificable cuando todas las variables son conjuntamente accesibles debe seguir vigente cuando esas variables no son conjuntamente accesibles para un solo agente. Específicamente, extiende las equivalencias operativas estándar (por ejemplo, la independencia de la preparación) al nivel de eventos conjuntamente inaccesibles garantizados por la AOE. Esto se presenta como una versión más fuerte de la equivalencia operativa estándar, pero una versión más débil de la no contextualidad generalizada (que requiere que tales equivalencias se mantengan dentro de un modelo ontológico).

3. Estrategia de Prueba: Los autores mapean el escenario no trivial más simple para la contextualidad generalizada (que involucra cuatro preparaciones y dos mediciones) sobre la configuración NF. Al asumir AOE y Agencia No Contextual, muestran que las correlaciones empíricas observadas en el escenario NF deben ser derivables de una única distribución de probabilidad conjunta. Sin embargo, al seleccionar preparaciones y mediciones cuánticas específicas (análogas a la violación máxima de las desigualdades de no contextualidad), demuestran que no existe tal distribución conjunta, lo que lleva a una contradicción.

Contribuciones Clave

• El Teorema de Imposibilidad de Amistad No Contextual (NF): El artículo demuestra que si un superobservador puede realizar operaciones cuánticas arbitrarias sobre un observador y su entorno, ninguna teoría física puede satisfacer la conjunción de AOE y Agencia No Contextual.
• Generalización del Teorema LF: El trabajo establece que la Agencia Local es un caso específico de Agencia No Contextual (donde la equivalencia operativa es la no-señalización). En consecuencia, el teorema NF generaliza el teorema LF.
• Jerarquía de Fuerza: Los autores demuestran que el teorema de imposibilidad NF es estrictamente más fuerte que los teoremas de imposibilidad basados en la no contextualidad generalizada. Si bien las correlaciones empíricas en el escenario NF son idénticas a las del escenario de contextualidad más simple, las suposiciones requeridas para derivar la contradicción (AOE + Agencia No Contextual) son más débiles que las requeridas para las pruebas estándar de no contextualidad (que dependen de la existencia de un modelo ontológico no contextual).
• Reencuadre Conceptual de la Agencia: El artículo reinterpreta la "Agencia Local" y la "Agencia No Contextual" no meramente como compromisos metafísicos con estructuras causales relativistas o modelos ontológicos, sino como instancias del principio metodológico de no ajuste fino. Argumenta que en un mundo donde se cumple la AOE, sería "conspiratorio" que las equivalencias operativas se mantuvieran cuando son accesibles pero fallaran cuando son inaccesibles.

Resultados
El artículo deriva una contradicción entre las predicciones de la mecánica cuántica y las suposiciones de la Amistad No Contextual. Específicamente:

• Bajo AOE y Agencia No Contextual, las correlaciones empíricas $\wp(c, d|x=0, y=0)$, $\wp(c, b|x=0, y=1)$, $\wp(a, d|x=1, y=0)$ y $\wp(a, b|x=1, y=1)$ deben ser marginales de una única distribución conjunta $p(a, b, c, d|x=1, y=1)$.
• Al elegir estados cuánticos y mediciones específicas (por ejemplo, las bases de Pauli $X$ y $Z$), estas correlaciones corresponden a la violación máxima de las desigualdades de no contextualidad.
• Según el teorema de Fine, tal distribución conjunta no puede existir para estas correlaciones.
• Por lo tanto, la teoría cuántica es incompatible con la Amistad No Contextual.

Significado
Los autores afirman que este resultado fortalece el caso contra la visión del mundo clásica al mostrar que la incompatibilidad con la teoría cuántica persiste incluso bajo suposiciones más débiles que las utilizadas en teoremas de imposibilidad anteriores basados en la contextualidad.

• Más fuerte que Bell/Contextualidad: Así como el teorema LF es más fuerte que el teorema de Bell (porque la Agencia Local es más débil que la causalidad local), el teorema NF es más fuerte que los teoremas de no contextualidad generalizada (porque la Agencia No Contextual es más débil que la no contextualidad generalizada).
• Metodológico vs. Metafísico: Una contribución conceptual clave es el desplazamiento de la justificación de las suposiciones de "Agencia" desde compromisos metafísicos (por ejemplo, estructura causal relativista) hacia principios metodológicos (no ajuste fino). Si uno acepta la universalidad de la teoría cuántica (permitiendo que el escenario se realice) y el principio de no ajuste fino, se ve obligado a abandonar la AOE: la suposición de que los eventos observados son absolutos.
• Futuras Direcciones: El artículo sugiere que este marco puede extenderse a otros escenarios, incluidos aquellos que involucran distinción ontológica acotada o teorías post-cuánticas, y señala que las suposiciones NF abarcan otras suposiciones recientes como la "Irrelevancia de la Conmutación" en contextos de Kochen-Specker.

El artículo concluye que el teorema de imposibilidad NF proporciona un argumento robusto de que, si la teoría cuántica es universal y se asume no ajuste fino, los eventos observados no pueden ser absolutos, desafiando así la noción clásica de realidad objetiva en el contexto de observadores cuánticos.