Classical Explanations in (and of) General Probabilistic Theories

El artículo introduce el concepto de "explicación" entre modelos probabilísticos como un tipo específico de espansión en la categoría $\Prob$, demostrando que estas explicaciones se componen mediante construcciones de pullback y que todo modelo probabilístico localmente finito posee una explicación clásica canónica y precisa, lo que permite una representación functorial de tales teorías.

Lo esencial

Imagina que el universo es un inmenso juego de mesa, pero en lugar de dados y fichas, las reglas están escritas en un lenguaje que a veces parece imposible de entender: la mecánica cuántica.

Los autores de este artículo, John Harding y Alex Wilce, se hacen una pregunta fascinante: ¿Podemos explicar las reglas extrañas de este juego cuántico usando un lenguaje más simple y familiar, como el de la probabilidad clásica (la que usamos para predecir el clima o jugar a las cartas)?

Aquí tienes la explicación de su trabajo, traducida a un lenguaje cotidiano con analogías:

1. El Problema: El "Juego" Cuántico vs. El "Juego" Clásico

En la vida cotidiana (probabilidad clásica), asumimos que si tienes dos experimentos, puedes hacerlos al mismo tiempo o combinarlos sin problemas. Es como si pudieras lanzar una moneda y tirar un dado simultáneamente y sumar los resultados.

Pero en el mundo cuántico, esto no funciona. Hay experimentos que son incompatibles. Es como si el universo te dijera: "Puedes mirar la moneda O puedes mirar el dado, pero si miras uno, el otro desaparece o cambia". Esto es lo que los físicos llaman "incompatibilidad" o "no conmutatividad".

2. La Solución: La "Explicación" como un Puente

Los autores proponen una forma de conectar estos dos mundos. Imagina que tienes un modelo cuántico complejo (el juego difícil) y quieres explicarlo usando un modelo clásico (el juego fácil).

Para hacerlo, usan una herramienta matemática llamada "span" (que podemos imaginar como un puente o un túnel).

• El Puente: Tienes un modelo clásico intermedio.
• El Viaje: Desde ese modelo clásico, puedes "bajar" al modelo cuántico (como si filtraras la información) y también puedes "subir" al modelo clásico (como si añadieras detalles ocultos).

Si logras construir este puente, dices que el modelo clásico explica al cuántico. Básicamente, estás diciendo: "El comportamiento extraño que ves en el mundo cuántico es solo una sombra o una versión recortada de un mundo clásico más grande y detallado que no vemos directamente".

3. La Gran Revelación: ¡Siempre podemos construir el Puente!

El hallazgo más importante del paper es que siempre es posible construir este puente para cualquier modelo probabilístico que sea "localmente finito" (un término técnico que, en nuestra analogía, significa que el juego no tiene infinitas reglas infinitamente complejas).

• La Analogía del "Mapa de Tesoros": Imagina que el mundo cuántico es un mapa con zonas borrosas donde no sabes dónde estás. Los autores dicen: "No te preocupes, siempre podemos dibujar un mapa clásico perfecto y detallado (llamado modelo Borel) que, si lo miras desde un ángulo específico, se ve exactamente igual a tu mapa borroso".
• El Resultado: Esto significa que, matemáticamente, todo comportamiento cuántico puede ser "traducido" a un lenguaje clásico. No hay nada en la mecánica cuántica que sea imposible de representar clásicamente, siempre y cuando aceptes ciertas condiciones.

4. El Precio a Pagar: La Locura de la "No Localidad"

Aquí es donde entra la parte interesante y donde el paper advierte sobre las consecuencias.

Para que este puente funcione y el modelo clásico explique al cuántico, debemos aceptar dos cosas:

1. Pérdida de Contexto: A veces, el resultado depende de cómo miras las cosas (contextualidad).
2. Pérdida de la "Localidad": Esta es la clave.

La Analogía de los Gemelos Telepatas:
Imagina dos gemelos, Ana y Bruno, separados por miles de kilómetros.

• En un mundo clásico local, si Ana lanza una moneda, eso no afecta a Bruno instantáneamente.
• En el mundo cuántico, a veces Ana y Bruno parecen estar conectados de forma mágica (entrelazamiento). Si Ana mide su partícula, la de Bruno cambia al instante, sin importar la distancia.

Los autores demuestran que, si intentas explicar este "entrelazamiento" usando nuestro puente clásico (el modelo Borel), el puente funciona... pero solo si aceptas que las reglas del juego permiten señales más rápidas que la luz o conexiones mágicas instantáneas.

