Quantum Wasserstein distance and its relation to several types of fidelities

Cet article établit des liens entre diverses définitions de la distance de Wasserstein quantique et les fidélités quantiques en démontrant que l'optimisation sur les états bipartites séparables donne des quantités égales à la fidélité d'Uhlmann-Jozsa (spécifiquement pour les qubits) et à la superfidélité, tout en démontrant également l'inégalité triangulaire pour certains cas impliquant des états purs.

L'essentiel

Imaginez que vous essayez de mesurer la « distance » entre deux états quantiques différents. Dans le monde classique, si vous avez deux tas de sable (représentant deux distributions différentes de matière), la « distance de Wasserstein » correspond à la quantité minimale de travail nécessaire pour déplacer le sable d'un tas à l'autre. C'est un moyen très utile de dire à quel point deux choses sont différentes.

Dans le monde quantique, les choses deviennent délicates. Les états quantiques sont comme des nuages de probabilité plutôt que des tas de sable solides. Les scientifiques ont inventé plusieurs façons différentes de mesurer la « distance » entre ces nuages quantiques, mais ils utilisent souvent des mathématiques complexes qui traitent les nuages comme s'ils étaient constitués d'un tout unique et inséparable.

Cet article, écrit par G´eza T´oth et J´ozsef Pitrik, pose une question simple mais profonde : Que se passe-t-il si nous cessons de traiter ces nuages quantiques comme des ensembles inséparables et que nous les considérons plutôt comme des collections de pièces simples et distinctes ?

Voici une analyse de leurs découvertes à l'aide d'analogies du quotidien :

1. Les deux approches principales : Le « gâteau entier » vs Les « parts séparées »

Les auteurs ont examiné les définitions existantes de la distance quantique.

• L'approche « gâteau entier » : Certaines définitions supposent que les deux états quantiques sont liés d'une manière complexe et « intriquée » (comme un gâteau qui ne peut pas être coupé). C'est la manière standard et complexe de faire les choses.
• L'approche « parts séparées » : Les auteurs se sont demandé : « Et si nous forcions le calcul de la distance à n'utiliser que des états « séparables » ? » Imaginez les états séparables comme deux gâteaux posés l'un à côté de l'autre, mais non collés ensemble. Il s'agit simplement de mélanges simples de parts indépendantes.

2. La grande découverte : Relier les points

Les auteurs ont découvert que lorsque vous forcez les mathématiques à utiliser ces « parts séparées », de nombreuses formules de distance complexes et apparemment différentes s'avèrent être la même chose.

• L'analogie : Imaginez que vous avez trois recettes différentes pour faire un gâteau : l'une demande de la « farine », l'autre de la « poudre de blé » et la troisième du « grain moulu ». Elles semblent différentes. Mais si vous réalisez que la farine, la poudre de blé et le grain moulu ne sont que des noms différents pour le même ingrédient, vous comprenez que les trois recettes fabriquent exactement le même gâteau.
• Le résultat : L'article démontre que plusieurs formules de distance quantique distinctes, lorsqu'elles sont simplifiées aux états « séparables », sont mathématiquement identiques. Cela relie différentes branches de la physique quantique qui semblaient auparavant sans rapport.

3. Le mystère de la « distance à soi-même »

En physique classique, la distance entre un objet et lui-même est toujours nulle. Si vous mesurez la distance de votre maison à votre maison, c'est 0 mile.

Cependant, dans certaines définitions quantiques, la distance d'un état à lui-même n'est pas nulle. C'est comme dire que votre maison est à 5 miles de elle-même.

• L'article montre que si vous utilisez la méthode des « parts séparées », vous pouvez obtenir deux types de résultats :
  1. Distance à soi-même non nulle : L'état est « loin » de lui-même (cela est lié à quelque chose appelé « Information de Fisher quantique », qui mesure la sensibilité d'un système aux changements).
  2. Distance à soi-même nulle : L'état est parfaitement proche de lui-même (cela est lié à la « Distance de trace » et à la « fidélité SWAP »).

Les auteurs ont montré que ces deux résultats différents proviennent de deux façons légèrement différentes de configurer les mathématiques des « parts séparées ».

4. Le « miroir magique » (Fidélité)

L'un des outils les plus célèbres en physique quantique s'appelle la Fidélité. C'est comme un « score de similarité » entre deux états quantiques. Un score de 1 signifie qu'ils sont identiques ; 0 signifie qu'ils sont complètement différents.

Les auteurs ont découvert une nouvelle façon surprenante de calculer ce score. Ils ont prouvé que le « score de similarité » (spécifiquement, la racine carrée de la fidélité Uhlmann-Jozsa) peut être calculé en examinant toutes les façons possibles de décomposer les états en « parts séparées » et en trouvant la meilleure correspondance.

