{"id":"https://openalex.org/W4406552075","doi":"https://doi.org/10.1145/3712711","title":"Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams","display_name":"Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams","publication_year":2025,"publication_date":"2025-01-18","ids":{"openalex":"https://openalex.org/W4406552075","doi":"https://doi.org/10.1145/3712711"},"language":"en","primary_location":{"id":"doi:10.1145/3712711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3712711","pdf_url":null,"source":{"id":"https://openalex.org/S4210170170","display_name":"ACM Transactions on Quantum Computing","issn_l":"2643-6809","issn":["2643-6809","2643-6817"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Quantum Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3712711","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012129773","display_name":"Lukas Burgholzer","orcid":"https://orcid.org/0000-0003-4699-1316"},"institutions":[{"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":["DE"],"is_corresponding":false,"raw_author_name":"Lukas Burgholzer","raw_affiliation_strings":["Technical University of Munich, Munchen, Germany","Chair for Design Automation, Technical University of Munich, Munchen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4699-1316","affiliations":[{"raw_affiliation_string":"Technical University of Munich, Munchen, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Chair for Design Automation, Technical University of Munich, Munchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102917406","display_name":"Antonio Jim\u00e9nez-Pastor","orcid":"https://orcid.org/0000-0002-6096-0623"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Antonio Jimenez-Pastor","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","Universidad Polit\u00e9cnica de Madrid,  Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-6096-0623","affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid,  Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kim Guldstrand Larsen","raw_affiliation_strings":["Aalborg Universitet, Aalborg, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-5953-3384","affiliations":[{"raw_affiliation_string":"Aalborg Universitet, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037431084","display_name":"Mirco Tribastone","orcid":"https://orcid.org/0000-0002-6018-5989"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mirco Tribastone","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy"],"raw_orcid":"https://orcid.org/0000-0002-6018-5989","affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090729724","display_name":"Max Tschaikowski","orcid":"https://orcid.org/0000-0002-6186-8669"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Max Tschaikowski","raw_affiliation_strings":["Computer Science, Aalborg Universitet, Aalborg, Denmark","Computer Science, Aalborg Universitet, Aalborg Denmark"],"raw_orcid":"https://orcid.org/0000-0002-6186-8669","affiliations":[{"raw_affiliation_string":"Computer Science, Aalborg Universitet, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Computer Science, Aalborg Universitet, Aalborg Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004214923","display_name":"Robert Wille","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":"Robert Wille","raw_affiliation_strings":["Technical University of Munich, Munchen, Germany and Software Competence Center Hagenberg GmbH, Hagenberg, Austria","Software Competence Center Hagenberg GmbH, Hagenberg, Austria","Technical University of Munich, Munchen Germany"],"raw_orcid":"https://orcid.org/0000-0002-4993-7860","affiliations":[{"raw_affiliation_string":"Technical University of Munich, Munchen, Germany and Software Competence Center Hagenberg GmbH, Hagenberg, Austria","institution_ids":["https://openalex.org/I4210126338"]},{"raw_affiliation_string":"Software Competence Center Hagenberg GmbH, Hagenberg, Austria","institution_ids":["https://openalex.org/I4210126338"]},{"raw_affiliation_string":"Technical University of Munich, Munchen Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4164,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.88595527,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"6","issue":"2","first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5439467430114746},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.542542576789856},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5036045908927917},{"id":"https://openalex.org/keywords/influence-diagram","display_name":"Influence diagram","score":0.4599842429161072},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.4427659213542938},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4248616695404053},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37798094749450684},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.320701003074646},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1858517825603485},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.15051445364952087},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.13305771350860596},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12602835893630981}],"concepts":[{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5439467430114746},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.542542576789856},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5036045908927917},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.4599842429161072},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.4427659213542938},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4248616695404053},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37798094749450684},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.320701003074646},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1858517825603485},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.15051445364952087},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.13305771350860596},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12602835893630981}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3712711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3712711","pdf_url":null,"source":{"id":"https://openalex.org/S4210170170","display_name":"ACM Transactions on Quantum Computing","issn_l":"2643-6809","issn":["2643-6809","2643-6817"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Quantum Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/97252622-3be3-4c53-be0a-55e52272bc33","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/97252622-3be3-4c53-be0a-55e52272bc33","pdf_url":"https://vbn.aau.dk/ws/files/798837764/3712711.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Burgholzer, L, Jimenez-Pastor, A, Larsen, K G, Tribastone, M, Tschaikowski, M & Wille, R 2025, 'Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams', ACM Transactions on Quantum Computing, vol. 6, no. 2, 13. https://doi.org/10.1145/3712711","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.uniroma1.it:11573/1746369","is_oa":false,"landing_page_url":"https://hdl.handle.net/11573/1746369","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3712711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3712711","pdf_url":null,"source":{"id":"https://openalex.org/S4210170170","display_name":"ACM Transactions on Quantum Computing","issn_l":"2643-6809","issn":["2643-6809","2643-6817"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Quantum Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1929973641","display_name":null,"funder_award_id":"101001318","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G507880695","display_name":null,"funder_award_id":"PE00000014","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8372991712","display_name":null,"funder_award_id":"883901","funder_id":"https://openalex.org/F4320330079","funder_display_name":"Poul Due Jensens Fond"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320330079","display_name":"Poul Due Jensens Fond","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W253803806","https://openalex.org/W369805404","https://openalex.org/W390146837","https://openalex.org/W1492999010","https://openalex.org/W1498432697","https://openalex.org/W1508413598","https://openalex.org/W1551480811","https://openalex.org/W1568345435","https://openalex.org/W1704074244","https://openalex.org/W1725085190","https://openalex.org/W1976268573","https://openalex.org/W1988413534","https://openalex.org/W1994195283","https://openalex.org/W1994584977","https://openalex.org/W2003803711","https://openalex.org/W2005510693","https://openalex.org/W2030592463","https://openalex.org/W2032806006","https://openalex.org/W2036604884","https://openalex.org/W2040860090","https://openalex.org/W2044811734","https://openalex.org/W2052146120","https://openalex.org/W2064622659","https://openalex.org/W2084652510","https://openalex.org/W2114710208","https://openalex.org/W2122360082","https://openalex.org/W2137147061","https://openalex.org/W2155664940","https://openalex.org/W2162607114","https://openalex.org/W2164954534","https://openalex.org/W2203382396","https://openalex.org/W2278484901","https://openalex.org/W2565969279","https://openalex.org/W2566002283","https://openalex.org/W2587215833","https://openalex.org/W2613048740","https://openalex.org/W2613113977","https://openalex.org/W2724723511","https://openalex.org/W2748391565","https://openalex.org/W2752491749","https://openalex.org/W2803889673","https://openalex.org/W2884575413","https://openalex.org/W2887199107","https://openalex.org/W2911718499","https://openalex.org/W2922196358","https://openalex.org/W2962837917","https://openalex.org/W2963481762","https://openalex.org/W2964185660","https://openalex.org/W2980017474","https://openalex.org/W2990961515","https://openalex.org/W3000698183","https://openalex.org/W3018877035","https://openalex.org/W3095662525","https://openalex.org/W3098397564","https://openalex.org/W3104553508","https://openalex.org/W3104901447","https://openalex.org/W3105809358","https://openalex.org/W3120628045","https://openalex.org/W3128096754","https://openalex.org/W3130781623","https://openalex.org/W4213450570","https://openalex.org/W4292227667","https://openalex.org/W4301621763","https://openalex.org/W4372271729","https://openalex.org/W4384934446","https://openalex.org/W4386548882","https://openalex.org/W6678025975","https://openalex.org/W6800984297"],"related_works":["https://openalex.org/W2103286150","https://openalex.org/W2089210394","https://openalex.org/W2122917767","https://openalex.org/W4300616421","https://openalex.org/W2205783098","https://openalex.org/W1596417907","https://openalex.org/W2108122578","https://openalex.org/W2768055417","https://openalex.org/W1507575448","https://openalex.org/W2163801945"],"abstract_inverted_index":{"Efficient":[0],"methods":[1,34],"for":[2,13,48,143,147,185],"the":[3,18,22,26,94,99,112,126,136,139],"simulation":[4,177],"of":[5,21,28,41,79,138,163,181],"quantum":[6,72,145,175],"circuits":[7],"on":[8,36,75,90,135,160],"classical":[9],"computers":[10],"are":[11],"crucial":[12],"their":[14],"analysis":[15],"due":[16],"to":[17,110],"exponential":[19],"growth":[20],"problem":[23],"size":[24,137],"with":[25],"number":[27],"qubits.":[29],"Here":[30],"we":[31,131,156,167],"study":[32],"lumping":[33],"based":[35],"bisimulation,":[37],"an":[38,108],"established":[39],"class":[40],"techniques":[42],"that":[43,87,169],"has":[44],"been":[45],"proven":[46],"successful":[47],"(classic)":[49],"stochastic":[50],"and":[51,58,150],"deterministic":[52],"systems":[53],"such":[54],"as":[55],"Markov":[56],"chains":[57],"ordinary":[59],"differential":[60],"equations.":[61],"Forward":[62],"constrained":[63,82,170],"bisimulation":[64,83,171],"yields":[65],"a":[66,76,85,91,122,153,161],"lower-dimensional":[67],"model":[68],"which":[69,98],"exactly":[70],"preserves":[71],"measurements":[73],"projected":[74],"linear":[77],"subspace":[78,92],"interest.":[80],"Backward":[81],"gives":[84],"reduction":[86],"is":[88],"valid":[89],"containing":[93],"circuit":[95,100,176],"input,":[96],"from":[97],"result":[101,124],"can":[102,172],"be":[103],"fully":[104],"recovered.":[105],"We":[106],"provide":[107,132],"algorithm":[109],"compute":[111],"constraint":[113],"bisimulations":[114],"yielding":[115],"coarsest":[116],"reductions":[117,159],"in":[118],"both":[119],"cases,":[120],"using":[121],"duality":[123],"relating":[125],"two":[127],"notions.":[128],"As":[129],"applications,":[130],"theoretical":[133],"bounds":[134],"reduced":[140],"state":[141],"space":[142],"well-known":[144],"algorithms":[146],"search,":[148],"optimization,":[149],"factorization.":[151],"Using":[152],"prototype":[154],"implementation,":[155],"report":[157],"significant":[158],"set":[162],"benchmarks.":[164],"In":[165],"particular,":[166],"show":[168],"boost":[173],"decision-diagram-based":[174],"by":[178],"several":[179],"orders":[180],"magnitude,":[182],"allowing":[183],"thus":[184],"substantial":[186],"synergy":[187],"effects.":[188]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}