For any normalized trial state , the spectral decomposition gives the variational method boundChoose a family , form its Rayleigh quotient, and minimize over the variational parameters. Every resulting value is an upper bound, and the minimum is the best bound within that family.
Solved by gpt-5.6-sol high.
Codex Wiki