{"id":"https://openalex.org/W4393943263","doi":"https://doi.org/10.1007/978-3-031-57249-4_17","title":"Forward and Backward Constrained Bisimulations for Quantum Circuits","display_name":"Forward and Backward Constrained Bisimulations for Quantum Circuits","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393943263","doi":"https://doi.org/10.1007/978-3-031-57249-4_17"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57249-4_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57249-4_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_17.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"A. Jim\u00e9nez-Pastor","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"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":"K. G. Larsen","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, 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":"M. Tribastone","raw_affiliation_strings":["IMT Lucca, Lucca, Italy"],"affiliations":[{"raw_affiliation_string":"IMT Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"last","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":"M. Tschaikowski","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102917406"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":4.7947,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.95176208,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"343","last_page":"362"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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":1.0,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9991000294685364,"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/computer-science","display_name":"Computer science","score":0.7993308305740356},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5298891663551331},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4993114471435547},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.46967774629592896},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4155219793319702},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.10113400220870972},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06951060891151428}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7993308305740356},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5298891663551331},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4993114471435547},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.46967774629592896},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4155219793319702},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.10113400220870972},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06951060891151428}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-57249-4_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57249-4_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:publications/a89c2bb1-2790-405c-a261-a6b471131536","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/a89c2bb1-2790-405c-a261-a6b471131536","pdf_url":"https://vbn.aau.dk/ws/files/756681488/978-3-031-57249-4_17.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":"Jim\u00e9nez-Pastor, A, Larsen, K G, Tribastone, M & Tschaikowski, M 2024, Forward and Backward Constrained Bisimulations for Quantum Circuits. in B Finkbeiner & L Kov\u00e1cs (eds), Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6\u201311, 2024, Proceedings, Part II. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14571 LNCS, pp. 343-362, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, 06/04/2024. https://doi.org/10.1007/978-3-031-57249-4_17","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57249-4_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57249-4_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6000000238418579,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3650733657","display_name":null,"funder_award_id":"NextGenerationEU","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/G5538284277","display_name":null,"funder_award_id":"National Recovery","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","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"},{"id":"https://openalex.org/G8893660128","display_name":null,"funder_award_id":"PE0000001","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"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":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4393943263.pdf"},"referenced_works_count":58,"referenced_works":["https://openalex.org/W369805404","https://openalex.org/W1492999010","https://openalex.org/W1551480811","https://openalex.org/W1704074244","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/W2032806006","https://openalex.org/W2036604884","https://openalex.org/W2040860090","https://openalex.org/W2044811734","https://openalex.org/W2052146120","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/W2409237074","https://openalex.org/W2565969279","https://openalex.org/W2566002283","https://openalex.org/W2613048740","https://openalex.org/W2724723511","https://openalex.org/W2748391565","https://openalex.org/W2752491749","https://openalex.org/W2803889673","https://openalex.org/W2887199107","https://openalex.org/W2897812629","https://openalex.org/W2911718499","https://openalex.org/W2964185660","https://openalex.org/W2980017474","https://openalex.org/W2998440155","https://openalex.org/W3000698183","https://openalex.org/W3008417709","https://openalex.org/W3018877035","https://openalex.org/W3095662525","https://openalex.org/W3098397564","https://openalex.org/W3100476337","https://openalex.org/W3104553508","https://openalex.org/W3104901447","https://openalex.org/W3105603580","https://openalex.org/W3105809358","https://openalex.org/W3120628045","https://openalex.org/W3128096754","https://openalex.org/W3130781623","https://openalex.org/W3177412342","https://openalex.org/W4213450570","https://openalex.org/W4292227667","https://openalex.org/W4301621763","https://openalex.org/W4384934446","https://openalex.org/W4386548882","https://openalex.org/W6678261470"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109"],"abstract_inverted_index":{"Abstract":[0],"Efficient":[1],"methods":[2,35,174],"for":[3,14,49,144,148,175],"the":[4,19,23,27,95,100,113,127,137,140,176],"simulation":[5,177],"of":[6,22,29,42,80,139,164,178],"quantum":[7,73,146,179],"circuits":[8,180],"on":[9,37,76,91,136,161,182],"classic":[10],"computers":[11],"are":[12],"crucial":[13],"their":[15],"analysis":[16],"due":[17],"to":[18,111],"exponential":[20],"growth":[21],"problem":[24],"size":[25,138],"with":[26],"number":[28],"qubits.":[30],"Here":[31],"we":[32,132,157,167],"study":[33],"lumping":[34],"based":[36,181],"bisimulation,":[38],"an":[39,109],"established":[40],"class":[41],"techniques":[43],"that":[44,88,169],"has":[45],"been":[46],"proven":[47],"successful":[48],"(classic)":[50],"stochastic":[51],"and":[52,59,151],"deterministic":[53],"systems":[54],"such":[55],"as":[56],"Markov":[57],"chains":[58],"ordinary":[60],"differential":[61],"equations.":[62],"Forward":[63],"constrained":[64,83],"bisimulation":[65,84,171],"yields":[66],"a":[67,77,86,92,123,154,162],"lower-dimensional":[68],"model":[69],"which":[70,99],"exactly":[71],"preserves":[72],"measurements":[74],"projected":[75],"linear":[78],"subspace":[79,93],"interest.":[81],"Backward":[82],"gives":[85],"reduction":[87],"is":[89],"valid":[90],"containing":[94],"circuit":[96,101],"input,":[97],"from":[98],"result":[102,125],"can":[103],"be":[104],"fully":[105],"recovered.":[106],"We":[107],"provide":[108,133],"algorithm":[110],"compute":[112],"constraint":[114,170],"bisimulations":[115],"yielding":[116],"coarsest":[117],"reductions":[118,160],"in":[119],"both":[120],"cases,":[121],"using":[122],"duality":[124],"relating":[126],"two":[128],"notions.":[129],"As":[130],"applications,":[131],"theoretical":[134],"bounds":[135],"reduced":[141],"state":[142],"space":[143],"well-known":[145],"algorithms":[147],"search,":[149],"optimization,":[150],"factorization.":[152],"Using":[153],"prototype":[155],"implementation,":[156],"report":[158],"significant":[159],"set":[163],"benchmarks.":[165],"Furthermore,":[166],"show":[168],"complements":[172],"state-of-the-art":[173],"decision":[183],"diagrams.":[184]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}