IBM Simulasi Perlanggaran Zarah dengan 104 Qubit: Bagaimana Zarah Berat Dikesan

Bukan zarah sebenar berlanggar di dalam cip

Roland C. Farrell, Nikita A. Zemlevskiy, Marc Illa dan John Preskill menggunakan pemproses kuantum IBM 104 qubit, ibm_marrakesh, untuk menjalankan simulasi digital masa nyata bagi perlanggaran dalam teori medan Ising satu dimensi. Mereka menyediakan dua paket gelombang zarah ringan yang berjauhan dan bergerak saling mendekati, membiarkan sistem berevolusi melalui perlanggaran, kemudian mengukur ketumpatan tenaga setempat selepas zarah-zarah itu berpisah. Larian perkakasan menggunakan sehingga 5,589 get dua-qubit untuk mencapai dinamik selepas perlanggaran. 7

Yang disimulasikan ialah teori medan kuantum ringkas pada cip—bukan dua zarah fizikal yang benar-benar bertembung dalam perkakasan. Nilainya terletak pada keupayaan perkakasan kuantum mewakili dinamik kuantum banyak-jasad secara langsung, sesuatu yang sukar dikira secara klasik bagi evolusi masa nyata secara umum.

Pemerhatian utama ialah bukti bagi penghasilan zarah tak anjal. Hasilnya konsisten dengan keadaan akhir yang mengandungi satu zarah ringan serta satu eksitasi yang lebih berat dan bergerak lebih perlahan, bukannya dua zarah ringan yang keluar semula daripada perlanggaran. 7

Tiga langkah simulasi perlanggaran

Pasukan itu mengekodkan versi terdiskret teori medan Ising pada pemproses kuantum. Evolusi masa nyata kemudian dianggar menggunakan litar ter-Trotter—iaitu masa dibahagikan kepada langkah kecil yang dilaksanakan dengan turutan get kuantum.

1. Sediakan zarah yang datang. Dua paket gelombang zarah ringan dilokalkan jauh antara satu sama lain dan diberi momentum bertentangan.
2. Evolusikan hingga bertembung. Langkah Trotter menghampiri evolusi teori ketika kedua-dua paket menghampiri, bertindih dan berpisah.
3. Ukur keadaan selepas perlanggaran. Pengukuran ketumpatan tenaga setempat digunakan untuk menjejak ke mana tenaga diagihkan selepas pelanggaran. 7

Cabaran kritikalnya ialah memastikan keadaan awal benar-benar menyerupai zarah tunggal yang bergerak, dan bukannya campuran keadaan berbilang zarah yang tidak dikehendaki.

Mengapa paket gelombang sukar disediakan

Mula-mula, penyelidik membina keadaan seakan ( |W(k_0)\rangle ), yang direka untuk menetapkan bentuk ruang paket gelombang, kandungan momentumnya dan nombor kuantumnya. Namun, keadaan permulaan ini boleh mengandungi komponen berbilang zarah. Mereka kemudian menggunakan litar variasi yang mengekalkan simetri untuk merendahkan tenaga keadaan tersebut ke arah keadaan eigen zarah tunggal sasaran. 7

Litar paket gelombang Ising bagi kekisi besar itu direka terlebih dahulu menggunakan simulasi matrix-product state (MPS), sebelum digunakan sebagai keadaan awal pada pemproses 104 qubit. 7

Peranan keadaan-W, pengukuran pertengahan dan suap hadapan

Kaedah biasa boleh memerlukan litar yang semakin dalam apabila paket gelombang merentasi semakin banyak tapak kekisi. Dalam eksperimen ini, pasukan tersebut menyesuaikan teknik penyediaan keadaan-W menggunakan dua ciri litar dinamik:

• Pengukuran di tengah litar mengambil hasil pengukuran sebelum program kuantum selesai.
• Suap hadapan klasik menggunakan hasil itu untuk menentukan operasi bersyarat yang dilakukan selepasnya.

