LIMDD: Diagram decyzyjny do symulacji obliczeń kwantowych, w tym stanów stabilizatora

LIMDD: Diagram decyzyjny do symulacji obliczeń kwantowych, w tym stanów stabilizatora

Znacznik czasu: 11 września 2023 9:39

Lieuwe Vinkhuijzen1, Tima Coopmansa1,2, Dawid Elkouss2,3, Vedran Dunjko1, Alfonsa Laarmana1

1Leiden University, Holandia
2Politechnika w Delft, Holandia
3Jednostka Sieciowych Urządzeń Kwantowych, Uniwersytet Okinawski Instytutu Nauki i Technologii, Okinawa, Japonia

Czy ten artykuł jest interesujący czy chcesz dyskutować? Napisz lub zostaw komentarz do SciRate.

Abstrakcyjny

Efektywne metody reprezentacji i symulacji stanów kwantowych oraz operacji kwantowych są kluczowe dla optymalizacji obwodów kwantowych. Diagramy decyzyjne (DD), dobrze zbadana struktura danych pierwotnie używana do reprezentowania funkcji boolowskich, okazały się zdolne do uchwycenia istotnych aspektów układów kwantowych, ale ich ograniczenia nie są dobrze poznane. W tej pracy badamy i wypełniamy lukę między istniejącymi strukturami opartymi na DD a formalizmem stabilizatora, ważnym narzędziem do symulacji obwodów kwantowych w możliwym do zastosowania reżimie. Najpierw pokazujemy, że chociaż sugerowano, że DD zwięźle reprezentują ważne stany kwantowe, w rzeczywistości wymagają one przestrzeni wykładniczej dla niektórych stanów stabilizatora. Aby temu zaradzić, wprowadzamy bardziej wydajny wariant diagramu decyzyjnego, zwany lokalną odwracalną mapą-DD (LIMDD). Udowodniliśmy, że zbiór stanów kwantowych reprezentowany przez wielowymiarowe LIMDD ściśle zawiera sumę stanów stabilizatora i innych wariantów diagramów decyzyjnych. Wreszcie istnieją obwody, które LIMDD mogą skutecznie symulować, podczas gdy ich stanów wyjściowych nie można zwięźle przedstawić za pomocą dwóch najnowocześniejszych paradygmatów symulacji: technik rozkładu stabilizatora dla obwodów Clifford + $ T $ i stanów produktu macierzowego. Łącząc dwa udane podejścia, LIMDD torują drogę zasadniczo potężniejszym rozwiązaniom do symulacji i analizy obliczeń kwantowych.

LIMDD: Diagram decyzyjny do symulacji obliczeń kwantowych obejmujący stany stabilizatorów PlatoBlockchain Data Intelligence. Wyszukiwanie pionowe. AI.

Wyróżniony obraz: Po lewej: diagram Venna zbioru stanów kwantowych efektywnie reprezentowanych przez LIMDD i kilka innych formalizmów. Po prawej: przykład LIMDD, który zwięźle reprezentuje stan kwantowy o wartości 3 $-kubitu.

Popularne podsumowanie

Klasyczna symulacja obwodu kwantowego jest zadaniem trudnym obliczeniowo. W prostym podejściu wymagania dotyczące pamięci do przechowywania opisu stanu kwantowego rosną o 2^n$ dla obwodu $n$-kubitowego. Diagramy decyzyjne rozwiązują ten problem, zapewniając skompresowaną reprezentację stanu kwantowego. Jednakże ograniczenia metod opartych na DD nie zostały dobrze poznane. W tej pracy badamy i wypełniamy lukę między istniejącymi strukturami opartymi na DD a formalizmem stabilizatora, kolejnym ważnym narzędziem do symulacji obwodów kwantowych. Najpierw pokazujemy, że chociaż sugerowano, że DD zwięźle reprezentują ważne stany kwantowe, w rzeczywistości wymagają one przestrzeni wykładniczej dla niektórych stanów stabilizatora. Aby temu zaradzić, wprowadzamy bardziej wydajny wariant diagramu decyzyjnego, zwany lokalną odwracalną mapą-DD (LIMDD). Udowodniliśmy, że istnieją obwody kwantowe, które można skutecznie analizować za pomocą LIMDD, ale nie za pomocą istniejących metod opartych na DD, technik rozkładu stabilizatorów ani stanów produktów matrycy. Wykorzystując zalety zarówno DD, jak i formalizmu stabilizatora w ściślej zwięzłej strukturze danych, LIMDD torują drogę do zasadniczo potężniejszej symulacji i analizy obliczeń kwantowych.

