The ANG Hamiltonian describes an adatom-substrate system with a single adatom state a and substrate states k. The electrons can (de)localize over any of these states. Each state can be occupied by an up-spin electron (σ=+) and a down-spin electron (σ=−).
On the adatom, this can optionally lead to Coulomb repulsion between the electrons. This repulsion is a two-body interaction, described by an operator
From the anticommutation relations of the creation and annihilation operators for different spins, it turns out that all these creation/annihilation operator pairs can be combined into number operators, so that
where h.c. implies the Hermitian conjugate of the term before it. In summary, we have:
the self-energy of electrons on the adatom state, εa, which is counted for each electron on the adatom;
the self-energy on the substrate, εk;
the interaction or hybridization between the substrate and adsorbate Vak. Note that hybridization is unrelated to the spin: a spin-up electron can delocalize between adatom and substrate, and the spin-down electron can also do so, independently of one another;
the electron-electron repulsion U on the adatom, which is counted only if it is doubly occupied.
In the Hartree-Fock approximation, the electron-electron repulsion is written as the average interaction with the opposite-spin electron. The e-e repulsion part of the Hamiltonian is written
There are only two possible values for σ, up (+) and down (-). Consider that the entire system is completely noninteracting, i.e., each state is occupied by two opposite-spin electrons but they do not interact. Then the total energy of the system can be obtained by solving the system where every state is occupied once, and then multiplying times two. Essentially, H=H++H−=2H+. Now we do say that there is an interaction, but only on the adatom. Because Hartree-Fock decouples H+ and H−, we can still solve H+ and H− separately, but H+ depends on the solution of H− and the other way around. The Hartree-Fock approximation will therefore eventually lead us to a self-consistent procedure.
The total Hartree-Fock-approximated Hamiltonian now leaves out the term −U⟨naσ⟩⟨na,−σ⟩. Why? That’s how people do Hartree-Fock: they want to consider the electrons separately. An up-spin electron sees the entire mean-field of the down-spin electron, and this entire energy -- not just half of it -- affects its energy level. Later on, we’ll act like we’re very surprised that the total energy and sum of eigenvalues differ by exactly that value.
where ε0 is the ground-state energy. Recall that Φ0σ in the occupation representation is something like [111⋯00].
By the Hartree-Fock approximation, we can now solve this Schrödinger equation for a single spin state. The Hamiltonian Hσ describes all energy levels in the system, but each state is occupied by at most one electron. All electrons have spin σ. Or, equivalently, because we do not consider electron-electron repulsion anywhere other than the adatom, we can say that this is the Hamiltonian where the electron on the adatom has spin σ.
In the discussion below, we drop the sub/superscript σ, and solve for this non-interacting electron system with Hamiltonian
The energy levels m are some unspecified energy levels of the perturbed system (adatom plus substrate). They could be the set of substrate states plus the adatom state (m=k or a), or a set of new molecular orbitals of the combined system. Either way, the change of basis can be written in terms of creation operators as
Now, we’re going to bring back the spin. We take the noninteracting system with energy levels εm, fill each level with two electrons, and set the energy on the adatom to εa→εa+U⟨na,−σ⟩=εaσ. Bringing back this electron-electron interaction also makes the (still unspecified) energy levels change as εm→εmσ since they may depend on the adatom state.
Summing over all the energy states, and including electrons with both spins,
where q runs over all k and a; εq are the state ‘self-energies’ i.e. plane-wave energies (also for the adatom (?)). Now, ∑m∣⟨mσ∣aσ⟩∣2 is the sum of probabilities over all states m that an electron localizes on the a-state. Hence it is simply equal to ⟨naσ⟩.
So, surprise: writing out the two terms for σ=−,+, we now get two times the mean e-e repulsion term:
For example, there are terms like ⟨qσ∣ckσ†caσ∣q′σ⟩=δq′aδqk. To see this, one may write caσ=∣0⟩⟨a∣, and ckσ†=∣k⟩⟨0∣. In this way, the term εanaσ for example has expectation