Counterfactual quantum measurements

Aquí presento un resumen técnico detallado del artículo "Counterfactual quantum measurements" (Mediciones cuánticas contrafácticas) de Ingita Banerjee, Kiarn T. Laverick y Howard M. Wiseman.

1. El Problema

El razonamiento contrafáctico (evaluar escenarios hipotéticos del tipo "¿qué habría pasado si...?") es fundamental en la ciencia, la filosofía y la toma de decisiones. Sin embargo, el análisis más influyente de contrafácticos, propuesto por David Lewis, se basa en un marco clásico determinista. Este enfoque asume que el estado físico del mundo es un hecho definido en cualquier punto espacio-temporal y que las leyes de evolución son deterministas.

En la Teoría Cuántica Ortodoxa (OQT), estos supuestos fallan:

• La mayoría de las cantidades físicas no tienen propiedades definidas hasta que se miden.
• La teoría es inherentemente probabilística.
• La causalidad clásica se viola (e.g., no-localidad, indeterminismo).

La pregunta abierta era: ¿Cómo se puede generalizar el razonamiento contrafáctico a la teoría cuántica indeterminista sin recurrir a variables ocultas deterministas? El desafío radica en definir qué elementos deben mantenerse fijos ("fixtures") entre el mundo real y el mundo contrafáctico cuando se cambia un antecedente (una medición).

2. Metodología: El Cálculo de Suposabilidad

Los autores proponen un formalismo riguroso para calcular probabilidades contrafácticas (a las que llaman suposabilidad, denotada como $Su$) dentro de la OQT. Su metodología se basa en cuatro pasos clave que extienden el análisis de Lewis:

1. Restricción a elementos clásicos: Se limita la descripción a las configuraciones de medición, los resultados de medición y las variables clásicas no controladas (ruido).
2. De proposiciones a probabilidades: En lugar de preguntar si una consecuencia es verdadera o falsa, se pregunta por la probabilidad de la consecuencia dado el antecedente.
3. Antecedentes como configuraciones de medición: Para evitar violaciones de leyes físicas, el antecedente contrafáctico se restringe a ser una configuración de medición (una elección libre externa al sistema cuántico), no un resultado de medición.
4. Mantenimiento de "Fixtures" (Elementos Fijos): Siguiendo el segundo desiderato de Lewis, se mantienen fijos todos los eventos clásicos que no están en el cono de luz futuro del antecedente contrafáctico. Esto incluye otras configuraciones de medición y resultados que, aunque desconocidos para el observador, son causalmente independientes de la elección contrafáctica.

La Fórmula General:
La suposabilidad de un resultado $C'$ dado un antecedente $A'$, condicionada a la evidencia $E$ del mundo real, se calcula promediando sobre los resultados fijos ($F$):

$$Su(C' = c' | A' = a' || E = e) := \sum_{f} \text{Pr}(C' = c' | A' = a', F = f) \cdot \text{Pr}(F = f | E = e)$$

Donde:

• El primer término es la probabilidad en el mundo contrafáctico (con la nueva configuración $A'$).
• El segundo término es la probabilidad de los eventos fijos en el mundo real, dada la evidencia $E$.
• La doble barra ($||$) indica la condición sobre la evidencia del mundo real, diferenciándola de la condición simple ($|$) del mundo contrafáctico.

3. Contribuciones Clave

• Formalismo General: Se establece un cálculo contrafáctico aplicable a cualquier teoría probabilística con elecciones de medición libres y estructura causal (sin señalización), no solo a la mecánica cuántica.
• Diferenciación de Enfoques Previos: A diferencia de enfoques basados en Pearl (que usan intervención activa en modelos causales y fijan solo el ruido exógeno), este enfoque fija eventos completos fuera del cono de luz futuro, permitiendo respuestas no triviales incluso en sistemas sin ruido clásico.
• Concepto de "Suspectación": Para mediciones continuas, introducen el concepto de suspectación ($S$), análogo contrafáctico de la esperanza matemática ($E$), para evaluar estadísticas de registros de medición en tiempo continuo.

4. Resultados y Ejemplos

A. Ejemplo CHSH (Correlaciones de Bell)

• Escenario: Alice y Bob comparten un estado singlete. Alice mide en la dirección $Z$ y obtiene $\uparrow$. Bob mide en una dirección rotada.
• Pregunta: Si Alice hubiera medido en la dirección $X$ (en lugar de $Z$), ¿cuál sería la probabilidad de obtener $\rightarrow$?
• Resultado: La suposabilidad calculada es 3/4.
• Significado: Este valor difiere de las intuiciones simples (que darían 1/2). La respuesta correcta (3/4) surge al considerar que, aunque Bob no sabe el resultado de Alice, su resultado ($B$) es un "fixture" fijo en ambos mundos. Al promediar sobre las posibles realizaciones de $B$ (ponderadas por su probabilidad en el mundo real dado el resultado de Alice), se obtiene la probabilidad contrafáctica correcta.

B. Monitoreo Continuo de un Átomo

• Escenario: Un átomo de dos niveles es monitoreado continuamente por dos observadores (Alice y Bob) mediante detección de fotones. Alice considera un escenario contrafáctico donde ella realiza una detección homodina (medición de cuadratura de campo) en lugar de detección de fotones.
• Pregunta: Dado el registro de clics de fotones de Alice en el mundo real, ¿cuál sería la corriente homodina esperada en el mundo contrafáctico?
• Método: Utilizan técnicas de quantum state smoothing (suavizado de estado cuántico) y valores débiles generalizados. Calculan la "suspectación" de la corriente $Y_t$ promediando sobre los registros posibles de Bob.
• Resultado: La corriente homodina contrafáctica muestra un pico significativo alrededor del tiempo del clic de fotón real de Alice ($t_A$), seguido de oscilaciones ("ecos").
• Explicación Física: En el mundo real, el clic de Alice suprime la tasa de clics de Bob (anti-agrupamiento). En el mundo contrafáctico, para que la tasa de Bob permanezca suprimida (ya que es un fixture), el estado del átomo en el mundo contrafáctico debe evolucionar de tal manera que la población del estado base aumente cerca de $t_A$. Esto requiere que la corriente homodina $Y_t$ tenga un valor específico (positivo) que impulse esa evolución, resultando en el pico observado.

5. Significado e Impacto

• Puente entre Teoría e Intuición: El formalismo conecta el poder predictivo de la teoría cuántica con el razonamiento contrafáctico intuitivo utilizado en la explicación científica.
• Aplicaciones Futuras: Abre nuevas direcciones en:
  • Modelado causal cuántico.
  • Aprendizaje automático cuántico.
  • Generalización de teorías fundamentales como la Teoría de Información Integrada (IIT), donde el razonamiento contrafáctico es central.
• Verificabilidad Experimental: Los autores señalan que las suposabilidades definidas pueden, en principio, ser verificadas empíricamente como frecuencias relativas, y de hecho, se ha demostrado que la "suspectación" coincide con el valor esperado de un estado cuántico suavizado, el cual ha sido verificado experimentalmente en óptica y optomecánica.

En conclusión, el artículo resuelve la ambigüedad histórica sobre el estatus de los contrafácticos en la mecánica cuántica, proporcionando una herramienta matemática rigurosa para responder preguntas hipotéticas complejas sin violar los principios de la teoría cuántica ortodoxa.