• L'analogie : Imaginez que vous voulez savoir à quel point deux peintures complexes sont similaires. Au lieu de regarder la toile entière, vous décomposez les deux peintures en milliers de petites touches de pinceau distinctes. Vous essayez ensuite d'apparier les touches de pinceau de la peinture A avec les touches de pinceau de la peinture B qui correspondent le mieux. Les auteurs ont prouvé que si vous le faites parfaitement, vous obtenez exactement le même score de similarité que la méthode la plus complexe et la plus élevée.

5. La règle du triangle

En géométrie, l'« inégalité triangulaire » stipule que si vous allez du point A au point B, puis du point B au point C, la distance totale ne peut pas être plus courte que d'aller directement de A à C. (Vous ne pouvez pas prendre un raccourci en vous arrêtant à un troisième point).

Les auteurs ont prouvé que pour certaines de ces nouvelles mesures de distance « séparables », cette règle est vraie si l'un des états est « pur » (un état simple, non mélangé, comme une note unique et claire sur un piano). Si les états sont des mélanges désordonnés, il est plus difficile de prouver la règle, mais ils ont trouvé de solides preuves qu'elle s'applique probablement aussi dans ce cas.

6. Le cas spécial des qubits (systèmes à deux niveaux)

Pour les systèmes quantiques les plus simples (appelés qubits, qui sont comme des pièces de monnaie pouvant être face, pile ou un mélange des deux), les auteurs ont trouvé une correspondance parfaite.

• Ils ont montré que pour les qubits, la mesure de distance « séparable » est exactement égale au « score de similarité » standard (Fidélité).
• L'analogie : C'est comme découvrir que pour de petits objets simples, la formule compliquée du « travail nécessaire pour déplacer le sable » est exactement la même que la formule simple du « à quel point ils se ressemblent ».

Résumé

L'article est essentiellement un projet d'unification. Il prend plusieurs définitions complexes et de haut niveau de la « distance quantique » et montre que si vous les observez à travers le prisme des « états séparables » (pièces simples, non intriquées), elles se réduisent à quelques concepts de base et identiques.

• Ils ont relié la Distance de Wasserstein quantique (un coût de transport) à la Fidélité quantique (un score de similarité).
• Ils ont montré que pour des systèmes simples (qubits), ces concepts sont mathématiquement identiques.
• Ils ont fourni une nouvelle façon plus simple de calculer ces distances en décomposant les états quantiques complexes en parties plus simples et séparables.

Les auteurs n'ont pas discuté des applications médicales ou des technologies futures dans cet article ; leur objectif était purement de clarifier les relations mathématiques entre ces différentes façons de mesurer les différences quantiques.

Résumé technique

Résumé technique : Distance de Wasserstein quantique et sa relation avec plusieurs types de fidélités

Énoncé du problème
L'article traite de la prolifération des définitions de la distance de Wasserstein quantique, un concept central dans le transport optimal quantique. Diverses approches existent dans la littérature, notamment celles basées sur les canaux quantiques (De Palma et Trevisan), les interprétations statiques (Golse, Mouhot, Paul, Caglioti), et les fonctions de coût impliquant l'opérateur SWAP ou des coûts antisymétriques. Un défi majeur consiste à déterminer si ces définitions distinctes sont fondamentalement liées ou si elles peuvent être unifiées. Plus précisément, les auteurs examinent les quantités obtenues lorsque l'optimisation dans ces définitions de distance est restreinte de l'ensemble de tous les états quantiques bipartites physiques à la sous-ensemble des états séparables. L'article vise à relier ces approches, à déterminer si elles se réduisent à des types de base, et à explorer leurs relations avec des mesures d'information quantique établies telles que les fidélités et l'information de Fisher quantique.

Méthodologie
Les auteurs analysent systématiquement plusieurs définitions de la distance de Wasserstein quantique en effectuant l'optimisation sur des états séparables plutôt que sur des états généraux. La méthodologie comprend :

