Note that although the effective Hamiltonian is a functional of U , its definition is not restricted to U : a matrix element of Eq. ( ) could be evaluated for any arbitrary pair of many-electron states in H . However, for states outside of U , we do not expect Eq.