Frustration-free quantum Hamiltonian (source code)

= Frustration-free quantum Hamiltonian

A quantum Hamiltonian $H=\sum_jh_j$ with positive-semidefinite local terms is frustration free when one state minimizes every $h_j$ simultaneously. After shifting each local minimum to zero, that state lies in every kernel $\ker h_j$ and has zero total energy.