Gavin K. Brennen

Asymptotically Optimal Quantum Circuits for d-Level Systems

Scalability of a quantum computation requires that the information be processed on multiple subsystems. However, it is unclear how the complexity of a quantum algorithm, quantified by the number of entangling gates, depends on the subsystem size. We examine the quantum circuit complexity for exactly universal computation on many d-level systems (qudits). Both a lower bound and a constructive upper bound on the number of two-qudit gates result, proving a sharp asymptotic of theta(d(2n)) gates. This closes the complexity question for all d-level systems (d finite). The optimal asymptotic applies to systems with locality constraints, e.g., nearest neighbor interactions.

Measurement-based quantum computer in the gapped ground state of a two-body Hamiltonian.

We propose a scheme for a ground-code measurement-based quantum computer, which enjoys two major advantages. First, every logical qubit is encoded in the gapped degenerate ground subspace of a spin-1 chain with nearest-neighbor two-body interactions, so that it equips built-in robustness against noise. Second, computation is processed by single-spin measurements along multiple chains dynamically coupled on demand, so as to keep teleporting only logical information into a gap-protected ground state of the residual chains after the interactions with spins to be measured are turned off. We describe implementations using trapped atoms or polar molecules in an optical lattice, where the gap is expected to be as large as 0.2 or 4.8 kHz, respectively.

Creation, Manipulation, and Detection of Abelian and Non-Abelian Anyons in Optical Lattices

Anyons are particlelike excitations of strongly correlated phases of matter with fractional statistics, characterized by nontrivial changes in the wave function, generalizing Bose and Fermi statistics, when two of them are interchanged. This can be used to perform quantum computations [A. Yu. Kitaev, Ann. Phys. (N.Y.) 303, 2 (2003)]. We show how to simulate the creation and manipulation of Abelian and non-Abelian anyons in topological lattice models using trapped atoms in optical lattices. Our proposal, feasible with present technology, requires an ancilla particle which can undergo single-particle gates, be moved close to each constituent of the lattice and undergo a simple quantum gate, and be detected.

Why should anyone care about computing with anyons

In this article we present a pedagogical introduction of the main ideas and recent advances in the area of topological quantum computation. We give an overview of the concept of anyons and their exotic statistics, present various models that exhibit topological behaviour and establish their relation to quantum computation. Possible directions for the physical realization of topological systems and the detection of anyonic behaviour are elaborated.

Quantum-computer architecture using nonlocal interactions

Several authors have described the basic requirements essential to build a scalable quantum computer. Because many physical implementation schemes for quantum computing rely on nearest-neighbor interactions, there is a hidden quantum communication overhead to connect distant nodes of the computer. In this paper, we propose a physical solution to this problem, which, together with the key building blocks, provides a pathway to a scalable quantum architecture using nonlocal interactions. Our solution involves the concept of a quantum bus that acts as a refreshable entanglement resource to connect distant memory nodes, providing an architectural concept for quantum computers analogous to the von Neumann architecture for classical computers.

Canonical decompositions of n-qubit quantum computations and concurrence

The two-qubit canonical decomposition SU(4)=[SU(2)⊗SU(2)]Δ[SU(2)⊗SU(2)] writes any two-qubit unitary operator as a composition of a local unitary, a relative phasing of Bell states, and a second local unitary. Using Lie theory, we generalize this to an n-qubit decomposition, the concurrence canonical decomposition (CCD) SU(2n)=KAK. The group K fixes a bilinear form related to the concurrence, and in particular any unitary in K preserves the tangle |〈φ|¯(−iσ1y)⋯(−iσny)|φ〉|2 for n even. Thus, the CCD shows that any n-qubit unitary is a composition of a unitary operator preserving this n-tangle, a unitary operator in A which applies relative phases to a set of GHZ states, and a second unitary operator which preserves the tangle. As an application, we study the extent to which a large, random unitary may change concurrence. The result states that for a randomly chosen a∈A⊂SU(22p), the probability that a carries a state of tangle 0 to a state of maximum tangle approaches 1 as the even number of qubits approach...

Quantum computational renormalization in the Haldane phase.

Single-spin measurements on the ground state of an interacting spin lattice can be used to perform a quantum computation. We show how such measurements can mimic renormalization group transformations and remove the short-ranged variations of the state that can reduce the fidelity of a computation. This suggests that the quantum computational ability of a spin lattice could be a robust property of a quantum phase. We illustrate our idea with the ground state of a rotationally invariant spin-1 chain, which can serve as a quantum computational wire not only at the Affleck-Kennedy-Lieb-Tasaki point, but within the Haldane phase.

Entanglement dynamics in one-dimensional quantum cellular automata

Several proposed schemes for the physical realization of a quantum computer consist of qubits arranged in a cellular array. In the quantum circuit model of quantum computation, an often complex series of two-qubit gate operations is required between arbitrarily distant pairs of lattice qubits. An alternative model of quantum computation based on quantum cellular automata (QCA) requires only homogeneous local interactions that can be implemented in parallel. This would be a huge simplification in an actual experiment. We find some minimal physical requirements for the construction of unitary QCA in a one-dimensional Ising spin chain and demonstrate optimal pulse sequences for information transport and entanglement distribution. We also introduce the theory of nonunitary QCA and show by example that nonunitary rules can generate environment assisted entanglement.

Quantum magnetomechanics: ultrahigh-Q-levitated mechanical oscillators.

Engineering nanomechanical quantum systems possessing ultralong motional coherence times allows for applications in precision quantum sensing and quantum interfaces, but to achieve ultrahigh motional Q one must work hard to remove all forms of motional noise and heating. We examine a magneto-meso-mechanical quantum system that consists of a 3D arrangement of miniature superconducting loops which is stably levitated in a static inhomogeneous magnetic field. The motional decoherence is predominantly due to loss from induced eddy currents in the magnetized sphere which provides the trapping field ultimately yielding Q∼10(9) with motional oscillation frequencies of several hundreds of kilohertz. By inductively coupling this levitating object to a nearby driven flux qubit one can cool its motion very close to the ground state and this may permit the generation of macroscopic entangled motional states of multiple clusters.

Measurement-based quantum computation in a two-dimensional phase of matter

Recently, it was shown that the non-local correlations needed for measurement-based quantum computation (MBQC) can be revealed in the ground state of the Affleck–Kennedy–Lieb–Tasaki (AKLT) model involving nearest-neighbour spin-3/2 interactions on a honeycomb lattice. This state is not singular but resides in the disordered phase of the ground states of a large family of Hamiltonians characterized by short-range-correlated valence bond solid states. By applying local filtering and adaptive single-particle measurements, we show that most states in the disordered phase can be reduced to a graph of correlated qubits that is a scalable resource for MBQC. At the transition between the disordered and Neel ordered phases, we find a transition from universal to non-universal states as witnessed by the scaling of percolation in the reduced graph state.