{"id":"https://openalex.org/W2963486917","doi":"https://doi.org/10.4230/lipics.mfcs.2017.11","title":"ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics","display_name":"ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2963486917","doi":"https://doi.org/10.4230/lipics.mfcs.2017.11","mag":"2963486917"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1702.01945","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1702.01945","pdf_url":"https://arxiv.org/pdf/1702.01945","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1702.01945","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020089810","display_name":"Emmanuel Jeandel","orcid":"https://orcid.org/0000-0001-7236-2906","observed_orcids":["https://orcid.org/0000-0001-7236-2906"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeandel, Emmanuel","raw_affiliation_strings":["CARTE - Theoretical adverse computations, and safety (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CARTE - Theoretical adverse computations, and safety (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029014455","display_name":"Simon Perdrix","orcid":"https://orcid.org/0000-0002-1808-2409","observed_orcids":["https://orcid.org/0000-0002-1808-2409"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Perdrix, Simon","raw_affiliation_strings":["CARTE - Theoretical adverse computations, and safety (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CARTE - Theoretical adverse computations, and safety (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060401218","display_name":"Renaud Vilmart","orcid":"https://orcid.org/0000-0002-8828-4671","observed_orcids":["https://orcid.org/0000-0002-8828-4671"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vilmart, Renaud","raw_affiliation_strings":["CARTE - Theoretical adverse computations, and safety (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CARTE - Theoretical adverse computations, and safety (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046400954","display_name":"Quanlong Wang","orcid":null,"observed_orcids":[]},"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":"Wang, Quanlong","raw_affiliation_strings":["CARTE - Theoretical adverse computations, and safety (France)","Computing Science Laboratory - Oxford University (United Kingdom)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CARTE - Theoretical adverse computations, and safety (France)","institution_ids":[]},{"raw_affiliation_string":"Computing Science Laboratory - Oxford University (United Kingdom)","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"15","last_page":null},"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.8330000042915344,"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.8330000042915344,"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.050700001418590546,"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"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.02879999950528145,"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/zx-calculus","display_name":"ZX-calculus","score":0.9909999966621399},{"id":"https://openalex.org/keywords/supplementarity","display_name":"supplementarity","score":0.6589999794960022},{"id":"https://openalex.org/keywords/incompleteness","display_name":"incompleteness","score":0.7570000290870667},{"id":"https://openalex.org/keywords/axiomatization","display_name":"axiomatization","score":0.6480000019073486}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6426970958709717},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6308308243751526},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5678659081459045},{"id":"https://openalex.org/C106624574","wikidata":"https://www.wikidata.org/wiki/Q5270387","display_name":"Diagrammatic reasoning","level":2,"score":0.5563564896583557},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42577099800109863},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3793642520904541},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.17360511422157288},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1420348584651947},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:arXiv.org:1702.01945","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1702.01945","pdf_url":"https://arxiv.org/pdf/1702.01945","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:8117","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2017.11","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol083-mfcs2017/LIPIcs.MFCS.2017.11/LIPIcs.MFCS.2017.11.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"InProceedings"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:3077f5fa-bf9b-4419-9b5f-66ac5e2c2e0e","doi":null,"is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:3077f5fa-bf9b-4419-9b5f-66ac5e2c2e0e/files/m9eaba6c14abdf3f02a10a3d94d50ab4c","pdf_url":"https://ora.ox.ac.uk/objects/uuid:3077f5fa-bf9b-4419-9b5f-66ac5e2c2e0e","source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements at Oxford","raw_type":"http://purl.org/coar/resource_type/c_5794"},{"id":"pmh:oai:HAL:hal-01445707v2","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-01445707","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.48550/arxiv.1702.01945","doi":"https://doi.org/10.48550/arxiv.1702.01945","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1702.01945","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.mfcs.2017.11","doi":"https://doi.org/10.4230/lipics.mfcs.2017.11","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.mfcs.2017.11","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","jufo-1","norway-1"],"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1702.01945","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1702.01945","pdf_url":"https://arxiv.org/pdf/1702.01945","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2963486917.pdf","grobid_xml":"https://content.openalex.org/works/W2963486917.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W596878296","https://openalex.org/W863822813","https://openalex.org/W1521316741","https://openalex.org/W1617295181","https://openalex.org/W1868793992","https://openalex.org/W1970994416","https://openalex.org/W1979130667","https://openalex.org/W1998521042","https://openalex.org/W2050811372","https://openalex.org/W2084269802","https://openalex.org/W2096331363","https://openalex.org/W2102162525","https://openalex.org/W2154828304","https://openalex.org/W2287375552","https://openalex.org/W2618835066","https://openalex.org/W2750666413","https://openalex.org/W3099533840","https://openalex.org/W3103730115","https://openalex.org/W4296295483"],"related_works":["https://openalex.org/W2339877472","https://openalex.org/W2995569647","https://openalex.org/W2785945678","https://openalex.org/W2618835066","https://openalex.org/W6894147953","https://openalex.org/W2784637752","https://openalex.org/W2796162739","https://openalex.org/W2050811372","https://openalex.org/W2800575014","https://openalex.org/W2966200829"],"abstract_inverted_index":{"The":[0,14],"ZX-Calculus":[1],"is":[2,29,102],"a":[3,30,37,71,115,159],"powerful":[4],"graphical":[5],"language":[6,18,148],"for":[7,48,121,149,170],"quantum":[8,11,49,123,153],"mechanics":[9],"and":[10],"information":[12],"processing.":[13],"completeness":[15],"of":[16,36,118,138,146,162],"the":[17,21,34,88,92,107,135,139,144,147,150,171],"--":[19,28,74,78],"i.e.":[20],"ability":[22],"to":[23,45,114],"derive":[24],"any":[25],"true":[26],"equation":[27],"crucial":[31],"question.":[32],"In":[33],"quest":[35],"complete":[38],"ZX-calculus,":[39],"supplementarity":[40,56,73,77,109],"has":[41],"been":[42],"recently":[43],"proved":[44],"be":[46,111,132],"necessary":[47],"diagram":[50],"reasoning":[51],"(MFCS":[52],"2016).":[53],"Roughly":[54],"speaking,":[55],"consists":[57,80],"in":[58,81,142],"merging":[59,82],"two":[60],"subdiagrams":[61,84],"when":[62,87,100],"they":[63],"are":[64],"parameterized":[65],"by":[66],"antipodal":[67],"angles.":[68],"We":[69,97,155],"introduce":[70],"generalised":[72],"called":[75],"cyclotomic":[76,108,172],"which":[79],"n":[83,89,101],"at":[85],"once,":[86],"angles":[90],"divide":[91],"circle":[93],"into":[94],"equal":[95],"parts.":[96],"show":[98],"that":[99,130],"an":[103,163,167],"odd":[104],"prime":[105],"number,":[106],"cannot":[110,131],"derived,":[112],"leading":[113],"countable":[116],"family":[117],"new":[119,127,160],"axioms":[120],"diagrammatic":[122],"reasoning.We":[124],"exhibit":[125],"another":[126],"simple":[128],"axiom":[129,168],"derived":[133],"from":[134],"existing":[136],"rules":[137],"ZX-Calculus,":[140,165],"implying":[141],"particular":[143],"incompleteness":[145],"so-called":[151],"Clifford+T":[152],"mechanics.":[154],"end":[156],"up":[157],"with":[158],"axiomatisation":[161],"extended":[164],"including":[166],"schema":[169],"supplementarity.":[173]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2019-07-30T00:00:00"}