Pengantar

Di pelajaran sebelumnya, kita sudah melihat pertama kali koreksi kesalahan kuantum, dengan fokus khusus pada kode Shor 9-qubit. Di pelajaran ini, kita akan memperkenalkan formalisme stabilizer, yaitu kerangka matematis yang memungkinkan kelas luas kode koreksi kesalahan kuantum, yang dikenal sebagai kode stabilizer, bisa dispesifikasi dan dianalisis. Ini termasuk kode Shor 9-qubit beserta banyak contoh lainnya, termasuk kode yang tampaknya cocok untuk perangkat kuantum di dunia nyata. Tidak semua kode koreksi kesalahan kuantum adalah kode stabilizer, tapi banyak yang memang demikian, termasuk semua contoh yang akan kita lihat di kursus ini.

Pelajaran dimulai dengan diskusi singkat tentang matriks Pauli, dan produk tensor dari matriks Pauli secara umum, yang bisa merepresentasikan bukan hanya operasi pada qubit, tapi juga pengukuran qubit — dalam hal ini biasanya disebut sebagai observable. Kita kemudian akan kembali dan melihat kedua kalinya kode repetisi serta melihat bagaimana kode itu bisa dijelaskan dalam bentuk observable matriks Pauli. Ini akan menginformasikan dan mengarah ke diskusi umum tentang kode stabilizer, termasuk beberapa contoh, properti dasar kode stabilizer, dan bagaimana tugas fundamental encoding, mendeteksi kesalahan, serta mengoreksi kesalahan tersebut bisa dilakukan.

Video pelajaran

Di video berikut, John Watrous memandu kamu melalui konten di pelajaran ini tentang formalisme stabilizer. Atau, kamu bisa membuka video YouTube untuk pelajaran ini di jendela terpisah. Unduh slide untuk pelajaran ini.