Shallow quantum circuit for generating extremely low-entangled approximate state designs

Résumé Technique : Circuit Quantique Peu Profond pour la Génération de Designs d'États Approximatifs à Très Faible Intrication

Énoncé du Problème
Les états quantiques aléatoires sont des outils fondamentaux dans la science de l'information quantique, utilisés pour comprendre l'intrication, la thermalisation et simuler la dynamique chaotique. Ils jouent également des rôles critiques en cryptographie, dans l'étalonnage de dispositifs et la tomographie d'ombre (shadow tomography). Cependant, générer des états véritablement Haar-aléatoires nécessite des circuits quantiques d'une profondeur exponentielle par rapport au nombre de qubits ($n$), ce qui les rend irréalisables pour les dispositifs de l'ère NISQ (near-term). Par conséquent, le domaine s'appuie sur des approximations, principalement les designs d'états $t$-approximatifs (qui imitent les $t$ premiers moments de la distribution de Haar) et les états pseudoralatoires.

Une limitation significative des constructions existantes pour les designs d'états $t$-approximatifs est leur coût en ressources. La plupart des méthodes connues, basées sur des circuits aléatoires à couches ou sur la dynamique chaotique, produisent des états à intrication de loi de volume (volume-law entanglement, augmentant linéairement avec $n$) et une « magie » (non-Cliffordness) et une cohérence élevées. Bien que des travaux récents sur les états pseudoralatoires aient démontré qu'une faible intrication ($\omega(\log n)$) est possible, les propriétés d'intrication des designs d'états $t$-approximatifs sont restées inexplorées. La question ouverte centrale abordée dans ce travail est de savoir si des designs d'états $t$-approximatifs peuvent être générés avec une intrication, une magie et une cohérence extrêmement faibles qui ne dépendent pas de la taille du système, et si oui, s'ils peuvent être implémentés efficacement via des circuits quantiques peu profonds sans qubits ancillaires.

Méthodologie
Les auteurs proposent une nouvelle construction basée sur l'intuition qu'un design de $k$-qubits peut être étendu à un système de $n$-qubits tout en préservant ses propriétés de design et sa structure d'intrication, à condition qu'une application spécifique soit utilisée.

1. Expansion de Dimension via des Applications Injectives Aléatoires :
   L'intuition théorique centrale est le Lemme 1, qui établit que l'application d'un opérateur unitaire aléatoire $U_p$ à un design d'état $t$-approximatif de $k$-qubits (encastré dans un sous-espace avec $n-k$ zéros) produit un design d'état $t$-approximatif de $n$-qubits. L'opérateur $U_p$ est défini par une application injective aléatoire $t$-indépendante $p$ de $[2^k]$ vers $[2^n]$. Crucialement, comme $U_p$ préserve le nombre de superpositions dans la base de calcul, l'intrication, la magie et la cohérence des états de $n$-qubits résultants restent déterminées par la taille du sous-système $k$, et non par la taille totale $n$.

2. Limites Inférieures Théoriques :
   Les auteurs prouvent le Théorème 2, établissant que tout ensemble formant un design d'état $t$-approximatif $\epsilon$ doit posséder une intrication, une magie et une cohérence moyennes d'au moins $\Omega(\log(t/\epsilon))$. Cela prouve que les ressources requises sont fondamentalement limitées par les paramètres du design $t$ et $\epsilon$, et non par la taille du système $n$.

3. Implémentation par Circuit Peu Profond :
   Pour réaliser physiquement cette construction, les auteurs développent un algorithme explicite (Algorithmes 1 et 2) pour implémenter l'application injective aléatoire $U_p$ à l'aide d'un circuit quantique peu profond.

   • Mécanisme : Le circuit utilise des portes CNOT en parallèle pour copier le sous-système de $k$-qubits vers le reste du système, suivi de portes Multi-Controlled X (MCX) aléatoires pour randomiser les bits.
   • Profondeur : La profondeur du circuit est de $O(t[\log t]^3 \log n \log(1/\epsilon))$ sans qubits ancillaires. Avec des qubits ancillaires, la profondeur s'améliore en $\tilde{O}(t[\log t]^2 \log n \log(1/\epsilon))$.
   • Efficacité : Cette profondeur est nettement plus faible que les méthodes précédentes pour générer des designs d'états sans ancillas (par exemple, les circuits aléatoires locaux nécessitant une profondeur de $O(n)$).

