models Paquet

Paquets

factories
qec
qubits

Classes

GSJ24CCXFactory

Implémente les 8|T⟩ → >>|<<CCX⟩ fabrique d’état magique décrite dans la figure 24 de Gidney, Shutty et Jones (2024). Cette conception convertit huit états magiques T en un seul état CCX (Toffoli) à l’aide d’opérations de chirurgie de treillis sur 12 qubits logiques (y compris les qubits d’assistance) avec une profondeur de circuit de 6.

Le taux d’erreur CCX de sortie a deux contributions :

  • Erreur de distillation : 28 · p_T², où p_T est le taux d’erreur d’état T (à partir de paires d’états T qui échouent simultanément).

  • Erreur logique : cumulé plus de 6 tours de chirurgie de treillis sur 12 qubits.

Le temps de production de l’usine comprend un facteur de surcharge de (1 + 8·p_T) pour tenir compte de la probabilité d’échec lors de la consommation des états T.

Référence :

  • Chapitre C. Gidney, C. Shutty, C. Jones, « Culture de l’état magique : culture de T états avec 78% réduction de la surcharge », arXiv :2409.17595 (2024). https://arxiv.org/abs/2409.17595

  • Chapitre C. Gidney, A. G. Fowler, "Fabriques d’état magique efficaces avec un catalyzed >>|<<CCZ⟩ à 2|T⟩ transformation", Quantum 3, 135 (2019). arXiv :1812.01238. https://arxiv.org/abs/1812.01238

GSJ24Factory

Implémente l’usine de culture de l’état magique de Gidney, Shutty et Jones (2024) pour produire des logiques >>|<<T⟩ états des opérations au niveau physique.

La culture de l’état magique augmente progressivement la taille et la fiabilité d’un état magique dans un patch de code surface, en utilisant à peu près le même nombre de portes physiques qu’une porte CNOT de chirurgie lattice de fiabilité équivalente. L’approche affine les idées de Knill (1996), Jones (2016), Chamberland (2020), Gidney (2023/2024), Bombin (2024) et Hirano (2024).

Par rapport aux approches de fragmentation de l’état magique antérieurs, la culture utilise un ordre de grandeur moins de qubit-rounds pour atteindre les taux d’erreur logiques aussi bas que 2·10⁻⁹ moins de 10⁻³ bruit de circuit de dépolarisation uniforme. Réduire le bruit du circuit à 5·10⁻⁴ améliore le taux d’erreur logique réalisable à 4·10⁻¹.

