Agreement and Compatibility in Wigner's Friend Paradox

Este artículo reformula la Paradoja del Amigo de Wigner como un problema de inferencia para proponer una interpretación radicalmente bayesiana que resuelve la aparente contradicción demostrando que las descripciones de Wigner y de su amigo son fundamentalmente compatibles y pueden alinearse mediante el principio de «beneficio de la duda».

Lo esencial

La Gran Imagen: Un Malentendido, No una Paradoja

Imagina un famoso experimento mental llamado El Amigo de Wigner. Involucra a dos personas: Wigner (que está fuera de un laboratorio cerrado) y su Amigo (que está dentro del laboratorio).

Dentro del laboratorio, el Amigo mide una partícula cuántica diminuta (como un electrón).

• La perspectiva del Amigo: Ella ve un resultado definido. Dice: "Lo medí y definitivamente está 'Arriba'".
• La perspectiva de Wigner: Como está fuera y no ha mirado, trata todo el laboratorio (Amigo + partícula) como una enorme y borrosa onda cuántica. Dice: "El sistema está en una superposición de 'Amigo vio Arriba' Y 'Amigo vio Abajo'".

Durante décadas, los físicos han debatido: ¿Cómo pueden ambos tener razón? Uno ve una realidad definida; el otro ve una mezcla borrosa. ¿Acaso esto no es una contradicción?

Este artículo dice: No, no es una contradicción. Los autores argumentan que la "paradoja" solo existe porque estamos usando las reglas equivocadas para juzgar la situación. Proponen que si tratamos la mecánica cuántica como un juego de inferencia bayesiana (actualizar tus creencias basándote en nueva información), las dos descripciones son en realidad perfectamente compatibles.

---

El Concepto Central: "Compatibilidad" vs. "Acuerdo"

Los autores hacen una distinción crucial entre dos palabras que la gente suele confundir: Compatibilidad y Acuerdo.

1. Compatibilidad (La Analogía del "Mapa Superpuesto")

Imagina a dos excursionistas, Alicia y Bob, perdidos en un bosque.

• Alicia tiene un mapa que dice que el tesoro está en la esquina "Noreste" o "Sureste".
• Bob tiene un mapa que dice que el tesoro está definitivamente en la esquina "Noreste".

¿Sus mapas se contradicen entre sí? No.
El mapa de Bob es simplemente más específico que el de Alicia. La esquina "Noreste" está en ambos de sus mapas. Ellos son compatibles. Ambos pueden tener razón porque sus respuestas posibles se superponen.

El artículo argumenta que Wigner y su Amigo son como estos excursionistas.

• El Amigo sabe que el resultado es o bien "Arriba" o bien "Abajo" (pero ella sabe cuál vio).
• Wigner piensa que el resultado es una mezcla de "Arriba" y "Abajo".
• Las Matemáticas: Los autores muestran que el estado "Arriba" (que ve el Amigo) está en realidad dentro del estado "Mezcla" (que ve Wigner). Como la realidad del Amigo es un subconjunto de la realidad de Wigner, sus descripciones se superponen. Por lo tanto, son compatibles. No hay paradoja; simplemente tienen diferentes niveles de información.

2. Acuerdo (La Analogía del "Encontrarse en el Medio")

Ahora, imagina que Alicia y Bob quieren ponerse de acuerdo exactamente sobre dónde está el tesoro.

• Si son tercos y se niegan a compartir sus mapas, nunca llegarán a un acuerdo.
• Si son abiertos, pueden compartir sus datos.

El artículo explora cómo pueden llegar a un acuerdo (una única descripción compartida) utilizando dos métodos:

Método A: El "Beneficio de la Duda" (Ser Abierto de Mente)
En la historia original, Wigner está 100% seguro de que sus matemáticas son correctas. Asigna un 0% de probabilidad a que el Amigo esté equivocado.

