LIMDD: Päätöskaavio kvanttitietokoneiden simulointiin, mukaan lukien stabilointitilat

Julkaissut Platon

seuraajia: 0

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

¹Leidenin yliopisto, Alankomaat
²Delftin teknillinen yliopisto, Alankomaat
³Networked Quantum Devices Unit, Okinawa Institute of Science and Technology Graduate University, Okinawa, Japani

Onko tämä artikkeli mielenkiintoinen vai haluatko keskustella? Scite tai jätä kommentti SciRate.

Abstrakti

Tehokkaat menetelmät kvanttitilojen ja kvanttioperaatioiden esittämiseen ja simulointiin ovat ratkaisevan tärkeitä kvanttipiirien optimoinnissa. Päätöskaaviot (DD:t), hyvin tutkittu tietorakenne, jota alun perin käytettiin edustamaan Boolen funktioita, ovat osoittautuneet kykeneviksi kaappaamaan kvanttijärjestelmien merkityksellisiä näkökohtia, mutta niiden rajoja ei ymmärretä hyvin. Tässä työssä tutkimme ja kuromme umpeen olemassa olevien DD-pohjaisten rakenteiden ja stabilointiformalismin välistä kuilua, joka on tärkeä työkalu kvanttipiirien simuloinnissa ohjattavassa järjestelmässä. Osoitamme ensin, että vaikka DD:iden ehdotettiin edustavan ytimekkäästi tärkeitä kvanttitiloja, ne itse asiassa vaativat eksponentiaalista tilaa tietyille stabilointitiloille. Tämän korjaamiseksi esittelemme tehokkaamman päätöskaavion variantin, nimeltä Local Invertible Map-DD (LIMDD). Osoitamme, että monikokoisten LIMDD:iden edustama kvanttitilojen joukko sisältää tiukasti stabilointitilojen ja muiden päätöskaaviomuunnelmien liiton. Lopuksi on olemassa piirejä, joita LIMDD:t voivat simuloida tehokkaasti, kun taas niiden lähtötiloja ei voida esittää ytimekkäästi kahdella huippuluokan simulointiparadigmalla: stabilisaattorin hajottelutekniikalla Clifford + $T$ -piireille ja Matriisi-tuotetiloilla. Yhdistämällä kaksi onnistunutta lähestymistapaa, LIMDD:t tasoittavat siten tietä olennaisesti tehokkaammille ratkaisuille kvanttilaskennan simulointiin ja analysointiin.

LIMDD: Päätöskaavio kvanttilaskennan simuloimiseksi, mukaan lukien stabilointitilat PlatoBlockchain Data Intelligence. Pystysuuntainen haku. Ai.

Suositeltu kuva: Vasen: Venn-kaavio kvanttitilojen joukosta, joita LIMDD:t ja useat muut formalismit edustavat tehokkaasti. Oikealla: Esimerkki LIMDD:stä, joka edustaa kompaktisti $3$-kubitin kvanttitilaa.

Suosittu yhteenveto

Kvanttipiirin klassinen simulointi on laskennallisesti vaikea tehtävä. Suoraviivaisessa lähestymistavassa muistivaatimukset kvanttitilan kuvauksen tallentamiseksi kasvavat $2^n$:ksi $n$-kubitin piirille. Päätöskaaviot ratkaisevat tämän ongelman tarjoamalla pakatun esityksen kvanttitilasta. DD-pohjaisten menetelmien rajoja ei kuitenkaan ymmärretty hyvin. Tässä työssä tutkimme ja kuromme siltaa olemassa olevien DD-pohjaisten rakenteiden ja stabilointiformalismin välillä, joka on toinen tärkeä työkalu kvanttipiirien simuloinnissa. Osoitamme ensin, että vaikka DD:iden ehdotettiin edustavan ytimekkäästi tärkeitä kvanttitiloja, ne itse asiassa vaativat eksponentiaalista tilaa tietyille stabilointitiloille. Tämän korjaamiseksi esittelemme tehokkaamman päätöskaavion variantin, nimeltä Local Invertible Map-DD (LIMDD). Osoitamme, että on olemassa kvanttipiirejä, joita voidaan analysoida tehokkaasti LIMDD:illä, mutta ei olemassa olevilla DD-pohjaisilla menetelmillä, eikä stabilaattorien hajottelutekniikoilla tai matriisitulotiloilla. Hyödyntämällä sekä DD:n että stabilointiformalismin vahvuuksia tiukasti ytimekkäämmässä tietorakenteessa, LIMDD:t tasoittavat siten tietä olennaisesti tehokkaammalle kvanttilaskennan simuloinnille ja analysoinnille.

