Yuriy Kruglyak. Quantum Chemistry_Kiev_1963-1991
.pdfon the basis vectors with definite N . For this reason we fix a number of particles N in our system and will construct corresponding eigenvectors.
The expansion coefficients of the eigenvectors of Hˆ over the basis vectors are usually determined as solutions of the eigenvalue problem for a matrix with the
elements p σ |
H pσ . For the practical determination of approximate eigenvectors |
|
′ ′ |
ˆ |
|
the CI matrix is truncated before diagonalization.
The order of the CI matrix which is to be diagonalised can be decreased considerably if there are operators which commute with the Hamiltonian as well as between each other. Then using an appropriate unitary transformation one goes from the set of vectors pσ to a new set of the basis vectors which are eigenvectors of
these operators, and an initial eigenvalue problem reduces into several eigenvalue problems of a smaller order. Each of them corresponds to a definite totality of eigenvalues of the operators mentioned.
The spin-free Hamiltonian always commutes with the total spin projection operator Sˆz and with the square of the total spin operator Sˆ2 . These two operators commute with each other also. We shall first find the expressions for them both in the
second quantization representation. Expression for Sz |
is obtained from the general |
||
|
|
ˆ |
|
definition of an one-particle operator |
|
|
|
ˆ |
ˆ+ ˆ |
ˆ |
(171) |
Q ≡ ∑ Aiσ Ajσ′ <ψiσ |Q |ψ jσ′ >, |
|||
|
ijσσ′ |
|
|
where one should place Q = Sz . Using the orthonormality of the spin-orbitals and the |
||||||||||
ˆ |
ˆ |
|
|
|
|
|
|
|
|
|
definition |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
ˆ |
|
σψiσ |
|
|
|||
|
|
|
Szψiσ = |
2 |
|
|
||||
one obtains |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
ˆ |
|
|
ˆ+ |
ˆ |
|
|
(172) |
|
|
|
Sz = |
2 ∑iσ |
σ Aσ |
Aσ . |
|
||||
|
|
|
|
|
i |
|
i |
|
|
|
To construct an operator S |
we begin with the well known Dirac expression [10] |
|||||||||
|
|
ˆ2 |
|
|
|
|
|
|
|
|
ˆ2 |
= |
1 |
N(4 − N ) + |
∑ |
ˆσ |
(173) |
||||
S |
4 |
Pkl . |
||||||||
|
|
|
|
|
1≤k<l≤N |
|
|
In the second quantization representation the first term has the same pattern except
that the total number of particles N must be replaced by the corresponding operator |
ˆ |
||
N |
|||
defined by (170). The operator |
ˆσ |
which interchanges the spin functions of two |
|
Pkl |
|||
electrons k and l in the states ψiσ |
and ψ jσ′ corresponds to the two-particle operator |
|
110
ˆ+ ˆ+ |
ˆ ˆ ˆ+ ˆ+ |
ˆ ˆ |
(174) |
∑(Aiσ Ajσ Ajσ Aiσ + Aiσ Aj,−σ Ajσ Ai,−σ ). |
|||
σ |
|
|
|
Thus, finally
ˆ2 |
|
1 ˆ |
ˆ |
1 |
∑ijσ |
ˆ+ ˆ+ ˆ ˆ ˆ+ ˆ+ |
ˆ ˆ |
S |
= |
4 N(4 |
− N ) + |
2 |
(Aiσ Ajσ Ajσ Aiσ + Aiσ Aj,−σ Ajσ Ai,−σ ). |
Later we shall consider a construction of the eigenvalues of the operators
(175)
Sˆz and Sˆ2 .
2.7.3.3. Hole Formalism |
|
|
|
|
|
|
Consider the subset of the spin-orbitals |
{ψ}1 , which contains first 2nF |
one- |
||||
particle states ψiσ with i ≤ nF or one can take nF pairs of arbitrary spin-orbitals |
ψi,+1 |
|||||
and ψi,−1 with subsequent renumbering of them, and form a vector |
|
|||||
|
nF |
ˆ+ |
ˆ+ |
|
0 . |
(176) |
|
|
|||||
|
Φ0 = ∏(Ai,+1Ai,−1) |
|
||||
|
i=1 |
|
|
|
|
|
This vector corresponds to the Slater determinant built on the spin-orbitals chosen. A determinant built from the same spin-orbitals except ψ jσ corresponds to a vector
|
|
|
|
nF |
|
|
|
|
|
|
|
|
|||
|
|
|
|
ˆ+ |
|
|
ˆ+ |
ˆ+ |
|
0 . |
|
|
(177) |
||
|
|
|
|
|
|
||||||||||
|
|
|
Φ′ = Aj,−σ ∏ |
(Ai,+1Ai,−1) |
|
|
|
||||||||
|
|
|
|
i=1(i≠ j) |
|
|
|
|
|
|
|
|
|||
Acting on |
|
Φ′ by a unit operator |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
ˆ+ ˆ |
|
ˆ |
ˆ+ |
|
|
|
|
|
|
||
|
|
|
|
Ajσ Ajσ |
+ Ajσ Ajσ |
|
|||||||||
and using relations (161) and (165) one obtains |
|
|
|
|
|
|
|||||||||
|
|
|
|
ˆ |
|
|
Φ0 |
. |
( j ≤ nF ) |
(178) |
|||||
|
|
|
|
|
|||||||||||
|
|
|
|
Φ′ =σ Ajσ |
|
|
|||||||||
This means that action of an operator |
ˆ |
with |
j ≤ nF on the vector |
|
Φ0 |
leads to the |
|||||||||
|
|||||||||||||||
Ajσ |
|
annihilation of a particle in an occupied state ψ jσ , i.e. to the creation of a hole in this
state. Thus the operators |
ˆ |
and |
ˆ+ |
with i ≤ nF can be interpreted as creation and |
Aiσ |
Aiσ |
annihilation respectively of the holes in the states of the subset {ψ}1 . It can be shown
that the Slater determinant with u rows changed by other v rows in the second quantization representation corresponds to a vector obtained from Φ0 by action of u
hole creation and v particle creation operators in the corresponding states. All basis vectors for the CI method can be presented in this way and we shall now describe the corresponding formalism.
Using the anticommutation relations (161) and a definition of the vacuum state (165) it is easy to see that
111
ˆ+ |
|
Φ0 |
= 0, |
Φ0 |
|
ˆ |
(i ≤ nF ), |
(179a) |
|
|
|||||||
Aiσ |
|
|
Aiσ = 0, |
|||||
ˆ |
|
Φ0 |
= 0, |
Φ0 |
|
ˆ+ |
(i > nF ), |
(179b) |
|
|
|||||||
Aiσ |
|
|
Aiσ = 0, |
i.e. Φ0 is a vacuum state with respect to the creation and annihilation operators of the holes and particles. In the following discussion under the vacuum state we always
imply the state |
|
Φ0 |
and not the initial state |
|
0 . |
||
|
|
||||||
We shall now introduce the important concept of a N-product (normal product) |
|||||||
of the operators F1 |
, F2 |
, F3,... denoted as |
N (F1F2F3 ) . In order to go from the usual |
||||
|
|
ˆ |
ˆ |
ˆ |
ˆ ˆ ˆ |
product to a normal one we must transpose the operators in such a way that all the hole and particle creation operators are placed to the left of the annihilation operators, and each transposition of a pair of the operators must be followed by change of a sign. Under the sign of a N-product the operators can be arbitrary transposed. The sign depends only on the parity of transposition. An important property of the N-product, a consequence of (161), is that its average value over the vacuum state is equal to zero
Φ0 |
|
N( ) |
|
Φ0 = 0. |
(180a) |
|
|
An obvious exception is the case when under the sign of a N-product there is a constant or an expression not having creation or annihilation operators (c-numbers).
Then its average over the vacuum state is equal to itself |
|
Φ0 N(c) Φ0 = c . |
(180b) |
A reduction of operator products to a sum of the N-products is extremely useful as shown in calculating the vacuum average of the operator products by expression
(180). This reduction |
can be easily performed for a product of two operators using |
|||
the N-products and the anticommutation relations (161): |
|
|||
|
ˆ ˆ |
ˆ ˆ |
|
|
|
ˆ ˆ |
(181) |
||
|
AB = N(AB) + AB . |
|||
|
|
|
|
|
ˆ ˆ |
denotes a c-number called a convolution of the operators |
ˆ |
||
The symbol AB |
A and |
B . Only the following convolutions of the particle and hole operators are not equal to |
|||
ˆ |
|
|
|
zero: |
|
|
|
|
|
|
|
ˆ ˆ+ |
=1, |
(i > nF ), |
(182a) |
Aiσ Aiσ |
|
|
|
ˆ+ ˆ |
=1, |
(i ≤ nF ). |
Aiσ Aiσ |
Thus introducing the population numbers
|
1, |
i ≤ n |
|
|
n |
|
F |
|
|
= |
|
|||
i |
0, |
i > n |
|
|
|
|
|
F |
(182b)
(183)
112
one obtains for all convolutions
|
|
|
|
|
|
ˆ |
ˆ |
ˆ+ ˆ+ |
= 0 |
, |
(184a) |
Aiσ Ajσ′ |
= Aiσ Ajσ′ |
||||
|
|
|
|
||
|
ˆ+ ˆ |
|
|
|
(184b) |
|
Aiσ Ajσ′ = niδijδσσ′ , |
|
|||
|
|
|
|
|
|
ˆ |
ˆ+ |
= (1−ni )δijδσσ′ . |
(184c) |
||
Aiσ Ajσ′ |
The rules for reduction of the operator product to a sum of the N-products in a general case are given by the Wick’s theorems [11]. The theorems given in [11] have been formulated by Wick [7] for the chronological products. We give a particular formulation of these theorems for the operators with equal times.
Theorem 1. A product of the creation and annihilation operators is represented by a sum of the normal products with all possible convolutions including a N-product without convolutions. The sign of each term is determined by a number of the operator transpositions needed that the convoluting operators are grouped together:
Fˆ1Fˆ2Fˆ3 Fˆn = N(Fˆ1Fˆ2Fˆ3 Fˆn ) + Fˆ1Fˆ2 N(Fˆ3Fˆ4Fˆ5 Fˆn ) −
|
|
− Fˆ1Fˆ3 N(Fˆ2Fˆ4Fˆ5 Fˆn ) +... + Fˆ1Fˆ2 Fˆ3Fˆ4 N(Fˆ5Fˆ6Fˆ7 Fˆn ) +...
Theorem 2. If some operators in the product to be reduced stand from the beginning under the sign of the N-product then the reduction is made in the same way except that the convolutions must be omitted for those operators which from the beginning were standing under the sign of the same N-product.
2.7.3.4. Expansion of the Physical Value Operators over the N-products
For a one-particle operator using (181) and (184) one obtains from (171)
ˆ |
ˆ+ ˆ |
|
ˆ |
|
ψ jσ′ |
+∑ni ψiσ |
|
ˆ |
|
ψiσ . |
|
|
|
|
|||||||
Q ≡ ∑ N (Aiσ Ajσ′)ψiσ |
|
Q |
|
|
Q |
|
||||
|
ijσσ′ |
|
|
|
|
iσ |
|
|
|
|
In particular, if an operator Q does not act on the spin variables, then |
|
ˆ |
|
ˆ |
ˆ+ ˆ |
Q = ∑N (Aiσ Ajσ )Qij +2∑niQii , |
|
ijσ |
i |
where
Qij = ϕi Qˆ ϕj .
One obtains in the same way from (172)
ˆ |
1 |
∑iσ |
|
( |
ˆ+ ˆ |
i |
) |
|
Sz = |
2 |
σN |
i |
. |
||||
|
|
|
Aσ Aσ |
|
(185)
(186)
(187)
(188)
113
The number-of-paticles operator (170) becomes
ˆ |
ˆ+ ˆ |
(189) |
N = ∑N (Aiσ Aiσ )+2nF . |
||
|
iσ |
|
Now we shall transform the Hamiltonian (162). The first sum in (162) is transformed according to (186) with Qˆ = hˆ . In order to transform a sum corresponding to the electron interaction we use the first Wick theorem. Its application to a product of four operators gives
ˆ+ ˆ+ |
ˆ |
ˆ |
|
ˆ+ ˆ+ ˆ |
ˆ |
|
ˆ+ |
ˆ |
|
|
ˆ+ ˆ |
|
|
|
ˆ+ ˆ |
ˆ+ |
ˆ |
N |
|
||||||||
Aiσ Ajσ′Alσ′Akσ = N (Aiσ Ajσ′Alσ′ |
Akσ )+ Aiσ Akσ |
N (Ajσ′Alσ′)+ Ajσ′Alσ′ |
(Aiσ Akσ )− |
||||||||||
|
|
|
|
|
|
|
|
(190) |
|||||
|
ˆ+ ˆ |
ˆ+ |
ˆ |
|
|||||||||
ˆ+ |
ˆ |
N |
ˆ+ ˆ |
ˆ+ ˆ |
ˆ+ |
ˆ |
ˆ+ ˆ |
|
ˆ+ ˆ |
, |
|||
− Ajσ′ |
Akσ |
(Aiσ Alσ′)− Aiσ′Alσ |
N (Ajσ′Akσ )+ |
Aiσ Akσ |
Ajσ′Alσ′ − Aiσ Alσ′ |
Ajσ Akσ′ |
where only those terms are written down which can have non-zero convolutions. Putting this expansion into (162) and substituting all convolutions by their values according to (184), after the necessary summations one obtains
ˆ |
|
ˆ+ ˆ |
|
1 |
∑ |
ˆ+ ˆ+ |
ˆ |
ˆ |
H = E0 |
+∑Fij N (Aiσ Ajσ )+ |
|
(ij |kl)N (Aiσ Ajσ′Alσ′ |
Akσ ), |
||||
|
ijσ |
|
|
2 ijklσσ′ |
|
|
|
|
where |
|
|
+∑ninj 2(ij |ij)−(ij | ji) |
|
|
|||
|
E0 |
= 2∑nihii |
|
|
||||
|
|
i |
ij |
|
|
|
|
|
and
Fij = hij +∑n 2(ik | jk )−(ik |kj) .
k k
(191)
(192)
(193)
Expression (192) is the well known equation for the energy in the Hartree – Fock approximation and Fij are the matrix elements
Fij = ϕi Fˆ ϕj
of the Fock operator built on the orbitals ϕ1,ϕ2 ,ϕ3,...,ϕnF . If these eigenfunctions of the SCF Fock operator with eigenvalues εi then
Fij =εiδij
and the Hamiltonian (191) becomes
ˆ |
ˆ+ ˆ |
1 |
∑ |
ˆ+ ˆ+ ˆ |
ˆ |
H = E0 |
+∑εi N (Aiσ Aiσ )+ |
|
(ij |kl)N (Aiσ Ajσ′Alσ′ |
Akσ ). |
|
|
iσ |
2 ijklσσ′ |
|
|
orbitals are
(194)
114
This particular expression for the Hamiltonian is applicable only under the conditions mentioned. The general expression (191), however, is valid for an arbitrary orthonormal set of orbitals.
Following the same procedure one can obtain an expression for the operator Sˆ2 given by (175). We present the final result
ˆ2 |
|
3 |
∑ |
(1 |
i |
ˆ+ ˆ |
i |
1 |
∑ |
N |
( |
ˆ+ ˆ+ ˆ |
j |
ˆ |
i |
) |
|
1 |
∑ |
N |
( |
ˆ+ ˆ+ |
ˆ |
j, |
ˆ |
i |
) |
|
S = |
4 |
iσ |
−2n )N(Aσ Aσ ) + |
4 ijσ |
Aσ A σ A σ Aσ |
|
− |
4 ijσ (i≠ j) |
|
Aσ A |
−σ A |
−σ Aσ |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(195) |
||||||
|
− |
3 |
∑N |
ˆ+ ˆ+ |
ˆ |
ˆ |
+ |
1 |
∑ |
ˆ+ |
ˆ+ |
|
|
ˆ |
|
ˆ |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
(Aiσ Ai,−σ Ai,−σ |
Aiσ ) |
|
N (Aiσ |
Aj,−σ |
Ajσ Ai,−σ ). |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
4 iσ |
|
|
|
|
|
2 ijσ (i≠ j) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The fourth sum in (195) contains terms with i = j from the third and fifth sums. Having derived expressions for the operators Sˆz and Sˆ2 in an appropriate form
we can construct the basis vectors for the CI method which are eigenfunctions of these operators. First we note that any vector obtained as a result of the action of N p
particle and Nh hole creation operators on the vacuum state Φ0 is an eigenvector of the operator Nˆ with an eigenvalue N p − Nh + 2nF which is equal to the total number of
particles. By fixing this number we need consider only vectors with a definite value of the difference N p − Nh . In most cases the vacuum state can be chosen in such a way
that N p |
is equal to Nh |
(the ground state of a molecule with closed shell) or differs |
from Nh |
by one (a radical). |
|
Next we choose |
the electronic configuration. Let us set up the electronic |
configuration by selecting the orbitals corresponding to N p particles and Nh holes irrespective of their spins. We shall denote it as (k1k2k3...kNh ,m1m2m3...mN p ) where ki corresponds to the hole orbitals, and mi numerate the particle orbitals. These numbers are supposed to be arranged in a non-decreasing order (naturally kNh < nF , m1 > nF ).
Furthermore, according to the Pauli principle each number cannot occur more than once.
Now for the configuration above |
(k1k2...,m1m2...) |
we |
construct all possible |
|||||||||
vectors as |
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
ˆ |
|
ˆ+ |
|
ˆ+ |
|
|
|
Φ0 |
, |
(196) |
|
|
|
|
|
||||||||
Ak σ |
Ak σ |
|
Am σ′ |
Am σ′ |
|
|||||||
1 |
1 |
2 |
2 |
1 |
1 |
2 |
2 |
|
|
|
|
|
which in the following discussion are called the primitive vectors. Each of the spin indices σ1,σ2 ,...,σ1′,σ2′,... independently assumes values +1 and –1 except those
cases when ki = ki +1 andmi = mi+1 for which necessary σi = −σi+1 =1 and σi′ = −σi′+1 =1.
115
where
–1 correspondingly.
To determine the necessary basis vectors one selects for each configuration all primitive vectors (196) with a given value of the difference (N p+ − N p− )− (Nh+ − Nh− ),
construct a matrix of the operator Sˆ2 for them, and diagonalizes it. The result of the application of the operator Sˆ2 on the primitive vector represented at first sight as a cumbersome expression (195) is obtained by the following rules.
Rule 1. The action of the first four sums in (195) on a vector (196) reduces to a multiplication of it by a constant. Its value is equal to the value of MS2 plus half the
sum of N p and Nh minus the number of orbitals occupied in pairs by particles and
holes with opposite spins. All diagonal elements of the matrix of the operator S |
will |
|
|
ˆ2 |
|
be equal to the constant found so far. |
acts on a vector (196) |
|
Rule 2. The remaining part of the expression for S |
||
ˆ2 |
|
|
converting it to a sum of the vectors orthogonal to (196). Each of them differs from the initial vector by change on opposite the spin indices of two particle-particle or hole-hole operators with different spins or the particle-hole operators with equal spins. In the later case a vector enters a sum with a minus sign. It is necessary to consider all mentioned pairs of operators used to construct an initial vector except those operators which correspond in pairs to the same orbitals.
2.7.3.5. General Approach to Calculation of the Matrix Elements
Previous treatment shows that the basis vectors are linear combinations of the primitive vectors, and the operators of the important physical values reduce to three basic types:
|
|
|
ˆ |
= N(c) , |
|
|
|
|
|
Ω0 |
|
|
|
|
|
ˆ |
|
ˆ+ |
ˆ |
|
|
|
Ω1 |
= ∑Qij,σ N (Aiσ Ajσ ), |
|||
|
|
|
ijσ |
|
|
|
ˆ |
|
1 |
|
ˆ+ ˆ+ |
ˆ |
ˆ |
Ω2 |
= |
2 ijkl∑σσ′ |
(ij |kl)N (Aiσ Ajσ′Alσ′ |
Akσ ). |
(197a)
(197b)
(197c)
116
Take two primitive vectors corresponding to the same or to different configurations
Φ1 |
ˆ |
|
ˆ |
|
ˆ+ |
|
′ |
ˆ+ |
|
|
|
|
Φ0 , |
(198a) |
||
|
|
|
|
|
|
|
||||||||||
= Ak σ |
Ak σ |
|
Am σ |
Am σ′ |
||||||||||||
|
|
1 |
1 |
|
2 |
2 |
1 |
1 |
|
2 |
2 |
|
|
|
|
|
|
Φ2 |
ˆ |
|
|
ˆ |
|
ˆ+ |
|
|
ˆ+ |
|
|
|
Φ0 . |
(198b) |
|
|
|
|
|
|
|
|
|
|||||||||
|
= Al τ |
Al τ |
|
An τ′ |
An τ′ |
|
||||||||||
|
|
|
1 1 |
2 |
2 |
1 1 |
|
2 |
2 |
|
|
|
|
|
We shall calculate for them the matrix elements of each of the operators (197). Denoting
ˆ |
|
ˆ |
|
ˆ |
|
|
|
|
ˆ+ |
|
′ |
ˆ+ |
|
|
|
|
(199a) |
R1 |
= Ak σ |
Ak σ |
2 |
Am σ |
Am σ′ , |
||||||||||||
|
|
1 |
1 |
|
2 |
|
1 |
1 |
|
2 |
2 |
|
|
|
|||
ˆ+ |
|
|
ˆ |
|
|
|
ˆ |
|
|
ˆ+ |
|
ˆ+ |
|
, |
(199b) |
||
R1 |
= Am σ′ |
Am σ′ Ak σ |
Ak σ |
||||||||||||||
|
|
|
|
2 |
2 |
|
|
1 |
1 |
|
|
2 |
2 |
1 |
1 |
|
|
ˆ |
|
= Al τ Al τ |
|
|
+ |
|
|
+ |
|
, |
|
(199c) |
|||||
R2 |
2 |
An τ′ |
An τ′ |
|
|||||||||||||
|
|
|
1 1 |
2 |
|
|
1 1 |
|
2 |
2 |
|
|
|
|
the matrix element of an operator Ωˆ , any of the operators (197), may be considered as the vacuum average
Φ1 |
|
ˆ |
|
Φ2 |
= Φ0 |
|
ˆ+ ˆ ˆ |
|
Φ0 . |
(200) |
|
|
|
|
|||||||
|
Ω |
|
|
R1 ΩR2 |
|
|||||
To calculate (200), the product |
R1 ΩR2 |
|
must be reduced applying the Wick’s |
|||||||
|
|
|
|
|
ˆ + ˆ ˆ |
|
|
|
|
|
theorems to the sum of the N-products. As a result of the averaging according to (180) only those terms remain which are c-numbers, i.e. those terms in which all operators in Rˆ1+Ωˆ Rˆ2 enter the convolutions.
The advantage of the presentations of the physical value operators as a sum of N-products is now evident. Since Rˆ1+ is a product of the particle and hole annihilation operators only, and Rˆ2 – of the creation operators only, then Rˆ1+ = N (Rˆ1+ ) , Rˆ2 = N (Rˆ2 ) and according to the second Wick’s theorem one must consider only the convolutions between the operators Rˆ1+ , Ωˆ , and Rˆ2 .
After this preliminary remark we continue the determination of the value of the matrix elements. First we find the maximum number of convolutions which can be constructed between the operators from Rˆ1+ and Rˆ2 . This number is equal to the
number of particles and hole operators in Rˆ1 which are repeated in Rˆ2 . The operators in Rˆ1 as well as in Rˆ2 may be transposed in an arbitrary way multiplying the value of the matrix element by (−1)p1 , where p1 is the total number of transpositions. For this reason it is convenient to order the operators in Rˆ1 and Rˆ2 first, transposing them in such a way that the repeating operators are placed in Rˆ1 and Rˆ2 in the same order to the right of the non-repeating operators. We shall assume in the following that this ordering is performed. The total number of non-repeating operators in Rˆ1 and Rˆ2 will
117
be denoted q . Because each of these q operators may be convoluted with one of the
operators from Ω one can state a priori that the matrix element |
Φ0 R1 ΩR2 Φ0 will |
||||||||
|
|
ˆ |
|
|
|
|
|
ˆ + ˆ ˆ |
|
not be equal to zero only for q = 0 if Ω = Ω0 , for q = 0,2 if |
Ω = Ω1 , and for q = 0,2,4 if |
||||||||
|
|
|
ˆ |
ˆ |
ˆ |
ˆ |
|
|
|
ˆ |
ˆ |
. We shall consider each of these cases separately. In cases when the total |
|||||||
Ω = Ω2 |
|||||||||
|
|
ˆ |
ˆ |
is less than 2 for |
ˆ |
ˆ |
or less than 4 for |
||
number of the operators in R1 |
and R2 |
Ω = Ω1 |
|||||||
ˆ |
ˆ |
the value of the corresponding matrix elements is obviously equal to zero. |
|||||||
Ω = Ω2 |
Case 1: Ωˆ = Ωˆ 0 , q = 0 . The convolution which gives a non-zero result can be done in a single way convoluting in pairs the repeating operators. When Rˆ1 and Rˆ2
are correctly ordered there is always an even number of other operators between the convoluting operators. Thus, the number of transpositions required by the first Wick theorem is also even and each convolution according to (184) is equal to unity. Finally the value of the matrix element will be equal to
|
|
|
|
|
|
Φ1 |
|
ˆ |
|
Φ2 |
= (−1) |
p1 |
c . |
|
|
|
(201) |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
Ω0 |
|
|
|
|
|
||||||
ˆ |
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Case 2: Ω = Ω1 , q = 0 . In this case the vacuum average is equal to the sum of the |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
with two |
terms each of which is the result of a convolution of two operators from Ω1 |
||||||||||||||||||
equal operators from |
ˆ |
|
ˆ |
|
|
|
|
ˆ |
and |
ˆ |
, if there |
|||||||
R1 and |
R2 . The other operators repeating in |
R1 |
R2 |
|||||||||||||||
are any, convolute between them in pairs. |
|
|
|
|
|
|
|
|||||||||||
The final result is |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Φ1 |
|
ˆ |
|
Φ2 = (−1) |
p1 |
∑Qii,σ |
(1−2ni ), |
|
|
|
(202) |
|||||
|
|
|
|
|
|
|
||||||||||||
|
|
|
Ω1 |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
iσ |
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where a pair of indices i,σ covers the interval met in R1 . |
|
|
|
|
||||||||||||||
ˆ |
ˆ |
q = 2 . The single term in the expansion of |
ˆ + ˆ |
ˆ |
over the |
|||||||||||||
Case 3: Ω = Ω1 , |
R1 ΩR2 |
N-products the vacuum average of which may be different from zero is obtained in the following way. All operators from Rˆ1 repeating in Rˆ2 convolute with the
corresponding operators from |
|
R1 . Two non-repeating operators convolute with the |
||||||||||
|
|
|
|
ˆ + |
|
|
|
|
|
|
|
|
operators from Ω1 . The results is |
|
|
|
|
|
|
|
|
||||
ˆ |
|
|
|
|
|
|
|
|
|
|
||
Φ1 |
|
ˆ |
|
Φ2 = (−1) |
p1 |
+p2 |
δσ σ |
Qi i |
,σ |
, |
(203) |
|
|
|
|||||||||||
|
Ω1 |
|
|
|
||||||||
|
|
|
|
|
|
|
1 |
2 |
1 2 |
|
1 |
R2 the |
|
|
|
|
|
|
|
|
|||||
where p2 is the number of transpositions necessary to place in the product R1 |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
ˆ |
ˆ + |
non-repeating operator with a cross at the left of the non-repeating operator without a cross ( p2 is equal to 1 or 0), and a pair of indices i1,σ1 runs over the indices of the
118
non-repeating operator with a cross, and a pair i2 ,σ2 – without a cross in the product
Rˆ1 Rˆ2+ .
Case 4: Ωˆ = Ωˆ 2 , q = 0 . For each pair of operators from Rˆ2 in the matrix element expression for this case there are possible four terms identical in pairs obtained by
convoluting these operators and the corresponding pair of operators from |
ˆ + |
with |
|||||||||
R1 |
|||||||||||
|
|
|
ˆ |
|
|
|
|
|
|
|
|
four operators from Ω2 |
|
|
|
|
|
|
|
|
|||
|
ˆ |
|
|
p1 |
|
|
|
(1− |
2ni )(1−2nj ), |
|
(204) |
|
|
|
|
||||||||
Φ1 |
Ω2 |
|
Φ2 = (−1) |
|
∑ |
(ij |
|ij)−δσσ′ (ij | ji) |
|
|||
|
|
|
|
|
ijσσ′ |
|
|
|
|
|
|
where a pair of indices i,σ runs in the interval met in the operators from Rˆ1 and a pair j,σ′ covers all values of indices of the operators from Rˆ1 placed to the right of the operator with indices i,σ .
Case 5: Ωˆ = Ωˆ 2 , q = 2 . In the expansion of each of the repeating operators in Rˆ2 four terms identical in pairs may not be equal to zero. They are obtained by the
convoluting with the operators from Ω2 of two non-repeating operators, and one of |
||||||||
the operators in |
R2 |
repeating in R1 |
ˆ |
|
R1 . The |
|||
, and the corresponding operator from |
||||||||
|
|
ˆ |
|
|
ˆ |
|
|
ˆ + |
final result is |
|
|
|
|
|
|
|
|
|
ˆ |
|
= (−1) |
p1+p2 |
|
|
|
(205) |
|
|
|
||||||
Φ1 |
Ω2 |
Φ2 |
|
δσ1σ |
2 ∑(1−2ni ) (ii1 |ii2 )−δσσ1 |
(ii1 |i2i) , |
||
|
|
|
|
|
|
iσ |
|
|
where a pair of indices i,σ |
covers all values met in the repeating operators, and a |
|||||||
value of p2 and indices i1,i2 ,σ1,σ2 are defined as in case 3. |
|
|
Case 6: Ωˆ = Ωˆ 2 , q = 4 . In this last case there may not be equal to zero the four in pairs identical terms obtained by convoluting four non-repeating operators from with four operators from Ωˆ 2 . The result can be obtained in the following way. Let us write all non-repeating operators in the same order as they are placed in the product
and order them in such a way that the cross operators stand to the left of the non-cross operators. Let p3 be the number of transpositions made in order to obtain standard order
Aˆi+1σ1 Aˆi+2σ2 Aˆi3σ3 Aˆi4σ4 .
Then the value of the matrix element is
Φ1 |
|
ˆ |
|
Φ2 |
= (−1) |
p1 |
+p2 |
|
|
δσ σ |
|
(i1i2 |
|i4i3 )−δσ σ δσ σ |
|
(i1i2 |i3i4 ) |
|
. |
(206) |
||
|
|
|
|
|
|
|||||||||||||||
|
Ω2 |
|
|
δσ σ |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
1 |
4 |
2 |
3 |
|
1 |
3 |
2 |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
119