Aumann's theorem beyond ontology: quantum, postquantum, and indefinite causal order

Resumen Técnico: El Teorema de Acuerdo de Aumann más allá de la Ontología

1. Planteamiento del Problema

El Teorema de Acuerdo de Aumann es un resultado fundamental en la epistemología bayesiana que establece que dos agentes racionales, que comparten un prior común y cuyos posteriores (creencias actualizadas) son conocimiento común (es decir, cada uno sabe lo que el otro cree, sabe que el otro sabe lo que él cree, y así ad infinitum), no pueden asignar probabilidades diferentes al mismo evento. En términos coloquiales: "no pueden estar de acuerdo en disentir".

Sin embargo, la formulación clásica de este teorema depende de una estructura ontológica fuerte: asume la existencia de un "estado verdadero del mundo" ($\omega^*$) en un espacio de estados $\Omega$, independiente de las observaciones. Los agentes obtienen información mediante particiones de este espacio de estados.

El problema central abordado por los autores es si este teorema sigue siendo válido en contextos donde la noción de un estado objetivo subyacente es problemática o inapropiada, como en:

• La teoría cuántica (especialmente con mediciones no conmutativas).
• Escenarios de orden causal indefinido.
• Marcos teóricos postcuánticos.

La literatura previa ha sugerido que el teorema podría fallar en estos contextos o requerir modificaciones, a menudo basándose en interpretaciones ontológicas o reglas de actualización no estándar.

2. Metodología

Los autores proponen una reformulación operacional del teorema, eliminando la necesidad de un espacio de estados ontológicos subyacentes. Su metodología se basa en los siguientes pilares:

• Enfoque en Resultados de Medición: En lugar de definir los agentes sobre un espacio de estados $\Omega$, definen el espacio de posibilidades directamente sobre los resultados de las mediciones. Se considera un espacio de triples de resultados $M = I \times J \times K$, donde $I$ y $J$ son los resultados de las mediciones de Alice y Bob, y $K$ es el resultado de un tercer evento de interés.
• Distribución de Probabilidad Conjunta: Se asume que los agentes comparten un prior común $p(i, j, k)$ sobre los resultados de las mediciones. Esta distribución puede derivarse de cualquier teoría física (clásica, cuántica, postcuántica) siempre que permita calcular probabilidades conjuntas.
• Condicionamiento Bayesiano: Los agentes actualizan sus creencias utilizando el razonamiento bayesiano estándar sobre esta distribución conjunta, sin invocar un estado de colapso o una realidad oculta.
• Definición Operacional de Conocimiento Común: Se redefine el conocimiento común en términos de conjuntos de resultados observables ($A_n, B_n$) en lugar de particiones de un espacio de estados. El conocimiento común se alcanza cuando el par de resultados observados $(i, j)$ pertenece a la intersección infinita de estos conjuntos.

3. Contribuciones Clave

1. Teorema de Acuerdo Operacional (Teorema 2):
   Los autores demuestran que si una teoría física permite calcular una distribución de probabilidad conjunta para los resultados de las mediciones, y si los agentes racionales con un prior compartido tienen conocimiento común de sus posteriores, entonces sus posteriores deben ser idénticos.

   • Prueba: La demostración es puramente algebraica y probabilística. Muestra que si el conocimiento común existe, los conjuntos de resultados compatibles con las creencias de ambos agentes tienen probabilidad condicional mutua de 1, lo que fuerza la igualdad de las probabilidades asignadas al evento de interés.

2. Independencia Ontológica:
   El teorema no requiere que las probabilidades provengan de una marginalización sobre un espacio de estados ocultos (como en la ecuación clásica $p(i,j,k) = \int p(\omega) d\omega$). Solo requiere la existencia de la distribución conjunta $p(i,j,k)$. Esto desvincula el teorema de la "realidad objetiva" y lo ancla en la consistencia de las predicciones probabilísticas.

3. Generalización a Escenarios Cuánticos y Exóticos:

   • Mediciones No Conmutativas: A diferencia de trabajos previos que sugerían que el teorema fallaba en mediciones no conmutativas, los autores muestran que el teorema se mantiene siempre que se utilice la regla de actualización estándar de la teoría cuántica (instruments).
   • Orden Causal Indefinido: El teorema se aplica a marcos de "matrices de proceso" (process matrices), donde el orden causal entre las mediciones de Alice, Bob y un tercer evento puede ser indefinido, superpuesto o incluso carecer de una descripción causal clásica.
   • Teorías Postcuánticas: El resultado es válido para cualquier marco de teorías probabilísticas generalizadas (GPTs), formalismo positivo o teoría de constructores, siempre que se puedan definir distribuciones conjuntas.

4. Resultados Principales

• Validez Universal: El teorema de acuerdo es válido en la teoría cuántica, incluso con mediciones no conmutativas, y en escenarios con orden causal indefinido. La única condición necesaria es la existencia de una distribución de probabilidad conjunta bien definida sobre los resultados.
• Resolución de Contradicciones en la Literatura:
  • Los autores explican que los resultados previos que mostraban "disentimiento" (como los de Contreras-Tejada et al. o Díaz et al.) surgían de considerar eventos contrafactuales (resultados de mediciones no realizadas) o de utilizar reglas de actualización no estándar (asumiendo superposiciones en lugar de mezclas estadísticas para sistemas de otros agentes).
  • Cuando se utilizan reglas de actualización físicas estándar y se consideran solo resultados reales observables, el "disentimiento" desaparece.
• Límite de Aplicabilidad (El Caso de Wigner's Friend):
  El teorema falla únicamente en situaciones donde no se puede asignar una distribución de probabilidad conjunta significativa a los resultados de diferentes observadores. Los autores identifican los experimentos de tipo "Amigo de Wigner" (y paradojas relacionadas como la de Frauchiger-Renner) como el único escenario donde el teorema podría fallar. En estos casos, la premisa de que los resultados de diferentes observadores existen conjuntamente como eventos independientes del observador se pone en duda, rompiendo la base del teorema operacional.

5. Significado e Implicaciones

• Cambio de Paradigma: El trabajo demuestra que la capacidad de los agentes racionales para llegar a un acuerdo no depende de la existencia de una realidad objetiva subyacente (ontología), sino de la consistencia interna de las predicciones probabilísticas y la estructura del razonamiento bayesiano.
• Robustez de la Teoría Cuántica: Refuerza la idea de que la teoría cuántica, incluso en sus aspectos más contraintuitivos (no conmutatividad, causalidad indefinida), mantiene una estructura lógica coherente que impide el desacuerdo racional entre agentes que comparten información.
• Clarificación de Paradojas Fundamentales: Al delimitar claramente dónde el teorema funciona (cualquier teoría con distribuciones conjuntas) y dónde falla (escenarios de Amigo de Wigner donde la objetividad de los hechos se cuestiona), el artículo proporciona un marco claro para investigar los límites de la teoría cuántica y las teorías postcuánticas. Sugiere que cualquier violación del teorema de acuerdo sería una señal de que la noción de "hechos observadores-independientes" ha colapsado en ese escenario específico.

En conclusión, Cepollaro y Di Biagio han logrado desontologizar el teorema de Aumann, transformándolo de una afirmación sobre la realidad del mundo a una afirmación sobre la consistencia de las predicciones observacionales, extendiendo su validez a los límites más avanzados de la física teórica contemporánea.