Relations between different definitions of the quantum Wasserstein distance for qubits

Ce papier démontre que pour les qubits, les distances de Wasserstein quantiques définies par Golse et al. et par De Palma et Trevisan coïncident lorsque la fonction de coût implique un seul opérateur, ce qui implique que la distance à soi-même dans ce scénario est égale à l'information biaisée de Wigner-Yanase.

L'essentiel

Imaginez que vous essayez de mesurer la « distance » entre deux états quantiques différents. Dans le monde classique, si vous avez un tas de sable et que vous souhaitez le transformer en une nouvelle forme, la « distance de Wasserstein » (souvent appelée distance du transporteur de terre) est simplement la quantité minimale de travail nécessaire pour déplacer les grains de la première forme vers la seconde. Si les deux formes sont identiques, le travail requis est nul.

Mais dans le monde quantique, les choses deviennent étranges. Les états quantiques sont flous, probabilistes et peuvent être « intriqués ». À cause de cela, les physiciens ont inventé plusieurs façons différentes de calculer cette distance quantique. Imaginez ces différentes méthodes comme autant d'équipes de cartographes tentant de cartographier la même île mystérieuse. Elles utilisent toutes des outils et des règles différents, si bien qu'elles produisent souvent des cartes légèrement différentes.

Cet article porte sur deux équipes spécifiques de cartographes :

1. L'équipe GMPC : Dirigée par Golse, Mouhot, Paul et Caglioti.
2. L'équipe DPT : Dirigée par De Palma et Trevisan.

Les deux équipes tentent de mesurer la distance entre deux états quantiques (appelons-les « État A » et « État B »). Elles cherchent toutes deux un « pont » spécial (un objet mathématique appelé couplage) reliant les deux états avec le minimum de « coût ». Cependant, elles définissent le « coût » de manière légèrement différente.

La grande découverte : Elles s'accordent sur les qubits uniques

Les auteurs de cet article, Géza Tóth et József Pitrik, se sont concentrés sur le système quantique le plus simple possible : un qubit. Vous pouvez imaginer un qubit comme une pièce quantique unique qui peut être face, pile, ou une mixture floue des deux.

Ils ont posé une question simple : Si nous ne traitons que d'un seul qubit et que nous mesurons la distance en nous basant sur une seule « règle » spécifique (un opérateur), ces deux équipes différentes obtiennent-elles la même réponse ?

La réponse est oui.

L'article démontre que pour un qubit unique, si vous utilisez une seule règle pour mesurer la distance, la carte GMPC et la carte DPT sont identiques. Les deux définitions différentes de la distance quantique s'effondrent en une seule.

Pourquoi est-ce surprenant ? (L'énigme de la « distance à soi-même »)

Dans le monde classique, la distance d'un point à lui-même est toujours nulle. Si vous vous tenez à Paris, la distance de Paris à Paris est nulle.

Dans le monde quantique, cependant, un état peut avoir une « distance à soi-même » non nulle. C'est comme dire que si vous essayez de déplacer une pièce quantique de son état flou actuel vers le même état flou exact, cela coûte quand même un certain « travail ».

L'article met en lumière une connexion fascinante :

• L'équipe DPT avait déjà découvert que cette « distance à soi-même » est mathématiquement égale à une quantité appelée information asymétrique de Wigner-Yanase. Imaginez cela comme une mesure de la quantité d'« incertitude quantique » ou d'« information » cachée à l'intérieur de l'état concernant cette règle spécifique.
• Parce que les auteurs ont prouvé que les deux équipes s'accordent sur les qubits uniques, ils peuvent maintenant affirmer : La « distance à soi-même » de l'équipe GMPC est également égale à cette information asymétrique de Wigner-Yanase.

L'astuce de magie : Rendre tout réel

Comment ont-ils prouvé cela ? Ils ont utilisé une astuce mathématique ingénieuse.

Imaginez que l'état quantique et la règle (l'opérateur) sont écrits dans un langage complexe impliquant des nombres imaginaires. Les auteurs ont montré que pour un qubit unique, vous pouvez toujours faire pivoter l'ensemble du système (comme faire tourner un globe) de sorte que tous les nombres deviennent « réels » (sans parties imaginaires).

Une fois que tout est « réel », les deux définitions différentes utilisées par les équipes s'avèrent mathématiquement identiques. C'est comme réaliser que deux personnes décrivant un bâtiment — l'une utilisant un plan et l'autre un modèle 3D — décrivent en fait exactement la même structure une fois que vous comprenez qu'elles regardent toutes les deux le même côté du bâtiment.

Que signifie cela pour le reste de l'article ?

