Computational Complexity of interacting electrons and fundamental limitations of Density Functional Theory

One of the central problems in quantum mechanics is to determine the ground state properties of a system of electrons interacting via the Coulomb potential. Since its introduction by Hohenberg, Kohn, and Sham, Density Functional Theory (DFT) has become the most widely used and successful method for simulating systems of interacting electrons, making their original work one of the most cited in physics. In this letter, we show that the field of computational complexity imposes fundamental limitations on DFT, as an efficient description of the associated universal functional would allow to solve any problem in the class QMA (the quantum version of NP) and thus particularly any problem in NP in polynomial time. This follows from the fact that finding the ground state energy of the Hubbard model in an external magnetic field is a hard problem even for a quantum computer, while given the universal functional it can be computed efficiently using DFT. This provides a clear illustration how the field of quantum computing is useful even if quantum computers would never be built.Comment: 8 pages, 3 figures. v2: Version accepted at Nature Physics; differs significantly from v1 (including new title). Includes an extra appendix (not contained in the journal version) on the NP-completeness of Hartree-Fock, which is taken from v

A Rydberg Quantum Simulator

Following Feynman and as elaborated on by Lloyd, a universal quantum simulator (QS) is a controlled quantum device which reproduces the dynamics of any other many particle quantum system with short range interactions. This dynamics can refer to both coherent Hamiltonian and dissipative open system evolution. We investigate how laser excited Rydberg atoms in large spacing optical or magnetic lattices can provide an efficient implementation of a universal QS for spin models involving (high order) n-body interactions. This includes the simulation of Hamiltonians of exotic spin models involving n-particle constraints such as the Kitaev toric code, color code, and lattice gauge theories with spin liquid phases. In addition, it provides the ingredients for dissipative preparation of entangled states based on engineering n-particle reservoir couplings. The key basic building blocks of our architecture are efficient and high-fidelity n-qubit entangling gates via auxiliary Rydberg atoms, including a possible dissipative time step via optical pumping. This allows to mimic the time evolution of the system by a sequence of fast, parallel and high-fidelity n-particle coherent and dissipative Rydberg gates.Comment: 8 pages, 4 figure

Universal Quantum Computation with the Exchange Interaction

Experimental implementations of quantum computer architectures are now being investigated in many different physical settings. The full set of requirements that must be met to make quantum computing a reality in the laboratory [1] is daunting, involving capabilities well beyond the present state of the art. In this report we develop a significant simplification of these requirements that can be applied in many recent solid-state approaches, using quantum dots [2], and using donor-atom nuclear spins [3] or electron spins [4]. In these approaches, the basic two-qubit quantum gate is generated by a tunable Heisenberg interaction (the Hamiltonian is $H_{ij}=J(t){\vec S}_i\cdot{\vec S}_j$ between spins $i$ and $j$), while the one-qubit gates require the control of a local Zeeman field. Compared to the Heisenberg operation, the one-qubit operations are significantly slower and require substantially greater materials and device complexity, which may also contribute to increasing the decoherence rate. Here we introduce an explicit scheme in which the Heisenberg interaction alone suffices to exactly implement any quantum computer circuit, at a price of a factor of three in additional qubits and about a factor of ten in additional two-qubit operations. Even at this cost, the ability to eliminate the complexity of one-qubit operations should accelerate progress towards these solid-state implementations of quantum computation.Comment: revtex, 2 figures, this version appeared in Natur

Non-Abelian statistics and topological quantum information processing in 1D wire networks

Topological quantum computation provides an elegant way around decoherence, as one encodes quantum information in a non-local fashion that the environment finds difficult to corrupt. Here we establish that one of the key operations---braiding of non-Abelian anyons---can be implemented in one-dimensional semiconductor wire networks. Previous work [Lutchyn et al., arXiv:1002.4033 and Oreg et al., arXiv:1003.1145] provided a recipe for driving semiconducting wires into a topological phase supporting long-sought particles known as Majorana fermions that can store topologically protected quantum information. Majorana fermions in this setting can be transported, created, and fused by applying locally tunable gates to the wire. More importantly, we show that networks of such wires allow braiding of Majorana fermions and that they exhibit non-Abelian statistics like vortices in a p+ip superconductor. We propose experimental setups that enable the Majorana fusion rules to be probed, along with networks that allow for efficient exchange of arbitrary numbers of Majorana fermions. This work paves a new path forward in topological quantum computation that benefits from physical transparency and experimental realism.Comment: 6 pages + 17 pages of Supp. Mat.; 10 figures. Supp. Mat. has doubled in size to establish results more rigorously; many other improvements as wel

Quantum Computing with Very Noisy Devices

