A robust phase of continuous transversal gates in quantum stabilizer codes

Résumé Technique : Une phase robuste de portes transversales continues dans les codes de stabilisateurs quantiques

Énoncé du Problème
Le calcul quantique tolérant aux fautes (FTQC) nécessite un ensemble universel de portes logiques. Bien que les portes transversales soient naturellement tolérantes aux fautes car elles ne propagent pas les erreurs à l'intérieur des blocs de code, le théorème d'Eastin-Knill interdit un ensemble universel de telles portes. Par conséquent, les protocoles standards reposent sur la distillation ou la culture d'états magiques, qui produisent généralement des rotations d'angles fixes. La synthèse de rotations arbitraires à angle continu (particulièrement les petits angles) à l'aide de ces méthodes entraîne un surcoût important, de l'ordre de $O(\log(1/\epsilon))$ pour une tolérance $\epsilon$. Cela est inefficace pour des applications comme la simulation quantique nécessitant de nombreuses rotations de petits angles. De plus, bien que les erreurs cohérentes (rotations unitaires systématiques) soient souvent considérées comme préjudiciables, leur interaction avec la correction d'erreurs dans les codes de surface sous un bruit de déphasage reste un domaine d'étude complexe.

Méthodologie
Les auteurs étudient le comportement du code de surface carré tourné (un code CSS) soumis à des rotations $Z$ cohérentes transversales uniformes d'un angle $\theta$, suivies de la mesure de syndrome et du décodage. Ils analysent le canal logique résultant, qui prend la forme d'une rotation cohérente par un angle dépendant du syndrome $\phi_s(\theta)$ combinée à un taux de déphasage logique $q_s$.

Pour caractériser le système, les auteurs :

1. Modélisent le bruit : Ils considèrent un canal physique où chaque qubit subit une rotation cohérente $\theta$ et un déphasage incohérent à un taux $p$.
2. Cartographie de mécanique statistique : Ils utilisent une mise en correspondance avec un modèle d'Ising à liaisons aléatoires complexes en 2D à deux couches couplées. Ce modèle rend compte de l'interférence des termes d'erreur provenant des rotations cohérentes et du couplage induit par le bruit incohérent.
3. Simulation numérique : En utilisant le décodeur PyMatching et des méthodes de réseaux de tenseurs (spécifiquement l'algorithme de Darmawan et Poulin), ils calculent les paramètres du canal logique ($\phi_s$ et $q_s$) pour diverses distances de code $d$ et divers paramètres physiques $(p, \theta)$.
4. Conception de protocole adaptatif : Ils formulent le problème d'atteindre un angle cible $\Phi_T$ comme un problème de contrôle stochastique classique. En utilisant l'équation de Bellman, ils optimisent une politique pour sélectionner l'angle de rotation physique $\theta$ à chaque étape afin de minimiser le nombre de cycles attendu $T$, tout en suivant le déphasage logique accumulé. Ils intègrent un mécanisme de « réinitialisation » pour redémarrer le processus si le déphasage dépasse un seuil.

Contributions Clés
L'article identifie et caractérise une « phase robuste » dans l'espace des paramètres du déphasage physique $p$ et de l'angle de rotation $\theta$. Dans cette phase :

• Suppression exponentielle du déphasage relatif : Le déphasage relatif logique moyen, défini par $E[q_s / |\phi_s|]$, est exponentiellement supprimé avec l'augmentation de la distance du code $d$ ($E[q_s / |\phi_s|] \sim e^{-\kappa d}$).
• Frontières de phase : Cette phase est délimitée par deux transitions : un $\theta$ critique supérieur où la récupération devient impossible, et une nouvelle frontière inférieure où le déphasage domine l'angle de rotation.
• Unitaires logiques continus : Dans cette phase, les rotations cohérentes transversales et le décodage produisent des rotations unitaires logiques dont l'infidélité est exponentiellement supprimée par rapport à l'angle de rotation.

Sur la base de cette phase, les auteurs conçoivent un protocole tolérant aux fautes pour les rotations logiques à angle continu qui :

• N'utilise que des rotations cohérentes transversales, des mesures de syndrome et des corrections assistées par le décodeur.
• Évite la post-sélection en utilisant l'adaptation par rétroaction (feed-forward) et des réinitialisations.
• Génère des états magiques à angle continu de manière ajustable.

Résultats

• Diagramme de phase : Les auteurs cartographient la phase robuste dans le plan $(p, \theta)$. Pour un taux de déphasage physique fixe (par exemple, $p=0.001$), il existe une plage optimale de $\theta$ où le déphasage relatif est minimisé.
• Mise à l'échelle (Scaling) : Le déphasage relatif logique à l'angle cible (où le syndrome trivial se produit avec une probabilité de 50 %) diminue exponentiellement avec la distance du code $d$.
• Efficacité du protocole : Le protocole adaptatif cible avec succès des angles arbitraires $\Phi_T$. Le nombre de cycles attendu $E[T]$ augmente avec l'angle cible mais est indépendant de la tolérance finale $\epsilon$ (contrairement aux schémas de distillation).
• Comparaison des ressources : Pour de petits angles cibles (par exemple, $\Phi_T \leq \pi/28$ pour $d=7$), le coût en ressources du protocole (volume espace-temps incluant les réinitialisations) devient compétitif, voire supérieur, à la culture d'états magiques conventionnelle combinée à la synthèse Clifford+T.

Signification et Revendications
L'article affirme découvrir une nouvelle phase de la matière dans la correction d'erreurs quantiques où les rotations cohérentes, typiquement vues comme des erreurs, peuvent être exploitées pour effectuer des opérations précises. La principale signification réside dans la fourniture d'une alternative à bas coût et tolérante aux fautes pour générer des rotations de petits angles, qui sont cruciales pour des algorithmes comme la simulation quantique trottérisée et la transformée de Fourier quantique.

Les auteurs soulignent que leur protocole est complémentaire aux méthodes d'injection existantes, en répondant spécifiquement à la difficulté que rencontrent les autres méthodes pour générer efficacement de petits angles. Ils notent que la plage d'angles de rotation logiques atteignables diminue exponentiellement avec la taille du code, limitant l'utilité du protocole aux scénarios où de petites rotations sont requises. Le travail suggère que cette approche pourrait être étendue à d'autres codes satisfaisant le critère unitaire logique (comme certains codes LDPC) et que la démonstration expérimentale reste un défi futur. L'article ne prétend pas remplacer la distillation d'états magiques pour toutes les applications, mais propose un outil spécialisé et efficace pour les opérations à angle continu dans le code de surface.