1. Reformulation des définitions : Prendre les définitions existantes (par exemple, de type De Palma-Trevisan, basées sur la fidélité SWAP) et modifier l'ensemble des contraintes pour n'inclure que des états bipartites séparables ($\varrho_{12} \in \text{Sep}$).
2. Analyse des toits convexes : Exprimer les quantités résultantes comme des optimisations sur les décompositions des états mixtes en ensembles d'états produits purs. Cela exploite la structure mathématique des toits convexes et concaves.
3. Preuves analytiques : Démontrer des égalités et des inégalités entre les nouvelles quantités d'états séparables et des mesures standard telles que la fidélité Uhlmann-Jozsa, la distance de Bures et la superfidélité.
4. Cas particuliers : Analyser des scénarios spécifiques, tels que lorsqu'un des états est pur, lorsqu'un ensemble complet d'observables (générateurs de $SU(d)$) est utilisé, et pour des systèmes de qubits ($d=2$).
5. Vérification numérique : Utiliser la programmation semi-définie (SDP) pour calculer ces distances pour des états aléatoires, en exploitant le fait que pour deux qubits, l'ensemble des états à transposition partielle positive (PPT) coïncide avec l'ensemble des états séparables, permettant ainsi des solutions numériques exactes.

Contributions et résultats clés

• Unification des approches : L'article démontre que l'optimisation sur des états séparables conduit à deux catégories principales de quantités :

  1. Celles basées sur la fonction de coût standard de De Palma-Trevisan, qui peuvent avoir une auto-distance non nulle.
  2. Celles basées sur une fonction de coût modifiée (soustrayant les auto-distances), qui donne une auto-distance nulle.
     Les auteurs prouvent que pour un ensemble complet d'observables, la distance de De Palma-Trevisan modifiée optimisée sur des états séparables est égale à la distance basée sur la distance de trace et la fidélité SWAP optimisée sur des états séparables.

• Relation avec les fidélités :

  • Fidélité Uhlmann-Jozsa : La racine carrée de la fidélité Uhlmann-Jozsa, $\sqrt{F(\varrho, \sigma)}$, est prouvée comme étant exprimable comme une optimisation sur des états séparables (Théorème 1). Plus précisément, c'est le toit convexe du recouvrement des états purs dans la décomposition.
  • Fidélité SWAP : La fidélité SWAP optimisée sur des états séparables, $F_{S,sep}$, est montrée comme étant le toit convexe du recouvrement au carré des états purs.
  • Égalité pour les qubits : Pour les qubits ($d=2$), les auteurs prouvent que la fidélité SWAP optimisée sur des états séparables est exactement égale à la fidélité Uhlmann-Jozsa ($F_{S,sep} = F$). Cela découle de l'égalité entre la fidélité Uhlmann-Jozsa et la superfidélité pour les qubits.

• Inégalité triangulaire : L'article prouve que l'inégalité triangulaire vaut pour la distance de Wasserstein quantique modifiée (basée sur l'optimisation d'états séparables) dans le cas spécifique où l'un des trois états impliqués est pur. Cela est établi en utilisant le fait que la distance pour les états purs satisfait l'inégalité triangulaire et en étendant cela via la structure du toit convexe.

• Lien avec l'information de Fisher quantique : L'auto-distance de la distance de De Palma-Trevisan optimisée sur des états séparables est montrée comme étant liée à l'information de Fisher quantique (QFI). Pour un seul opérateur, l'auto-distance est égale à $F_Q/4$. L'article établit des bornes reliant l'information asymétrique de Wigner-Yanase, la QFI et les auto-distances.

• Relations avec d'autres divergences : Les auteurs dérivent des bornes reliant les nouvelles distances d'états séparables à la distance de Bures, à la superfidélité et à diverses divergences quantiques (Jensen, Bregman, Tsallis), montrant que ces distances servent souvent de bornes supérieures ou inférieures pour ces autres quantités.

Signification et affirmations
L'article prétend fournir un cadre unifié pour comprendre diverses définitions de la distance de Wasserstein quantique en montrant qu'elles se réduisent souvent aux mêmes quantités lorsqu'elles sont restreintes aux états séparables.

• Il établit un lien direct entre la distance de Wasserstein quantique et l'information de Fisher quantique, reliant la théorie du transport optimal à la métrologie quantique.
• Il démontre que la fidélité Uhlmann-Jozsa peut être formulée comme une optimisation sur des états séparables, offrant une nouvelle perspective sur cette mesure fondamentale.
• Le résultat selon lequel, pour les qubits, la fidélité SWAP d'états séparables est égale à la fidélité Uhlmann-Jozsa simplifie le calcul de ces distances pour les systèmes à deux niveaux.
• La preuve de l'inégalité triangulaire pour les cas impliquant des états purs soutient les propriétés de type métrique de ces quantités, bien que l'article note que l'inégalité triangulaire générale pour des états mixtes arbitraires reste une question ouverte (soutenue par des preuves numériques mais non rigoureusement prouvée pour tous les cas).

Les auteurs concluent que ces découvertes relient des domaines apparemment sans rapport de la physique quantique, tels que le transport optimal, la théorie de l'intrication et la métrologie quantique, en révélant que de nombreuses mesures de distance sont fondamentalement liées par la géométrie des états séparables.