Résumé technique : Certification des propriétés quantiques avec des mesures imparfaites

Énoncé du problème

La caractérisation précise des systèmes quantiques est un prérequis fondamental pour l'avancement des technologies quantiques. Une tâche critique dans ce domaine est la certification des valeurs de fonctions convexes d'états quantiques, qui incluent des quantités essentielles telles que les valeurs d'espérance de Hamiltoniens, les fidélités quantiques, les entropies et l'information de Fisher quantique.

Les méthodes existantes pour estimer ces quantités reposent généralement sur la tomographie d'état quantique suivie de l'application de la fonction à l'état reconstruit. Cependant, ces approches standards échouent souvent à fournir une certification rigoureuse car elles négligent les imperfections réalistes, spécifiquement le bruit de tir (issu des statistiques finies) et les erreurs de mesure (déviations systématiques de l'appareil de mesure). Ignorer ces effets peut entraîner de grandes incertitudes, compromettant la robustesse des calculs quantiques ou menant à des conclusions erronées sur les résultats expérimentaux. Bien que des travaux récents aient traité le bruit de tir en définissant des régions de confiance pour les états quantiques, ils supposent généralement que les dispositifs de mesure sont parfaitement caractérisés, échouant ainsi à prendre en compte les erreurs de calibration ou les imperfections du processus de mesure.

Méthodologie

Les auteurs proposent une méthode de certification qui prend en compte conjointement le bruit de tir et les imperfections de mesure. Le cadre étend l'approche des régions de confiance introduite dans la Réf. [11] à des scénarios où les expérimentateurs ont un contrôle imparfait sur les mesures.

Cadre central

La méthode définit une région de confiance pour l'état quantique expérimental $\omega$ en bornant la distance entre les probabilités idéales et leurs contreparties expérimentales estimées. Ceci est réalisé grâce à deux composantes primaires :

1. Erreur statistique (Bruit de tir) : La déviation entre l'estimation empirique $\hat{f}$ et le vecteur de probabilité vrai $\vec{p}$ est bornée en utilisant l'inégalité de Bretagnolle–Huber–Carol. Pour $N$ copies de l'état et $m$ résultats de mesure, la distance $l_1$ est bornée par $\epsilon_1 = \sqrt{\frac{2}{N} \ln \frac{2m}{\delta}}$ avec une probabilité de $1-\delta$.

2. Erreur systématique (Imperfections de mesure) : La divergence entre la POVM (Mesure de Valeurs Positives Opératoires) cible $\{E_k\}$ et la POVM réellement implémentée $\{F_k\}$ est quantifiée par la distance opérationnelle $d_{op}(E, F)$. Cette distance est définie comme la distance $l_1$ maximale entre les distributions de probabilité générées par les deux POVM sur tous les états possibles. Les auteurs bornent cette distance par $\epsilon_2$, de telle sorte que $d_{op}(E, F) \leq \epsilon_2/2$.

Le protocole de certification

Les bornes certifiées pour une fonction convexe $F(\omega)$ sont obtenues en résolvant un problème d'optimisation convexe. L'objectif est de trouver le minimum (ou le maximum) de $F(\rho)$ sur un ensemble de matrices de densité $\rho$ qui satisfont les contraintes suivantes avec une probabilité d'au moins $1-\delta$ :

• $\text{tr}(\rho) = 1$ et $\rho \geq 0$.
• $\sum_{k=1}^m |\text{tr}(E_k \rho) - \hat{f}_k| \leq \epsilon_1 + \epsilon_2$.

Ici, $\hat{f}_k$ représente la fréquence expérimentale obtenue en mesurant la POVM imparfaite $\{F_k\}$. La somme de la contrainte $\epsilon_1 + \epsilon_2$ est dérivée de l'inégalité triangulaire, combinant l'erreur statistique et la distance opérationnelle entre les mesures idéales et réelles.

Détermination de la borne de la distance opérationnelle ($\epsilon_2$)

L'article fournit plusieurs prescriptions explicites pour estimer $\epsilon_2$ selon les connaissances disponibles de la configuration expérimentale :

