LIMDD: Döntési diagram a kvantumszámítás szimulációjához, beleértve a stabilizáló állapotokat

Újra kiadta Platón

Követő: 0

Lieuwe Vinkhuijzen¹, Tim Coopmans^1,2, David Elkouss^2,3, Vedran Dunjko¹és Alfons Laarman¹

¹Leideni Egyetem, Hollandia
²Delfti Műszaki Egyetem, Hollandia
³Networked Quantum Devices Unit, Okinawa Institute of Science and Technology Graduate University, Okinawa, Japán

Érdekesnek találja ezt a cikket, vagy szeretne megvitatni? Scite vagy hagyjon megjegyzést a SciRate-en.

Absztrakt

A kvantumállapotok és kvantumműveletek hatékony ábrázolására és szimulációjára szolgáló módszerek döntő fontosságúak a kvantumáramkörök optimalizálása szempontjából. A döntési diagramok (DD-k), egy jól tanulmányozott adatstruktúra, amelyet eredetileg Boole-függvények ábrázolására használtak, bebizonyították, hogy képesek megragadni a kvantumrendszerek releváns aspektusait, de korlátaikat nem ismerjük jól. Ebben a munkában megvizsgáljuk és áthidaljuk a meglévő DD-alapú struktúrák és a stabilizátor formalizmus közötti szakadékot, amely fontos eszköz a kvantumáramkörök szimulálásához a követhető rendszerben. Először megmutatjuk, hogy bár a DD-kről azt javasolták, hogy tömören reprezentálják a fontos kvantumállapotokat, valójában exponenciális teret igényelnek bizonyos stabilizáló állapotokhoz. Ennek orvoslására bemutatunk egy erősebb döntési diagram-változatot, a Local Invertible Map-DD (LIMDD) nevet. Bebizonyítottuk, hogy a több méretű LIMDD-k által reprezentált kvantumállapotok halmaza szigorúan tartalmazza a stabilizátor állapotok és más döntési diagramváltozatok unióját. Végül léteznek olyan áramkörök, amelyeket a LIMDD-k hatékonyan tudnak szimulálni, miközben kimeneti állapotukat nem lehet tömören leírni két legkorszerűbb szimulációs paradigmával: a Clifford + $T$ áramkörök stabilizátor-lebontási technikáival és a Mátrix-termékállapotokkal. Két sikeres megközelítés egyesítése révén a LIMDD-k tehát alapvetően hatékonyabb megoldások felé nyitják meg az utat a kvantumszámítás szimulációjához és elemzéséhez.

LIMDD: Döntési diagram a kvantumszámítás szimulációjához, beleértve a PlatoBlockchain adatintelligenciát is. Függőleges keresés. Ai.

Kiemelt kép: Balra: A LIMDD-k és számos más formalizmus által hatékonyan reprezentált kvantumállapotok halmazának Venn-diagramja. Jobbra: Példa egy LIMDD-re, amely kompaktan reprezentál egy $3$-qubit kvantumállapotot.

Népszerű összefoglaló

A kvantumáramkör klasszikus szimulációja számításilag nehéz feladat. Egy egyszerű megközelítésben a kvantumállapot leírásának tárolására vonatkozó memóriaigény $2^n$-val nő egy $n$-qubit áramkör esetében. A döntési diagramok egy kvantumállapot tömörített ábrázolásával oldják meg ezt a problémát. A DD-alapú módszerek korlátait azonban nem ismerték jól. Ebben a munkában megvizsgáljuk és áthidaljuk a meglévő DD-alapú struktúrák és a stabilizátor formalizmus közötti szakadékot, amely egy másik fontos eszköz a kvantumáramkörök szimulálására. Először megmutatjuk, hogy bár a DD-kről azt javasolták, hogy tömören reprezentálják a fontos kvantumállapotokat, valójában exponenciális teret igényelnek bizonyos stabilizáló állapotokhoz. Ennek orvoslására bemutatunk egy erősebb döntési diagram-változatot, a Local Invertible Map-DD (LIMDD) nevet. Bebizonyítottuk, hogy léteznek olyan kvantumáramkörök, amelyek hatékonyan elemezhetők LIMDD-kkel, de nem a meglévő DD-alapú módszerekkel, sem stabilizátor dekompozíciós technikákkal, sem mátrix szorzatállapotokkal. A DD és a stabilizátor formalizmus erősségeit egy szigorúan tömörebb adatszerkezetben kihasználva a LIMDD-k így megnyitják az utat a kvantumszámítás alapvetően hatékonyabb szimulációja és elemzése előtt.

