Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

МИФИ_Вычметоды КФ

.pdf
Скачиваний:
0
Добавлен:
13.02.2026
Размер:
9.98 Mб
Скачать

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Nξ

+ 1 Nη

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Hξηdiag

=

 

 

 

 

 

 

 

e2πimk /Na ϕξ (0)

Hdiag

ϕη (k)

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Nη + 1 k=0

 

 

 

 

 

 

 

 

 

(8.57)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Nξ + 1 Nη

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

e2πimk /NaHξdiag0 δξηδk0 = Hξdiag0 δξη.

 

 

 

 

 

 

 

 

 

Nη +

 

 

 

 

1 k=0

 

 

 

 

 

 

 

 

 

 

Матричные элементы

 

 

Hdiag

= ϕ

(0)

 

Hdiag

 

 

ϕ

(0)

в

(8.57) – это

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ0

ξ

 

 

 

 

 

ξ

 

 

 

обычные матричные элементы в узельном базисе, метод расчета которых уже известен. Важно, что в этом случае исчезают комплексные множители и нормировочные коэффициенты.

Следует отметить, что расчет матричных элементов от недиагональной части гамильтониана в базисе ϕ дает в общем

случае ненулевые матричные элементы внутри всего блока, в том числе и на главной диагонали:

 

Nξ

 

 

 

Hnondiagξξ

= e2πimk /Na ϕξ (0)

 

Hnondiag

ϕ

ξ (k) ≠ 0 .

(8.58)

 

 

k=0

 

 

 

 

 

Докажем, что гамильтонова матрица в новом базисе также будет эрмитовой. Проще всего это получить из исходного выражения (8.54), применив операцию комплексного сопряжения:

Nη Nξ

e−2πi(n−k)m /Na ( ϕη (k)

 

H

 

ϕξ (n) )*

 

 

 

 

H*ηξ = ∑∑

 

 

 

 

 

 

 

 

 

 

 

 

 

,

(8.59)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=0 n=0

 

 

 

(Nξ + 1)(Nη + 1)

 

а с учетом того, что исходная матрица была эрмитова, т.е.

 

( ϕη (k)

 

H

 

ϕξ (n) )* = ϕξ (n)

 

H

 

ϕη (k) ,

(8.60)

 

 

 

 

получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H*ηξ = Hξη .

(8.61)

Итак, теперь гамильтонова матрица имеет блочно-диагональную структуру в соответствии с секторами импульса, каждый из блоков, отвечающий конкретному значению импульса m, имеет линейный размер приблизительно в Na раз меньше размера исходной

матрицы, и, в общем случае, состоит из комплексных элементов.

211

Пример 8.4. Рассмотрим модель Бозе – Хаббарда с параметрами t = 1, U = 2 для системы из примера 1 (Na = 4, N = 2 ):

4

+

ai+1

+

U

4

kin

U

H = −t(ai

+ ai+1ai) +

2

ni(ni − 1)

= H

+ H .

i=1

 

 

 

i=1

 

 

 

 

 

 

 

 

Гамильтонова матрица этой системы в узельном базисе (см. пример 1) имеет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

0

0

0

0

− 2

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

− 2

 

0

− 2 − 1

0

0

0

− 1

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

2

 

2

0

− 2

0

0

0

0

0

 

 

 

 

0

 

− 1

0

0

− 1

0

− 1 0

− 1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

− 2 − 1

 

0

− 2

0

− 1

0

0

 

H =

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

0

0

− 2

2

0

0

− 2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

− 2

 

0

0

− 1

0

0

0

− 1

0

− 2

 

0

 

− 1

0

0

− 1

0

− 1 0

− 1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

0

− 1

0

− 2

 

0

− 1

0

− 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

0

0

0

0

− 2

0

− 2

2

 

 

 

 

Разобьем теперь матрицу на блоки, соответствующие различным импульсам, для этого поставим в соответствие нумерацию исходного узельного базиса и нового:

Узельная функция

Класс ξ

Трансляция n

Nξ + 1

Φ10

