{"id":"https://openalex.org/W4386093948","doi":"https://doi.org/10.4204/eptcs.384.9","title":"The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality","display_name":"The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality","publication_year":2023,"publication_date":"2023-08-23","ids":{"openalex":"https://openalex.org/W4386093948","doi":"https://doi.org/10.4204/eptcs.384.9"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.384.9","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2023.9.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2023.9.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101236746","display_name":"Patrick Roy","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["GB","NL"],"is_corresponding":false,"raw_author_name":"Patrick Roy","raw_affiliation_strings":["University of Amsterdam","University of Oxford","University of Oxford Quantinuum, 17 Beaumont Street Oxford OX1 2NA, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford Quantinuum, 17 Beaumont Street Oxford OX1 2NA, United Kingdom","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040545926","display_name":"John van de Wetering","orcid":"https://orcid.org/0000-0002-5405-8959"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB","NL"],"is_corresponding":false,"raw_author_name":"John van de Wetering","raw_affiliation_strings":["University of Amsterdam","University of Oxford","University of Oxford Quantinuum, 17 Beaumont Street Oxford OX1 2NA, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Oxford Quantinuum, 17 Beaumont Street Oxford OX1 2NA, United Kingdom","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058143230","display_name":"Lia Yeh","orcid":"https://orcid.org/0000-0003-2704-4057"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["GB","NL"],"is_corresponding":false,"raw_author_name":"Lia Yeh","raw_affiliation_strings":["University of Amsterdam","University of Oxford","University of Oxford Quantinuum, 17 Beaumont Street Oxford OX1 2NA, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford Quantinuum, 17 Beaumont Street Oxford OX1 2NA, United Kingdom","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":0.352,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.606989,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":67,"max":78},"biblio":{"volume":"384","issue":null,"first_page":"142","last_page":"170"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9997,"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.9997,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9986,"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/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9958,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/toffoli-gate","display_name":"Toffoli gate","score":0.7966978},{"id":"https://openalex.org/keywords/hadamard-three-circle-theorem","display_name":"Hadamard three-circle theorem","score":0.4330498}],"concepts":[{"id":"https://openalex.org/C183992945","wikidata":"https://www.wikidata.org/wiki/Q2495574","display_name":"Universality (dynamical systems)","level":2,"score":0.8318432},{"id":"https://openalex.org/C60292330","wikidata":"https://www.wikidata.org/wiki/Q1014065","display_name":"Hadamard transform","level":2,"score":0.82296157},{"id":"https://openalex.org/C142465778","wikidata":"https://www.wikidata.org/wiki/Q2502619","display_name":"Toffoli gate","level":5,"score":0.7966978},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4756624},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47512394},{"id":"https://openalex.org/C35222485","wikidata":"https://www.wikidata.org/wiki/Q729359","display_name":"Hadamard three-circle theorem","level":5,"score":0.4330498},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.32113144},{"id":"https://openalex.org/C68720959","wikidata":"https://www.wikidata.org/wiki/Q3527250","display_name":"Hadamard three-lines theorem","level":4,"score":0.31624365},{"id":"https://openalex.org/C90230998","wikidata":"https://www.wikidata.org/wiki/Q3406746","display_name":"Hadamard product","level":3,"score":0.21435684},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12712625},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.079494506},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.05505511},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.047971368},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.384.9","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2023.9.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.384.9","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2023.9.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":39,"referenced_works":["https://openalex.org/W2102008187","https://openalex.org/W2119180894","https://openalex.org/W2288446724","https://openalex.org/W2758270599","https://openalex.org/W2980494006","https://openalex.org/W3013980468","https://openalex.org/W3014617384","https://openalex.org/W3033041011","https://openalex.org/W3046716817","https://openalex.org/W3100121514","https://openalex.org/W3100779651","https://openalex.org/W3104500086","https://openalex.org/W3105463217","https://openalex.org/W3106198031","https://openalex.org/W3109224720","https://openalex.org/W3127751074","https://openalex.org/W3141495992","https://openalex.org/W3149196265","https://openalex.org/W3151190579","https://openalex.org/W3155826835","https://openalex.org/W3194215427","https://openalex.org/W3197481086","https://openalex.org/W3200445158","https://openalex.org/W4226283473","https://openalex.org/W4286859498","https://openalex.org/W4287272396","https://openalex.org/W4287548337","https://openalex.org/W4289049199","https://openalex.org/W4293210967","https://openalex.org/W4294781528","https://openalex.org/W4295987789","https://openalex.org/W4307207871","https://openalex.org/W4311001684","https://openalex.org/W4321854964","https://openalex.org/W4360886122","https://openalex.org/W4367060650","https://openalex.org/W4386093868","https://openalex.org/W4386095905","https://openalex.org/W4392228323"],"related_works":["https://openalex.org/W4235383192","https://openalex.org/W3154819821","https://openalex.org/W2950772023","https://openalex.org/W2920513081","https://openalex.org/W2784661493","https://openalex.org/W2620175105","https://openalex.org/W2600796563","https://openalex.org/W2337094584","https://openalex.org/W2074684206","https://openalex.org/W1965411348"],"abstract_inverted_index":{"We":[0],"introduce":[1],"the":[2,10,22,31,63,89,107],"qudit":[3,24,77,83,133],"ZH-calculus":[4,25],"and":[5,45,126,141],"show":[6],"how":[7],"to":[8,14,58,72,101,148],"generalise":[9,55],"phase-free":[11,23,43,144],"qubit":[12],"rules":[13],"qudits.We":[15],"prove":[16,93,119],"that":[17,62,94,120,143],"for":[18,28,86,116,132,136],"prime":[19,139],"dimensions":[20],"d,":[21,140],"is":[26,38,97],"universal":[27,50,131],"matrices":[29],"over":[30],"ring":[32],"Z[e":[33],"2\u03c0i/d":[34],"].For":[35],"qubits,":[36,117],"there":[37],"a":[39,48,102],"strong":[40],"connection":[41,57],"between":[42],"ZH-diagrams":[44,145],"Toffoli+Hadamard":[46,115],"circuits,":[47],"computationally":[49],"fragment":[51],"of":[52,114,122],"quantum":[53,134],"circuits.We":[54],"this":[56],"qudits,":[59],"by":[60,110],"finding":[61],"two-qudit":[64],"|0":[65,123],"-controlled":[66,124],"X":[67,125],"gate":[68],"can":[69],"be":[70],"used":[71],"construct":[73],"all":[74],"classical":[75],"reversible":[76],"logic":[78],"circuits":[79,121,150],"in":[80],"any":[81,137],"odd":[82,138],"dimension,":[84],"which":[85],"qubits":[87],"requires":[88],"three-qubit":[90],"Toffoli":[91],"gate.We":[92],"our":[95],"construction":[96],"asymptotically":[98],"optimal":[99],"up":[100],"logarithmic":[103],"term.Twenty":[104],"years":[105],"after":[106],"celebrated":[108],"result":[109],"Shi":[111],"proving":[112],"universality":[113],"we":[118],"Hadamard":[127],"gates":[128],"are":[129],"approximately":[130],"computing":[135],"moreover":[142],"correspond":[146],"precisely":[147],"such":[149],"allowing":[151],"postselections.":[152]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4386093948","counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-01-08T22:00:30.218602","created_date":"2023-08-24"}