Introducere

În lecția anterioară, am aruncat o primă privire asupra corecției erorilor cuantice, concentrându-ne în special pe codul Shor de 9 qubiți. În această lecție, vom introduce formalismul Stabilizer, care este un cadru matematic prin care o clasă largă de coduri corectoare de erori cuantice, cunoscute sub numele de coduri Stabilizer, pot fi specificate și analizate. Aceasta include codul Shor de 9 qubiți împreună cu multe alte exemple, inclusiv coduri care par să fie bine adaptate dispozitivelor cuantice din lumea reală. Nu orice cod corector de erori cuantic este un cod Stabilizer, dar mulți sunt, inclusiv fiecare exemplu pe care îl vom vedea în acest curs.

Lecția începe cu o scurtă discuție despre matricele Pauli și, mai general, despre produsele tensoriale ale matricelor Pauli, care pot reprezenta nu numai operații pe qubiți, ci și măsurători ale qubiților — caz în care sunt denumite de obicei observabile. Vom reveni apoi și vom arunca o a doua privire asupra codului de repetiție și vom vedea cum poate fi descris în termeni de observabile cu matrice Pauli. Aceasta va informa și conduce spre o discuție generală despre codurile Stabilizer, inclusiv mai multe exemple, proprietăți de bază ale codurilor Stabilizer și modul în care sarcinile fundamentale de codificare, detectare a erorilor și corectare a acestor erori pot fi efectuate.

Videoclipul lecției

În videoclipul următor, John Watrous te ghidează prin conținutul acestei lecții despre formalismul Stabilizer. Alternativ, poți deschide videoclipul YouTube pentru această lecție într-o fereastră separată. Descarcă slide-urile pentru această lecție.