{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,24]],"date-time":"2024-08-24T00:33:11Z","timestamp":1724459591574},"reference-count":44,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.384.9","type":"journal-article","created":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T06:51:47Z","timestamp":1692773507000},"page":"142-170","source":"Crossref","is-referenced-by-count":1,"title":["The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality"],"prefix":"10.4204","volume":"384","author":[{"given":"Patrick","family":"Roy","sequence":"first","affiliation":[{"name":"University of Oxford"}]},{"given":"John","family":"van de Wetering","sequence":"additional","affiliation":[{"name":"University of Amsterdam"}]},{"given":"Lia","family":"Yeh","sequence":"additional","affiliation":[{"name":"University of Oxford"}]}],"member":"2720","published-online":{"date-parts":[[2023,8,30]]},"reference":[{"key":"amy2019","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-04-06-252","article-title":"Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits","volume":"4","author":"Amy","year":"2020","journal-title":"Quantum"},{"key":"Backens2019ZH","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.4204\/EPTCS.287.2","article-title":"ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity","volume-title":"Proceedings of the 15th International Conference on Quantum Physics and Logic, Halifax, Canada, 3-7th June 2018","volume":"287","author":"Backens","year":"2019"},{"key":"backens2021","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2103.06610","article-title":"Completeness of the ZH-calculus","author":"Backens","year":"2021"},{"issue":"5","key":"BarencoA1995elementarygates","doi-asserted-by":"publisher","first-page":"3457","DOI":"10.1103\/physreva.52.3457","article-title":"Elementary gates for quantum computation","volume":"52","author":"Barenco","year":"1995","journal-title":"Physical Review A"},{"key":"deBeaudrap2020","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.4204\/EPTCS.340.2","article-title":"Well-tempered ZX and ZH Calculi","volume-title":"Proceedings 17th International Conference on Quantum Physics and Logic, Paris, France, June 2 - 6, 2020","volume":"340","author":"de Beaudrap","year":"2021"},{"key":"booth2022","doi-asserted-by":"publisher","DOI":"10.48550\/arxiv.2204.12531","article-title":"Complete ZX-calculi for the stabiliser fragment in odd prime dimensions","author":"Booth","year":"2022"},{"key":"carette2021","doi-asserted-by":"publisher","DOI":"10.48550\/arxiv.2102.03178","article-title":"When Only Topology Matters","author":"Carette","year":"2021"},{"key":"carette2021thesis","volume-title":"Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable Notations","author":"Carette","year":"2021"},{"key":"carette2020","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2020.118","article-title":"A Recipe for Quantum Graphical Languages","volume-title":"47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)","volume":"168","author":"Carette","year":"2020"},{"key":"CD1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_25","article-title":"Interacting quantum observables","volume-title":"Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)","author":"Coecke","year":"2008"},{"issue":"4","key":"CoeckeB2011interacting","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016","article-title":"Interacting quantum observables: categorical algebra and diagrammatics","volume":"13","author":"Coecke","year":"2011","journal-title":"New Journal of Physics"},{"key":"phaseGadgetSynth","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.4204\/EPTCS.318.13","article-title":"Phase Gadget Synthesis for Shallow Circuits","volume-title":"Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019","volume":"318","author":"Cowtan","year":"2020"},{"issue":"3","key":"CuiS2015universalmetaplectic","doi-asserted-by":"publisher","DOI":"10.1063\/1.4914941","article-title":"Universal quantum computation with metaplectic anyons","volume":"56","author":"Cui","year":"2015","journal-title":"Journal of Mathematical Physics"},{"key":"duncan2016","series-title":"LICS '16","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934550","article-title":"Interacting Frobenius Algebras Are Hopf","volume-title":"Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"Duncan","year":"2016"},{"key":"d.p.east2021spinnetworks","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2111.03114","article-title":"Spin-networks in the ZX-calculus","author":"East","year":"2021"},{"key":"east2022","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.3.010302","article-title":"AKLT-States as ZX-Diagrams: Diagrammatic Reasoning for Quantum States","volume":"3","author":"East","year":"2022","journal-title":"PRX Quantum"},{"key":"Felice2023ZXWphotonics","doi-asserted-by":"crossref","DOI":"10.4204\/EPTCS.384.2","article-title":"Light-matter interaction in the ZXW-calculus","volume-title":"Quantum Physics and Logic","author":"de Felice","year":"2023"},{"key":"Glaudell2022qutritmetaplectic","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.TQC.2022.12","article-title":"Qutrit Metaplectic Gates Are a Subset of Clifford+T","volume-title":"17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022)","volume":"232","author":"Glaudell","year":"2022"},{"issue":"10","key":"GottesmanD1999ftqudit","doi-asserted-by":"publisher","DOI":"10.1016\/s0960-0779(98)00218-5","article-title":"Fault-Tolerant Quantum Computation with Higher-Dimensional Systems","volume":"10","author":"Gottesman","year":"1999","journal-title":"Chaos, Solitons & Fractals"},{"key":"hadamard1893","first-page":"240","article-title":"Resolution d'une question relative aux determinants","volume":"2","author":"Hadamard","year":"1893","journal-title":"Bull. des sciences math."},{"key":"hadzihasanovic2017","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1709.08086","volume-title":"The algebra of entanglement and the geometry of composition","author":"Hadzihasanovic","year":"2017"},{"key":"hadzihasanovic2018diagrammatic","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-15(3:26)2019","article-title":"A diagrammatic calculus of fermionic quantum circuits","volume":"15","author":"Hadzihasanovic","year":"2019","journal-title":"Logical Methods in Computer Science"},{"key":"Koch2022Masters","volume-title":"Quantum Machine Learning using the ZXW-Calculus","author":"Koch","year":"2022"},{"key":"KupperThesis","volume-title":"Analysis of quantum hypergraph states in the ZH-calculus","author":"Kupper","year":"2019"},{"key":"lemonnier2020","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.4204\/EPTCS.340.10","article-title":"Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus","volume-title":"Proceedings 17th International Conference on Quantum Physics and Logic, Paris, France, June 2 - 6, 2020","volume":"340","author":"Lemonnier","year":"2021"},{"key":"feng2018","volume-title":"Completeness of the ZW and ZX calculi","author":"Ng","year":"2018"},{"key":"poor2023completeness","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2302.12135","article-title":"Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus","author":"Po\u00f3r","year":"2023"},{"key":"poor2023qupitstabs","doi-asserted-by":"crossref","DOI":"10.4204\/EPTCS.384.13","article-title":"The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification","volume-title":"To appear in proceedings of the 2023 International Conference on Quantum Physics and Logic","author":"Po\u00f3r","year":"2023"},{"key":"shaikh2022sum","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2212.04462","article-title":"How to sum and exponentiate Hamiltonians in ZXW calculus","author":"Shaikh","year":"2022"},{"issue":"1","key":"shi2003","doi-asserted-by":"publisher","DOI":"10.5555\/2011508.2011515","article-title":"Both Toffoli and Controlled-NOT Need Little Help to Do Universal Quantum Computing","volume":"3","author":"Shi","year":"2003","journal-title":"Quantum Info. Comput."},{"key":"wetering2022","article-title":"Building Qutrit Diagonal Gates from Phase Gadgets","volume-title":"Quantum Physics and Logic","author":"van de Wetering","year":"2022"},{"key":"vilmart2021quantum","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.MFCS.2021.89","article-title":"Quantum Multiple-Valued Decision Diagrams in Graphical Calculi","volume-title":"46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)","volume":"202","author":"Vilmart","year":"2021"},{"key":"pathsRenaud","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-030-71995-1_27","article-title":"The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford","volume-title":"Foundations of Software Science and Computation Structures","author":"Vilmart","year":"2021"},{"key":"wang2018","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.4204\/EPTCS.266.3","article-title":"Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics","volume-title":"Proceedings 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3-7 July 2017","volume":"266","author":"Wang","year":"2018"},{"key":"wang2019","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.4204\/EPTCS.340.16","article-title":"An Algebraic Axiomatisation of ZX-calculus","volume-title":"Proceedings 17th International Conference on Quantum Physics and Logic, Paris, France, June 2 - 6, 2020","volume":"340","author":"Wang","year":"2021"},{"key":"wang2021","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2109.11285","volume-title":"A non-anyonic qudit ZW-calculus","author":"Wang","year":"2021"},{"key":"wang2021qufinite","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2104.06429","article-title":"Qufinite ZX-calculus: a unified framework of qudit ZX-calculi","author":"Wang","year":"2021"},{"key":"wang2014qutrit","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.4204\/EPTCS.172.7","article-title":"Qutrit Dichromatic Calculus and Its Universality","volume-title":"Proceedings of the 11th workshop on Quantum Physics and Logic, Kyoto, Japan, 4-6th June 2014","volume":"172","author":"Wang","year":"2014"},{"key":"wang2022differentiating","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2201.13250","article-title":"Differentiating and Integrating ZX Diagrams","author":"Wang","year":"2022"},{"key":"wang2020-3","doi-asserted-by":"publisher","DOI":"10.3389\/fphy.2020.589504","article-title":"Qudits and High-Dimensional Quantum Computing","volume":"8","author":"Wang","year":"2020","journal-title":"Frontiers in Physics"},{"key":"wetering2020","doi-asserted-by":"publisher","DOI":"10.48550\/arxiv.2012.13966","article-title":"ZX-calculus for the working quantum computer scientist","author":"van de Wetering","year":"2020"},{"key":"yeh2023","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2304.12504","article-title":"Scaling W states in the qudit Clifford hierarchy","volume-title":"Proceedings of the 1st International Workshop on the Art, Science, and Engineering of Quantum Programming","author":"Yeh","year":"2023"},{"key":"yeh2022","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-031-09005-9_3","article-title":"Constructing All Qutrit Controlled Clifford+T gates in Clifford+T","volume-title":"Reversible Computation","author":"Yeh","year":"2022"},{"key":"ZiW2023optsynthmultictrlqudit","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2303.12979","article-title":"Optimal Synthesis of Multi-Controlled Qudit Gates","volume-title":"To appear in Design Automation Conference","author":"Zi","year":"2023"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:39:28Z","timestamp":1693813168000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2307.10095v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":44,"URL":"https:\/\/doi.org\/10.4204\/eptcs.384.9","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,30]]}}}