4. Application à la Tomographie d'Ombre (Shadow Tomography) :
   Les auteurs appliquent cette construction à la tomographie d'ombre classique. En utilisant un ensemble de mesure où l'unitaire aléatoire $U$ est composé d'un 3-design d'unitaires de $k$-qubits et de l'application injective aléatoire peu profonde $U_p$, ils construisent un estimateur d'ombre.

   • Caractéristique Clé : L'estimateur résultant contient des superpositions entre seulement deux états de la base de calcul (pour $k=1$).
   • Avantage : Cela réduit considérablement le coût du post-traitement classique. Contrairement aux estimateurs basés sur des circuits de Clifford aléatoires, qui peuvent être coûteux à évaluer pour des observables à haut rang de stabilisateur, cette méthode permet une évaluation efficace des observables avec une complexité d'échantillonnage constante ou logarithmique, selon les propriétés de l'observable.

Résultats Clés

• Saturation des Ressources : L'ensemble construit atteint la limite théorique de $\Theta(\log(t/\epsilon))$ pour l'intrication, la magie et la cohérence. Pour des valeurs fixes de $t$ et $\epsilon$, ces ressources sont de l'ordre de $O(1)$ par rapport au nombre total de qubits $n$.
• Efficacité du Circuit : Le circuit peu profond proposé est la méthode la plus efficace connue pour générer des designs d'états approximatifs sans qubits ancillaires, avec une profondeur qui évolue de manière logarithmique avec $n$ plutôt que de manière linéaire ou polynomiale.
• Certification d'État : Les auteurs démontrent que presque tous les états purs de $n$-qubits peuvent être certifiés (estimation de fidélité) en utilisant $O(1/\epsilon^2)$ mesures et des circuits de profondeur $O(\log(n/\epsilon))$, une amélioration significative par rapport aux méthodes précédentes nécessitant $O(n^2)$ mesures.
• Efficacité de l'Ombre Classique : Le nouvel estimateur d'ombre permet la certification d'états quantiques avec une surcharge classique réduite, particulièrement pour les observables de faible rang ou celles possédant des états propres anti-concentrés.

Signification et Revendications
Le papier affirme ouvrir une nouvelle direction pour la génération efficace d'états quantiques aléatoires en découplant le coût des ressources (intrication, magie, cohérence) de la taille du système. Les auteurs déclarent que leur travail :

1. Résout une Question Ouverte : Il prouve que des designs d'états $t$-approximatifs peuvent exister avec des ressources non extensives, remettant en question l'hypothèse selon laquelle une intrication élevée est nécessaire pour un comportement de type "aléatoire" dans les contextes de design.
2. Permet des Applications de Proximité (Near-Term) : La faible profondeur et la faible intrication rendent ces états réalisables sur des dispositifs quantiques de l'ère NISQ, spécifiquement ceux dotés d'une connectivité tout-à-tous (par exemple, les ordinateurs quantiques à atomes neutres).
3. Améliore la Simulation Classique : En réduisant l'intrication et la complexité de l'estimateur d'ombre, la méthode offre une voie vers une simulation et un post-traitement classiques plus efficaces des expériences quantiques, facilitant des tâches telles que la certification d'états quantiques et l'étalonnage avec moins d'échantillons et un coût de calcul moindre.

Les auteurs soulignent que bien que des états pseudoralatoires à faible intrication existent, ils ne garantissent pas l'approximation précise de la fidélité moyenne pour toutes les tailles de système de la même manière que les designs d'états approximatifs, mettant en évidence l'utilité unique de leur construction pour des tâches spécifiques de traitement de l'information quantique.