{"id":"https://openalex.org/W7119523135","doi":"https://doi.org/10.1145/3776731","title":"Quantum Circuits Are Just a Phase","display_name":"Quantum Circuits Are Just a Phase","publication_year":2026,"publication_date":"2026-01-08","ids":{"openalex":"https://openalex.org/W7119523135","doi":"https://doi.org/10.1145/3776731"},"language":"en","primary_location":{"id":"doi:10.1145/3776731","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776731","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3776731","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035888204","display_name":"Chris Heunen","orcid":"https://orcid.org/0000-0001-7393-2640"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Chris Heunen","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-7393-2640","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012999280","display_name":"Louis Lemonnier","orcid":"https://orcid.org/0000-0003-1761-3244"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Louis Lemonnier","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-1761-3244","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047039889","display_name":"Christopher M. McNally","orcid":"https://orcid.org/0000-0002-4927-0613"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher McNally","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0002-4927-0613","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122313864","display_name":"Alex Rice","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alex Rice","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-2698-5122","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04399152,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"POPL","first_page":"2586","last_page":"2613"},"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.98580002784729,"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.98580002784729,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.0010999999940395355,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.0008999999845400453,"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-algorithm","display_name":"Quantum algorithm","score":0.5996999740600586},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.5620999932289124},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.49079999327659607},{"id":"https://openalex.org/keywords/quantum-state","display_name":"Quantum state","score":0.47749999165534973},{"id":"https://openalex.org/keywords/quantum-fourier-transform","display_name":"Quantum Fourier transform","score":0.4578000009059906},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.45660001039505005},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.45179998874664307},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4471000134944916},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.43560001254081726},{"id":"https://openalex.org/keywords/quantum-process","display_name":"Quantum process","score":0.4284999966621399}],"concepts":[{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5996999740600586},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5738000273704529},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.5620999932289124},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.49079999327659607},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.47749999165534973},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47690001130104065},{"id":"https://openalex.org/C59500034","wikidata":"https://www.wikidata.org/wiki/Q1464944","display_name":"Quantum Fourier transform","level":5,"score":0.4578000009059906},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.45660001039505005},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.45179998874664307},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4471000134944916},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.43560001254081726},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.4284999966621399},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.41260001063346863},{"id":"https://openalex.org/C190463098","wikidata":"https://www.wikidata.org/wiki/Q2081419","display_name":"Quantum technology","level":4,"score":0.41190001368522644},{"id":"https://openalex.org/C105295557","wikidata":"https://www.wikidata.org/wiki/Q5051814","display_name":"Categorical quantum mechanics","level":5,"score":0.41029998660087585},{"id":"https://openalex.org/C192122513","wikidata":"https://www.wikidata.org/wiki/Q2835770","display_name":"Quantum phase estimation algorithm","level":5,"score":0.38909998536109924},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.3709999918937683},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.3626999855041504},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35370001196861267},{"id":"https://openalex.org/C19271316","wikidata":"https://www.wikidata.org/wiki/Q7092353","display_name":"One-way quantum computer","level":5,"score":0.34929999709129333},{"id":"https://openalex.org/C187486625","wikidata":"https://www.wikidata.org/wiki/Q2122176","display_name":"Quantum channel","level":4,"score":0.3352999985218048},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.33340001106262207},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32670000195503235},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3140000104904175},{"id":"https://openalex.org/C179957908","wikidata":"https://www.wikidata.org/wiki/Q907206","display_name":"POVM","level":5,"score":0.30379998683929443},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30070000886917114},{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.29269999265670776},{"id":"https://openalex.org/C41241483","wikidata":"https://www.wikidata.org/wiki/Q7269015","display_name":"Quantum capacity","level":5,"score":0.29260000586509705},{"id":"https://openalex.org/C28855332","wikidata":"https://www.wikidata.org/wiki/Q198099","display_name":"Quantization (signal processing)","level":2,"score":0.2922999858856201},{"id":"https://openalex.org/C192061203","wikidata":"https://www.wikidata.org/wiki/Q765620","display_name":"Quantum Turing machine","level":5,"score":0.2791999876499176},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.27880001068115234},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.2784999907016754},{"id":"https://openalex.org/C182953411","wikidata":"https://www.wikidata.org/wiki/Q917713","display_name":"Controlled NOT gate","level":5,"score":0.2759000062942505},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C91717678","wikidata":"https://www.wikidata.org/wiki/Q1135332","display_name":"Quantum teleportation","level":5,"score":0.26829999685287476},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.2554999887943268},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3776731","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776731","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/260abd26-4ca8-42cb-9a53-73bdb0040121","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/260abd26-4ca8-42cb-9a53-73bdb0040121","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Heunen, C, Lemonnier, L, McNally, C & Rice, A 2026, 'Quantum circuits are just a phase', Proceedings of the ACM on Programming Languages, vol. 10, no. POPL, 89, pp. 2586-2613. https://doi.org/10.1145/3776731","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3776731","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776731","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4068525433540344,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G3015897474","display_name":"Rubber DUQ: Flexible Dynamic Universal Quantum programming","funder_award_id":"EP/X025551/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7231804167","display_name":null,"funder_award_id":"W911NF-23-1-0045","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W28199043","https://openalex.org/W294073838","https://openalex.org/W1500256440","https://openalex.org/W1541400212","https://openalex.org/W1615134144","https://openalex.org/W1944374408","https://openalex.org/W2020726398","https://openalex.org/W2047003964","https://openalex.org/W2049471987","https://openalex.org/W2059456146","https://openalex.org/W2084652510","https://openalex.org/W2114701904","https://openalex.org/W2119180894","https://openalex.org/W2125182723","https://openalex.org/W2157601714","https://openalex.org/W2415656260","https://openalex.org/W2513689028","https://openalex.org/W2515755436","https://openalex.org/W2563989350","https://openalex.org/W2604388771","https://openalex.org/W2790668893","https://openalex.org/W2797773006","https://openalex.org/W2990961515","https://openalex.org/W3033997567","https://openalex.org/W3100931381","https://openalex.org/W3160834118","https://openalex.org/W4200164985","https://openalex.org/W4205769143","https://openalex.org/W4205887982","https://openalex.org/W4214538449","https://openalex.org/W4214951473","https://openalex.org/W4233474106","https://openalex.org/W4236251876","https://openalex.org/W4246244731","https://openalex.org/W4248936031","https://openalex.org/W4253053708","https://openalex.org/W4283323927","https://openalex.org/W4285498936","https://openalex.org/W4294771093","https://openalex.org/W4315606056","https://openalex.org/W4315631112","https://openalex.org/W4361865084","https://openalex.org/W4388444539","https://openalex.org/W4389422109","https://openalex.org/W4390605047","https://openalex.org/W4392131297","https://openalex.org/W4399872402","https://openalex.org/W4400397145","https://openalex.org/W4402502752","https://openalex.org/W4404341750","https://openalex.org/W4404848032","https://openalex.org/W4406222052","https://openalex.org/W4409970461","https://openalex.org/W4410565698","https://openalex.org/W4411458730","https://openalex.org/W4416021331","https://openalex.org/W7101809568"],"related_works":[],"abstract_inverted_index":{"Quantum":[0,166,169,174],"programs":[1],"today":[2],"are":[3,54],"written":[4],"at":[5],"a":[6,61,69,73,82,142,191,223],"low":[7],"level":[8],"of":[9,23,37,85,122,126,198],"abstraction":[10],"-":[11,18],"quantum":[12,26,51,83,115,144,152,186,202,233],"circuits":[13],"akin":[14],"to":[15,105,201,212],"assembly":[16],"languages":[17,28],"and":[19,42,49,108,158,172,204,225,231],"the":[20,86,101,123,173],"unitary":[21],"parts":[22],"even":[24],"advanced":[25],"programming":[27,52],"essentially":[29],"function":[30],"as":[31],"circuit":[32],"description":[33],"languages.":[34],"This":[35,97],"state":[36],"affairs":[38],"impedes":[39],"scalability,":[40],"clarity,":[41],"support":[43],"for":[44,64],"higher-level":[45],"reasoning.":[46],"More":[47],"abstract":[48,230],"expressive":[50,124],"constructs":[53],"needed.":[55],"To":[56],"this":[57,220],"end,":[58],"we":[59,71,133,148,178,189],"introduce":[60],"simple":[62],"syntax":[63],"generating":[65],"unitaries":[66],"from":[67,103],"\"just":[68],"phase\";":[70],"combine":[72],"(global)":[74],"phase":[75,79],"operation":[76],"that":[77,90,135,150,194,206,219],"captures":[78,91],"shifts":[80],"with":[81,210],"analogue":[84],"\"if":[87],"let\"":[88],"construct":[89,221],"subspace":[92],"selection":[93],"via":[94],"pattern":[95],"matching.":[96],"minimal":[98],"language":[99,128,200],"lifts":[100],"focus":[102],"gates":[104],"eigendecomposition,":[106],"conjugation,":[107],"controlled":[109],"unitaries;":[110],"common":[111],"building":[112],"blocks":[113],"in":[114,129,184],"algorithm":[116],"design.":[117],"We":[118],"demonstrate":[119],"several":[120,130],"aspects":[121],"power":[125],"our":[127,136,199],"ways.":[131],"Firstly,":[132],"establish":[134],"representation":[137],"is":[138,208],"universal":[139,143],"by":[140],"deriving":[141],"gate":[145],"set.":[146],"Secondly,":[147],"show":[149,218],"important":[151],"algorithms":[153],"can":[154],"be":[155],"expressed":[156],"naturally":[157],"concisely,":[159],"including":[160],"Grover's":[161],"search":[162],"algorithm,":[163],"Hamiltonian":[164],"simulation,":[165],"Fourier":[167],"Transform,":[168],"Signal":[170],"Processing,":[171],"Eigenvalue":[175],"Transformation.":[176],"Furthermore,":[177],"give":[179],"clean":[180],"denotational":[181],"semantics":[182],"grounded":[183],"categorical":[185],"mechanics.":[187],"Finally,":[188],"implement":[190],"prototype":[192],"compiler":[193],"efficiently":[195],"translates":[196],"terms":[197],"circuits,":[203],"prove":[205],"it":[207],"sound":[209],"respect":[211],"these":[213,216],"semantics.":[214],"Collectively,":[215],"contributions":[217],"offers":[222],"principled":[224],"practical":[226],"step":[227],"toward":[228],"more":[229],"structured":[232],"programming.":[234]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-09T00:00:00"}