Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Physica Scripta

Optimality of the Howard-Vala T-gate in stabilizer quantum computation

Lingxuan Feng, Shunlong Luo

Published Sep 27, 2024• 7 citations
Publisher

Abstract

Abstract In a remarkable work [Phys. Rev. A 86 022316 (2012)], Howard and Vala introduced a qudit version of the qubit T-gate (i.e., π/8-gate) for any prime dimensional system. This non-Clifford gate is a key ingredient of the paradigm ‘Clifford +T’, which are widely employed in the stabilizer formalism of universal and fault-tolerant quantum computation. Considering the applications and significance of the T-gate, it is desirable to characterize it from various angles. Here we prove that in any prime dimensional system, the Howard-Vala T-gate is optimal, among all diagonal gates, for generating magic resources from stabilizer states when the magic is quantified via the L 1-norm of characteristic functions (Fourier transforms) of quantum states. The quadratic Gaussian sum in number theory plays a key role in establishing this optimality. This highlights an extreme feature of the Howard-Vala T-gate. We further reveal an intrinsic relation between the Howard-Vala T-gate and the Watson-Campbell-Anwar-Browne T-gate [Phys. Rev. A 92 022312 (2015)] for any prime dimensional system.

DOI
10.1088/1402-4896/ad80e7

Related papers

Optimality of T-gate for generating magic resource

Xiaohui Li, Shunlong Luo

Abstract In the stabilizer formalism of fault-tolerant quantum computation, stabilizer states serve as classical objects, while magic states (non-stabilizer states) are a kind of quantum resource (called magic resource) for promoting stabilizer circuits to universal quantum computation. In this framework, the T-gate is widely used as a non-Clifford gate which generates magic resource from stabilizer states. A natural question arises as whether the T-gate is in some sense optimal for generating magic resource. We address this issue by employing an intuitive and computable quantifier of magic based on characteristic functions (Weyl transforms) of quantum states. We demonstrate that the qubit T-gate, as well as its qutrit extension, the qutrit T-gate, are indeed optimal for generating magic resource among the class of diagonal unitary operators. Moreover, up to Clifford equivalence, the T-gate is essentially the only gate having such an optimal property. This reveals some intrinsic optimal features of the T-gate. We further compare the T-gate with general unitary gates for generating magic resource.

Communications in Theoretical Physics•Dec 30, 2022•19 citations

Magic-Resource Generating Power of Quantum Channels

Xiaohui Li

In the stabilizer formalism of quantum error correction and fault-tolerant quantum computation, stabilizer states, as common eigenstates (with the eigenvalue 1) of operators in maximal Abelian subgroups of the Pauli group, play the role of classical states, while magic (non-stabilizer) states are quantum resources enabling universal quantum computation when injected into stabilizer circuits.The natural issue arises as how to characterize and quantify the ability of quantum channels (including quantum gates) in generating magic resource (non-stabilzerness) from stabilizer states.In this work, we introduce two intuitive quantities characterizing magic-resource generating power of quantum channels and reveal their basic properties.We evaluate these quantifies for several prototypical quantum channels and quantum gates.In particular, we demonstrate that the qubit T -gate (i.e., π/8-gate) and its qutrit generalization are optimal in generating magic resource in a class of diagonal unitaries.This highlights the significance of the T -gate and its extensions from a resource-theoretic perspective and provides a theoretical support of their wide applications in stabilizer quantum computation.

Advances in physics research/Advances in Physics Research•Jan 1, 2024•0 citations

Magic Gate Teleportation: Structure, Useful Resource States, and Simpler Feedforward

Yunzhe Zheng, Allen Zang, Aleksander Kubica

Quantum gate teleportation is a key technique in fault-tolerant quantum computation that uses resource states to implement logical gates. Here, we develop a theory of magic gate teleportation (MGT), a form of quantum gate teleportation that uses non-stabilizer resource states to implement non-Clifford unitary gates on arbitrary input states without revealing information about those states. This setting is motivated by the canonical approach to implementing logical non-Clifford gates in fault-tolerant quantum computation. We uncover a hidden structure within MGT---after backpropagating the Pauli measurements, MGT protocols can be viewed as encoding the input state into a stabilizer code heralded by the measurement outcomes, followed by a logical non-Clifford gate. Using this structure, we construct MGT protocols for any resource state obtained by applying commuting Pauli rotations to a stabilizer state, and provide an efficient algorithm for synthesizing their circuit implementations. Conversely, we prove that directly useful single-qubit resource states are necessarily Clifford-equivalent to diagonal states, and establish the same constraint for multi-qubit resource states used in a broad class of MGT protocols. In particular, the output state distilled from the $[\![5, 1, 3]\!]$ protocol is not directly useful for any MGT protocols, though it can be probabilistically converted into directly useful states. Finally, we identify conditions under which the feedforward operators can be implemented by Pauli operators, shedding light on the paradigm of algorithmic fault tolerance and simplifying the feedforward operations needed for quantum computing.

quant-pharXiv:2607.08508•Jul 10, 2026•0 citations

