{"id":"https://openalex.org/W4386093868","doi":"https://doi.org/10.4204/eptcs.384.13","title":"The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification","display_name":"The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification","publication_year":2023,"publication_date":"2023-08-23","ids":{"openalex":"https://openalex.org/W4386093868","doi":"https://doi.org/10.4204/eptcs.384.13"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.384.13","doi":"https://doi.org/10.4204/eptcs.384.13","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.384.13","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2023.13.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,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"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,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2023.13.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021127002","display_name":"Boldizs\u00e1r Po\u00f3r","orcid":"https://orcid.org/0009-0005-9945-847X","observed_orcids":["https://orcid.org/0009-0005-9945-847X"]},"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"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Boldizs\u00e1r Po\u00f3r","raw_affiliation_strings":["University of Oxford Quantinuum, 17 Beaumont Street Oxford, OX1 2NA, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford Quantinuum, 17 Beaumont Street Oxford, OX1 2NA, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046334139","display_name":"Robert I. Booth","orcid":"https://orcid.org/0000-0002-1146-3380","observed_orcids":["https://orcid.org/0000-0002-1146-3380"]},"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":"Robert I. Booth","raw_affiliation_strings":["University of Edinburgh"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019417035","display_name":"Titouan Carette","orcid":"https://orcid.org/0000-0002-1618-4081","observed_orcids":["https://orcid.org/0000-0002-1618-4081"]},"institutions":[{"id":"https://openalex.org/I91123046","display_name":"University of Latvia","ror":"https://ror.org/05g3mes96","country_code":"LV","type":"education","lineage":["https://openalex.org/I91123046"]}],"countries":["LV"],"is_corresponding":false,"raw_author_name":"Titouan Carette","raw_affiliation_strings":["Centre for Quantum Computer Science, Faculty of Computing, University of Latvia, Raina 19, Riga, Latvia, LV-1586"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Quantum Computer Science, Faculty of Computing, University of Latvia, Raina 19, Riga, Latvia, LV-1586","institution_ids":["https://openalex.org/I91123046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040545926","display_name":"John van de Wetering","orcid":"https://orcid.org/0000-0002-5405-8959","observed_orcids":["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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"John van de Wetering","raw_affiliation_strings":["University of Amsterdam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058143230","display_name":"Lia Yeh","orcid":"https://orcid.org/0000-0003-2704-4057","observed_orcids":["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"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lia Yeh","raw_affiliation_strings":["University of Oxford Quantinuum, 17 Beaumont Street Oxford, OX1 2NA, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford Quantinuum, 17 Beaumont Street Oxford, OX1 2NA, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6038,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.66356239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"384","issue":null,"first_page":"220","last_page":"264"},"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.9672999978065491,"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.9672999978065491,"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.01080000028014183,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.003000000026077032,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/qudits","display_name":"qudits","score":0.9769999980926514},{"id":"https://openalex.org/keywords/local-complementation","display_name":"local complementation","score":0.7670000195503235},{"id":"https://openalex.org/keywords/completeness-proof","display_name":"completeness proof","score":0.7049999833106995}],"concepts":[{"id":"https://openalex.org/C2780345374","wikidata":"https://www.wikidata.org/wiki/Q7595716","display_name":"Stabiliser","level":2,"score":0.8236314654350281},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7580379247665405},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5463358759880066},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4667062759399414},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35633665323257446},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3322522044181824},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2879791855812073},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.06676879525184631},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06371292471885681},{"id":"https://openalex.org/C31903555","wikidata":"https://www.wikidata.org/wiki/Q1637030","display_name":"Food science","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.4204/eptcs.384.13","doi":"https://doi.org/10.4204/eptcs.384.13","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.384.13","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2023.13.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,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"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,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2306.05204","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2306.05204","pdf_url":"https://arxiv.org/pdf/2306.05204","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire/3fb655f2-1c33-4037-8080-3bd6f60e48f3","doi":null,"is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/the-qupit-stabiliser-zxtravaganza(3fb655f2-1c33-4037-8080-3bd6f60e48f3).html","pdf_url":"https://pure.uva.nl/ws/files/240040143/2306.05204v2.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"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":"Po\u00f3r, B, Booth, R I, Carette, T, van de Wetering, J & Yeh, L 2023, 'The Qupit Stabiliser ZX-travaganza : Simplified Axioms, Normal Forms and Graph-Theoretic Simplification', Electronic Proceedings in Theoretical Computer Science, vol. 384, pp. 220-264. https://doi.org/10.4204/EPTCS.384.13","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.2306.05204","doi":"https://doi.org/10.48550/arxiv.2306.05204","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2306.05204","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.4204/eptcs.384.13","doi":"https://doi.org/10.4204/eptcs.384.13","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.384.13","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2023.13.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,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"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,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3695008590","display_name":null,"funder_award_id":"1.1.1.5/18/A/020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G4495442504","display_name":null,"funder_award_id":"1.1.1.5","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"}],"funders":[{"id":"https://openalex.org/F4320320290","display_name":"University of Oxford","ror":"https://ror.org/052gg0110"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320336183","display_name":"Clarendon Fund","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386093868.pdf","grobid_xml":"https://content.openalex.org/works/W4386093868.grobid-xml"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W596878296","https://openalex.org/W863822813","https://openalex.org/W1571240009","https://openalex.org/W1617295181","https://openalex.org/W1717074168","https://openalex.org/W1761683182","https://openalex.org/W1923824182","https://openalex.org/W1973237732","https://openalex.org/W1978553093","https://openalex.org/W2009169733","https://openalex.org/W2015179126","https://openalex.org/W2020725861","https://openalex.org/W2032317947","https://openalex.org/W2052146120","https://openalex.org/W2096331363","https://openalex.org/W2097264545","https://openalex.org/W2102162525","https://openalex.org/W2119180894","https://openalex.org/W2287375552","https://openalex.org/W2375200430","https://openalex.org/W2512564998","https://openalex.org/W2598985404","https://openalex.org/W2608904586","https://openalex.org/W2610243179","https://openalex.org/W2623710274","https://openalex.org/W2757021800","https://openalex.org/W2793137241","https://openalex.org/W2802560682","https://openalex.org/W2918135161","https://openalex.org/W2922906818","https://openalex.org/W2923384172","https://openalex.org/W2938353722","https://openalex.org/W2946525545","https://openalex.org/W2949864545","https://openalex.org/W2963486917","https://openalex.org/W2980527089","https://openalex.org/W2980685390","https://openalex.org/W3009801593","https://openalex.org/W3009952673","https://openalex.org/W3015643100","https://openalex.org/W3021421569","https://openalex.org/W3033041011","https://openalex.org/W3046716817","https://openalex.org/W3096796582","https://openalex.org/W3111333709","https://openalex.org/W3126287822","https://openalex.org/W3127751074","https://openalex.org/W3151190579","https://openalex.org/W3155826835","https://openalex.org/W3191618797","https://openalex.org/W3201545989","https://openalex.org/W4214944326","https://openalex.org/W4221134844","https://openalex.org/W4224903690","https://openalex.org/W4225332047","https://openalex.org/W4236251876","https://openalex.org/W4294770912","https://openalex.org/W4310779930","https://openalex.org/W4313913930","https://openalex.org/W4320473416","https://openalex.org/W4324109466","https://openalex.org/W4366448634","https://openalex.org/W4366850726","https://openalex.org/W4384344711","https://openalex.org/W4386095905","https://openalex.org/W4388667237","https://openalex.org/W4388667423","https://openalex.org/W4388667435","https://openalex.org/W4401442351","https://openalex.org/W4403140569","https://openalex.org/W4406366434","https://openalex.org/W7073417189","https://openalex.org/W7151053239"],"related_works":["https://openalex.org/W4320473416","https://openalex.org/W3155826835","https://openalex.org/W3045951809","https://openalex.org/W863822813","https://openalex.org/W3144591549","https://openalex.org/W2918135161","https://openalex.org/W2102162525","https://openalex.org/W4225095720","https://openalex.org/W2800575014","https://openalex.org/W2966200829"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,16,57,60,73,88,98,119],"smorgasbord":[3],"of":[4,26,34,46,69,114],"results":[5],"on":[6],"the":[7,23,35,49,77],"stabiliser":[8],"ZX-calculus":[9],"for":[10,43,92,124],"odd":[11],"prime-dimensional":[12],"qudits":[13],"(i.e.qupits).We":[14],"derive":[15],"simplified":[17],"rule":[18],"set":[19],"that":[20],"closely":[21,105],"resembles":[22],"original":[24],"rules":[25],"qubit":[27],"ZX-calculus.Using":[28],"these":[29,115],"rules,":[30],"we":[31,71,96,110],"demonstrate":[32,56],"analogues":[33],"spider-removing":[36],"local":[37,81],"complementation":[38],"and":[39,66],"pivoting":[40],"rules.This":[41],"allows":[42],"efficient":[44],"reduction":[45,58,75],"diagrams":[47],"to":[48,59,76,87,101],"affine":[50],"with":[51,80],"phases":[52],"normal":[53,83],"form.We":[54],"also":[55],"unique":[61],"form,":[62,84],"providing":[63],"an":[64],"alternative":[65],"simpler":[67],"proof":[68],"completeness.Furthermore,":[70],"introduce":[72],"different":[74],"graph":[78],"state":[79],"Cliffords":[82],"which":[85],"leads":[86],"novel":[89],"layered":[90],"decomposition":[91],"qupit":[93],"Clifford":[94],"unitaries.Additionally,":[95],"propose":[97],"new":[99,120],"approach":[100],"handle":[102],"scalars":[103],"formally,":[104],"reflecting":[106],"their":[107],"practical":[108],"usage.Finally,":[109],"have":[111],"implemented":[112],"many":[113],"findings":[116],"in":[117],"DiZX,":[118],"open-source":[121],"Python":[122],"library":[123],"qudit":[125],"ZX-diagrammatic":[126],"reasoning.":[127]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2023,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2023-08-24T00:00:00"}