► BibTeX-tiedot

@article{Vinkhuijzen2023limdddecision, doi = {10.22331/q-2023-09-11-1108}, url = {https://doi.org/10.22331/q-2023-09-11-1108}, otsikko = {{LIMDD }: {A} {D}päätös {D}diagrammi {S}imulaatiolle {Quantum {C}laskennan {I}mukaan lukien {S}tabilisaattori {S}tilat}, kirjoittaja = {Vinkhuijzen, Lieuwe ja Coopmans, Tim ja Elkouss, David ja Dunjko, Vedran ja Laarman, Alfons}, lehti = {{Quantum}}, issn = {2521-327X}, kustantaja = {{Verein zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, määrä = {7}, sivut = {1108}, kuukausi = syys, vuosi = {2023} }

► Viitteet

[1] Alwin Zulehner ja Robert Wille. "Käännettävien piirien yhden kierron suunnittelu: upotuksen ja synteesin yhdistäminen käännettävää logiikkaa varten". 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. "Parannettu DD-pohjainen kvanttipiirien vastaavuuden tarkistus". Vuonna 2020 25. Aasian ja Etelä-Tyynenmeren suunnitteluautomaatiokonferenssi (ASP-DAC). Sivut 127-132. IEEE (2020).
https:///doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] Lukas Burgholzer, Richard Kueng ja Robert Wille. "Satunnainen ärsykkeiden generointi kvanttipiirien todentamiseen". Asiakirjassa 26. Aasian ja Etelä-Tyynenmeren suunnitteluautomaatiokonferenssi. Sivut 767-772. (2021).
https: / / doi.org/ 10.1145 / +3394885.3431590

[4] Lukas Burgholzer ja Robert Wille. "Kehittynyt ekvivalenssitarkistus kvanttipiireille". 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. "Kvanttilaskenta NISQ-aikakaudella ja sen jälkeen". Quantum 2, 79 (2018).
https:///doi.org/10.48550/arXiv.1801.00862

[6] Daniel Gottesman. "Kvanttitietokoneiden Heisenberg-esitys" (1998). url: arxiv.org/abs/quant-ph/9807006.
arXiv: kvant-ph / 9807006

[7] Scott Aaronson ja Daniel Gottesman. "Parannettu stabilointipiirien simulointi". Physical Review A 70 (2004).
https: / / doi.org/ 10.1103 / physreva.70.052328

[8] Daniel Gottesman. "Stabilisaattorikoodit ja kvanttivirheen korjaus". Tohtorin väitöskirja. California Institute of Technology. (1997).
https:///doi.org/10.48550/arXiv.quant-ph/9705052
arXiv: kvant-ph / 9705052

[9] Maarten Van den Nest, Jeroen Dehaene ja Bart De Moor. "Stabilisaattoritilojen paikallinen unitaari vs. paikallinen Clifford-ekvivalenssi". Phys. Rev. A 71, 062323 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.062323

[10] Matthias Englbrecht ja Barbara Kraus. "Symmetriat ja stabilointitilojen sotkeutuminen". Phys. Rev. A 101, 062302 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.101.062302

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

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

[13] Sergey Bravyi ja David Gosset. "Cliffordin porttien hallitsemien kvanttipiirien parannettu klassinen simulointi". Phys. Rev. Lett. 116, 250501 2016 (XNUMX).
https: / / doi.org/ 10.1103 / PhysRevLett.116.250501

[14] Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset ja Mark Howard. "Kvanttipiirien simulointi matalaluokkaisilla stabilointihajoamisilla". Quantum 3, 181 (2019).
https://doi.org/10.22331/q-2019-09-02-181

[15] Yifei Huang ja Peter Love. "Likimääräinen stabilisaattorin arvo ja parannettu heikko simulaatio Clifford-dominoimista piireistä quditeille". Phys. Rev. A 99, 052307 (2019).
https: / / doi.org/ 10.1103 / PhysRevA.99.052307

[16] Lucas Kocia ja Peter Love. "Stationaarivaihemenetelmä diskreetissä Wigner-funktiossa ja kvanttipiirien klassisessa simuloinnissa". Quantum 5, 494 (2021).
https://doi.org/10.22331/q-2021-07-05-494

[17] Lucas Kocia ja Mohan Sarovar. "Kvanttipiirien klassinen simulointi käyttämällä vähemmän Gaussin eliminaatioita". Physical Review A 103, 022603 (2021).
https: / / doi.org/ 10.1103 / PhysRevA.103.022603

[18] Sheldon B. Akers. "Binääripäätöskaaviot". IEEE Computer Architecture Letters 27, 509–516 (1978).
https: / / doi.org/ 10.1109 / TC.1978.1675141

[19] Randal E. Bryant. "Kaaviopohjaiset algoritmit Boolen funktion manipulointiin". IEEE Trans. Computers 35, 677-691 (1986).
https: / / doi.org/ 10.1109 / TC.1986.1676819

[20] Randal E Bryant ja Yirng-An Chen. "Aritmeettisten piirien verifiointi binäärimomenttikaavioilla". 32. suunnitteluautomaatiokonferenssissa. Sivut 535-541. IEEE (1995).
https:///doi.org/10.1109/DAC.1995.250005

[21] GF Viamontes, IL Markov ja JP Hayes. "Kvanttipiirien korkean suorituskyvyn QuIDD-pohjainen simulointi". Proceedings Design, Automation and Test in Europe -konferenssi ja näyttely. Osa 2, sivut 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 ja F. Somenzi. "Algebralliset päätöskaaviot ja niiden sovellukset". Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). Sivut 188-191. (1993).
https:///doi.org/10.1109/ICCAD.1993.580054

[23] George F Viamontes, Igor L Markov ja John P Hayes. "Kvanttipiirien porttitason simulaation parantaminen". 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. "Monipääteiset binaariset päätöskaaviot: Tehokas tietorakenne matriisiesitystä varten". Formaaliset menetelmät järjestelmäsuunnittelussa 10, 149–169 (1997).
https: / / doi.org/ 10.1023 / A: 1008647823331

[25] EM Clarke, KL McMillan, X Zhao, M. Fujita ja J. Yang. "Spektrimuunnokset suurille boolen funktioille sovelluksilla teknologian kartoitukseen". Proceedings of the 30th International Design Automation Conference. Sivut 54-60. DAC '93 New York, NY, USA (1993). Tietotekniikan liitto.
https: / / doi.org/ 10.1145 / +157485.164569

[26] Scott Sanner ja David McAllester. "Affine algebraic päätöskaaviot (AADD) ja niiden soveltaminen strukturoituun todennäköisyyspäätelmään". Tekoälyä käsittelevän 19. kansainvälisen yhteiskonferenssin julkaisuissa. Sivut 1384–1390. IJCAI'05San Francisco, CA, USA (2005). Morgan Kaufmann Publishers Inc.:n URL-osoite: 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äätöskaaviorakenne käännettäville ja kvanttipiireille". 36. kansainvälisessä moniarvologiikan symposiumissa (ISMVL'06). Sivut 30-30. IEEE (2006).
https:///doi.org/10.1109/ISMVL.2006.35

