{"id":"https://openalex.org/W4391927561","doi":"https://doi.org/10.22331/q-2024-02-19-1258","title":"Reqomp: Space-constrained Uncomputation for Quantum Circuits","display_name":"Reqomp: Space-constrained Uncomputation for Quantum Circuits","publication_year":2024,"publication_date":"2024-02-19","ids":{"openalex":"https://openalex.org/W4391927561","doi":"https://doi.org/10.22331/q-2024-02-19-1258"},"language":"en","primary_location":{"id":"doi:10.22331/q-2024-02-19-1258","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2024-02-19-1258","pdf_url":"https://quantum-journal.org/papers/q-2024-02-19-1258/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://quantum-journal.org/papers/q-2024-02-19-1258/pdf/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028734259","display_name":"Anouk Paradis","orcid":"https://orcid.org/0000-0002-6029-1386"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Anouk Paradis","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074409480","display_name":"Benjamin Bichsel","orcid":"https://orcid.org/0000-0003-3283-7908"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Benjamin Bichsel","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069901599","display_name":"Martin Vechev","orcid":"https://orcid.org/0000-0002-0054-9568"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Martin Vechev","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5028734259"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":{"value":200,"currency":"EUR","value_usd":215},"apc_paid":{"value":200,"currency":"EUR","value_usd":215},"fwci":2.1696,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.88386409,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"8","issue":null,"first_page":"1258","last_page":"1258"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9995999932289124,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9922000169754028,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.6316850185394287},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5696244835853577},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5163811445236206},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37536004185676575},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.3625582754611969},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.352658212184906},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.2634887099266052}],"concepts":[{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.6316850185394287},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5696244835853577},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5163811445236206},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37536004185676575},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3625582754611969},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.352658212184906},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.2634887099266052},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.22331/q-2024-02-19-1258","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2024-02-19-1258","pdf_url":"https://quantum-journal.org/papers/q-2024-02-19-1258/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:694e717abb0d4a338adf4c6f266c451a","is_oa":true,"landing_page_url":"https://doaj.org/article/694e717abb0d4a338adf4c6f266c451a","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Quantum, Vol 8, p 1258 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.22331/q-2024-02-19-1258","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2024-02-19-1258","pdf_url":"https://quantum-journal.org/papers/q-2024-02-19-1258/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4391927561.pdf"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1525622236","https://openalex.org/W2061073612","https://openalex.org/W2160347025","https://openalex.org/W2202869460","https://openalex.org/W2215464783","https://openalex.org/W2302430074","https://openalex.org/W2619038324","https://openalex.org/W2790668893","https://openalex.org/W2949686459","https://openalex.org/W2962612432","https://openalex.org/W2963563052","https://openalex.org/W3016898042","https://openalex.org/W3033997567","https://openalex.org/W3102773744","https://openalex.org/W3104993277","https://openalex.org/W3105859973","https://openalex.org/W3106041057","https://openalex.org/W3173618123"],"related_works":["https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036","https://openalex.org/W3148032049","https://openalex.org/W2271181815"],"abstract_inverted_index":{"Quantum":[0],"circuits":[1,17],"must":[2],"run":[3],"on":[4,10],"quantum":[5],"computers":[6],"with":[7],"tight":[8],"limits":[9],"qubit":[11,66],"and":[12,42],"gate":[13,69,109],"counts.":[14],"To":[15],"generate":[16],"respecting":[18,48],"both":[19],"limits,":[20],"a":[21,36,52,58,108],"promising":[22],"opportunity":[23],"is":[24],"exploiting":[25],"<mml:math":[26],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>u</mml:mi><mml:mi>n</mml:mi><mml:mi>c</mml:mi><mml:mi>o</mml:mi><mml:mi>m</mml:mi><mml:mi>p</mml:mi><mml:mi>u</mml:mi><mml:mi>t</mml:mi><mml:mi>a</mml:mi><mml:mi>t</mml:mi><mml:mi>i</mml:mi><mml:mi>o</mml:mi><mml:mi>n</mml:mi></mml:math>":[27],"to":[28,38,87],"trade":[29],"qubits":[30,84,96],"for":[31],"gates.":[32],"We":[33],"present":[34],"Reqomp,":[35],"method":[37],"automatically":[39],"synthesize":[40],"correct":[41],"efficient":[43],"uncomputation":[44],"of":[45,61,81,91],"ancillae":[46],"while":[47,105],"hardware":[49],"constraints.":[50],"For":[51],"given":[53],"circuit,":[54],"Reqomp":[55,75],"can":[56,76,98],"offer":[57],"wide":[59],"range":[60],"trade-offs":[62],"between":[63],"tightly":[64],"constraining":[65],"count":[67,110],"or":[68],"count.":[70],"Our":[71],"evaluation":[72],"demonstrates":[73],"that":[74],"significantly":[77],"reduce":[78],"the":[79,94],"number":[80],"required":[82,97],"ancilla":[83,95],"by":[85,101],"up":[86],"96%.":[88],"On":[89],"80%":[90],"our":[92],"benchmarks,":[93],"be":[99],"reduced":[100],"at":[102],"least":[103],"25%":[104],"never":[106],"incurring":[107],"increase":[111],"beyond":[112],"28%.":[113]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}