Kochen-Specker nonlocal hidden variables must include time-ordering to allow for measurement independence of several agents

Este artículo demuestra que, para que una ontología de variables ocultas no locales con posibilidades preexistentes fuera del espacio-tiempo mantenga la independencia de la medición para múltiples agentes en experimentos de tipo Bell, la información contextual debe abarcar no solo las mediciones disponibles, sino también el orden temporal de las elecciones de los agentes.

Lo esencial

La Gran Idea: Un "Menú" Cósmico de Posibilidades

Imagina que el universo no decide lo que sucede mientras ocurre. En su lugar, imagina que hay una biblioteca gigante y mágica (o un "repositorio") situada fuera del espacio y el tiempo. Dentro de esta biblioteca, cada resultado posible para cada experimento posible ya está escrito en una tarjeta.

Esta es la idea central que los autores están explorando. Lo llaman una ontología (una forma de describir cómo funciona la realidad). En esta visión:

1. Las Tarjetas: Cada resultado de medición posible existe como una "posibilidad preexistente" en esta biblioteca.
2. La Elección: Cuando un científico (un "agente") decide realizar un experimento, "libremente" elige una tarjeta de la biblioteca.
3. El Resultado: Una vez que se elige la tarjeta, ese resultado se vuelve real, y todas las demás posibilidades de esa tarjeta simplemente se desvanecen como "lo que podría haber pasado pero no pasó".

Los autores quieren mantener dos cosas verdaderas al mismo tiempo:

• Los resultados coinciden con la Mecánica Cuántica: Sabemos que las partículas cuánticas están conectadas de manera extraña (no local). Si mides una partícula aquí, afecta instantáneamente el resultado de una partícula a años luz de distancia.
• La Elección Libre es Real: Los científicos deben ser verdaderamente libres para elegir qué experimento realizar. Sus elecciones no deben estar secretamente manipuladas por el universo para coincidir con las partículas.

El Problema: La Trampa de la "Señalización"

Los autores encontraron un fallo importante en esta historia cuando están involucrados dos o más científicos.

La Analogía: El Juego Tramposo
Imagina que Alicia y Bob están jugando a un juego en habitaciones diferentes. Tienen un mazo de cartas (el "repositorio") que les dice qué respuestas dar.

• Si el mazo está fijo, y Alicia elige una carta que dice "Si Bob hace la Pregunta X, debo responder Y", entonces Alicia está enviando un mensaje secreto a Bob.
• Si Bob conoce las reglas del mazo, puede averiguar lo que hizo Alicia solo mirando su propia respuesta.

En el mundo de la física cuántica, para explicar las conexiones "espeluznantes" entre las partículas, las "cartas" en la biblioteca deben contener estas conexiones secretas (señalización). Si las cartas no tuvieran estas conexiones, las matemáticas no funcionarían y no veríamos los extraños efectos cuánticos.

La Paradoja:
Si las cartas tienen estas conexiones secretas, y Bob revisa su carta antes de que Alicia revise la suya, la carta de Bob podría obligar a Alicia a hacer una elección específica para mantener las matemáticas consistentes.

• Ejemplo: Si la carta de Bob dice "Elegí la Opción B", y la carta de la biblioteca dice "Si Bob eligió B, Alicia debe haber elegido A", entonces Alicia ya no es libre. Está obligada a elegir A.
• Esto rompe la regla de la "Elección Libre".

La Solución: Añadir "Tiempo" al Menú

Los autores proponen una solución simple: Las cartas de la biblioteca deben incluir el orden temporal de las elecciones.

La Analogía: La Regla de "¿Quién Fue Primero?"
En lugar de simplemente listar "Alicia elige X, Bob elige Y", la carta de la biblioteca debe decir:

• "Si Alicia elige X y ella va primera, entonces Bob obtiene Y".
• "Si Bob elige Y y él va primero, entonces Alicia obtiene X".

Al añadir el orden temporal (quién hizo su elección primero) al contexto, la paradoja desaparece.

• Si Alicia va primero, la biblioteca le da una carta que le permite ser libre.
• Si Bob va primero, la biblioteca le da a él una carta que le permite ser libre.
• El "mensaje secreto" (señalización) solo ocurre después de que la primera persona hace su elección, por lo que no obliga a la segunda persona a perder su libertad.

El artículo argumenta que para que esta teoría de la "Biblioteca Cósmica" funcione sin destruir el libre albedrío humano, la biblioteca debe saber cuándo ocurren las elecciones, no solo qué son las elecciones.

Por Qué Esto Importa (Según el Artículo)

1. Salva el Libre Albedrío: Muestra cómo puedes tener un universo donde todo está preescrito (determinista) pero los científicos aún sienten que están haciendo elecciones libres, siempre y cuando la lista "preescrita" conozca el orden de los eventos.
2. Necesita una Biblioteca "Externa": Dado que estas conexiones ocurren instantáneamente a través del espacio, esta biblioteca no puede estar dentro de nuestro espacio y tiempo normales. Tiene que estar "fuera" del universo, como una mente divina o una base de datos maestra.
3. Es una Explicación Mínima: Los autores sugieren que esta es una forma muy simple de explicar la mecánica cuántica sin necesidad de inventar universos paralelos (como la teoría de los "Muchos Mundos") o decir que el libre albedrío es una ilusión.

Resumen en Una Frase

Para explicar cómo las partículas cuánticas están conectadas sin robar nuestra libertad de elegir, las "reglas ocultas" del universo deben saber no solo qué elegimos, sino quién lo eligió primero.

Resumen técnico

Resumen Técnico: Variables Ocultas No Locales de Kochen-Specker y Ordenamiento Temporal

Enunciado del Problema
El artículo aborda la interpretación ontológica de la mecánica cuántica, centrándose específicamente en modelos que tratan la contextualidad de Kochen-Specker (KS) como una característica de "posibilidades preexistentes" almacenadas en un repositorio fuera del espacio-tiempo. Los autores investigan la compatibilidad de esta ontología con la independencia de la medición (a menudo denominada "elección libre") en experimentos de tipo Bell que involucran a múltiples agentes independientes.

La tensión central surge del teorema de Bell, el cual dicta que cualquier modelo de variables ocultas que reproduzca las correlaciones cuánticas debe ser no local. Si el repositorio contiene asignaciones deterministas no locales (variables ocultas) que determinan los resultados basándose en los contextos de medición, surge un conflicto: en ciertas configuraciones, el resultado de la medición de un agente parece depender de la elección futura de otro agente. Sin restricciones adicionales, esta dependencia implica que el agente posterior no puede elegir su contexto de medición libremente, ya que su elección estaría restringida por la necesidad de coincidir con la asignación preexistente recuperada por el agente anterior. Esto amenaza el principio de independencia de la medición.

Metodología
Los autores analizan la estructura de las asignaciones deterministas no locales dentro de una ontología de repositorio. Proceden a través de los siguientes pasos lógicos:

1. Marco Ontológico: Definen una ontología donde las variables ocultas son posibilidades preexistentes almacenadas fuera del espacio-tiempo. Cuando un agente elige un contexto (configuración de medición), el valor correspondiente se recupera de este repositorio.
2. Análisis de Señalización: Examinan asignaciones deterministas no locales específicas (por ejemplo, aquellas que violan la desigualdad CHSH). Demuestran que cualquier asignación determinista no local que no sea causalmente local contiene inherentemente "señalización" (donde una salida depende de una entrada distante).
3. La Paradoja de la Elección Libre: Ilustran que si un repositorio contiene una asignación no local fija (por ejemplo, $a+b \equiv xy \mod 2$), y los agentes eligen mediciones en una secuencia ordenada temporalmente (por ejemplo, Bob mide antes que Alice), el resultado de Bob dicta efectivamente la entrada de Alice para mantener la consistencia. Esto fuerza a que la elección de Alice esté correlacionada con la de Bob, violando la independencia de la medición.
4. Resolución mediante Ordenamiento Temporal: Los autores proponen que, para preservar la independencia de la medición para todos los agentes, el "contexto" recuperado del repositorio debe incluir no solo las configuraciones de medición, sino también el ordenamiento temporal de las elecciones de los agentes.
5. Generalización: Extienden este argumento a sistemas multipartita. Demuestran que cualquier correlación cuántica (que satisface la condición de no señalización) puede descomponerse en una mezcla de asignaciones deterministas que respetan un ordenamiento temporal específico (es decir, asignaciones que señalizan solo hacia adelante en el tiempo, evitando ciclos causales).

Contribuciones y Resultados Clave

• Necesidad del Ordenamiento Temporal en el Contexto: El resultado principal es la demostración de que, para que un modelo de variables ocultas basado en repositorio sea consistente con la independencia de la medición en experimentos de Bell multiagente, el contexto debe incluir explícitamente el orden temporal de las elecciones de los agentes.
• Descomposición de Correlaciones Cuánticas: El artículo muestra que el conjunto de correlaciones cuánticas (y el politopo de no señalización más amplio) está contenido dentro del "politopo de la flecha del tiempo". Esto significa que cualquier correlación cuántica puede descomponerse en asignaciones deterministas consistentes con algún ordenamiento temporal (por ejemplo, $t_A \le t_B \le t_C$), donde la señalización fluye solo desde elecciones anteriores hacia elecciones posteriores.
• Resolución de Ciclos de Señalización: Al incluir el ordenamiento temporal en el contexto, el modelo evita la "señalización circular" (donde $A$ señala a $B$ y $B$ señala de vuelta a $A$). En un contexto ordenado temporalmente, una asignación solo necesita señalizar desde el agente anterior hacia el posterior, asegurando que la elección del agente posterior permanezca libre en relación con el resultado del agente anterior.
• Definición Operacional del Tiempo: Los autores aclaran que el tiempo relevante $t_P$ es el momento en que el sistema produce un resultado con respecto al dispositivo de medición, y no el momento de la decisión humana, aunque esta distinción sigue siendo difícil de precisar operacionalmente.

Significado y Afirmaciones
El artículo afirma proporcionar una "explicación mínima" de cómo se producen los resultados en experimentos cuánticos bajo una ontología de universo único. Su significado radica en:

1. Preservación de la Independencia de la Medición: Ofrece una forma de mantener la suposición de que los agentes (o generadores de números aleatorios) pueden elegir libremente los contextos de medición sin recurrir al superdeterminismo (donde la fuente está correlacionada con las elecciones) o abandonar la visión de un solo mundo.
2. Consistencia Ontológica: Resuelve el conflicto entre variables ocultas no locales y la elección libre expandiendo la definición de "contexto" para incluir relaciones temporales.
3. Resonancia Teológica y Filosófica: Los autores señalan que este concepto de repositorio resuena con discusiones teológicas sobre la omnisciencia divina y el libre albedrío humano (específicamente el Molinismo y el concepto de Infuturabilien discutido por Ernst Specker) y visiones de la física estadística como el "Mentaculus". Sugieren que su "repositorio cuántico" podría verse como una generalización de estos conceptos para incluir asignaciones no locales.

Los autores mantienen una postura modesta, afirmando que no comparan los méritos de esta ontología frente a otras desviaciones radicales de las creencias comunes (como los muchos mundos o el superdeterminismo), sino que más bien muestran que este camino específico requiere la inclusión del ordenamiento temporal para ser lógicamente consistente.