[28] Alwin Zulehner ja Robert Wille. "Kvanttilaskentojen edistynyt simulointi". 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. "Tensoriverkkopohjainen päätöskaavio kvanttipiirien esittämiseen". ACM Trans. Des. Autom. Elektroni. Syst. 27 (2022).
https: / / doi.org/ 10.1145 / +3514355

[30] Stefan Hillmich, Richard Kueng, Igor L. Markov ja Robert Wille. "Tarvittavan tarkasti, mahdollisimman tehokkaasti: Approksimaatiot DD-pohjaisessa kvanttipiirisimulaatiossa". In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, Ranska, 1.–5. helmikuuta 2021. Sivut 188–193. IEEE (2021).
https: / / doi.org/ 10.23919 / DATE51398.2021.9474034

[31] George F Viamontes, Igor L Markov ja John P Hayes. "Kvanttipiirin simulointi". Springer Science & Business Media. (2009).
https://doi.org/10.1007/978-90-481-3065-8

[32] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou ja Sanjiang Li. "Kohinaisten kvanttipiirien likimääräinen vastaavuustarkistus". Vuonna 2021 58. ACM/IEEE Design Automation Conference (DAC). Sivut 637-642. (2021).
https:///doi.org/10.1109/DAC18074.2021.9586214

