Limits of Absoluteness of Observed Events in Timelike Scenarios: A No-Go Theorem

Aquí presento un resumen técnico detallado del artículo "Límites de la Absolutitud de Eventos Observados en Escenarios Temporales: Un Teorema de Imposibilidad" (Limits of Absoluteness of Observed Events in Timelike Scenarios: A No-Go Theorem), escrito por Sumit Mukherjee y Jonte R. Hance.

1. El Problema: Paradojas del Amigo de Wigner y la Absolutitud de Eventos

El trabajo aborda las paradojas del tipo "Amigo de Wigner", que desafían la noción clásica de que los eventos observados son absolutos e independientes del observador. En la mecánica cuántica estándar, si un observador (el "Amigo") mide un sistema dentro de un laboratorio aislado, obtiene un resultado definido. Sin embargo, un observador externo ("Wigner") que trata al laboratorio completo como un sistema cuántico unitario describe el estado como una superposición de todos los posibles resultados.

El problema central es determinar si es posible reconciliar la mecánica cuántica con la idea de que los eventos observados tienen una realidad única y absoluta (Absolutitud de Eventos Observados - AOE). Trabajos recientes, como el Teorema de la Amistad Local (Local Friendliness - LF) de Bong et al., han demostrado que bajo ciertas suposiciones (AOE, localidad, libertad de elección), la mecánica cuántica viola desigualdades derivadas, sugiriendo que al menos una suposición debe ser falsa.

Este artículo se centra en dos preguntas abiertas:

1. ¿Se puede debilitar la suposición de localidad (espacial) en estos escenarios?
2. ¿Es necesaria la AOE en su totalidad para generar la contradicción, o se puede debilitar esta suposición sin perder el resultado de "no-go"?

2. Metodología: El Paradigma de la Amistad Simétrica en el Tiempo Causal

Los autores proponen un nuevo escenario teórico llamado Paradoja de la Amistad Simétrica en el Tiempo Causal (Causal Time-Symmetric Friendliness Paradox). A diferencia de los escenarios espaciales (tipo Bell) donde dos laboratorios están separados espacialmente, este escenario es temporal (causalmente ordenado).

Configuración Experimental

El escenario involucra cuatro agentes en una secuencia temporal:

1. Charlie (dentro del Lab 1) mide un sistema, obteniendo un resultado $c$ (evento "Pseudo").
2. Alice (super-observador externo) elige una entrada $x$. Si $x=0$, abre el laboratorio y registra $c$. Si $x=1$, invierte unitariamente la medición de Charlie (borrando el evento $c$) y mide el sistema ella misma, obteniendo $a$ (evento "Realmente Observado").
3. El sistema se envía al Lab 2, donde Debbie mide y obtiene $d$ (otro evento "Pseudo").
4. Bob (super-observador) elige $y$. Si $y=0$, registra $d$. Si $y=1$, invierte la medición de Debbie y mide él mismo, obteniendo $b$ (evento "Realmente Observado").

Suposiciones Clave

Para derivar la desigualdad, los autores introducen cuatro suposiciones:

1. Absolutitud de Eventos Observados (AOE): Existe una distribución de probabilidad conjunta $p(c, a, d, b|x, y)$ que describe todos los eventos, incluidos los que pueden ser borrados unitariamente.
2. Simetría Temporal Axiológica (ATS): Una generalización de la simetría temporal operativa. Si las estadísticas de los eventos "reales" son simétricas en el tiempo, entonces la descripción que incluye los eventos "pseudo" (borrables) también debe serlo. Formalmente, la probabilidad conjunta en la dirección temporal inversa debe coincidir con la directa bajo el intercambio de roles de preparación y medición.
3. No Retrocausalidad (NRC): Las elecciones de medición futuras ($x, y$) no pueden influir en los resultados pasados ($c, d$) ni en los eventos observados pasados ($a$) más allá de las dependencias causales permitidas.
4. Screening a través de Eventos Pseudo (SPE): Los eventos pseudo ($c, d$) actúan como variables ocultas que "bloquean" (screen off) la influencia de eventos pasados sobre eventos futuros observados.

3. Contribuciones Principales

A. Reemplazo de la Localidad por Simetría Temporal

Los autores demuestran que la suposición de localidad (típica en teoremas tipo Bell) puede ser reemplazada por la Simetría Temporal Axiológica (ATS) en un escenario causalmente ordenado. Esto permite formular un teorema de imposibilidad en el dominio temporal sin depender de la separación espacial, abordando la tensión entre la mecánica cuántica y la realidad independiente del observador en una línea de tiempo causal.

