LIMDD: Diagram Keputusan Untuk Simulasi Komputasi Kuantum Termasuk Status Penstabil

Diterbitkan Ulang Oleh Plato

Followers: 0

Lieuwe Vinkhuijzen¹, Tim Coopman^1,2, David Elkouss^2,3, Vedran Dunjko¹, dan Alfons Laarman¹

¹Universitas Leiden, Belanda
²Universitas Teknologi Delft, Belanda
³Unit Perangkat Kuantum Jaringan, Institut Pascasarjana Sains dan Teknologi Okinawa, Okinawa, Jepang

Apakah makalah ini menarik atau ingin dibahas? Scite atau tinggalkan komentar di SciRate.

Abstrak

Metode yang efisien untuk representasi dan simulasi keadaan kuantum dan operasi kuantum sangat penting untuk optimalisasi rangkaian kuantum. Diagram keputusan (DDs), sebuah struktur data yang dipelajari dengan baik yang awalnya digunakan untuk mewakili fungsi Boolean, telah terbukti mampu menangkap aspek-aspek yang relevan dari sistem kuantum, namun batasannya tidak dipahami dengan baik. Dalam karya ini, kami menyelidiki dan menjembatani kesenjangan antara struktur berbasis DD yang ada dan formalisme penstabil, alat penting untuk mensimulasikan rangkaian kuantum dalam rezim penurut. Kami pertama-tama menunjukkan bahwa meskipun DD disarankan untuk secara ringkas mewakili keadaan kuantum yang penting, mereka sebenarnya memerlukan ruang eksponensial untuk keadaan stabilisator tertentu. Untuk mengatasinya, kami memperkenalkan varian diagram keputusan yang lebih canggih, yang disebut Local Invertible Map-DD (LIMDD). Kami membuktikan bahwa himpunan keadaan kuantum yang diwakili oleh LIMDD berukuran poli secara ketat berisi gabungan keadaan stabilisator dan varian diagram keputusan lainnya. Terakhir, terdapat sirkuit yang dapat disimulasikan secara efisien oleh LIMDD, sementara status keluarannya tidak dapat diwakili secara ringkas oleh dua paradigma simulasi canggih: teknik dekomposisi stabilizer untuk sirkuit Clifford + $T$ dan Status Produk Matriks. Dengan menyatukan dua pendekatan yang berhasil, LIMDD membuka jalan bagi solusi fundamental yang lebih kuat untuk simulasi dan analisis komputasi kuantum.

LIMDD: Diagram Keputusan untuk Simulasi Komputasi Kuantum Termasuk Status Penstabil Kecerdasan Data PlatoBlockchain. Pencarian Vertikal. Ai.

Gambar unggulan: Kiri: Diagram Venn dari himpunan keadaan kuantum yang secara efisien diwakili oleh LIMDD dan beberapa formalisme lainnya. Kanan: Contoh LIMDD, yang secara kompak mewakili keadaan kuantum $3$-qubit.

Ringkasan populer

Simulasi klasik rangkaian kuantum adalah tugas komputasi yang sulit. Dalam pendekatan langsung, kebutuhan memori untuk menyimpan deskripsi keadaan kuantum bertambah sebesar $2^n$ untuk sirkuit $n$-qubit. Diagram keputusan mengatasi masalah ini dengan menyediakan representasi terkompresi dari keadaan kuantum. Namun, keterbatasan metode berbasis DD belum dipahami dengan baik. Dalam karya ini, kami menyelidiki dan menjembatani kesenjangan antara struktur berbasis DD yang ada dan formalisme stabilizer, alat penting lainnya untuk mensimulasikan rangkaian kuantum. Kami pertama-tama menunjukkan bahwa meskipun DD disarankan untuk secara ringkas mewakili keadaan kuantum yang penting, mereka sebenarnya memerlukan ruang eksponensial untuk keadaan stabilisator tertentu. Untuk mengatasinya, kami memperkenalkan varian diagram keputusan yang lebih canggih, yang disebut Local Invertible Map-DD (LIMDD). Kami membuktikan bahwa ada sirkuit kuantum yang dapat dianalisis secara efisien dengan LIMDD, tetapi tidak dengan metode berbasis DD yang ada, atau teknik dekomposisi stabilisator, atau status produk matriks. Dengan memanfaatkan kekuatan DD dan formalisme penstabil dalam struktur data yang lebih ringkas, LIMDD membuka jalan bagi simulasi dan analisis komputasi kuantum yang secara fundamental lebih kuat.