• El Problema: Si asignas un 0% de probabilidad a algo, nunca puedes ser convencido de lo contrario, sin importar qué evidencia veas. (Esto se llama la Regla de Cromwell).
• La Solución: Los autores sugieren que Wigner debería dar un pequeño, diminuto "beneficio de la duda" (digamos, 0.0001%). Debería admitir: "Estoy 99.9999% seguro, pero quizás me perdí algo".
• El Resultado: Una vez que Wigner permite una pequeña posibilidad de error, las matemáticas cambian. Ahora, cuando el Amigo comparte sus datos, Wigner puede actualizar su creencia. Pueden encontrarse en el medio y ponerse de acuerdo sobre el estado final.

Método B: Mejora del Estado (La Analogía del "Experto")
Imagina que el Amigo es un experto en el laboratorio, y Wigner es un novato.

• Si Wigner confía en el Amigo, puede tratar su informe como nuevos datos.
• El artículo muestra que si Wigner es abierto de mente, puede "mejorar" su estado adoptando la descripción del Amigo.
• Por el contrario, si el Amigo confía en el estatus de superobservador de Wigner, puede actualizar su estado para que coincida con el de él.

---

El "Giro": ¿Qué pasa si no se ponen de acuerdo sobre las reglas?

El artículo también prueba qué sucede si los agentes no se ponen de acuerdo sobre lo básico.

• Escenario: ¿Qué pasa si Wigner piensa que la máquina en el laboratorio está rota, o usa un reloj diferente, o cree que la partícula comenzó en un estado diferente?
• Resultado: Si no se ponen de acuerdo sobre la configuración (el estado inicial o las reglas del juego), entonces sus mapas no se superponen. En este caso, son verdaderamente incompatibles, y una paradoja sí existe.
• Conclusión: La paradoja en la historia original solo funciona si asumimos que no se ponen de acuerdo sobre la configuración. Pero el artículo señala que en el experimento mental original, sí se pusieron de acuerdo en todo de antemano. Por lo tanto, la paradoja es una ilusión causada por olvidar que comenzaron en la misma página.

Resumen de las Afirmaciones del Artículo

1. Sin Paradoja: El Amigo de Wigner no es una paradoja. Es simplemente una situación donde dos personas tienen diferentes cantidades de información.
2. La Compatibilidad es Clave: Mientras sus respuestas posibles se superpongan (lo cual sucede), sus descripciones son compatibles. No necesitan ser idénticas para ser "correctas".
3. El Acuerdo es Posible: Si los agentes están dispuestos a compartir información y mantenerse abiertos de mente (dando un "beneficio de la duda"), pueden reconciliar matemáticamente sus puntos de vista y ponerse de acuerdo sobre una única realidad.
4. El Verdadero Problema: La única vez que aparece una paradoja es si los agentes son tercos, se niegan a compartir datos, o no se ponen de acuerdo sobre las reglas fundamentales del experimento.

En resumen: El artículo sugiere que la naturaleza "espeluznante" de la mecánica cuántica en este escenario no es un colapso de la realidad, sino un colapso de la comunicación y la apertura mental entre los observadores. Si hablan y escuchan, el misterio desaparece.

Resumen técnico

Resumen Técnico: Acuerdo y Compatibilidad en la Paradoja del Amigo de Wigner

Enunciado del Problema
El artículo aborda la paradoja del "Amigo de Wigner", un experimento mental propuesto originalmente por Eugene Wigner en 1961. La paradoja surge de una aparente incompatibilidad entre las descripciones de un sistema cuántico proporcionadas por dos agentes: "Wigner" (un superobservador fuera de un laboratorio cerrado) y "el Amigo de Wigner" (un observador dentro del laboratorio).