Gabungan ini menghasilkan protokol penyediaan tanpa qubit ancilla dengan kedalaman litar yang tidak bergantung pada saiz paket gelombang atau dimensi ruang, selain pergantungan pada panjang korelasi fizikal. 7

Penulis menyifatkan penskalaan ini sebagai peningkatan supereksponen berbanding pendekatan terdahulu yang memerlukan prapemprosesan klasik mahal atau kedalaman litar yang meningkat secara polinomial dengan saiz paket gelombang. 27

Kecondongan ketumpatan tenaga menjadi petunjuk zarah berat

Eksperimen ini tidak mengambil “imej pengesan” zarah keluar seperti dalam eksperimen pelanggar konvensional. Sebaliknya, ia menilai bentuk taburan ketumpatan tenaga selepas perlanggaran.

Bagi hasil yang lebih elastik, dua zarah ringan yang keluar dijangka menghasilkan taburan tenaga yang lebih simetri. Bagi saluran tak anjal, zarah berat bergerak lebih perlahan. Perbezaan kelajuan itu menghasilkan ketaksimetrian yang boleh dilihat pada profil tenaga selepas perlanggaran. 7

Penyelidik mengukur ketaksimetrian ini melalui skewness atau kecondongan, ukuran statistik yang menunjukkan sama ada satu sisi taburan mempunyai ekor yang lebih panjang atau lebih berat. Isyarat kecondongan bukan sifar yang sepadan dengan trajektori zarah berat yang dijangka menjadi tandatangan proses tak anjal itu. 7

Maksudnya, dapatan itu bukan sekadar menunjukkan tenaga berubah kedudukan. Ia konsisten dengan tenaga kinetik dua zarah ringan yang datang ditukar kepada keadaan akhir baharu: satu zarah ringan dan satu eksitasi lebih berat. 7

Mengapa ini penting untuk fizik zarah

Penghasilan zarah ialah ciri asas perlanggaran bertenaga tinggi. Matlamat jangka panjangnya ialah meramalkan cara perlanggaran dalam teori medan kuantum berinteraksi kuat menghasilkan zarah dan tingkah laku kolektif. Soalan ini berkait dengan penghasilan hadron, dan akhirnya kromodinamik kuantum atau QCD—teori interaksi kuat yang mengikat quark serta gluon.

Dinamik masa nyata dalam teori medan kuantum lazimnya sangat mencabar untuk kaedah klasik. Justeru, ia antara sasaran utama komputer kuantum masa depan. 7

Kaedah penyediaan paket gelombang ini juga tidak terhad kepada demonstrasi Ising satu dimensi. Penulis membina atau menunjukkannya bagi teori medan skalar satu dimensi, model Schwinger dan teori medan Ising dua dimensi. 27

Apa yang ditunjukkan—dan belum ditunjukkan

Pencapaian ini penting dari sudut algoritma dan perkakasan, tetapi skopnya perlu dinyatakan dengan tepat:

• Ia memodelkan teori medan Ising satu dimensi, bukannya QCD, perlanggaran hadron tiga dimensi atau jet zarah di pelanggar. 7
• Ia memberikan bukti bagi saluran tak anjal, bukan ramalan serakan yang tepat secara sistematik pada komputer kuantum tahan ralat. 7
• Ia menggunakan perkakasan kuantum bising serta teknik mitigasi ralat, bukannya pembetulan ralat kuantum penuh. 78
• Simulasi teori tolok yang realistik dalam dimensi lebih tinggi masih memerlukan pengekodan lebih baik, evolusi masa nyata yang lebih panjang, penyediaan keadaan yang boleh diskalakan dan pengukuran cerapan berbilang zarah yang lebih tepat.

Pencapaian segera ini lebih kecil daripada simulasi perlanggaran sebenar di pelanggar zarah, namun nyata: pemproses kuantum berjaya menjejak keadaan dua zarah yang disediakan melalui satu perlanggaran dan menghasilkan isyarat yang konsisten dengan zarah berat pada keadaan keluar. Ini menjadikan kajian serakan masa nyata serta penghasilan zarah sebagai sasaran yang lebih munasabah untuk perkakasan kuantum generasi seterusnya. 7