Finding diagonal logical gates in CSS codes and circuits

Résumé Technique : Recherche de portes logiques diagonales dans les codes et circuits CSS

Énoncé du Problème
La réalisation d'ordinateurs quantiques universels à grande échelle et tolérants aux fautes nécessite l'implémentation efficace de portes logiques non-Clifford. Si les opérations de Clifford sont relativement simples dans le formalisme des stabilisateurs, les portes non-Clifford posent des défis importants. Les approches actuelles reposent souvent sur la distillation d'états magiques, des portes non-Clifford transversales (parfois combinées avec un changement de code), ou des portes logiques de type « espace-temps » insérées dans des circuits d'extraction de syndrome. Un défi central consiste à identifier quels codes CSS (Calderbank-Shor-Steane) ou circuits admettent des portes logiques diagonales efficaces et préservant la localité (telles que $T$, $CS$, ou $CCZ$) composées d'un ensemble prescrit de portes ansatz physiques. Les méthodes existantes, telles que la condition de triorthogonalité, sont souvent limitées à des types de portes spécifiques ou manquent de généralité pour des circuits arbitraires préservant la localité.

Méthodologie
L'article propose un algorithme efficace pour trouver toutes les portes logiques d'un code CSS donné (ou d'un circuit) qui sont composées d'un ensemble prescrit de portes ansatz diagonales. L'intuition théorique centrale est qu'une porte logique diagonale préserve l'espace de code si, et seulement si, elle assigne la même phase à chaque configuration de la base $Z$ au sein d'une classe de cohomologie donnée.

1. Formulation Mathématique :

   • L'action d'une porte diagonale $V_c$ sur un état de la base de calcul $|a\rangle$ est définie par une fonction de phase $S_c(a)$. Pour les portes du troisième niveau de la hiérarchie de Clifford, $S_c(a)$ est une fonction de « troisième ordre » impliquant des termes comme $a_i a_j a_k$ (pour $CCZ$),$a_i a_j$ (pour $CS$), et $a_i$ (pour $T$).
   • La condition de préservation de l'espace de code est que $S_c(a)$ soit constante pour tout $a$ dans la même classe de cohomologie. Cela se réduit à l'exigence que $S_c(a + A e_j)$ soit égal à $S_c(a)$ pour tous les générateurs de stabilisateurs $X$ de la forme $A e_j$, où $A$ est la matrice de contrôle $X$.
   • Cette condition est équivalente à exiger que le « pullback » de la fonction de phase par la matrice de contrôle $X$, noté $S_c \circ A$, produise une fonction de phase triviale.

2. Le Morphisme de Pullback ($A^*$) :

   • Les auteurs définissent un morphisme de groupe $A^*$ qui associe les coefficients des portes ansatz physiques ($c \in G_{phys}$) aux coefficients de la fonction de phase induite sur les contrôles $X$.
   • $G_{phys}$ est un produit de groupes abéliens finis de type 2 (par exemple, $\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_8$) correspondant aux différents niveaux de la hiérarchie de Clifford.
   • L'ensemble des portes logiques valides correspond exactement au noyau de ce morphisme : $A^* c = 0$.

3. Implémentation Algorithmique (Filtration) :

   • Pour calculer le noyau de $A^*$ efficacement, les auteurs introduisent une méthode de « filtration ». Au lieu d'utiliser la forme normale de Smith (qui implique une arithmétique sur de grands entiers), la méthode décompose le problème en une séquence de calculs de noyaux sur des corps binaires ($\mathbb{Z}_2$).
   • L'algorithme calcule de manière itérative les noyaux de $X \pmod 2$, $X \pmod 4$, et ainsi de suite, en élevant les solutions des groupes d'ordre inférieur vers les groupes d'ordre supérieur. Cela exploite le fait que $\ker(X) \subset \ker(X \pmod 4) \subset \ker(X \pmod 2)$.
   • Les sous-programmes reposent sur l'algèbre linéaire binaire standard (élimination de Gauss/RREF) qui peut être accélérée par le conditionnement de bits (bit-packing).

4. Généralisations :

   • Portes Espace-Temps : La méthode s'étend aux « portes logiques locales espace-temps », où des portes diagonales sont insérées dans des circuits d'extraction de syndrome. Cela est modélisé en traitant le circuit comme un réseau de tenseurs (ou une intégrale de chemin) et en appliquant la même logique de pullback au graphe de décodage $Z$.
   • Niveaux Supérieurs et Portes Arbitraires : Le cadre se généralise aux niveaux supérieurs de la hiérarchie de Clifford et aux portes diagonales arbitraires (non-hiérarchiques) en ajustant la définition des fonctions de phase et des groupes de coefficients.
   • Qudits : La méthode est généralisée aux qudits de dimension première ou composée en définissant des fonctions d'ordre supérieur appropriées sur $\mathbb{Z}_{d_i}$.

Contributions Clés

• Cadre Unifié : L'article fournit un formalisme général qui unifie la recherche de portes transversales, de circuits logiques préservant la localité et de portes logiques espace-temps sous une seule condition algébrique : la recherche du noyau d'un morphisme de groupe spécifique $A^*$.
• Algorithme Efficace : Il présente un algorithme rapide avec un temps de calcul naïf de $O(n^3)$ pour un système de $O(n)$ qubits (ou portes), utilisant une technique de filtration qui réduit le problème à des opérations matricielles binaires.
• Flexibilité : L'approche permet de prescrire des ensembles arbitraires de portes ansatz (y compris des portes non-locales ou repliées) et de trouver toutes les portes logiques résultantes sans imposer d'invariance par translation.
• Implémentation : Une implémentation Python est fournie, incluant un package spécialisé (twogroup-linalg) pour l'algèbre linéaire sur les groupes abéliens de type 2.

Résultats et Exemples

• L'algorithme récupère avec succès les portes logiques connues pour les codes toriques 2D et 3D, les codes de couleur et les codes de fractons et les codes de bicycle bivariate.
• Il découvre une porte diagonale d'ordre trois auparavant inconnue dans le « code de couleur 3D dual », qui implémente une porte logique équivalente à une porte $T$.
• La méthode est démontrée pour trouver des portes logiques invariantes par translation en temps $O(1)$ par rapport à la taille du système (ne dépendant que des paramètres de la cellule unité).
• Le temps d'exécution pour un code de couleur 2D de 800 qubits est d'environ 30 secondes sur un ordinateur portable standard pour le cas non invariant par translation.

Signification et Revendications
L'article affirme que sa méthode offre un moyen systématique et efficace d'explorer l'espace des portes logiques tolérantes aux fautes pour les codes CSS et les circuits. En reformulant le problème comme un calcul de noyau, elle généralise la condition de triorthogonalité à des produits arbitraires de portes de la hiérarchie de Clifford et de circuits préservant la localité.

Les auteurs notent que bien que la méthode puisse trouver des portes diagonales arbitraires, la réalisabilité physique dans des contextes tolérants aux fautes restreint probablement ces portes à la hiérarchie de Clifford (en cohérence avec les arguments de type Bravyi-Koenig). Ce travail suggère que cette approche pourrait être utilisée pour découvrir de nouveaux codes qLDPC possédant des propriétés de portes logiques désirables ou pour optimiser l'extension des portes logiques aux bordures de code et aux murs de domaine. Le papier maintient un ton modeste concernant les accélérations futures, reconnaissant que si la parcimonie des codes qLDPC offre un potentiel d'optimisation supplémentaire (par exemple, via l'algorithme de Wiedemann ou la décomposition de noyau locale), l'implémentation dense actuelle en $O(n^3)$ est déjà compétitive avec la recherche de la base logique du code lui-même.