• El Conflicto: El Amigo realiza una medición sobre un qubit, colapsando el estado a un resultado definido (por ejemplo, $|0\rangle$ o $|1\rangle$). Wigner, tratando al Amigo y al sistema como un sistema cuántico cerrado, describe la evolución conjunta como un proceso unitario que resulta en una superposición entrelazada (por ejemplo, el estado de Bell $|\phi^+\rangle$).
• La Paradoja: La descripción de Wigner predice una probabilidad de 1 para el estado entrelazado, mientras que la descripción del Amigo (tras la medición) asigna una probabilidad de 1 a un estado producto específico. Wigner argumentó que esto constituye una contradicción, sugiriendo una incompatibilidad fundamental entre la evolución unitaria y el colapso de la función de onda, o un fallo de la mecánica cuántica a escalas macroscópicas.
• Consenso Actual: La literatura reciente sugiere a menudo que la paradoja solo se manifiesta en extensiones de "múltiples partes" (por ejemplo, Bong et al., 2020). Este artículo argumenta que la formulación original en sí misma contiene una "paradoja de fingimiento" arraigada en un malentendido de la compatibilidad y el acuerdo.

Metodología
Los autores replantean el experimento mental no como una contradicción física, sino como un problema de inferencia dentro de un marco radicalmente bayesiano. Tratan la teoría cuántica como una generalización no conmutativa de la teoría de probabilidad bayesiana, donde los estados cuánticos representan el conocimiento o la creencia de un agente en lugar de una realidad física objetiva.

La metodología procede en tres etapas:

1. Replanteamiento como Inferencia: Los agentes se modelan como razonadores bayesianos que asignan distribuciones de probabilidad (clásicas) u operadores densidad (cuánticos) basándose en su información disponible.
2. Definición de Compatibilidad: Los autores adoptan y aplican definiciones de compatibilidad de Leifer y Spekkens (2014) y Duarte (2020).
   • Compatibilidad Bayesiana Objetiva: Dos asignaciones son compatibles si pueden derivarse de una única distribución de probabilidad conjunta mediante la condición sobre diferentes datos.
   • Compatibilidad Bayesiana Subjetiva: Dos asignaciones son compatibles si existe un experimento hipotético (función de verosimilitud) tal que, al observar un resultado específico, ambos agentes actualizarían sus creencias a distribuciones idénticas.
   • Criterio Matemático: En ambos casos, clásico y cuántico, la compatibilidad se determina por la intersección no trivial de los soportes de las distribuciones de probabilidad o las matrices densidad.
3. Análisis del Acuerdo: Los autores distinguen entre compatibilidad (la potencialidad de acordar) y acuerdo (el estado de tener descripciones idénticas). Exploran mecanismos para la mejora de estado (actualizar una creencia basándose en la asignación de otro) y la agrupación de estados (combinar asignaciones en un consenso).

Contribuciones y Resultados Clave

1. Resolución de la Paradoja Original:
   Al aplicar el criterio de intersección de soportes, los autores demuestran que las descripciones de Wigner y del Amigo son compatibles.

   • Wigner asigna el estado puro $|\phi^+\rangle\langle\phi^+|$.
   • El Amigo asigna el estado mixto $\rho_F = \frac{1}{2}(|00\rangle\langle00| + |11\rangle\langle11|) = \frac{1}{2}(|\phi^+\rangle\langle\phi^+| + |\phi^-\rangle\langle\phi^-|)$.
   • El soporte del estado de Wigner es el subespacio generado por $|\phi^+\rangle$. El soporte del estado del Amigo es el subespacio generado por $\{|\phi^+\rangle, |\phi^-\rangle\}$.
   • Dado que la intersección de estos soportes es no trivial (contiene a $|\phi^+\rangle$), las asignaciones son compatibles. La aparente contradicción surge solo si se exige que las descripciones de los agentes sean idénticas antes de compartir información, lo cual no es requerido por la inferencia bayesiana.

