Qutrit Dichromatic Calculus and Its Universality
arXiv:1406.3056 · doi:10.4204/EPTCS.172.7
Abstract
We introduce a dichromatic calculus (RG) for qutrit systems. We show that the decomposition of the qutrit Hadamard gate is non-unique and not derivable from the dichromatic calculus. As an application of the dichromatic calculus, we depict a quantum algorithm with a single qutrit. Since it is not easy to decompose an arbitrary d by d unitary matrix into Z and X phase gates when d > 2, the proof of the universality of qudit ZX calculus for quantum mechanics is far from trivial. We construct a counterexample to Ranchin's universality proof, and give another proof by Lie theory that the qudit ZX calculus contains all single qudit unitary transformations, which implies that qudit ZX calculus, with qutrit dichromatic calculus as a special case, is universal for quantum mechanics.
arXiv commentIn Proceedings QPL 2014, arXiv:1412.8102
References in corpus (4)
Cited by in corpus (13)
- ZX-calculus for the working quantum computer scientist
- Foundations for Near-Term Quantum Natural Language Processing
- Qufinite ZX-calculus: a unified framework of qudit ZX-calculi
- Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
- Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics
- AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states
- The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
- When Only Topology Matters
- Diagrammatic Analysis for Parameterized Quantum Circuits
- Building Qutrit Diagonal Gates from Phase Gadgets
- Scaling W state circuits in the qudit Clifford hierarchy
- Equivalence of Local Complementation and Euler Decomposition in the Qutrit ZX-calculus
- Transversal AND in Quantum Codes