Les auteurs soulignent également une conséquence pratique pour les physiciens étudiant les chaînes de spins (de longues lignes d'aimants quantiques). Parce que les deux définitions de la distance sont désormais connues pour être identiques sur les qubits uniques, les physiciens peuvent utiliser les formules plus simples d'une équipe pour calculer l'énergie de ces systèmes magnétiques. Plus précisément, ils peuvent relier l'énergie minimale d'un système à l'information asymétrique de Wigner-Yanase sans avoir à s'inquiéter des opérations complexes de « transposition » qui compliquent habituellement les mathématiques.

Résumé

• Le problème : Les physiciens disposaient de deux façons différentes de mesurer la distance dans le monde quantique, et il n'était pas clair si elles s'accordaient.
• La solution : Pour l'objet quantique le plus simple (un qubit unique) et une seule règle de mesure, les deux méthodes sont exactement les mêmes.
• Le résultat : Cela confirme que le « coût » d'un état quantique pour se déplacer vers lui-même est une mesure fondamentale de l'information quantique (information asymétrique de Wigner-Yanase), indépendamment de la définition mathématique utilisée.
• La limite : Cet accord est prouvé spécifiquement pour les qubits uniques avec un seul opérateur. L'article ne prétend pas que cela vaut pour des systèmes complexes à plusieurs qubits ou pour plusieurs opérateurs.

En bref, l'article unifie deux langages différents du transport quantique pour le cas le plus simple, montrant qu'il ne s'agit que de différentes façons de dire la même chose.

Résumé technique

Résumé technique : Relations entre différentes définitions de la distance de Wasserstein quantique pour les qubits

Énoncé du problème
Le domaine du transport optimal quantique a généré plusieurs définitions distinctes de la distance de Wasserstein quantique, chacune motivée par des interprétations physiques différentes (par exemple, limites semi-classiques, probabilités libres, interprétations dynamiques ou formalismes de canaux quantiques). Deux définitions prééminentes sont :

1. La distance GMPC : Définie par Golse, Mouhot, Paul et Caglioti (GMPC), basée sur l'optimisation d'une fonction de coût sur des états bipartites avec des marginales fixes.
2. La distance DPT : Définie par De Palma et Trevisan (DPT), également basée sur une optimisation sur des états bipartites (couplages) mais utilisant une fonction de coût différente impliquant des transposées de matrices.

Bien qu'il ait été établi que la distance auto (la distance d'un état à lui-même) pour la définition DPT est égale à la somme des informations de skew de Wigner–Yanase, la relation entre les définitions GMPC et DPT restait obscure. Plus précisément, il était inconnu si ces deux définitions coïncidaient pour des états quantiques généraux, et le cas échéant, sous quelles conditions. Des résultats antérieurs avaient établi qu'une distance de Wasserstein quantique basée sur la séparabilité sert de borne supérieure pour les deux, mais une équivalence directe n'avait pas été prouvée.

Méthodologie
Les auteurs examinent la relation entre le carré de la distance GMPC, $D_{GMPC}^2(\varrho, \sigma)$, et le carré de la distance DPT, $D_{DPT}^2(\varrho, \sigma)$, spécifiquement pour les systèmes de qubits (états de qubit unique) et un seul opérateur ($N=1$) dans la fonction de coût.

Le cœur de leur méthodologie repose sur un argument de transformation unitaire encapsulé dans le Lemme 1. Les auteurs prouvent que pour tout opérateur hermitien de qubit unique $H$ et toute matrice de densité de qubit unique $\varrho$, il existe un opérateur unitaire $U$ tel que l'opérateur transformé $H' = UHU^\dagger$ et l'état transformé $\varrho' = U\varrho U^\dagger$ soient tous deux des matrices réelles.

En utilisant ce lemme, les auteurs démontrent que les problèmes d'optimisation définissant les deux distances peuvent être mappés l'un sur l'autre. Ils exploitent la propriété selon laquelle, pour les matrices réelles, l'opération de transposition est équivalente à l'opération identité dans le contexte de la structure de la fonction de coût, comblant ainsi l'écart entre les définitions qui diffèrent par la présence de transposées dans la formulation DPT.

Contributions et résultats clés

1. Équivalence pour les qubits : Le résultat principal de l'article (Théorème 1) établit que pour des états de qubit unique $\varrho$ et $\sigma$ et un seul opérateur $H_1$, les distances carrées définies par les deux approches sont identiques :
   $$D_{DPT}^2(\varrho, \sigma) = D_{GMPC}^2(\varrho, \sigma)$$
   Cette égalité vaut généralement pour les qubits, et non seulement pour des sous-ensembles spécifiques d'états.

2. Implication pour la distance auto : En tant que conséquence directe de cette équivalence, la distance auto pour la définition GMPC (lorsque $N=1$) est montrée comme étant égale à l'information de skew de Wigner–Yanase, $I_\varrho(H_1)$. Cela confirme que la distance GMPC partage la connexion profonde avec la théorie de l'estimation quantique trouvée dans la définition DPT.

3. Relation d'énergie de chaîne de spins : Les auteurs déduisent une conséquence pour les calculs de chaînes de spins. Ils montrent que l'énergie de l'état fondamental d'un modèle ferromagnétique avec un seul opérateur $H_1$ et des marginales données peut être directement reliée à l'information de skew de Wigner–Yanase via la formule :
   $$\min_{\varrho_{12}} \text{Tr}[-(H_1 \otimes H_1)\varrho_{12}] = I_\varrho(H_1) - \langle H_1^2 \rangle_\varrho$$
   Notamment, cette formulation ne nécessite pas de transposées de matrices, simplifiant ainsi la connexion entre la minimisation de l'énergie et l'information de skew pour les qubits.

Portée et affirmations
L'article prétend résoudre l'ambiguïté entre deux définitions majeures de la distance de Wasserstein quantique dans le cas spécifique mais fondamental des qubits avec un seul opérateur de coût. En prouvant leur équivalence, le travail unifie l'interprétation statique (GMPC) et l'interprétation par canal quantique (DPT) pour ce régime.

Les auteurs soulignent que ce résultat relie la distance de Wasserstein quantique à des quantités fondamentales en physique quantique et en théorie de l'estimation, spécifiquement l'information de skew de Wigner–Yanase. Ils notent que, tandis que la distance auto dans le transport optimal classique est toujours nulle, la distance auto non nulle dans le cas quantique (égale à l'information de skew) est une caractéristique distincte du transport optimal quantique. L'article limite modestement son champ d'application aux qubits et aux opérateurs uniques, reconnaissant que pour $N \geq 2$ ou des systèmes de dimension supérieure, la relation peut différer, et que les bornes antérieures impliquant l'information de Fisher quantique restent pertinentes. Le travail ne propose pas de nouveaux dispositifs expérimentaux mais clarifie plutôt le paysage théorique des définitions existantes.