=

 

 

 

 

 

 

 

 

 

 

 

2000

1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Φ6

=

 

 

 

 

 

 

0200

1

1

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Φ3

=

 

 

 

0020

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Φ1 =

 

 

 

0002

1

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Φ9

=

 

 

 

 

 

 

1100

2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Φ5

=

 

 

 

0110

2

1

4

 

 

 

 

 

 

 

 

 

 

Φ2

=

 

 

 

 

 

0011

2

2

 

 

 

 

 

 

 

 

 

 

 

Φ7

=

 

 

 

 

 

1001

2

3

 

 

 

 

 

 

 

 

 

 

 

 

 

Φ8

=

 

 

 

 

 

1010

3

0

2

 

 

Φ4

=

 

 

 

 

 

0101

3

1

 

Сектор нулевого импульса m = 0 (см. пример 8.2) отвечает блоку размером 3× 3 . Вклад от диагональных матричных элементов гамильтониана будет следующим:

212

H11diag = ϕ1(0) HU ϕ1(0) = Φ10 HU Φ10 = 2;

H22diag = ϕ2(0) HU ϕ2(0) = Φ9 HU Φ9 = 0;

Hdiag33 = ϕ3(0) HU ϕ3(0) = Φ8 HU Φ8 = 0.

Теперь рассчитаем вклад от недиагональных матричных элементов:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H11kin = ϕ1(0)

 

Hkin

 

ϕ1(k)

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= Φ

 

Hkin

 

Φ

+ Φ

 

 

 

 

Hkin

 

Φ

6

+ Φ

 

 

Hkin

 

Φ

3

+ Φ

 

Hkin

 

Φ

= 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

10

10

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N + 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H12kin =

 

 

1

 

 

 

ϕ1(0)

Hkin

 

ϕ2(k)

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N + 1 k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Hkin

 

 

 

 

 

 

Hkin

 

 

 

 

 

 

 

 

 

 

Hkin

 

 

 

 

 

 

 

 

Hkin

 

 

 

 

 

 

 

 

 

 

= Φ

 

Φ

9

+ Φ

 

Φ

5

 

+ Φ

 

 

 

 

Φ

2

 

+ Φ

 

 

Φ

7

= −2 2;

 

 

 

10

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N + 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H13kin

=

 

 

1

 

 

 

 

ϕ1(0)

Hkin

 

ϕ3(k)

 

=

 

2( Φ10

 

Hkin

 

Φ8

+ Φ10

 

Hkin

 

Φ4 ) = 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N + 1 k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N + 1 N3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H23kin =

 

 

2

 

 

 

ϕ2(0)

Hkin

ϕ3(k)

 

 

=

 

2( Φ9

 

Hkin

 

Φ8 + Φ9

Hkin

 

Φ4

) = −2 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N

+ 1 k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итоговая матрица действительна и имеет следующий вид:

 

2

 

− 2

2

0

 

 

 

 

 

 

m = 0 :

− 2 2

0

 

− 2 2

.

 

 

 

 

 

 

 

 

0

 

− 2

2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

Проводим аналогичную процедуру для сектора m = 1 , ему будет отвечать блок размера 2× 2 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

HU

= 2;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

HU

= 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

22

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H11kin

= e2πimk /Na

ϕ1(0)

Hkin

 

ϕ1(k) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= Φ

 

Hkin

 

Φ

 

+ eiπ / 2

Φ

 

 

 

 

Hkin

 

Φ

6

 

+ e

Φ

 

Hkin

 

Φ

3

 

+ e3iπ / 2

Φ

 

Hkin

 

Φ

 

= 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

10

 

 

10

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

10

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N + 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H12kin =

 

 

 

1

 

 

eiπk / 2

ϕ1(0)

Hkin

ϕ2(k) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N2 + 1 k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= Φ

 

 

Hkin

Φ

9

+ eiπ / 2

Φ

Hkin

Φ

5

+ e

Φ

 

Hkin

Φ

2

+ e3iπ / 2

Φ

 

Hkin