[33] Hans J. Briegel ja Robert Raussendorf. "Jatkuva sotkeutuminen vuorovaikutteisten hiukkasten joukkoihin". 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 kubittia voidaan sotkeutua kahdella eri tavalla." Physical Review A 62, 062314 (2000).
https:///doi.org/10.48550/arXiv.quant-ph/0005115
arXiv: kvant-ph / 0005115

[35] Eric Chitambar, Debbie Leung, Laura Mančinska, Maris Ozols ja Andreas Winter. "Kaikki mitä olet aina halunnut tietää LOCC:sta (mutta pelkäsit kysyä)". Communications in Mathematical Physics 328, 303–326 (2014).
https:///doi.org/10.48550/arXiv.1210.4583

[36] Steven R White. "Tiheysmatriisiformulaatio kvanttirenormalisointiryhmille". Physical Review Lets 69, 2863 (1992).
https: / / doi.org/ 10.1103 / PhysRevLett.69.2863

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

[38] Guifré Vidal. "Hieman kietoutuneiden kvanttilaskentojen tehokas klassinen simulointi". Physical Review letters 91, 147902 (2003).
https:///doi.org/10.48550/arXiv.quant-ph/0301063
arXiv: kvant-ph / 0301063

[39] Adnan Darwiche ja Pierre Marquis. "Tietojen kokoamiskartta". 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-paketin tehokas toteutus". 27. ACM/IEEE-suunnitteluautomaatiokonferenssin julkaisussa. Sivut 40-45. (1991).
https: / / doi.org/ 10.1145 / +123186.123222

[41] Donald Ervin Knuth. "Tietokoneohjelmoinnin taito. volyymi 4, side 1". Addison-Wesley. (2005).
https://doi.org/10.1090/s0002-9904-1973-13173-8

[42] Fabio Somenzi. "Päätöskaavioiden tehokas manipulointi". 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. "Ketkeytyminen sekoitettuihin stabilointitiloihin: normaalit muodot ja pelkistysmenettelyt". 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. "Ketkeily graafin tiloihin ja sen sovellukset". Kansainvälisen fysiikan korkeakoulun Enrico Fermi -julkaisussa. Osa 162: Kvanttitietokoneet, algoritmit ja kaaos. IOS Press (2006).
https://doi.org/10.3254/978-1-61499-018-5-115

[45] Scott Aaronson. "Monilinjaiset kaavat ja skeptisyys kvanttilaskentaan". Proceedings of Thirty-Sixth Annual ACM Symposium on Theory of Computing. Sivut 118–127. STOC '04New York, NY, USA (2004). Tietotekniikan liitto.
https: / / doi.org/ 10.1145 / +1007352.1007378

[46] Sergei Bravyi ja Aleksei Kitaev. "Universaali kvanttilaskenta ihanteellisilla Clifford-porteilla ja meluisilla lisälaitteilla". 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. "Osittaisen sotkeutumisen keskittäminen paikallisten toimintojen kautta". Physical Review A 53, 2046 (1996).
https:///doi.org/10.48550/arXiv.quant-ph/9511030
arXiv: kvant-ph / 9511030