► data BibTeX

@article{Vinkhuijzen2023limdddecision, doi = {10.22331/q-2023-09-11-1108}, url = {https://doi.org/10.22331/q-2023-09-11-1108}, title = {{LIMDD }: {A} {D}ecision {D}diagram untuk {S}imulasi {Q}uantum {C}menghitung {I}termasuk {S}tabilizer {S}tates}, penulis = {Vinkhuijzen, Lieuwe and Coopmans, Tim dan Elkouss, David dan Dunjko, Vedran dan Laarman, Alfons}, jurnal = {{Quantum}}, issn = {2521-327X}, penerbit = {{Verein zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, volume = {7}, halaman = {1108}, bulan = September, tahun = {2023} }

► Referensi

[1] Alwin Zulehner dan Robert Wille. “Desain sirkuit reversibel satu arah: Menggabungkan penyematan dan sintesis untuk logika reversibel”. Transaksi IEEE pada Desain Sirkuit dan Sistem Terpadu Berbantuan Komputer 37, 996–1008 (2017).
https: / / doi.org/ 10.1109 / TCAD.2017.2729468

[2] Lukas Burgholzer dan Robert Wille. “Peningkatan pemeriksaan kesetaraan sirkuit kuantum berbasis DD”. Pada Konferensi Otomasi Desain Asia dan Pasifik Selatan (ASP-DAC) ke-2020 tahun 25. Halaman 127–132. IEEE (2020).
https:///doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] Lukas Burgholzer, Richard Kueng, dan Robert Wille. “Pembuatan rangsangan acak untuk verifikasi sirkuit kuantum”. Dalam Prosiding Konferensi Otomasi Desain Asia dan Pasifik Selatan ke-26. Halaman 767–772. (2021).
https: / / doi.org/ 10.1145 / 3394885.3431590

[4] Lukas Burgholzer dan Robert Wille. “Pemeriksaan kesetaraan tingkat lanjut untuk sirkuit kuantum”. Transaksi IEEE tentang Desain Sirkuit dan Sistem Terpadu Berbantuan Komputer 40, 1810–1824 (2020).
https:///doi.org/10.48550/arXiv.2004.08420

[5] John Preskill. “Komputasi kuantum di era NISQ dan seterusnya”. Kuantum 2, 79 (2018).
https:///doi.org/10.48550/arXiv.1801.00862

[6] Daniel Gottesman. “Representasi Heisenberg dari komputer kuantum” (1998). url: arxiv.org/abs/quant-ph/9807006.
arXiv: quant-ph / 9807006

[7] Scott Aaronson dan Daniel Gottesman. “Peningkatan simulasi rangkaian stabilizer”. Tinjauan Fisik A 70 (2004).
https: / / doi.org/ 10.1103 / physreva.70.052328

[8] Daniel Gotsman. "Kode stabilizer dan koreksi kesalahan kuantum". tesis PhD. Institut Teknologi California. (1997).
https:///doi.org/10.48550/arXiv.quant-ph/9705052
arXiv: quant-ph / 9705052

[9] Maarten Van den Nest, Jeroen Dehaene, dan Bart De Moor. “Kesatuan lokal versus kesetaraan Clifford lokal dari negara-negara penstabil”. Fis. Pdt.A 71, 062323 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.062323

[10] Matthias Englbrecht dan Barbara Kraus. “Simetri dan keterjeratan keadaan stabilisator”. Fis. Pdt.A 101, 062302 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.101.062302

[11] Robert Raussendorf dan Hans J. Briegel. “Komputer kuantum satu arah”. fisik. Pdt. Lett. 86, 5188–5191 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.5188

[12] Sergey Bravyi, Graeme Smith, dan John A. Smolin. “Perdagangan sumber daya komputasi klasik dan kuantum”. Fis. Pdt. X 6, 021043 (2016).
https: / / doi.org/ 10.1103 / PhysRevX.6.021043

[13] Sergey Bravyi dan David Gosset. “Peningkatan simulasi klasik sirkuit kuantum yang didominasi oleh gerbang Clifford”. Fis. Pendeta Lett. 116, 250501 (2016).
https: / / doi.org/ 10.1103 / PhysRevLett.116.250501

[14] Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset, dan Mark Howard. “Simulasi rangkaian kuantum dengan dekomposisi stabilizer tingkat rendah”. Kuantum 3, 181 (2019).
https://doi.org/10.22331/q-2019-09-02-181

[15] Yifei Huang dan Peter Cinta. "Perkiraan peringkat stabilizer dan peningkatan simulasi lemah dari sirkuit yang didominasi Clifford untuk qudits". Fis. Pdt.A 99, 052307 (2019).
https: / / doi.org/ 10.1103 / PhysRevA.99.052307

[16] Lucas Kocia dan Peter Love. “Metode fase diam dalam fungsi Wigner diskrit dan simulasi klasik rangkaian kuantum”. Kuantum 5, 494 (2021).
https://doi.org/10.22331/q-2021-07-05-494

[17] Lucas Kocia dan Mohan Sarovar. “Simulasi klasik rangkaian kuantum menggunakan eliminasi gaussian yang lebih sedikit”. Tinjauan Fisik A 103, 022603 (2021).
https: / / doi.org/ 10.1103 / PhysRevA.103.022603

[18] Sheldon B. Akers. “Diagram keputusan biner”. Surat Arsitektur Komputer IEEE 27, 509–516 (1978).
https: / / doi.org/ 10.1109 / TC.1978.1675141

[19] Randal E. Bryant. “Algoritma berbasis grafik untuk manipulasi fungsi Boolean”. IEEE Trans. Komputer 35, 677–691 (1986).
https: / / doi.org/ 10.1109 / TC.1986.1676819

[20] Randal E Bryant dan Yirng-An Chen. “Verifikasi rangkaian aritmatika dengan diagram momen biner”. Dalam Konferensi Otomasi Desain ke-32. Halaman 535–541. IEEE (1995).
https:///doi.org/10.1109/DAC.1995.250005

[21] GF Viamontes, IL Markov, dan JP Hayes. “Simulasi sirkuit kuantum berbasis QuIDD berkinerja tinggi”. Dalam Prosiding Desain, Otomasi dan Pengujian di Konferensi dan Pameran Eropa. Jilid 2, halaman 1354–1355 Vol.2. (2004).
https: / / doi.org/ 10.1109 / DATE.2004.1269084

[22] RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E. Macii, A. Pardo, dan F. Somenzi. “Diagram keputusan aljabar dan penerapannya”. Dalam Prosiding Konferensi Internasional Computer Aided Design (ICCAD) tahun 1993. Halaman 188–191. (1993).
https:///doi.org/10.1109/ICCAD.1993.580054

[23] George F Viamontes, Igor L Markov, dan John P Hayes. “Meningkatkan simulasi sirkuit kuantum tingkat gerbang”. Pemrosesan Informasi Kuantum 2, 347–380 (2003).
https:///doi.org/10.1023/B:QINP.0000022725.70000.4a

[24] Masahiro Fujita, Patrick C. McGeer, dan JC-Y Yang. “Diagram keputusan biner multi-terminal: Struktur data yang efisien untuk representasi matriks”. Metode formal dalam desain sistem 10, 149–169 (1997).
https: / / doi.org/ 10.1023 / A: 1008647823331

[25] EM Clarke, KL McMillan, X Zhao, M. Fujita, dan J. Yang. “Transformasi spektral untuk fungsi boolean besar dengan aplikasi pada pemetaan teknologi”. Dalam Prosiding Konferensi Otomasi Desain Internasional ke-30. Halaman 54–60. DAC '93New York, NY, AS (1993). Asosiasi Mesin Komputasi.
https: / / doi.org/ 10.1145 / 157485.164569

[26] Scott Sanner dan David McAllester. “Affine diagram keputusan aljabar (AADD) dan penerapannya pada inferensi probabilistik terstruktur”. Dalam Prosiding Konferensi Gabungan Internasional ke-19 tentang Kecerdasan Buatan. Halaman 1384–1390. IJCAI'05San Francisco, CA, AS (2005). Url Morgan Kaufmann Publishers Inc.: www.ijcai.org/Proceedings/05/Papers/1439.pdf.
https://www.ijcai.org/Proceedings/05/Papers/1439.pdf

[27] D Michael Miller dan Mitchell A Thornton. “QMDD: Struktur diagram keputusan untuk rangkaian reversibel dan kuantum”. Dalam Simposium Internasional ke-36 tentang Logika Bernilai Berganda (ISMVL'06). Halaman 30–30. IEEE (2006).
https:///doi.org/10.1109/ISMVL.2006.35

[28] Alwin Zulehner dan Robert Wille. “Simulasi lanjutan dari komputasi kuantum”. Transaksi IEEE pada Desain Sirkuit dan Sistem Terpadu Berbantuan Komputer 38, 848–859 (2018).
https:///doi.org/10.48550/arXiv.1707.00865

[29] Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, dan Mingsheng Ying. “Diagram keputusan berbasis jaringan tensor untuk representasi rangkaian kuantum”. ACM Trans. Des. Otomatis. Elektron. sistem. 27 (2022).
https: / / doi.org/ 10.1145 / 3514355

[30] Stefan Hillmich, Richard Kueng, Igor L. Markov, dan Robert Wille. “Sekurat yang diperlukan, seefisien mungkin: Perkiraan dalam simulasi rangkaian kuantum berbasis DD”. Dalam Konferensi & Pameran Desain, Otomasi & Pengujian di Eropa, TANGGAL 2021, Grenoble, Prancis, 1-5 Februari 2021. Halaman 188–193. IEEE (2021).
https:///doi.org/10.23919/DATE51398.2021.9474034

[31] George F Viamontes, Igor L Markov, dan John P Hayes. “Simulasi sirkuit kuantum”. Sains & Media Bisnis Springer. (2009).
https://doi.org/10.1007/978-90-481-3065-8

[32] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, dan Sanjiang Li. “Perkiraan pemeriksaan kesetaraan sirkuit kuantum yang berisik”. Pada Konferensi Otomasi Desain (DAC) ACM/IEEE ke-2021 tahun 58. Halaman 637–642. (2021).
https:///doi.org/10.1109/DAC18074.2021.9586214

[33] Hans J.Briegel dan Robert Raussendorf. “Keterikatan terus-menerus dalam susunan partikel yang berinteraksi”. Fis. Pendeta Lett. 86, 910–913 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.910

[34] Wolfgang Dur, Guifre Vidal, dan J Ignacio Cirac. “Tiga qubit dapat dilibatkan dalam dua cara yang tidak setara”. Tinjauan Fisik A 62, 062314 (2000).
https:///doi.org/10.48550/arXiv.quant-ph/0005115
arXiv: quant-ph / 0005115

[35] Eric Chitambar, Debbie Leung, Laura Mančinska, Maris Ozols, dan Andreas Winter. “Segala sesuatu yang selalu ingin Anda ketahui tentang LOCC (tetapi takut untuk bertanya)”. Komunikasi dalam Fisika Matematika 328, 303–326 (2014).
https:///doi.org/10.48550/arXiv.1210.4583

[36] Steven R Putih. “Formulasi matriks kepadatan untuk kelompok renormalisasi kuantum”. Tinjauan fisik surat 69, 2863 (1992).
https: / / doi.org/ 10.1103 / PhysRevLett.69.2863

[37] D. Perez-Garcia, F. Verstraete, MM Wolf, dan JI Cirac. “Representasi status produk matriks”. Informasi & Komputasi Kuantum 7, 401–430 (2007).
https:///doi.org/10.48550/arXiv.2011.12127

[38] Guifré Vidal. “Simulasi klasik yang efisien dari komputasi kuantum yang sedikit rumit”. Surat peninjauan fisik 91, 147902 (2003).
https:///doi.org/10.48550/arXiv.quant-ph/0301063
arXiv: quant-ph / 0301063

[39] Adnan Darwiche dan Pierre Marquis. “Peta kompilasi pengetahuan”. Jurnal Penelitian Kecerdasan Buatan 17, 229–264 (2002).
https: / / doi.org/ 10.5555 / 1622810.1622817

[40] Karl S Brace, Richard L Rudell, dan Randal E Bryant. “Implementasi paket BDD yang efisien”. Dalam Prosiding konferensi otomasi desain ACM/IEEE ke-27. Halaman 40–45. (1991).
https: / / doi.org/ 10.1145 / 123186.123222

[41] Donald Ervin Knuth. “Seni pemrograman komputer. volume 4, fasikula 1”. Addison-Wesley. (2005).
https://doi.org/10.1090/s0002-9904-1973-13173-8

[42] Fabio Somenzi. “Manipulasi diagram keputusan yang efisien”. Jurnal Internasional tentang Perangkat Lunak untuk Transfer Teknologi 3, 171–181 (2001).
https: / / doi.org/ 10.1007 / s100090100042

[43] Koenraad MR Audenaert dan Martin B Plenio. “Keterikatan pada keadaan penstabil campuran: bentuk normal dan prosedur reduksi”. Jurnal Fisika Baru 7, 170 (2005). url:.
https://doi.org/10.1088/1367-2630/7/1/170

[44] Marc Hein, Wolfgang Dür, Jens Eisert, Robert Raussendorf, M Nest, dan HJ Briegel. “Keterikatan dalam status grafik dan penerapannya”. Dalam Prosiding Sekolah Fisika Internasional “Enrico Fermi”. Volume Volume 162: Komputer Kuantum, Algoritma dan Kekacauan. IOS Tekan (2006).
https://doi.org/10.3254/978-1-61499-018-5-115

[45] Scott Aaronson. “Rumus multilinear dan skeptisisme komputasi kuantum”. Dalam Prosiding Simposium ACM Tahunan ke Tiga Puluh Enam tentang Teori Komputasi. Halaman 118–127. STOC '04New York, NY, AS (2004). Asosiasi Mesin Komputasi.
https: / / doi.org/ 10.1145 / 1007352.1007378

[46] Sergey Bravyi dan Alexei Kitaev. “Komputasi kuantum universal dengan gerbang Clifford yang ideal dan tambahan yang bising”. Fis. Pdt.A 71, 022316 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.022316

[47] Charles H Bennett, Herbert J Bernstein, Sandu Popescu, and Benjamin Schumacher. "Memusatkan keterikatan parsial dengan operasi lokal". Tinjauan Fisik A 53, 2046 (1996).
https:///doi.org/10.48550/arXiv.quant-ph/9511030
arXiv: quant-ph / 9511030

[48] David Y Feinstein dan Mitchell A Thornton. “Pada variabel yang dilewati dari diagram keputusan bernilai ganda kuantum”. Pada Simposium Internasional IEEE ke-2011 tentang Logika Bernilai Ganda tahun 41. Halaman 164–169. IEEE (2011).
https:///doi.org/10.1109/ISMVL.2011.22

[49] Richard J Lipton, Donald J Rose, dan Robert Endre Tarjan. “Diseksi bersarang umum”. Jurnal SIAM tentang analisis numerik 16, 346–358 (1979).
https: / / doi.org/ 10.5555 / 892164

[50] M. Van den Nest, W. Dür, G. Vidal, dan HJ Briegel. “Simulasi klasik versus universalitas dalam komputasi kuantum berbasis pengukuran”. Fis. Pdt.A 75, 012337 (2007).
https: / / doi.org/ 10.1103 / PhysRevA.75.012337

[51] Itu Jelínek. “Lebar peringkat kotak persegi”. Matematika Terapan Diskrit 158, 841–850 (2010).
https://doi.org/10.1007/978-3-540-92248-3_21

[52] Hélene Fargier, Pierre Marquis, Alexandre Niveau, dan Nicolas Schmidt. “Peta kompilasi pengetahuan untuk diagram keputusan bernilai nyata yang diurutkan”. Dalam Prosiding Konferensi AAAI tentang Kecerdasan Buatan. Jilid 28. (2014).
https: / / doi.org/ 10.1609 / aaai.v28i1.8853

[53] Robert W Floyd. “Menetapkan makna pada program”. Dalam Verifikasi Program. Halaman 65–81. Pegas (1993).
https://doi.org/10.1007/978-94-011-1793-7_4

[54] JW De Bakker dan Lambert GLT Meertens. “Tentang Kelengkapan Metode Penegasan Induktif”. Jurnal Ilmu Komputer dan Sistem 11, 323–357 (1975).
https://doi.org/10.1016/S0022-0000(75)80056-0

[55] Ingo Wegener. “Program percabangan dan diagram keputusan biner: teori dan aplikasi”. SIAM. (2000).
https: / / doi.org/ 10.1137 / 1.9780898719789

[56] James McClung. “Konstruksi dan penerapan negara bagian W”. Tesis PhD. Institut Politeknik Worcester. (2020).

[57] Srinivasan Arunachalam, Sergey Bravyi, Chinmay Nirkhe, dan Bryan O'Gorman. “Kompleksitas verifikasi kuantum yang diparameterisasi” (2022).
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2022.3

[58] Aleks Kissinger dan John van de Wetering. “Mengurangi T-count dengan kalkulus ZX” (2019).
https: / / doi.org/ 10.1103 / PhysRevA.102.022406

[59] Himanshu Thapliyal, Edgard Munoz-Coreas, TSS Varun, dan Travis S Humble. “Desain sirkuit kuantum pembagian bilangan bulat yang mengoptimalkan T-hitung dan kedalaman T”. Transaksi IEEE pada Topik yang Muncul dalam Komputasi 9, 1045–1056 (2019).
https:///doi.org/10.48550/arXiv.1809.09732

[60] Wang Jian, Zhang Quan, dan Tang Chao-Jing. “Skema komunikasi aman kuantum dengan status W”. Komunikasi dalam Fisika Teoritis 48, 637 (2007).
https://doi.org/10.1088/0253-6102/48/4/013

[61] Wen Liu, Yong-Bin Wang, dan Zheng-Tao Jiang. “Protokol yang efisien untuk perbandingan kesetaraan privat kuantum dengan status W”. Komunikasi Optik 284, 3160–3163 (2011).
https: / / doi.org/ 10.1016 / j.optcom.2011.02.017

[62] Victoria Lipinska, Gláucia Murta, dan Stephanie Wehner. “Transmisi anonim dalam jaringan kuantum berisik menggunakan status ${W}$”. Fis. Pdt.A 98, 052320 (2018).
https: / / doi.org/ 10.1103 / PhysRevA.98.052320

[63] Paul Tafertshofer dan Massoud Pedram. “Diagram keputusan biner bernilai tepi yang difaktorkan”. Metode Formal dalam Desain Sistem 10, 243–270 (1997).
https: / / doi.org/ 10.1023 / A: 1008691605584

[64] Meghana Sistla, Swarat Chaudhuri, dan Thomas Reps. “CFLOBDDs: Diagram keputusan biner terurut dalam bahasa bebas konteks” (2023). arXiv:2211.06818.
arXiv: 2211.06818

[65] Meghana Sistla, Swarat Chaudhuri, dan Thomas Reps. “Simulasi kuantum simbolik dengan quasimodo”. Di Constantin Enea dan Akash Lal, editor, Verifikasi Berbantuan Komputer. Halaman 213–225. Cham (2023). Springer Nature Swiss.
https://doi.org/10.1007/978-3-031-37709-9_11

[66] Rajeev Alur dan P. Madhusudan. “Bahasa yang terlihat jelas”. Dalam Prosiding Simposium ACM Tahunan ke Tiga Puluh Enam tentang Teori Komputasi. Halaman 202–211. STOC '04New York, NY, AS (2004). Asosiasi Mesin Komputasi.
https: / / doi.org/ 10.1145 / 1007352.1007390

[67] Meghana Sistla, Swarat Chaudhuri, dan Thomas Reps. “Diagram keputusan biner terurut bahasa bebas konteks tertimbang” (2023). arXiv:2305.13610.
arXiv: 2305.13610

[68] Adnan Darwiche. “SDD: representasi kanonik baru dari basis pengetahuan proposisional”. Dalam Prosiding konferensi gabungan internasional ke-2011 tentang Kecerdasan Buatan-Jilid Dua. . AAAI Pers (XNUMX).

[69] Doga Kisa, Guy Van den Broeck, Arthur Choi, dan Adnan Darwiche. “Diagram keputusan sentensial probabilistik”. Dalam Prosiding Konferensi Internasional Keempat Belas tentang Prinsip Representasi dan Penalaran Pengetahuan. Halaman 558–567. KR'14. AAAI Pers (2014). url: cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf.
https://cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf

[70] Kengo Nakamura, Shuhei Denzumi, dan Masaaki Nishino. “Pergeseran variabel SDD: Diagram keputusan sentensial yang lebih ringkas”. Dalam Simone Faro dan Domenico Cantone, editor, Simposium Internasional ke-18 tentang Algoritma Eksperimental (SEA 2020). Volume 160 dari Leibniz International Proceedings in Informatics (LIPIcs), halaman 22:1–22:13. Dagstuhl, Jerman (2020). Schloss Dagstuhl–Leibniz-Zentrum untuk Informatik.
https:///doi.org/10.4230/LIPIcs.SEA.2020.22

[71] Wolfgang Gunther dan Rolf Drechsler. “Minimalisasi bdds menggunakan transformasi linier berdasarkan teknik evolusi”. Pada tahun 1999 Simposium Internasional IEEE tentang Sirkuit dan Sistem (ISCAS). Jilid 1, halaman 387–390. IEEE (1999).
https:///doi.org/10.1109/ISCAS.1999.777884

[72] Barbara M. Terhal dan David P. DiVincenzo. "Simulasi klasik rangkaian kuantum fermion noninteraksi". Fis. Pdt.A 65, 032325 (2002).
https: / / doi.org/ 10.1103 / PhysRevA.65.032325

[73] Richard Jozsa dan Akimasa Miyake. “Gerbang korek api dan simulasi klasik sirkuit kuantum”. Prosiding: Ilmu Matematika, Fisika dan TeknikHalaman 3089–3106 (2008).
https: / / doi.org/ 10.1098 / rspa.2008.0189

[74] Martin Hebenstreit, Richard Jozsa, Barbara Kraus, dan Sergii Strelchuk. “Kekuatan komputasi gerbang korek api dengan sumber daya tambahan”. Tinjauan Fisik A 102, 052604 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.102.052604

[75] Román Orús. "Pengantar praktis untuk jaringan tensor: Status produk matriks dan status pasangan terjerat yang diproyeksikan". Sejarah Fisika 349, 117–158 (2014).
https:///doi.org/10.1016/j.aop.2014.06.013

[76] Bob Coecke dan Ross Duncan. "Berinteraksi kuantum yang dapat diamati: aljabar kategoris dan diagram". Jurnal Baru Fisika 13, 043016 (2011).
https://doi.org/10.1007/978-3-540-70583-3_25

[77] Renaud Vilmart. “Diagram keputusan bernilai ganda kuantum dalam perhitungan grafis” (2021). arXiv:2107.01186.
arXiv: 2107.01186

[78] Richard Rudell. “Pengurutan variabel dinamis untuk diagram keputusan biner terurut”. Dalam Prosiding Konferensi Internasional Computer Aided Design (ICCAD) tahun 1993. Halaman 42–47. IEEE (1993).
https:///doi.org/10.1109/ICCAD.1993.580029

[79] Ewout van den Berg dan Kristan Temme. “Optimasi sirkuit simulasi Hamiltonian dengan diagonalisasi cluster Pauli secara simultan”. Kuantum 4, 322 (2020).
https://doi.org/10.22331/q-2020-09-12-322

[80] Eugene M Luks, Ferenc Rákóczi, dan Charles RB Wright. “Beberapa algoritma untuk kelompok permutasi nilpoten”. Jurnal Komputasi Simbolik 23, 335–354 (1997).
https:///doi.org/10.1006/jsco.1996.0092

[81] Pavol Ďuriš, Juraj Hromkovič, Stasys Jukna, Martin Sauerhoff, dan Georg Schnitger. “Tentang kompleksitas komunikasi multi-partisi”. Informasi dan komputasi 194, 49–75 (2004).
https: / / doi.org/ 10.1016 / j.ic.2004.05.002

[82] Hector J. Garcia, Igor L. Markov, dan Andrew W. Cross. “Algoritme produk dalam yang efisien untuk status stabilisasi” (2012). arXiv:1210.6646.
arXiv: 1210.6646

[83] “Stabranksearcher: kode untuk menemukan (batas atas) peringkat penstabil keadaan kuantum”. https:///github.com/timcp/StabRankSearcher (2021).
https:///github.com/timcp/StabRankSearcher

[84] Padraic Calpin. “Menjelajahi komputasi kuantum melalui lensa simulasi klasik”. Tesis PhD. UCL (Universitas Perguruan Tinggi London). (2020).
https:///doi.org/10.5555/AAI28131047

Dikutip oleh

[1] Dimitrios Thanos, Tim Coopmans, dan Alfons Laarman, “Pemeriksaan kesetaraan cepat sirkuit kuantum gerbang Clifford”, arXiv: 2308.01206, (2023).

[2] Robert Wille, Stefan Hillmich, dan Lukas Burgholzer, “Alat untuk Komputasi Kuantum Berdasarkan Diagram Keputusan”, arXiv: 2108.07027, (2021).

Kutipan di atas berasal dari SAO / NASA ADS (terakhir berhasil diperbarui, 2023-09-12 14:57:20). Daftar ini mungkin tidak lengkap karena tidak semua penerbit menyediakan data kutipan yang cocok dan lengkap.

On Layanan dikutip-oleh Crossref tidak ada data tentang karya mengutip ditemukan (upaya terakhir 2023-09-12 14:57:15).

Makalah ini diterbitkan dalam Quantum di bawah Creative Commons Attribution 4.0 Internasional (CC BY 4.0) lisensi. Hak cipta tetap berada pada pemegang hak cipta asli seperti penulis atau lembaganya.

Konten Bertenaga SEO & Distribusi PR. Dapatkan Amplifikasi Hari Ini.
PlatoData.Jaringan Vertikal Generatif Ai. Berdayakan Diri Anda. Akses Di Sini.
PlatoAiStream. Intelijen Web3. Pengetahuan Diperkuat. Akses Di Sini.
PlatoESG. Otomotif / EV, Karbon, teknologi bersih, energi, Lingkungan Hidup, Tenaga surya, Penanganan limbah. Akses Di Sini.
PlatoHealth. Kecerdasan Uji Coba Biotek dan Klinis. Akses Di Sini.
ChartPrime. Tingkatkan Game Trading Anda dengan ChartPrime. Akses Di Sini.
BlockOffset. Modernisasi Kepemilikan Offset Lingkungan. Akses Di Sini.
Sumber: https://quantum-journal.org/papers/q-2023-09-11-1108/

Stempel Waktu: September 11, 2023

Stempel Waktu: Jan 11, 2024

LIMDD: Diagram Keputusan untuk Simulasi Komputasi Kuantum Termasuk Status Penstabil

Diterbitkan Ulang Oleh Plato

Abstrak

Ringkasan populer

► data BibTeX

► Referensi

Dikutip oleh

Lebih dari Jurnal Kuantum

Ekstraksi Kuat dari Pengamatan Termal dari Pengambilan Sampel Status dan Dinamika Real-Time pada Komputer Kuantum

Simulasi kuantum dengan kompilasi tepat waktu

Pemecah kuantum berbasis waktu berbaris untuk persamaan diferensial linier bergantung waktu

Gim monogami keterjeratan untuk status koset subruang

Abstrak: Analisis Rangkaian Kuantum melalui Simulasi Penstabil Abstrak

Teleportasi Keadaan Kuantum Pasca Terpilih

Kontrol Quantum Optimal Variasional berbasis pulsa untuk komputasi kuantum hibrid

Gangguan pengukuran dan hukum kekekalan dalam mekanika kuantum

Pendekatan kuantum cepat untuk optimasi kombinatorial yang terinspirasi oleh transfer keadaan optimal

Kompleksitas mesin vektor dukungan kuantum

Tentang Kami

Pencarian Vertikal & Ai

Platform

Tetap Berhubung

Akun