Mengapa tidak ada kode koreksi kesalahan dengan kurang dari 5 qubit?


19

Saya membaca tentang kode koreksi kesalahan 9-qubit, 7-qubit dan 5-qubit belakangan ini. Tetapi mengapa tidak ada kode koreksi kesalahan kuantum dengan kurang dari 5 qubit?

Jawaban:


13

Bukti bahwa Anda membutuhkan setidaknya 5 qubit (atau qudit)

Berikut ini adalah bukti bahwa setiap kode koreksi kesalahan kuantum tunggal ( yaitu, jarak 3) memiliki setidaknya 5 qubit. Bahkan, generalises ini untuk qudits dari dimensi , dan kesalahan kuantum kode mengoreksi melindungi satu atau lebih qudits dimensi .dd

(Seperti yang dicatat Felix Huber , bukti asli bahwa Anda memerlukan setidaknya 5 qubit adalah karena artikel Knill - Laflamme [ arXiv: quant-ph / 9604034 ] yang menetapkan kondisi Knill - Laflamme: berikut ini adalah teknik bukti yang lebih umum digunakan saat ini.)

Setiap kesalahan kuantum kode mengoreksi yang dapat memperbaiki kesalahan yang tidak diketahui, juga dapat memperbaiki hingga kesalahan penghapusan (di mana kita hanya kehilangan beberapa qubit, atau menjadi benar-benar depolarised, atau serupa) jika lokasi dari qubit terhapus dikenal. [1, Sec. III A] *. Sedikit lebih umum, kode koreksi kesalahan kuantum jarak dapat mentolerir kesalahan penghapusan . Sebagai contoh, sementara kode dapat memperbaiki kesalahan sama sekali, pada dasarnya karena dapat memberitahu bahwa kesalahan telah terjadi (dan bahkan jenis kesalahan apa) tetapi bukan qubit mana yang kebetulan, kode yang sama dapat melindungi terhadap kesalahan penghapusan tunggal (karena dengan hipotesis kita tahu persis di mana kesalahan terjadi dalam kasus ini).t2tdd-1[[4,2,2]]

n2n-2n 52n<52n-2n5

Memperbaiki kesalahan penghapusan

* Referensi awal yang saya temukan untuk ini adalah

[1] Grassl, Beth, dan Pellizzari.
      Kode untuk Saluran Penghapus Quantum .
      Phys Pendeta A 56 (hlm. 33–38), 1997.
      [ arXiv: quant-ph / 9610042 ]

- yang tidak lama setelah kondisi Knill-Laflamme dijelaskan dalam [ arXiv: quant-ph / 9604034 ] dan dengan demikian merupakan bukti asli dari koneksi antara jarak kode dan kesalahan penghapusan. Garis besarnya adalah sebagai berikut, dan berlaku untuk kode koreksi kesalahan jarak (dan berlaku sama baiknya untuk qudit dari setiap dimensi menggantikan qubit, menggunakan operator Pauli umum).d

  • Hilangnya hits dapat dimodelkan dengan qubit-qubit tersebut yang tunduk pada saluran yang sepenuhnya mendepolarisasi, yang pada gilirannya dapat dimodelkan oleh qubit-qubit yang menjadi subjek kesalahan Pauli acak yang seragam.d-1

  • Jika lokasi qubit itu tidak diketahui, ini akan berakibat fatal. Namun, karena lokasi mereka diketahui, setiap pasangan kesalahan Pauli pada qubit dapat dibedakan satu sama lain, dengan mengajukan banding ke kondisi Knill-Laflamme.d-1d-1

  • Oleh karena itu, dengan mengganti qubit yang dihapus dengan qubit dalam kondisi campuran maksimum dan menguji kesalahan Pauli pada qubit tertentu (membutuhkan prosedur koreksi yang berbeda dari yang akan Anda gunakan untuk memperbaiki kesalahan Pauli yang sewenang-wenang, ingatlah), Anda dapat memulihkan keadaan asli.d-1


1
NB Jika Anda meningkatkan jawaban saya, Anda harus mempertimbangkan untuk mengangkat jawaban Felix Huber juga, karena telah mengidentifikasi bukti asli.
Niel de Beaudrap

14

Apa yang dapat kita buktikan dengan mudah adalah bahwa tidak ada kode non-degenerasi yang lebih kecil .

Dalam kode non-merosot, Anda harus memiliki 2 keadaan logis dari qubit, dan Anda harus memiliki keadaan yang berbeda untuk setiap kesalahan yang mungkin untuk memetakan setiap keadaan logis. Jadi, katakanlah Anda memiliki kode 5 qubit, dengan dua status logis dan . Himpunan kesalahan qubit tunggal yang mungkin adalah , dan itu artinya semua status harus dipetakan ke status orthogonal.|0L|1LX1,X2,...X5,Y1,Y2,...,Y5,Z1,Z2,...,Z5

|0L.,|1L.,X1|0L.,X1|1L.,X2|0L.,...

Jika kita menerapkan argumen ini secara umum, ini menunjukkan kepada kita bahwa kita membutuhkan status yang berbeda. Tetapi, untuk qubit, jumlah maksimum dari status berbeda adalah . Jadi, untuk kesalahan non-degenerasi, perbaiki kode jarak 3 (yaitu mengoreksi untuk setidaknya satu kesalahan) atau lebih besar, kita membutuhkan Ini disebut Quantum Hamming Bound. Anda dapat dengan mudah memeriksa apakah ini benar untuk semua , tetapi tidak jika . Memang, untuk , ketidaksetaraan adalah kesetaraan, dan kami menyebutnya kode 5-qubit yang sesuai sebagai kode yang sempurna sebagai hasilnya.

