Gap above a degenerate history ground space
ID: gap-above-a-degenerate-history-ground-space
After undoing quantum circuit propagation, the Hamiltonian without output penalty is . The common kernel is the valid input space times the uniform clock vector. On its orthogonal complement, the smallest angle between two subspaces obeys . The Kitaev geometrical lemma and path gap give . Degenerate valid quantum witnesses must be removed together when computing this angle.
New to topics? Read the docs here!