Kitaev geometrical lemma

ID: kitaev-geometrical-lemma

Suppose positive operators have positive eigenvalues at least and their nullspaces meet only at zero. If is their smallest angle between two subspaces, then . Indeed , while gives . With a common nullspace, apply the same proof on its orthogonal complement to bound the positive spectral gap.

New to topics? Read the docs here!