Asymptotically Optimal Quantum Circuits for d-level Systems

Stephen S. Bullock,Dianne P. O'Leary,Gavin K. Brennen

DOI: https://doi.org/10.1103/PhysRevLett.94.230502

2004-11-15

Abstract: As a qubit is a two-level quantum system whose state space is spanned by |0>, |1>, so a qudit is a d-level quantum system whose state space is spanned by |0>,...,|d-1>. Quantum computation has stimulated much recent interest in algorithms factoring unitary evolutions of an n-qubit state space into component two-particle unitary evolutions. In the absence of symmetry, Shende, Markov and Bullock use Sard's theorem to prove that at least C 4^n two-qubit unitary evolutions are required, while Vartiainen, Moettoenen, and Salomaa (VMS) use the QR matrix factorization and Gray codes in an optimal order construction involving two-particle evolutions. In this work, we note that Sard's theorem demands C d^{2n} two-qudit unitary evolutions to construct a generic (symmetry-less) n-qudit evolution. However, the VMS result applied to virtual-qubits only recovers optimal order in the case that d is a power of two. We further construct a QR decomposition for d-multi-level quantum logics, proving a sharp asymptotic of Theta(d^{2n}) two-qudit gates and thus closing the complexity question for all d-level systems (d finite.) Gray codes are not required, and the optimal Theta(d^{2n}) asymptotic also applies to gate libraries where two-qudit interactions are restricted by a choice of certain architectures.

Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the circuit complexity problem of multi - level systems (qudit) in quantum computing. Specifically, it aims to determine the minimum number of two - qudit gates required to construct an arbitrary n - qudit unitary evolution without symmetry and provide a method for constructing these circuits.

### Main problems
1. **Lower bound estimation**: For a d - level system (i.e., qudit), in the absence of symmetry, what is the minimum complexity for constructing a general n - qudit unitary evolution?
2. **Construction method**: How to construct a specific algorithm so that this complexity is optimal?

### Solutions
- **Theoretical proof**: By using Sard's theorem, it is proved that at least \( \Omega(d^{2n}) \) two - qudit gates are required to construct a general n - qudit unitary evolution.
- **Algorithm implementation**: An algorithm based on QR decomposition is proposed, which can construct the required circuits with a complexity of \( O(d^{2n}) \). This is applicable not only to two - qudit gates but also to more general gate libraries with restricted two - qudit interactions.

### Specific contributions
- **State synthesis**: It is proved that n - qudit state synthesis requires \( \Theta(d^n) \) two - qudit gates.
- **Universal circuit**: A new quantum circuit synthesis algorithm is proposed, which can construct an arbitrary n - qudit unitary evolution with a complexity of \( \Theta(d^{2n}) \).

### Key formulas
- Any unitary matrix \( U\in U(d^{2n}) \) can be expressed as a product of a series of two - qudit gates:
\[
U = U_1^{j_1k_1}U_2^{j_2k_2}\cdots U_\ell^{j_\ell k_\ell}
\]
where each \( U_p^{jk} \) is a two - qudit operation, acting only on qudit \( j \) and \( k \).
- Complexity of state synthesis:
\[
\prod_{k = 1}^p\bigwedge[C(p - k + 1),V(p - k + 1)]|\psi\rangle=|0\rangle
\]
where \( p=\frac{d^n - 1}{d - 1}\in O(d^n) \).

### Conclusion
Through the above research, the paper solves the problem of circuit complexity in multi - level quantum systems and provides specific methods for constructing these circuits. This result not only promotes the development of quantum computing theory but also provides important guidance for practical applications.