Post-selection games

Resumen Técnico de "Juegos de post-selección"

Planteamiento del Problema
El artículo aborda las limitaciones de los juegos no locales tradicionales y las pruebas de no localidad de tipo posibilista, como la paradoja de Hardy. Mientras que las pruebas como GHZ-Mermin permiten la "telepatía pseudo", (ganar con certeza), las pruebas tipo Hardy dependen de la no localidad posibilista —demostrando que ciertos eventos son posibles o imposibles en lugar de depender de desigualdades estadísticas—. Sin embargo, las pruebas experimentales estándar de la paradoja de Hardy enfrentan dos problemas principales:

1. Imposibilidad de Prueba: No se puede probar experimentalmente que un evento es estrictamente imposible; observar una frecuencia de cero no garantiza la imposibilidad.
2. Potencia Estadística Subóptima: Cuando los experimentalistas intentan probar la paradoja de Hardy utilizando desigualdades de Bell estándar (como la desigualdad CH), los juegos resultantes a menudo no maximizan la violación para las correlaciones que satisfacen las condiciones de Hardy, lo que conduce a una evidencia estadística débil contra los modelos de variables ocultas locales (LHV).

Los autores proponen que estos problemas surgen de la incapacidad de los juegos no locales tradicionales para formalizar naturalmente las pruebas de carácter posibilista donde se descartan eventos específicos en lugar de contarlos como victorias o derrotas.

Metodología
Los autores introducen los juegos de post-selección, una generalización de los juegos no locales definida por tres funciones: la distribución de entradas $\mu(x,y)$, la función de victoria $V(a,b,x,y)$ y la función de post-selección $S(a,b,x,y)$.

• Mecanismo: En cada ronda, el árbitro puede declarar la ronda como una victoria, una derrota o descartada (post-seleccionada fuera). La probabilidad de ganar se define como la probabilidad condicional de ganar dado que la ronda no fue descartada:
  $$\omega_G(P) = \frac{\langle V_\mu, P \rangle}{\langle S_\mu, P \rangle}$$
  donde $P$ es el comportamiento (distribución de probabilidad condicional), y el denominador representa la probabilidad de una post-selección exitosa.
• Formalización de la Paradoja de Hardy: Los autores mapean la paradoja de Hardy a un juego de post-selección donde la post-selección ocurre únicamente en los eventos específicos involucrados en la paradoja ($E_{Hardy}$), y la condición de victoria es el evento específico que la mecánica cuántica predice como no nulo mientras que las teorías locales predicen como cero.
• Marco Computacional:
  • Límite Local: Los autores demuestran que el límite local de un juego de post-selección es una función cuasiconvexa maximizada en los puntos extremos (vértices) del politopo local con una probabilidad de post-selección no nula. Esto permite que el límite local se compute mediante la prueba de un conjunto finito de comportamientos deterministas.
    ों
  • Límite de Tsirelson: Formulan el cálculo del límite cuántico (de Tsirelson) como un problema de optimización cónica. Al utilizar la homogeneidad de la razón, transforman el problema en la maximización de una función lineal sobre el cono de comportamientos cuánticos no normalizados sujeto a una restricción de normalización, resoluble mediante la jerarquía NPA y programación semidefinida.
• Análisis de Potencia Estadística: El artículo adopta un marco de prueba de hipótesis (factor de Bayes y valor p) para definir la potencia estadística ($W_G$) de un juego. Esta métrica incorpora tanto la brecha de probabilidad de victoria entre los modelos cuánticos y locales como la probabilidad de post-selección (eficiencia):
  $$W_G(Q) = \gamma_G(Q) D(\omega_G(Q) \parallel \omega_\ell(G))$$
  donde $\gamma_G$ es la probabilidad de post-selección y $D$ es la divergencia de Kullback-Leibler.

Contribuciones Clave y Resultados

1. Definición y Formalización: El artículo define rigurosamente los juegos de post-selección, mostrando que formalizan naturalmente las pruebas de carácter posibilista como la paradoja de Hardy, convirtiéndolas en juegos que pueden ganarse con certeza (límite de Tsirelson = 1) mediante estrategias cuánticas.
2. Algoritmos: Los autores proporcionan algoritmos para calcular los límites local y de Tsirelson para estos juegos, demostrando que el límite local se alcanza en vértices deterministas y formulando el límite cuántico como un problema de optimización cónica.
3. Comparación de Potencia Estadística (Ideal vs. Ruidoso):
   • Caso Ideal: En un escenario sin ruido, el juego de post-selección de Hardy tiene una potencia estadística menor que el juego CHSH estándar. Esto se debe a que la baja probabilidad de post-selección (descartar la mayoría de las rondas) pesa más que la gran brecha entre las probabilidades de victoria locales y cuánticas.
   • Caso Ruidoso (Baja Eficiencia de Detección): El artículo demuestra un resultado contraintuitivo: a medida que la eficiencia de detección ($\eta$) disminuye, la potencia estadística del juego de post-selección de Hardy supera a la del juego CHSH.
   • Ventaja Ilimitada: Los autores demuestran analíticamente que cuando la eficiencia de detección se acerca al umbral crítico de $\eta \to 2/3$, la razón de la potencia estadística del juego de Hardy respecto al juego CHSH diverge hacia el infinito. Esto sugiere que los juegos de post-selección son idealmente adecuados para pruebas de Bell con baja eficiencia de detección, donde los juegos tradicionales fallan en proporcionar evidencia concluyente.
4. Generalizaciones: El marco se extiende a juegos de Hardy generalizados con $s$ entradas y $k$ salidas. Los autores muestran que, si bien la potencia estadística varía con los parámetros, generalmente aumenta con el número de salidas ($k$).
5. Ejemplos No Posibilistas: Los autores identifican otros juegos de post-selección no triviales que no derivan de pruebas de carácter posibilista (por ejemplo, el juego $G_{\neg}$), aunque estos presentaron una potencia estadística menor que el juego de Hardy en los escenarios probados.

Significancia y Reivindicaciones
El artículo sostiene que los juegos de post-selección ofrecen una "generalización natural" de los juegos no locales que cierra la brecha entre las pruebas de carácter posibilista y la realidad experimental.

• Robustez al Ruido: A diferencia de las pruebas de carácter posibilista tradicionales que son frágiles al ruido, los juegos de post-selección toleran naturalmente el ruido y aún pueden demostrar la no localidad incluso cuando las correlaciones están cerca del límite local.
• Superioridad en Regímenes de Baja Eficiencia: La principal significancia reside en el hallazgo de que los juegos de post-selección poseen una ventaja ilimitada en potencia estadística sobre los juegos no locales tradicionales (específicamente CHSH) a medida que la eficiencia de detección cae. Esto los convierte teóricamente óptimos para analizar pruebas de Bell con baja eficiencia de detección, permitiendo potencialmente demostraciones de no localidad libres de lagunas (loophole-free) en regímenes donde las desigualdades estándar fallan.
• Claridad Conceptual: El marco simplifica el análisis de las pruebas de Bell al tratar el proceso de post-selección como una parte intrínseca de la definición del juego en lugar de una corrección estadística externa, evitando así lagunas (como la laguna de muestreo justo o fair-sampling loophole) al computar explícitamente los límites que consideran la post-selección.

Los autores conjeturan modestamente que esta ventaja ilimitada se mantiene frente a cualquier juego no local sin post-selección, aunque solo proporcionan evidencia numérica para un subconjunto de juegos y una prueba rigurosa contra CHSH.