En términos técnicos, el modelo clásico que explica al cuántico tiene "partículas fantasma" (estados de dispersión cero) que, si se combinan, crean el entrelazamiento. Pero estas partículas fantasma, en el modelo clásico, señalan entre sí de una manera que viola la intuición de que "lo que pasa aquí no afecta a lo de allá instantáneamente".

5. Conclusión: ¿Qué significa esto para nosotros?

El paper nos deja con tres formas de ver el mundo, dependiendo de qué prefieras sacrificar:

1. El Mundo es Extraño (No Clásico): Aceptamos que el universo no es clásico. Las cosas no tienen propiedades definidas hasta que las miramos. El entrelazamiento es real y la "localidad" (que las cosas solo se afecten por contacto cercano) es una ilusión.
2. El Mundo es Clásico pero "Tramposo" (No Local): Aceptamos que el universo es clásico en su fondo (hay un mapa real), pero es un mapa donde todo está conectado de forma mágica e instantánea. Es un mundo clásico, pero no local.
3. La Localidad es la Definición de Clásico: Si definimos "clásico" como algo que respeta la localidad (nada viaja más rápido que la luz), entonces el universo no es clásico. Punto.

En resumen:
Este artículo nos dice que podemos "traducir" todo el misterio cuántico a un lenguaje clásico, pero el precio de esa traducción es que el mundo clásico subyacente debe ser un lugar donde las partes distantes se comunican instantáneamente (no localidad). No hay magia matemática que nos permita tener un mundo clásico, local y que explique la mecánica cuántica al mismo tiempo. Tenemos que elegir: o el mundo es clásico pero "telepático", o el mundo es fundamentalmente extraño y cuántico.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Classical Explanations in (and of) General Probabilistic Theories" de John Harding y Alex Wilce, estructurado según los puntos solicitados.

1. El Problema

La teoría de la probabilidad clásica asume tácitamente que todos los experimentos pueden refinarse comúnmente y, por tanto, realizarse conjuntamente. Sin embargo, la Mecánica Cuántica (MQ) desafía esta premisa al introducir experimentos incompatibles.

La literatura ha intentado generalizar la teoría de la probabilidad para acomodar esta incompatibilidad mediante dos enfoques principales:

1. Enfoque de lógica cuántica: Reemplaza las álgebras booleanas por retículos ortomodulares.
2. Enfoque convexo: Reemplaza el simplex de medidas de probabilidad clásicas por conjuntos convexos arbitrarios.

Aunque existen teoremas que muestran que estos modelos pueden representarse mediante modelos probabilísticos clásicos (aceptando la pérdida de localidad y fallos de contextualidad), estos resultados están dispersos en diferentes marcos formales y no son equivalentes. El problema central que abordan los autores es la falta de una imagen unificada y general que defina rigurosamente qué significa que un modelo probabilístico general tenga una "explicación clásica", y cómo esta explicación interactúa con sistemas compuestos y el entrelazamiento.

2. Metodología

Los autores desarrollan un marco categórico unificado para la teoría de la probabilidad generalizada:

• Categoría Prob: Definen una categoría de modelos probabilísticos concretos (PM), donde un modelo es un par $(M, \Omega)$ compuesto por un "espacio de pruebas" (test space) $M$ (una colección de conjuntos de resultados posibles) y un espacio de estados $\Omega$ (un conjunto de pesos de probabilidad).
• Morfismos: Introducen morfismos entre espacios de pruebas que preservan la estructura de eventos y ortogonalidad, y definen morfismos de modelos (PM-morphisms) que inducen aplicaciones afines entre espacios de estados.
• Definición de Explicación: Proponen que una "explicación" de un modelo $A$ por otro modelo $B$ es un span (diagrama en forma de V invertida) en la categoría Prob:
  $$C \xrightarrow{\phi} A \quad \text{y} \quad C \xrightarrow{\psi} B$$
  Donde $\phi$ es un morfismo de cociente (que identifica resultados) y $\psi$ es una incrustación (embedding) que preserva la estructura. Intuitivamente, $B$ explica $A$ si $A$ se obtiene de $B$ restringiendo el acceso a ciertas pruebas e identificando estados indistinguibles.
• Construcción de Pullback: Demuestran que estas explicaciones son composibles mediante una construcción de pullback (producto fibrado) específica, a pesar de que la categoría Prob no admite pullbacks arbitrarios.
• Borelización: Utilizan herramientas de análisis funcional (integrales débil-estrella y baricentros) para construir un funtor endomórfico Bor que asigna a cada modelo localmente finito un modelo clásico de Borel.