► Dane BibTeX

► Referencje

[1] Alwina Zulehnera i Roberta Wille’a. „Jednoprzebiegowy projekt obwodów odwracalnych: połączenie osadzania i syntezy dla logiki odwracalnej”. Transakcje IEEE dotyczące komputerowego wspomagania projektowania układów scalonych i systemów 37, 996–1008 (2017).
https: / / doi.org/ 10.1109 / TCAD.2017.2729468

[2] Lukas Burgholzer i Robert Wille. „Ulepszone sprawdzanie równoważności obwodów kwantowych w oparciu o DD”. W 2020 r. 25. Konferencja Automatyki Projektowania Azji i Południowego Pacyfiku (ASP-DAC). Strony 127–132. IEEE (2020).
https://​/​doi.org/​10.1109/​ASP-DAC47756.2020.9045153

[3] Lukas Burgholzer, Richard Kueng i Robert Wille. „Losowe generowanie bodźców do weryfikacji obwodów kwantowych”. W materiałach z 26. konferencji poświęconej automatyzacji projektowania Azji i Południowego Pacyfiku. Strony 767–772. (2021).
https: / / doi.org/ 10.1145 / 3394885.3431590

[4] Lukas Burgholzer i Robert Wille. „Zaawansowane sprawdzanie równoważności obwodów kwantowych”. Transakcje IEEE dotyczące komputerowego wspomagania projektowania układów scalonych i systemów 40, 1810–1824 (2020).
https://​/​doi.org/​10.48550/​arXiv.2004.08420

[5] Johna Preskilla. „Obliczenia kwantowe w erze NISQ i poza nią”. Kwant 2, 79 (2018).
https://​/​doi.org/​10.48550/​arXiv.1801.00862

[6] Daniela Gottesmana. „Reprezentacja Heisenberga komputerów kwantowych” (1998). adres URL: arxiv.org/​abs/​quant-ph/​9807006.
arXiv: quant-ph / 9807006

[7] Scotta Aaronsona i Daniela Gottesmana. „Ulepszona symulacja obwodów stabilizatora”. Przegląd fizyczny A 70 (2004).
https: / / doi.org/ 10.1103 / physreva.70.052328

[8] Daniela Gottesmana. „Kody stabilizujące i korekcja błędów kwantowych”. Praca doktorska. Instytut Technologiczny w Kalifornii. (1997).
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​9705052
arXiv: quant-ph / 9705052

[9] Maarten Van den Nest, Jeroen Dehaene i Bart De Moor. „Lokalna unitarność a lokalna równoważność stanów stabilizacyjnych Clifforda”. Fiz. Rev. A 71, 062323 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.062323

[10] Matthiasa Englbrechta i Barbary Kraus. „Symetrie i splątanie stanów stabilizacyjnych”. Fiz. Rev. A 101, 062302 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.101.062302

[11] Roberta Raussendorfa i Hansa J. Briegla. „Jednokierunkowy komputer kwantowy”. fizyka Wielebny Lett. 86, 5188-5191 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.5188

[12] Sergey Bravyi, Graeme Smith i John A. Smolin. „Handel klasycznymi i kwantowymi zasobami obliczeniowymi”. Fiz. Rev. X 6, 021043 (2016).
https: / / doi.org/ 10.1103 / PhysRevX.6.021043

[13] Siergiej Bravyi i David Gosset. „Ulepszona klasyczna symulacja obwodów kwantowych zdominowanych przez bramki Clifforda”. Fiz. Wielebny Lett. 116, 250501 (2016).
https: / / doi.org/ 10.1103 / PhysRevLett.116.250501

[14] Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset i Mark Howard. „Symulacja obwodów kwantowych poprzez rozkłady stabilizatorów niskiego stopnia”. Kwant 3, 181 (2019).
https:/​/​doi.org/​10.22331/​q-2019-09-02-181

[15] Yifei Huang i Peter Love. „Przybliżony stopień stabilizatora i ulepszona słaba symulacja obwodów zdominowanych przez Clifforda dla quditów”. Fiz. Rev. A 99, 052307 (2019).
https: / / doi.org/ 10.1103 / PhysRevA.99.052307

