{"id":"https://openalex.org/W7083189286","doi":"https://doi.org/10.5281/zenodo.17190634","title":"Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification","display_name":"Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification","publication_year":2025,"publication_date":"2025-09-24","ids":{"openalex":"https://openalex.org/W7083189286","doi":"https://doi.org/10.5281/zenodo.17190634"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.17190634","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17190634","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.17190634","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Vinkhuijzen, Lieuwe","orcid":"https://orcid.org/0000-0002-8199-0901"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Vinkhuijzen, Lieuwe","raw_affiliation_strings":["Leiden University"],"raw_orcid":"https://orcid.org/0000-0002-8199-0901","affiliations":[{"raw_affiliation_string":"Leiden University","institution_ids":["https://openalex.org/I121797337"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Grurl, Thomas","orcid":"https://orcid.org/0000-0002-9278-488X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grurl, Thomas","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-9278-488X","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Hillmich, Stefan","orcid":"https://orcid.org/0000-0003-1089-3263"},"institutions":[{"id":"https://openalex.org/I4210126338","display_name":"Software Competence Center Hagenberg (Austria)","ror":"https://ror.org/02ks3nr96","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210126338"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Hillmich, Stefan","raw_affiliation_strings":["Software Competence Center Hagenberg (Austria)"],"raw_orcid":"https://orcid.org/0000-0003-1089-3263","affiliations":[{"raw_affiliation_string":"Software Competence Center Hagenberg (Austria)","institution_ids":["https://openalex.org/I4210126338"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Brand, Sebastiaan","orcid":"https://orcid.org/0000-0002-7666-2794"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brand, Sebastiaan","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7666-2794","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Wille, Robert","orcid":"https://orcid.org/0000-0002-4993-7860"},"institutions":[{"id":"https://openalex.org/I4210126338","display_name":"Software Competence Center Hagenberg (Austria)","ror":"https://ror.org/02ks3nr96","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210126338"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["AT","DE"],"is_corresponding":false,"raw_author_name":"Wille, Robert","raw_affiliation_strings":["Technical University of Munich","Software Competence Center Hagenberg (Austria)"],"raw_orcid":"https://orcid.org/0000-0002-4993-7860","affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Software Competence Center Hagenberg (Austria)","institution_ids":["https://openalex.org/I4210126338"]}]},{"author_position":"last","author":{"id":null,"display_name":"Laarman, Alfons","orcid":"https://orcid.org/0000-0002-2433-4174"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Laarman, Alfons","raw_affiliation_strings":["Leiden University"],"raw_orcid":"https://orcid.org/0000-0002-2433-4174","affiliations":[{"raw_affiliation_string":"Leiden University","institution_ids":["https://openalex.org/I121797337"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121797337"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T14339","display_name":"Image Processing and 3D Reconstruction","score":0.3001999855041504,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T14339","display_name":"Image Processing and 3D Reconstruction","score":0.3001999855041504,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13593","display_name":"Historical and Archaeological Studies","score":0.056699998676776886,"subfield":{"id":"https://openalex.org/subfields/1202","display_name":"History"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13621","display_name":"Ancient and Medieval Archaeology Studies","score":0.050700001418590546,"subfield":{"id":"https://openalex.org/subfields/1204","display_name":"Archeology"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5543000102043152},{"id":"https://openalex.org/keywords/influence-diagram","display_name":"Influence diagram","score":0.5236999988555908},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5181000232696533},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5073000192642212},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.48579999804496765},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.4226999878883362},{"id":"https://openalex.org/keywords/quantum-fourier-transform","display_name":"Quantum Fourier transform","score":0.4194999933242798},{"id":"https://openalex.org/keywords/quantum-simulator","display_name":"Quantum simulator","score":0.4081000089645386}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6782000064849854},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5543000102043152},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.5236999988555908},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5181000232696533},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5073000192642212},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.48579999804496765},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.4226999878883362},{"id":"https://openalex.org/C59500034","wikidata":"https://www.wikidata.org/wiki/Q1464944","display_name":"Quantum Fourier transform","level":5,"score":0.4194999933242798},{"id":"https://openalex.org/C161166931","wikidata":"https://www.wikidata.org/wiki/Q7269096","display_name":"Quantum simulator","level":4,"score":0.4081000089645386},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.4000000059604645},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.39399999380111694},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37779998779296875},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.36070001125335693},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.33079999685287476},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.3292999863624573},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3206999897956848},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.30970001220703125},{"id":"https://openalex.org/C102519508","wikidata":"https://www.wikidata.org/wiki/Q6520159","display_name":"Fourier transform","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.29580000042915344},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C190463098","wikidata":"https://www.wikidata.org/wiki/Q2081419","display_name":"Quantum technology","level":4,"score":0.27799999713897705},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.2759999930858612},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.2734000086784363}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.17190634","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17190634","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.17190634","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17190634","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Realizing":[0],"the":[1,18,66,116,138,144,185,239,257,262,267,282,304,315,322,329,348,354,360,404,409],"promised":[2],"advantage":[3],"of":[4,23,121,140,151,174,188,241,357],"quantum":[5,24,46,97,122,191,214],"computers":[6,9],"over":[7],"classical":[8],"requires":[10],"both":[11,45],"physical":[12],"devices":[13],"and":[14,21,48,119,143,164,194,196,261,303],"corresponding":[15],"methods":[16,311,363],"for":[17,65,111,115,190,393],"design,":[19,117],"verification":[20,118],"analysis":[22,120],"circuits.":[25,75,123,153],"In":[26,180],"this":[27,84,105,134,181,198,368],"regard,":[28],"decision":[29,57,113,141],"diagrams":[30,58,114,142],"have":[31,156,165],"proven":[32],"themselves":[33],"to":[34,40,43,61,102,223,237,343,391,407],"be":[35,80],"an":[36,172,399],"indispensable":[37],"tool":[38],"due":[39],"their":[41,175],"capability":[42],"represent":[44],"states":[47],"unitaries":[49],"(circuits)":[50],"compactly.":[51],"Nonetheless,":[52],"recent":[53],"results":[54],"show":[55],"that":[56,147,273,288,372],"can":[59,79],"grow":[60],"exponential":[62],"size":[63],"even":[64],"ubiquitous":[67],"stabilizer":[68,145,226,259,306],"states,":[69,256],"which":[70,210,216,394],"are":[71],"generated":[72],"by":[73,136],"Clifford":[74,77,89,152],"Since":[76],"circuits":[78,90,246,269,396],"efficiently":[81],"simulated":[82],"classically,":[83],"is":[85,205,230,340,389],"surprising.":[86],"Moreover,":[87],"since":[88,350],"play":[91],"a":[92,108,206,213,218,224,231,376,384],"crucial":[93],"role":[94],"in":[95,200,209],"many":[96],"computing":[98],"applications,":[99],"from":[100,367],"networking,":[101],"error":[103],"correction,":[104],"limitation":[106],"forms":[107],"major":[109],"obstacle":[110],"using":[112,247],"The":[124,203,228],"recently":[125],"proposed":[126],"Local":[127],"Invertible":[128],"Map":[129],"Decision":[130],"Diagram":[131],"(LIMDD)":[132],"solves":[133],"problem":[135],"combining":[137],"strengths":[139,240],"formalism":[146,260],"enables":[148],"efficient":[149],"simulation":[150,193,278,295,319,362],"However,":[154,280],"LIMDDs":[155,189,274,289,374,397],"only":[157],"been":[158,167],"introduced":[159],"on":[160,281,336],"paper":[161],"thus":[162],"far":[163],"not":[166,365,381],"implemented":[168],"yet":[169,382],"-":[170],"preventing":[171],"investigation":[173],"practical":[176,385],"capabilities":[177],"through":[178],"experiments.":[179],"work,":[182],"we":[183,211,270,286,325],"present":[184],"first":[186,204],"implementation":[187,199],"circuit":[192,215,349],"verification,":[195],"test":[197],"two":[201],"settings.":[202],"case":[207,284],"study":[208,285],"investigate":[212],"applies":[217],"Quantum":[219],"Fourier":[220],"Transform":[221],"(QFT)":[222],"random":[225],"state.":[227],"second":[229],"purely":[232],"artificial":[233],"circuit,":[234],"constructed":[235],"specifically":[236],"favor":[238],"LIMDDs.":[242],"We":[243,370],"simulate":[244],"these":[245,337],"five":[248],"methods:":[249,296],"LIMDDs,":[250],"existing":[251,297],"DDs":[252],"(QMDDs),":[253],"matrix":[254,299],"product":[255,300],"extended":[258,305],"state":[263,301,317,331],"vector":[264],"method.":[265,320],"On":[266,321],"artifical":[268],"unsurprisingly":[271],"find":[272,287,371],"beat":[275],"all":[276,309],"other":[277,323,361],"methods.":[279],"QFT":[283],"perform":[290,312],"better":[291,335],"than":[292,314],"three":[293],"alternative":[294],"DDs,":[298],"simulations":[302],"formalism,":[307],"while":[308,373],"four":[310],"worse":[313],"\"naive\"":[316],"vector-based":[318,332],"hand,":[324],"note":[326],"that,":[327],"although":[328],"latter":[330],"method":[333],"performed":[334],"benchmarks,":[338],"it":[339,351],"effectively":[341],"limited":[342],"30":[344],"qubits":[345],"no":[346],"matter":[347],"always":[352],"allocates":[353],"same":[355],"amount":[356],"memory,":[358],"whereas":[359],"do":[364,380],"suffer":[366],"limitation.":[369],"fill":[375,383],"theoretical":[377],"gap,":[378],"they":[379],"gap.":[386],"More":[387],"work":[388],"required":[390],"understand":[392],"real-world":[395],"offer":[398],"advantage.":[400],"This":[401],"repository":[402],"contains":[403],"files":[405],"necessary":[406],"reproduce":[408],"benchmark":[410],"results.":[411]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}