{"id":"https://openalex.org/W3183311586","doi":"https://doi.org/10.1145/3498663","title":"Quantum information effects","display_name":"Quantum information effects","publication_year":2022,"publication_date":"2022-01-12","ids":{"openalex":"https://openalex.org/W3183311586","doi":"https://doi.org/10.1145/3498663","mag":"3183311586"},"language":"en","primary_location":{"id":"doi:10.1145/3498663","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498663","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498663","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3498663","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":true,"raw_author_name":"Chris Heunen","raw_affiliation_strings":["University of Edinburgh, UK","University of Edinburgh,"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh,","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048620730","display_name":"Robin Kaarsgaard","orcid":"https://orcid.org/0000-0002-7672-799X"},"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":"Robin Kaarsgaard","raw_affiliation_strings":["University of Edinburgh, UK","University of Edinburgh,"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh,","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5035888204"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00448135,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"POPL","first_page":"1","last_page":"27"},"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.9991000294685364,"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.995199978351593,"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/symmetric-monoidal-category","display_name":"Symmetric monoidal category","score":0.5608826875686646},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5216379761695862},{"id":"https://openalex.org/keywords/categorical-quantum-mechanics","display_name":"Categorical quantum mechanics","score":0.5150663256645203},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5135848522186279},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4971192181110382},{"id":"https://openalex.org/keywords/monoidal-category","display_name":"Monoidal category","score":0.4835212230682373},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.4453161060810089},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4273624122142792},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.40164268016815186},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3785948157310486},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36291807889938354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3379192352294922},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.3240939676761627},{"id":"https://openalex.org/keywords/open-quantum-system","display_name":"Open quantum system","score":0.18709653615951538},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.18563386797904968},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.11891761422157288},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08826157450675964}],"concepts":[{"id":"https://openalex.org/C98912367","wikidata":"https://www.wikidata.org/wiki/Q17103860","display_name":"Symmetric monoidal category","level":3,"score":0.5608826875686646},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5216379761695862},{"id":"https://openalex.org/C105295557","wikidata":"https://www.wikidata.org/wiki/Q5051814","display_name":"Categorical quantum mechanics","level":5,"score":0.5150663256645203},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5135848522186279},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4971192181110382},{"id":"https://openalex.org/C2779904274","wikidata":"https://www.wikidata.org/wiki/Q1945014","display_name":"Monoidal category","level":2,"score":0.4835212230682373},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.4453161060810089},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4273624122142792},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.40164268016815186},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3785948157310486},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36291807889938354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3379192352294922},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.3240939676761627},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.18709653615951538},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.18563386797904968},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.11891761422157288},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08826157450675964},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/3498663","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498663","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498663","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:arXiv.org:2107.12144","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2107.12144","pdf_url":"https://arxiv.org/pdf/2107.12144","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/363d2eb3-509c-4715-acd3-8b29b737630b","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/363d2eb3-509c-4715-acd3-8b29b737630b","pdf_url":"https://www.research.ed.ac.uk/files/249446644/Quantum_Information_Effects_HEUNEN_DOA26062021_VOR_CC_BY_NC_ND.pdf","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Heunen, C & Kaarsgaard, R 2022, 'Quantum Information Effects', Proceedings of the ACM on Programming Languages, vol. 6, no. POPL, 2, pp. 1-27. https://doi.org/10.1145/3498663","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"mag:3183311586","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2107.12144","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:pure.ed.ac.uk:publications/363d2eb3-509c-4715-acd3-8b29b737630b","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/363d2eb3-509c-4715-acd3-8b29b737630b","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Heunen, C & Kaarsgaard, R 2022, 'Quantum Information Effects', Proceedings of the ACM on Programming Languages, vol. 6, no. POPL, 2, pp. 1-27. https://doi.org/10.1145/3498663","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"doi:10.48550/arxiv.2107.12144","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2107.12144","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3203551220","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2107.12144","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3498663","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3498663","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3498663","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":[],"awards":[{"id":"https://openalex.org/G1361938442","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G185422861","display_name":"Combining Viewpoints in Quantum Theory (Ext.)","funder_award_id":"EP/R044759/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G1934935867","display_name":null,"funder_award_id":"Engineering and Physical Sciences R","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8975623565","display_name":null,"funder_award_id":"EP/R044759/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3183311586.pdf","grobid_xml":"https://content.openalex.org/works/W3183311586.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W28199043","https://openalex.org/W185087817","https://openalex.org/W1480152022","https://openalex.org/W1501824644","https://openalex.org/W1515648542","https://openalex.org/W1531323685","https://openalex.org/W1541400212","https://openalex.org/W1556604985","https://openalex.org/W1571102086","https://openalex.org/W1631356911","https://openalex.org/W1925841652","https://openalex.org/W1976985540","https://openalex.org/W1999626800","https://openalex.org/W2068967633","https://openalex.org/W2086141674","https://openalex.org/W2086724512","https://openalex.org/W2101416179","https://openalex.org/W2105259569","https://openalex.org/W2116435685","https://openalex.org/W2160347025","https://openalex.org/W2166351442","https://openalex.org/W2293974772","https://openalex.org/W2295398892","https://openalex.org/W2463458990","https://openalex.org/W2563269605","https://openalex.org/W2568653835","https://openalex.org/W2797773006","https://openalex.org/W2912120411","https://openalex.org/W2950262429","https://openalex.org/W2964880323","https://openalex.org/W2965438805","https://openalex.org/W2980404066","https://openalex.org/W3006269858","https://openalex.org/W3023945571","https://openalex.org/W3033997567","https://openalex.org/W3043665495","https://openalex.org/W3105827074","https://openalex.org/W3114657538","https://openalex.org/W3129551335","https://openalex.org/W3134406394","https://openalex.org/W4231368424","https://openalex.org/W4233798822","https://openalex.org/W4236251876","https://openalex.org/W4242597152"],"related_works":["https://openalex.org/W3203551220","https://openalex.org/W1980468446","https://openalex.org/W1980172188","https://openalex.org/W2105273359","https://openalex.org/W2467451650","https://openalex.org/W2064104907","https://openalex.org/W2104582269","https://openalex.org/W2499197361","https://openalex.org/W2338028966","https://openalex.org/W2950007059","https://openalex.org/W1610218046","https://openalex.org/W2761502568","https://openalex.org/W1788491669","https://openalex.org/W2076218011","https://openalex.org/W3144121558","https://openalex.org/W2208573426","https://openalex.org/W2904459623","https://openalex.org/W1183538153","https://openalex.org/W3105654567","https://openalex.org/W2060800401"],"abstract_inverted_index":{"We":[0,33],"study":[1],"the":[2,10,52,78,86,96,104,114],"two":[3],"dual":[4],"quantum":[5,15,29,59,68,120],"information":[6,13],"effects":[7],"to":[8],"manipulate":[9],"amount":[11],"of":[12,58,80,88,98,106,117,123],"in":[14,62],"computation:":[16],"hiding":[17],"and":[18,64,93,119,125],"allocation.":[19],"The":[20,74],"resulting":[21],"type-and-effect":[22],"system":[23],"is":[24],"fully":[25],"expressive":[26],"for":[27],"irreversible":[28],"computing,":[30],"including":[31],"measurement.":[32],"provide":[34],"universal":[35],"categorical":[36],"constructions":[37,76],"that":[38],"semantically":[39],"interpret":[40],"this":[41],"arrow":[42],"metalanguage":[43],"with":[44,47,108],"choice,":[45],"starting":[46],"any":[48],"rig":[49],"groupoid":[50],"interpreting":[51],"reversible":[53,121],"base":[54],"language.":[55,73],"Several":[56],"properties":[57],"measurement":[60],"follow":[61],"general,":[63],"we":[65],"translate":[66],"(noniterative)":[67],"flow":[69],"charts":[70],"into":[71,85,103],"our":[72],"semantic":[75],"turn":[77,95],"category":[79,87,97,105],"unitaries":[81],"between":[82,100],"Hilbert":[83],"spaces":[84],"completely":[89],"positive":[90],"trace-preserving":[91],"maps,":[92],"they":[94,112],"bijections":[99],"finite":[101],"sets":[102],"functions":[107],"chosen":[109],"garbage.":[110],"Thus":[111],"capture":[113],"fundamental":[115],"theorems":[116],"classical":[118],"computing":[122],"Toffoli":[124],"Stinespring.":[126]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}