[16] Lucas Kocia i Peter Love. „Metoda fazy stacjonarnej w dyskretnych funkcjach Wignera i klasyczna symulacja obwodów kwantowych”. Kwant 5, 494 (2021).
https:/​/​doi.org/​10.22331/​q-2021-07-05-494

[17] Lucas Kocia i Mohan Sarovar. „Klasyczna symulacja obwodów kwantowych przy użyciu mniejszej liczby eliminacji Gaussa”. Przegląd fizyczny A 103, 022603 (2021).
https: / / doi.org/ 10.1103 / PhysRevA.103.022603

[18] Sheldona B. Akersa. „Binarne diagramy decyzyjne”. IEEE Computer Architecture Letters 27, 509–516 (1978).
https: / / doi.org/ 10.1109 / TC.1978.1675141

[19] Randala E. Bryanta. „Algorytmy oparte na grafach do manipulacji funkcjami Boole’a”. IEEE Trans. Komputery 35, 677–691 (1986).
https: / / doi.org/ 10.1109 / TC.1986.1676819

[20] Randal E. Bryant i Yirng-An Chen. „Weryfikacja obwodów arytmetycznych za pomocą binarnych diagramów momentów”. Na 32. Konferencji Design Automation. Strony 535–541. IEEE (1995).
https://​/​doi.org/​10.1109/​DAC.1995.250005

[21] GF Viamontes, IL Markov i JP Hayes. „Wysokowydajna symulacja obwodów kwantowych oparta na QuIDD”. W Proceedings Design, Automation and Test in Europe Konferencja i wystawa. Tom 2, strony 1354–1355, tom 2. (2004).
https: // doi.org/ 10.1109 / DATE.2004.1269084

[22] RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E. Macii, A. Pardo i F. Somenzi. „Algebraiczne diagramy decyzyjne i ich zastosowania”. W materiałach z 1993 r. Międzynarodowej konferencji na temat projektowania wspomaganego komputerowo (ICCAD). Strony 188–191. (1993).
https://​/​doi.org/​10.1109/​ICCAD.1993.580054

[23] George F. Viamontes, Igor L. Markov i John P. Hayes. „Poprawa symulacji obwodów kwantowych na poziomie bramki”. Kwantowe przetwarzanie informacji 2, 347–380 (2003).
https://​/​doi.org/​10.1023/​B:QINP.0000022725.70000.4a

[24] Masahiro Fujita, Patrick C. McGeer i JC-Y Yang. „Wieloterminalne binarne diagramy decyzyjne: wydajna struktura danych do reprezentacji macierzowej”. Metody formalne w projektowaniu systemów 10, 149–169 (1997).
https: / / doi.org/ 10.1023 / A: 1008647823331

[25] EM Clarke, KL McMillan, X Zhao, M. Fujita i J. Yang. „Przekształcenia widmowe dla dużych funkcji boolowskich z zastosowaniem do mapowania technologii”. W materiałach 30. Międzynarodowej Konferencji Automatyzacji Projektowania. Strony 54–60. DAC '93Nowy Jork, NY, USA (1993). Stowarzyszenie Maszyn Obliczeniowych.
https: / / doi.org/ 10.1145 / 157485.164569

[26] Scotta Sannera i Davida McAllestera. „Algebraiczne diagramy decyzyjne afiniczne (AADD) i ich zastosowanie do strukturalnego wnioskowania probabilistycznego”. W materiałach 19. Międzynarodowej Wspólnej Konferencji na temat sztucznej inteligencji. Strony 1384–1390. IJCAI'05San Francisco, Kalifornia, USA (2005). Morgan Kaufmann Publishers Inc. adres URL: www.ijcai.org/​Proceedings/​05/​Papers/​1439.pdf.
https://​/​www.ijcai.org/​Proceedings/​05/​Papers/​1439.pdf

