I am trying to understand the adiabatic connection as motivation for hybrid functionals that include Hartree-Fock like exchange. While it sounds intuitive that the exchange of the noninteracting Kohn-Sham system is given by HF exchange, I fail to see it formally. Here is a short summary of my understanding and the definitions.
The Kohn Sham system is a noninteracting system of electrons that yields the same ground state density as the interacting system. My understanding of "noninteracting" is that it means that we can write down a system of one particle operators such that the total wavefunction would be a Hartree product, but we also demand anti-symmetry, and thus the ground state wavefunction is a Slater determinant.
The equations for the KS orbitals in atomic units are
$$
(-\frac{1}{2}\Delta + v_0(r))\phi_i(r) = \varepsilon_i\phi_i(r)
$$
where $v_0(r)$ is an effective one-particle potential that is constructed to yield the groundstate density of our real interacting system. The effective potential is found by variation of the energy of the real system as functional of the Kohn-Sham orbitals , which is achieved by writing it as
$$
E = T_0 +J+V_{ext}+E_{XC}
$$
where $T_0=-\frac{1}{2}\sum^N_i\langle \phi_i|\Delta\phi_i\rangle$ is the kinetic energy, calculated using the KS orbitals, $J=\frac{1}{2}\int\int\frac{ n(r')n(r)}{|r-r'|}drdr'$ is a classical density Coulumb interaction, $V_{ext}= -\frac{1}{2}\sum_a \int \frac{n(r)Z_a}{|r-r_a|}dr$ is the energy due to external potential, and $E_{xc}$ is the unknown exchange-correlation energy. The one-electron density is obtained from the KS orbitals according to $n(r)=\sum_i|\phi_i(r)|^2$. The first variation of this energy with respect to the KS orbitals combined with the orthogonality condition for the orbitals allows us to identify the effective potential
$$
v_0 = v_{ext} + v_{xc} + v_{J}
$$
where $v_{ext}(r)=-\frac{1}{2}\sum_a \frac{Z_a}{|r-r_a|}$ and $v_J(r) =\frac{1}{2}\int\frac{ n(r')}{|r-r'|}dr'$ and $v_{xc} = \frac{\delta E_{xc}}{\delta n}$.
So far everything is simple KS-DFT and clear.
Now comes the the adiabatic connection to justify Hybrid functionals. The exchange correlation energy can be calculated by the following integration $$ E_{xc} = \int^1_0 d\lambda E_{xc,\lambda}. $$ $E_{xc,\lambda=0}$ is then identified as exact Hartree-Fock exchange, and the integral is approximated as a weighted sum of $E_{xc,\lambda=0}$ and $E_{xc,\lambda=1}$. I do not understand how the identification of $E_{xc,\lambda=0}$ as Hartree-Fock exchange is made.
The parameter $\lambda$ connects the exact Hamiltonian of the interacting system with the KS Hamiltonian of noninteracting electrons. I have difficulties to connect these statements with the above derivation. I thought that the Kohn-Sham Hamiltonian is given by $$ \hat H_{KS} = \sum_i (-\frac{1}{2}\Delta_i + v_0(r_i)) $$ and the groundstate solution to this Hamiltonian is the determinant of the KS orbitals. The total energy of this Hamiltonian is then simply $E_{KS} = \sum_i \varepsilon_i$. This energy is the energy of the uncorrelated system and generally different to energy of the real system. Are these statements correct or am I making a mistake already at this point? My understanding is that the adiabatic connection connects this Hamiltonian with the Hamiltonian of the interaction system given by $$ H = \hat T + \hat V_{ee} + V_{ext} $$ such that $H(\lambda=1) = H$ and $H(\lambda=0)=H_{KS}$. But when I look at these Hamiltonians I fail to see how the adiabatic connection formula arises and how exact Hartree Fock exchange enters the picture.
My question is if my identification of $H_{KS}$ as Hamiltonian for $\lambda=0$ correct or wrong?