Synthesis and Arithmetic of Single Qutrit Circuits
1Institute for Quantum Computing, University of Waterloo, Waterloo, Ontario, Canada
2David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada
3Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada
4Dept. of Combinatorics $\&$ Optimization, University of Waterloo, Waterloo, Ontario, Canada
| Published: | 2025-02-26, volume 9, page 1647 |
| Editor: | Alexander Dalzell |
| Eprint: | arXiv:2311.08696v4 |
| Doi: | https://doi.org/10.22331/q-2025-02-26-1647 |
| Citation: | Quantum 9, 1647 (2025). |
Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.
Abstract
In this paper we study single qutrit circuits consisting of words over the Clifford$+\mathcal{D}$ cyclotomic gate set, where $\mathcal{D}=\text{diag}(\pm\xi^{a},\pm\xi^{b},\pm\xi^{c})$, $\xi$ is a primitive $9$-th root of unity and $a,b,c$ are integers. We characterize classes of qutrit unit vectors $z$ with entries in $\mathbb{Z}[\xi, \frac{1}{\chi}]$ based on the possibility of reducing their smallest denominator exponent (sde) with respect to $\chi := 1 – \xi,$ by acting an appropriate gate in Clifford$+\mathcal{D}$. We do this by studying the notion of `derivatives mod $3$' of an arbitrary element of $\mathbb{Z}[\xi]$ and using it to study the smallest denominator exponent of $H\mathcal{D}z$ where $H$ is the qutrit Hadamard gate and $\mathcal{D}$. In addition, we reduce the problem of finding all unit vectors of a given sde to that of finding integral solutions of a positive definite quadratic form along with some additional constraints. As a consequence we prove that the Clifford$+\mathcal{D}$ gates naturally arise as gates with sde $0$ and $3$ in the group $U(3,\mathbb{Z}[\xi, \frac{1}{\chi}])$ of $3 \times 3$ unitaries with entries in $\mathbb{Z}[\xi, \frac{1}{\chi}]$. We illustrate the general applicability of these methods to obtain an exact synthesis algorithm for Clifford$+R$ and recover the previously known exact synthesis algorithm of Kliuchnikov, Maslov, Mosca (2012). The framework developed to formulate qutrit gate synthesis for Clifford$+\mathcal{D}$ extends to qudits of arbitrary prime power.
► BibTeX data
► References
[1] B. E. Anderson, H. Sosa-Martinez, C. A. Riofrío, Ivan H. Deutsch, and Poul S. Jessen. Accurate and robust unitary transformations of a high-dimensional quantum system. Phys. Rev. Lett., 114: 240401, Jun 2015. 10.1103/PhysRevLett.114.240401.
https://doi.org/10.1103/PhysRevLett.114.240401
[2] Alex Bocharov, Xingshan Cui, Vadym Kliuchnikov, and Zhenghan Wang. Efficient topological compilation for a weakly integral anyonic model. Physical Review A, 93 (1), jan 2016. 10.1103/physreva.93.012313.
https://doi.org/10.1103/physreva.93.012313
[3] Earl T. Campbell, Hussain Anwar, and Dan E. Browne. Magic-state distillation in all prime dimensions using quantum reed-muller codes. Phys. Rev. X, 2: 041021, Dec 2012. 10.1103/PhysRevX.2.041021.
https://doi.org/10.1103/PhysRevX.2.041021
[4] Shawn X. Cui, Daniel Gottesman, and Anirudh Krishna. Diagonal gates in the clifford hierarchy. Physical Review A, 95 (1), jan 2017. 10.1103/physreva.95.012329.
https://doi.org/10.1103/physreva.95.012329
[5] Shai Evra and Ori Parzanchevski. Arithmeticity and covering rate of the 9-cyclotomic clifford+d gates in pu (3). arXiv preprint arXiv:2401.16120, 2024. https://doi.org/10.48550/arXiv.2401.16120.
https://doi.org/10.48550/arXiv.2401.16120
arXiv:2401.16120
[6] Simon Forest, David Gosset, Vadym Kliuchnikov, and David McKinnon. Exact synthesis of single-qubit unitaries over clifford-cyclotomic gate sets. Journal of Mathematical Physics, 56 (8): 082201, aug 2015. 10.1063/1.4927100.
https://doi.org/10.1063/1.4927100
[7] Andrew N. Glaudell, Neil J. Ross, and Jacob M. Taylor. Canonical forms for single-qutrit clifford+t operators. Annals of Physics, 406: 54–70, 2019. ISSN 0003-4916. https://doi.org/10.1016/j.aop.2019.04.001.
https://doi.org/10.1016/j.aop.2019.04.001
[8] Andrew N. Glaudell, Neil J. Ross, John van de Wetering, and Lia Yeh. Qutrit metaplectic gates are a subset of clifford+t. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. 10.4230/LIPICS.TQC.2022.12.
https://doi.org/10.4230/LIPICS.TQC.2022.12
[9] Andrew N. Glaudell, Neil J. Ross, John van de Wetering, and Lia Yeh. Exact synthesis of multiqutrit clifford-cyclotomic circuits. Electronic Proceedings in Theoretical Computer Science, 406: 44–62, August 2024. ISSN 2075-2180. 10.4204/eptcs.406.2.
https://doi.org/10.4204/eptcs.406.2
[10] Mark Howard and Jiri Vala. Qudit versions of the qubit ${\pi}/8$ gate. Phys. Rev. A, 86: 022316, Aug 2012. 10.1103/PhysRevA.86.022316.
https://doi.org/10.1103/PhysRevA.86.022316
[11] Mark Howard, Joel Wallman, Victor Veitch, and Joseph Emerson. Contextuality supplies the `magic' for quantum computation. Nature, 510 (7505): 351–355, jun 2014. 10.1038/nature13460.
https://doi.org/10.1038/nature13460
[12] Amolak Ratan Kalra, Manimugdha Saikia, Dinesh Valluri, Sam Winnick, and Jon Yard. Multi-qutrit exact synthesis. arXiv preprint arXiv:2405.08147, 2024. https://doi.org/10.48550/arXiv.2405.08147.
https://doi.org/10.48550/arXiv.2405.08147
arXiv:2405.08147
[13] A. B. Klimov, R. Guzmán, J. C. Retamal, and C. Saavedra. Qutrit quantum computer with trapped ions. Phys. Rev. A, 67: 062313, Jun 2003. 10.1103/PhysRevA.67.062313.
https://doi.org/10.1103/PhysRevA.67.062313
[14] Vadym Kliuchnikov, Dmitri Maslov, and Michele Mosca. Fast and efficient exact synthesis of single-qubit unitaries generated by clifford and t gates. Quantum Info. Comput., 13 (7–8): 607–630, jul 2013. ISSN 1533-7146. https://doi.org/10.26421/QIC13.7-8-4.
https://doi.org/10.26421/QIC13.7-8-4
[15] Vadym Kliuchnikov, Alex Bocharov, Martin Roetteler, and Jon Yard. A framework for approximating qubit unitaries. arXiv preprint arXiv:1510.03888, 2015. https://doi.org/10.48550/arXiv.1510.03888.
https://doi.org/10.48550/arXiv.1510.03888
arXiv:1510.03888
[16] Pei Jiang Low, Brendan White, and Crystal Senko. Control and readout of a 13-level trapped ion qudit. arXiv preprint arXiv:2306.03340, 2023. https://doi.org/10.48550/arXiv.2306.03340.
https://doi.org/10.48550/arXiv.2306.03340
arXiv:2306.03340
[17] Eufemio Moreno-Pineda, Clément Godfrin, Franck Balestro, Wolfgang Wernsdorfer, and Mario Ruben. Molecular spin qudits for quantum algorithms. Chem. Soc. Rev., 47: 501–513, 2018. 10.1039/C5CS00933B.
https://doi.org/10.1039/C5CS00933B
[18] Shiroman Prakash and Aashi Gupta. Contextual bound states for qudit magic state distillation. Phys. Rev. A, 101: 010303, Jan 2020. 10.1103/PhysRevA.101.010303.
https://doi.org/10.1103/PhysRevA.101.010303
[19] Shiroman Prakash and Tanay Saha. Low overhead qutrit magic state distillation. 2024. https://doi.org/10.48550/arXiv.2403.06228.
https://doi.org/10.48550/arXiv.2403.06228
[20] Shiroman Prakash, Akalank Jain, Bhakti Kapur, and Shubangi Seth. Normal form for single-qutrit clifford+$t$ operators and synthesis of single-qutrit gates. Phys. Rev. A, 98: 032304, Sep 2018. 10.1103/PhysRevA.98.032304.
https://doi.org/10.1103/PhysRevA.98.032304
[21] Shiroman Prakash, Amolak Ratan Kalra, and Akalank Jain. A normal form for single-qudit clifford+t operators. Quantum Information Processing, 20 (10), October 2021. ISSN 1570-0755. 10.1007/s11128-021-03280-0.
https://doi.org/10.1007/s11128-021-03280-0
[22] Martin Ringbauer, Michael Meth, Lukas Postler, Roman Stricker, Rainer Blatt, Philipp Schindler, and Thomas Monz. A universal qudit quantum processor with trapped ions. Nature Physics, 18 (9): 1053–1057, jul 2022. 10.1038/s41567-022-01658-0.
https://doi.org/10.1038/s41567-022-01658-0
[23] Neil J Ross. Optimal ancilla-free clifford+ v approximation of z-rotations. arXiv preprint arXiv:1409.4355, 2014. https://doi.org/10.48550/arXiv.1409.4355.
https://doi.org/10.48550/arXiv.1409.4355
arXiv:1409.4355
[24] Mahadevan Subramanian and Adrian Lupascu. Efficient two-qutrit gates in superconducting circuits using parametric coupling. Phys. Rev. A, 108: 062616, Dec 2023. 10.1103/PhysRevA.108.062616.
https://doi.org/10.1103/PhysRevA.108.062616
[25] Yuchen Wang, Zixuan Hu, Barry C. Sanders, and Sabre Kais. Qudits and high-dimensional quantum computing. Frontiers in Physics, 8, 2020. ISSN 2296-424X. 10.3389/fphy.2020.589504.
https://doi.org/10.3389/fphy.2020.589504
[26] Fern H. E. Watson, Earl T. Campbell, Hussain Anwar, and Dan E. Browne. Qudit color codes and gauge color codes in all spatial dimensions. Phys. Rev. A, 92: 022312, Aug 2015. 10.1103/PhysRevA.92.022312.
https://doi.org/10.1103/PhysRevA.92.022312
Cited by
[1] Jacky Jiang, Natalie Klco, and Olivia Di Matteo, "Non-Abelian dynamics on a cube: Improving quantum compilation through qudit-based simulations", Physical Review D 112 7, 074512 (2025).
[2] Ali Therrien-Motamedi and Zeljko Zilic, 2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL) 13 (2026) ISBN:979-8-3315-5956-4.
[3] Erik J. Gustafson, Henry Lamm, Diyi Liu, Edison M. Murairi, and Shuchen Zhu, "Synthesis of single-qutrit circuits from Clifford +R gates", Physical Review A 112 6, 062414 (2025).
[4] Victor V. Albert and Philippe Faist, "Handbook of Error-Correcting Codes", arXiv:2606.11484, (2026).
[5] Doga Murat Kürkçüoglu, Henry Lamm, and Andrea Maestri, "Qudit Gate Decomposition Dependence for Lattice Gauge Theories", arXiv:2410.16414, (2024).
[6] Amolak Ratan Kalra, Manimugdha Saikia, Dinesh Valluri, Sam Winnick, and Jon Yard, "Multi-qutrit exact synthesis", arXiv:2405.08147, (2024).
[7] Mark Deaconu, Nihar Gargava, Amolak Ratan Kalra, Michele Mosca, and Jon Yard, "Buildings for Synthesis with Clifford+R", arXiv:2510.11526, (2025).
[8] Shai Evra and Ori Parzanchevski, "Arithmeticity, thinness and efficiency of qutrit Clifford+T gates", arXiv:2401.16120, (2024).
[9] Andrew N. Glaudell, Neil J. Ross, John van de Wetering, and Lia Yeh, "Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits", arXiv:2405.08136, (2024).
[10] Shiroman Prakash and Tanay Saha, "Low Overhead Qutrit Magic State Distillation", Quantum 9, 1768 (2025).
The above citations are from Crossref's cited-by service (last updated successfully 2026-08-12 05:24:49) and SAO/NASA ADS (last updated successfully 2026-08-10 19:05:36). The list may be incomplete as not all publishers provide suitable and complete citation data.
Could not fetch ADS cited-by data during last attempt 2026-08-12 05:24:49: Cannot retrieve data from ADS due to rate limitations.
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.