{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T05:06:41Z","timestamp":1784178401292,"version":"3.55.0"},"publisher-location":"Cham","reference-count":85,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032308382","type":"print"},{"value":"9783032308399","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-30839-9_1","type":"book-chapter","created":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T04:50:28Z","timestamp":1784177428000},"page":"3-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Transversal AND in\u00a0Quantum Codes"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6443-7090","authenticated-orcid":false,"given":"Christine","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2704-4057","authenticated-orcid":false,"given":"Lia","family":"Yeh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"1_CR1","unstructured":"Aharonov, D.: A simple proof that toffoli and hadamard are quantum universal (2003). https:\/\/arxiv.org\/abs\/quant-ph\/0301040"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Anderson, B.E., Sosa-Martinez, H., Riofr\u00edo, C.A., Deutsch, I.H., Jessen, P.S.: Accurate and robust unitary transformations of a high-dimensional quantum system. Phys. Rev. Lett. 114, 240401 (2015). https:\/\/doi.org\/10.1103\/PhysRevLett.114.240401. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevLett.114.240401","DOI":"10.1103\/PhysRevLett.114.240401"},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Anwar, H., Campbell, E.T., Browne, D.E.: Qutrit magic state distillation. New J. Phys. 14(6), 063006 (2012). https:\/\/doi.org\/10.1088\/1367-2630\/14\/6\/063006. https:\/\/iopscience.iop.org\/article\/10.1088\/1367-2630\/14\/6\/063006","DOI":"10.1088\/1367-2630\/14\/6\/063006"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Backens, M.: The zx-calculus is complete for stabilizer quantum mechanics. New J. Phys. 16(9), 093021 (2014). https:\/\/doi.org\/10.1088\/1367-2630\/16\/9\/093021","DOI":"10.1088\/1367-2630\/16\/9\/093021"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"B\u00e6kkegaard, T., Kristensen, L.B., Loft, N.J.S., Andersen, C.K., Petrosyan, D., Zinner, N.T.: Realization of efficient quantum gates with a superconducting qubit-qutrit circuit. Sci. Rep. 9(1), 13389 (2019). https:\/\/doi.org\/10.1038\/s41598-019-49657-1","DOI":"10.1038\/s41598-019-49657-1"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3406309","volume":"1","author":"JM Baker","year":"2020","unstructured":"Baker, J.M., Duckering, C., Gokhale, P., Brown, N.C., Brown, K.R., Chong, F.T.: Improved quantum circuits via intermediate qutrits. ACM Trans. Quantum Comput. 1(1), 1\u201325 (2020)","journal-title":"ACM Trans. Quantum Comput."},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"de\u00a0Beaudrap, N., Bian, X., Wang, Q.: Techniques to reduce $$\\pi $$\/4-parity-phase circuits, motivated by the ZX calculus. Electron. Proc. Theor. Comput. Sci. 318, 131\u2013149 (2020). https:\/\/doi.org\/10.4204\/eptcs.318.9","DOI":"10.4204\/eptcs.318.9"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Bocharov, A., Roetteler, M., Svore, K.M.: Factoring with qutrits: Shor\u2019s algorithm on ternary and metaplectic quantum architectures. Phys. Rev. A 96(1), 012306 (2017). https:\/\/doi.org\/10.1103\/PhysRevA.96.012306. http:\/\/link.aps.org\/doi\/10.1103\/PhysRevA.96.012306","DOI":"10.1103\/PhysRevA.96.012306"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Booth, R.I., Carette, T.: Complete zx-calculi for the stabiliser fragment in odd prime dimensions, vol.\u00a0241, pp. 24:1\u201324:15. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPICS.MFCS.2022.24. https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/LIPIcs.MFCS.2022.24","DOI":"10.4230\/LIPICS.MFCS.2022.24"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Brock, B.L., et al.: Quantum error correction of qudits beyond break-even. Nature 641(8063), 612\u2013618 (2025). https:\/\/doi.org\/10.1038\/s41586-025-08899-y. https:\/\/www.nature.com\/articles\/s41586-025-08899-y","DOI":"10.1038\/s41586-025-08899-y"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Brown, T., et al.: Trade off-free entanglement stabilization in a superconducting qutrit-qubit system. Nat. Commun. 13(1), 3994 (2022). https:\/\/doi.org\/10.1038\/s41467-022-31638-0","DOI":"10.1038\/s41467-022-31638-0"},{"key":"1_CR12","unstructured":"Campbell, E.T.: The smallest interesting colour code (2016). https:\/\/earltcampbell.com\/2016\/09\/26\/the-smallest-interesting-colour-code\/"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Campbell, E.T., Anwar, H., Browne, D.E.: Magic-state distillation in all prime dimensions using quantum reed-muller codes. Phys. Rev. X 2(4), 041021 (2012). https:\/\/doi.org\/10.1103\/PhysRevX.2.041021. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevX.2.041021","DOI":"10.1103\/PhysRevX.2.041021"},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Campbell, E.T., Howard, M.: Unified framework for magic state distillation and multiqubit gate synthesis with reduced resource cost. Phys. Rev. A 95(2) (2017). https:\/\/doi.org\/10.1103\/physreva.95.022316","DOI":"10.1103\/physreva.95.022316"},{"issue":"3","key":"1_CR15","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ad37d4","volume":"9","author":"S Cao","year":"2024","unstructured":"Cao, S., et al.: Emulating two qubits with a four-level transmon qudit for variational quantum algorithms. Quantum Sci. Technol. 9(3), 035003 (2024). https:\/\/doi.org\/10.1088\/2058-9565\/ad37d4","journal-title":"Quantum Sci. Technol."},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Chi, Y., et al.: A programmable qudit-based quantum processor. Nat. Commun. 13(1), 1166 (2022). https:\/\/doi.org\/10.1038\/s41467-022-28767-x","DOI":"10.1038\/s41467-022-28767-x"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Chu, J., et al.: Scalable algorithm simplification using quantum AND logic. Nat. Phys. 19(1), 126\u2013131 (2023). https:\/\/doi.org\/10.1038\/s41567-022-01813-7. https:\/\/www.nature.com\/articles\/s41567-022-01813-7","DOI":"10.1038\/s41567-022-01813-7"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables: categorical algebra and diagrammatics. New J. Phys. 13(4), 043016 (2011). https:\/\/doi.org\/10.1088\/1367-2630\/13\/4\/043016","DOI":"10.1088\/1367-2630\/13\/4\/043016"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Cowtan, A., Dilkes, S., Duncan, R., Simmons, W., Sivarajah, S.: Phase gadget synthesis for shallow circuits. In: Coecke, B., Leifer, M. (eds.) Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA, 10\u201314 June 2019. Electronic Proceedings in Theoretical Computer Science, vol.\u00a0318, pp. 213\u2013228. Open Publishing Association (2020). https:\/\/doi.org\/10.4204\/EPTCS.318.13","DOI":"10.4204\/EPTCS.318.13"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Cui, S.X., Wang, Z.: Universal quantum computation with metaplectic anyons. J. Math. Phys. 56(3), 032202 (2015). https:\/\/doi.org\/10.1063\/1.4914941","DOI":"10.1063\/1.4914941"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Dawkins, H., Howard, M.: Qutrit magic state distillation tight in some directions. Phys. Rev. Lett. 115, 030501 (2015). https:\/\/doi.org\/10.1103\/PhysRevLett.115.030501. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevLett.115.030501","DOI":"10.1103\/PhysRevLett.115.030501"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Dutta, S., Wang, S., Baksi, A., Chattopadhyay, A., Maitra, S.: On exact space-depth trade-offs in multi-controlled toffoli decomposition (2025). https:\/\/arxiv.org\/abs\/2502.01433","DOI":"10.1103\/PhysRevA.111.052611"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Garvie, L., Duncan, R.: Verifying the smallest interesting colour code with quantomatic. Electron. Proc. Theor. Comput. Sci. 266, 147\u2013163 (2018). https:\/\/doi.org\/10.4204\/eptcs.266.10","DOI":"10.4204\/eptcs.266.10"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Gedik, Z., et al.: Computational speed-up with a single qudit. Sci. Rep. 5(1), 14671 (2015). https:\/\/doi.org\/10.1038\/srep14671","DOI":"10.1038\/srep14671"},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Gidney, C.: Halving the cost of quantum addition. Quantum 2, 74 (2018). https:\/\/doi.org\/10.22331\/q-2018-06-18-74","DOI":"10.22331\/q-2018-06-18-74"},{"key":"1_CR26","unstructured":"Gidney, C., Jones, N.C.: A cccz gate performed with 6 t gates (2021). https:\/\/arxiv.org\/abs\/2106.11513"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Giles, B., Selinger, P.: Exact synthesis of multiqubit clifford+t circuits. Phys. Rev. A 87(3) (2013). https:\/\/doi.org\/10.1103\/physreva.87.032332","DOI":"10.1103\/physreva.87.032332"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.aop.2019.04.001","volume":"406","author":"AN Glaudell","year":"2019","unstructured":"Glaudell, A.N., Ross, N.J., Taylor, J.M.: Canonical forms for single-qutrit clifford+t operators. Ann. Phys. 406, 54\u201370 (2019). https:\/\/doi.org\/10.1016\/j.aop.2019.04.001","journal-title":"Ann. Phys."},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Glaudell, A.N., Ross, N.J., Wetering, J.V.D., Yeh, L.: Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits (2024). http:\/\/arxiv.org\/abs\/2405.08136","DOI":"10.4204\/EPTCS.406.2"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Godfrin, C., et al.: Operating quantum states in single magnetic molecules: implementation of grover\u2019s quantum algorithm. Phys. Rev. Lett. 119, 187702 (2017). https:\/\/doi.org\/10.1103\/PhysRevLett.119.187702. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevLett.119.187702","DOI":"10.1103\/PhysRevLett.119.187702"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Gokhale, P., Baker, J.M., Duckering, C., Brown, N.C., Brown, K.R., Chong, F.T.: Asymptotic improvements to quantum circuits via qutrits. In: Proceedings of the 46th International Symposium on Computer Architecture, pp. 554\u2013566. ACM, Phoenix Arizona (2019). https:\/\/doi.org\/10.1145\/3307650.3322253. https:\/\/dl.acm.org\/doi\/10.1145\/3307650.3322253","DOI":"10.1145\/3307650.3322253"},{"key":"1_CR32","doi-asserted-by":"publisher","unstructured":"Goss, N., et al.: High-fidelity qutrit entangling gates for superconducting circuits. Nat. Commun. 13(1), 7481 (2022). https:\/\/doi.org\/10.1038\/s41467-022-34851-z. https:\/\/www.nature.com\/articles\/s41467-022-34851-z","DOI":"10.1038\/s41467-022-34851-z"},{"issue":"15\u201316","key":"1_CR33","first-page":"1261","volume":"14","author":"D Gosset","year":"2014","unstructured":"Gosset, D., Kliuchnikov, V., Mosca, M., Russo, V.: An algorithm for the t-count. Quantum Info. Comput. 14(15\u201316), 1261\u20131276 (2014)","journal-title":"Quantum Info. Comput."},{"key":"1_CR34","doi-asserted-by":"publisher","unstructured":"Gottesman, D.: Stabilizer codes and quantum error correction. Ph.D. thesis, California Institute of Technology (1997). https:\/\/doi.org\/10.48550\/arXiv.quant-ph\/9705052","DOI":"10.48550\/arXiv.quant-ph\/9705052"},{"key":"1_CR35","doi-asserted-by":"publisher","unstructured":"Gottesman, D.: Theory of fault-tolerant quantum computation. Phys. Rev. A 57(1), 127\u2013137 (1998). https:\/\/doi.org\/10.1103\/physreva.57.127","DOI":"10.1103\/physreva.57.127"},{"key":"1_CR36","unstructured":"Gottesman, D.: 9.1 Concatenated Codes, pp. 141\u2013144. Textbook Manuscript Preprint (2024). http:\/\/www.cs.umd.edu\/~dgottesm\/QECCbook-2024.pdf"},{"key":"1_CR37","doi-asserted-by":"publisher","unstructured":"Gunderman, L.G.: Beyond integral-domain stabilizer codes. Phys. Rev. A 112, 062430 (2025). https:\/\/doi.org\/10.1103\/4y6f-xx6s. https:\/\/link.aps.org\/doi\/10.1103\/4y6f-xx6s","DOI":"10.1103\/4y6f-xx6s"},{"key":"1_CR38","doi-asserted-by":"publisher","unstructured":"Hadzihasanovic, A., Ng, K.F., Wang, Q.: Two complete axiomatisations of pure-state qubit quantum computing. In: Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2018, pp. 502\u2013511. Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3209108.3209128","DOI":"10.1145\/3209108.3209128"},{"key":"1_CR39","doi-asserted-by":"publisher","unstructured":"Hrmo, P., et al.: Native qudit entanglement in a trapped ion quantum processor. Nat. Commun. 14(1), 2242 (2023). https:\/\/doi.org\/10.1038\/s41467-023-37375-2","DOI":"10.1038\/s41467-023-37375-2"},{"key":"1_CR40","doi-asserted-by":"publisher","unstructured":"Hu, X.M., Guo, Y., Liu, B.H., Huang, Y.F., Li, C.F., Guo, G.C.: Beating the channel capacity limit for superdense coding with entangled ququarts. Sci. Adv. 4(7), eaat9304 (2018). https:\/\/doi.org\/10.1126\/sciadv.aat9304. https:\/\/www.science.org\/doi\/abs\/10.1126\/sciadv.aat9304","DOI":"10.1126\/sciadv.aat9304"},{"key":"1_CR41","doi-asserted-by":"publisher","unstructured":"Huang, J., Li, S.M., Yeh, L., Kissinger, A., Mosca, M., Vasmer, M.: Graphical CSS code transformation using ZX calculus. Electron. Proc. Theor. Comput. Sci. 384, 1\u201319 (2023). https:\/\/doi.org\/10.4204\/eptcs.384.1","DOI":"10.4204\/eptcs.384.1"},{"key":"1_CR42","doi-asserted-by":"publisher","unstructured":"Jones, C.: Low-overhead constructions for the fault-tolerant toffoli gate. Phys. Rev. A 87, 022328 (2013). https:\/\/doi.org\/10.1103\/PhysRevA.87.022328. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevA.87.022328","DOI":"10.1103\/PhysRevA.87.022328"},{"key":"1_CR43","unstructured":"Joshi, R., et al.: Probing hadron scattering in lattice gauge theories on qudit quantum computers (2025). https:\/\/arxiv.org\/abs\/2507.12614"},{"key":"1_CR44","unstructured":"Kabir, A., Nguyen, S., Ghosh, S., Kiran, T., Kim, I.H., Huang, Y.: Sdim: a qudit stabilizer simulator (2025). https:\/\/arxiv.org\/abs\/2511.12777"},{"key":"1_CR45","doi-asserted-by":"publisher","unstructured":"Khattar, T., Gidney, C.: Rise of conditionally clean ancillae for efficient quantum circuit constructions. Quantum 9, 1752 (2025). https:\/\/doi.org\/10.22331\/q-2025-05-21-1752","DOI":"10.22331\/q-2025-05-21-1752"},{"key":"1_CR46","doi-asserted-by":"publisher","unstructured":"Khesin, A.B., Lu, J.Z., Shor, P.W.: Universal graph representation of stabilizer codes. PRX Quantum 6, 040325 (2025). https:\/\/doi.org\/10.1103\/1gjs-2rhx. https:\/\/link.aps.org\/doi\/10.1103\/1gjs-2rhx","DOI":"10.1103\/1gjs-2rhx"},{"key":"1_CR47","unstructured":"Kissinger, A.: Phase-free ZX diagrams are CSS codes (...or how to graphically grok the surface code) (2022). http:\/\/arxiv.org\/abs\/2204.14038"},{"key":"1_CR48","unstructured":"Kissinger, A., van\u00a0de Wetering, J.: Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation. Preprint (2024). https:\/\/github.com\/zxcalc\/book\/"},{"issue":"8","key":"1_CR49","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/17\/8\/083026","volume":"17","author":"A Kubica","year":"2015","unstructured":"Kubica, A., Yoshida, B., Pastawski, F.: Unfolding the color code. New J. Phys. 17(8), 083026 (2015)","journal-title":"New J. Phys."},{"key":"1_CR50","unstructured":"Li, C., Preskill, J., Xu, Q.: Transversal dimension jump for product QLDPC codes (2025). https:\/\/arxiv.org\/abs\/2510.07269"},{"key":"1_CR51","unstructured":"Li, C., Yeh, L.: Transversal and in Quantum Codes (2026). https:\/\/arxiv.org\/abs\/2603.04548"},{"key":"1_CR52","doi-asserted-by":"publisher","unstructured":"Li, S.M., Mosca, M., Ross, N.J., van\u00a0de Wetering, J., Zhao, Y.: A complete and natural rule set for multi-qutrit clifford circuits. Electron. Proc. Theor. Comput. Sci. 426, 23\u201378 (2025). https:\/\/doi.org\/10.4204\/eptcs.426.2","DOI":"10.4204\/eptcs.426.2"},{"key":"1_CR53","unstructured":"Lysaght, L., Goubault, T., Sinnott, P., Mansfield, S., Emeriau, P.E.: Quantum circuit compression using qubit logic on qudits (2024). https:\/\/arxiv.org\/abs\/2411.03878"},{"key":"1_CR54","doi-asserted-by":"publisher","unstructured":"Mato, K., Hillmich, S., Wille, R.: Compression of qubit circuits: mapping to mixed-dimensional quantum systems. In: 2023 IEEE International Conference on Quantum Software (QSW), pp. 155\u2013161 (2023). https:\/\/doi.org\/10.1109\/QSW59989.2023.00027","DOI":"10.1109\/QSW59989.2023.00027"},{"key":"1_CR55","unstructured":"Mato, K., Ringbauer, M., Burgholzer, L., Wille, R.: MQT Qudits: a software framework for mixed-dimensional quantum computing (2024). https:\/\/arxiv.org\/abs\/2410.02854"},{"key":"1_CR56","doi-asserted-by":"publisher","unstructured":"Meth, M., et al.: Simulating two-dimensional lattice gauge theories on a qudit quantum computer. Nat. Phys. 21(4), 570\u2013576 (2025). https:\/\/doi.org\/10.1038\/s41567-025-02797-w","DOI":"10.1038\/s41567-025-02797-w"},{"key":"1_CR57","doi-asserted-by":"publisher","unstructured":"Miao, K.C., et al.: Overcoming leakage in quantum error correction. Nat. Phys. 19(12), 1780\u20131786 (2023). https:\/\/doi.org\/10.1038\/s41567-023-02226-w. https:\/\/www.nature.com\/articles\/s41567-023-02226-w","DOI":"10.1038\/s41567-023-02226-w"},{"key":"1_CR58","unstructured":"Nakanishi, K.M., Todo, S.: Systematic construction of multi-controlled pauli gate decompositions with optimal $$t$$-count (2024). https:\/\/arxiv.org\/abs\/2410.00910"},{"key":"1_CR59","doi-asserted-by":"crossref","unstructured":"Petit, L., et al.: Design and integration of single-qubit rotations and two-qubit gates in silicon above one kelvin (2022)","DOI":"10.1038\/s43246-022-00304-9"},{"key":"1_CR60","doi-asserted-by":"publisher","unstructured":"Pino, J.M., et al.: Demonstration of the trapped-ion quantum CCD computer architecture. Nature 592(7853), 209\u2013213 (2021). https:\/\/doi.org\/10.1038\/s41586-021-03318-4","DOI":"10.1038\/s41586-021-03318-4"},{"key":"1_CR61","doi-asserted-by":"publisher","unstructured":"Po\u00f3r, B., Booth, R.I., Carette, T., van\u00a0de Wetering, J., Yeh, L.: The qupit stabiliser zx-travaganza: simplified axioms, normal forms and graph-theoretic simplification. Electron. Proc. Theor. Comput. Sci. 384, 220\u2013264 (2023). https:\/\/doi.org\/10.4204\/eptcs.384.13","DOI":"10.4204\/eptcs.384.13"},{"key":"1_CR62","doi-asserted-by":"publisher","unstructured":"Prakash, S.: Magic state distillation with the ternary golay code. Proc. Roy. Soc. A Math. Phys. Eng. Sci. 476(2241), 20200187 (2020). https:\/\/doi.org\/10.1098\/rspa.2020.0187. https:\/\/royalsocietypublishing.org\/doi\/abs\/10.1098\/rspa.2020.0187","DOI":"10.1098\/rspa.2020.0187"},{"key":"1_CR63","doi-asserted-by":"publisher","unstructured":"Prakash, S., Jain, A., Kapur, B., Seth, S.: Normal form for single-qutrit clifford+t operators and synthesis of single-qutrit gates. Phys. Rev. A 98(3) (2018). https:\/\/doi.org\/10.1103\/physreva.98.032304","DOI":"10.1103\/physreva.98.032304"},{"key":"1_CR64","doi-asserted-by":"publisher","unstructured":"Ranchin, A.: Depicting qudit quantum mechanics and mutually unbiased qudit theories. Electron. Proc. Theor. Comput. Sci. 172, 68\u201391 (2014). https:\/\/doi.org\/10.4204\/eptcs.172.6","DOI":"10.4204\/eptcs.172.6"},{"key":"1_CR65","doi-asserted-by":"publisher","unstructured":"Ringbauer, M., et al.: A universal qudit quantum processor with trapped ions. Nat. Phys. 18(9), 1053\u20131057 (2022). https:\/\/doi.org\/10.1038\/s41567-022-01658-0. https:\/\/www.nature.com\/articles\/s41567-022-01658-0","DOI":"10.1038\/s41567-022-01658-0"},{"key":"1_CR66","doi-asserted-by":"publisher","unstructured":"Roy, P., van\u00a0de Wetering, J., Yeh, L.: The qudit zh-calculus: generalised toffoli+hadamard and universality. Electron. Proc. Theor. Comput. Sci. 384, 142\u2013170 (2023). https:\/\/doi.org\/10.4204\/eptcs.384.9","DOI":"10.4204\/eptcs.384.9"},{"issue":"4","key":"1_CR67","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.042302","volume":"87","author":"P Selinger","year":"2013","unstructured":"Selinger, P.: Quantum circuits of t-depth one. Phys. Rev. A 87(4), 042302 (2013). https:\/\/doi.org\/10.1103\/PhysRevA.87.042302","journal-title":"Phys. Rev. A"},{"key":"1_CR68","doi-asserted-by":"publisher","unstructured":"Sheldon, S., Magesan, E., Chow, J.M., Gambetta, J.M.: Procedure for systematically tuning up cross-talk in the cross-resonance gate. Phys. Rev. A 93, 060302 (2016). https:\/\/doi.org\/10.1103\/PhysRevA.93.060302","DOI":"10.1103\/PhysRevA.93.060302"},{"issue":"5","key":"1_CR69","first-page":"461","volume":"9","author":"VV Shende","year":"2009","unstructured":"Shende, V.V., Markov, I.L.: On the cnot-cost of toffoli gates. Quantum Info. Comput. 9(5), 461\u2013486 (2009)","journal-title":"Quantum Info. Comput."},{"key":"1_CR70","doi-asserted-by":"publisher","unstructured":"de\u00a0Silva, N.: Efficient quantum gate teleportation in higher dimensions. Proc. Roy. Soc. A Math. Phys. Eng. Sci. 477(2251) (2021). https:\/\/doi.org\/10.1098\/rspa.2020.0865","DOI":"10.1098\/rspa.2020.0865"},{"key":"1_CR71","doi-asserted-by":"publisher","unstructured":"Srivastav, V., et al.: Quick quantum steering: overcoming loss and noise with qudits. Phys. Rev. X 12(4) (2022). https:\/\/doi.org\/10.1103\/physrevx.12.041023","DOI":"10.1103\/physrevx.12.041023"},{"key":"1_CR72","doi-asserted-by":"publisher","unstructured":"Steane, A.M.: Active stabilization, quantum computation, and quantum state synthesis. Phys. Rev. Lett. 78, 2252\u20132255 (1997). https:\/\/doi.org\/10.1103\/PhysRevLett.78.2252. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevLett.78.2252","DOI":"10.1103\/PhysRevLett.78.2252"},{"key":"1_CR73","doi-asserted-by":"publisher","unstructured":"Steane, A.M.: Active stabilization, quantum computation, and quantum state synthesis. Phys. Rev. Lett. 78(11), 2252\u20132255 (1997). https:\/\/doi.org\/10.1103\/physrevlett.78.2252","DOI":"10.1103\/physrevlett.78.2252"},{"key":"1_CR74","doi-asserted-by":"publisher","unstructured":"Townsend-Teague, A., Meichanetzidis, K.: Simplification Strategies for the Qutrit ZX-Calculus (2022). https:\/\/doi.org\/10.48550\/arXiv.2103.06914","DOI":"10.48550\/arXiv.2103.06914"},{"key":"1_CR75","unstructured":"Vlasov, A.Y.: Some notes on quantum information theory and emerging computing technologies (2015). https:\/\/arxiv.org\/abs\/1102.2890"},{"key":"1_CR76","doi-asserted-by":"publisher","unstructured":"Wang, Q.: Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics (2018). https:\/\/doi.org\/10.48550\/arXiv.1803.00696. http:\/\/arxiv.org\/abs\/1803.00696. arXiv:1803.00696","DOI":"10.48550\/arXiv.1803.00696"},{"key":"1_CR77","doi-asserted-by":"publisher","unstructured":"Wang, Q., Bian, X.: Qutrit dichromatic calculus and its universality. Electron. Proc. Theor. Comput. Sci. 172, 92\u2013101 (2014). https:\/\/doi.org\/10.4204\/eptcs.172.7","DOI":"10.4204\/eptcs.172.7"},{"key":"1_CR78","doi-asserted-by":"publisher","unstructured":"Weggemans, J.R., et al.: Solving correlation clustering with QAOA and a rydberg qudit system: a full-stack approach. Quantum 6, 687 (2022). https:\/\/doi.org\/10.22331\/q-2022-04-13-687","DOI":"10.22331\/q-2022-04-13-687"},{"key":"1_CR79","doi-asserted-by":"publisher","unstructured":"van\u00a0de Wetering, J.: Constructing quantum circuits with global gates. New J. Phys. 23(4), 043015 (2021). https:\/\/doi.org\/10.1088\/1367-2630\/abf1b3","DOI":"10.1088\/1367-2630\/abf1b3"},{"key":"1_CR80","doi-asserted-by":"publisher","unstructured":"Wetering, J.v.d., Yeh, L.: Building Qutrit Diagonal Gates from Phase Gadgets (2023). https:\/\/doi.org\/10.48550\/arXiv.2204.13681","DOI":"10.48550\/arXiv.2204.13681"},{"key":"1_CR81","unstructured":"Yeh, L.: Transdimensional quantum computation: the graphical novel. Ph.D. thesis, University of Oxford (2026)"},{"key":"1_CR82","unstructured":"Yeh, L., Huang, J., Kissinger, A., Li, S.M., van\u00a0de Wetering, J.: A three-way normal form for stabiliser codes across zx diagrams, circuits, and tableaus (2026), in preparation"},{"key":"1_CR83","doi-asserted-by":"publisher","unstructured":"Yeh, L., van\u00a0de Wetering, J.: Constructing All Qutrit Controlled Clifford+T gates in Clifford+T, pp. 28\u201350. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-09005-9_3","DOI":"10.1007\/978-3-031-09005-9_3"},{"key":"1_CR84","doi-asserted-by":"publisher","unstructured":"Yu, N., Duan, R., Ying, M.: Five two-qubit gates are necessary for implementing the toffoli gate. Phys. Rev. A 88, 010304 (2013). https:\/\/doi.org\/10.1103\/PhysRevA.88.010304. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevA.88.010304","DOI":"10.1103\/PhysRevA.88.010304"},{"key":"1_CR85","doi-asserted-by":"publisher","unstructured":"Zi, W., Li, Q., Sun, X.: Optimal synthesis of multi-controlled qudit gates. In: 2023 60th ACM\/IEEE Design Automation Conference (DAC), pp.\u00a01\u20136 (2023). https:\/\/doi.org\/10.1109\/DAC56929.2023.10247925","DOI":"10.1109\/DAC56929.2023.10247925"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-30839-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T04:50:44Z","timestamp":1784177444000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-30839-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032308382","9783032308399"],"references-count":85,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-30839-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"17 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reversible Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rc2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/reversible-computation.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}