Normal form for single-qutrit Clifford+ T operators and synthesis of single-qutrit gates

Shiroman Prakash, Akalank Jain, Bhakti Kapur +1 more

We study single-qutrit gates composed of Clifford and $T$ gates, using the qutrit version of the $T$ gate proposed by Howard and Vala [M. Howard and J. Vala, Phys. Rev. A 86, 022316 (2012)]. We propose a normal form for single-qutrit gates analogous to the Matsumoto-Amano normal form for qubits. We prove that the normal form is optimal with respect to the number of $T$ gates used and that any string of qutrit Clifford+$T$ operators can be put into this normal form in polynomial time. We also prove that this form is unique and provide an algorithm for exact synthesis of any single-qutrit Clifford+$T$ operator.

arXiv:1803.03228•Physical Review A•Sep 5, 2018•40 citations

Approximate stabilizer rank and improved weak simulation of Clifford-dominated circuits for qudits

Yifei Huang, Peter J. Love

Bravyi and Gosset [S. Bravyi and D. Gosset, Phys. Rev. Lett. 116, 250501 (2016)] recently gave classical simulation algorithms for quantum circuits dominated by Clifford operations. These algorithms scale exponentially with the number of $T$ gates in the circuit, but polynomially in the number of qubits and Clifford operations. Here we extend their algorithm to qudits of odd prime dimension. We generalize their approximate stabilizer rank method for weak simulation to qudits and obtain the scaling of the approximate stabilizer rank with the number of single-qudit magic states. We also relate the canonical form of qudit stabilizer states to Gauss sum evaluations and give an $O({n}^{3})$ algorithm for calculating the inner product of two $n$-qudit stabilizer states.

arXiv:1808.02406•Physical Review A•May 6, 2019•15 citations

Efficient quantum gate teleportation in higher dimensions

Nadish de Silva

The Clifford hierarchy is a nested sequence of sets of quantum gates critical to achieving fault-tolerant quantum computation. Diagonal gates of the Clifford hierarchy and ‘nearly diagonal’ semi-Clifford gates are particularly important: they admit efficient gate teleportation protocols that implement these gates with fewer ancillary quantum resources such as magic states. Despite the practical importance of these sets of gates, many questions about their structure remain open; this is especially true in the higher-dimensional qudit setting. Our contribution is to leverage the discrete Stone–von Neumann theorem and the symplectic formalism of qudit stabilizer theory towards extending the results of Zeng et al . (2008) and Beigi & Shor (2010) to higher dimensions in a uniform manner. We further give a simple algorithm for recursively enumerating all gates of the Clifford hierarchy, a simple algorithm for recognizing and diagonalizing semi-Clifford gates, and a concise proof of the classification of the diagonal Clifford hierarchy gates due to Cui et al . (2016) for the single-qudit case. We generalize the efficient gate teleportation protocols of semi-Clifford gates to the qudit setting and prove that every third-level gate of one qudit (of any prime dimension) and of two qutrits can be implemented efficiently. Numerical evidence gathered via the aforementioned algorithms supports the conjecture that higher-level gates can be implemented efficiently.