Φ

7

=

10

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

= −2(1 + e3iπ / 2) = 2(i − 1).

Оставшиеся элементы получаются эрмитовым сопряжением полученных, итоговая матрица имеет вид

 

 

 

2

m = 1:

 

 

 

 

 

 

2(1 + i)

 

 

 

 

 

 

213

2(1 − i) .

0

Аналогично получаем матрицы для остальных импульсов:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2(1 − i)

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m = 2 :

2(1 + i)

 

0

 

 

2(1 + i)

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

2(1 − i)

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m = 3:

 

 

 

 

 

− 2(1 + i) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2(1 − i)

0

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, задача настолько упростилась, что в данном случае возможна даже аналитическая диагонализация матрицы.

Разбиение гамильтоновой матрицы по трансляциям позволяет получить дополнительную информацию о системе. Действительно, каждый блок в такой матрице отвечает определенному значению суммарного импульса системы, и после диагонализации матрицы полученные значения энергии в каждом блоке также будут отвечать определенному значению суммарного импульса, и, анализируя спектр, можно получить дисперсию системы E(k). Этот метод называется численным спектральным анализом. При расчете же обычным способом все энергетические уровни оказываются перепутанными по импульсам, и выяснить зависимость E(k) нет возможности.

Рассмотрим конкретный пример: модель Бозе – Хаббарда для системы из Na = 4 узлов и N = 3 частиц с параметрами t = 1, U = 2 :

4

 

4

 

H = −t(ai+ai+1

+ ai++1ai) +

U ni(ni − 1) .

(8.62)

i=1

 

2 i=1

 

После диагонализации матрицы в узельном базисе находим спектр системы:

E1 = −4.84135;

 

E2,3 = −2.10379;

 

E4

= −0.88573;

 

E5

= 0.00000;

(8.63)

E6

= 0.40943;

 

E7,8 = 0.80397;

 

...

 

 

 

214

 

Энергетические уровни отсортированы по возрастанию, но не по импульсам.

Применим процедуру разделения гамильтоновой матрицы на блоки, соответствующие определенным значениям импульса системы. С

учетом (8.50) и (8.56) получаем четыре блока

размером 5 × 5 ,

соответствующие импульсам

 

 

 

k

m

= m =

1

πm; m = 0; 1; 2; 3 .

(8.64)

 

Na

2

 

 

После диагонализации каждого из блоков находим зависимость E(k) (табл. 8.1).

Таблица 8.1. Зависимость энергии системы от импульса

m = 0; k = 0

m = 1; k = π / 2

m = 2; k = π

m = 3; k = 3π / 2

 

 

 

 

– 4.84135

– 2.10379

– 0.88573

– 2.10379

0.40943

0.80397

0.00000

0.80397

Если сопоставить спектр в табл. 8.1 с (8.63), то видно, что все уровни энергии отсортированы по импульсам. Полный нулевой импульс системы соответствует основному состоянию E1 и

состоянию E6 (см. (8.63)). Первое возбужденное состояние

отвечает минимальному полному импульсу (m = 1 ). Физически это состояние соответствует квазичастице – элементарному возбуждению бозе-системы, эту квазичастицу называют фононом, так как все свойства этой квазичастицы соответствуют звуковому возбуждению системы, отвечающему колебаниям плотности. Дальнейший анализ спектра приведет к адекватной картине одночастичных и многочастичных возбуждений над основным состоянием [33].

Эволюция спектра с увеличением параметра взаимодействия U в модели Бозе – Хаббарда с параметрами Na = 11, N = 7 из [33] показана на рис. 8.3. Здесь уровни 1a

и 1b – суперпозиция однофононных состояний с импульсом ±k0, k0 = 2π /Na ; уровни 2a и 2b – суперпозиция двухфононных состояний {k0 ,k0} и {−k0 ,− k0} . Уровень 3 – двухфононное состояние {k0 ,− k0} ; уровни 4a и 4b – суперпозиция так называемых

215

сверхтоковых состояний, когда система из семи частиц движется как единое целое. Все энергии отсчитаны от основного состояния.