[27] D Michael Miller i Mitchell A. Thornton. „QMDD: Struktura diagramu decyzyjnego dla obwodów odwracalnych i kwantowych”. W 36. Międzynarodowym Sympozjum na temat logiki wielowartościowej (ISMVL'06). Strony 30–30. IEEE (2006).
https://​/​doi.org/​10.1109/​ISMVL.2006.35

[28] Alwina Zulehnera i Roberta Wille’a. „Zaawansowana symulacja obliczeń kwantowych”. Transakcje IEEE dotyczące komputerowego wspomagania projektowania układów scalonych i systemów 38, 848–859 (2018).
https://​/​doi.org/​10.48550/​arXiv.1707.00865

[29] Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng i Mingsheng Ying. „Schemat decyzyjny oparty na sieci tensorowej do reprezentacji obwodów kwantowych”. ACM Trans. Des. Automat. Elektron. System. 27 (2022).
https: / / doi.org/ 10.1145 / 3514355

[30] Stefan Hillmich, Richard Kueng, Igor L. Markov i Robert Wille. „Tak dokładne, jak potrzebne, tak wydajne, jak to możliwe: przybliżenia w symulacji obwodów kwantowych opartej na DD”. In Design, Automation & Test in Europe Konferencja i wystawa, DATA 2021, Grenoble, Francja, 1–5 lutego 2021 r. Strony 188–193. IEEE (2021).
https://​/​doi.org/​10.23919/​DATE51398.2021.9474034

[31] George F. Viamontes, Igor L. Markov i John P. Hayes. „Symulacja obwodu kwantowego”. Springer Nauka i media biznesowe. (2009).
https:/​/​doi.org/​10.1007/​978-90-481-3065-8

[32] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou i Sanjiang Li. „Przybliżone sprawdzanie równoważności zaszumionych obwodów kwantowych”. W 2021 r. 58. konferencja ACM/​IEEE Design Automation (DAC). Strony 637–642. (2021).
https://​/​doi.org/​10.1109/​DAC18074.2021.9586214

[33] Hansa J. Briegela i Roberta Raussendorfa. „Trwałe splątanie w układach oddziałujących cząstek”. Fiz. Wielebny Lett. 86, 910–913 (2001).
https: / / doi.org/ 10.1103 / PhysRevLett.86.910

[34] Wolfgang Dür, Guifre Vidal i J. Ignacio Cirac. „Trzy kubity można splątać na dwa nierównoważne sposoby”. Przegląd fizyczny 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 i Andreas Winter. „Wszystko, co zawsze chcieliście wiedzieć o LOCC (ale baliście się zapytać)”. Komunikacja w fizyce matematycznej 328, 303–326 (2014).
https://​/​doi.org/​10.48550/​arXiv.1210.4583

[36] Stevena R. White'a. „Sformułowanie macierzy gęstości dla grup renormalizacji kwantowej”. Listy z przeglądu fizycznego 69, 2863 (1992).
https: / / doi.org/ 10.1103 / PhysRevLett.69.2863

[37] D. Perez-Garcia, F. Verstraete, MM Wolf i JI Cirac. „Macierzowe reprezentacje stanów produktów”. Informacje i obliczenia kwantowe 7, 401–430 (2007).
https://​/​doi.org/​10.48550/​arXiv.2011.12127

[38] Guifre Vidal. „Efektywna klasyczna symulacja lekko splątanych obliczeń kwantowych”. Listy z przeglądu fizycznego 91, 147902 (2003).
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​0301063
arXiv: quant-ph / 0301063

[39] Adnana Darwiche’a i Pierre’a Marquisa. „Mapa kompilacji wiedzy”. Journal of Artificial Intelligence Research 17, 229–264 (2002).
https: / / doi.org/ 10.5555 / 1622810.1622817

[40] Karl S. Brace, Richard L. Rudell i Randal E. Bryant. „Efektywna implementacja pakietu BDD”. W materiałach z 27. konferencji ACM/​IEEE poświęconej automatyzacji projektowania. Strony 40–45. (1991).
https: / / doi.org/ 10.1145 / 123186.123222

[41] Donalda Ervina Knutha. „Sztuka programowania komputerów. tom 4, zeszyt 1”. Addisona-Wesleya. (2005).
https:/​/​doi.org/​10.1090/​s0002-9904-1973-13173-8

[42] Fabio Somenziego. „Efektywna manipulacja diagramami decyzyjnymi”. International Journal on Software Tools for Technology Transfer 3, 171–181 (2001).
https: / / doi.org/ 10.1007 / s100090100042

[43] Koenraad MR Audenaert i Martin B. Plenio. „Splątanie w mieszanych stanach stabilizatora: formy normalne i procedury redukcyjne”. New Journal of Physics 7, 170 (2005). Adres URL:.
https:/​/​doi.org/​10.1088/​1367-2630/​7/​1/​170

[44] Marc Hein, Wolfgang Dür, Jens Eisert, Robert Raussendorf, M Nest i HJ Briegel. „Splątanie w stanach grafowych i jego zastosowania”. W Proceedings of the International School of Physics „Enrico Fermi”. Tom Tom 162: Komputery kwantowe, algorytmy i chaos. Prasa IOS (2006).
https:/​/​doi.org/​10.3254/​978-1-61499-018-5-115

[45] Scotta Aaronsona. „Wzory wieloliniowe i sceptycyzm obliczeń kwantowych”. W materiałach z trzydziestego szóstego dorocznego sympozjum ACM na temat teorii informatyki. Strony 118–127. STOC '04Nowy Jork, NY, USA (2004). Stowarzyszenie Maszyn Obliczeniowych.
https: / / doi.org/ 10.1145 / 1007352.1007378

[46] Siergiej Bravyi i Aleksiej Kitajew. „Uniwersalne obliczenia kwantowe z idealnymi bramkami Clifforda i hałaśliwymi ancillasami”. Fiz. Rev. A 71, 022316 (2005).
https: / / doi.org/ 10.1103 / PhysRevA.71.022316

[47] Charles H. Bennett, Herbert J. Bernstein, Sandu Popescu i Benjamin Schumacher. „Koncentracja częściowego splątania przez operacje lokalne”. Przegląd fizyczny A 53, 2046 (1996).
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​9511030
arXiv: quant-ph / 9511030

[48] David Y Feinstein i Mitchell A Thornton. „O pomijanych zmiennych kwantowych wielowartościowych diagramach decyzyjnych”. W 2011 r. 41. Międzynarodowe Sympozjum IEEE na temat logiki wielowartościowej. Strony 164–169. IEEE (2011).
https://​/​doi.org/​10.1109/​ISMVL.2011.22

[49] Richarda J. Liptona, Donalda J. Rose’a i Roberta Endre Tarjana. „Uogólniona sekcja zagnieżdżona”. Czasopismo SIAM dotyczące analizy numerycznej 16, 346–358 (1979).
https: / / doi.org/ 10.5555 / 892164

[50] M. Van den Nest, W. Dür, G. Vidal i HJ Briegel. „Klasyczna symulacja a uniwersalność w obliczeniach kwantowych opartych na pomiarach”. Fiz. Rev. A 75, 012337 (2007).
https: / / doi.org/ 10.1103 / PhysRevA.75.012337

[51] Wit Jelínek. „Szerokość rang siatki kwadratowej”. Dyskretna matematyka stosowana 158, 841–850 (2010).
https:/​/​doi.org/​10.1007/​978-3-540-92248-3_21

[52] Hélene Fargier, Pierre Marquis, Alexandre Niveau i Nicolas Schmidt. „Mapa kompilacji wiedzy dla uporządkowanych diagramów decyzyjnych o wartościach rzeczywistych”. W materiałach konferencji AAAI na temat sztucznej inteligencji. Tom 28. (2014).
https: // doi.org/ 10.1609 / aaai.v28i1.8853

[53] Roberta W Floyda. „Nadawanie znaczeń programom”. W weryfikacji programu. Strony 65–81. Springera (1993).
https:/​/​doi.org/​10.1007/​978-94-011-1793-7_4

[54] JW De Bakkera i Lamberta GLT Meertensa. „O kompletności indukcyjnej metody twierdzenia”. Journal of Computer and System Sciences 11, 323–357 (1975).
https:/​/​doi.org/​10.1016/​S0022-0000(75)80056-0

[55] Ingo Wegenera. „Programy rozgałęziające i binarne diagramy decyzyjne: teoria i zastosowania”. SYJAM. (2000).
https: / / doi.org/ 10.1137 / 1.9780898719789

[56] Jamesa McClunga. „Konstrukcje i zastosowania stanów W”. Praca doktorska. Instytut Politechniczny w Worcester. (2020).

[57] Srinivasan Arunachalam, Sergey Bravyi, Chinmay Nirkhe i Bryan O'Gorman. „Sparametryzowana złożoność weryfikacji kwantowej” (2022).
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2022.3

[58] Aleks Kissinger i John van de Wetering. „Zmniejszanie liczby T za pomocą rachunku ZX” (2019).
https: / / doi.org/ 10.1103 / PhysRevA.102.022406

[59] Himanshu Thapliyal, Edgard Munoz-Coreas, TSS Varun i Travis S. Humble. „Projekty obwodów kwantowych z dzieleniem liczb całkowitych optymalizujące liczbę T i głębokość T”. Transakcje IEEE dotyczące nowych tematów w informatyce 9, 1045–1056 (2019).
https://​/​doi.org/​10.48550/​arXiv.1809.09732

[60] Wang Jian, Zhang Quan i Tang Chao-Jing. „Schemat bezpiecznej komunikacji kwantowej ze stanem W”. Komunikacja w fizyce teoretycznej 48, 637 (2007).
https:/​/​doi.org/​10.1088/​0253-6102/​48/​4/​013

[61] Wen Liu, Yong-Bin Wang i Zheng-Tao Jiang. „Efektywny protokół kwantowego prywatnego porównania równości ze stanem W”. Komunikacja optyczna 284, 3160–3163 (2011).
https: // doi.org/ 10.1016 / j.optcom.2011.02.017

[62] Wiktoria Lipińska, Gláucia Murta i Stephanie Wehner. „Anonimowa transmisja w zaszumionej sieci kwantowej z wykorzystaniem stanu ${W}$”. Fiz. Rev. A 98, 052320 (2018).
https: / / doi.org/ 10.1103 / PhysRevA.98.052320

[63] Paula Tafertshofera i Massouda Pedrama. „Faktoryzowane binarne diagramy decyzyjne o wartościach krawędziowych”. Metody formalne w projektowaniu systemów 10, 243–270 (1997).
https: / / doi.org/ 10.1023 / A: 1008691605584

[64] Meghana Sistla, Swarat Chaudhuri i Thomas Reps. „CFLOBDD: Binarne diagramy decyzyjne uporządkowane bezkontekstowo” (2023). arXiv:2211.06818.
arXiv: 2211.06818

[65] Meghana Sistla, Swarat Chaudhuri i Thomas Reps. „Symboliczna symulacja kwantowa za pomocą quasimodo”. W: Constantin Enea i Akash Lal, redaktorzy, Weryfikacja wspomagana komputerowo. Strony 213–225. Czam (2023). Springer Natura Szwajcaria.
https:/​/​doi.org/​10.1007/​978-3-031-37709-9_11

[66] Rajeev Alur i P. Madhusudan. „Widocznie języki przesuwające się w dół”. W materiałach z trzydziestego szóstego dorocznego sympozjum ACM na temat teorii informatyki. Strony 202–211. STOC '04Nowy Jork, NY, USA (2004). Stowarzyszenie Maszyn Obliczeniowych.
https: / / doi.org/ 10.1145 / 1007352.1007390

[67] Meghana Sistla, Swarat Chaudhuri i Thomas Reps. „Ważone, bezkontekstowe, uporządkowane binarne diagramy decyzyjne w języku” (2023). arXiv:2305.13610.
arXiv: 2305.13610

[68] Adnana Darwiche’a. „SDD: nowa reprezentacja kanoniczna propozycji baz wiedzy”. W materiałach z dwudziestej drugiej międzynarodowej wspólnej konferencji na temat sztucznej inteligencji – tom drugi. . Prasa AAAI (2011).

[69] Doga Kisa, Guy Van den Broeck, Arthur Choi i Adnan Darwiche. „Probabilistyczne diagramy decyzji zdaniowych”. W materiałach z XIV Międzynarodowej Konferencji na temat zasad reprezentacji wiedzy i rozumowania. Strony 558–567. KR'14. Prasa AAAI (2014). adres 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 i Masaaki Nishino. „Zmienne przesunięcie SDD: bardziej zwięzły diagram decyzji zdaniowej”. W: Simone Faro i Domenico Cantone, redaktorzy, 18. Międzynarodowe Sympozjum na temat algorytmów eksperymentalnych (SEA 2020). Tom 160 Leibniz International Proceedings in Informatics (LIPIcs), strony 22:1–22:13. Dagstuhl, Niemcy (2020). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
https://​/​doi.org/​10.4230/​LIPIcs.SEA.2020.22

[71] Wolfganga Gunthera i Rolfa Drechslera. „Minimalizacja bdds za pomocą przekształceń liniowych opartych na technikach ewolucyjnych”. W 1999 r. Międzynarodowe Sympozjum IEEE na temat obwodów i systemów (ISCAS). Tom 1, strony 387–390. IEEE (1999).
https://​/​doi.org/​10.1109/​ISCAS.1999.777884

[72] Barbara M. Terhal i David P. DiVincenzo. „Klasyczna symulacja obwodów kwantowych nieoddziałujących fermionów”. Fiz. Rev. A 65, 032325 (2002).
https: / / doi.org/ 10.1103 / PhysRevA.65.032325

[73] Richarda Jozsy i Akimasy Miyake. „Bramy zapałek i klasyczna symulacja obwodów kwantowych”. Proceedings: Mathematical, Physical and Engineering Sciences, strony 3089–3106 (2008).
https: / / doi.org/ 10.1098 / rspa.2008.0189

[74] Martin Hebenstreit, Richard Jozsa, Barbara Kraus i Sergii Strelchuk. „Moc obliczeniowa bramek zapałkowych z zasobami dodatkowymi”. Przegląd fizyczny A 102, 052604 (2020).
https: / / doi.org/ 10.1103 / PhysRevA.102.052604

[75] Roman Orús. „Praktyczne wprowadzenie do sieci tensorowych: macierzowe stany iloczynowe i rzutowane stany par splątanych”. Annals of Physics 349, 117–158 (2014).
https: / / doi.org/ 10.1016 / j.aop.2014.06.013

[76] Boba Coecke i Rossa Duncana. „Interakcja obserwabli kwantowych: algebra kategorialna i diagramy”. New Journal of Physics 13, 043016 (2011).
https:/​/​doi.org/​10.1007/​978-3-540-70583-3_25

[77] Renauda Vilmarta. „Kwantowe wielowartościowe diagramy decyzyjne w rachunku graficznym” (2021). arXiv:2107.01186.
arXiv: 2107.01186

[78] Ryszarda Rudella. „Dynamiczne porządkowanie zmiennych dla uporządkowanych binarnych diagramów decyzyjnych”. W materiałach z 1993 r. Międzynarodowej konferencji na temat projektowania wspomaganego komputerowo (ICCAD). Strony 42–47. IEEE (1993).
https://​/​doi.org/​10.1109/​ICCAD.1993.580029

[79] Ewout van den Berg i Kristan Temme. „Optymalizacja obwodu symulacji Hamiltona poprzez jednoczesną diagonalizację klastrów Pauliego”. Kwant 4, 322 (2020).
https:/​/​doi.org/​10.22331/​q-2020-09-12-322

[80] Eugene M. Luks, Ferenc Rákóczi i Charles RB Wright. „Niektóre algorytmy dla nilpotentnych grup permutacyjnych”. 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 i Georg Schnitger. „O złożoności komunikacji wielopartyjnej”. Informacje i obliczenia 194, 49–75 (2004).
https: / / doi.org/ 10.1016 / j.ic.2004.05.002

[82] Hector J. Garcia, Igor L. Markov i Andrew W. Cross. „Efektywny algorytm iloczynu wewnętrznego dla stanów stabilizatora” (2012). arXiv:1210.6646.
arXiv: 1210.6646

[83] „Stabranksearcher: kod do znajdowania (górnych granic) rangi stabilizatora stanu kwantowego”. https://​/​github.com/​timcp/​StabRankSearcher (2021).
https://​/​github.com/​timcp/​StabRankSearcher

[84] Padraic Calpin. „Odkrywanie obliczeń kwantowych przez pryzmat klasycznej symulacji”. Praca doktorska. UCL (University College London). (2020).
https://​/​doi.org/​10.5555/​AAI28131047

Cytowany przez

[1] Dimitrios Thanos, Tim Coopmans i Alfons Laarman, „Szybkie sprawdzanie równoważności obwodów kwantowych bramek Clifforda”, arXiv: 2308.01206, (2023).

[2] Robert Wille, Stefan Hillmich i Lukas Burgholzer, „Narzędzia do obliczeń kwantowych w oparciu o diagramy decyzyjne”, arXiv: 2108.07027, (2021).

Powyższe cytaty pochodzą z Reklamy SAO / NASA (ostatnia aktualizacja pomyślnie 2023-09-12 14:57:20). Lista może być niekompletna, ponieważ nie wszyscy wydawcy podają odpowiednie i pełne dane cytowania.

On Serwis cytowany przez Crossref nie znaleziono danych na temat cytowania prac (ostatnia próba 2023-09-12 14:57:15).

Niniejszy artykuł opublikowano w Quantum pod Creative Commons Uznanie autorstwa 4.0 Międzynarodowe (CC BY 4.0) licencja. Prawa autorskie należą do pierwotnych właścicieli praw autorskich, takich jak autorzy lub ich instytucje.

Znak czasu:

Więcej z Dziennik kwantowy