J'étudie l'informatique quantique et l'information. J'ai croisé la phrase «Surface Code» mais je ne trouve pas une brève explication de ce que c'est et comment ça marche. J'espère que vous pourrez m'aider avec ça.

Remarque: Si vous le souhaitez, vous pouvez utiliser des mathématiques compliquées, je connais dans une certaine mesure la mécanique quantique.

Les codes de surface sont une famille de codes de correction d'erreurs quantiques définis sur un réseau 2D de qubits. Chaque code de cette famille a des stabilisateurs qui sont définis de manière équivalente dans la masse, mais diffèrent les uns des autres dans leurs conditions aux limites.

Les membres de la famille des codes de surface sont parfois également décrits par des noms plus spécifiques: le code torique est un code de surface avec des conditions aux limites périodiques, le code planaire est défini sur un plan, etc. Le terme «code de surface» est parfois également utilisé. de manière interchangeable avec «code planaire», car il s'agit de l'exemple le plus réaliste de la famille des codes de surface.

Les codes de surface sont actuellement un vaste domaine de recherche, je vais donc vous indiquer quelques bons points d'entrée (en plus de l'article Wikipedia lié à ci-dessus).

• Mémoire quantique topologique (papier)

• Codes de surface: vers un calcul quantique pratique à grande échelle (papier)

• Ma série de blogs présentant les codes de surface

Les codes de surface peuvent également être généralisés aux qudits. Pour en savoir plus, voir ici .

La terminologie du «code de surface» est un peu variable. Il peut se référer à une classe entière de choses, des variantes du code Toric sur différents réseaux, ou il peut se référer au code Planaire, la variante spécifique sur un réseau carré avec des conditions aux limites ouvertes.

Le code torique

Je vais résumer certaines des propriétés de base du code Toric. Imaginez un réseau carré avec des conditions aux limites périodiques, c'est-à-dire que le bord supérieur est joint au bord inférieur et le bord gauche est joint au bord droit. Si vous essayez ceci avec une feuille de papier, vous constaterez que vous obtenez une forme de beignet, ou tore. Sur ce treillis, nous plaçons un qubit sur chaque bord d'un carré.

Stabilisateurs

Ensuite, nous définissons tout un tas d'opérateurs. Pour chaque carré du réseau (comprenant 4 qubits au milieu de chaque bord), nous écrivons agissant une rotation Pauli- X sur chacun des 4 qubits. L'étiquette p fait référence à «plaquette», et n'est qu'un indice pour que nous puissions ensuite compter sur l'ensemble des plaquettes. Sur tous les sommets du réseau (entouré de 4 qubits), nous définissons A s = Z Z Z Z . s fait référence à la forme d'étoile et, encore une fois, nous permet de résumer tous ces termes.

$$B_p=XXXX,$$ $X$$p$ $$A_s=ZZZZ.$$ $s$

Nous observons que tous ces termes commuent mutuellement. C'est trivial pour car les opérateurs de Pauli font la navette entre eux et moi . Plus de prudence est requise avec [ A s , B p ] = 0 , notez que ces deux termes ont soit 0 ou 2 sites en commun, et que des paires d'opérateurs de Pauli différents font la navette, [ X X , Z Z ] = $[A_s,A_{s'}]=[B_p,B_{p'}]=0$$\mathbb{I}$$[A_s,B_p]=0$$[XX,ZZ]=0$.

Espace de code

Puisque tous ces opérateurs font la navette, nous pouvons définir un état propre simultané de tous, un état telle que ∀ s : A s | ψ ⟩ = | ψ $|\psi\rangle$ Ceci définit l'espace de code du code. Nous devons déterminer sa taille.

$$\forall s:A_s|\psi\rangle=|\psi\rangle\qquad\forall p:B_p|\psi\rangle=|\psi\rangle.$$

$N\times N$$N^2$$2^{N^2}$$N^2$$A_s$$B_p$$\pm 1$$A_s^2=B_p^2=\mathbb{I}$

$\prod_sA_s=\prod_pB_p=\mathbb{I}$$A_s$$B_p$

Opérateurs logiques

$X_{1,L}$$Z_{1,L}$$X_{2,L}$$Z_{2,L}$

$$[X_{1,L},X_{2,L}]=0\quad [X_{1,L},Z_{2,L}]=0 \quad [Z_{1,L},Z_{2,L}]=0\quad [Z_{1,L},X_{2,L}]=0$$ $$\{X_{1,L},Z_{1,L}\}=0\qquad\{X_{2,L},Z_{2,L}\}=0$$

Il existe quelques conventions différentes pour étiqueter les différents opérateurs. J'irai avec mon préféré (qui est probablement le moins populaire):

• $Z$$Z_{1,L}$

• $Z$$X_{2,L}$$Z_{2,L}$

• $X$$Z_{2,L}$

• $X$$X_{1,L}$

$X$$Z$

$$|\psi_{x,y}\rangle: Z_{1,L}|\psi_{x,y}\rangle=(-1)^x|\psi_{x,y}\rangle,\qquad Z_{2,L}|\psi_{x,y}\rangle=(-1)^y|\psi_{x,y}\rangle$$

$N$$N$

Détection et correction d'erreurs

$A_s$$B_p$$\pm 1$

$X$$-1$$+1$$X$$X$$X$

Erreur de correction du seuil

$N$$N$$N$$X$$Z$$p$$p=0.11$$11\%$. Il a également un seuil tolérant aux pannes fini (où vous autorisez des mesures et des corrections erronées avec un certain taux d'erreur par qubit)

Le code planaire

Les détails sont plus identiques au code Toric, sauf que les conditions aux limites du réseau sont ouvertes au lieu de périodiques. Ce mens que, sur les bords, les stabilisateurs se définissent légèrement différemment. Dans ce cas, il n'y a qu'un seul qubit logique dans le code au lieu de deux.