2+2×(3n)
n2n
2n2(3n+1).
n5n<5n=5


1
Tidak bisakah Anda membuktikan ini dengan tidak ada kloning untuk kode apa pun, tanpa memohon Hamming terikat?
Norbert Schuch

@NorbertSchuch satu-satunya bukti yang saya tahu melibatkan kloning hanya menunjukkan bahwa kode n qubit tidak dapat memperbaiki kesalahan n / 2 atau lebih. Jika Anda tahu konstruksi lain, saya akan sangat senang mempelajarinya!
DaftWullie

Ah, saya melihat bahwa itulah inti dari jawaban @NieldeBeaudrap. Keren :)
DaftWullie

1
Pikir itu adalah argumen standar: -o
Norbert Schuch

8

Sebagai pelengkap jawaban yang lain, saya akan menambahkan kuantum Hamming terikat umum untuk kode koreksi kesalahan kuantum non-degenerasi. Formulasi matematis dari ikatan seperti itu adalah

2n-kj=0t(nj)3j,
mana n merujuk pada jumlah qubit yang membentuk kode sandi, k adalah jumlah informasi qubit yang dikodekan (sehingga mereka dilindungi dari dekoherensi), dan t adalah jumlah kesalahan t -qubit yang diperbaiki oleh kode. Karena t berhubungan dengan jarak dengan t=d-12, maka kode kuantum non-degenerasi tersebut akan menjadi[[n,k,d]]kode koreksi kesalahan kuantum. Ini terikat diperoleh dengan menggunakan bola-packing seperti argumen, sehingga2ndimensi ruang Hilbert dibagi menjadi2n-kruang masing-masing deistinguished oleh sindrom yang diukur, dan satu kesalahan ditugaskan untuk masing-masing sindrom, dan operasi pemulihan dilakukan dengan membalik kesalahan yang terkait dengan sindrom yang diukur tersebut. Itu sebabnya jumlah kesalahan total dikoreksi oleh kode kuantum non-degenerasi harus kurang atau sama dengan jumlah partisi dengan pengukuran sindrom.

Namun, degenerasi adalah properti dari kode koreksi kesalahan kuantum yang menyiratkan fakta bahwa ada kelas kesetaraan antara kesalahan yang dapat memengaruhi kode kata yang dikirim. Ini berarti bahwa ada kesalahan yang pengaruhnya terhadap codewords yang ditransmisikan adalah sama saat berbagi sindrom yang sama. Ini menyiratkan bahwa kelas-kelas kesalahan degenerasi diperbaiki melalui operasi pemulihan yang sama, dan lebih banyak kesalahan yang diharapkan dapat diperbaiki. Itu sebabnya tidak diketahui apakah kuantum Hamming terikat untuk kode koreksi kesalahan yang menurun ini, karena lebih banyak kesalahan daripada partisi yang dapat diperbaiki dengan cara ini. Silakan merujuk ke pertanyaan ini untuk beberapa informasi tentang pelanggaran batas kuantum Hamming.


4

Saya ingin menambahkan komentar singkat ke referensi paling awal. Saya yakin ini sudah ditunjukkan sedikit lebih awal pada Bagian 5.2 dari

A Theory of Quantum Error-Correcting Codes
Emanuel Knill, Raymond Laflamme 
https://arxiv.org/abs/quant-ph/9604034

di mana hasil spesifiknya adalah:

(2r,k) er4e+catatank

(N,K)KNee(2n,2k) e[[n,k,2e+1]]k1d3[[n,k,d]]

n4d-12+catatan2k4d-12+k=2d-2+k6-2+1=5.

( NB Ada kekhasan dengan tanggal di sini: pengajuan arxiv kertas di atas adalah April 1996, beberapa bulan lebih awal dari kertas Grassl, Beth, dan Pellizzari yang diajukan pada Oktober 1996. Namun, tanggal di bawah judul di negara pdf setahun sebelumnya, April 1995.)

Sebagai bukti alternatif, saya bisa membayangkan (tetapi belum diuji) bahwa hanya menyelesaikan distribusi berat yang memenuhi Mac-Williams Identities juga sudah cukup. Strategi seperti itu memang digunakan

Quantum MacWilliams Identities
Peter Shor, Raymond Laflamme
https://arxiv.org/abs/quant-ph/9610040

untuk menunjukkan bahwa tidak ada kode yang merosot pada lima qubit yang dapat memperbaiki kesalahan tunggal.


Referensi yang bagus, terima kasih! Saya tidak tahu kertas Knill - Laflamme cukup baik untuk tahu bahwa batas bawah 5 ada di sana juga.
Niel de Beaudrap

Terima kasih sudah mengedit! Tentang batas bawah, tampaknya mereka tidak membahas bahwa lima qubit diperlukan, tetapi hanya bahwa kode tersebut harus non-degenerate.
Felix Huber

n=5dn/2+1

r4

Maaf bila membingungkan. Komentar sampingan saya merujuk pada kertas identitas Quantum MacWilliams: hanya ada satu kesalahan koreksi lima kode qubit yang harus murni / tidak merosot. Bagian 5.2 dalam makalah Knill-Laflamme ("teori QECC ..), seperti yang mereka tunjukkan, umum.
Felix Huber
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.