Quantum Wasserstein distance and its relation to several types of fidelities

Este artículo establece conexiones entre diversas definiciones de la distancia de Wasserstein cuántica y las fidelidades cuánticas demostrando que la optimización sobre estados bipartitos separables produce cantidades iguales a la fidelidad de Uhlmann-Jozsa (específicamente para qubits) y a la superfidelidad, al tiempo que también demuestra la desigualdad triangular para ciertos casos que involucran estados puros.

Lo esencial

Imagina que estás intentando medir la "distancia" entre dos estados cuánticos diferentes. En el mundo clásico, si tienes dos montones de arena (que representan dos distribuciones diferentes de materia), la "distancia de Wasserstein" es como la cantidad mínima de trabajo necesaria para mover la arena de un montón al otro. Es una forma muy útil de decir cuán diferentes son dos cosas.

En el mundo cuántico, las cosas se complican. Los estados cuánticos son como nubes de probabilidad en lugar de montones sólidos de arena. Los científicos han inventado varias formas diferentes de medir la "distancia" entre estas nubes cuánticas, pero a menudo utilizan matemáticas complicadas que tratan a las nubes como si estuvieran hechas de un todo único e inseparable.

Este artículo, escrito por G´eza T´oth y J´ozsef Pitrik, plantea una pregunta simple pero profunda: ¿Qué sucede si dejamos de tratar estas nubes cuánticas como conjuntos inseparables y, en su lugar, las observamos como colecciones de piezas simples y separadas?

Aquí tienes un desglose de sus hallazgos utilizando analogías cotidianas:

1. Los dos enfoques principales: "La tarta entera" vs. "Las rebanadas separadas"

Los autores examinaron las definiciones existentes de distancia cuántica.

• El enfoque de "La tarta entera": Algunas definiciones asumen que los dos estados cuánticos están vinculados de manera compleja y "entrelazada" (como una tarta que no se puede cortar). Esta es la forma estándar y compleja de hacer las cosas.
• El enfoque de "Las rebanadas separadas": Los autores preguntaron: "¿Qué pasaría si forzamos el cálculo de la distancia para que solo utilice estados 'separables'?". Piensa en los estados separables como dos tartas que están sentadas una al lado de la otra pero que no están pegadas. Son simplemente mezclas simples de rebanadas independientes.

2. El gran descubrimiento: Conectando los puntos

Los autores descubrieron que cuando fuerzas las matemáticas para que utilicen estas "rebanadas separadas", muchas de las fórmulas de distancia complicadas y de apariencia diferente resultan ser la misma cosa.

• La analogía: Imagina que tienes tres recetas diferentes para hacer un pastel: una pide "harina", otra "polvo de trigo" y otra "grano molido". Suenan diferentes. Pero si te das cuenta de que la harina, el polvo de trigo y el grano molido son simplemente nombres diferentes para el mismo ingrediente, te das cuenta de que las tres recetas están haciendo exactamente el mismo pastel.
• El resultado: El artículo demuestra que varias fórmulas de distancia cuántica distintas, cuando se simplifican a estados "separables", son matemáticamente idénticas. Esto conecta diferentes ramas de la física cuántica que previamente parecían no relacionadas.

3. El misterio de la "auto-distancia"

En la física clásica, la distancia entre un objeto y sí mismo es siempre cero. Si mides la distancia desde tu casa hasta tu casa, son 0 millas.

Sin embargo, en algunas definiciones cuánticas, la distancia de un estado a sí mismo no es cero. Es como decir que tu casa está a 5 millas de sí misma.

• El artículo muestra que si utilizas el método de "rebanadas separadas", puedes obtener dos tipos de resultados:
  1. Auto-distancia no nula: El estado está "lejos" de sí mismo (esto se relaciona con algo llamado "Información de Fisher Cuántica", que mide qué tan sensible es un sistema al cambio).
  2. Auto-distancia cero: El estado está perfectamente cerca de sí mismo (esto se relaciona con la "Distancia de Trazo" y la "Fidelidad SWAP").

Los autores mostraron que estos dos resultados diferentes provienen de dos formas ligeramente distintas de configurar las matemáticas de las "rebanadas separadas".

4. El "espejo mágico" (Fidelidad)

Una de las herramientas más famosas en la física cuántica se llama Fidelidad. Es como una "puntuación de similitud" entre dos estados cuánticos. Una puntuación de 1 significa que son idénticos; 0 significa que son completamente diferentes.

Los autores descubrieron una nueva y sorprendente forma de calcular esta puntuación. Demostraron que la "puntuación de similitud" (específicamente, la raíz cuadrada de la fidelidad Uhlmann-Jozsa) se puede calcular examinando todas las formas posibles de descomponer los estados en "rebanadas separadas" y encontrando la mejor coincidencia.