2. El Papel del Acuerdo y el "Beneficio de la Duda":
   El artículo argumenta que la paradoja se disuelve cuando los agentes reconocen que sus diferentes descripciones provienen de un acceso diferente a la información (el Amigo tiene datos de medición; Wigner no).

   • Mejora de Estado: Los autores muestran que si el Amigo trata a Wigner como un experto (o viceversa), pueden actualizar sus creencias. Sin embargo, si Wigner es "terco" (asigna probabilidad 1 a $|\phi^+\rangle$), no puede actualizar su creencia basándose en el informe del Amigo (debido a la regla de Cromwell: $P(H)=0 \implies P(H|E)=0$).
   • Beneficio de la Duda: Para lograr la reconciliación, los autores introducen un parámetro $\epsilon$ que representa el "beneficio de la duda". Si Wigner asigna una pequeña probabilidad no nula ($\epsilon$) al estado ortogonal $|\phi^-\rangle$ (reconociendo un posible ruido o interacción ambiental), su soporte se expande. Esto permite una función de verosimilitud donde ambos agentes pueden actualizar a un estado común, resolviendo el desacuerdo.

3. Condiciones para la Incompatibilidad:
   El artículo aclara que la incompatibilidad sí surge en el escenario de Wigner solo bajo suposiciones específicas y no estándar, tales como:

   • Desacuerdo sobre el estado inicial (por ejemplo, Wigner asume $|11\rangle$ mientras el Amigo asume $|00\rangle$).
   • Desacuerdo sobre la dinámica (por ejemplo, diferentes secuencias de puertas o modelos de evolución temporal).
   • Falta de conocimiento compartido sobre la configuración experimental.
     Los autores enfatizan que la "paradoja" es a menudo el resultado de que los agentes no se ponen de acuerdo sobre estos aspectos fundamentales, en lugar de un fallo de la teoría cuántica en sí misma.

4. Mecanismos de Reconciliación:
   El artículo detalla métodos para lograr el acuerdo:

   • Reconciliación Subjetiva: Construir un experimento hipotético (operador de verosimilitud) que conduzca al acuerdo sobre al menos un resultado.
   • Reconciliación Objetiva: Construir una distribución conjunta de un "pasado virtual" que unifique las perspectivas actuales de los agentes.
   • Agrupación: Discutir métodos de agrupación lineal y multiplicativa para combinar creencias, señalando que sin un prior compartido o una ponderación específica, la agrupación puede no producir una solución única.

Significado y Afirmaciones
El artículo afirma que la paradoja del Amigo de Wigner no es un defecto fundamental de la mecánica cuántica, sino un error conceptual que surge de la falta de definiciones rigurosas para la compatibilidad y el acuerdo.

• Sin Paradoja: Los autores concluyen que no hay "conclusión paradójica" en la formulación original. Las descripciones diferentes son simplemente una consecuencia natural de que los agentes tengan acceso a información diferente, totalmente consistente con la inferencia bayesiana.
• Giro Inferencial: La obra aboga por un "giro inferencial" en la física cuántica fundamental, viendo los estados cuánticos como representaciones del conocimiento en lugar de estados objetivos de la naturaleza.
• Alcance Modesto: Los autores declaran explícitamente que su contribución es un "primer paso" hacia la eliminación de interpretaciones superficiales de la paradoja. Reconocen limitaciones, como la fragilidad de su definición de compatibilidad (que puede romperse por pequeñas variaciones en la configuración) y el hecho de que su resolución depende de replantear el problema como un asunto de inferencia multiagente en lugar de una contradicción física directa. No afirman resolver las extensiones de múltiples partes (por ejemplo, los "teoremas de imposibilidad" de Bong et al.), pero sugieren que su marco aclara la fuente original.

En resumen, el artículo argumenta que al definir rigurosamente la compatibilidad a través de la intersección de soportes y tratar el escenario como un problema de inferencia bayesiana, la "paradoja" desaparece, revelando que Wigner y su Amigo pueden coexistir coherentemente con descripciones diferentes, pero compatibles, de la realidad.