In theory, quantum computers can efficiently simulate quantum physics, factor large numbers and estimate integrals, thus solving otherwise intractable computational problems. In practice, quantum computers must operate with noisy devices called ``gates'' that tend to destroy the fragile quantum states needed for computation. The goal of fault-tolerant quantum computing is to compute accurately even when gates have a high probability of error each time they are used. Here we give evidence that accurate quantum computing is possible with error probabilities above 3% per gate, which is significantly higher than what was previously thought possible. However, the resources required for computing at such high error probabilities are excessive. Fortunately, they decrease rapidly with decreasing error probabilities. If we had quantum resources comparable to the considerable resources available in today's digital computers, we could implement non-trivial quantum computations at error probabilities as high as 1% per gate.Comment: 47 page

How to realize a robust practical Majorana chain in a quantum dot-superconductor linear array

Semiconducting nanowires in proximity to superconductors are promising experimental systems for Majorana fermions, which may ultimately be used as building blocks for topological quantum computers. A serious challenge in the experimental realization of the Majorana fermions is the supression of topological superconductivity by disorder. We show that Majorana fermions protected by a robust topological gap can occur at the ends of a chain of quantum dots connected by s-wave superconductors. In the appropriate parameter regime, we establish that the quantum dot/superconductor system is equivalent to a 1D Kitaev chain, which can be tuned to be in a robust topological phase with Majorana end modes even in the case where the quantum dots and superconductors are both strongly disordered. Such a spin-orbit coupled quantum dot - s-wave superconductor array provides an ideal experimental platform for the observation of non-Abelian Majorana modes.Comment: 8 pages; 3 figures; version 2: Supplementary material updated to include more general proof for localized Majorana fermion

Topologically Protected Quantum State Transfer in a Chiral Spin Liquid

Topology plays a central role in ensuring the robustness of a wide variety of physical phenomena. Notable examples range from the robust current carrying edge states associated with the quantum Hall and the quantum spin Hall effects to proposals involving topologically protected quantum memory and quantum logic operations. Here, we propose and analyze a topologically protected channel for the transfer of quantum states between remote quantum nodes. In our approach, state transfer is mediated by the edge mode of a chiral spin liquid. We demonstrate that the proposed method is intrinsically robust to realistic imperfections associated with disorder and decoherence. Possible experimental implementations and applications to the detection and characterization of spin liquid phases are discussed.Comment: 14 pages, 7 figure

Anyonic interferometry and protected memories in atomic spin lattices

Strongly correlated quantum systems can exhibit exotic behavior called topological order which is characterized by non-local correlations that depend on the system topology. Such systems can exhibit remarkable phenomena such as quasi-particles with anyonic statistics and have been proposed as candidates for naturally fault-tolerant quantum computation. Despite these remarkable properties, anyons have never been observed in nature directly. Here we describe how to unambiguously detect and characterize such states in recently proposed spin lattice realizations using ultra-cold atoms or molecules trapped in an optical lattice. We propose an experimentally feasible technique to access non-local degrees of freedom by performing global operations on trapped spins mediated by an optical cavity mode. We show how to reliably read and write topologically protected quantum memory using an atomic or photonic qubit. Furthermore, our technique can be used to probe statistics and dynamics of anyonic excitations.Comment: 14 pages, 6 figure

Topological orbital ladders

We unveil a topological phase of interacting fermions on a two-leg ladder of unequal parity orbitals, derived from the experimentally realized double-well lattices by dimension reduction. $Z_2$ topological invariant originates simply from the staggered phases of $sp$-orbital quantum tunneling, requiring none of the previously known mechanisms such as spin-orbit coupling or artificial gauge field. Another unique feature is that upon crossing over to two dimensions with coupled ladders, the edge modes from each ladder form a parity-protected flat band at zero energy, opening the route to strongly correlated states controlled by interactions. Experimental signatures are found in density correlations and phase transitions to trivial band and Mott insulators.Comment: 12 pages, 5 figures, Revised title, abstract, and the discussion on Majorana numbe

Out-of-equilibrium physics in driven dissipative coupled resonator arrays

Coupled resonator arrays have been shown to exhibit interesting many- body physics including Mott and Fractional Hall states of photons. One of the main differences between these photonic quantum simulators and their cold atoms coun- terparts is in the dissipative nature of their photonic excitations. The natural equi- librium state is where there are no photons left in the cavity. Pumping the system with external drives is therefore necessary to compensate for the losses and realise non-trivial states. The external driving here can easily be tuned to be incoherent, coherent or fully quantum, opening the road for exploration of many body regimes beyond the reach of other approaches. In this chapter, we review some of the physics arising in driven dissipative coupled resonator arrays including photon fermionisa- tion, crystallisation, as well as photonic quantum Hall physics out of equilibrium. We start by briefly describing possible experimental candidates to realise coupled resonator arrays along with the two theoretical models that capture their physics, the Jaynes-Cummings-Hubbard and Bose-Hubbard Hamiltonians. A brief review of the analytical and sophisticated numerical methods required to tackle these systems is included.Comment: Chapter that appeared in "Quantum Simulations with Photons and Polaritons: Merging Quantum Optics with Condensed Matter Physics" edited by D.G.Angelakis, Quantum Science and Technology Series, Springer 201