Hamiltonian complexity

Hamiltonian complexity or quantum Hamiltonian complexity is a topic which deals with problems in quantum complexity theory and condensed matter physics. It mostly studies constraint satisfaction problems related to ground states of local Hamiltonians; that is, Hermitian matrices that act locally on a system of interest. The constraint satisfaction problems in quantum Hamiltonian complexity have led to the quantum version of the Cook–Levin theorem. Quantum Hamiltonian complexity has helped physicists understand the difficulty of simulating physical systems.
Local Hamiltonian problem.
Given a Hermitian matrix formula_1, let formula_2 denote the ground state energy of the Hamiltonian formula_1, and let formula_4 and formula_5 be non-negative real numbers with formula_6. If formula_7, output Yes. If formula_8, output No. The "k-local Hamiltonian problem" is similar except the Hamiltonians have formula_9-local interactions. This problem has been shown to be QMA-complete for formula_10.
Area law.
The area law explains the structure of entanglement present in ground states of physically relevant systems. It states that the entropy of a reduced density matrix of a quantum system in its ground state is proportional to the boundary length of the area.
The area law has been useful in finding efficient ways to simulate entangled quantum systems.
Quantum analog of the PCP theorem.
The classical PCP theorem states that simulating the ground states of classical systems is hard. The quantum analog of the PCP theorem concerns simulations of quantum systems. Proving the quantum analog of the PCP theorem is an open problem.