[48] David Y Feinstein ja Mitchell A Thornton. "Kvanttimoniarvoisten päätöskaavioiden ohitetuista muuttujista". Vuonna 2011 41. IEEE International Symposium on Multiple-valued Logic. Sivut 164-169. IEEE (2011).
https:///doi.org/10.1109/ISMVL.2011.22

[49] Richard J Lipton, Donald J Rose ja Robert Endre Tarjan. "Yleinen sisäkkäinen dissektio". SIAM-lehti numeerisesta analyysistä 16, 346–358 (1979).
https: / / doi.org/ 10.5555 / +892164

[50] M. Van den Nest, W. Dür, G. Vidal ja HJ Briegel. "Klassinen simulointi versus universaalisuus mittauspohjaisessa kvanttilaskentamisessa". Phys. Rev. A 75, 012337 (2007).
https: / / doi.org/ 10.1103 / PhysRevA.75.012337

[51] Vít Jelínek. "Neliöruudukon rank-leveys". 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 ja Nicolas Schmidt. "Tietojen kokoamiskartta tilatuille reaaliarvoisille päätöskaavioille". Tekoälyä käsittelevän AAAI-konferenssin julkaisuissa. Osa 28. (2014).
https: / / doi.org/ 10.1609 / aaai.v28i1.8853

[53] Robert W Floyd. "Merkitysten antaminen ohjelmille". Ohjelman vahvistuksessa. Sivut 65-81. Springer (1993).
https://doi.org/10.1007/978-94-011-1793-7_4

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

[55] Ingo Wegener. "Haarautumisohjelmat ja binaariset päätöskaaviot: teoria ja sovellukset". SIAM. (2000).
https: / / doi.org/ 10.1137 / +1.9780898719789

[56] James McClung. "W-tilojen rakenteet ja sovellukset". Tohtorin väitöskirja. Worcesterin ammattikorkeakoulu. (2020).

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

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

[59] Himanshu Thapliyal, Edgard Munoz-Coreas, TSS Varun ja Travis S Humble. "Kvanttipiirisuunnitelmat kokonaislukujaosta optimoivat T-luvun ja T-syvyyden". 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. "Kvanttisuojattu viestintäjärjestelmä W-tilassa". Communications in Theoretical Physics 48, 637 (2007).
https://doi.org/10.1088/0253-6102/48/4/013

[61] Wen Liu, Yong-Bin Wang ja Zheng-Tao Jiang. "Tehokas protokolla tasa-arvon kvanttiyksityiseen vertailuun W-tilan kanssa". 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. "Anonyymi lähetys kohinaisessa kvanttiverkossa, jossa käytetään tilaa ${W}$". Phys. Rev. A 98, 052320 (2018).
https: / / doi.org/ 10.1103 / PhysRevA.98.052320

[63] Paul Tafertshofer ja Massoud Pedram. "Faktoroidut reuna-arvoiset binaariset päätöskaaviot". 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:t: Kontekstivapaat kielijärjestetyt binaariset päätöskaaviot" (2023). arXiv:2211.06818.
arXiv: 2211.06818

[65] Meghana Sistla, Swarat Chaudhuri ja Thomas Reps. "Symbolinen kvanttisimulaatio quasimodon kanssa". Teoksessa Constantin Enea ja Akash Lal, toimittajat, Computer Aided Verification. Sivut 213-225. Cham (2023). Springer Nature Sveitsi.
https://doi.org/10.1007/978-3-031-37709-9_11

[66] Rajeev Alur ja P. Madhusudan. "Näkyvästi alaspainetut kielet". Proceedings of Thirty-Sixth Annual ACM Symposium on Theory of Computing. Sivut 202-211. STOC '04New York, NY, USA (2004). Tietotekniikan liitto.
https: / / doi.org/ 10.1145 / +1007352.1007390

