Against probability: A quantum state is more than a list of probability distributions

Este artículo demuestra un teorema de no-go que prueba que una representación de probabilidad topológicamente robusta de los estados cuánticos, si bien es necesaria para declaraciones físicas significativas, no puede preservar simultáneamente características estructurales esenciales tales como la composición de subsistemas.

Lo esencial

La Gran Idea: El Mapa no es el Territorio

Imagina que tienes una escultura 3D compleja (un estado cuántico). Para describírsela a alguien que no puede verla, decides tomar una serie de fotografías en 2D (distribuciones de probabilidad) desde todos los ángulos posibles.

Los autores de este artículo argumentan que, si bien estas fotos pueden identificar de forma única la escultura, confiar en ellas para describir la escultura tiene un fallo fatal: las fotos pueden mentir sobre qué tan cerca están dos esculturas.

En el mundo de la física cuántica, los científicos a menudo intentan describir un sistema no por su estado "real" (el operador de densidad), sino mediante una lista de probabilidades de lo que sucede cuando se mide. El artículo afirma que, si intentas hacer esto de una manera matemáticamente "robusta" (es decir, que los pequeños errores en las fotos no conduzcan a errores enormes en tu comprensión), pierdes la capacidad de describir cómo encajan las partes del sistema entre sí.

El Problema: La Trampa de la "Foto Borrosa"

Para entender por qué esto importa, imagina que estás intentando generar una cadena de números verdaderamente aleatorios (como un código secreto) usando una máquina cuántica.

1. El Objetivo: Quieres que el resultado sea perfectamente aleatorio. En el mundo cuántico "real", puedes demostrar que una secuencia es aleatoria si es imposible distinguirla de una fuente aleatoria perfecta, incluso si un enemigo tiene acceso a todos los secretos internos de la máquina.
2. La Trampa: Los autores muestran un escenario donde un sistema cuántico parece casi perfectamente aleatorio si solo observas las "fotos" (las distribuciones de probabilidad de las mediciones locales). Las fotos dicen: "¡Oye, esto parece aleatorio!".
3. La Realidad: Pero si observas el estado cuántico real, no es aleatorio en absoluto. Es altamente entrelazado y estructurado.

La Analogía:
Imagina a dos personas paradas muy lejos una de la otra.

• La Distancia Real (Distancia de Traza): Si mides la distancia real entre ellas, están a 100 millas de distancia.
• La Distancia de la Foto (Métrica de Probabilidad): Tomas una foto de ellas desde un ángulo específico. En la foto, parecen estar paradas una junto a la otra.

Si solo confías en la foto, piensas que están cerca. Pero en realidad, están lejos. El artículo llama a esto no robustez. Significa que una diferencia "pequeña" en la lista de probabilidades (la foto) puede, en realidad, ocultar una diferencia "masiva" en el estado físico real.

El Dilema: No Puedes Tenerlo Todo

Los autores demuestran un teorema de "No-Go" (imposibilidad). No puedes tener una descripción basada en probabilidades de un sistema cuántico que posea las tres características deseables al mismo tiempo:

1. Robustez: Los pequeños cambios en la descripción no deberían significar que el sistema sea totalmente diferente. (La foto debe coincidir con la realidad).
2. Estructura de Subsistema: Debes ser capaz de describir las partes de un sistema por separado (por ejemplo, la parte de Alice y la parte de Bob) sin perder la conexión entre ellas.
3. Eficiencia: La descripción debe ser compacta y manejable (que no requiera una cantidad infinita de datos).

La Tabla de Compromisos:

• Mecánica Cuántica Estándar (Operadores de Densidad): Tiene las tres. Es robusta, maneja bien las partes y es eficiente.
• Representaciones de Probabilidad (Mediciones Locales): Puedes tener las partes y la eficiencia, pero pierdes la robustez. Las fotos mienten sobre la cercanía.
• Representaciones de Probabilidad (Todas las Mediciones): Puedes tener la robustez y las partes, pero pierdes la eficiencia. La lista de probabilidades se vuelve tan enorme que resulta inútil.

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

Los autores señalan que muchas ideas populares en la física dependen de estas listas de probabilidades, y este descubrimiento las rompe:

