moving from keeping track of all electrons to just occupation of states
creation and annihilation operators
definition of other operators in terms of creation and annihilation operators
Literature: Schwabl, Advanced Quantum Mechanics, Chapter 1
We are going to be dealing with many-body electron states: we have a Hamiltonian of the form
H = H ( 1 , 2 , . . . ) H = H(1, 2, ...) H = H ( 1 , 2 , ... ) where 1 , 2 , . . . 1, 2,... 1 , 2 , ... denote the coordinates of particles 1, 2, etc. The wavefunction is
Ψ = Ψ ( 1 , 2 , . . . ) . \Psi = \Psi(1, 2,...). Ψ = Ψ ( 1 , 2 , ... ) . For indistinguishable fermonic particles such as electrons, the wavefunction is antisymmetric under particle exchange:
ψ ( . . . , α , . . . , β . . . ) = − ψ ( . . . , β . . . , α , . . . ) \psi(...,\alpha,...,\beta...) = -\psi(...,\beta...,\alpha,...) ψ ( ... , α , ... , β ... ) = − ψ ( ... , β ... , α , ... ) For N N N states and N N N electrons, each electron with coordinates α \alpha α can be in a state i i i ; this is denoted as ∣ i ⟩ α |i\rangle_\alpha ∣ i ⟩ α . The many-electron wave function can be written as a determinant to satisfy antisymmetry.
Ψ ( 1 , 2 , . . . , N ) = 1 N ! ∣ ∣ 1 ⟩ 1 ∣ 1 ⟩ 2 ⋯ ∣ 1 ⟩ N ∣ 2 ⟩ 1 ∣ 2 ⟩ 2 ⋯ ∣ 2 ⟩ N ⋮ ⋮ ⋱ ⋮ ∣ N ⟩ 1 ∣ N ⟩ 2 ⋯ ∣ N ⟩ N ∣ \Psi(1,2,...,N)=
{1 \over \sqrt{N!}}
\begin{vmatrix}
|1\rangle_1 & |1\rangle_2 & \cdots & |1\rangle_N \\
|2\rangle_1 & |2\rangle_2 & \cdots & |2\rangle_N \\
\vdots & \vdots & \ddots & \vdots \\
|N\rangle_1 & |N\rangle_2 & \cdots & |N\rangle_N
\end{vmatrix} Ψ ( 1 , 2 , ... , N ) = N ! 1 ∣ ∣ ∣1 ⟩ 1 ∣2 ⟩ 1 ⋮ ∣ N ⟩ 1 ∣1 ⟩ 2 ∣2 ⟩ 2 ⋮ ∣ N ⟩ 2 ⋯ ⋯ ⋱ ⋯ ∣1 ⟩ N ∣2 ⟩ N ⋮ ∣ N ⟩ N ∣ ∣ = 1 N ! ( ∣ 1 ⟩ 1 ∣ 2 ⟩ 2 ⋯ ∣ N ⟩ N + permut. ) ={1 \over \sqrt{N!}} \left( |1\rangle_1 |2\rangle_2\cdots|N\rangle_N + \text{permut.} \right) = N ! 1 ( ∣1 ⟩ 1 ∣2 ⟩ 2 ⋯ ∣ N ⟩ N + permut. ) where permut. denotes that we sum over all N ! N! N ! permutations.
This notation is very cumbersome, so the idea of second quantization is to denote the many-electron wave function in terms of the occupation of energy levels:
Ψ ( 1 , 2 , . . . ) = ∣ n 1 n 2 ⋯ ⟩ \Psi(1, 2, ...) = |n_1n_2\cdots\rangle Ψ ( 1 , 2 , ... ) = ∣ n 1 n 2 ⋯ ⟩ where n i = 0 n_i=0 n i = 0 or 1 is the occupation of state ϕ i \phi_i ϕ i .
These wave functions can be thought of as vectors [ 1111...000 ] [1 1 1 1 ... 0 0 0] [ 1111...000 ] . The space of these vectors is called Fock space .
Creation and annihilation operators ¶ Creation operators create an electron; annihilation operators remove one:
c k † ∣ . . . , 0 k , . . . ⟩ = θ k ∣ . . . , 1 k , . . . ⟩ c_k^\dag |...,0_k,...\rangle = \theta_k |..., 1_k, ...\rangle c k † ∣... , 0 k , ... ⟩ = θ k ∣... , 1 k , ... ⟩ where 0 k 0_k 0 k and 1 k 1_k 1 k denote occupation 0 or 1 for state k k k .
Similarly, annihilation operators remove an electron from a state:
c k ∣ . . . , 1 k , . . . ⟩ = θ k ∣ . . . , 0 k , . . . ⟩ c_k |...,1_k,...\rangle = \theta_k |..., 0_k, ...\rangle c k ∣... , 1 k , ... ⟩ = θ k ∣... , 0 k , ... ⟩ Applying a creation operator to a level that is already 1 or an annihilation operator to a level that is already 0, yields zero. Using that property, the number operator can be defined in terms of creation/annihilation operators,
n k = c k † c k n_k = c_k^\dag c_k n k = c k † c k which yields the occupation (0 or 1) of state k k k .
Below we sometimes need to ‘translate’ between molecular orbital states and atomic orbital states. Let’s say the creation operator c k † c_k^\dag c k † creates a particle in atomic orbital k k k :
c k † ∣ 0 ⟩ = ∣ k ⟩ c_k^\dag |0\rangle = |k \rangle c k † ∣0 ⟩ = ∣ k ⟩ The molecular orbitals m m m are related to atomic orbitals k k k as
∣ m ⟩ = ∑ k C m k ∣ k ⟩ |m\rangle = \sum_k C_{mk} |k\rangle ∣ m ⟩ = k ∑ C mk ∣ k ⟩ where C m k = ⟨ m ∣ k ⟩ C_{mk} = \langle m|k\rangle C mk = ⟨ m ∣ k ⟩ are the basis-change or LCAO coefficients. Thus, to create a particle in atomic orbital m m m , we need a creation operator
c m † ∣ 0 ⟩ = ∣ m ⟩ c_m^\dag|0\rangle = |m\rangle c m † ∣0 ⟩ = ∣ m ⟩ or
c m † = ∑ k C m k c k † . c_m^\dag = \sum_k C_{mk} c_k^\dag. c m † = k ∑ C mk c k † . Hence, the basis change carries over directly to second quantization.
Operators in second quantization ¶ The kinetic energy can be written as a sum of 1-particle operators t α = p α 2 / 2 m t_\alpha=p_\alpha^2/2m t α = p α 2 /2 m :
T = ∑ α t α T = \sum_\alpha t_\alpha T = α ∑ t α We can insert completeness relations / identity operators
I = ∑ i ∣ i ⟩ α ⟨ i ∣ α I=\sum_i |i\rangle_\alpha\langle i |_\alpha I = i ∑ ∣ i ⟩ α ⟨ i ∣ α Then
T = ∑ α t α = ∑ α ∑ i , j ∣ i ⟩ α ⟨ i ∣ α t α ∣ j ⟩ α ⟨ j ∣ α T=\sum_\alpha t_\alpha = \sum_\alpha \sum_{i,j} | i \rangle_\alpha \langle i |_\alpha t_\alpha | j \rangle_\alpha \langle j |_\alpha T = α ∑ t α = α ∑ i , j ∑ ∣ i ⟩ α ⟨ i ∣ α t α ∣ j ⟩ α ⟨ j ∣ α Then t i j = ⟨ i ∣ α t α ∣ j ⟩ α t_{ij}=\langle i |_\alpha t_\alpha | j \rangle_\alpha t ij = ⟨ i ∣ α t α ∣ j ⟩ α (it’s the same for all identical particles α \alpha α ), and
T = ∑ i , j t i j ∑ α ∣ i ⟩ α ⟨ j ∣ α . T = \sum_{i,j} t_{ij} \sum_\alpha | i \rangle_\alpha \langle j |_\alpha. T = i , j ∑ t ij α ∑ ∣ i ⟩ α ⟨ j ∣ α . The operator ∑ α ∣ i ⟩ α ⟨ j ∣ α \sum_\alpha | i \rangle_\alpha \langle j |_\alpha ∑ α ∣ i ⟩ α ⟨ j ∣ α basically moves the electron in state j j j to state i i i . To see this, we can apply it to a Slater determinant:
∑ α ∣ i ⟩ α ⟨ j ∣ α Ψ ( 1 , 2 , . . . ) = ∑ α ∣ i ⟩ α ⟨ j ∣ α ( ⋯ ∣ k ⟩ α ⋯ + permut. ) \sum_\alpha | i \rangle_\alpha \langle j |_\alpha\Psi(1,2,...) = \sum_\alpha | i \rangle_\alpha \langle j |_\alpha \left(\cdots |k\rangle_\alpha \cdots + \text{permut.}\right) α ∑ ∣ i ⟩ α ⟨ j ∣ α Ψ ( 1 , 2 , ... ) = α ∑ ∣ i ⟩ α ⟨ j ∣ α ( ⋯ ∣ k ⟩ α ⋯ + permut. ) Every time the operator encounters particle α \alpha α occupying state j j j , i.e., ∣ j ⟩ α |j\rangle_\alpha ∣ j ⟩ α , it ‘annihilates’ it (⟨ j ∣ j ⟩ = 1 ) \langle j | j\rangle=1) ⟨ j ∣ j ⟩ = 1 ) and replaces it with a particle α \alpha α occupying state i i i , i.e., ∣ i ⟩ α |i\rangle_\alpha ∣ i ⟩ α . Otherwise, it returns zero. It does this for all particles α \alpha α .
This operation is exactly equivalent to what the creation and annihilation operators do. In second quantization, we can therefore replace this logic with
∑ α ∣ i ⟩ α ⟨ j ∣ α = c i † c j \sum_\alpha | i \rangle_\alpha \langle j |_\alpha=c_i^\dag c_j α ∑ ∣ i ⟩ α ⟨ j ∣ α = c i † c j and we do not care about keeping track of the individual particles α \alpha α anymore, because we operate on the occupation representation (Fock space).
Thus, in second quantization, one-electron operators acting on all electrons in the system can be written as
T = ∑ i , j t i j c i † c j T = \sum_{i,j} t_{ij} c_i^\dag c_j T = i , j ∑ t ij c i † c j This directly holds for the kinetic energy; the potential energy can also be written in this form following exactly the same argument:
V = ∑ i , j V i j c i † c j V = \sum_{i,j} V_{ij} c_i^\dag c_j V = i , j ∑ V ij c i † c j A similar logic can be applied to two-particle operators, such as:
W = 1 2 ∑ i j k m w i j k l c i † c j † c m c k W = \frac{1}{2} \sum_{ijkm} w_{ijkl} c_i^\dag c_j^\dag c_m c_k W = 2 1 ijkm ∑ w ijk l c i † c j † c m c k which removes two particles from the states k k k and m m m , and adds them into states i i i and j j j . Here, w i j k l = ⟨ i , j ∣ w ∣ k , m ⟩ w_{ijkl}=\langle i, j | w | k, m \rangle w ijk l = ⟨ i , j ∣ w ∣ k , m ⟩ is the matrix element of the two-electron operator. The factor 1/2 is necessary because if you count a two-electron interaction for each of the electrons involved, you’re overcounting the total energy by a factor 2.
For the next part, we choose ∣ i ⟩ |i\rangle ∣ i ⟩ to be eigenfunctions of t = p 2 / 2 m t=p^2/{2m} t = p 2 / 2 m . These are plane waves, a common basis choice for a periodic crystal:
∣ i ⟩ = e i k i ⋅ r |i\rangle = e^{i \mathbf{k}_i \cdot \mathbf{r}} ∣ i ⟩ = e i k i ⋅ r In this eigenbasis, the t t t -operator is diagonal:
t i j = ε i δ i j t_{ij}=\varepsilon_i\delta_{ij} t ij = ε i δ ij with eigenvalues
ε i = ℏ 2 k i 2 2 m . \varepsilon_i = \frac{\hbar^2 k_i^2}{2m}. ε i = 2 m ℏ 2 k i 2 .