Рис. 8.3. Эволюция спектра с увеличением параметра взаимодействия U в модели Бозе – Хаббарда из [33]. Число узлов и частиц Na = 11, N = 7 соответственно

Метод трансляционной инвариантности допускает ввод в расчет калибровочно-инвариантной фазы, т.е. позволяет учитывать внешние поля или токовые состояния в системе.

Для учета фазы следует в показателе экспоненты матричных элементов (8.56) сделать замену (см. разд. 6.6):

 

mn

 

(mn ± Φ / Φ

)

 

(8.65)

2πi

Na

→ 2πi

Na

0

 

,

при этом знак в (8.65) определяется направлением перемещения частицы: положительный при перемещении частицы вдоль оси (для

одномерного случая это операторы вида a+

a

i

в гамильтониане) и

i+1

 

 

отрицательный при перемещении против оси (соответственно, операторы вида ai+ ai+1 ).

216

Эрмитовость гамильтоновой матрицы при преобразовании (8.65) не нарушается.

Задача 8.2. Получить матрицу гамильтониана (8.62) в представлении чисел заполнения, найти ее спектр и сравнить нижние уровни с (8.63). Представить матрицу H в блочно-диагональном виде в базисе, собственном для оператора трансляции, диагонализовать по отдельности полученные блоки. Сравнить спектр E(k) с (8.63).

Вся рассмотренная процедура разбиения гамильтоновой матрицы по трансляциям непосредственно обобщается на двумерную и трехмерную ситуации. Для этого следует провести разделение на классы по трансляциям отдельно для каждой проекции x,y,z , а

затем объединить классы в единую систему. Тогда при размере системы LX × LY × LZ можно добиться разделения матрицы на блоки,

отвечающие импульсам kmX ,mY ,mZ , каждый из блоков будет иметь линейный размер порядка R′ ~ R /LXLYLZ , где R – размерность

базиса системы. Матричные элементы внутри любого блока, соответствующего сектору импульсов (mx ,my ,mz ) , будут иметь вид

NηX NηY NηZ

NξX

+ 1

 

NξY

+ 1

 

NξZ + 1

 

 

HXξYξZ ),(ηXηYηZ ) = ∑ ∑ ∑

 

 

 

 

 

 

 

 

 

×

 

 

 

 

 

 

 

 

 

NηX

+ 1

 

NηY

+ 1

 

NηZ + 1

kX =0 kY =0 kZ =0

 

 

(8.66)

× e2πi(mXkX /LX +mYkY /LY +mZkZ /LZ ) ϕξXξYξZ (0) H ϕηXηYηZ (kX ,kY ,kZ ).

В завершение раздела отметим, что в результате разложения гамильтоновой матрицы по трансляциям получаются, в общем случае, комплексные эрмитовы матрицы.

При помощи простого способа можно свести спектральную задачу для эрмитовой комплексной матрицы к задаче для действительной симметричной матрицы.

Действительно, пусть есть гамильтонова матрица размера R × R , и спектральная задача в матричном виде выглядит следующим образом:

217

Hnm = Re(Hnm ) + i Im(Hnm );

 

Re(Hnm) = Re(Hmn ), Im(Hnm ) = − Im(Hmn );

(8.67)

HnmΨm = EΨm , Ψ = Re(Ψ) + i Im(Ψ).

 

Можно показать, что задача (8.67) эквивалентна следующей задаче:

 

 

 

 

 

 

 

 

 

AnmΦm = EΦm;

 

 

 

 

 

 

 

 

 

 

 

Re(H)

 

 

− Im(H)

Re(Ψ)

(8.68)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Anm =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; Φ =

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Im(H)

 

 

 

 

 

 

Re(H)

Im(Ψ)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесь матрица A составлена из блоков, состоящих из действительной и мнимой частей гамильтоновой матрицы, а векторы Φ составлены из действительной и мнимой частей исходных волновых функций Ψ .

В справедливости (8.68) можно убедиться непосредственным перемножением матриц.

