Building Qutrit Diagonal Gates from Phase Gadgets

Abstract

Phase gadgets have proved to be an indispensable tool for reasoning about ZX-diagrams, being used in optimisation and simulation of quantum circuits and the theory of measurement-based quantum computation. In this paper we study phase gadgets for qutrits. We present the flexsymmetric variant of the original qutrit ZX-calculus, which allows for rewriting that is closer in spirit to the original (qubit) ZX-calculus. In this calculus phase gadgets look as you would expect, but there are non-trivial differences in their properties. We devise new qutrit-specific tricks to extend the graphical Fourier theory of qubits, resulting in a translation between the 'additive' phase gadgets and a 'multiplicative' counterpart we dub phase multipliers. This enables us to generalise the qubit notion of multiple-control to qutrits in two ways. The first type is controlling on a single tritstring, while the second type applies the gate a number of times equal to the tritwise multiplication modulo 3 of the control qutrits.We show how both types of control can be implemented for any qutrit Z or X phase gate, ancilla-free, and using only Clifford and phase gates. The first requires a polynomial number of gates and exponentially small phases, while the second requires an exponential number of gates, but constant sized phases. This is interesting, because such a construction is not possible in the qubit setting. As an application of these results we find a construction for emulating arbitrary qubit diagonal unitaries, and specifically find an ancilla-free emulation for the qubit CCZ gate that only requires three single-qutrit non-Clifford gates, provably lower than the four T gates needed for qubits with ancilla.

In Proceedings QPL 2022, arXiv:2311.08375

References in corpus (16)

• High-dimensional quantum communication: benefits, progress, and future challenges
• Application of a resource theory for magic states to fault-tolerant quantum computing
• Single-shot qubit readout in circuit Quantum Electrodynamics
• Single-shot qubit readout in circuit Quantum Electrodynamics
• Magic state distillation in all prime dimensions using quantum Reed-Muller codes
• Exact synthesis of multiqubit Clifford+T circuits
• Qudit versions of the qubit "pi-over-eight" gate
• Asymptotic Improvements to Quantum Circuits via Qutrits
• Diagonal gates in the Clifford hierarchy
• Scalable algorithm simplification using quantum AND logic
• Decomposing the generalized Toffoli gate with qutrits
• Circuit QED: single-step realization of a multiqubit controlled phase gate with one microwave photonic qubit simultaneously controlling $n-1$ microwave photonic qubits
• Qutrit Dichromatic Calculus and Its Universality
• Depicting qudit quantum mechanics and mutually unbiased qudit theories
• Graphical Fourier Theory and the Cost of Quantum Addition
• A quantum compiler for qudits of prime dimension greater than 3

Cited by in corpus (1)

• ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces