LIMDD: een beslissingsdiagram voor de simulatie van kwantumcomputers, inclusief stabilisatortoestanden

Heruitgegeven door Plato

volgers: 0

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

¹Universiteit Leiden, Nederland
²Technische Universiteit Delft, Nederland
³Eenheid voor netwerkkwantumapparaten, Okinawa Institute of Science and Technology Graduate University, Okinawa, Japan

Vind je dit artikel interessant of wil je het bespreken? Scite of laat een reactie achter op SciRate.

Abstract

Efficiënte methoden voor de representatie en simulatie van kwantumtoestanden en kwantumoperaties zijn cruciaal voor de optimalisatie van kwantumcircuits. Beslissingsdiagrammen (DD's), een goed bestudeerde datastructuur die oorspronkelijk werd gebruikt om Booleaanse functies weer te geven, hebben bewezen in staat te zijn relevante aspecten van kwantumsystemen vast te leggen, maar hun grenzen worden niet goed begrepen. In dit werk onderzoeken en overbruggen we de kloof tussen bestaande op DD gebaseerde structuren en het stabilisatorformalisme, een belangrijk hulpmiddel voor het simuleren van kwantumcircuits in het handelbare regime. We laten eerst zien dat hoewel werd gesuggereerd dat DD's op beknopte wijze belangrijke kwantumtoestanden vertegenwoordigen, ze feitelijk exponentiële ruimte nodig hebben voor bepaalde stabilisatortoestanden. Om dit te verhelpen introduceren we een krachtigere beslissingsdiagramvariant, genaamd Local Invertible Map-DD (LIMDD). We bewijzen dat de reeks kwantumtoestanden die worden vertegenwoordigd door LIMDD's van polygrootte strikt de unie van stabilisatortoestanden en andere varianten van beslissingsdiagrammen omvat. Ten slotte bestaan er circuits die LIMDD's efficiënt kunnen simuleren, terwijl hun uitgangstoestanden niet beknopt kunnen worden weergegeven door twee ultramoderne simulatieparadigma's: de stabilisatordecompositietechnieken voor Clifford + $T$-circuits en Matrix-Product States. Door twee succesvolle benaderingen te verenigen, maken LIMDD's dus de weg vrij voor fundamenteel krachtigere oplossingen voor simulatie en analyse van kwantumcomputers.

LIMDD: een beslissingsdiagram voor de simulatie van kwantumcomputing, inclusief stabilisatortoestanden PlatoBlockchain Data Intelligence. Verticaal zoeken. Ai.

Uitgelichte afbeelding: Links: Venn-diagram van de reeks kwantumtoestanden die efficiënt worden weergegeven door LIMDD's en verschillende andere formalismen. Rechts: een voorbeeld van een LIMDD, die compact een kwantumstatus van $3$-qubit vertegenwoordigt.

Populaire samenvatting

Klassieke simulatie van een kwantumcircuit is een computationeel moeilijke taak. In een eenvoudige benadering groeien de geheugenvereisten voor het opslaan van een beschrijving van een kwantumtoestand met $2^n$ voor een $n$-qubit-circuit. Beslissingsdiagrammen pakken dit probleem aan door een gecomprimeerde weergave van een kwantumtoestand te bieden. De grenzen van op DD gebaseerde methoden werden echter niet goed begrepen. In dit werk onderzoeken en overbruggen we de kloof tussen bestaande op DD gebaseerde structuren en het stabilisatorformalisme, een ander belangrijk hulpmiddel voor het simuleren van kwantumcircuits. We laten eerst zien dat hoewel werd gesuggereerd dat DD's op beknopte wijze belangrijke kwantumtoestanden vertegenwoordigen, ze feitelijk exponentiële ruimte nodig hebben voor bepaalde stabilisatortoestanden. Om dit te verhelpen introduceren we een krachtigere beslissingsdiagramvariant, genaamd Local Invertible Map-DD (LIMDD). We bewijzen dat er kwantumcircuits zijn die efficiënt kunnen worden geanalyseerd door LIMDD's, maar niet door bestaande op DD gebaseerde methoden, noch door stabilisatorontledingstechnieken, noch door matrixproducttoestanden. Door de sterke punten van zowel DD als het stabilisatorformalisme te benutten in een strikt beknoptere datastructuur, maken LIMDD's dus de weg vrij voor een fundamenteel krachtigere simulatie en analyse van kwantumcomputers.

► BibTeX-gegevens

@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}beslissing {D}diagram voor {S}imulatie van {Q}uantum {C}omputing {I}inclusief {S}tabilizer {S}tates}, auteur = {Vinkhuijzen, Lieuwe en Coopmans, Tim en Elkouss, David en Dunjko, Vedran en Laarman, Alfons}, journal = {{Quantum}}, issn = {2521-327X}, uitgever = {{Verein zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, jaargang = {7}, pagina's = {1108}, maand = sep, jaar = {2023} }

► Referenties

[1] Alwin Zulehner en Robert Wille. "One-pass-ontwerp van omkeerbare circuits: combinatie van inbedding en synthese voor omkeerbare logica". IEEE-transacties over computerondersteund ontwerp van geïntegreerde schakelingen en systemen 37, 996–1008 (2017).
https: / / doi.org/ 10.1109 / TCAD.2017.2729468

[2] Lukas Burgholzer en Robert Wille. "Verbeterde op DD gebaseerde gelijkwaardigheidscontrole van kwantumcircuits". In 2020 25e Design Automation Conference (ASP-DAC) in Azië en de Stille Zuidzee. Pagina's 127–132. IEEE (2020).
https:///doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] Lukas Burgholzer, Richard Kueng en Robert Wille. "Het genereren van willekeurige stimuli voor de verificatie van kwantumcircuits". In Proceedings van de 26e Design Automation Conference in Azië en de Stille Zuidzee. Pagina's 767-772. (2021).
https: / / doi.org/ 10.1145 / 3394885.3431590

[4] Lukas Burgholzer en Robert Wille. "Geavanceerde gelijkwaardigheidscontrole voor kwantumcircuits". IEEE-transacties over computerondersteund ontwerp van geïntegreerde schakelingen en systemen 40, 1810–1824 (2020).
https://doi.org/10.48550/arXiv.2004.08420

[5] John Prekill. "Quantum computing in het NISQ-tijdperk en daarna". Kwantum 2, 79 (2018).
https://doi.org/10.48550/arXiv.1801.00862

[6] Daniël Gottesman. “De Heisenberg-weergave van kwantumcomputers” (1998). URL: arxiv.org/abs/quant-ph/9807006.
arXiv: quant-ph / 9807006

[7] Scott Aaronson en Daniel Gottesman. "Verbeterde simulatie van stabilisatorcircuits". Fysieke beoordeling A 70 (2004).
https: / / doi.org/ 10.1103 / physreva.70.052328

[8] Daniël Gottesman. "Stabilisatiecodes en kwantumfoutcorrectie". Proefschrift. Californië Instituut voor Technologie. (1997).
https:///doi.org/10.48550/arXiv.quant-ph/9705052
arXiv: quant-ph / 9705052

[9] Maarten Van den Nest, Jeroen Dehaene en Bart De Moor. "Lokale unitaire versus lokale Clifford-equivalentie van stabilisatorstaten". Fys. Rev. A 71, 062323 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.062323

[10] Matthias Englbrecht en Barbara Kraus. "Symmetrieën en verstrengeling van stabilisatorstaten". Fys. A 101, 062302 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.101.062302

[11] Robert Raussendorf en Hans J. Briegel. "Een eenrichtings kwantumcomputer". Fysiek. Eerwaarde Lett. 86, 5188-5191 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.5188

[12] Sergey Bravyi, Graeme Smith en John A. Smolin. "Het verhandelen van klassieke en kwantumcomputerbronnen". Fys. Rev. X 6, 021043 (2016).
https: / / doi.org/ 10.1103 / PhysRevX.6.021043

[13] Sergej Bravyi en David Gosset. "Verbeterde klassieke simulatie van kwantumcircuits gedomineerd door Clifford-poorten". Fys. Ds. Lett. 116, 250501 (2016).
https: / / doi.org/ 10.1103 / PhysRevLett.116.250501

[14] Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset en Mark Howard. "Simulatie van kwantumcircuits door stabilisatordecomposities van lage rang". Kwantum 3, 181 (2019).
https://doi.org/10.22331/q-2019-09-02-181

[15] Yifei Huang en Peter Love. "Geschatte stabilisatorrang en verbeterde zwakke simulatie van door Clifford gedomineerde circuits voor qudits". Fys. Rev.A 99, 052307 (2019).
https: / / doi.org/ 10.1103 / PhysRevA.99.052307

[16] Lucas Kocia en Peter Love. “Stationaire fasemethode in discrete Wigner-functies en klassieke simulatie van kwantumcircuits”. Kwantum 5, 494 (2021).
https://doi.org/10.22331/q-2021-07-05-494

[17] Lucas Kocia en Mohan Sarovar. "Klassieke simulatie van kwantumcircuits met minder gaussiaanse eliminaties". Fysieke beoordeling A 103, 022603 (2021).
https: / / doi.org/ 10.1103 / PhysRevA.103.022603

[18] Sheldon B. Akers. "Binaire beslissingsdiagrammen". IEEE Computerarchitectuurbrieven 27, 509–516 (1978).
https: / / doi.org/ 10.1109 / TC.1978.1675141

[19] Randal E. Bryant. "Grafiekgebaseerde algoritmen voor manipulatie van Booleaanse functies". IEEE Trans. Computers 35, 677-691 (1986).
https: / / doi.org/ 10.1109 / TC.1986.1676819

[20] Randal E Bryant en Yirng-An Chen. "Verificatie van rekenkundige circuits met binaire momentdiagrammen". Tijdens de 32e Design Automation-conferentie. Pagina's 535–541. IEEE (1995).
https:///doi.org/10.1109/DAC.1995.250005

[21] GF Viamontes, IL Markov en JP Hayes. "Krachtige, op QuIDD gebaseerde simulatie van kwantumcircuits". In Proceedings Design, Automation and Test in Europe Conferentie en tentoonstelling. Deel 2, pagina's 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 en F. Somenzi. "Algebraïsche beslissingsdiagrammen en hun toepassingen". In Proceedings of 1993 Internationale Conferentie over Computer Aided Design (ICCAD). Pagina's 188–191. (1993).
https:///doi.org/10.1109/ICCAD.1993.580054

[23] George F. Viamontes, Igor L. Markov en John P. Hayes. "Verbetering van de simulatie op poortniveau van kwantumcircuits". Kwantuminformatieverwerking 2, 347–380 (2003).
https:///doi.org/10.1023/B:QINP.0000022725.70000.4a

[24] Masahiro Fujita, Patrick C. McGeer en JC-Y Yang. "Multi-terminal binaire beslissingsdiagrammen: een efficiënte datastructuur voor matrixrepresentatie". Formele methoden bij systeemontwerp 10, 149–169 (1997).
https: / / doi.org/ 10.1023 / A: 1008647823331

[25] EM Clarke, KL McMillan, X Zhao, M. Fujita en J. Yang. "Spectrale transformaties voor grote Booleaanse functies met toepassingen op het in kaart brengen van technologie". In Proceedings van de 30e Internationale Design Automation Conference. Pagina's 54–60. DAC '93New York, NY, VS (1993). Vereniging voor computermachines.
https: / / doi.org/ 10.1145 / 157485.164569

[26] Scott Sanner en David McAllester. "Affine algebraïsche beslissingsdiagrammen (AADD's) en hun toepassing op gestructureerde probabilistische gevolgtrekking". In Proceedings van de 19e Internationale Gezamenlijke Conferentie over Kunstmatige Intelligentie. Pagina's 1384–1390. IJCAI'05San Francisco, CA, VS (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 en Mitchell A Thornton. "QMDD: een beslissingsdiagramstructuur voor omkeerbare en kwantumcircuits". In het 36e internationale symposium over meervoudige logica (ISMVL'06). Pagina's 30–30. IEEE (2006).
https://doi.org/10.1109/ISMVL.2006.35

[28] Alwin Zulehner en Robert Wille. "Geavanceerde simulatie van kwantumberekeningen". IEEE-transacties over computerondersteund ontwerp van geïntegreerde schakelingen en systemen 38, 848–859 (2018).
https://doi.org/10.48550/arXiv.1707.00865

[29] Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng en Mingsheng Ying. "Een op tensornetwerk gebaseerd beslissingsdiagram voor de representatie van kwantumcircuits". ACM Trans. Dez. Autom. Elektron. Systeem. 27 (2022).
https: / / doi.org/ 10.1145 / 3514355

[30] Stefan Hillmich, Richard Kueng, Igor L. Markov en Robert Wille. "Zo nauwkeurig als nodig, zo efficiënt mogelijk: benaderingen in op DD gebaseerde kwantumcircuitsimulatie". In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, Frankrijk, 1-5 februari 2021. Pagina's 188–193. IEEE (2021).
https:///doi.org/10.23919/DATE51398.2021.9474034

[31] George F. Viamontes, Igor L. Markov en John P. Hayes. "Kwantumcircuitsimulatie". Springer Wetenschap en zakelijke media. (2009).
https://doi.org/10.1007/978-90-481-3065-8

[32] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou en Sanjiang Li. "Geschatte gelijkwaardigheidscontrole van kwantumcircuits met ruis". In 2021 58e ACM/IEEE Design Automation Conference (DAC). Pagina's 637-642. (2021).
https:///doi.org/10.1109/DAC18074.2021.9586214

[33] Hans J. Briegel en Robert Raussendorf. "Aanhoudende verstrengeling in reeksen van op elkaar inwerkende deeltjes". Fys. Ds. Lett. 86, 910-913 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.910

[34] Wolfgang Dür, Guifre Vidal en J Ignacio Cirac. “Drie qubits kunnen op twee ongelijke manieren met elkaar verstrengeld zijn”. Fysieke beoordeling 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 en Andreas Winter. “Alles wat je altijd al wilde weten over LOCC (maar niet durfde te vragen)”. Communicatie in de wiskundige natuurkunde 328, 303–326 (2014).
https://doi.org/10.48550/arXiv.1210.4583

[36] Steven R Wit. ‘Densiteitsmatrixformulering voor kwantumrenormalisatiegroepen’. Fysieke beoordelingsbrieven 69, 2863 (1992).
https: / / doi.org/ 10.1103 / PhysRevLett.69.2863

[37] D. Perez-Garcia, F. Verstraete, MM Wolf en JI Cirac. "Matrixproductstatusrepresentaties". Kwantuminformatie en berekeningen 7, 401–430 (2007).
https://doi.org/10.48550/arXiv.2011.12127

[38] Guifre Vidal. "Efficiënte klassieke simulatie van enigszins verstrengelde kwantumberekeningen". Fysieke beoordelingsbrieven 91, 147902 (2003).
https:///doi.org/10.48550/arXiv.quant-ph/0301063
arXiv: quant-ph / 0301063

[39] Adnan Darwiche en Pierre Marquis. “Een kennisopbouwkaart”. Journal of Artificial Intelligence Research 17, 229–264 (2002).
https: / / doi.org/ 10.5555 / 1622810.1622817

[40] Karl S. Brace, Richard L. Rudell en Randal E. Bryant. “Efficiënte implementatie van een BDD-pakket”. In Proceedings van de 27e ACM/IEEE-conferentie over ontwerpautomatisering. Pagina's 40–45. (1991).
https: / / doi.org/ 10.1145 / 123186.123222

[41] Donald Ervin Knuth. “De kunst van het computerprogrammeren. deel 4, bundel 1”. Addison-Wesley. (2005).
https://doi.org/10.1090/s0002-9904-1973-13173-8

[42] Fabio Somenzi. "Efficiënte manipulatie van beslissingsdiagrammen". International Journal on Software Tools voor technologieoverdracht 3, 171–181 (2001).
https: / / doi.org/ 10.1007 / s100090100042

[43] Koenraad MR Audenaert en Martin B Plenio. "Verstrengeling van gemengde stabilisatortoestanden: normale vormen en reductieprocedures". Nieuw 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 en HJ Briegel. "Verstrengeling in grafiektoestanden en zijn toepassingen". In Proceedings van de International School of Physics “Enrico Fermi”. Deel Deel 162: Quantumcomputers, algoritmen en chaos. IOS-pers (2006).
https://doi.org/10.3254/978-1-61499-018-5-115

[45] Scott Aaronson. "Multilineaire formules en scepticisme over kwantumcomputers". In Proceedings van het zesendertigste jaarlijkse ACM-symposium over Theory of Computing. Pagina 118–127. STOC '04New York, NY, VS (2004). Vereniging voor computermachines.
https: / / doi.org/ 10.1145 / 1007352.1007378

[46] Sergej Bravyi en Alexei Kitaev. "Universele kwantumberekening met ideale Clifford-poorten en luidruchtige ancilla's". Fys. Rev. A 71, 022316 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.022316

[47] Charles H. Bennett, Herbert J. Bernstein, Sandu Popescu en Benjamin Schumacher. "Concentratie van gedeeltelijke verstrengeling door lokale operaties". Fysiek overzicht A 53, 2046 (1996).
https:///doi.org/10.48550/arXiv.quant-ph/9511030
arXiv: quant-ph / 9511030

[48] David Y Feinstein en Mitchell A Thornton. "Over de overgeslagen variabelen van kwantumbeslissingsdiagrammen met meerdere waarden". In 2011 41e IEEE International Symposium over meerwaardige logica. Pagina's 164–169. IEEE (2011).
https://doi.org/10.1109/ISMVL.2011.22

[49] Richard J Lipton, Donald J Rose en Robert Endre Tarjan. "Gegeneraliseerde geneste dissectie". SIAM-tijdschrift over numerieke analyse 16, 346–358 (1979).
https: / / doi.org/ 10.5555 / 892164

[50] M. Van den Nest, W. Dür, G. Vidal en HJ Briegel. ‘Klassieke simulatie versus universaliteit in op metingen gebaseerde kwantumberekeningen’. Fys. Rev.A 75, 012337 (2007).
https: / / doi.org/ 10.1103 / PhysRevA.75.012337

[51] Vít Jelínek. "De rangbreedte van het vierkante raster". Discrete Toegepaste Wiskunde 158, 841-850 (2010).
https://doi.org/10.1007/978-3-540-92248-3_21

[52] Hélene Fargier, Pierre Marquis, Alexandre Niveau en Nicolas Schmidt. "Een kenniscompilatiekaart voor geordende beslissingsdiagrammen met reële waarde". In Proceedings van de AAAI-conferentie over kunstmatige intelligentie. Deel 28. (2014).
https: / / doi.org/ 10.1609 / aaai.v28i1.8853

[53] Robert W Floyd. “Betekenissen toekennen aan programma’s”. In programmaverificatie. Pagina's 65–81. Springer (1993).
https://doi.org/10.1007/978-94-011-1793-7_4

[54] JW De Bakker en Lambert GLT Meertens. "Over de volledigheid van de inductieve beweringmethode". Journal of Computer- en Systeemwetenschappen 11, 323–357 (1975).
https://doi.org/10.1016/S0022-0000(75)80056-0

[55] Ingo Wegener. "Vertakkingsprogramma's en binaire beslissingsdiagrammen: theorie en toepassingen". SIAM. (2000).
https: / / doi.org/ 10.1137 / 1.9780898719789

[56] James McClung. "Constructies en toepassingen van W-staten". Proefschrift. Polytechnisch Instituut van Worcester. (2020).

[57] Srinivasan Arunachalam, Sergey Bravyi, Chinmay Nirkhe en Bryan O'Gorman. “De geparametriseerde complexiteit van kwantumverificatie” (2022).
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2022.3

[58] Aleks Kissinger en John van de Wetering. “Het T-aantal verminderen met de ZX-calculus” (2019).
https: / / doi.org/ 10.1103 / PhysRevA.102.022406

[59] Himanshu Thapliyal, Edgard Munoz-Coreas, TSS Varun en Travis S Humble. "Kwantumcircuitontwerpen van gehele deling optimaliseren T-telling en T-diepte". IEEE-transacties over opkomende onderwerpen in de computersector 9, 1045–1056 (2019).
https://doi.org/10.48550/arXiv.1809.09732

[60] Wang Jian, Zhang Quan en Tang Chao-Jing. "Quantum beveiligd communicatieschema met W-status". Communicatie in de theoretische natuurkunde 48, 637 (2007).
https://doi.org/10.1088/0253-6102/48/4/013

[61] Wen Liu, Yong-Bin Wang en Zheng-Tao Jiang. "Een efficiënt protocol voor de kwantumprivate vergelijking van gelijkheid met de W-staat". Optica Communicatie 284, 3160-3163 (2011).
https: / / doi.org/ 10.1016 / j.optcom.2011.02.017

[62] Victoria Lipinska, Gláucia Murta en Stephanie Wehner. "Anonieme transmissie in een luidruchtig kwantumnetwerk met behulp van de ${W}$-status". Fys. Rev.A 98, 052320 (2018).
https: / / doi.org/ 10.1103 / PhysRevA.98.052320

[63] Paul Tafertshofer en Massoud Pedram. "Factored edge-valued binaire beslissingsdiagrammen". Formele methoden in systeemontwerp 10, 243–270 (1997).
https: / / doi.org/ 10.1023 / A: 1008691605584

[64] Meghana Sistla, Swarat Chaudhuri en Thomas Reps. "CFLOBDDs: Context-vrije taal geordende binaire beslissingsdiagrammen" (2023). arXiv:2211.06818.
arXiv: 2211.06818

[65] Meghana Sistla, Swarat Chaudhuri en Thomas Reps. "Symbolische kwantumsimulatie met quasimodo". In Constantin Enea en Akash Lal, redacteuren, Computerondersteunde verificatie. Pagina's 213–225. Cham (2023). Springer Natuur Zwitserland.
https://doi.org/10.1007/978-3-031-37709-9_11

[66] Rajeev Alur en P. Madhusudan. "Zichtbaar pushdown-talen". In Proceedings van het zesendertigste jaarlijkse ACM-symposium over Theory of Computing. Pagina's 202–211. STOC '04New York, NY, VS (2004). Vereniging voor computermachines.
https: / / doi.org/ 10.1145 / 1007352.1007390

[67] Meghana Sistla, Swarat Chaudhuri en Thomas Reps. "Gewogen, contextvrije taal geordende binaire beslissingsdiagrammen" (2023). arXiv:2305.13610.
arXiv: 2305.13610

[68] Adnan Darwiche. "SDD: een nieuwe canonieke representatie van propositionele kennisbanken". In Proceedings of the Twenty-Second internationale gezamenlijke conferentie over kunstmatige intelligentie, deel twee. . AAAI-pers (2011).

[69] Doga Kisa, Guy Van den Broeck, Arthur Choi en Adnan Darwiche. "Probabilistische sententiële beslissingsdiagrammen". In Proceedings van de veertiende internationale conferentie over de principes van kennisrepresentatie en redeneren. Pagina's 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 en Masaaki Nishino. "Variabele verschuiving SDD: een beknopter sententieel beslissingsdiagram". In Simone Faro en Domenico Cantone, redacteuren, 18e International Symposium on Experimental Algorithms (SEA 2020). Deel 160 van Leibniz International Proceedings in Informatics (LIPIcs), pagina's 22: 1–22:13. Dagstuhl, Duitsland (2020). Schloss Dagstuhl-Leibniz-Zentrum für Informatik.
https:///doi.org/10.4230/LIPIcs.SEA.2020.22

[71] Wolfgang Günther en Rolf Drechsler. "Minimalisatie van bdds met behulp van lineaire transformaties gebaseerd op evolutionaire technieken". In 1999 IEEE Internationaal symposium over circuits en systemen (ISCAS). Deel 1, pagina's 387-390. IEEE (1999).
https:///doi.org/10.1109/ISCAS.1999.777884

[72] Barbara M. Terhal en David P. DiVincenzo. ‘Klassieke simulatie van niet-interacterende fermion-kwantumcircuits’. Fys. Rev.A 65, 032325 (2002).
https: / / doi.org/ 10.1103 / PhysRevA.65.032325

[73] Richard Jozsa en Akimasa Miyake. “Matchgates en klassieke simulatie van kwantumcircuits”. Proceedings: Wiskundige, Fysische en Technische Wetenschappen Pagina's 3089–3106 (2008).
https: / / doi.org/ 10.1098 / rspa.2008.0189

[74] Martin Hebenstreit, Richard Jozsa, Barbara Kraus en Sergii Strelchuk. "Rekenkracht van matchgates met aanvullende middelen". Fysieke beoordeling A 102, 052604 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.102.052604

[75] Roman Orús. "Een praktische inleiding tot tensornetwerken: matrixproducttoestanden en geprojecteerde verstrengelde paartoestanden". Annals of Physics 349, 117-158 (2014).
https: / / doi.org/ 10.1016 / j.aop.2014.06.013

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

[77] Renaud Vilmart. "Kwantumbeslissingsdiagrammen met meerdere waarden in grafische berekeningen" (2021). arXiv:2107.01186.
arXiv: 2107.01186

[78] Richard Rudel. "Dynamische variabele ordening voor geordende binaire beslissingsdiagrammen". In Proceedings of 1993 Internationale Conferentie over Computer Aided Design (ICCAD). Pagina's 42–47. IEEE (1993).
https:///doi.org/10.1109/ICCAD.1993.580029

[79] Ewout van den Berg en Kristan Temme. "Circuitoptimalisatie van Hamiltoniaanse simulatie door gelijktijdige diagonalisatie van Pauli-clusters". Kwantum 4, 322 (2020).
https://doi.org/10.22331/q-2020-09-12-322

[80] Eugene M Luks, Ferenc Rákóczi en Charles RB Wright. "Sommige algoritmen voor nilpotente permutatiegroepen". Journal of Symbolische Berekening 23, 335-354 (1997).
https:///doi.org/10.1006/jsco.1996.0092

[81] Pavol Ďuriš, Juraj Hromkovič, Stasys Jukna, Martin Sauerhoff en Georg Schnitger. "Over de complexiteit van communicatie met meerdere partities". Informatie en berekeningen 194, 49–75 (2004).
https: / / doi.org/ 10.1016 / j.ic.2004.05.002

[82] Hector J. Garcia, Igor L. Markov en Andrew W. Cross. "Efficiënt inproductalgoritme voor stabilisatortoestanden" (2012). arXiv:1210.6646.
arXiv: 1210.6646

[83] "Stabranksearcher: code voor het vinden van (bovengrenzen) de stabilisatorrang van een kwantumtoestand". https:///github.com/timcp/StabRankSearcher (2021).
https:///github.com/timcp/StabRankSearcher

[84] Padraïsche Calpin. "Kwantumberekening onderzoeken door de lens van klassieke simulatie". Proefschrift. UCL (University College Londen). (2020).
https:///doi.org/10.5555/AAI28131047

Geciteerd door

[1] Dimitrios Thanos, Tim Coopmans en Alfons Laarman, "Snelle gelijkwaardigheidscontrole van kwantumcircuits van Clifford-poorten", arXiv: 2308.01206, (2023).

[2] Robert Wille, Stefan Hillmich en Lukas Burgholzer, “Hulpmiddelen voor kwantumcomputing op basis van beslissingsdiagrammen”, arXiv: 2108.07027, (2021).

Bovenstaande citaten zijn afkomstig van SAO / NASA ADS (laatst bijgewerkt met succes 2023-09-12 14:57:20). De lijst is mogelijk onvolledig omdat niet alle uitgevers geschikte en volledige citatiegegevens verstrekken.

On De door Crossref geciteerde service er zijn geen gegevens gevonden over het citeren van werken (laatste poging 2023-09-12 14:57:15).

Dit artikel is gepubliceerd in Quantum onder de Creative Commons Naamsvermelding 4.0 Internationaal (CC BY 4.0) licentie. Het auteursrecht blijft berusten bij de oorspronkelijke houders van auteursrechten, zoals de auteurs of hun instellingen.

Door SEO aangedreven content en PR-distributie. Word vandaag nog versterkt.
PlatoData.Network Verticale generatieve AI. Versterk jezelf. Toegang hier.
PlatoAiStream. Web3-intelligentie. Kennis versterkt. Toegang hier.
PlatoESG. Automotive / EV's, carbon, CleanTech, Energie, Milieu, Zonne, Afvalbeheer. Toegang hier.
Plato Gezondheid. Intelligentie op het gebied van biotech en klinische proeven. Toegang hier.
ChartPrime. Verhoog uw handelsspel met ChartPrime. Toegang hier.
BlockOffsets. Eigendom voor milieucompensatie moderniseren. Toegang hier.
Bron: https://quantum-journal.org/papers/q-2023-09-11-1108/

Tijdstempel: 11 september 2023

Tijdstempel: Jan 11, 2024

LIMDD: een beslissingsdiagram voor de simulatie van kwantumcomputers, inclusief stabilisatortoestanden

Heruitgegeven door Plato

Abstract

Populaire samenvatting

► BibTeX-gegevens

► Referenties

Geciteerd door

Meer van Quantum Journaal

Robuuste extractie van thermische waarneembare gegevens uit staatsbemonstering en realtime dynamiek op kwantumcomputers

Kwantumsimulatie met just-in-time compilatie

Op tijd gebaseerde kwantumoplossers voor tijdsafhankelijke lineaire differentiaalvergelijkingen

Een monogamie-van-verstrengelingsspel voor subruimte-cosetstaten

Samenvatting: analyse van kwantumcircuits via abstracte stabilisatorsimulatie

Teleportatie van postgeselecteerde kwantumstaten

Pulsgebaseerde Variational Quantum Optimal Control voor hybride kwantumcomputing

Meetverstoring en behoudswetten in de kwantummechanica

Snelle kwantumbenaderingen voor combinatorische optimalisatie geïnspireerd door optimale toestandsoverdracht

De complexiteit van kwantumondersteuningsvectormachines

Over Ons

Verticaal zoeken & Ai

Platform

Blijf verbonden

Account