• QBism (Bayesianismo Cuántico): Esta teoría trata los estados cuánticos simplemente como una lista de las creencias de un agente (probabilidades). El artículo dice que esta visión falla para sistemas complejos (como una cuerda vibrante o una partícula en el espacio) porque la "lista de creencias" no es lo suficientemente robusta para describir la realidad con precisión.
• Reconstrucción de la Teoría Cuántica: Los científicos intentan reconstruir la física cuántica a partir de reglas simples sobre probabilidades. El artículo dice que no se puede hacer esto con éxito para sistemas grandes a menos que se añadan reglas adicionales y artificiales para corregir el problema de la "cercanía".
• Criptografía Cuántica: Si intentas demostrar que un código secreto es seguro usando solo listas de probabilidades (sin asumir que la mecánica cuántica es cierta), podrías pensar que es seguro porque las "fotos" parecen aleatorias. Pero el artículo advierte que el código podría estar en realidad vulnerable porque las "fotos" son engañosas.
• Teoría de Campos Cuánticos: Los físicos a menudo describen el universo utilizando "funciones de correlación" (un tipo de lista de probabilidades). El artículo sugiere que estas descripciones podrían fallar al intentar capturar la verdadera naturaleza de las conexiones no locales y complejas del universo.

La Conclusión Fundamental

El artículo concluye que, si bien las listas de probabilidades son una forma muy popular y conveniente de hablar de la física cuántica, son fundamentalmente defectuosas como un reemplazo completo de la descripción estándar del "operador de densidad".

La Metáfora:
Intentar describir un sistema cuántico solo con listas de probabilidades es como intentar navegar por una ciudad usando solo un mapa 2D que ha sido estirado y distorsionado. Puede mostrarte los nombres de las calles (la estructura), y puede ser fácil de llevar en el bolsillo (eficiencia), pero si intentas juzgar la distancia entre dos edificios basándote en ese mapa, te perderás. Para navegar con seguridad, necesitas la realidad 3D (el operador de densidad), no solo el mapa distorsionado.

Resumen técnico

Resumen Técnico: "Contra la probabilidad: un estado cuántico es más que una lista de distribuciones de probabilidad"

Planteamiento del Problema
Los estados cuánticos se representan frecuentemente no mediante operadores de densidad ($\rho$), sino mediante listas de probabilidades de resultados derivadas de un conjunto de mediciones tomográficamente completo ($M$). Tales representaciones son ubicuas en la física, apareciendo en la teoría cuántica de campos (a través de funciones de correlación) y en los fundamentos de la cuántica (dentro de marcos probabilísticos generalizados). Si bien tal representación de probabilidad $P_M(\rho)$ es inyectiva (especifica unívocamente el estado), los autores cuestionan si es fiel en un sentido físico. Específicamente, investigan si las afirmaciones aproximadas derivadas de representaciones de probabilidad (por ejemplo, "el resultado es aproximadamente aleatorio") siguen siendo válidas cuando se "retroceden" al nivel de los operadores de densidad. El problema central es que las representaciones de probabilidad pueden carecer de robustez topológica: una secuencia de estados que parece converger hacia un comportamiento ideal en el espacio de la representación de probabilidad puede no converger en el espacio de los estados físicos (definido por la distancia de traza).

Metodología
Los autores emplean un enfoque topológico e informacional para analizar la relación entre la métrica inducida por una representación de probabilidad y la métrica estándar de distancia de traza en el espacio de los operadores de densidad.

1. Definición de Robustez: Definen una representación $P_M$ como topológicamente robusta si la convergencia en la métrica inducida $d_M$ implica la convergencia en la distancia de traza $\delta$. Formalmente, para cualquier secuencia de estados $(\rho^{(n)})$ y un conjunto de estados $\Sigma$:
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   donde $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$.

2. Construcción de Contraejemplos: Construyen un ejemplo específico que involucra un protocolo de generación de aleatoriedad utilizando $n$ átomos inestables. Definen una secuencia de estados entrelazados $\rho^{(n)}_{RE}$ que están lejos del conjunto de estados perfectamente aleatorios $\Sigma_{rand}$ en términos de distancia de traza ($\delta \geq 1/4$). Sin embargo, al restringirse a mediciones locales ($M_\otimes$), las distribuciones de probabilidad de estos estados convergen a $\Sigma_{rand}$ cuando $n \to \infty$. Esto demuestra que la representación basada en mediciones locales no es robusta.

3. Caracterización Topológica: Los autores analizan el espacio vectorial generado por los operadores de densidad, $\text{span}(D(H))$. Demuestran que, si bien las topologías inducidas por $d_M$ y $\delta$ son idénticas en el conjunto de matrices de densidad $D(H)$ (excepto en casos patológicos "frágiles"), la robustez requiere la equivalencia de estas topologías en todo el espacio vectorial $\text{span}(D(H))$. Esto es equivalente a la completitud de $\text{span}(D(H))$ con respecto a la norma $\|\cdot\|_M$.