► BibTeX adatok

@cikk{Vinkhuijzen2023limdddecision, doi = {10.22331/q-2023-09-11-1108}, url = {https://doi.org/10.22331/q-2023-09-11-1108}, cím = {{LIMDD }: {A} {D}döntés {D}diagram a {Q}kvantum {C}számítás {S}imulációjához {I}beleértve a {S}tabilizátor {S}állapotokat}, szerző = {Vinkhuijzen, Lieuwe és Coopmans, Tim és Elkouss, David és Dunjko, Vedran és Laarman, Alfons}, folyóirat = {{Quantum}}, issn = {2521-327X}, kiadó = {{Verein zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, kötet = {7}, oldalak = {1108}, hónap = szept, év = {2023} }

► Referenciák

[1] Alwin Zulehner és Robert Wille. „Reverzibilis áramkörök egymenetes tervezése: a beágyazás és a szintézis kombinálása a reverzibilis logikához”. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37, 996–1008 (2017).
https:///doi.org/10.1109/TCAD.2017.2729468

[2] Lukas Burgholzer és Robert Wille. „A kvantumáramkörök továbbfejlesztett DD-alapú ekvivalencia-ellenőrzése”. 2020-ban 25. Ázsia és Dél-Csendes-óceáni tervezési automatizálási konferencia (ASP-DAC). 127–132. oldal. IEEE (2020).
https:///doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] Lukas Burgholzer, Richard Kueng és Robert Wille. „Véletlenszerű ingergenerálás a kvantumáramkörök ellenőrzéséhez”. A 26. ázsiai és dél-csendes-óceáni tervezési automatizálási konferencia anyagában. 767–772. oldal. (2021).
https:///doi.org/10.1145/3394885.3431590

[4] Lukas Burgholzer és Robert Wille. „Speciális ekvivalencia-ellenőrzés kvantumáramkörökhöz”. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40, 1810–1824 (2020).
https:///doi.org/10.48550/arXiv.2004.08420

[5] John Preskill. „Kvantumszámítástechnika a NISQ-korszakban és azon túl”. Quantum 2, 79 (2018).
https:///doi.org/10.48550/arXiv.1801.00862

[6] Daniel Gottesman. „A kvantumszámítógépek Heisenberg-reprezentációja” (1998). url: arxiv.org/abs/quant-ph/9807006.
arXiv:quant-ph/9807006

[7] Scott Aaronson és Daniel Gottesman. „A stabilizátor áramkörök továbbfejlesztett szimulációja”. Fizikai Szemle A 70 (2004).
https:///doi.org/10.1103/physreva.70.052328

[8] Daniel Gottesman. „Stabilizátorkódok és kvantumhiba-javítás”. PhD értekezés. California Institute of Technology. (1997).
https:///doi.org/10.48550/arXiv.quant-ph/9705052
arXiv:quant-ph/9705052

[9] Maarten Van den Nest, Jeroen Dehaene és Bart De Moor. „A stabilizátorállapotok helyi unitárius és helyi Clifford-ekvivalenciája”. Phys. Rev. A 71, 062323 (2005).
https:///doi.org/10.1103/PhysRevA.71.062323

[10] Matthias Englbrecht és Barbara Kraus. „A stabilizáló állapotok szimmetriái és összefonódása”. Phys. Rev. A 101, 062302 (2020).
https:///doi.org/10.1103/PhysRevA.101.062302

[11] Robert Raussendorf és Hans J. Briegel. „Egyirányú kvantumszámítógép”. Phys. Rev. Lett. 86, 5188–5191 (2001).
https:///doi.org/10.1103/PhysRevLett.86.5188

[12] Sergey Bravyi, Graeme Smith és John A. Smolin. „Klasszikus és kvantumszámítási erőforrások kereskedelme”. Phys. Rev. X 6, 021043 (2016).
https:///doi.org/10.1103/PhysRevX.6.021043

[13] Sergey Bravyi és David Gosset. "A Clifford kapuk által uralt kvantumáramkörök továbbfejlesztett klasszikus szimulációja". Phys. Rev. Lett. 116, 250501 (2016).
https:///doi.org/10.1103/PhysRevLett.116.250501

[14] Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset és Mark Howard. „Kvantumáramkörök szimulációja alacsony rangú stabilizátor dekompozíciókkal”. Quantum 3, 181 (2019).
https://doi.org/10.22331/q-2019-09-02-181

[15] Yifei Huang és Peter Love. „Hozzávetőleges stabilizátor besorolás és javított gyenge szimuláció a Clifford által uralt áramkörökhöz quditokhoz”. Phys. Rev. A 99, 052307 (2019).
https:///doi.org/10.1103/PhysRevA.99.052307

[16] Lucas Kocia és Peter Love. Stacionárius fázis módszer diszkrét Wigner-függvényekben és kvantumáramkörök klasszikus szimulációjában. Quantum 5, 494 (2021).
https://doi.org/10.22331/q-2021-07-05-494

[17] Lucas Kocia és Mohan Sarovar. „Kvantumáramkörök klasszikus szimulációja kevesebb Gauss-eliminációval”. Physical Review A 103, 022603 (2021).
https:///doi.org/10.1103/PhysRevA.103.022603

[18] Sheldon B. Akers. „Bináris döntési diagramok”. IEEE Computer Architecture Letters 27, 509–516 (1978).
https:///doi.org/10.1109/TC.1978.1675141

[19] Randal E. Bryant. „Grafikon alapú algoritmusok Boole-függvény-manipulációhoz”. IEEE Trans. Computers 35, 677–691 (1986).
https:///doi.org/10.1109/TC.1986.1676819

[20] Randal E Bryant és Yirng-An Chen. „Aritmetikai áramkörök ellenőrzése bináris nyomatékdiagramokkal”. 32. Tervezőautomatizálási Konferencián. 535–541. oldal. IEEE (1995).
https:///doi.org/10.1109/DAC.1995.250005

[21] GF Viamontes, IL Markov és JP Hayes. „Kvantumáramkörök nagy teljesítményű QuIDD-alapú szimulációja”. In Proceedings Design, Automation and Test in Europe Konferencia és Kiállítás. 2. kötet, 1354–1355. 2. kötet. (2004).
https:///doi.org/10.1109/DATE.2004.1269084

[22] RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E. Macii, A. Pardo és F. Somenzi. „Algebrai döntési diagramok és alkalmazásaik”. In Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). 188–191. oldal. (1993).
https:///doi.org/10.1109/ICCAD.1993.580054

[23] George F Viamontes, Igor L Markov és John P Hayes. „Kvantumáramkörök kapuszintű szimulációjának javítása”. Quantum Information Processing 2, 347–380 (2003).
https:///doi.org/10.1023/B:QINP.0000022725.70000.4a

[24] Masahiro Fujita, Patrick C. McGeer és JC-Y Yang. „Többterminális bináris döntési diagramok: hatékony adatstruktúra mátrixábrázoláshoz”. Formális módszerek a rendszertervezésben 10, 149–169 (1997).
https:///doi.org/10.1023/A:1008647823331

[25] EM Clarke, KL McMillan, X Zhao, M. Fujita és J. Yang. „Spektrális transzformációk nagy logikai függvényekhez technológiai leképezési alkalmazásokkal”. In Proceedings of the 30th International Design Automation Conference. 54–60. oldal. DAC '93 New York, NY, USA (1993). Számítógépek Szövetsége.
https:///doi.org/10.1145/157485.164569

[26] Scott Sanner és David McAllester. „Affin algebrai döntési diagramok (AADD) és alkalmazásuk strukturált valószínűségi következtetésre”. In Proceedings of the 19. International Joint Conference on Artificial Intelligence. 1384–1390. oldal. IJCAI'05San Francisco, CA, USA (2005). A Morgan Kaufmann Publishers Inc. URL-je: www.ijcai.org/Proceedings/05/Papers/1439.pdf.
https:///www.ijcai.org/Proceedings/05/Papers/1439.pdf

[27] D Michael Miller és Mitchell A Thornton. „QMDD: Döntési diagram szerkezet reverzibilis és kvantumáramkörökhöz”. 36. Nemzetközi Szimpózium a Többértékű Logikáról (ISMVL'06). 30–30. oldal. IEEE (2006).
https:///doi.org/10.1109/ISMVL.2006.35

[28] Alwin Zulehner és Robert Wille. „Kvantumszámítások fejlett szimulációja”. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 38, 848–859 (2018).
https:///doi.org/10.48550/arXiv.1707.00865

[29] Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng és Mingsheng Ying. „A tenzorhálózat alapú döntési diagram kvantumáramkörök ábrázolásához”. ACM Trans. Des. Autom. Elektron. Syst. 27 (2022).
https:///doi.org/10.1145/3514355

[30] Stefan Hillmich, Richard Kueng, Igor L. Markov és Robert Wille. „Amennyire szükséges, a lehető leghatékonyabban: Közelítések DD-alapú kvantumáramkör-szimulációban”. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, Franciaország, 1. február 5–2021. 188–193. oldal. IEEE (2021).
https:///doi.org/10.23919/DATE51398.2021.9474034

[31] George F Viamontes, Igor L Markov és John P Hayes. „Kvantumáramkör szimuláció”. Springer Science & Business Media. (2009).
https://doi.org/10.1007/978-90-481-3065-8

[32] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou és Sanjiang Li. „Zajos kvantumáramkörök hozzávetőleges ekvivalenciájának ellenőrzése”. 2021-ben 58. ACM/IEEE Design Automation Conference (DAC). 637–642. oldal. (2021).
https:///doi.org/10.1109/DAC18074.2021.9586214

[33] Hans J. Briegel és Robert Raussendorf. „Perzisztens összefonódás kölcsönható részecskék tömbjében”. Phys. Rev. Lett. 86, 910–913 (2001).
https:///doi.org/10.1103/PhysRevLett.86.910

[34] Wolfgang Dür, Guifre Vidal és J Ignacio Cirac. „Három qubitet két egyenértékű módon lehet összefonni.” Physical Review 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 és Andreas Winter. „Minden, amit mindig is tudni akart a LOCC-ról (de félt megkérdezni)”. Communications in Mathematical Physics 328, 303–326 (2014).
https:///doi.org/10.48550/arXiv.1210.4583

[36] Steven R White. „Sűrűségmátrix-formuláció kvantum-renormalizációs csoportokhoz”. Physical Review Letters 69, 2863 (1992).
https:///doi.org/10.1103/PhysRevLett.69.2863

[37] D. Perez-Garcia, F. Verstraete, MM Wolf és JI Cirac. „Matrix termékállapot-ábrázolások”. Quantum Information & Computation 7, 401–430 (2007).
https:///doi.org/10.48550/arXiv.2011.12127

[38] Guifré Vidal. „Kissé kusza kvantumszámítások hatékony klasszikus szimulációja”. Physical Review Letters 91, 147902 (2003).
https:///doi.org/10.48550/arXiv.quant-ph/0301063
arXiv:quant-ph/0301063

[39] Adnan Darwiche és Pierre Marquis. „Tudásgyűjtő térkép”. Journal of Artificial Intelligence Research 17, 229–264 (2002).
https:///doi.org/10.5555/1622810.1622817

[40] Karl S Brace, Richard L Rudell és Randal E Bryant. „BDD csomag hatékony megvalósítása”. In Proceedings of the 27th ACM/IEEE tervezési automatizálási konferencia. 40–45. oldal. (1991).
https:///doi.org/10.1145/123186.123222

[41] Donald Ervin Knuth. „A számítógépes programozás művészete. 4. kötet, 1. köteg”. Addison-Wesley. (2005).
https://doi.org/10.1090/s0002-9904-1973-13173-8

[42] Fabio Somenzi. „A döntési diagramok hatékony manipulálása”. International Journal on Software Tools for Technology Transfer 3, 171–181 (2001).
https:///doi.org/10.1007/s100090100042

[43] Koenraad MR Audenaert és Martin B Plenio. „Összefonódás vegyes stabilizátorállapotokon: normál formák és redukciós eljárások”. New Journal of Physics 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 és HJ Briegel. „Összefonódás gráfállapotokban és alkalmazásai”. In Proceedings of the International School of Physics „Enrico Fermi”. 162. kötet: Kvantumszámítógépek, algoritmusok és káosz. IOS Press (2006).
https://doi.org/10.3254/978-1-61499-018-5-115

[45] Scott Aaronson. „Multilineáris képletek és a kvantumszámítás szkepticizmusa”. In Proceedings of the Thirty-Sixth Annual ACM Symposium on Theory of Computing. 118–127. oldal. STOC '04 New York, NY, USA (2004). Számítógépek Szövetsége.
https:///doi.org/10.1145/1007352.1007378

[46] Szergej Bravyi és Alekszej Kitaev. „Univerzális kvantumszámítás ideális Clifford-kapukkal és zajos segédelemekkel”. Phys. Rev. A 71, 022316 (2005).
https:///doi.org/10.1103/PhysRevA.71.022316

[47] Charles H Bennett, Herbert J Bernstein, Sandu Popescu és Benjamin Schumacher. „A részleges összefonódás koncentrálása helyi műveletekkel”. Physical Review A 53, 2046 (1996).
https:///doi.org/10.48550/arXiv.quant-ph/9511030
arXiv:quant-ph/9511030

[48] David Y Feinstein és Mitchell A Thornton. „A kvantumtöbbértékű döntési diagramok kihagyott változóiról”. 2011-ben a 41. IEEE Nemzetközi Szimpózium a többszörös értékű logikáról. 164–169. oldal. IEEE (2011).
https:///doi.org/10.1109/ISMVL.2011.22

[49] Richard J Lipton, Donald J Rose és Robert Endre Tarjan. „Általános beágyazott boncolgatás”. SIAM folyóirat a numerikus elemzésről 16, 346–358 (1979).
https:///doi.org/10.5555/892164

[50] M. Van den Nest, W. Dür, G. Vidal és HJ Briegel. „Klasszikus szimuláció versus univerzalitás mérésen alapuló kvantumszámításban”. Phys. Rev. A 75, 012337 (2007).
https:///doi.org/10.1103/PhysRevA.75.012337

[51] Vít Jelínek. „A négyzetrács rangszélessége”. Discrete Applied Mathematics 158, 841–850 (2010).
https://doi.org/10.1007/978-3-540-92248-3_21

[52] Hélene Fargier, Pierre Marquis, Alexandre Niveau és Nicolas Schmidt. „Tudásösszeállító térkép rendezett valós értékű döntési diagramokhoz”. In Proceedings of the AAAI Conference on Artificial Intelligence. 28. évfolyam (2014).
https:///doi.org/10.1609/aaai.v28i1.8853

[53] Robert W Floyd. „Jelentés hozzárendelése a programokhoz”. A Programellenőrzésben. 65–81. oldal. Springer (1993).
https://doi.org/10.1007/978-94-011-1793-7_4

[54] JW De Bakker és Lambert GLT Meertens. „Az induktív állítás módszerének teljességéről”. Journal of Computer and System Sciences 11, 323–357 (1975).
https://doi.org/10.1016/S0022-0000(75)80056-0

[55] Ingo Wegener. „Elágazó programok és bináris döntési diagramok: elmélet és alkalmazások”. SZIÁM. (2000).
https:///doi.org/10.1137/1.9780898719789

[56] James McClung. „W-állapotok felépítése és alkalmazásai”. PhD értekezés. Worcesteri Politechnikai Intézet. (2020).

[57] Srinivasan Arunachalam, Sergey Bravyi, Chinmay Nirkhe és Bryan O'Gorman. „A kvantumverifikáció paraméterezett komplexitása” (2022).
https:///doi.org/10.4230/LIPIcs.TQC.2022.3

[58] Aleks Kissinger és John van de Wetering. „A T-szám csökkentése a ZX-kalculussal” (2019).
https:///doi.org/10.1103/PhysRevA.102.022406

[59] Himanshu Thapliyal, Edgard Munoz-Coreas, TSS Varun és Travis S Humble. „A T-számlálást és a T-mélységet optimalizáló egész számok osztásának kvantumáramkör-tervei”. IEEE Transactions on Emerging Topics in Computing 9, 1045–1056 (2019).
https:///doi.org/10.48550/arXiv.1809.09732

[60] Wang Jian, Zhang Quan és Tang Chao-Jing. „Kvantumbiztonságos kommunikációs séma W állapottal”. Communications in Theoretical Physics 48, 637 (2007).
https://doi.org/10.1088/0253-6102/48/4/013

[61] Wen Liu, Yong-Bin Wang és Zheng-Tao Jiang. „Egy hatékony protokoll a W állapotú egyenlőség kvantum-privát összehasonlításához”. Optics Communications 284, 3160–3163 (2011).
https:///doi.org/10.1016/j.optcom.2011.02.017

[62] Victoria Lipinska, Gláucia Murta és Stephanie Wehner. „Anonim átvitel zajos kvantumhálózatban a ${W}$ állapot használatával”. Phys. Rev. A 98, 052320 (2018).
https:///doi.org/10.1103/PhysRevA.98.052320

[63] Paul Tafertshofer és Massoud Pedram. „Tényezős élértékű bináris döntési diagramok”. Formal Methods in System Design 10, 243–270 (1997).
https:///doi.org/10.1023/A:1008691605584

[64] Meghana Sistla, Swarat Chaudhuri és Thomas Reps. „CFLOBDDs: Context-free-language ordered binary Decision diagrams” (2023). arXiv:2211.06818.
arXiv: 2211.06818

[65] Meghana Sistla, Swarat Chaudhuri és Thomas Reps. „Symbolic quantum simulation with quasimodo”. In Constantin Enea és Akash Lal, szerkesztők, Computer Aided Verification. 213–225. oldal. Cham (2023). Springer Nature Svájc.
https://doi.org/10.1007/978-3-031-37709-9_11

[66] Rajeev Alur és P. Madhusudan. „Láthatóan lenyomott nyelvek”. In Proceedings of the Thirty-Sixth Annual ACM Symposium on Theory of Computing. 202–211. oldal. STOC '04 New York, NY, USA (2004). Számítógépek Szövetsége.
https:///doi.org/10.1145/1007352.1007390

[67] Meghana Sistla, Swarat Chaudhuri és Thomas Reps. „Súlyozott kontextusmentes-nyelvi rendezett bináris döntési diagramok” (2023). arXiv:2305.13610.
arXiv: 2305.13610

[68] Adnan Darwiche. „SDD: a propozicionális tudásbázisok új kanonikus reprezentációja”. In Proceedings of the Twenty-Second international joint Conference on Artificial Intelligence-Volume Volume Second. . AAAI Press (2011).

[69] Doga Kisa, Guy Van den Broeck, Arthur Choi és Adnan Darwiche. „Valószínűségi mondatos döntési diagramok”. In Proceedings of the Tizennegyedik International Conference on Principles of Knowledge Representation and Reasoning. 558–567. oldal. KR'14. AAAI Press (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 és Masaaki Nishino. „Variable shift SDD: Egy tömörebb mondatos döntési diagram”. Simone Faro és Domenico Cantone, szerkesztők, 18. Nemzetközi Szimpózium a Kísérleti Algoritmusokról (SEA 2020). Leibniz International Proceedings in Informatics (LIPIcs) 160. kötete, 22:1–22:13. Dagstuhl, Németország (2020). Schloss Dagstuhl–Leibniz-Zentrum für Informatik.
https:///doi.org/10.4230/LIPIcs.SEA.2020.22

[71] Wolfgang Gunther és Rolf Drechsler. „A bdd-k minimalizálása evolúciós technikákon alapuló lineáris transzformációkkal”. 1999-ben az IEEE International Symposium on Circuits and Systems (ISCAS). 1. kötet, 387–390. IEEE (1999).
https:///doi.org/10.1109/ISCAS.1999.777884

[72] Barbara M. Terhal és David P. DiVincenzo. „Nem kölcsönható fermion kvantumáramkörök klasszikus szimulációja”. Phys. Rev. A 65, 032325 (2002).
https:///doi.org/10.1103/PhysRevA.65.032325

[73] Richard Jozsa és Akimasa Miyake. „Matchgates és kvantumáramkörök klasszikus szimulációja”. Proceedings: Mathematical, Physical and Engineering Sciences, 3089–3106. oldal (2008).
https:///doi.org/10.1098/rspa.2008.0189

[74] Martin Hebenstreit, Richard Jozsa, Barbara Kraus és Sergii Strelchuk. „A matchgates számítási teljesítménye kiegészítő erőforrásokkal”. Physical Review A 102, 052604 (2020).
https:///doi.org/10.1103/PhysRevA.102.052604

[75] Román Orús. „Gyakorlati bevezetés a tenzorhálózatokba: Mátrix szorzatállapotok és vetített összefonódott pár állapotok”. Annals of Physics 349, 117–158 (2014).
https:///doi.org/10.1016/j.aop.2014.06.013

[76] Bob Coecke és Ross Duncan. „Interakciós kvantummegfigyelhető anyagok: kategorikus algebra és diagrammatika”. New Journal of Physics 13, 043016 (2011).
https://doi.org/10.1007/978-3-540-70583-3_25

[77] Renaud Vilmart. „Kvantum-többértékű döntési diagramok grafikus számításokban” (2021). arXiv:2107.01186.
arXiv: 2107.01186

[78] Richard Rudell. „Dinamikus változók rendezése rendezett bináris döntési diagramokhoz”. In Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). 42–47. oldal. IEEE (1993).
https:///doi.org/10.1109/ICCAD.1993.580029

[79] Ewout van den Berg és Kristan Temme. „A Hamilton-szimuláció áramkör-optimalizálása Pauli-klaszterek egyidejű diagonalizálásával”. Quantum 4, 322 (2020).
https://doi.org/10.22331/q-2020-09-12-322

[80] Eugene M Luks, Ferenc Rákóczi, and Charles RB Wright. „Néhány algoritmus nilpotens permutációs csoportokhoz”. Journal of Symbolic Computation 23, 335–354 (1997).
https:///doi.org/10.1006/jsco.1996.0092

[81] Pavol Ďuriš, Juraj Hromkovič, Stasys Jukna, Martin Sauerhoff és Georg Schnitger. „A többpartíciós kommunikáció bonyolultságáról”. Információ és számítás 194, 49–75 (2004).
https:///doi.org/10.1016/j.ic.2004.05.002

[82] Hector J. Garcia, Igor L. Markov és Andrew W. Cross. „Hatékony belső termék algoritmus stabilizátor állapotokhoz” (2012). arXiv:1210.6646.
arXiv: 1210.6646

[83] „Stabranksearcher: kód egy kvantumállapot stabilizátor rangjának (felső határának) megtalálásához”. https:///github.com/timcp/StabRankSearcher (2021).
https:///github.com/timcp/StabRankSearcher

[84] Padraic Calpin. „A kvantumszámítás feltárása a klasszikus szimuláció lencséjén keresztül”. PhD értekezés. UCL (University College London). (2020).
https:///doi.org/10.5555/AAI28131047

Idézi

[1] Dimitrios Thanos, Tim Coopmans és Alfons Laarman, „Fast equivalence checking of quantum circuits of Clifford gates”, arXiv: 2308.01206, (2023).

[2] Robert Wille, Stefan Hillmich és Lukas Burgholzer, „Eszközök a kvantumszámításhoz döntési diagramokon alapulva”, arXiv: 2108.07027, (2021).

A fenti idézetek innen származnak SAO/NASA HIRDETÉSEK (utolsó sikeres frissítés: 2023-09-12 14:57:20). Előfordulhat, hogy a lista hiányos, mivel nem minden kiadó ad megfelelő és teljes hivatkozási adatokat.

On Crossref által idézett szolgáltatás művekre hivatkozó adat nem található (utolsó próbálkozás 2023-09-12 14:57:15).

Ez a tanulmány a Quantumban jelent meg Creative Commons Nevezd meg 4.0 International (CC BY 4.0) engedély. A szerzői jog az eredeti szerzői jog tulajdonosainál marad, például a szerzőknél vagy intézményeiknél.

SEO által támogatott tartalom és PR terjesztés. Erősödjön még ma.
PlatoData.Network Vertical Generative Ai. Erősítse meg magát. Hozzáférés itt.
PlatoAiStream. Web3 Intelligence. Felerősített tudás. Hozzáférés itt.
PlatoESG. Autóipar / elektromos járművek, Carbon, CleanTech, Energia, Környezet, Nap, Hulladékgazdálkodás. Hozzáférés itt.
PlatoHealth. Biotechnológiai és klinikai vizsgálatok intelligencia. Hozzáférés itt.
ChartPrime. Emelje fel kereskedési játékát a ChartPrime segítségével. Hozzáférés itt.
BlockOffsets. A környezetvédelmi ellentételezési tulajdon korszerűsítése. Hozzáférés itt.
Forrás: https://quantum-journal.org/papers/q-2023-09-11-1108/

Időbélyeg: 11. szeptember 2023.

Időbélyeg: 11. január 2024.

LIMDD: Döntési diagram a kvantumszámítás szimulációjához, beleértve a stabilizáló állapotokat

Újra kiadta Platón

Absztrakt

Népszerű összefoglaló

► BibTeX adatok

► Referenciák

Idézi

Még több Quantum Journal

Termikus megfigyelések robusztus kinyerése állapotmintavételből és valós idejű dinamikából kvantumszámítógépeken

Kvantumszimuláció just-in-time fordítással

Időbeli menetelésen alapuló kvantummegoldók időfüggő lineáris differenciálegyenletekhez

Az összefonódás monogámia játéka a szubtér koset állapotaihoz

Abstraqt: Kvantumáramkörök elemzése absztrakt stabilizátor szimulációval

Az utólag kiválasztott kvantumállapotok teleportálása

Impulzus alapú Variational Quantum Optimal Control hibrid kvantumszámításhoz

Mérési zavarok és megmaradási törvények a kvantummechanikában

Gyors kvantummegközelítések a kombinatorikus optimalizáláshoz az optimális állapotátvitel által

A kvantumtámogató vektorgépek összetettsége

Rólunk

Vertical Search & Ai

Emelvény

Maradjon kapcsolatban

Fiók