• La analogía: Imagina que quieres saber qué tan similares son dos pinturas complejas. En lugar de mirar el lienzo completo, descompones ambas pinturas en miles de pinceladas pequeñas y separadas. Luego intentas emparejar las pinceladas del Cuadro A con las pinceladas que mejor coinciden del Cuadro B. Los autores demostraron que si haces esto perfectamente, obtienes exactamente la misma puntuación de similitud que el método más complejo y de alto nivel.

5. La regla del triángulo

En geometría, la "Desigualdad Triangular" dice que si vas del Punto A al Punto B, y luego de B a C, la distancia total no puede ser más corta que ir directamente de A a C. (No puedes tomar un atajo deteniéndote en un tercer punto).

Los autores demostraron que para algunas de estas nuevas medidas de distancia "separable", esta regla se cumple si uno de los estados es "puro" (un estado simple, no mezclado, como una sola nota clara en un piano). Si los estados son mezclas desordenadas, es más difícil probar la regla, pero encontraron fuertes indicios de que probablemente también se cumple allí.

6. El caso especial de los qubits (sistemas de dos niveles)

Para los sistemas cuánticos más simples (llamados qubits, que son como monedas que pueden ser cara, cruz o una mezcla de ambas), los autores encontraron una coincidencia perfecta.

• Mostraron que para los qubits, la medida de distancia "separable" es exactamente igual a la "puntuación de similitud" estándar (Fidelidad).
• La analogía: Es como descubrir que, para objetos pequeños y simples, la fórmula complicada del "trabajo necesario para mover arena" es exactamente la misma que la fórmula simple de "cuánto se parecen".

Resumen

El artículo es esencialmente un proyecto de unificación. Toma varias definiciones complicadas y de alto nivel de "distancia cuántica" y muestra que, si las observas a través de la lente de los "estados separables" (piezas simples, no entrelazadas), se colapsan en unos pocos conceptos básicos e idénticos.

• Conectaron la Distancia de Wasserstein Cuántica (un costo de transporte) con la Fidelidad Cuántica (una puntuación de similitud).
• Mostraron que para sistemas simples (qubits), estos conceptos son matemáticamente idénticos.
• Proporcionaron una nueva y más sencilla forma de calcular estas distancias descomponiendo estados cuánticos complejos en partes más simples y separables.

Los autores no discutieron aplicaciones médicas ni tecnologías futuras en este artículo; su objetivo fue puramente aclarar las relaciones matemáticas entre estas diferentes formas de medir las diferencias cuánticas.

Resumen técnico

Resumen Técnico: Distancia de Wasserstein Cuántica y su Relación con Varios Tipos de Fidelidades

Planteamiento del Problema
El artículo aborda la proliferación de definiciones para la distancia de Wasserstein cuántica, un concepto central en el transporte óptimo cuántico. Existen diversos enfoques en la literatura, incluidos aquellos basados en canales cuánticos (De Palma y Trevisan), interpretaciones estáticas (Golse, Mouhot, Paul, Caglioti) y funciones de costo que involucran al operador SWAP o costos antisimétricos. Un desafío clave es determinar si estas definiciones distintas están fundamentalmente relacionadas o si pueden unificarse. Específicamente, los autores investigan las cantidades obtenidas cuando la optimización en estas definiciones de distancia se restringe del conjunto de todos los estados cuánticos bipartitos físicos al subconjunto de estados separables. El artículo busca conectar estos enfoques, determinar si se reducen a tipos básicos y explorar sus relaciones con medidas establecidas de información cuántica, como las fidelidades y la información de Fisher cuántica.

Metodología
Los autores analizan sistemáticamente varias definiciones de la distancia de Wasserstein cuántica realizando la optimización sobre estados separables en lugar de estados generales. La metodología implica:

1. Reformulación de Definiciones: Tomar definiciones existentes (por ejemplo, tipo De Palma-Trevisan, basadas en fidelidad SWAP) y modificar el conjunto de restricciones para incluir solo estados bipartitos separables ($\varrho_{12} \in \text{Sep}$).
2. Análisis de Techo Convexo: Expresar las cantidades resultantes como optimizaciones sobre descomposiciones de estados mixtos en conjuntos de estados puros producto. Esto aprovecha la estructura matemática de los techos convexos y cóncavos.
3. Pruebas Analíticas: Demostrar igualdades e desigualdades entre las nuevas cantidades de estados separables y medidas estándar como la fidelidad Uhlmann-Jozsa, la distancia de Bures y la superfidelidad.
4. Casos Especiales: Analizar escenarios específicos, como cuando uno de los estados es puro, cuando se utiliza un conjunto completo de observables (generadores de $SU(d)$) y para sistemas de qubits ($d=2$).
5. Verificación Numérica: Utilizar programación semidefinida (SDP) para calcular estas distancias para estados aleatorios, aprovechando el hecho de que para dos qubits, el conjunto de estados con Parcialmente Transpuesto Positivo (PPT) coincide con el conjunto de estados separables, lo que permite soluciones numéricas exactas.

