Resource efficient gadgets for compiling adiabatic quantum optimization problems
- 3 September 2013
- journal article
- research article
- Published by Wiley in Annalen der Physik
- Vol. 525 (10-11) , 877-888
Abstract
A resource efficient method by which the ground‐state of an arbitrary k‐local, optimization Hamiltonian can be encoded as the ground‐state of a ‐local, optimization Hamiltonian is developed. This result is important because adiabatic quantum algorithms are often most easily formulated using many‐body interactions but experimentally available interactions are generally 2‐body. In this context, the efficiency of a reduction gadget is measured by the number of ancilla qubits required as well as the amount of control precision needed to implement the resulting Hamiltonian. First, methods of applying these gadgets to obtain 2‐local Hamiltonians using the least possible number of ancilla qubits are optimized. Next, a novel reduction gadget which minimizes control precision and a heuristic which uses this gadget to compile 3‐local problems with a significant reduction in control precision are shown. Finally, numerics are presented which indicate a substantial decrease in the resources required to implement randomly generated, 3‐body optimization Hamiltonians when compared to other methods in the literature.Keywords
All Related Versions
This publication has 16 references indexed in Scilit:
- Performance of the quantum adiabatic algorithm on random instances of two optimization problems on regular hypergraphsPhysical Review A, 2012
- Finding low-energy conformations of lattice protein models by quantum annealingScientific Reports, 2012
- Quantum annealing with manufactured spinsNature, 2011
- Quantum-Merlin-Arthur–complete problems for stoquastic Hamiltonians and Markov matricesPhysical Review A, 2010
- Construction of model Hamiltonians for adiabatic quantum computation and its application to finding low-energy conformations of lattice protein modelsPhysical Review A, 2008
- Nonperturbative-body to two-body commuting conversion Hamiltonians and embedding problem instances into Ising spinsPhysical Review A, 2008
- Pseudo-Boolean optimizationDiscrete Applied Mathematics, 2002
- A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete ProblemScience, 2001
- Proof verification and the hardness of approximation problemsJournal of the ACM, 1998
- Beweis des AdiabatensatzesThe European Physical Journal A, 1928