Authors
Year
Main statement
Issue
Kempe, Kitaev, Regev
2006
3- to 2-local gadget to prove QMA completeness of the local Hamiltonian problem
state initialization for subspace restiction
Oliveira, Terhal
2005
subdivision gadget (k- to k/2-local) and proof
of QMA completeness of the Hamiltonian
problem on a square grid
exponential coupling strengths
Biamonte, Love
2008
"realizable Hamiltonians" with focus on
using gadgets for adiabatic computing and
adapting to hardware restrictions
no locality reduction