[67] Meghana Sistla, Swarat Chaudhuri ja Thomas Reps. "Painotetut yhteydettömät kielen tilatut binaariset päätöskaaviot" (2023). arXiv:2305.13610.
arXiv: 2305.13610

[68] Adnan Darwiche. "SDD: uusi kanoninen esitys propositionaalisista tietokannoista". Tekoälyä käsittelevän 2011. kansainvälisen yhteiskonferenssin julkaisuissa, toinen osa. . AAAI Press (XNUMX).

[69] Doga Kisa, Guy Van den Broeck, Arthur Choi ja Adnan Darwiche. "Todennäköisyyspohjaiset lauseen päätöskaaviot". Tietojen esittämisen ja päättelyn periaatteita käsittelevän 558. kansainvälisen konferenssin julkaisuissa. Sivut 567-14. KR'2014. AAAI Press (8005). url: cdn.aaai.org/ocs/8005/36908-1-XNUMX-PB.pdf.
https:///cdn.aaai.org/ocs/8005/8005-36908-1-PB.pdf

[70] Kengo Nakamura, Shuhei Denzumi ja Masaaki Nishino. "Variable shift SDD: ytimekkäämpi lauseellinen päätöskaavio". Toimittajat Simone Faro ja Domenico Cantone, 18th International Symposium on Experimental Algorithms (SEA 2020). Leibniz International Proceedings in Informatics (LIPIcs) osa 160, sivut 22:1–22:13. Dagstuhl, Saksa (2020). Schloss Dagstuhl–Leibniz-Zentrum für Informatik.
https:///doi.org/10.4230/LIPIcs.SEA.2020.22

[71] Wolfgang Gunther ja Rolf Drechsler. "Bdd:n minimointi lineaarisilla muunnoksilla, jotka perustuvat evoluutiotekniikoihin". Vuonna 1999 IEEE International Symposium on Circuits and Systems (ISCAS). 1. osa, sivut 387–390. IEEE (1999).
https:///doi.org/10.1109/ISCAS.1999.777884

[72] Barbara M. Terhal ja David P. DiVincenzo. "Vuorovaikuttamattomien fermionisten kvanttipiirien klassinen simulointi". Phys. Rev. A 65, 032325 (2002).
https: / / doi.org/ 10.1103 / PhysRevA.65.032325

[73] Richard Jozsa ja Akimasa Miyake. "Matchgates ja kvanttipiirien klassinen simulointi". Proceedings: Mathematical, Physical and Engineering Sciences, s. 3089–3106 (2008).
https: / / doi.org/ 10.1098 / rspa.2008.0189

[74] Martin Hebenstreit, Richard Jozsa, Barbara Kraus ja Sergii Strelchuk. "Matkustusporttien laskentateho lisäresurssien kanssa". Physical Review A 102, 052604 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.102.052604

[75] Román Orús. "Käytännön johdatus tensoriverkkoihin: Matriisituotetilat ja ennustetut kietoutuvat paritilat". Annals of Physics 349, 117–158 (2014).
https: / / doi.org/ 10.1016 / j.aop.2014.06.013

[76] Bob Coecke ja Ross Duncan. "Vuorovaikutteiset kvanttihavainnot: kategorinen algebra ja diagrammatiikka". New Journal of Physics 13, 043016 (2011).
https://doi.org/10.1007/978-3-540-70583-3_25

[77] Renaud Vilmart. "Kvanttimoniarvoiset päätöskaaviot graafisissa laskelmissa" (2021). arXiv:2107.01186.
arXiv: 2107.01186

[78] Richard Rudell. "Dynaaminen muuttujien järjestys järjestetyille binääripäätöskaavioille". Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). Sivut 42-47. IEEE (1993).
https:///doi.org/10.1109/ICCAD.1993.580029

[79] Ewout van den Berg ja Kristan Temme. "Hamiltonin simulaation piirin optimointi Pauli-klusterien samanaikaisella diagonalisoinnilla". 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. "Joitakin algoritmeja nilpotenttisille permutaatioryhmille". 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. "Moniosion viestinnän monimutkaisuudesta". Tiedot ja laskenta 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. "Tehokas sisäinen tuotealgoritmi stabilointitiloihin" (2012). arXiv:1210.6646.
arXiv: 1210.6646

