Efficient Circuits for Exact-Universal Computation With Qudits

Published

July 1, 2006

Author(s)

G K. Brennen, Stephen Bullock, Dianne M. O'Leary

Abstract

This paper concerns the efficient implementation of quantum circuits for qudits. We show that controlled two-qudit gates can be implemented without ancillas and prove that the gate library containing arbitrary local unitaries and one two-qudit gate, CINC, is exact-universal. A recent paper [S.Bullock, D.O'Leary, and G.K. Brennen, Phys. Rev. Lett. 94, 230502 (2005)] describes quantum circuits for qudits which require O(d^n) two-qudit gates for state synthesis and O(d^2n}) two-qudit gates for unitary synthesis, matching the respective lower bound complexities. In this work, we present the state synthesis circuit in much greater detail and give a formal proof that it is correct. We show that the [(n-2)/(d-2)] ancillas required in the original algorithm may be removed without changing the asymptotics. Further, we present an alternate algorithm for unitary synthesis, based on a QR decomposition of a unitary, which is also asymptotically optimal. Both unitary synthesis algorithms are well suited to solve the generalized state synthesis problem wherein one encodes a subspace of the many qudit state space to arbitrary superposition states.

Citation

Quantum Information & Computation

Volume

6

Issue

4&5

Pub Type

Journals

Keywords

quantum computation, quantum information

Citation

Brennen, G. , Bullock, S. and O'Leary, D. (2006), Efficient Circuits for Exact-Universal Computation With Qudits, Quantum Information & Computation (Accessed October 26, 2025)