Pembetulan ralat kuantum dan qubit logik, dijelaskan

Bagaimana pembetulan ralat kuantum menukar banyak qubit fizikal yang bising kepada qubit logik yang lebih andal, dan mengapa jarak kod, ambang, serta kod permukaan penting.

Halaman ini diterjemahkan daripada bahasa Inggeris. Nama syarikat dan produk serta pautan sumber kekal tidak berubah. Baca versi asal dalam bahasa Inggeris

Pembetulan ralat kuantum ialah himpunan kaedah yang digunakan untuk memastikan maklumat kuantum yang rapuh kekal boleh digunakan walaupun berdepan hingar, penyahkoherenan, dan operasi yang tidak sempurna. Idea asasnya ialah mengekod satu atau lebih qubit logik ke dalam himpunan qubit fizikal yang lebih besar, mengukur semakan yang dipilih dengan teliti secara berulang kali bagi mendedahkan maklumat ralat tanpa mendedahkan keadaan kuantum yang dilindungi, dan kemudian menggunakan langkah pemulihan berdasarkan sindrom yang diperhatikan.

Mengapa komputer kuantum memerlukan pembetulan ralat

Maklumat kuantum amat rapuh. Ralat boleh datang daripada penyahkoherenan dan sumber hingar kuantum lain, dan dalam pengkomputeran kuantum praktikal seseorang juga perlu berdepan dengan get yang rosak, penyediaan keadaan yang tidak sempurna, dan kesilapan pengukuran. Ini menjadikan pembetulan ralat sebagai teras bukan sahaja untuk menyimpan keadaan kuantum, tetapi juga untuk menjalankan pengiraan yang panjang.

Pembetulan ralat klasik berfungsi dengan menambah redundansi pada bit. Pembetulan ralat kuantum menyasarkan sesuatu yang serupa, tetapi dengan satu kekangan besar: pengukuran terus ke atas qubit lazimnya mengganggu keadaan tersebut. Jadi, kod kuantum perlu mengekstrak maklumat tentang apa yang telah silap tanpa mendedahkan maklumat logik itu sendiri. Dalam banyak kod, ini dilakukan melalui pengukuran operator saling komut yang dipanggil penstabil.

Satu cara yang berguna untuk memahami janji pembetulan ralat kuantum adalah sebagai lapisan simulasi: diberi saluran fizikal bising yang sepadan dengan sesuatu model ralat, kod pembetulan ralat kuantum boleh digunakan untuk menghampiri saluran logik tanpa hingar dengan cukup baik supaya komunikasi atau pengiraan menjadi praktikal.

Qubit fizikal, qubit logik, dan jarak kod

Tatatanda piawai bagi kod kuantum ialah [[n,k,d]], yang bermaksud kod itu mengekod k qubit logik ke dalam n qubit fizikal dengan jarak kod d.

Tiga parameter itu merangkum kebanyakan pertukaran yang terlibat:

n: berapa banyak qubit fizikal yang digunakan oleh kod
k: berapa banyak qubit logik yang dilindungi
d: jarak kod, ukuran yang berkait dengan betapa sukarnya ralat bertindak seperti operasi logik

Kadar kod, k/n, ialah metrik kecekapan asas. Kadar yang lebih tinggi bermaksud overhed yang lebih rendah bagi setiap qubit logik. Tetapi jarak yang lebih tinggi dan kadar yang lebih tinggi lazimnya menarik ke arah yang bertentangan, jadi reka bentuk kod ialah soal mengimbangi kebolehpercayaan dengan kos perkakasan.

Secara umum, satu kitaran pembetulan ralat kuantum mempunyai tiga peringkat:

Pengekodan maklumat logik ke dalam sistem fizikal yang lebih besar
Penyimpanan atau penghantaran melalui saluran bising
Pengekstrakan sindrom dan pemulihan, yang mengenal pasti ralat yang berkemungkinan dan membetulkannya

Sindrom amat penting. Pengukuran penstabil dipilih supaya ia hanya mendedahkan maklumat ralat, bukan keadaan kuantum yang telah dikodkan. Jika tidak, proses pembetulan akan memusnahkan superposisi yang cuba dipelihara oleh komputer.

Apakah jenis ralat yang disasarkan oleh kod?

Ralat dominan sangat bergantung pada platform perkakasan. Contoh penting termasuk:

Pelemahan amplitud, atau kehilangan pengujaan, yang dikaitkan dengan relaksasi ke arah keseimbangan
Ralat koheren, yang timbul daripada dinamik dalaman sistem
Penyahfasa, yang merupakan salah satu proses hingar dominan dalam banyak pelaksanaan qubit

Walaupun begitu, banyak kod kuantum berfungsi dengan model ringkas yang menganggap ralat sebagai gabungan operasi Pauli:

X untuk ralat seakan songsangan bit
Z untuk ralat seakan songsangan fasa
Y untuk ralat gabungan bit dan fasa

Gambaran berasaskan Pauli ini tidak merangkumi setiap proses hingar realistik, tetapi ia digunakan secara meluas kerana menjadikan analisis dan pembinaan kod lebih mudah diurus. Di bawah model itu, pengekstrakan sindrom dan penyahkodan sering boleh dirumuskan dengan meminjam idea daripada teori pengekodan klasik.

Penyederhanaan itu datang dengan satu peringatan: penyahkodan masih boleh menjadi sukar. Kod dengan parameter [[n,k,d]] mempunyai 2^(n-k) kemungkinan sindrom, yang dengan cepat menjadi terlalu besar untuk jadual carian mudah. Dalam amalan, algoritma penyahkodan klasik yang cekap biasanya diperlukan.

Toleransi kesalahan: membetulkan ralat tanpa memburukkan keadaan

Pembetulan ralat sahaja tidak mencukupi untuk pengiraan berskala. Dalam komputer, jentera pembetulan itu sendiri menggunakan get, pengukuran, dan ancila yang disediakan yang semuanya boleh gagal. Di sinilah toleransi kesalahan menjadi penting.

Idea utamanya ialah mereka bentuk pengekodan, pengukuran sindrom, dan pemulihan supaya sebilangan kecil kegagalan fizikal tidak merebak menjadi kegagalan logik yang tidak boleh dibetulkan. Pembetulan ralat kuantum menyatakan bahawa ini berkait dengan teorem ambang kuantum: pengiraan kuantum yang panjang secara arbitrari adalah mungkin dengan menggandingkan kod secara rekursif, dengan syarat kadar ralat setiap get kuantum kekal di bawah satu ambang.

Pembetulan ralat kuantum memberikan anggaran sejarah dari 2004 bahawa ambang ini boleh setinggi 1–3%, dengan andaian tersedia qubit yang mencukupi. Ia juga memberikan intuisi tentang mengapa ambang itu penting: di bawahnya, pembetulan menyingkirkan lebih banyak ralat daripada yang diperkenalkan; di atasnya, proses pembetulan boleh menjadi lebih memudaratkan secara bersih.

Konsep ambang ini ialah salah satu sebab qubit logik merupakan abstraksi yang sangat berguna. Qubit logik bukanlah satu unsur peranti tunggal tetapi objek yang dikodkan yang kadar ralat efektifnya, pada prinsipnya, boleh diturunkan lagi dengan menambah lebih banyak sumber fizikal dan menggunakan prosedur toleransi kesalahan yang lebih baik.

Keluarga kod utama dan perkara yang dioptimumkannya

Keluarga kod yang berbeza membuat pertukaran yang berbeza antara overhed, jarak, struktur, dan kemudahan pelaksanaan.

Keluarga kod	Idea utama	Pertukaran atau ciri ketara
Kod Shor	Digeneralisasikan kepada `[[d^2,1,d]]`; menggunakan kod pengulangan dalaman dan luaran untuk mengendalikan ralat songsangan bit dan songsangan fasa secara berasingan	Menambah jarak, tetapi dengan kadar kod yang lebih rendah
Kod Steane / Hamming kuantum	Menggantikan struktur pengulangan dengan kod Hamming klasik `[7,4]` dan mengendalikan ralat `X` dan `Z` secara simetri	Kadar kod lebih baik berbanding pengulangan gaya Shor
Kod CSS	Rangka kerja umum yang diterbitkan daripada binaan berkaitan oleh Calderbank, Shor, dan Steane	Mengasingkan penstabil `X` dan `Z`, yang membantu untuk pengukuran sindrom toleransi kesalahan
Kod lima-qubit	Menggunakan empat penstabil yang mencampurkan `X` dan `Z`; bukan kod CSS	Kod terkecil yang mungkin untuk melindungi satu qubit logik daripada ralat sewenang-wenangnya pada satu qubit
Kod permukaan	Kod penstabil topologi pada kekisi 2D	Semakan setempat dan susun atur satah menarik dari sudut eksperimen