Contribuciones y Resultados Clave

• Unificación de Enfoques: El artículo demuestra que la optimización sobre estados separables conduce a dos categorías principales de cantidades:

  1. Aquellas basadas en la función de costo estándar de De Palma-Trevisan, que pueden tener una auto-distancia no nula.
  2. Aquellas basadas en una función de costo modificada (restando auto-distancias), que produce una auto-distancia nula.
     Los autores demuestran que para un conjunto completo de observables, la distancia modificada de De Palma-Trevisan optimizada sobre estados separables es igual a la distancia basada en la distancia de traza y la fidelidad SWAP optimizada sobre estados separables.

• Relación con Fidelidades:

  • Fidelidad Uhlmann-Jozsa: Se demuestra que la raíz cuadrada de la fidelidad Uhlmann-Jozsa, $\sqrt{F(\varrho, \sigma)}$, es expresable como una optimización sobre estados separables (Teorema 1). Específicamente, es el techo convexo de la superposición de estados puros en la descomposición.
  • Fidelidad SWAP: Se muestra que la fidelidad SWAP optimizada sobre estados separables, $F_{S,sep}$, es el techo convexo de la superposición al cuadrado de estados puros.
  • Igualdad para Qubits: Para qubits ($d=2$), los autores demuestran que la fidelidad SWAP optimizada sobre estados separables es exactamente igual a la fidelidad Uhlmann-Jozsa ($F_{S,sep} = F$). Esto es una consecuencia de la igualdad entre la fidelidad Uhlmann-Jozsa y la superfidelidad para qubits.

• Desigualdad Triangular: El artículo demuestra que la desigualdad triangular se cumple para la distancia de Wasserstein cuántica modificada (basada en optimización sobre estados separables) en el caso específico en que uno de los tres estados involucrados es puro. Esto se establece utilizando el hecho de que la distancia para estados puros satisface la desigualdad triangular y extendiendo esto a través de la estructura del techo convexo.

• Conexión con la Información de Fisher Cuántica: Se muestra que la auto-distancia de la distancia de De Palma-Trevisan optimizada sobre estados separables está relacionada con la información de Fisher cuántica (QFI). Para un solo operador, la auto-distancia es igual a $F_Q/4$. El artículo establece cotas que relacionan la información sesgada de Wigner-Yanase, la QFI y las auto-distancias.

• Relaciones con Otras Divergencias: Los autores derivan cotas que conectan las nuevas distancias de estados separables con la distancia de Bures, la superfidelidad y diversas divergencias cuánticas (Jensen, Bregman, Tsallis), mostrando que estas distancias a menudo sirven como cotas superiores o inferiores para estas otras cantidades.

Significado y Afirmaciones
El artículo afirma proporcionar un marco unificado para comprender diversas definiciones de la distancia de Wasserstein cuántica al mostrar que a menudo se reducen a las mismas cantidades cuando se restringen a estados separables.

• Establece un vínculo directo entre la distancia de Wasserstein cuántica y la información de Fisher cuántica, conectando la teoría del transporte óptimo con la metrología cuántica.
• Demuestra que la fidelidad Uhlmann-Jozsa puede formularse como una optimización sobre estados separables, ofreciendo una nueva perspectiva sobre esta medida fundamental.
• El resultado de que, para qubits, la fidelidad SWAP de estados separables es igual a la fidelidad Uhlmann-Jozsa simplifica el cálculo de estas distancias para sistemas de dos niveles.
• La prueba de la desigualdad triangular para casos que involucran estados puros respalda las propiedades tipo métrica de estas cantidades, aunque el artículo señala que la desigualdad triangular general para estados mixtos arbitrarios sigue siendo una pregunta abierta (respaldada por evidencia numérica pero no demostrada rigurosamente para todos los casos).

Los autores concluyen que estos hallazgos conectan campos aparentemente no relacionados de la física cuántica, como el transporte óptimo, la teoría del entrelazamiento y la metrología cuántica, al revelar que muchas medidas de distancia están fundamentalmente vinculadas a través de la geometría de los estados separables.