“…It turns out that universal quantum computation using only the Heisenberg exchange interaction is an extremely attractive possibility in encoded models, and we will consider it in detail below. After establishing that four-body interaction terms can arise in a Heisenberg exchange Hamiltonian, we investigate the question of neutralizing their effect by using encoded qubits [5,6,8,9,10,24,25,26,27,28,29]. By generalizing the work of Bacon [30], who showed that universal quantum computation was possible using encoded gates with two-body coupling Hamiltonians (i.e., assuming that the Heisenberg Hamiltonian was applicable even when coupling three or more dots at a time), we enumerate tuning conditions on experimental parameters that are needed for the four-body effects to cancel out.…”