3. Contribuciones Clave

1. Definición Categorial de Explicación: Formalizan la noción de "explicación clásica" como un tipo específico de span en la categoría de modelos probabilísticos, generalizando las incrustaciones de Beltrametti-Bugajski y los modelos ontológicos.
2. El Functor Bor (Borelización): Construyen un funtor Bor: Prob → Prob que asigna a cualquier modelo probabilístico localmente finito $A$ un modelo clásico de Borel Bor(A).
   • Bor(A) se construye sobre el espacio de estados "dispersión libre" (dispersion-free) de la cubierta semiclásica de $A$.
   • Demuestran que todo modelo localmente finito tiene una explicación clásica canónica y aguda (sharp) a través de este funtor.
3. Representación Ontológica Unificada: Muestran que una representación ontológica (sharp o difusa) es esencialmente una incrustación de la cubierta semiclásica del modelo en un modelo de Borel. Esto unifica la teoría de modelos ontológicos con la teoría de modelos probabilísticos generales.
4. Análisis de Sistemas Compuestos y Localidad: Analizan cómo la "clasicización" canónica interactúa con sistemas compuestos no señalantes (non-signalling).

4. Resultados Principales

• Teorema de Explicación Canónica (Teorema 3.4): Todo modelo probabilístico localmente finito $A$ (con a lo más una prueba de un solo resultado) posee una explicación clásica canónica. Específicamente, existe un modelo de Borel Bor(A) y un diagrama donde Bor(A) incrusta en la cubierta semiclásica de $A$, la cual a su vez es un cociente de $A$.
• Composición de Explicaciones: Las explicaciones son transitivas y asociativas (hasta isomorfismo canónico), permitiendo formar una bicategoría de modelos y explicaciones.
• Localidad y Entrelazamiento (Sección 4):
  • Si un sistema compuesto $AB$ admite una explicación clásica que es Bell-local (definida en términos de que las medidas en el espacio de estados ocultos sean productos de medidas locales), entonces todos los estados de $AB$ deben ser separables como pesos de probabilidad conjunta.
  • Resultado Crítico: Los estados entrelazados (que no son combinaciones convexas de productos) no tienen explicación clásica local, incluso en el sentido generoso de los autores.
  • La explicación clásica canónica de un sistema compuesto representa los estados no señalantes como promedios ponderados de pesos de probabilidad "dispersión libre" que, sin embargo, son señalantes (signalling). Es decir, la explicación clásica requiere "variables ocultas" que violan la no-señalización a nivel microscópico para reproducir la no-señalización macroscópica.
• Teorema de Bell en este marco: Se reformula el Teorema de Bell mostrando que la incompatibilidad entre localidad y "clasicidad" es una incompatibilidad entre una noción específica de localidad (Bell-localidad en la explicación) y una noción específica de clasicidad (existencia de una representación ontológica aguda).

5. Significado e Implicaciones

El trabajo ofrece una clarificación matemática profunda sobre la relación entre la probabilidad cuántica y la clásica:

1. Universalidad de la Representación Clásica: Confirma que, bajo definiciones muy amplias (aceptando la pérdida de localidad y contextualidad), cualquier teoría probabilística localmente finita puede representarse clásicamente. No hay "misterio" en la imposibilidad de una representación clásica per se, sino en las restricciones adicionales (como la localidad).
2. Naturaleza del Entrelazamiento: El entrelazamiento no impide una representación clásica, pero impide una representación clásica local. La "no-localidad" de la mecánica cuántica se manifiesta en que cualquier explicación clásica de un estado entrelazado requiere variables ocultas que son intrínsecamente señalantes (violan la no-señalización) o que el espacio de estados ocultos no puede ser factorizado localmente.
3. Reflexión Filosófica: Los autores concluyen que el Teorema de Bell no establece que el mundo sea "no clásico" o "no local" de manera absoluta, sino que muestra un conflicto entre definiciones específicas. Ofrecen tres posturas consistentes:
   • El mundo es no clásico porque los observables no conmutativos no son medibles conjuntamente.
   • El mundo es clásico pero no local (las variables ocultas existen pero requieren un ajuste fino para no señalizar).
   • La localidad es parte de la definición de clasicidad; por tanto, el mundo es no clásico porque es no local.

En resumen, el papel proporciona un marco unificado que demuestra que la "clasicidad" es siempre alcanzable a costa de la localidad, y que la verdadera barrera para una descripción clásica del mundo cuántico es la localidad de Bell, no la mera existencia de una representación clásica.