Advanced Simulation of Quantum Computations
Quantum computation is a promising emerging technology which, compared to conventional computation, allows for substantial speed-ups, e.g., for integer factorization or database search. However, since physical realizations of quantum computers are in their infancy, a significant amount of research i...
Uložené v:
| Vydané v: | IEEE transactions on computer-aided design of integrated circuits and systems Ročník 38; číslo 5; s. 848 - 859 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
New York
IEEE
01.05.2019
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Predmet: | |
| ISSN: | 0278-0070, 1937-4151 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Quantum computation is a promising emerging technology which, compared to conventional computation, allows for substantial speed-ups, e.g., for integer factorization or database search. However, since physical realizations of quantum computers are in their infancy, a significant amount of research in this domain still relies on simulations of quantum computations on conventional machines. This causes a significant complexity which current state-of-the-art simulators try to tackle with a rather straight forward array-based representation and by applying massive hardware power. There also exist solutions based on decision diagrams (i.e., graph-based approaches) that try to tackle the exponential complexity by exploiting redundancies in quantum states and operations. However, these existing approaches do not fully exploit redundancies that are actually present. In this paper, we revisit the basics of quantum computation, investigate how corresponding quantum states and quantum operations can be represented even more compactly, and, eventually, simulated in a more efficient fashion. This leads to a new graph-based simulation approach which outperforms state-of-the-art simulators (array-based as well as graph-based). Experimental evaluations show that the proposed solution is capable of simulating quantum computations for more qubits than before, and in significantly less run-time (several magnitudes faster compared to previously proposed simulators). An implementation of the proposed simulator is publicly available online at http://iic.jku.at/eda/research/quantum_simulation . |
|---|---|
| AbstractList | Quantum computation is a promising emerging technology which, compared to conventional computation, allows for substantial speed-ups, e.g., for integer factorization or database search. However, since physical realizations of quantum computers are in their infancy, a significant amount of research in this domain still relies on simulations of quantum computations on conventional machines. This causes a significant complexity which current state-of-the-art simulators try to tackle with a rather straight forward array-based representation and by applying massive hardware power. There also exist solutions based on decision diagrams (i.e., graph-based approaches) that try to tackle the exponential complexity by exploiting redundancies in quantum states and operations. However, these existing approaches do not fully exploit redundancies that are actually present. In this paper, we revisit the basics of quantum computation, investigate how corresponding quantum states and quantum operations can be represented even more compactly, and, eventually, simulated in a more efficient fashion. This leads to a new graph-based simulation approach which outperforms state-of-the-art simulators (array-based as well as graph-based). Experimental evaluations show that the proposed solution is capable of simulating quantum computations for more qubits than before, and in significantly less run-time (several magnitudes faster compared to previously proposed simulators). An implementation of the proposed simulator is publicly available online at http://iic.jku.at/eda/research/quantum_simulation . |
| Author | Wille, Robert Zulehner, Alwin |
| Author_xml | – sequence: 1 givenname: Alwin orcidid: 0000-0003-2258-4118 surname: Zulehner fullname: Zulehner, Alwin email: alwin.zulehner@jku.at organization: Institute for Integrated Circuits, Johannes Kepler University Linz, Linz, Austria – sequence: 2 givenname: Robert orcidid: 0000-0002-4993-7860 surname: Wille fullname: Wille, Robert organization: Institute for Integrated Circuits, Johannes Kepler University Linz, Linz, Austria |
| BookMark | eNp9kM1Lw0AQxRepYFv9A8RLwKOkzuxHdvdY4icURKznZZvdQEqTrdlE8L83NcWDB2FgYHi_ebw3I5MmNJ6QS4QFIujbdb68W1BAtaCKcU7lCZmiZjLlKHBCpkClSgEknJFZjFsA5ILqKblZuk_bFN4lb1Xd72xXhSYJZfLa26br6yQP9b7vfs7xnJyWdhf9xXHPyfvD_Tp_Slcvj8_5cpUWVLMupY75EvUwm1JKB0WZSVWApUxhRq12m42z2qsMMkTqQFrpuNIOrXdOIGNzcj3-3bfho_exM9vQt81gaSjFIRxyEIMKR1XRhhhbX5p9W9W2_TII5tCJOXRiDp2YYycDI_8wRTWG61pb7f4lr0ay8t7_OikmhBacfQMV5G97 |
| CODEN | ITCSDI |
| CitedBy_id | crossref_primary_10_1007_s11128_023_03955_w crossref_primary_10_14778_3725688_3725701 crossref_primary_10_1109_JETCAS_2022_3205174 crossref_primary_10_1007_s42514_023_00145_z crossref_primary_10_1007_s11128_020_02713_6 crossref_primary_10_1109_ACCESS_2024_3519676 crossref_primary_10_1145_3591270 crossref_primary_10_1109_TCAD_2020_2977603 crossref_primary_10_1007_s11227_024_06836_w crossref_primary_10_1002_qute_202500223 crossref_primary_10_1145_3712711 crossref_primary_10_1007_s11128_020_02816_0 crossref_primary_10_1145_3491248 crossref_primary_10_1109_TCAD_2022_3197969 crossref_primary_10_1145_3474223 crossref_primary_10_1145_3716313 crossref_primary_10_1145_3491246 crossref_primary_10_1109_ACCESS_2023_3323847 crossref_primary_10_1142_S2010324724400046 crossref_primary_10_1145_3530776 crossref_primary_10_1109_TCAD_2020_3032630 crossref_primary_10_1145_3725728 crossref_primary_10_1109_TETC_2025_3572935 crossref_primary_10_1145_3548679 crossref_primary_10_1016_j_hssust_2025_05_005 crossref_primary_10_1145_3651157 crossref_primary_10_1007_s00607_025_01547_3 crossref_primary_10_4218_etrij_2021_0442 crossref_primary_10_1145_3514355 crossref_primary_10_1007_s11128_024_04580_x crossref_primary_10_1111_cgf_14827 crossref_primary_10_1103_3q71_y8cf crossref_primary_10_1109_TCAD_2022_3182628 crossref_primary_10_1007_s11082_024_07492_3 crossref_primary_10_1007_s11128_023_04160_5 crossref_primary_10_1145_3704868 |
| Cites_doi | 10.1126/science.aad9480 10.1109/TC.1986.1676819 10.1109/MSPEC.2018.8322045 10.1109/ASPDAC.2014.6742938 10.1109/TCAD.2017.2729468 10.1109/ICCAD.1988.122451 10.1109/ISMVL.2009.19 10.1145/2491956.2462177 10.1007/978-90-481-3065-8 10.1073/pnas.1618020114 10.1007/978-3-319-08494-7_16 10.1137/S0097539795293172 10.1023/B:QINP.0000022725.70000.4a 10.1145/237814.237866 10.1007/978-3-319-08494-7_17 10.1038/nphys1453 10.1038/nature10786 10.1109/TCAD.2004.823342 10.1109/DATE.2004.1269084 10.1109/ISMVL.2016.30 10.1109/MSPEC.2017.7934217 10.1038/nature18648 10.1109/TCAD.2015.2459034 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2019 |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2019 |
| DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
| DOI | 10.1109/TCAD.2018.2834427 |
| DatabaseName | IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE/IET Electronic Library CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1937-4151 |
| EndPage | 859 |
| ExternalDocumentID | 10_1109_TCAD_2018_2834427 8355954 |
| Genre | orig-research |
| GrantInformation_xml | – fundername: Google funderid: 10.13039/100006785 |
| GroupedDBID | --Z -~X 0R~ 29I 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD HZ~ H~9 IBMZZ ICLAB IFIPE IFJZH IPLJI JAVBF LAI M43 O9- OCL P2P PZZ RIA RIE RNS TN5 VH1 VJK AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c293t-2d3ef19f19bf77d0cf678c0a238162a9dbbda9e8606112d07a7d489d1aedd5133 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 89 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000466037700006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0278-0070 |
| IngestDate | Mon Jun 30 10:27:47 EDT 2025 Sat Nov 29 01:40:41 EST 2025 Tue Nov 18 22:24:34 EST 2025 Wed Aug 27 02:47:17 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 5 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html https://doi.org/10.15223/policy-029 https://doi.org/10.15223/policy-037 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c293t-2d3ef19f19bf77d0cf678c0a238162a9dbbda9e8606112d07a7d489d1aedd5133 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0002-4993-7860 0000-0003-2258-4118 |
| PQID | 2214421405 |
| PQPubID | 85470 |
| PageCount | 12 |
| ParticipantIDs | ieee_primary_8355954 proquest_journals_2214421405 crossref_primary_10_1109_TCAD_2018_2834427 crossref_citationtrail_10_1109_TCAD_2018_2834427 |
| PublicationCentury | 2000 |
| PublicationDate | 2019-05-01 |
| PublicationDateYYYYMMDD | 2019-05-01 |
| PublicationDate_xml | – month: 05 year: 2019 text: 2019-05-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | IEEE transactions on computer-aided design of integrated circuits and systems |
| PublicationTitleAbbrev | TCAD |
| PublicationYear | 2019 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| References | ref35 ref13 ref12 ref15 ref36 ref31 nielsen (ref18) 2000 niemann (ref24) 2017 ref33 ref32 ref10 khammassi (ref14) 2017 niemann (ref22) 2018 ref17 ref16 ref19 samoladas (ref27) 2008 beauregard (ref3) 2003; 3 (ref2) 2018 wecker (ref34) 2014; abs 1402 4467 ref23 ref26 ref20 häner (ref11) 2016 pednault (ref25) 2017 ref21 (ref1) 2018 ref28 steiger (ref30) 2016; abs 1612 8091 smelyanskiy (ref29) 2016; abs 1601 7195 ref8 ref7 ref9 ref4 ref6 ref5 |
| References_xml | – ident: ref17 doi: 10.1126/science.aad9480 – ident: ref4 doi: 10.1109/TC.1986.1676819 – ident: ref8 doi: 10.1109/MSPEC.2018.8322045 – year: 2000 ident: ref18 publication-title: Quantum Computation and Quantum Information – ident: ref20 doi: 10.1109/ASPDAC.2014.6742938 – ident: ref36 doi: 10.1109/TCAD.2017.2729468 – ident: ref16 doi: 10.1109/ICCAD.1988.122451 – year: 2017 ident: ref25 article-title: Breaking the 49-qubit barrier in the simulation of quantum circuits publication-title: arXiv preprint arXiv 1710 05867 – ident: ref35 doi: 10.1109/ISMVL.2009.19 – ident: ref9 doi: 10.1145/2491956.2462177 – ident: ref33 doi: 10.1007/978-90-481-3065-8 – ident: ref15 doi: 10.1073/pnas.1618020114 – volume: abs 1612 8091 year: 2016 ident: ref30 article-title: ProjectQ: An open source software framework for quantum computing publication-title: CoRR – ident: ref21 doi: 10.1007/978-3-319-08494-7_16 – start-page: 597 year: 2018 ident: ref22 article-title: Improved synthesis of Clifford+T quantum functionality publication-title: Proc Design Autom Test Europe – ident: ref28 doi: 10.1137/S0097539795293172 – start-page: 720 year: 2008 ident: ref27 article-title: Improved BDD algorithms for the simulation of quantum circuits publication-title: Proc Eur Symp Algorithms – ident: ref31 doi: 10.1023/B:QINP.0000022725.70000.4a – ident: ref10 doi: 10.1145/237814.237866 – ident: ref13 doi: 10.1007/978-3-319-08494-7_17 – year: 2018 ident: ref1 publication-title: The GNU MPFR Library – ident: ref12 doi: 10.1038/nphys1453 – ident: ref26 doi: 10.1038/nature10786 – ident: ref7 doi: 10.1109/TCAD.2004.823342 – ident: ref32 doi: 10.1109/DATE.2004.1269084 – start-page: 74 year: 2016 ident: ref11 article-title: High performance emulation of quantum circuits publication-title: Proc Int Conf High Perform Comput Netw Storage Anal – ident: ref19 doi: 10.1109/ISMVL.2016.30 – start-page: 214 year: 2017 ident: ref24 article-title: Efficient construction of QMDDS for irreversible, reversible, and quantum functions publication-title: Proc Int Conf Reversible Comput – ident: ref5 doi: 10.1109/MSPEC.2017.7934217 – year: 2018 ident: ref2 publication-title: IBM Q – volume: abs 1402 4467 year: 2014 ident: ref34 article-title: LIQUi $\vert $ >: A software design architecture and domain-specific language for quantum computing publication-title: CoRR – volume: abs 1601 7195 year: 2016 ident: ref29 article-title: qHiPSTER: The quantum high performance software testing environment publication-title: CoRR – ident: ref6 doi: 10.1038/nature18648 – start-page: 464 year: 2017 ident: ref14 article-title: QX: A high-performance quantum computer simulation platform publication-title: Proc Design Autom Test Europe – volume: 3 start-page: 175 year: 2003 ident: ref3 article-title: Circuit for Shor's algorithm using 2n+3 qubits publication-title: Quantum Inf Comput – ident: ref23 doi: 10.1109/TCAD.2015.2459034 |
| SSID | ssj0014529 |
| Score | 2.610208 |
| Snippet | Quantum computation is a promising emerging technology which, compared to conventional computation, allows for substantial speed-ups, e.g., for integer... |
| SourceID | proquest crossref ieee |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 848 |
| SubjectTerms | Complexity Complexity theory Computation Computational modeling Computer simulation Decision diagrams Hardware Integrated circuit modeling New technology quantum computation Quantum computers Quantum computing Quantum theory Qubits (quantum computing) Redundancy Simulation Simulators State of the art |
| Title | Advanced Simulation of Quantum Computations |
| URI | https://ieeexplore.ieee.org/document/8355954 https://www.proquest.com/docview/2214421405 |
| Volume | 38 |
| WOSCitedRecordID | wos000466037700006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE/IET Electronic Library customDbUrl: eissn: 1937-4151 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0014529 issn: 0278-0070 databaseCode: RIE dateStart: 19820101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH5sw4Me_DXF6ZQePKndsrRdmqOIw4MMxQm7lSwvhYHbZFv9-81LszJQBKGFHpKSfEn7Xt5Lvg_gmseJ5jpKwsQ682GMPA2V4jpEzgQKxfJcOXb9ZzEcpuOxfKnBXXUWxhjjNp-ZDj26XD4udEGhsq71FhKZxHWoC9Evz2pVGQNKILp4CjHG2nnsM5g9Jrsj2ynaxJV2OKlKkIDMlg1yoio__sTOvAwO_tewQ9j3bmRwX477EdTM_Bj2tsgFm3B779P7wdt05kW6gkUevBYWzGIWlHoOZcDuBN4Hj6OHp9BLI4Ta2ud1yDEyeU_aa5ILgUzn1uhopsgA97mSOJmgkia1yxPrUCETSmCcSuwpg0iSLqfQmC_m5gwCcsFQ2eajiGJM0Xp8kYqQ93OmExbJFrANWJn2vOEkX_GRufUDkxnhmxG-mce3BTdVlc-SNOOvwk0CtCrosWxBezMimf-sVhkngjd7s-T891oXsGvfLcsdiW1orJeFuYQd_bWerpZXbsZ8A-vLu94 |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH7MKagHf01xOrUHT2q3LG3X5jjEMXEOxQm7hSwvhYHbZFv9-03SrAwUQWihh4QmX9K-l_eS7wO4pmEkqQwiP9LOvB8iTXwhqPSRkhhjQdJUWHb9XtzvJ8MheynBXXEWRillN5-punm0uXycycyEyhraW4hYFG7AZhSGlOSntYqcgUkh2oiK4YzVM9nlMJuENQa6W2YbV1KnRlfCSMisWSErq_LjX2wNTGf_f007gD3nSHrtfOQPoaSmR7C7Ri9Ygdu2S_B7b-OJk-nyZqn3mmk4s4mXKzrkIbtjeO88DO67vhNH8KW20EufYqDSJtPXKI1jJDLVZkcSYUxwiwqGoxEKphK9QNEuFZJYxBgmDJtCIRpRlxMoT2dTdQqeccJQ6OZjHISYoPb5AhEgbaVERiRgVSArsLh0zOFGwOKD2xUEYdzgyw2-3OFbhZuiymdOm_FX4YoBtCjosKxCbTUi3H1YC04NxZu-SXT2e60r2O4Onnu899h_Oocd_R6W70-sQXk5z9QFbMmv5Xgxv7Sz5xvhB78l |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Advanced+Simulation+of+Quantum+Computations&rft.jtitle=IEEE+transactions+on+computer-aided+design+of+integrated+circuits+and+systems&rft.au=Zulehner%2C+Alwin&rft.au=Wille%2C+Robert&rft.date=2019-05-01&rft.pub=The+Institute+of+Electrical+and+Electronics+Engineers%2C+Inc.+%28IEEE%29&rft.issn=0278-0070&rft.eissn=1937-4151&rft.volume=38&rft.issue=5&rft.spage=848&rft_id=info:doi/10.1109%2FTCAD.2018.2834427&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0278-0070&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0278-0070&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0278-0070&client=summon |