LIMDD: otsustusskeem kvantarvutite simuleerimiseks, sealhulgas stabilisaatorite olekud

Taasavaldanud Platon

järgijaid: 0

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

¹Leideni ülikool, Holland
²Delfti Tehnikaülikool, Holland
³Võrguühendusega kvantseadmete üksus, Okinawa teaduse ja tehnoloogia instituudi magistriülikool, Okinawa, Jaapan

Kas see artikkel on huvitav või soovite arutada? Scite või jätke SciRate'i kommentaar.

Abstraktne

Tõhusad meetodid kvantolekute ja kvantoperatsioonide kujutamiseks ja simuleerimiseks on kvantahelate optimeerimisel üliolulised. Otsustusdiagrammid (DD-d), hästi uuritud andmestruktuur, mida algselt kasutati Boole'i funktsioonide esindamiseks, on osutunud võimeliseks kvantsüsteemide asjakohaseid aspekte tabama, kuid nende piire ei mõisteta hästi. Selles töös uurime ja ületame lõhe olemasolevate DD-põhiste struktuuride ja stabilisaatori formalismi vahel, mis on oluline tööriist kvantahelate simuleerimiseks jälgitavas režiimis. Esmalt näitame, et kuigi DD-del soovitati lühidalt esitada olulisi kvantolekuid, vajavad nad teatud stabilisaatori olekute jaoks eksponentsiaalset ruumi. Selle parandamiseks tutvustame võimsamat otsustusdiagrammi varianti, mida nimetatakse Local Invertible Map-DD (LIMDD). Tõestame, et mitme suurusega LIMDD-dega esindatud kvantolekute komplekt sisaldab rangelt stabilisaatori olekute ühendust ja muid otsustusdiagrammi variante. Lõpuks on olemas vooluringid, mida LIMDD-d saavad tõhusalt simuleerida, samas kui nende väljundolekuid ei saa lühidalt kujutada kahe nüüdisaegse simulatsiooniparadigma abil: stabilisaatori lagunemise tehnikad Clifford + $T$ ahelate ja maatriksi tooteolekute jaoks. Ühendades kaks edukat lähenemisviisi, sillutavad LIMDD-d seega teed põhimõtteliselt võimsamatele lahendustele kvantarvutuse simuleerimiseks ja analüüsimiseks.

LIMDD: otsustusskeem kvantandmetöötluse simuleerimiseks, sealhulgas stabilisaatorite olekute PlatoBlockchain andmeanalüüs. Vertikaalne otsing. Ai.

Esiletõstetud pilt: vasakul: Venni diagramm kvantolekute komplektist, mida tõhusalt esindavad LIMDD-d ja mitmed muud formalismid. Paremal: näide LIMDD-st, mis esindab kompaktselt 3 $-kubitist kvantolekut.

Populaarne kokkuvõte

Kvantahela klassikaline simulatsioon on arvutuslikult keeruline ülesanne. Arusaadavalt kasvavad mälunõuded kvantoleku kirjelduse salvestamiseks $2^n$ $n$-kubitise vooluringi puhul. Otsustusdiagrammid käsitlevad seda probleemi, pakkudes kvantseisundi tihendatud esitust. Kuid DD-põhiste meetodite piire ei mõistetud hästi. Selles töös uurime ja ületame lõhe olemasolevate DD-põhiste struktuuride ja stabilisaatori formalismi vahel, mis on veel üks oluline tööriist kvantahelate simuleerimiseks. Esmalt näitame, et kuigi DD-del soovitati lühidalt olulisi kvantolekuid esindada, vajavad nad teatud stabilisaatori olekute jaoks tegelikult eksponentsiaalset ruumi. Selle parandamiseks tutvustame võimsamat otsustusdiagrammi varianti, mida nimetatakse Local Invertible Map-DD (LIMDD). Tõestame, et on olemas kvantahelaid, mida saab tõhusalt analüüsida LIMDD-de abil, kuid mitte olemasolevate DD-põhiste meetodite, stabilisaatorite lagunemismeetodite ega maatriksiproduktide olekutega. Kasutades nii DD kui ka stabilisaatori formalismi tugevaid külgi rangelt kokkuvõtlikumas andmestruktuuris, sillutavad LIMDD-d teed kvantarvutuse põhimõtteliselt võimsamale simulatsioonile ja analüüsile.

► BibTeX-i andmed