4. Cuantificación de la Estructura mediante la Entropía: Para generalizar el resultado más allá de ejemplos específicos, introducen una medida informacional de "estructura". Definen la entropía asintótica de una representación basada en el tamaño mínimo de una lista comprimida de datos requerida para decodificar con $\epsilon$-precisión las probabilidades para cualquier medición. Consideran representaciones que son "eficientes" (donde el número de efectos crece polinómicamente con la dimensión) o aquellas basadas en operaciones locales.

Contribuciones Clave y Resultados

• El Teorema de No-Go (Teorema 6): El resultado central es un teorema de no-go que establece que, si una representación de probabilidad $P_M$ posee una estructura no despreciable (específicamente, si su entropía asintótica está acotada por una secuencia significativamente menor que el límite superior trivial de $2^{2^n}$), entonces la representación no puede ser topológicamente robusta.
• Incompatibilidad de Estructura y Robustez: El artículo establece un compromiso fundamental:
  • La robustez requiere que la representación sea "sin estructura" (requiriendo esencialmente un número exponencialmente grande de mediciones para distinguir estados de manera robusta).
  • La estructura (como la descomposición de subsistemas, la localidad o la eficiencia) conduce inevitablemente a la falta de robustez.
• Corolarios Específicos:
  • Corolario 7: La representación basada en mediciones locales ($P_{M_\otimes}$) no es robusta. Esto implica que las definiciones de seguridad en la criptografía post-cuántica basadas únicamente en cajas de no-señalización (que corresponden a $P_{M_\otimes}$) pueden no garantizar la seguridad bajo las definiciones cuánticas estándar.
  • Corolario 8: Cualquier representación eficiente (donde el número de efectos de medición crece polinómicamente con la dimensión del espacio de Hilbert, como los conjuntos tomográficamente completos mínimos como los SIC-POVMs) no es robusta. Esto se aplica a sistemas de dimensión ilimitada.
• Generalización a GPTs (Teorema 9): Los autores extienden sus hallazgos a las Teorías Probabilísticas Generalizadas (GPTs), mostrando que existen GPTs donde las topologías inducidas por las mediciones locales y la distancia de traza generalizada difieren, incluso cuando el conjunto de mediciones no es frágil.

Significado y Reivindicaciones
El artículo argumenta que las representaciones de probabilidad, aunque son matemáticamente convenientes y fundamentales para muchos marcos (incluyendo el QBismo y los programas de reconstrucción), sufren un fallo fundamental: no preservan la noción de "cercanía" entre estados cuando la representación incluye estructura físicamente relevante.

• Implicaciones para los Fundamentos de la Cuántica: Los resultados plantean un desafío a los programas que intentan reconstruir la teoría cuántica a partir de postulados probabilísticos utilizando conjuntos de medición eficientes (como los SIC-POVMs) o para interpretar los estados cuánticos puramente como catálogos de creencias (QBismo) para sistemas ilimitados. Sin robustez, las afirmaciones probabilísticas aproximadas no pueden mapearse de manera fiable hacia los estados físicos.
• Implicaciones para la Información Cuántica: En la criptografía cuántica, la falta de robustez de $P_{M_\otimes}$ sugiere que los esquemas "post-cuánticos" que dependen de cajas de no-señalización podrían ser menos seguros que sus contrapartes cuánticas, ya que la definición probabilística de seguridad no garantiza la seguridad en el sentido de la distancia de traza.
• Implicaciones para la Teoría Cuántica de Campos (QFT): Dado que los estados en la QFT se caracterizan a menudo por funciones de correlación (una forma de representación de probabilidad), los autores sugieren que estas representaciones no son robustas, particularmente para observables no locales (por ejemplo, correlaciones de la radiación de Hawking).

Conclusión
Los autores concluyen que el formalismo de los operadores de densidad posee propiedades favorables —robustez, estructura de subsistemas y eficiencia— que las representaciones de probabilidad no pueden lograr simultáneamente. Si bien las representaciones de probabilidad ofrecen independencia de la teoría, el artículo argumenta que para cualquier representación con una estructura no despreciable (que es necesaria para la física práctica), la robustez topológica se pierde. Esto requiere la búsqueda de enfoques alternativos que unifiquen la generalidad de las representaciones de probabilidad con la robustez de los operadores de densidad.