Panimula

Sa nakaraang aralin, unang tiningnan natin ang quantum error correction, na nakatuon lalo na sa 9-qubit Shor code. Sa araling ito, ipapakilala natin ang stabilizer formalism, na isang mathematical framework kung saan maaaring tukuyin at suriin ang malawak na klase ng quantum error correcting codes, na kilala bilang stabilizer codes. Kasama dito ang 9-qubit Shor code pati na rin ang maraming iba pang halimbawa, kabilang ang mga code na tila angkop para sa mga tunay na quantum device sa totoong mundo. Hindi lahat ng quantum error correcting code ay stabilizer code, ngunit marami ang ganoon, kasama na ang bawat halimbawa na makikita natin sa kursong ito.

Nagsisimula ang aralin sa maikling talakayan ng mga Pauli matrix, at ng mga tensor product ng Pauli matrices sa pangkalahatan, na kayang kumatawan hindi lamang sa mga operasyon sa qubits, kundi pati na rin sa mga sukat ng qubits — na sa ganitong kaso ay karaniwang tinutukoy bilang observables. Babalik tayo at muling titingnan ang repetition code at makikita kung paano ito mailarawan gamit ang mga Pauli matrix observable. Magbibigay ito ng pundasyon at magdadala sa atin sa isang pangkalahatang talakayan ng stabilizer codes, kasama ang ilang halimbawa, mga pangunahing katangian ng stabilizer codes, at kung paano isasagawa ang mga pangunahing gawain ng pag-encode, pag-detect ng mga error, at pagwawasto ng mga ito.

Video ng aralin

Sa sumusunod na video, ginagabayan kayo ni John Watrous sa nilalaman ng araling ito tungkol sa stabilizer formalism. Bilang alternatibo, maaari kang magbukas ng YouTube video para sa araling ito sa isang hiwalay na window. I-download ang mga slide para sa araling ito.