B. Debilitamiento de la Absolutitud de Eventos Observados (AOE)

Esta es la contribución más significativa. Los autores analizan si la AOE completa es necesaria. Inspirándose en el trabajo de Leifer y Pusey sobre la mediación $\lambda$ en modelos ontológicos, proponen una versión operativa más débil:

• Mediación Operativa de Eventos Pseudo (Operational Pseudo Event Mediation): En lugar de asumir la existencia de una distribución conjunta global para todos los eventos (AOE), asumen solo la existencia de marginales operativos bien definidos ($p(c, d|x, y)$, $p(a|x, c)$, $p(b|y, c, d)$) y que los eventos pseudo median la información entre el pasado y el futuro.
• Resultado: Demuestran que incluso con esta suposición debilitada (que no requiere que los eventos borrados tengan una realidad ontológica fija en cada ejecución), la mecánica cuántica sigue violando la desigualdad derivada. Esto refuerza que la incompatibilidad no es un artefacto de una suposición demasiado fuerte, sino una característica fundamental de la teoría.

C. Imposibilidad de Debilitar la Absolutitud de los Eventos Pseudo

Los autores prueban que si se elimina incluso la suposición de que los eventos pseudo ($c, d$) tienen valores absolutos (es decir, si se permite que $p(c, d|x, y)$ dependa de las elecciones futuras $x, y$ de manera no mediada), la desigualdad de "no-go" colapsa. En este caso, se pueden alcanzar correlaciones que violan el límite cuántico ($2\sqrt{2}$) y llegan al límite algebraico máximo ($4$, tipo "Boxworld"). Esto indica que la absolutitud de los eventos pseudo es un componente crítico e indispensable para que el teorema funcione.

4. Resultados Técnicos

1. Desigualdad de Amistad Simétrica en el Tiempo Causal: Bajo las suposiciones de AOE, ATS, NRC y SPE, se deriva la desigualdad de tipo CHSH:
   $$| \langle A_0 B_0 \rangle + \langle A_0 B_1 \rangle + \langle A_1 B_0 \rangle - \langle A_1 B_1 \rangle | \leq 2$$
2. Violación Cuántica: La mecánica cuántica viola esta desigualdad, alcanzando el valor $2\sqrt{2}$. Esto implica que la mecánica cuántica es incompatible con al menos una de las suposiciones (AOE, ATS, NRC o SPE).
3. Robustez bajo Debilitamiento: Al reemplazar AOE por "Mediación Operativa de Eventos Pseudo", la desigualdad se mantiene y la violación cuántica persiste. Esto demuestra que la paradoja no depende de la existencia ontológica de los eventos borrados, sino de la estructura operativa de la mediación causal.
4. Límite del Debilitamiento: Si se elimina la absolutitud de los eventos pseudo (permitiendo que $p(c,d)$ dependa de $x,y$), la desigualdad deja de ser válida, permitiendo correlaciones super-cuánticas.

5. Significado e Implicaciones

• Fundamentos de la Mecánica Cuántica: El trabajo refuerza la idea de que la noción clásica de "eventos absolutos" es incompatible con la mecánica cuántica, incluso en escenarios temporales y bajo suposiciones operativas muy débiles.
• Interpretaciones de la Realidad:
  • Teoría de De Broglie-Bohm: Podría evadir el teorema abandonando la suposición de "Screening via Pseudo Events" debido a su no-localidad explícita.
  • Interpretación de Muchos Mundos (MWI): Rechaza explícitamente la AOE, asumiendo que los eventos son relativos a la rama de la función de onda, lo que la hace compatible con la violación de la desigualdad.
• Nuevas Direcciones: El marco propuesto ofrece una herramienta para estudiar la transición cuántico-clásica y la emergencia de la objetividad a través de la decoherencia y mediciones gruesas. Sugiere que la "absolutitud" de un evento puede ser una propiedad que emerge solo cuando ciertos eventos pseudo no son borrados o cuando la mediación causal se mantiene.

En resumen, este artículo establece un teorema de imposibilidad robusto en el dominio temporal, demostrando que la mecánica cuántica resiste la reconciliación con la noción de eventos absolutos incluso cuando se relajan las suposiciones sobre la realidad de los eventos intermedios, siempre que se mantenga una estructura causal de mediación operativa.