Synthesis and Arithmetic of Single Qutrit Circuits
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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
2025-02-01
|
| Series: | Quantum |
| Online Access: | https://quantum-journal.org/papers/q-2025-02-26-1647/pdf/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850239459514122240 |
|---|---|
| author | Amolak Ratan Kalra Michele Mosca Dinesh Valluri |
| author_facet | Amolak Ratan Kalra Michele Mosca Dinesh Valluri |
| author_sort | Amolak Ratan Kalra |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-d222b43efb704f6b87b07cd692103274 |
| institution | OA Journals |
| issn | 2521-327X |
| language | English |
| publishDate | 2025-02-01 |
| publisher | Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften |
| record_format | Article |
| series | Quantum |
| spelling | doaj-art-d222b43efb704f6b87b07cd6921032742025-08-20T02:01:09ZengVerein zur Förderung des Open Access Publizierens in den QuantenwissenschaftenQuantum2521-327X2025-02-019164710.22331/q-2025-02-26-164710.22331/q-2025-02-26-1647Synthesis and Arithmetic of Single Qutrit CircuitsAmolak Ratan KalraMichele MoscaDinesh ValluriIn 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.https://quantum-journal.org/papers/q-2025-02-26-1647/pdf/ |
| spellingShingle | Amolak Ratan Kalra Michele Mosca Dinesh Valluri Synthesis and Arithmetic of Single Qutrit Circuits Quantum |
| title | Synthesis and Arithmetic of Single Qutrit Circuits |
| title_full | Synthesis and Arithmetic of Single Qutrit Circuits |
| title_fullStr | Synthesis and Arithmetic of Single Qutrit Circuits |
| title_full_unstemmed | Synthesis and Arithmetic of Single Qutrit Circuits |
| title_short | Synthesis and Arithmetic of Single Qutrit Circuits |
| title_sort | synthesis and arithmetic of single qutrit circuits |
| url | https://quantum-journal.org/papers/q-2025-02-26-1647/pdf/ |
| work_keys_str_mv | AT amolakratankalra synthesisandarithmeticofsinglequtritcircuits AT michelemosca synthesisandarithmeticofsinglequtritcircuits AT dineshvalluri synthesisandarithmeticofsinglequtritcircuits |