Variational projection onto an involutive symmetry
ID: variational-projection-onto-an-involutive-symmetry
Let be a lower-bounded self-adjoint Hamiltonian operator and a commuting self-adjoint operator with . For a normalized trial vector , define , , . The Rayleigh quotient on is , with derivative . Unless , its extrema are the normalized nonzero vectors , with energies . Their difference is , identifying the maximum and minimum.
The orthogonal projections split any trial energy into a weighted mean of the two sector energies, so one nonzero sector projection never raises the trial energy. If , one projected vector is zero and its quotient is undefined; the remaining family has constant energy. Exchange symmetry makes these sectors bosonic and fermionic spatial wavefunctions. Stationarity within this two-dimensional trial space does not generally make a vector an exact eigenvector of .
New to topics? Read the docs here!