LIMDD: Et beslutningsdiagram til simulering af kvanteberegning inklusive stabilisatortilstande

Genudgivet af Platon

Abonnenter: 0

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

¹Leiden Universitet, Holland
²Delft University of Technology, Holland
³Networked Quantum Devices Unit, Okinawa Institute of Science and Technology Graduate University, Okinawa, Japan

Finder du denne artikel interessant eller vil du diskutere? Scite eller efterlade en kommentar på SciRate.

Abstrakt

Effektive metoder til repræsentation og simulering af kvantetilstande og kvanteoperationer er afgørende for optimering af kvantekredsløb. Beslutningsdiagrammer (DD'er), en velundersøgt datastruktur, der oprindeligt blev brugt til at repræsentere booleske funktioner, har vist sig i stand til at fange relevante aspekter af kvantesystemer, men deres grænser er ikke godt forstået. I dette arbejde undersøger og bygger vi bro mellem eksisterende DD-baserede strukturer og stabilisatorformalismen, et vigtigt værktøj til at simulere kvantekredsløb i det traktable regime. Vi viser først, at selvom DD'er blev foreslået kortfattet at repræsentere vigtige kvantetilstande, kræver de faktisk eksponentiel plads for visse stabilisatortilstande. For at afhjælpe dette introducerer vi en mere kraftfuld beslutningsdiagramvariant, kaldet Local Invertible Map-DD (LIMDD). Vi beviser, at sættet af kvantetilstande repræsenteret af poly-størrelse LIMDD'er strengt set indeholder foreningen af stabilisatortilstande og andre beslutningsdiagramvarianter. Endelig findes der kredsløb, som LIMDD'er effektivt kan simulere, mens deres outputtilstande ikke kan kortfattet repræsenteres af to avancerede simuleringsparadigmer: stabilisatornedbrydningsteknikkerne for Clifford + $T$-kredsløb og Matrix-Produkttilstande. Ved at forene to succesfulde tilgange baner LIMDD'er således vejen for fundamentalt mere kraftfulde løsninger til simulering og analyse af kvanteberegning.

LIMDD: Et beslutningsdiagram til simulering af kvanteberegning inklusive stabilisatortilstande PlatoBlockchain Data Intelligence. Lodret søgning. Ai.

Udvalgt billede: Venstre: Venn-diagram over sættet af kvantetilstande, der effektivt repræsenteres af LIMDD'er og flere andre formalismer. Til højre: Et eksempel på en LIMDD, som kompakt repræsenterer en $3$-qubit kvantetilstand.

Populært resumé

Klassisk simulering af et kvantekredsløb er en beregningsmæssigt vanskelig opgave. I en ligetil tilgang vokser hukommelseskravene til lagring af en beskrivelse af en kvantetilstand som $2^n$ for et $n$-qubit-kredsløb. Beslutningsdiagrammer løser dette problem ved at give en komprimeret repræsentation af en kvantetilstand. Grænserne for DD-baserede metoder blev dog ikke godt forstået. I dette arbejde undersøger og bygger vi bro mellem eksisterende DD-baserede strukturer og stabilisatorformalismen, et andet vigtigt værktøj til simulering af kvantekredsløb. Vi viser først, at selvom DD'er blev foreslået kortfattet at repræsentere vigtige kvantetilstande, kræver de faktisk eksponentiel plads for visse stabilisatortilstande. For at afhjælpe dette introducerer vi en mere kraftfuld beslutningsdiagramvariant, kaldet Local Invertible Map-DD (LIMDD). Vi beviser, at der er kvantekredsløb, som effektivt kan analyseres af LIMDD'er, men ikke ved eksisterende DD-baserede metoder, heller ikke stabilisatornedbrydningsteknikker eller matrixprodukttilstande. Ved at udnytte styrkerne ved både DD og stabilisatorformalismen i en strengt mere kortfattet datastruktur, baner LIMDD'er således vejen for fundamentalt mere kraftfuld simulering og analyse af kvanteberegning.

► BibTeX-data

@article{Vinkhuijzen2023limdddecision, doi = {10.22331/q-2023-09-11-1108}, url = {https://doi.org/10.22331/q-2023-09-11-1108}, titel = {{{2521} }: {A} {D}beslutnings-{D}iagram for {S}imulering af {Q}uantum {C}beregning {I}inklusive {S}tabilizer {S}tates}, forfatter = {Vinkhuijzen, Lieuwe og Coopmans, Tim og Elkouss, David og Dunjko, Vedran og Laarman, Alfons}, tidsskrift = {{Quantum}}, issn = {327-7X}, udgiver = {{Verein zur F{“{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, bind = {1108}, sider = {2023}, måned = sep, år = {XNUMX} }

► Referencer

[1] Alwin Zulehner og Robert Wille. "One-pass design af reversible kredsløb: Kombinerer indlejring og syntese til reversibel logik". 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 og Robert Wille. "Forbedret DD-baseret ækvivalenskontrol af kvantekredsløb". I 2020 25. Asia and South Pacific Design Automation Conference (ASP-DAC). Side 127-132. IEEE (2020).
https:///doi.org/10.1109/ASP-DAC47756.2020.9045153

[3] Lukas Burgholzer, Richard Kueng og Robert Wille. "Generering af tilfældig stimuli til verifikation af kvantekredsløb". I forbindelse med den 26. Asia and South Pacific Design Automation Conference. Side 767–772. (2021).
https:///doi.org/10.1145/3394885.3431590

[4] Lukas Burgholzer og Robert Wille. "Avanceret ækvivalenskontrol for kvantekredsløb". 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. "Quantum computing i NISQ-æraen og derefter". Quantum 2, 79 (2018).
https:///doi.org/10.48550/arXiv.1801.00862

[6] Daniel Gottesman. "Heisenberg-repræsentationen af kvantecomputere" (1998). url: arxiv.org/abs/quant-ph/9807006.
arXiv:quant-ph/9807006

[7] Scott Aaronson og Daniel Gottesman. "Forbedret simulering af stabilisatorkredsløb". Fysisk gennemgang A 70 (2004).
https:///doi.org/10.1103/physreva.70.052328

[8] Daniel Gottesman. "Stabilisatorkoder og kvantefejlkorrektion". Ph.d.-afhandling. California Institute of Technology. (1997).
https:///doi.org/10.48550/arXiv.quant-ph/9705052
arXiv:quant-ph/9705052

[9] Maarten Van den Nest, Jeroen Dehaene og Bart De Moor. "Lokal enheds- versus lokal Clifford-ækvivalens af stabilisatorstater". Phys. Rev. A 71, 062323 (2005).
https:///doi.org/10.1103/PhysRevA.71.062323

[10] Matthias Englbrecht og Barbara Kraus. "Symmetrier og sammenfiltring af stabilisatortilstande". Phys. Rev. A 101, 062302 (2020).
https:///doi.org/10.1103/PhysRevA.101.062302

[11] Robert Raussendorf og Hans J. Briegel. "En envejs kvantecomputer". Phys. Rev. Lett. 86, 5188-5191 (2001).
https:///doi.org/10.1103/PhysRevLett.86.5188

[12] Sergey Bravyi, Graeme Smith og John A. Smolin. "Handel med klassiske og kvanteberegningsressourcer". Phys. Rev. X 6, 021043 (2016).
https:///doi.org/10.1103/PhysRevX.6.021043

[13] Sergey Bravyi og David Gosset. "Forbedret klassisk simulering af kvantekredsløb domineret af Clifford gates". 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 og Mark Howard. "Simulering af kvantekredsløb ved stabilisatornedbrydninger med lav rang". Quantum 3, 181 (2019).
https://doi.org/10.22331/q-2019-09-02-181

[15] Yifei Huang og Peter Love. "Omtrentlig stabilisatorrangering og forbedret svag simulering af Clifford-dominerede kredsløb til qudits". Phys. Rev. A 99, 052307 (2019).
https:///doi.org/10.1103/PhysRevA.99.052307

[16] Lucas Kocia og Peter Love. "Stationær fasemetode i diskrete Wigner-funktioner og klassisk simulering af kvantekredsløb". Quantum 5, 494 (2021).
https://doi.org/10.22331/q-2021-07-05-494

[17] Lucas Kocia og Mohan Sarovar. "Klassisk simulering af kvantekredsløb ved hjælp af færre gaussiske elimineringer". Physical Review A 103, 022603 (2021).
https:///doi.org/10.1103/PhysRevA.103.022603

[18] Sheldon B. Akers. "Binære beslutningsdiagrammer". IEEE Computer Architecture Letters 27, 509-516 (1978).
https:///doi.org/10.1109/TC.1978.1675141

[19] Randal E. Bryant. "Grafbaserede algoritmer til boolesk funktionsmanipulation". IEEE Trans. Computers 35, 677-691 (1986).
https:///doi.org/10.1109/TC.1986.1676819

[20] Randal E Bryant og Yirng-An Chen. "Verifikation af aritmetiske kredsløb med binære momentdiagrammer". I 32. Design Automation Conference. Side 535–541. IEEE (1995).
https:///doi.org/10.1109/DAC.1995.250005

[21] GF Viamontes, IL Markov og JP Hayes. "Højtydende QuIDD-baseret simulering af kvantekredsløb". I Proceedings Design, Automation and Test in Europe Conference and Exhibition. Bind 2, side 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 og F. Somenzi. "Algebraiske beslutningsdiagrammer og deres anvendelser". I Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). Side 188–191. (1993).
https:///doi.org/10.1109/ICCAD.1993.580054

[23] George F Viamontes, Igor L Markov og John P Hayes. "Forbedring af gate-niveau simulering af kvantekredsløb". Quantum Information Processing 2, 347-380 (2003).
https:///doi.org/10.1023/B:QINP.0000022725.70000.4a

[24] Masahiro Fujita, Patrick C. McGeer og JC-Y Yang. "Multi-terminal binære beslutningsdiagrammer: En effektiv datastruktur til matrixrepræsentation". Formelle metoder i systemdesign 10, 149–169 (1997).
https://doi.org/10.1023/A:1008647823331

[25] EM Clarke, KL McMillan, X Zhao, M. Fujita og J. Yang. "Spektral transformation til store booleske funktioner med applikationer til teknologikortlægning". I forbindelse med den 30. Internationale Design Automation Conference. Side 54-60. DAC '93New York, NY, USA (1993). Foreningen for Datamaskiner.
https:///doi.org/10.1145/157485.164569

[26] Scott Sanner og David McAllester. "Affine algebraiske beslutningsdiagrammer (AADD'er) og deres anvendelse på struktureret probabilistisk inferens". I Proceedings of the 19th International Joint Conference on Artificial Intelligence. Side 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 og Mitchell A Thornton. "QMDD: En beslutningsdiagramstruktur for reversible og kvantekredsløb". I 36. Internationalt Symposium om Multiple-Valued Logic (ISMVL'06). Side 30-30. IEEE (2006).
https://doi.org/10.1109/ISMVL.2006.35

[28] Alwin Zulehner og Robert Wille. "Avanceret simulering af kvanteberegninger". 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 og Mingsheng Ying. "Et tensornetværk baseret beslutningsdiagram til repræsentation af kvantekredsløb". ACM Trans. Des. Autom. Elektron. Syst. 27 (2022).
https:///doi.org/10.1145/3514355

[30] Stefan Hillmich, Richard Kueng, Igor L. Markov og Robert Wille. "Så præcist som nødvendigt, så effektivt som muligt: Approksimationer i DD-baseret kvantekredsløbssimulering". In Design, Automation & Test in Europe Conference & Exhibition, DATO 2021, Grenoble, Frankrig, 1.-5. februar 2021. Side 188-193. IEEE (2021).
https:///doi.org/10.23919/DATE51398.2021.9474034

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

[32] Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou og Sanjiang Li. "Omtrentlig ækvivalenskontrol af støjende kvantekredsløb". I 2021 58. ACM/IEEE Design Automation Conference (DAC). Side 637–642. (2021).
https:///doi.org/10.1109/DAC18074.2021.9586214

[33] Hans J. Briegel og Robert Raussendorf. "Vedholdende sammenfiltring i arrays af interagerende partikler". Phys. Rev. Lett. 86, 910-913 (2001).
https:///doi.org/10.1103/PhysRevLett.86.910

[34] Wolfgang Dür, Guifre Vidal og J Ignacio Cirac. "Tre qubits kan vikles ind på to ensartede måder". 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 og Andreas Winter. "Alt, hvad du altid har ønsket at vide om LOCC (men var bange for at spørge)". Communications in Mathematical Physics 328, 303–326 (2014).
https:///doi.org/10.48550/arXiv.1210.4583

[36] Steven R White. "Densitetsmatrixformulering til kvantenormaliseringsgrupper". Physical review letters 69, 2863 (1992).
https:///doi.org/10.1103/PhysRevLett.69.2863

[37] D. Perez-Garcia, F. Verstraete, MM Wolf og JI Cirac. "Matrix produkttilstandsrepræsentationer". Quantum Information & Computation 7, 401–430 (2007).
https:///doi.org/10.48550/arXiv.2011.12127

[38] Guifré Vidal. "Effektiv klassisk simulering af let sammenfiltrede kvanteberegninger". Physical review letters 91, 147902 (2003).
https:///doi.org/10.48550/arXiv.quant-ph/0301063
arXiv:quant-ph/0301063

[39] Adnan Darwiche og Pierre Marquis. "Et vidensamlingskort". Journal of Artificial Intelligence Research 17, 229-264 (2002).
https:///doi.org/10.5555/1622810.1622817

[40] Karl S Brace, Richard L Rudell og Randal E Bryant. "Effektiv implementering af en BDD-pakke". I Proceedings of the 27th ACM/IEEE design automation conference. Side 40-45. (1991).
https:///doi.org/10.1145/123186.123222

[41] Donald Ervin Knuth. "Kunsten at programmere computer. bind 4, fascikel 1”. Addison-Wesley. (2005).
https://doi.org/10.1090/s0002-9904-1973-13173-8

[42] Fabio Somenzi. "Effektiv manipulation af beslutningsdiagrammer". International Journal on Software Tools for Technology Transfer 3, 171–181 (2001).
https://doi.org/10.1007/s100090100042

[43] Koenraad MR Audenaert og Martin B Plenio. "Forviklinger på blandede stabilisatortilstande: normale former og reduktionsprocedurer". 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 og HJ Briegel. "Forviklinger i graftilstande og dens anvendelser". I Proceedings af International School of Physics "Enrico Fermi". Bind bind 162: Kvantecomputere, algoritmer og kaos. IOS Press (2006).
https://doi.org/10.3254/978-1-61499-018-5-115

[45] Scott Aaronson. "Multilineære formler og skepsis over for kvanteberegning". I Proceedings of the Tredive-Sixth Annual ACM Symposium on Theory of Computing. Side 118–127. STOC '04New York, NY, USA (2004). Foreningen for Datamaskiner.
https:///doi.org/10.1145/1007352.1007378

[46] Sergey Bravyi og Alexei Kitaev. "Universal kvanteberegning med ideelle Clifford-porte og støjende ancillas". Phys. Rev. A 71, 022316 (2005).
https:///doi.org/10.1103/PhysRevA.71.022316

[47] Charles H Bennett, Herbert J Bernstein, Sandu Popescu og Benjamin Schumacher. "Koncentrering af delvis sammenfiltring af lokale operationer". Physical Review A 53, 2046 (1996).
https:///doi.org/10.48550/arXiv.quant-ph/9511030
arXiv:quant-ph/9511030

[48] David Y Feinstein og Mitchell A Thornton. "Om de springede variabler af kvante-multiværdibeslutningsdiagrammer". I 2011 41. IEEE International Symposium on Multiple-Valued Logic. Side 164–169. IEEE (2011).
https://doi.org/10.1109/ISMVL.2011.22

[49] Richard J Lipton, Donald J Rose og Robert Endre Tarjan. "Generaliseret indlejret dissektion". SIAM tidsskrift om numerisk analyse 16, 346–358 (1979).
https:///doi.org/10.5555/892164

[50] M. Van den Nest, W. Dür, G. Vidal og HJ Briegel. "Klassisk simulering versus universalitet i målebaseret kvanteberegning". Phys. Rev. A 75, 012337 (2007).
https:///doi.org/10.1103/PhysRevA.75.012337

[51] Vít Jelínek. "Rangbredden af det firkantede gitter". Diskret anvendt matematik 158, 841–850 (2010).
https://doi.org/10.1007/978-3-540-92248-3_21

[52] Hélene Fargier, Pierre Marquis, Alexandre Niveau og Nicolas Schmidt. "Et videnssamlingskort for bestilte beslutningsdiagrammer med virkelig værdi". I Proceedings of the AAAI Conference on Artificial Intelligence. Bind 28. (2014).
https:///doi.org/10.1609/aaai.v28i1.8853

[53] Robert W Floyd. "Tildeling af betydninger til programmer". I programverifikation. Side 65-81. Springer (1993).
https://doi.org/10.1007/978-94-011-1793-7_4

[54] JW De Bakker og Lambert GLT Meertens. "Om fuldstændigheden af den induktive påstandsmetode". Journal of Computer and System Sciences 11, 323-357 (1975).
https://doi.org/10.1016/S0022-0000(75)80056-0

[55] Ingo Wegener. "Forgreningsprogrammer og binære beslutningsdiagrammer: teori og applikationer". SIAM. (2000).
https:///doi.org/10.1137/1.9780898719789

[56] James McClung. "Konstruktioner og anvendelser af W-stater". Ph.d.-afhandling. Worcester Polytechnic Institute. (2020).

[57] Srinivasan Arunachalam, Sergey Bravyi, Chinmay Nirkhe og Bryan O'Gorman. "Den parametriserede kompleksitet af kvanteverifikation" (2022).
https:///doi.org/10.4230/LIPIcs.TQC.2022.3

[58] Aleks Kissinger og John van de Wetering. "Reduktion af T-tælling med ZX-regningen" (2019).
https:///doi.org/10.1103/PhysRevA.102.022406

[59] Himanshu Thapliyal, Edgard Munoz-Coreas, TSS Varun og Travis S Humble. "Kvantekredsløbsdesign af heltalsdeling, der optimerer T-tælling og T-dybde". IEEE-transaktioner om nye emner inden for computing 9, 1045-1056 (2019).
https:///doi.org/10.48550/arXiv.1809.09732

[60] Wang Jian, Zhang Quan og Tang Chao-Jing. "Kvantesikker kommunikationsordning med W-tilstand". Communications in Theoretical Physics 48, 637 (2007).
https://doi.org/10.1088/0253-6102/48/4/013

[61] Wen Liu, Yong-Bin Wang og Zheng-Tao Jiang. "En effektiv protokol til kvante-privat sammenligning af lighed med W-stat". Optics Communications 284, 3160–3163 (2011).
https:///doi.org/10.1016/j.optcom.2011.02.017

[62] Victoria Lipinska, Gláucia Murta og Stephanie Wehner. "Anonym transmission i et støjende kvantenetværk ved hjælp af ${W}$-tilstanden". Phys. Rev. A 98, 052320 (2018).
https:///doi.org/10.1103/PhysRevA.98.052320

[63] Paul Tafertshofer og Massoud Pedram. "Factored edge-valued binære beslutningsdiagrammer". Formelle metoder i systemdesign 10, 243-270 (1997).
https://doi.org/10.1023/A:1008691605584

[64] Meghana Sistla, Swarat Chaudhuri og Thomas Reps. "CFLOBDDs: Kontekstfrit-sprog bestilte binære beslutningsdiagrammer" (2023). arXiv:2211.06818.
arXiv: 2211.06818

[65] Meghana Sistla, Swarat Chaudhuri og Thomas Reps. "Symbolisk kvantesimulering med quasimodo". I Constantin Enea og Akash Lal, redaktører, Computer Aided Verification. Side 213–225. Cham (2023). Springer Nature Schweiz.
https://doi.org/10.1007/978-3-031-37709-9_11

[66] Rajeev Alur og P. Madhusudan. "Synligt pushdown-sprog". I Proceedings of the Tredive-Sixth Annual ACM Symposium on Theory of Computing. Side 202–211. STOC '04New York, NY, USA (2004). Foreningen for Datamaskiner.
https:///doi.org/10.1145/1007352.1007390

[67] Meghana Sistla, Swarat Chaudhuri og Thomas Reps. "Vægtede kontekstfrit-sprog bestilte binære beslutningsdiagrammer" (2023). arXiv:2305.13610.
arXiv: 2305.13610

[68] Adnan Darwiche. "SDD: en ny kanonisk repræsentation af propositionelle vidensbaser". I Proceedings af den 2011. internationale fælles konference om kunstig intelligens - bind XNUMX. . AAAI Press (XNUMX).

[69] Doga Kisa, Guy Van den Broeck, Arthur Choi og Adnan Darwiche. "Probabilistiske domsafgørelsesdiagrammer". I Proceedings of the Fourteenth International Conference on Principles of Knowledge Reasoning and Reasoning. Side 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 og Masaaki Nishino. "Variabel skift SDD: Et mere kortfattet sætningsbeslutningsdiagram". I Simone Faro og Domenico Cantone, redaktører, 18th International Symposium on Experimental Algorithms (SEA 2020). Bind 160 af Leibniz International Proceedings in Informatics (LIPIcs), side 22:1–22:13. Dagstuhl, Tyskland (2020). Schloss Dagstuhl–Leibniz-Zentrum für Informatik.
https:///doi.org/10.4230/LIPIcs.SEA.2020.22

[71] Wolfgang Gunther og Rolf Drechsler. "Minimering af bdds ved hjælp af lineære transformationer baseret på evolutionære teknikker". I 1999 IEEE International Symposium on Circuits and Systems (ISCAS). Bind 1, side 387–390. IEEE (1999).
https:///doi.org/10.1109/ISCAS.1999.777884

[72] Barbara M. Terhal og David P. DiVincenzo. "Klassisk simulering af ikke-interagerende fermion kvantekredsløb". Phys. Rev. A 65, 032325 (2002).
https:///doi.org/10.1103/PhysRevA.65.032325

[73] Richard Jozsa og Akimasa Miyake. "Matchgates og klassisk simulering af kvantekredsløb". Proceedings: Matematiske, fysiske og ingeniørvidenskabelige videnskaber, sider 3089–3106 (2008).
https:///doi.org/10.1098/rspa.2008.0189

[74] Martin Hebenstreit, Richard Jozsa, Barbara Kraus og Sergii Strelchuk. "Computational power of matchgates med supplerende ressourcer". Physical Review A 102, 052604 (2020).
https:///doi.org/10.1103/PhysRevA.102.052604

[75] Roman Orús. "En praktisk introduktion til tensornetværk: Matrix-produkttilstande og projekterede sammenfiltrede partilstande". Annals of Physics 349, 117-158 (2014).
https:///doi.org/10.1016/j.aop.2014.06.013

[76] Bob Coecke og Ross Duncan. "Interagerende kvante observerbare: kategorisk algebra og diagrammatik". New Journal of Physics 13, 043016 (2011).
https://doi.org/10.1007/978-3-540-70583-3_25

[77] Renaud Vilmart. "Quantum multiple-valued decision diagrams in graphical calculi" (2021). arXiv:2107.01186.
arXiv: 2107.01186

[78] Richard Rudell. "Dynamisk variabel bestilling for ordnede binære beslutningsdiagrammer". I Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). Side 42-47. IEEE (1993).
https:///doi.org/10.1109/ICCAD.1993.580029

[79] Ewout van den Berg og Kristan Temme. Kredsløbsoptimering af Hamilton-simulering ved samtidig diagonalisering af Pauli-klynger. Quantum 4, 322 (2020).
https://doi.org/10.22331/q-2020-09-12-322

[80] Eugene M Luks, Ferenc Rákóczi og Charles RB Wright. "Nogle algoritmer til nilpotente permutationsgrupper". 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 og Georg Schnitger. "Om multi-partitions kommunikationskompleksitet". Information og beregning 194, 49–75 (2004).
https:///doi.org/10.1016/j.ic.2004.05.002

[82] Hector J. Garcia, Igor L. Markov og Andrew W. Cross. "Effektiv indre produktalgoritme til stabilisatortilstande" (2012). arXiv:1210.6646.
arXiv: 1210.6646

[83] "Stabranksearcher: kode til at finde (øvre grænser til) stabilisatorrangen for en kvantetilstand". https:///github.com/timcp/StabRankSearcher (2021).
https:///github.com/timcp/StabRankSearcher

[84] Padraic Calpin. "Udforsker kvanteberegning gennem linsen af klassisk simulering". Ph.d.-afhandling. UCL (University College London). (2020).
https://doi.org/10.5555/AAI28131047

Citeret af

[1] Dimitrios Thanos, Tim Coopmans og Alfons Laarman, "Hurtig ækvivalenskontrol af kvantekredsløb af Clifford-porte", arXiv: 2308.01206, (2023).

[2] Robert Wille, Stefan Hillmich og Lukas Burgholzer, "Værktøjer til kvanteberegning baseret på beslutningsdiagrammer", arXiv: 2108.07027, (2021).

Ovenstående citater er fra SAO/NASA ADS (sidst opdateret 2023-09-12 14:57:20). Listen kan være ufuldstændig, da ikke alle udgivere leverer passende og fuldstændige citatdata.

On Crossrefs citeret af tjeneste ingen data om at citere værker blev fundet (sidste forsøg 2023-09-12 14:57:15).

Dette papir er udgivet i Quantum under Creative Commons Attribution 4.0 International (CC BY 4.0) licens. Ophavsretten forbliver hos de originale copyright-indehavere, såsom forfatterne eller deres institutioner.

SEO Powered Content & PR Distribution. Bliv forstærket i dag.
PlatoData.Network Vertical Generative Ai. Styrk dig selv. Adgang her.
PlatoAiStream. Web3 intelligens. Viden forstærket. Adgang her.
PlatoESG. Automotive/elbiler, Kulstof, CleanTech, Energi, Miljø, Solenergi, Affaldshåndtering. Adgang her.
PlatoHealth. Bioteknologiske og kliniske forsøgs intelligens. Adgang her.
ChartPrime. Løft dit handelsspil med ChartPrime. Adgang her.
BlockOffsets. Modernisering af miljømæssig offset-ejerskab. Adgang her.
Kilde: https://quantum-journal.org/papers/q-2023-09-11-1108/

Tidsstempel: September 11, 2023

Tidsstempel: Jan 11, 2024

LIMDD: Et beslutningsdiagram til simulering af kvanteberegning inklusive stabilisatortilstande

Genudgivet af Platon

Abstrakt

Populært resumé

► BibTeX-data

► Referencer

Citeret af

Mere fra Quantum Journal

Robust udvinding af termiske observerbare elementer fra tilstandsprøvetagning og realtidsdynamik på kvantecomputere

Kvantesimulering med just-in-time kompilering

Tidsmarchbaserede kvanteløsere til tidsafhængige lineære differentialligninger

Et monogami-of-entanglement-spil til subspace coset-tilstande

Abstraqt: Analyse af kvantekredsløb via abstrakt stabilisatorsimulering

Teleportering af post-udvalgte kvantestater

Pulsbaseret Variational Quantum Optimal Control til hybrid kvanteberegning

Måleforstyrrelser og bevarelseslove i kvantemekanik

Hurtige kvantetilgange til kombinatorisk optimering inspireret af optimal tilstandsoverførsel

Kompleksiteten af kvantestøttevektormaskiner

Om os

Vertikal søgning & Ai

perron

Stay Connected

Konto