Kod lima-qubit amat penting dari segi konsep. Ia ialah kod terkecil yang mungkin yang boleh melindungi satu qubit logik daripada ralat sewenang-wenangnya pada satu qubit, suatu fakta yang berkait dengan had Hamming kuantum.

Pembetulan ralat kuantum juga menyebut kod bukan aditif, yang melangkaui formalisme penstabil yang digunakan oleh kod aditif [[n,k,d]]. Dalam sesetengah kes, kod ini mungkin mencapai kadar kod yang lebih tinggi, tetapi jauh lebih sukar untuk dibina dan dianalisis, jadi ia kekal kurang diterokai.

Mengapa kod permukaan menjadi begitu penting

Dalam kalangan keluarga kod moden, kod permukaan sangat penting untuk pembetulan ralat kuantum berskala pada 2025. Sebab utamanya bersifat seni bina: ia ditakrifkan menggunakan pengukuran penstabil setempat pada kekisi dua dimensi, yang lebih mesra kepada banyak platform perkakasan berbanding kod yang memerlukan interaksi jarak jauh.

Kod permukaan ialah kod penstabil topologi. Dalam versi torik yang diperkenalkan oleh Alexei Kitaev pada 1997, qubit terletak pada tepi kekisi 2D, dan penstabil dikaitkan dengan bucu dan plaket. Ralat muncul sebagai pelanggaran terhadap penstabil ini.

Satu gambaran yang berguna ialah bahawa ralat mencipta atau menggerakkan kecacatan setempat, yang diterangkan sebagai anyon:

ralat Z membalikkan penstabil bucu bersebelahan
ralat X membalikkan penstabil plaket bersebelahan

Pembetulan bermaksud memasangkan dan melenyapkan semula kecacatan ini. Jika laluan yang terhasil adalah remeh dari segi topologi, kesan bersihnya hanyalah penstabil dan maklumat logik tidak berubah. Jika sesuatu laluan itu tidak remeh dari segi topologi, proses tersebut bertindak seperti operator logik dan maklumat yang dikodkan berubah.

Tafsiran geometri itu ialah salah satu sebab kod permukaan begitu intuitif. Jarak kod menjadi panjang minimum bagi laluan atau gelung tidak remeh yang melaksanakan ralat logik.

Kod permukaan torik, satah, dan satah berputar

Beberapa geometri berkaitan adalah penting.

Kod torik menggunakan syarat sempadan berkala, yang setara secara topologi dengan torus. Bagi kekisi d × d ia mempunyai 2d^2 qubit, dan ruang kodnya berdimensi empat, jadi ia menyimpan dua qubit logik.

Bagi perkakasan, sempadan terbuka selalunya lebih praktikal, yang membawa kepada kod satah. Tetapi reka bentuk sempadan penting. Kod permukaan dengan hanya satu jenis sempadan tidak mengekod qubit logik. Untuk mewujudkan ruang kod yang tidak remeh, seseorang memerlukan sempadan licin dan kasar yang berselang-seli. Dengan sempadan atas dan bawah yang licin serta sempadan kiri dan kanan yang kasar, kod satah menyimpan satu qubit logik, dan laluan minimum yang tidak remeh dari segi topologi mempunyai panjang d, lalu memberikan jarak kod d.

Kod satah berputar ialah penambahbaikan dari segi kecekapan. Kod permukaan menyatakan bahawa kod satah berputar jarak-d menggunakan d^2 qubit fizikal, berbanding d^2 + (d − 1)^2 bagi versi satah tidak berputar, sambil mengekalkan jarak kod yang sama.

Ambang, penyahkodan, dan maksud “di bawah ambang”

Kod permukaan juga ketara kerana mempunyai ambang yang agak tinggi di bawah model hingar piawai. Bagi model yang mana ralat bit dan fasa berlaku secara bebas pada setiap qubit dengan kebarangkalian p, Kod permukaan melaporkan:

