We present a new scheme to perform noise resilient universal adiabatic quantum computation using two-body interactions. To achieve this, we introduce a new family of error detecting subsystem codes whose gauge generators and a set of their logical operators - capable of encoding universal Hamiltonian computations - can be implemented using two-body interactions. Logical operators of the code are used to encode any given computational Hamiltonian, and the gauge operators are used to construct a penalty Hamiltonian whose ground subspace is protected against local-errors. In contrast to previous approaches, the constructed penalty Hamiltonian does not necessarily commute with the encoded computational Hamiltonians, but for our construction, the undesirable effect of the penalty Hamiltonian on the computation can be compensated by a simple modification of the implemented Hamiltonians. We also investigate whether a similar scheme can be constructed by encoding the computational Hamiltonian using only bare-logical operators of subsystem codes, to guarantee that computational Hamiltonian commutes with the penalty Hamiltonian. We prove a no-go theorem showing that restricting to two-body interactions and using any general CSS-type subsystem codes, such a construction cannot encode systems beyond an Ising chain in a transverse field. We point out that such a chain is universal for Hamiltonian-based quantum computation, but it is not universal for ground-state quantum computation.
Extensions of average Hamiltonian theory to quantum computation permit the design of arbitrary Hamiltonians, allowing rotations throughout a large Hilbert space. In this way, the kinematics and dynamics of any quantum system may be simulated by a quantum computer. A basis mapping between the systems dictates the average Hamiltonian in the quantum computer needed to implement the desired Hamiltonian in the simulated system. The flexibility of the procedure is illustrated with NMR on
13C labeled alanine by creating the nonphysical Hamiltonian ${\ensuremath{\sigma}}_{z}{\ensuremath{\sigma}}_{z}{\ensuremath{\sigma}}_{z}$ corresponding to a three-body interaction.
We present a Hamiltonian quantum-computation scheme universal for quantum computation. Our Hamiltonian is a sum of a polynomial number (in the number of gates
L in the quantum circuit) of constant-norm, time-independent, two-body interaction terms. Furthermore, each qubit in the system interacts only with a constant number of other qubits in a three-layer, geometrically local layout. The computer runs in three steps---it starts in a simple initial product state, evolves according to a time-independent Hamiltonian for time of order
L2 (up to logarithmic factors), and finishes with a two-qubit measurement. Our model improves previous universal two-local-Hamiltonian constructions, as it avoids using perturbation gadgets and large energy-penalty terms in the Hamiltonian, which would result in a large required run time.