[83] "Stabranksearcher: koodi kvanttitilan stabilaattorin tason löytämiseksi (ylärajat). https:///github.com/timcp/StabRankSearcher (2021).
https:///github.com/timcp/StabRankSearcher

[84] Padraic Calpin. "Kvanttilaskennan tutkiminen klassisen simulaation linssin kautta". Tohtorin väitöskirja. UCL (University College London). (2020).
https:///doi.org/10.5555/AAI28131047

Viitattu

[1] Dimitrios Thanos, Tim Coopmans ja Alfons Laarman, "Fast equivalence checking of quantum circuits of Clifford Gates", arXiv: 2308.01206, (2023).

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

Yllä olevat sitaatit ovat peräisin SAO: n ja NASA: n mainokset (viimeksi päivitetty onnistuneesti 2023-09-12 14:57:20). Lista voi olla puutteellinen, koska kaikki julkaisijat eivät tarjoa sopivia ja täydellisiä viittaustietoja.

On Crossrefin siteerattu palvelu tietoja teosten viittaamisesta ei löytynyt (viimeinen yritys 2023-09-12 14:57:15).

Tämä kirja on julkaistu Quantum - lehdessä Creative Commons Nimeäminen 4.0 Kansainvälinen (CC BY 4.0) lisenssin. Tekijänoikeudet säilyvät alkuperäisillä tekijänoikeuksien haltijoilla, kuten tekijöillä tai heidän instituutioillaan.

SEO-pohjainen sisällön ja PR-jakelu. Vahvista jo tänään.
PlatoData.Network Vertical Generatiivinen Ai. Vahvista itseäsi. Pääsy tästä.
PlatoAiStream. Web3 Intelligence. Tietoa laajennettu. Pääsy tästä.
PlatoESG. Autot / sähköautot, hiili, CleanTech, energia, ympäristö, Aurinko, Jätehuolto. Pääsy tästä.
PlatonHealth. Biotekniikan ja kliinisten kokeiden älykkyys. Pääsy tästä.
ChartPrime. Nosta kaupankäyntipeliäsi ChartPrimen avulla. Pääsy tästä.
BlockOffsets. Ympäristövastuun omistuksen nykyaikaistaminen. Pääsy tästä.
Lähde: https://quantum-journal.org/papers/q-2023-09-11-1108/

Aikaleima: Syyskuu 11, 2023

Aikaleima: Jan 11, 2024

LIMDD: Päätöskaavio kvanttilaskennan simuloimiseksi, mukaan lukien stabilointitilat

Julkaissut Platon

Abstrakti

Suosittu yhteenveto

► BibTeX-tiedot

► Viitteet

Viitattu

Lisää aiheesta Quantum Journal

Termisten havaintojen tehokas erottaminen tilanäytteenotosta ja kvanttitietokoneiden reaaliaikaisesta dynamiikasta

Kvanttisimulaatio juuri-in-time -käännöksellä

Aikamarssipohjaiset kvanttiratkaisijat ajasta riippuvaisille lineaarisille differentiaaliyhtälöille

Yksiavioisuus-of-tanglement-peli aliavaruuden kosettitiloihin

Abstraqt: Kvanttipiirien analyysi abstraktin stabilisaattorisimuloinnin avulla

Jälkivalittujen kvanttitilojen teleportaatio

Pulssipohjainen Variational Quantum Optimal Control hybridi-kvanttilaskentaan

Mittaushäiriö- ja säilymislait kvanttimekaniikassa

Nopeat kvanttilähestymistavat kombinatoriseen optimointiin optimaalisen tilansiirron inspiroimana

Kvanttitukivektorikoneiden monimutkaisuus

Tietoa meistä

Pystysuuntainen haku ja Ai

foorumi

Pysy yhteydessä

Tili