• Simulation numérique : Si les sources de bruit sont bien caractérisées, $\epsilon_2$ peut être estimé via des simulations numériques utilisant la définition de la distance opérationnelle ou ses bornes supérieures.
• Décomposition en produit tensoriel : Pour les systèmes de $n$ qubits où les POVM se décomposent en produits tensoriels locaux, la distance opérationnelle globale peut être bornée par la somme des distances opérationnelles locales, simplifiant ainsi les calculs.
• Tomographie de mesure quantique : La POVM réelle peut être reconstruite à partir des statistiques expérimentales pour borner la distance.
• Estimation directe : En utilisant des relations impliquant des 2-designs ou en supposant des projecteurs de rang un pour la POVM idéale, $\epsilon_2$ peut être borné en estimant expérimentalement des quantités spécifiques de type fidélité.

Une caractéristique clé de cette méthode est qu'elle ne nécessite pas que les mesures soient informationnellement complètes (IC). Cela réduit considérablement la charge expérimentale, car les POVM IC nécessitent typiquement un nombre exponentiellement grand de réglages.

Résultats clés et applications

Les auteurs valident la méthode à travers trois exemples numériques, démontrant sa nécessité pour éviter des conclusions erronées :

1. Fidélité de préparation minimale : La méthode a été appliquée pour certifier la fidélité de 100 états de deux qubits tirés uniformément de la mesure de Haar sous divers modèles de bruit (amortissement d'amplitude, amortissement de phase, dépolarisation et décalages de rotation). Les résultats montrent que la méthode fournit des bornes inférieures non triviales pour la fidélité, la précision des bornes dépendant de l'intensité du bruit et du nombre de tirages (shots).

2. Magnétisation dans les systèmes de spin : Dans une étude d'un système ferromagnétique, les auteurs ont montré que négliger les imperfections de mesure (spécifiquement une rotation de la base de mesure) conduit à la fausse conclusion que le système n'est pas totalement magnétisé. Alors que la méthode tenant compte du bruit identifiait correctement la magnétisation comme étant de 1, la méthode ignorant les erreurs systématiques suggérait que la magnétisation était nettement inférieure, voire négative, selon l'angle de rotation et le nombre de tirs.

3. Témoin d'intrication : Le protocole a été testé sur un témoin d'intrication de deux qubits. Les résultats ont démontré qu'ignorer les erreurs systématiques peut mener à la certification erronée d'intrication pour des états séparables. Inversement, la méthode proposée a correctement identifié l'état comme étant séparable, tout en certifiant avec succès l'intrication pour les états maximalement intriqués. De plus, les auteurs ont noté que les méthodes ignorant les imperfections deviennent souvent infaisables (aucune solution n'existe) lorsque le bruit ou le bruit de tir est important, tandis que leur méthode reste valide et produit des bornes certifiées dans tous les régimes.

Signification et revendications

L'article affirme fournir un cadre de certification polyvalent et robuste pour les expériences quantiques qui intègre à la fois les erreurs statistiques et systématiques. Sa signification réside dans plusieurs contributions spécifiques :

• Généralisation des régions de confiance : Il étend les cadres de régions de confiance existants pour inclure les situations où le contrôle des mesures est imparfait, un scénario courant dans les expériences quantiques de l'ère NISQ (Near-term Intermediate-Scale Quantum).
• Robustesse contre les fausses conclusions : En modélisant explicitement les imperfections de mesure, la méthode empêche les conclusions erronées (par exemple, fausse intrication ou valeurs de magnétisation incorrectes) qui surviennent lorsque les erreurs systématiques sont ignorées.
• Efficacité expérimentale : La méthode ne nécessite pas de mesures informationnellement complètes, permettant aux expérimentateurs de choisir des ensembles de mesures plus simples basés sur les contraintes spécifiques de leur installation.
• Tractabilité computationnelle : Pour les fonctions convexes ou concaves, le problème d'optimisation résultant est convexe et peut être résolu efficacement à l'aide de méthodes de points intérieurs.
• Applicabilité : Bien que démontrée sur les fidélités, la magnétisation et l'intrication, la méthode est applicable à une large classe de quantités convexes, incluant les énergies, les entropies et l'information de Fisher quantique.

Les auteurs concluent que cette approche offre une voie pratique pour obtenir des garanties rigoureuses dans des contextes réalistes où les dispositifs sont bruités et la calibration limitée, ce qui est essentiel pour le développement fiable des technologies quantiques.