kebarangkalian kritikal sekitar 11% daripada pemetaan fizik statistik
sekitar 10.5% apabila menggunakan penyahkod minimum weight perfect matching yang digunakan secara meluas

Angka ini penting, tetapi perlu ditafsirkan. Pertama, ia bergantung pada model ralat yang diandaikan. Kedua, had teori hanya berguna jika terdapat penyahkod praktikal yang menghampirinya. Ketiga, sesetengah penyahkod berprestasi lebih buruk apabila ralat bit dan fasa saling berkorelasi, seperti di bawah hingar depolarisasi.

Jadi “di bawah ambang” tidak bermaksud sesuatu sistem itu bebas ralat. Ia bermaksud bahawa, pada prinsipnya, meningkatkan saiz kod boleh mengurangkan kadar ralat logik dan bukannya memburukkan keadaan.

Melangkaui kod blok qubit

Pembetulan ralat kuantum lebih luas daripada kod blok qubit-ke-qubit. Maklumat kuantum boleh dikodkan ke dalam qudit atau ke dalam pengayun, yang mempunyai bilangan aras tenaga yang tidak terhingga. Pendekatan bosonik seperti idea gaya cat, GKP, dan binomial mengeksploitasi redundansi dalam satu pengayun tunggal dan bukannya menyebarkan satu qubit logik merentasi banyak sistem dua aras.

Ini menonjolkan satu persoalan reka bentuk terbuka yang penting bagi bidang ini: patutkah redundansi berada merentasi banyak qubit fizikal, dalam sistem berdimensi lebih tinggi, atau dalam hibrid kedua-duanya?

Kedudukan bidang ini pada 2025

Kod permukaan amat penting pada 2025. Pembetulan ralat kuantum menyatakan bahawa ia membolehkan qubit logik di bawah ambang dengan kesetiaan yang lebih baik dalam sistem superkonduktor, dan secara berasingan menyatakan bahawa Google Quantum AI melaksanakan distance-7 planar code pada pemproses superkonduktor Willow miliknya, sekali gus menunjukkan kadar ralat fizikal di bawah ambang.

Itu tidak bermaksud cabaran yang lebih luas sudah selesai. Qubit logik masih memerlukan overhed yang besar, penyahkodan kekal sebagai masalah sistem yang nyata, dan prestasi bergantung pada pemadanan pilihan kod dengan hingar sebenar perkakasan. Tetapi ini menunjukkan mengapa qubit logik kini menjadi sasaran kejuruteraan yang praktikal dan bukannya sekadar konstruk teori.

Inti pati utama

Pembetulan ralat kuantum melindungi maklumat kuantum yang rapuh dengan mengekod qubit logik ke dalam sistem fizikal yang lebih besar dan mengekstrak sindrom ralat secara berulang kali.
Tatatanda piawai [[n,k,d]] merangkum pertukaran utama: overhed fizikal berbanding kapasiti logik terlindung dan jarak kod.
Kebanyakan kod yang digunakan secara meluas memudahkan hingar perkakasan kepada ralat Pauli X, Y, dan Z, walaupun peranti sebenar juga menunjukkan kesan seperti pelemahan amplitud dan penyahfasa.
Toleransi kesalahan penting kerana proses pembetulan itu sendiri bising; teorem ambang menyatakan bahawa pengiraan berskala hanya mungkin di bawah kadar ralat fizikal tertentu.
Kod lima-qubit ialah kod terkecil yang boleh melindungi satu qubit logik daripada ralat sewenang-wenangnya pada satu qubit.
Kod CSS bernilai kerana ia mengasingkan penstabil X dan Z, yang membantu dalam pengukuran sindrom toleransi kesalahan.
Kod permukaan menonjol kerana penstabilnya setempat pada kekisi 2D, menjadikannya menarik dari sudut eksperimen.
Dalam kod permukaan, kegagalan logik sepadan dengan laluan ralat yang tidak remeh dari segi topologi; jarak kod ialah saiz minimum laluan sedemikian.
Kod permukaan satah berputar mengurangkan bilangan qubit berbanding kod satah tidak berputar sambil mengekalkan jarak.
Nilai ambang yang dilaporkan dan demonstrasi terkini adalah menggalakkan, tetapi prestasi praktikal masih bergantung pada hingar perkakasan, kualiti penyahkod, dan overhed qubit fizikal yang besar.