Задача свелась, таким образом, к спектральной задаче для действительной симметричной матрицы, линейный размер которой вдвое больше размера исходной матрицы. Следует иметь в виду, что после диагонализации этой матрицы будет получено два одинаковых набора значений E1 ,E2 ,...,ER , каждый из которых

будет являться спектром для задачи (8.68):

E

0

 

...

0

 

 

 

0

 

...

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

E2

...

0

 

 

 

0

 

...

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

...

...

0

 

 

 

...

 

 

...

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(8.69)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E =

0

 

0

 

...

 

 

ER

 

 

0

 

...

0

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

...

0

 

 

 

E1

...

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

... ... ... ...

 

 

...

...

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

...

0

 

 

 

0

 

...

 

 

ER

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

218

8.2.Точная диагонализация больших матриц

При моделировании конкретных физических систем возникает проблема, заключающаяся в том, что приходится работать с

матрицами, имеющими линейные размеры порядка 106 и более. Действительно, если рассмотреть, например, систему из 12 узлов и 12 частиц с бозе-статистикой, то размерность узельного базиса

такой системы будет R = 1223! 11! ! = 1352078 (см. (6.2)). Даже учет

пространственной симметрии не позволит существенно уменьшить размерность базиса.

Как правило, при решении квантовых многочастичных задач редко приходится вычислять все собственные пары (т.е. пары вида (λ,x) , где λ – собственное значение матрицы, а x –

соответствующий ему собственный вектор) гамильтоновой матрицы. Обычные постановки задач формулируются следующим образом:

1)вычислить некоторые собственные значения, принадлежащие некоторому интервалу, или крайние собственные значения (например, низ спектра);

2)найти некоторые собственные пары;

3)определить все собственные значения или большое их количество, не вычисляя собственные векторы.

Для матриц больших размеров существует несколько наиболее употребительных итерационных методов расчета собственных функций и собственных чисел. Одним из самых мощных методов диагонализации симметричных матриц является алгоритм Ланцоша, именно он, как правило, используется в современных математических пакетах. Алгоритм Ланцоша применяется для диагонализации разреженных матриц, у которых число ненулевых элементов много меньше общего числа элементов. Гамильтоновы матрицы, получаемые в моделях сильной связи, являются именно разреженными, так как число ненулевых элементов в каждой строке такой матрицы порядка числа возможных перескоков в системе, т.е. ~ 2NZ , где N – число частиц, Z – число ближайших соседей.

219

В процессе работы алгоритма Ланцоша гамильтонова матрица, записанная в памяти компьютера в компактной форме (хранятся только ненулевые элементы матрицы), не преобразуется, а вычисляются только произведения гамильтоновой матрицы на различные векторы. Это обстоятельство является весьма существенным, так как в общем случае унитарное преобразование разреженной матрицы превращает ее в плотную матрицу, для хранения которой ресурсов компьютера недостаточно.

Изложение основных моментов алгоритма Ланцоша, приводимое ниже, следует монографии [34]. Обсуждение технических вопросов, связанных с конкретной реализацией алгоритма Ланцоша, а также с методами компактного хранения и работы с разреженными матрицами, выходит за рамки данной книги.

8.2.1. Пространства и инвариантные подпространства. Процедура Рэлея – Ритца

Перед описанием алгоритма Ланцоша необходимо привести некоторые сведения из линейной алгебры.

Множество всех векторов-столбцов размера n называется n-мерным пространством, пространство таких векторов с вещественными

компонентами обозначается Rn . Если в пространстве Rn введено понятие скалярного произведения, то оно называется

евклидовым пространством Εn . Скалярное произведение двух вещественных векторов определяется следующим образом:

n

 

(x,y) = yT x = yixi .

(8.70)

i=1

 

Множество S = {s1,s2 ,...} векторов размера

n определяет

подпространство Σ пространства Εn , являющееся множеством всех векторов, представимых в виде линейной комбинации s1 ,s2 ,.... Подпространство Σ называется линейной оболочкой,

220