The power of quantum systems on a line
Preprint
Abstract
We study the computational strength of quantum particles (each of finite dimensionality) arranged on a line. First, we prove that it is possible to perform universal adiabatic quantum computation using a one-dimensional quantum system (with 9 states per particle). This might have practical implications for experimentalists interested in constructing an adiabatic quantum computer. Building on the same construction, but with some additional technical effort and 12 states per particle, we show that the problem of approximating the ground state energy of a system composed of a line of quantum particles is QMA-complete; QMA is a quantum analogue of NP. This is in striking contrast to the fact that the analogous classical problem, namely, one dimensional MAX-2-SAT with nearest neighbor constraints, is in P. The proof of the QMA-completeness result requires an additional idea beyond the usual techniques in the area: Not all illegal configurations can be ruled out by local checks, so instead we rule out such illegal configurations because they would, in the future, evolve into a state which can be seen locally to be illegal. Since it is unlikely that quantum computers can efficiently solve QMA problems, our construction gives a one-dimensional system which, at low temperatures, takes an exponential time to relax to its thermal equilibrium state. This makes it a candidate for a one-dimensional spin glass.Keywords
All Related Versions
This publication has 13 references indexed in Scilit:
- Ground state of a class of noncritical one-dimensional quantum spin systems can be approximated efficientlyPhysical Review A, 2007
- Improved Gap Estimates for Simulating Quantum Circuits by Adiabatic EvolutionQuantum Information Processing, 2006
- Error-correcting codes for adiabatic quantum computationPhysical Review A, 2006
- Efficient Approximation of the Dynamics of One-Dimensional Quantum Spin SystemsPhysical Review Letters, 2006
- Universally Programmable Quantum Cellular AutomatonPhysical Review Letters, 2006
- Efficient Simulation of One-Dimensional Quantum Many-Body SystemsPhysical Review Letters, 2004
- Robustness of adiabatic quantum computationPhysical Review A, 2001
- Critical behavior of random transverse-field Ising spin chainsPhysical Review B, 1995
- NP is as easy as detecting unique solutionsTheoretical Computer Science, 1986
- On the computational complexity of Ising spin glass modelsJournal of Physics A: General Physics, 1982