arXiv:2011.00127•Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences•Jul 1, 2021•16 citations
Abstract In a remarkable work [Phys. Rev. A 86 022316 (2012)], Howard and Vala introduced a qudit version of the qubit T-gate (i.e., π/8-gate) for any prime dimensional system. This non-Clifford gate is a key ingredient of the paradigm ‘Clifford +T’, which are widely employed in the stabilizer formalism of universal and fault-tolerant quantum computation. Considering the applications and significance of the T-gate, it is desirable to characterize it from various angles. Here we prove that in any prime dimensional system, the Howard-Vala T-gate is optimal, among all diagonal gates, for generating magic resources from stabilizer states when the magic is quantified via the L 1-norm of characteristic functions (Fourier transforms) of quantum states. The quadratic Gaussian sum in number theory plays a key role in establishing this optimality. This highlights an extreme feature of the Howard-Vala T-gate. We further reveal an intrinsic relation between the Howard-Vala T-gate and the Watson-Campbell-Anwar-Browne T-gate [Phys. Rev. A 92 022312 (2015)] for any prime dimensional system.
Abstract In the stabilizer formalism of fault-tolerant quantum computation, stabilizer states serve as classical objects, while magic states (non-stabilizer states) are a kind of quantum resource (called magic resource) for promoting stabilizer circuits to universal quantum computation. In this framework, the T-gate is widely used as a non-Clifford gate which generates magic resource from stabilizer states. A natural question arises as whether the T-gate is in some sense optimal for generating magic resource. We address this issue by employing an intuitive and computable quantifier of magic based on characteristic functions (Weyl transforms) of quantum states. We demonstrate that the qubit T-gate, as well as its qutrit extension, the qutrit T-gate, are indeed optimal for generating magic resource among the class of diagonal unitary operators. Moreover, up to Clifford equivalence, the T-gate is essentially the only gate having such an optimal property. This reveals some intrinsic optimal features of the T-gate. We further compare the T-gate with general unitary gates for generating magic resource.
In the stabilizer formalism of quantum error correction and fault-tolerant quantum computation, stabilizer states, as common eigenstates (with the eigenvalue 1) of operators in maximal Abelian subgroups of the Pauli group, play the role of classical states, while magic (non-stabilizer) states are quantum resources enabling universal quantum computation when injected into stabilizer circuits.The natural issue arises as how to characterize and quantify the ability of quantum channels (including quantum gates) in generating magic resource (non-stabilzerness) from stabilizer states.In this work, we introduce two intuitive quantities characterizing magic-resource generating power of quantum channels and reveal their basic properties.We evaluate these quantifies for several prototypical quantum channels and quantum gates.In particular, we demonstrate that the qubit T -gate (i.e., π/8-gate) and its qutrit generalization are optimal in generating magic resource in a class of diagonal unitaries.This highlights the significance of the T -gate and its extensions from a resource-theoretic perspective and provides a theoretical support of their wide applications in stabilizer quantum computation.
Quantum gate teleportation is a key technique in fault-tolerant quantum computation that uses resource states to implement logical gates. Here, we develop a theory of magic gate teleportation (MGT), a form of quantum gate teleportation that uses non-stabilizer resource states to implement non-Clifford unitary gates on arbitrary input states without revealing information about those states. This setting is motivated by the canonical approach to implementing logical non-Clifford gates in fault-tolerant quantum computation. We uncover a hidden structure within MGT---after backpropagating the Pauli measurements, MGT protocols can be viewed as encoding the input state into a stabilizer code heralded by the measurement outcomes, followed by a logical non-Clifford gate. Using this structure, we construct MGT protocols for any resource state obtained by applying commuting Pauli rotations to a stabilizer state, and provide an efficient algorithm for synthesizing their circuit implementations. Conversely, we prove that directly useful single-qubit resource states are necessarily Clifford-equivalent to diagonal states, and establish the same constraint for multi-qubit resource states used in a broad class of MGT protocols. In particular, the output state distilled from the [ ⁣[5,1,3] ⁣][\![5, 1, 3]\!][[5,1,3]] protocol is not directly useful for any MGT protocols, though it can be probabilistically converted into directly useful states. Finally, we identify conditions under which the feedforward operators can be implemented by Pauli operators, shedding light on the paradigm of algorithmic fault tolerance and simplifying the feedforward operations needed for quantum computing.
We study single-qutrit gates composed of Clifford and TTT gates, using the qutrit version of the TTT gate proposed by Howard and Vala [M. Howard and J. Vala, Phys. Rev. A 86, 022316 (2012)]. We propose a normal form for single-qutrit gates analogous to the Matsumoto-Amano normal form for qubits. We prove that the normal form is optimal with respect to the number of TTT gates used and that any string of qutrit Clifford+TTT operators can be put into this normal form in polynomial time. We also prove that this form is unique and provide an algorithm for exact synthesis of any single-qutrit Clifford+TTT operator.
Bravyi and Gosset [S. Bravyi and D. Gosset, Phys. Rev. Lett. 116, 250501 (2016)] recently gave classical simulation algorithms for quantum circuits dominated by Clifford operations. These algorithms scale exponentially with the number of TTT gates in the circuit, but polynomially in the number of qubits and Clifford operations. Here we extend their algorithm to qudits of odd prime dimension. We generalize their approximate stabilizer rank method for weak simulation to qudits and obtain the scaling of the approximate stabilizer rank with the number of single-qudit magic states. We also relate the canonical form of qudit stabilizer states to Gauss sum evaluations and give an O(n3)O({n}^{3})O(n3) algorithm for calculating the inner product of two nnn-qudit stabilizer states.
The Clifford hierarchy is a nested sequence of sets of quantum gates critical to achieving fault-tolerant quantum computation. Diagonal gates of the Clifford hierarchy and ‘nearly diagonal’ semi-Clifford gates are particularly important: they admit efficient gate teleportation protocols that implement these gates with fewer ancillary quantum resources such as magic states. Despite the practical importance of these sets of gates, many questions about their structure remain open; this is especially true in the higher-dimensional qudit setting. Our contribution is to leverage the discrete Stone–von Neumann theorem and the symplectic formalism of qudit stabilizer theory towards extending the results of Zeng et al . (2008) and Beigi & Shor (2010) to higher dimensions in a uniform manner. We further give a simple algorithm for recursively enumerating all gates of the Clifford hierarchy, a simple algorithm for recognizing and diagonalizing semi-Clifford gates, and a concise proof of the classification of the diagonal Clifford hierarchy gates due to Cui et al . (2016) for the single-qudit case. We generalize the efficient gate teleportation protocols of semi-Clifford gates to the qudit setting and prove that every third-level gate of one qudit (of any prime dimension) and of two qutrits can be implemented efficiently. Numerical evidence gathered via the aforementioned algorithms supports the conjecture that higher-level gates can be implemented efficiently.