$U_\phi(x)|0\rangle = |\phi(x)\rangle$、$\langle\psi|H|\psi\rangle \ge E_0$ 与 $H_C = \sum(1 - Z_i Z_j)/2$——变分量子算法的数学骨架