Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search

Résumé technique : Identités empruntées et recherche numérique unifiée pour la distillation d'états magiques

Énoncé du problème
La distillation d'états magiques (MSD) est un surcoût majeur de l'informatique quantique tolérante aux fautes (FTQC), nécessaire pour implémenter des portes non-Clifford via la téléportation de porte. Les méthodes existantes pour concevoir des usines de distillation reposent sur la « représentation de Heisenberg », exigeant qu'une porte transversale agisse correctement sur l'ensemble de l'espace de codage. Cette contrainte, souvent formalisée par la tri-orthogonalité ou la quasi-transversalité, limite la généralité et l'efficacité de la recherche, transformant le problème de conception en équations matricielles non linéaires. De plus, les cadres actuels traitent généralement les usines pour différents états magiques (par exemple, $|T\rangle$, $|CS\rangle$, $|CCZ\rangle$) comme des problèmes distincts, empêissant une recherche unifiée à travers la hiérarchie de Clifford.

Méthodologie : Le cadre de l'identité empruntée
Les auteurs introduisent une condition strictement plus faible appelée « identité empruntée », formulée dans la représentation de Schrödinger. Au lieu d'exiger qu'un circuit agisse comme l'identité sur l'espace de codage complet, le cadre exige seulement qu'un circuit $C$ agisse comme l'identité (à un facteur de phase globale près) sur un état d'entrée spécifique :
$$C |+\rangle^{\otimes n} = e^{i\phi} |+\rangle^{\otimes n}$$
L'« identité » est effectivement empruntée à l'état d'entrée. Une usine de distillation est construite en prenant un tel circuit d'identité empruntée sur $n$ qubits et en supprimant toutes les portes qui agissent uniquement sur un sous-ensemble de $k$ qubits de sortie. Les $n-k$ qubits restants sont mesurés dans la base $X$ pour la détection d'erreurs, tandis que les $k$ qubits de sortie sont laissés dans un état magique distillé $|\theta\rangle$.

Le cadre utilise des portes de phase de parité $Z^{\otimes w}(\theta)$ où $\theta = \pi/2^l$, correspondant au $l$-ième niveau de la hiérarchie de Clifford. Les auteurs dérivent les conditions algébriques pour que ces circuits fonctionnent comme des usines, paramétrées par $\theta$, lesquelles sont valables uniformément pour tous les niveaux $l$ sans modification.

La recherche est menée dans trois contextes :

1. Circuits symétriques : Invariants sous le groupe symétrique complet $S_n$. Cela produit des équations directrices à forme fermée (Théorème 3) qui récupèrent des familles connues comme les codes de Reed–Muller quantiques.
2. Circuits à deux groupes de symétrie : Les qubits sont partitionnés en $k$ qubits de sortie et $n-k$ qubits de contrôle, avec une symétrie au sein de chaque groupe ($S_k \times S_{n-k}$). Cela permet une recherche par force brute où la validité des assignations de signes peut être vérifiée en temps polynomial $O(k(n-k))$ via une condition linéaire sur $\mathbb{Z}_{2^{l+1}}$ (Théorème 5).
3. Circuits malléables : Une construction séquentielle où un seul circuit « parent » d'identité empruntée encode plusieurs usines. En supprimant les portes séquentiellement, le type d'état magique de sortie (par exemple, $|T\rangle$, $|CS\rangle$, $|CCZ\rangle$) peut être choisi au moment de la compilation plutôt que d'être fixé par la conception matérielle.

Contributions clés et résultats

• Espace de recherche unifié : Le cadre unifie la recherche d'usines distillant différents états magiques (T non enchevêtré, CS enchevêtré et CCZ) au sein d'une seule recherche numérique. Il récupère des usines connues issues d'approches disparates, notamment les familles Bravyi–Haah, H-code, les codes triorthogonaux généralisés et les familles de synthillation.
• Récupération de familles connues et nouvelles : Une recherche par force brute sur des circuits asymétriques à deux groupes (sur un ordinateur portable standard) a récupéré toutes les usines de distance 2 connues dans la plage balayée ($l \in \{2,3,4\}$, $k \le 7$, $n \le 11$) en environ 9 secondes. Cela inclut :
  • La famille de codes Reed–Muller quantiques $[[2^{l+1}-1, 1, 3]]$ (distance 3).
  • La famille de codes quantiques hypercubiques $[[2^l, l, 2]]$.
  • L'usine T-vers-CS $[[12, 2, 2]]$ et l'usine T-vers-CCZ $[[24, 6, 2]]$, qui correspondent à des constructions dérivées de codes de géométrie algébrique (AG).
  • Des familles auparavant non connectées, comme les circuits de synthillation de Campbell–Howard, qui brisent la symétrie à deux groupes.
• Malléabilité : Les auteurs démontrent qu'un seul circuit parent peut encoder plusieurs usines distinctes. Par exemple, un circuit parent de quatre qubits peut produire des $[[8, 3, 2]]$ ($|CCZ\rangle$), des $[[12, 2, 2]]$ ($|CS\rangle$) et des $[[14, 1, 2]]$ ($|T\rangle$) simplement en supprimant différents ensembles de portes. Cela permet de différer le choix du type de sortie au moment de la compilation.
• Extension au-delà des codes CSS : Le cadre s'étend naturellement aux constructions non-CSS, y compris les usines catalytiques (par exemple, $[[11, 1, 2]]$ et $[[10, 2, 2]]$) qui utilisent des portes de Clifford en plus des composants d'identité empruntée.

Signification
L'article affirme que la condition d'identité empruntée fournit une alternative « strictement plus faible » et plus générale aux contraintes de portes transversales, permettant une recherche unifiée, efficace et exhaustive pour les usines de distillation. En passant de la représentation de Heisenberg (suivi de la transversalité des opérateurs) à la représentation de Schrödinger (suivi de l'évolution de l'état), les auteurs parviennent à une structure algébrique linéaire et uniforme par niveau. Cette unification révèle que de nombreuses constructions de fabriques auparavant distinctes sont les points terminaux d'un seul circuit parent, offrant un nouveau degré de liberté pour la compilation tolérante aux fautes : la capacité de sélectionner la ressource d'état magique spécifique au moment de la compilation plutôt que de l'ancrer dans la conception du circuit. Ce travail établit un fondement algébrique unique pour la distillation à tous les niveaux de Clifford et pour tous les types de sortie, comblant le fossé entre les constructions basées sur les codes et les recherches basées sur les circuits.