La fabrique est paramétrée par des données de simulation précalcalisées (de l’échantillonnage Monte Carlo à https://doi.org/10.5281/zenodo.13777072) qui mappe les taux d’erreur physiques à (logical_error, num_qubits, volume, étapes) pour les paires de distance prises en charge.

Paramètres Hyper : distance : Tuple (d_color, d_surface) spécifiant la distance de code de couleur et la distance de code surface utilisée dans le protocole de culture. Les valeurs prises en charge sont (3, 15) et (5, 15). Une plus grande distance de code de couleur (5 vs 3) génère des taux d’erreur logiques inférieurs au coût du nombre de qubits plus élevés et plus d’étapes de temps.

Référence :

GateBased

Architecture générique basée sur une porte. Le taux d’erreur peut être défini arbitrairement et est soit 1e-3 ou 1e-4 dans la référence.

Références :

  • Michael E. Beverland, Prakash Murali, Matthias Troyer, Krysta M. Svore, Torsten Hoefler, Vadym Kliuchnikov, Guang Hao Low, Mathias Soeken, Aarthi Sundaram, Alexander Vaschillo : Évaluation des exigences à mettre à l’échelle en avantages quantiques pratiques, arXiv :2211.07629

  • Jens Koch, Terri M. Yu, Jay Gambetta, A. A. Houck, D. I. Schuster, J. Majer, Alexandre Blais, M. H. Devoret, S. M. Girvin, R. J. Schoelkopf : Charge insensible qubit design dérivé de la boîte de paire Cooper, arXiv :cond-mat/0703002

Litinski19Factory

Usines T et CCZ basées sur le papier arXiv :1905.06903.

Il contient deux catégories d’estimations. Si le taux d’erreur T d’entrée est similaire à l’erreur Clifford, il produit des instructions d’état magique basées sur le tableau 1 dans le document. Si le taux d’erreur T d’entrée est au plus 10 fois plus élevé que le taux d’erreur Clifford, il produit des instructions d’état magique basées sur le tableau 2 dans le document.

Il nécessite des taux d’erreur Clifford d’au plus 0,1% pour les instructions CNOT, H et MEAS_Z. Si ces instructions ont des taux d’erreur différents, le taux d’erreur maximal est supposé.

Références :

  • Daniel Litinski : Distillation de l’état magique : pas aussi coûteux que vous le pensez, arXiv :1905.06903
MagicUpToClifford

Transformation ISA qui ajoute des représentations équivalentes de Clifford des états magiques. Par exemple, si l’ISA d’entrée contient une porte T, l’ISA fourni contient SQRT_SQRT_Xégalement , SQRT_SQRT_X_DAG, SQRT_SQRT_Y, SQRT_SQRT_Y_DAGet T_DAG. La même chose est appliquée pour CCZ les portes et leurs équivalents Clifford.

Exemple :

Majorana

Cette classe modélise les instructions physiques qui peuvent être pertinentes pour les qubits Majorana futurs. Pour ces qubits, nous partons du principe que les mesures et la porte T physique prennent chacune 1 μs. En raison de la protection topologique dans le matériel, nous supposons que les taux d’erreur de mesure à deux qubits (Taux d’erreur Clifford) en $10^{-4}$, $10^{-5}$ et $10^{-6}$ constituent une plage entre des cibles réalistes et optimistes. Les opérations non-Clifford dans cette architecture n’ont pas de protection topologique. Nous supposons donc un taux d’erreur de 5%, 1,5%et 1% taux d’erreur pour les portes physiques non-Clifford pour les trois cas, respectivement.

Références :

  • Torsten Karzig, Christina Knapp, Roman M. Lutchyn, Parsa Bonderson, Matthew B. Hastings, Chetan Nayak, Jason Alicea, Karsten Flensberg, Stephan Plugge, Yuval Oreg, Charles M. Marcus, Michael H. Freedman : Scalable Designs for Quasiparticle-Poisoning-Protected Topological Quantum Computation with Majorana Zero Modes, arXiv :1610.05289

  • Alexei Kitaev : Majorana fermions in quantum wires, arXiv :cond-mat/0010440

  • Sankar Das Sarma, Michael Freedman, Chetan Nayak : Majorana Zero Modes and Topological Quantum Computation, arXiv :1501.02813

NeutralAtom

Architecture d’atome neutre prenant en charge le mouvement avec transport d’atome explicite.

Ce modèle capture un appareil atom neutre avec des opérations natives à qubit unique, des portes Rydberg médiatées, une mesure de base Z et une instruction de déplacement physique qui contient des contraintes de mouvement matérielles. L’ensemble d’instructions inclut des rotations virtuelles RZ gratuites, un qubit SQRT_X unique et H des portes, CZ comme interaction à deux qubits natifs, CNOT avec une durée dérivée d’une interaction Rydberg plus deux opérations à qubit unique et MEAS_Z/MEAS_RESET_Z pour la lecture.

Le modèle de mouvement est exposé et PHYSICAL_MOVE paramétré par l’espacement des atomes, la vitesse maximale, l’accélération maximale et un temps de transfert facultatif utilisé lorsque les atomes entrent ou quittent une interaction ou une zone de mesure.

Références :

  • M. Saffman, T. G. Walker, K. Molmer : Informations quantiques avec des atomes Rydberg, arXiv :0909.4777

    1. Bernien, S. Schwartz, A. Keesling, et al. : Probing many-body

      dynamics sur un simulateur quantique à 51 atomes, arXiv :1707.04344

    1. Bluvstein, H. Levine, G. Semeghini, et al. : Un processeur quantique

      basé sur le transport cohérent des tableaux d’atomes enchevêtrés, arXiv :2112.03923

    1. Tian, W. J. Wee, A. Qu, et al. : Assembly parallèle de arbitraire

    Tableaux d’atomes sans défaut avec un algorithme multi-tweezer, arXiv :2209.08038

      1. Evered, D. Bluvstein, M. Kalinowski, et al. : Haute fidélité

    portes enchevêtrage parallèles sur un ordinateur quantique atom neutre, arXiv :2304.05420

    1. Wintersperger, F. Dommert, T. Ehmer, et al. : Quantum atom neutre

    matériel informatique : perspective des performances et des utilisateurs finaux, arXiv :2304.14360

    1. Wang, P. Liu, D. B. Tan, et al. : Atomique : A Quantum Compiler for

      Tableaux atom neutres reconfigurables, arXiv :2311.15123

    1. Bluvstein, S. J. Evered, A. A. Geim, et al. : Quantum logique

      processeur basé sur des tableaux atom reconfigurables, arXiv :2312.03982

  • W.-H. Lin, D. B. Tan, J. Cong : Reuse-Aware Compilation pour Zoned

    Architectures quantiques basées sur des atomes neutres, arXiv :2411.11784

    1. Savola, A. Paler : ATLAS : Efficient Atom Réorganisation pour

    Defect-Free Neutral-Atom Tableaux quantiques sous perte de transport, arXiv :2511.16303

OneDimensionalYokedSurfaceCode

Cette classe modélise le code de surface Yoked pour fournir une instruction de mémoire générique basée sur des instructions de chirurgie de treillis à partir d’un code surface comme le code de correction d’erreur.

Paramètres Hyper : shape_heuristic : ShapeHeuristic The heuristic to determine the shape of the surface code patch for a given number of logical qubits. (La valeur par défaut est ShapeHeuristic.MIN_AREA)

Références :

  • Craig Gidney, Michael Newman, Peter Brooks, Cody Jones : Yoked surface codes, arXiv :2312.04522
RoundBasedFactory

Fabrique d’état magique qui produit des instructions de porte T à l’aide de pipelines de distillation basés sur des arrondis.

Cette usine explore les combinaisons d’unités de distillation (telles que « 15 à 1 RM préparation » et « 15 à 1 espace efficace ») pour trouver des configurations optimales qui réduisent le temps et l’espace tout en obtenant des taux d’erreur cibles. Il prend en charge à la fois la fragmentation au niveau physique (lorsque la porte T d’entrée est codée physiquement) et la distillation au niveau logique (à l’aide de la chirurgie de treillis via des codes de surface).

Pour tenir compte de la probabilité de réussite des cycles de distillation, la fabrique modélise le pipeline à l’aide d’une exigence de probabilité d’échec (valeur par défaut de 1%) que chaque tour doit respecter. Le nombre d’unités de distillation par tour est ajusté pour répondre à cette exigence, ce qui affecte à son tour les exigences globales en matière d’espace.

Les besoins en espace sont calculés à l’aide d’une fonction fournie par l’utilisateur qui agrège l’espace par arrondi (par exemple, somme ou max). La sum fonction modélise le cas dans lequel les qubits ne sont pas réutilisés entre les arrondis, tandis que les max modèles de fonction le cas dans lequel les qubits sont réutilisés entre les arrondis.

Pour l’énumération des unités de fragmentation de niveau logique, la fabrique s’appuie sur un utilisateur fourni ISAQuery par l’utilisateur (par défaut SurfaceCode.q()) pour explorer différentes configurations de code de surface et leurs instructions de chirurgie de treillis correspondantes. Celles-ci doivent être fournies par l’utilisateur et ne peuvent pas être dérivées automatiquement de l’ISA d’implémentation fournie, car elles ne peuvent contenir qu’un sous-ensemble des instructions requises. L’utilisateur doit s’assurer que la requête fournie correspond à l’architecture pour laquelle cette fabrique est utilisée.

Les résultats sont mis en cache sur disque pour une efficacité.

Références :

  • Sergei Bravyi, Alexei Kitaev : Universal Quantum Computation avec des portes Clifford idéales et ancillas bruyantes, arXiv :quant-ph/0403025

  • Michael E. Beverland, Prakash Murali, Matthias Troyer, Krysta M. Svore, Torsten Hoefler, Vadym Kliuchnikov, Guang Hao Low, Mathias Soeken, Aarthi Sundaram, Alexander Vaschillo : Évaluation des exigences à mettre à l’échelle en avantages quantiques pratiques, arXiv :2211.07629

SurfaceCode

Cette classe modélise le code de surface pivoté basé sur la porte.

Paramètres Hyper : distance : int La distance de code du code surface.

Références :

  • Dominic Horsman, Austin G. Fowler, Simon Devitt, Rodney Van Meter : Surface informatique quantique par lattice chirurgie, arXiv :1111.4022

  • Austin G. Fowler, Matteo Mariantoni, John M. Martinis, Andrew N. Cleland : codes Surface : Vers un calcul quantique à grande échelle pratique, arXiv :1208.0928

  • David S. Wang, Austin G. Fowler, Lloyd C. L. Hollenberg : Calcul quantique avec des interactions et des taux d’erreur voisins les plus proches sur 1%, arXiv :1009.3686

SurfaceCodeLowMove

Cette classe modélise un code de surface pivoté adapté à une architecture neutral-atom reconfigurable et interzone avec des ancillas mobiles.

Le calendrier d’extraction de syndrome est basé sur un schéma de code surface mobile-ancilla dans lequel une seule ancilla visite les qubits de données de chaque plaquette, combiné avec le modèle de transport atom-transport utilisé par NeutralAtom. Dans ce modèle, l’ancilla est déplacée dans la plage d’interaction Rydberg de chaque atome de données pour exécuter la séquence d’inanglage, tandis que d’autres atomes et sites de porte restent séparés par environ 10 millisecondes pour supprimer la tige croisée. Le modèle de temps combine donc le circuit de plaquette à ancilla unique avec une surcharge de mouvement explicite à partir de segments de transport horizontaux et diagonals.

Paramètres Hyper : distance : int La distance de code du code surface.

-[ Références ]-

      1. Wang, A. G. Fowler, L. C. L. Hollenberg : Informatique quantique avec

      interactions et taux d’erreur voisins les plus proches sur 1%, arXiv :1009.3686

    1. Horsman, A. G. Fowler, S. Devitt, R. Van Meter : Surface quantum de code

      informatique par chirurgie lattice, arXiv :1111.4022

      1. Fowler, M. Mariantoni, J. M. Martinis, A. N. Cleland : Surface

      codes : Vers un calcul quantique à grande échelle pratique, arXiv :1208.0928

    1. Bluvstein, H. Levine, G. Semeghini, et al. : Un processeur quantique basé sur

      sur le transport cohérent des tableaux d’atomes enchevêtrés, arXiv :2112.03923

    1. Bluvstein, S. J. Evered, A. A. Geim, et al. : Quantum logique

      processeur basé sur des tableaux atom reconfigurables, arXiv :2312.03982

    1. Jandura, L. Pecorari, G. Pupillo : Surface Stabilisateur de code

    Mesures pour les atomes Rydberg, arXiv :2405.16621

  • W.-H. Lin, D. B. Tan, J. Cong : Reuse-Aware Compilation pour Zoned Quantum

    Architectures basées sur des atomes neutres, arXiv :2411.11784

    1. Bluvstein, A. A. Geim, S. H. Li, et al. : Mécanismes architecturaux de

      un ordinateur quantique à tolérance de panne universelle, arXiv :2506.20661

ThreeAux

Cette classe modélise le code de surface basé sur les mesures avec trois qubits auxiliaires par mesure de stabilisateur.

Paramètres Hyper : distance : int La distance de code du code surface.

single_rail : bool indique s’il faut utiliser l’encodage à rail unique.

Références :

  • Linnea Grans-Samuelsson, Ryan V. Mishmash, David Aasen, Christina Knapp, Bela Bauer, Brad Lackey, Marcus P. da Silva, Parsa Bonderson : Improved Pairwise Measurement-Based Surface Code, arXiv :2310.12981
TwoDimensionalYokedSurfaceCode

Cette classe modélise le code de surface Yoked pour fournir une instruction de mémoire générique basée sur des instructions de chirurgie de treillis à partir d’un code surface comme le code de correction d’erreur.

Paramètres Hyper : shape_heuristic : ShapeHeuristic The heuristic to determine the shape of the surface code patch for a given number of logical qubits. (La valeur par défaut est ShapeHeuristic.MIN_AREA)

Références :

  • Craig Gidney, Michael Newman, Peter Brooks, Cody Jones : Yoked surface codes, arXiv :2312.04522