@artikkel{Vinkhuijzen2023limdddecision, doi = {10.22331/q-2023-09-11-1108}, url = {https://doi.org/10.22331/q-2023-09-11-1108}, pealkiri = {{LIMDD }: {A} {D}otsus {D}diagramm {Q}kvant-{C}arvutuse {S}imuleerimiseks {I}, sealhulgas {S}tabilisaator {S}olekud}, autor = {Vinkhuijzen, Lieuwe ja Coopmans, Tim ja Elkouss, David ja Dunjko, Vedran ja Laarman, Alfons}, ajakiri = {{Quantum}}, issn = {2521-327X}, väljaandja = {{Verein zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, maht = {7}, lehekülge = {1108}, kuu = september, aasta = {2023} }

► Viited

[1] Alwin Zulehner ja Robert Wille. "Pöördahelate ühekäiguline disain: manustamise ja sünteesi ühendamine pööratava loogika jaoks". 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 ja Robert Wille. "Täiustatud DD-põhine kvantahelate samaväärsuse kontroll". 2020. aastal toimub 25. Aasia ja Vaikse ookeani lõunaosa projekteerimise automatiseerimise konverents (ASP-DAC). Lk 127–132. IEEE (2020).
https:///doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] Lukas Burgholzer, Richard Kueng ja Robert Wille. "Juhuslik stiimulite genereerimine kvantahelate kontrollimiseks". 26. Aasia ja Vaikse ookeani lõunaosa projekteerimisautomaatika konverentsi toimetistes. Lk 767–772. (2021).
https:///doi.org/10.1145/3394885.3431590

[4] Lukas Burgholzer ja Robert Wille. "Kvantahelate täiustatud samaväärsuse kontrollimine". 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. "Kvantarvutus NISQ ajastul ja pärast seda". Quantum 2, 79 (2018).
https:///doi.org/10.48550/arXiv.1801.00862

[6] Daniel Gottesman. "Kvantarvutite Heisenbergi esitus" (1998). url: arxiv.org/abs/quant-ph/9807006.
arXiv:quant-ph/9807006

[7] Scott Aaronson ja Daniel Gottesman. "Stabilisaatoriahelate täiustatud simulatsioon". Physical Review A 70 (2004).
https:///doi.org/10.1103/physreva.70.052328

[8] Daniel Gottesman. "Stabilisaatorikoodid ja kvantveaparandus". Doktoritöö. California Tehnoloogiainstituut. (1997).
https:///doi.org/10.48550/arXiv.quant-ph/9705052
arXiv:quant-ph/9705052

[9] Maarten Van den Nest, Jeroen Dehaene ja Bart De Moor. "Stabilisaatori olekute kohalik unitaar versus kohalik Cliffordi ekvivalents". Phys. Rev. A 71, 062323 (2005).
https:///doi.org/10.1103/PhysRevA.71.062323

[10] Matthias Englbrecht ja Barbara Kraus. "Sümmeetriad ja stabilisaatori olekute põimumine". Phys. Rev. A 101, 062302 (2020).
https:///doi.org/10.1103/PhysRevA.101.062302

[11] Robert Raussendorf ja Hans J. Briegel. "Ühesuunaline kvantarvuti". Phys. Rev. Lett. 86, 5188–5191 (2001).
https:///doi.org/10.1103/PhysRevLett.86.5188

[12] Sergey Bravyi, Graeme Smith ja John A. Smolin. "Kauplemine klassikaliste ja kvantarvutusressurssidega". Phys. Rev. X 6, 021043 (2016).
https:///doi.org/10.1103/PhysRevX.6.021043

[13] Sergey Bravyi ja David Gosset. "Cliffordi väravate domineerivate kvantahelate täiustatud klassikaline simulatsioon". 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 ja Mark Howard. "Kvantahelate simuleerimine madala astme stabilisaatori lagunemisega". Quantum 3, 181 (2019).
https://doi.org/10.22331/q-2019-09-02-181

[15] Yifei Huang ja Peter Love. "Ligikaudne stabilisaatori aste ja täiustatud nõrk simulatsioon Cliffordi domineeritud vooluahelate jaoks". Phys. Rev. A 99, 052307 (2019).
https:///doi.org/10.1103/PhysRevA.99.052307

[16] Lucas Kocia ja Peter Love. Statsionaarse faasi meetod diskreetsetes Wigner-funktsioonides ja kvantahelate klassikaline simulatsioon. Quantum 5, 494 (2021).
https://doi.org/10.22331/q-2021-07-05-494

[17] Lucas Kocia ja Mohan Sarovar. "Kvantahelate klassikaline simulatsioon, kasutades vähem Gaussi eliminatsioone". Füüsiline ülevaade A 103, 022603 (2021).
https:///doi.org/10.1103/PhysRevA.103.022603

[18] Sheldon B. Akers. "Binaarsed otsustusdiagrammid". IEEE Computer Architecture Letters 27, 509–516 (1978).
https:///doi.org/10.1109/TC.1978.1675141

[19] Randal E. Bryant. "Graafipõhised algoritmid Boole'i funktsioonide manipuleerimiseks". IEEE Trans. Computers 35, 677–691 (1986).
https:///doi.org/10.1109/TC.1986.1676819

[20] Randal E Bryant ja Yirng-An Chen. “Aritmeetiliste ahelate kontrollimine binaarmomendi diagrammidega”. 32. disainiautomaatika konverentsil. Lk 535–541. IEEE (1995).
https:///doi.org/10.1109/DAC.1995.250005

[21] GF Viamontes, IL Markov ja JP Hayes. "Kvantahelate suure jõudlusega QuIDD-põhine simulatsioon". Proceedings Design, Automation and Test in Europe konverents ja näitus. 2. köide, lk 1354–1355 2. köide. (2004).
https:///doi.org/10.1109/DATE.2004.1269084

[22] RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E. Macii, A. Pardo ja F. Somenzi. "Algebralised otsustusskeemid ja nende rakendused". In Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). Lk 188–191. (1993).
https:///doi.org/10.1109/ICCAD.1993.580054

[23] George F Viamontes, Igor L Markov ja John P Hayes. "Kvantahelate väravataseme simulatsiooni täiustamine". Quantum Information Processing 2, 347–380 (2003).
https:///doi.org/10.1023/B:QINP.0000022725.70000.4a

[24] Masahiro Fujita, Patrick C. McGeer ja JC-Y Yang. "Mitme terminali binaarsed otsustusskeemid: tõhus andmestruktuur maatriksesituseks". Formaalsed meetodid süsteemikujunduses 10, 149–169 (1997).
https:///doi.org/10.1023/A:1008647823331

[25] EM Clarke, KL McMillan, X Zhao, M. Fujita ja J. Yang. "Spektraalteisendused suurte tõeväärtusfunktsioonide jaoks tehnoloogia kaardistamise rakendustega". 30. rahvusvahelise disainiautomaatika konverentsi toimetistes. Lk 54–60. DAC '93 New York, NY, USA (1993). Arvutusmasinate Ühing.
https:///doi.org/10.1145/157485.164569

[26] Scott Sanner ja David McAllester. "Afiinsed algebralised otsustusdiagrammid (AADD) ja nende rakendamine struktureeritud tõenäosuslikuks järelduseks". 19. rahvusvahelise tehisintellekti ühiskonverentsi kogumikus. Lk 1384–1390. IJCAI'05San Francisco, CA, USA (2005). Morgan Kaufmann Publishers Inc. URL: www.ijcai.org/Proceedings/05/Papers/1439.pdf.
https:///www.ijcai.org/Proceedings/05/Papers/1439.pdf

[27] D Michael Miller ja Mitchell A Thornton. QMDD: Pöörd- ja kvantahelate otsustusskeemide struktuur. 36. rahvusvahelisel mitmeväärtusliku loogika sümpoosionil (ISMVL'06). Lk 30–30. IEEE (2006).
https:///doi.org/10.1109/ISMVL.2006.35

[28] Alwin Zulehner ja Robert Wille. "Kvantarvutuste täiustatud simulatsioon". 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 ja Mingsheng Ying. "Tensorvõrgupõhine otsustusskeem kvantahelate kujutamiseks". ACM Trans. Des. Autom. elektron. Syst. 27 (2022).
https:///doi.org/10.1145/3514355

[30] Stefan Hillmich, Richard Kueng, Igor L. Markov ja Robert Wille. "Nii täpne kui vaja, nii tõhus kui võimalik: lähendused DD-põhises kvantahela simulatsioonis". In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, Prantsusmaa, 1.–5. veebruar 2021. Leheküljed 188–193. IEEE (2021).
https:///doi.org/10.23919/DATE51398.2021.9474034

[31] George F Viamontes, Igor L Markov ja John P Hayes. "Kvantahela simulatsioon". Springeri teadus- ja ärimeedia. (2009).
https://doi.org/10.1007/978-90-481-3065-8

[32] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou ja Sanjiang Li. "Mürarikaste kvantahelate ligikaudne samaväärsuse kontroll". 2021. aastal toimub 58. ACM/IEEE disainiautomaatika konverents (DAC). Lk 637–642. (2021).
https:///doi.org/10.1109/DAC18074.2021.9586214

[33] Hans J. Briegel ja Robert Raussendorf. "Püsiv takerdumine interakteeruvate osakeste massiividesse". Phys. Rev. Lett. 86, 910–913 (2001).
https:///doi.org/10.1103/PhysRevLett.86.910

[34] Wolfgang Dür, Guifre Vidal ja J Ignacio Cirac. "Kolme kubitti saab põimida kahel võrdväärsel viisil." 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 ja Andreas Winter. "Kõik, mida olete alati LOCC kohta teada tahtnud (aga kartnud küsida)". Kommunikatsioonid matemaatilises füüsikas 328, 303–326 (2014).
https:///doi.org/10.48550/arXiv.1210.4583

[36] Steven R White. "Tihedusmaatriksi formulatsioon kvantrenormaliseerimisrühmade jaoks". Physical Review letters 69, 2863 (1992).
https:///doi.org/10.1103/PhysRevLett.69.2863

[37] D. Perez-Garcia, F. Verstraete, MM Wolf ja JI Cirac. "Maatriksi toote oleku esitused". Quantum Information & Computation 7, 401–430 (2007).
https:///doi.org/10.48550/arXiv.2011.12127

[38] Guifré Vidal. "Veidi segatud kvantarvutuste tõhus klassikaline simulatsioon". Physical Review letters 91, 147902 (2003).
https:///doi.org/10.48550/arXiv.quant-ph/0301063
arXiv:quant-ph/0301063

[39] Adnan Darwiche ja Pierre Marquis. "Teadmiste kogumise kaart". Journal of Artificial Intelligence Research 17, 229–264 (2002).
https:///doi.org/10.5555/1622810.1622817

[40] Karl S Brace, Richard L Rudell ja Randal E Bryant. "BDD paketi tõhus rakendamine". 27. ACM/IEEE disainiautomaatika konverentsi toimetistes. Lk 40–45. (1991).
https:///doi.org/10.1145/123186.123222

[41] Donald Ervin Knuth. “Arvutiprogrammeerimise kunst. köide 4, side 1”. Addison-Wesley. (2005).
https://doi.org/10.1090/s0002-9904-1973-13173-8

[42] Fabio Somenzi. "Otsustusskeemide tõhus manipuleerimine". International Journal on Software Tools for Technology Transfer 3, 171–181 (2001).
https:///doi.org/10.1007/s100090100042

[43] Koenraad MR Audenaert ja Martin B Plenio. "Põimumine segatud stabilisaatori olekutes: normaalvormid ja redutseerimisprotseduurid". 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 ja HJ Briegel. "Põimumine graafiku olekutes ja selle rakendused". In Proceedings of the International School of Physics “Enrico Fermi”. Köide 162. köide: kvantarvutid, algoritmid ja kaos. IOS Press (2006).
https://doi.org/10.3254/978-1-61499-018-5-115

[45] Scott Aaronson. "Mitmeliinilised valemid ja kvantarvutite skeptitsism". ACM-i kolmekümne kuuenda aastaarvutusteooria sümpoosioni toimetistes. Lk 118–127. STOC '04New York, NY, USA (2004). Arvutusmasinate Ühing.
https:///doi.org/10.1145/1007352.1007378

[46] Sergei Bravyi ja Aleksei Kitaev. "Universaalne kvantarvutus ideaalsete Cliffordi väravate ja mürarikaste lisaseadmetega". Phys. Rev. A 71, 022316 (2005).
https:///doi.org/10.1103/PhysRevA.71.022316

[47] Charles H Bennett, Herbert J Bernstein, Sandu Popescu ja Benjamin Schumacher. "Osalise takerdumise koondamine kohalike operatsioonide abil". Physical Review A 53, 2046 (1996).
https:///doi.org/10.48550/arXiv.quant-ph/9511030
arXiv:quant-ph/9511030

[48] David Y Feinstein ja Mitchell A Thornton. "Kvant-mitmeväärtuslike otsustusdiagrammide vahelejäetud muutujatest". 2011. aastal 41. IEEE rahvusvaheline mitmeväärtusliku loogika sümpoosion. Lk 164–169. IEEE (2011).
https:///doi.org/10.1109/ISMVL.2011.22

[49] Richard J Lipton, Donald J Rose ja Robert Endre Tarjan. "Üldine pesastatud dissektsioon". SIAM ajakiri numbrilise analüüsi kohta 16, 346–358 (1979).
https:///doi.org/10.5555/892164

[50] M. Van den Nest, W. Dür, G. Vidal ja HJ Briegel. "Klassikaline simulatsioon versus universaalsus mõõtmispõhises kvantarvutuses". Phys. Rev. A 75, 012337 (2007).
https:///doi.org/10.1103/PhysRevA.75.012337

[51] Vít Jelínek. "Ruutruudustiku järjestus-laius". Diskreetne rakendusmatemaatika 158, 841–850 (2010).
https://doi.org/10.1007/978-3-540-92248-3_21

[52] Hélene Fargier, Pierre Marquis, Alexandre Niveau ja Nicolas Schmidt. “Teadmiste koostamise kaart tellitud reaalväärtuslike otsustusskeemide jaoks”. AAAI tehisintellekti konverentsi toimetistes. 28. köide (2014).
https:///doi.org/10.1609/aaai.v28i1.8853

[53] Robert W Floyd. "Tähenduste omistamine programmidele". Programmi kinnitamises. Lk 65–81. Springer (1993).
https://doi.org/10.1007/978-94-011-1793-7_4

[54] JW De Bakker ja Lambert GLT Meertens. "Induktiivse väite meetodi täielikkuse kohta". Journal of Computer and System Sciences 11, 323–357 (1975).
https://doi.org/10.1016/S0022-0000(75)80056-0

[55] Ingo Wegener. "Hargnemisprogrammid ja binaarsed otsustusskeemid: teooria ja rakendused". SIAM. (2000).
https:///doi.org/10.1137/1.9780898719789

[56] James McClung. “W-olekute konstruktsioonid ja rakendused”. Doktoritöö. Worcesteri Polütehniline Instituut. (2020).

[57] Srinivasan Arunachalam, Sergey Bravyi, Chinmay Nirkhe ja Bryan O'Gorman. "Kvantverifitseerimise parameetritega keerukus" (2022).
https:///doi.org/10.4230/LIPIcs.TQC.2022.3

[58] Aleks Kissinger ja John van de Wetering. "T-arvu vähendamine ZX-arvutiga" (2019).
https:///doi.org/10.1103/PhysRevA.102.022406

[59] Himanshu Thapliyal, Edgard Munoz-Coreas, TSS Varun ja Travis S Humble. "Täisarvude jagamise kvantahela kujundused, mis optimeerivad T-arvu ja T-sügavust". IEEE Transactions on Emerging Topics in Computing 9, 1045–1056 (2019).
https:///doi.org/10.48550/arXiv.1809.09732

[60] Wang Jian, Zhang Quan ja Tang Chao-Jing. "Kvantturvaline sideskeem W olekuga". Kommunikatsioonid teoreetilises füüsikas 48, 637 (2007).
https://doi.org/10.1088/0253-6102/48/4/013

[61] Wen Liu, Yong-Bin Wang ja Zheng-Tao Jiang. "Tõhus protokoll võrdsuse kvantprivaatseks võrdlemiseks W olekuga". Optics Communications 284, 3160–3163 (2011).
https:///doi.org/10.1016/j.optcom.2011.02.017

[62] Victoria Lipinska, Gláucia Murta ja Stephanie Wehner. "Anonüümne edastamine mürarikkas kvantvõrgus, kasutades olekut ${W}$". Phys. Rev. A 98, 052320 (2018).
https:///doi.org/10.1103/PhysRevA.98.052320

[63] Paul Tafertshofer ja Massoud Pedram. "Faktoreeritud servaväärtusega binaarsed otsustusdiagrammid". Formal Methods in System Design 10, 243–270 (1997).
https:///doi.org/10.1023/A:1008691605584

[64] Meghana Sistla, Swarat Chaudhuri ja Thomas Reps. „CFLOBDD-d: kontekstivaba keele järjestatud binaarsed otsustusskeemid” (2023). arXiv:2211.06818.
arXiv: 2211.06818

[65] Meghana Sistla, Swarat Chaudhuri ja Thomas Reps „Sümboliline kvantsimulatsioon kvasimodoga”. Constantin Enea ja Akash Lal, toimetajad, Computer Aided Verification. Lk 213–225. Cham (2023). Springer Nature Šveits.
https://doi.org/10.1007/978-3-031-37709-9_11

[66] Rajeev Alur ja P. Madhusudan. "Nähtavalt alla surutud keeled". ACM-i kolmekümne kuuenda aastaarvutusteooria sümpoosioni toimetistes. Lk 202–211. STOC '04New York, NY, USA (2004). Arvutusmasinate Ühing.
https:///doi.org/10.1145/1007352.1007390

[67] Meghana Sistla, Swarat Chaudhuri ja Thomas Reps. „Kaalutud kontekstivaba keele järjestusega binaarsed otsustusdiagrammid” (2023). arXiv:2305.13610.
arXiv: 2305.13610

[68] Adnan Darwiche. "SDD: propositsiooniliste teadmistebaaside uus kanooniline esitus". Teoses Proceedings of the Twenty-Second international ühis Conference on Artificial Intelligence-Volume Volume Two. . AAAI Press (2011).

[69] Doga Kisa, Guy Van den Broeck, Arthur Choi ja Adnan Darwiche. "Tõenäosuslikud lauseotsuste diagrammid". Teadmiste esitamise ja arutlemise põhimõtete neljateistkümnenda rahvusvahelise konverentsi toimetistes. Lk 558–567. 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 ja Masaaki Nishino. "Muutuva nihkega SDD: täpsem lauseotsuse diagramm". Simone Faro ja Domenico Cantone, toimetajad, 18th International Symposium on Experimental Algorithms (SEA 2020). Leibniz International Proceedings in Informatics (LIPIcs) 160. köide, lk 22:1–22:13. Dagstuhl, Saksamaa (2020). Schloss Dagstuhl–Leibniz-Zentrum für Informatik.
https:///doi.org/10.4230/LIPIcs.SEA.2020.22

[71] Wolfgang Gunther ja Rolf Drechsler. "Bdd-de minimeerimine evolutsioonilistel tehnikatel põhinevate lineaarsete teisenduste abil". 1999. aastal toimus IEEE rahvusvaheline vooluringide ja süsteemide sümpoosion (ISCAS). 1. köide, lk 387–390. IEEE (1999).
https:///doi.org/10.1109/ISCAS.1999.777884

[72] Barbara M. Terhal ja David P. DiVincenzo. "Mitteinterakteeruvate fermionide kvantahelate klassikaline simulatsioon". Phys. Rev. A 65, 032325 (2002).
https:///doi.org/10.1103/PhysRevA.65.032325

[73] Richard Jozsa ja Akimasa Miyake. "Matchgates ja kvantahelate klassikaline simulatsioon". Toimetised: Mathematical, Physical and Engineering Sciences, lk 3089–3106 (2008).
https:///doi.org/10.1098/rspa.2008.0189

[74] Martin Hebenstreit, Richard Jozsa, Barbara Kraus ja Sergii Strelchuk. "Täiendavate ressurssidega matchgate'ide arvutusvõimsus". Füüsiline ülevaade A 102, 052604 (2020).
https:///doi.org/10.1103/PhysRevA.102.052604

[75] Román Orús. "Praktiline sissejuhatus tensorvõrkudesse: maatriksi toote olekud ja kavandatud takerdunud paari olekud". Annals of Physics 349, 117–158 (2014).
https:///doi.org/10.1016/j.aop.2014.06.013

[76] Bob Coecke ja Ross Duncan. "Interacting quantum observables: kategooriline algebra ja diagramm". New Journal of Physics 13, 043016 (2011).
https://doi.org/10.1007/978-3-540-70583-3_25

[77] Renaud Vilmart. “Kvant-mitmeväärtuslikud otsustusdiagrammid graafilistes arvutustes” (2021). arXiv:2107.01186.
arXiv: 2107.01186

[78] Richard Rudell. "Dünaamiliste muutujate järjestamine järjestatud binaarsete otsustusdiagrammide jaoks". In Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). Lk 42–47. IEEE (1993).
https:///doi.org/10.1109/ICCAD.1993.580029

[79] Ewout van den Berg ja Kristan Temme. "Hamiltoni simulatsiooni vooluringi optimeerimine Pauli klastrite samaaegse diagonaliseerimisega". Quantum 4, 322 (2020).
https://doi.org/10.22331/q-2020-09-12-322

[80] Eugene M Luks, Ferenc Rákóczi ja Charles RB Wright. "Mõned algoritmid nilpotentsetele permutatsioonirühmadele". 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 ja Georg Schnitger. "Mitme partitsiooniga suhtluse keerukuse kohta". Teave ja arvutus 194, 49–75 (2004).
https:///doi.org/10.1016/j.ic.2004.05.002

[82] Hector J. Garcia, Igor L. Markov ja Andrew W. Cross. "Tõhus tootesisene algoritm stabilisaatori olekute jaoks" (2012). arXiv: 1210.6646.
arXiv: 1210.6646

[83] "Stabranksearcher: kood kvantoleku stabilisaatori astme leidmiseks (ülemine piir). https:///github.com/timcp/StabRankSearcher (2021).
https:///github.com/timcp/StabRankSearcher

[84] Padraic Calpin. "Kvantarvutuse uurimine klassikalise simulatsiooni objektiivi kaudu". Doktoritöö. UCL (Londoni Ülikooli kolledž). (2020).
https:///doi.org/10.5555/AAI28131047

Viidatud

[1] Dimitrios Thanos, Tim Coopmans ja Alfons Laarman, "Cliffordi väravate kvantahelate kiire samaväärsuse kontroll", arXiv: 2308.01206, (2023).

[2] Robert Wille, Stefan Hillmich ja Lukas Burgholzer, “Tools for Quantum Computing Based on Decision Diagrams”, arXiv: 2108.07027, (2021).

Ülaltoodud tsitaadid on pärit SAO/NASA KUULUTUSED (viimati edukalt värskendatud 2023-09-12 14:57:20). Loend võib olla puudulik, kuna mitte kõik väljaandjad ei esita sobivaid ja täielikke viiteandmeid.

On Crossrefi viidatud teenus teoste viitamise andmeid ei leitud (viimane katse 2023-09-12 14:57:15).

See raamat on avaldatud Quantum all Creative Commons Attribution 4.0 International (CC BY 4.0) litsents. Autoriõigus jääb algsetele autoriõiguste valdajatele, näiteks autoritele või nende institutsioonidele.

SEO-põhise sisu ja PR-levi. Võimenduge juba täna.
PlatoData.Network Vertikaalne generatiivne Ai. Jõustage ennast. Juurdepääs siia.
PlatoAiStream. Web3 luure. Täiustatud teadmised. Juurdepääs siia.
PlatoESG. Autod/elektrisõidukid, Süsinik, CleanTech, Energia, Keskkond päikeseenergia, Jäätmekäitluse. Juurdepääs siia.
PlatoTervis. Biotehnoloogia ja kliiniliste uuringute luureandmed. Juurdepääs siia.
ChartPrime. Tõsta oma kauplemismängu ChartPrime'iga kõrgemale. Juurdepääs siia.
BlockOffsets. Keskkonnakompensatsiooni omandi ajakohastamine. Juurdepääs siia.
Allikas: https://quantum-journal.org/papers/q-2023-09-11-1108/

Ajatempel: September 11, 2023

Ajatempel: Jan 11, 2024

LIMDD: otsustusskeem kvantarvutite simuleerimiseks, sealhulgas stabilisaatorite olekud

Taasavaldanud Platon

Abstraktne

Populaarne kokkuvõte

► BibTeX-i andmed

► Viited

Viidatud

Veel alates Quantum Journal

Termiliste vaatluste tugev ekstraheerimine oleku proovivõtust ja kvantarvutite reaalajas dünaamikast

Kvantsimulatsioon koos õigeaegse kompileerimisega

Ajamarssipõhised kvantlahendajad ajast sõltuvate lineaarsete diferentsiaalvõrrandite jaoks

Põimumismonogaamia mäng alamruumi olekute jaoks

Abstraqt: kvantahelate analüüs abstraktse stabilisaatori simulatsiooni abil

Järelvalitud kvantolekute teleportatsioon

Impulsipõhine variatsioonikvantide optimaalne juhtimine hübriidkvantarvutite jaoks

Mõõtmishäiringute ja jäävuse seadused kvantmehaanikas

Optimaalsest olekuülekandest inspireeritud kiired kvantmeetodid kombinatoorseks optimeerimiseks

Kvanttoetusvektori masinate keerukus

Meist

Vertikaalne otsing ja Ai

Platvorm

Püsi ühenduses

konto