МИФИ_Вычметоды КФ
.pdfДля простой кубической решетки с периодом a имеем:
r |
2π r |
r |
|
|
2π r |
|
r |
|
|
2π r |
|
|
(8.16) |
|||
b = |
; b |
|
= |
|
; b |
|
= |
|
. |
|||||||
a |
e |
|
a |
e |
|
|
a |
e |
|
|||||||
1 |
1 |
|
2 |
|
|
2 |
|
3 |
|
|
3 |
|
|
|||
Векторы bi называются базисными векторами обратной
решетки. Они выбраны так, что ортогональны базисным векторам прямой решетки:
r |
|
biaj = 2πδij . |
(8.17) |
Любой вектор k обратной решетки может быть разложен по базису векторов bi :
k = x1b1 + x2b2 + x3b3 . |
(8.18) |
Заметим, что векторы обратной решетки естественным образом появляются при рассмотрении квантовой задачи с периодическим потенциалом. Понятие обратного пространства уже вводилось при изучении дискретного преобразования Фурье в гл. 2.
Таким образом, собственные функции гамильтониана (8.5) могут быть выбраны так, чтобы они удовлетворяли условию:
r r |
|
T Ψ = Ψ(r + R) = c(R)Ψ = eikR Ψ(r) , |
(8.19) |
R |
|
при этом, как будет показано далее, вектор k связан с оператором импульса.
Оператор трансляций может быть записан в виде
r r |
|
T = eikR , |
(8.20) |
R |
|
ˆr
где k – некоторый оператор, собственное число которого равно k .
Оператор трансляции унитарен: |
|
TT+ ≡ TT−1 = 1 T+ = T−1 , |
(8.21) |
и, следовательно, его действие на гамильтониан можно представить как унитарное преобразование
+ |
r r |
|
|
= H(r + R) , |
(8.22) |
||
TRH(r)TR |
так как
201
HΨ = EΨ TRHTR+ TR Ψ = ETR Ψ
TRHTR+ Ψ′ = EΨ′; Ψ′ = TR Ψ, где Ψ′ – блоховская волновая функция:
r |
r r |
r |
Ψ′ = Ψ(r |
+ R) = eikRΨ(r) . |
|
(8.23)
(8.24)
Для выяснения физического смысла собственного числа k рассмотрим малую трансляцию δa , например, на минимальный шаг трансляции:
|
|
r |
|
r |
|
r |
|
|
TδarHTδ+ar = H(r |
+ δa) ≈ H(r) + Hδa . |
(8.25) |
||||
С другой стороны, |
r |
|
|
|
r |
r |
|
r |
|
+r |
≈ (1 |
|
|||
H(r + δa) = RT rHT |
+ ikδa)H(1 |
− kδa) = |
(8.26) |
||||
|
r |
|
r |
r |
r |
r |
|
|
|
δa δa |
|
|
|
|
|
= H(r) + i(kH − Hk)δa = H(r) + i[k,H]δa. |
|
||||||
Отсюда |
|
|
|
|
|
|
|
|
|
H(r) = i[k,H] . |
|
(8.27) |
|||
Равенство (8.27) |
позволяет |
|
определить |
физический |
смысл |
||
оператора k . Действительно, оператор импульса по отношению к любой функции координаты f, определенной на дискретной решетке, удовлетворяет следующему соотношению [1, 26]:
[p,f] = pf − fp = |
h |
f . |
(8.28) |
|||
i |
||||||
|
|
|
|
|
||
Из (8.27) получаем, что |
|
|
|
|
|
|
r |
p |
, |
|
|
(8.29) |
|
k = |
h |
|
|
|||
|
|
|
|
|
||
и является интегралом движения, так как из (8.7) и (8.20) следует, что
[k,H] = 0 , |
(8.30) |
так что одновременно со спектром при решении задачи Шредингера в периодическом потенциале можно определить и разрешенные волновые векторы.
202
r r
Задача 8.1. Доказать, что если [eikR ,H] = 0 для произвольного вектора трансляции
r
R , то и [k,H] = 0 , и наоборот.
Итак, собственную волновую функцию гамильтониана в условиях периодического потенциала можно представить как произведение экспоненциального множителя на периодическую функцию:
rr |
|
Ψ(r) = expikr ϕ(r); ϕ(r + R) = ϕ(r). |
(8.31) |
Полученное соотношение (8.31) называется теоремой Блоха [4,
31], а вектор k – блоховским волновым вектором. Докажем, что он действителен.
Наложим на волновую функцию периодические граничные условия:
Ψ(r + Lxax ) ≡ Ψ(r); |
|
||
r |
r |
r |
|
Ψ(r |
+ Lyay ) ≡ Ψ(r); |
(8.32) |
|
r |
r |
r |
|
Ψ(r |
+ Lzaz ) ≡ Ψ(r). |
|
|
Эти граничные условия называются условиями Борна – Кармана [4, 32]. Согласно теореме Блоха, получаем:
r |
r |
rr |
r |
Ψ(r |
+ Lα aα ) = eiLαkaα Ψ(r); α = x,y,z . |
||
Из условия ортогональности базисных векторов получаем:
e2πiLα xα = 1 x |
α |
= mα , |
|
L |
|
|
|
α |
(8.33)
(8.34)
где m – целое. Следовательно, разрешенные значения блоховского волнового вектора действительны и равны
r |
|
m |
x |
|
r |
|
|
my |
r |
m |
|
|
r |
|
|
(8.35) |
|||
k |
= |
|
|
|
bx + |
|
|
|
by + |
|
z |
bz . |
|
||||||
Lx |
|
|
Ly |
Lz |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Для простой кубической решетки находим: |
|
|
|
|
|
||||||||||||||
r |
2π m |
x |
r |
|
|
my r |
m |
|
r |
|
|
||||||||
k = |
|
|
|
|
|
ex |
|
|
|
|
ey + L |
|
z |
|
|
(8.36) |
|||
a |
|
L |
x |
+ L |
|
z |
ez . |
|
|||||||||||
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|||||
Таким образом, доказано, что решение задачи Шредингера (8.5), которое удовлетворяет трансляционной инвариантности, следует искать в виде блоховской волновой функции (8.31), при этом
203
вектор k действителен и является одним из разрешенных векторов обратной решетки. Это же относится и к исходному базису для построения гамильтоновой матрицы.
Рассмотрим подробнее вопрос разбиения исходной гамильтоновой матрицы на блоки, соответствующие трансляциям, на конкретном примере одномерной цепочки, описываемой моделью Бозе – Хаббарда, с числом узлов Na = 4 и числом частиц N = 3 . Узельный
базис этой системы состоит из 20 функций:
Φ1 = 0003
; Φ2 = 0012
; Φ3 = 0021
; Φ4 = 0030
;
Φ5 = 0102
; Φ6 = 0111
; Φ7 = 0120
; Φ8 = 0201
;
Φ9 = 0210
; Φ10 = 0300
; Φ11 = 1002
; Φ12 = 1011
; (8.37)
Φ13 = 1020
; Φ14 = 1101
; Φ15 = 1110
; Φ16 = 1200
; Φ17 = 2001
; Φ18 = 2010
; Φ19 = 2100
; Φ20 = 3000
.
Рассортируем все функции базиса (8.37) на классы с индексом ξ
так, что |
узельные функции |
ϕξ (n) в |
каждом |
|
|
классе |
будут |
|||||||
порождаться производящей |
функцией |
ϕξ (0) |
|
|
посредством |
|||||||||
последовательных трансляций: |
|
|
|
|
|
|
|
|
||||||
|
|
|
Tϕξ (n) = ϕξ (n + 1); 0 ≤ n ≤ Nξ ; |
|
|
|
|
|||||||
|
|
|
|
|
|
Tϕξ (Nξ ) = ϕξ (0). |
|
|
|
|
(8.38) |
|||
|
|
|
|
|
|
|
|
|
|
|
||||
При этом число Nξ + 1 |
– максимальное число функций класса ξ . |
|||||||||||||
Например, функции |
|
|
|
|
|
|
|
|
|
|
|
|||
Φ1 |
= |
|
0003 , Φ4 |
= |
|
0030 |
, Φ10 = |
|
0300 , Φ20 |
= |
|
3000 |
(8.39) |
|
|
|
|
|
|||||||||||
получаются друг из друга последовательными трансляциями вдоль цепочки.
Выберем в качестве производящей функции класса ξ = 1 функцию
ϕ1(0) = |
3000 , |
(8.40) |
тогда
204
|
|
|
|
|
|
|
|
Tϕ1(0) = ϕ1(1) = |
|
|
0300 ; |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
T2ϕ (0) = Tϕ (1) = ϕ (2) = |
|
0030 ; |
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
1 |
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
T3ϕ1(0) = T2ϕ1(1) = Tϕ1(2) = ϕ1(3) = |
|
0003 ; |
(8.41) |
||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N1 |
= 3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для остальных классов имеем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
ϕ2 (0) = |
|
|
|
|
1200 ; ϕ2 (1) = |
|
|
0120 ; ϕ2 (2) = |
|
|
|
0012 ; ϕ2 (3) = |
|
2001 ; |
|
||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||
ϕ3(0) = |
|
|
|
2100 ; ϕ3(1) = |
|
0210 |
; ϕ3(2) = |
|
|
0021 ; ϕ3(3) = |
|
|
|
1002 ; |
(8.42) |
||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
ϕ4 (0) = |
|
2010 ; ϕ4 (1) = |
|
0201 |
; ϕ4 (2) = |
|
|
1020 ; ϕ4 (3) = |
|
0102 ; |
|||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||
ϕ5 (0) = |
|
1011 ; ϕ5 (1) = |
|
1101 |
; ϕ5 (2) = |
|
1110 ; ϕ5 (3) = |
|
0111 ; |
|
|||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||
N2 = 3; N3 = 3; N4 = 3; N5 = 3.
Получилось пять классов по четыре функции.
Пример 8.1. В каждом из классов необязательно находится одинаковое число функций. Для случая Na = 4 и N = 2 имеем:
Φ1 = |
0002 |
; Φ2 |
= |
|
0011 ; Φ3 = |
0020 ; Φ4 |
= |
|
0101 ; Φ5 = |
0110 ; |
||||
Φ6 = |
|
0200 |
; Φ7 |
= |
|
1001 ; Φ8 = |
|
1010 ; Φ9 |
= |
|
1100 ; Φ10 = |
|
2000 , |
|
|
|
|
|
|
||||||||||
соответственно, |
|
|
|
|
|
|
|
|
|
|
|
|
||
ϕ1(0) = |
|
2000 ; ϕ1 |
(1) = |
|
|
|
0200 ; ϕ1(2) = |
|
|
|
0020 ; ϕ1(3) = |
0002 ; |
||
ϕ2(0) = |
|
1100 ; ϕ2 |
(1) = |
|
|
|
0110 ; ϕ2(2) = |
|
0011 ; ϕ2(3) = |
|
1001 ; |
|||
|
|
|
|
|||||||||||
|
|
ϕ3 |
(0) = |
|
1010 ; ϕ3(1) = |
|
0101 ; |
|||||||
|
|
|
|
|||||||||||
|
|
|
N1 = 3; N2 = 3; N3 = 1. |
|||||||||||
Здесь имеем два класса с Nξ + 1 = Na и один усеченный класс с Nξ + 1 = Na /2 . Таких
усеченных классов, как правило, получается небольшое число, так что в среднем в классе содержится столько функций, каков линейный размер системы ( Na ).
Максимальное число функций в классе не может быть больше линейного размера системы, т.е. Nξ ≤ Na − 1 в случае одномерной системы.
Составим теперь из перегруппированных функций новый базис, который будет собственным базисом для оператора трансляции. Согласно рассмотренным ранее свойствам оператора трансляции, собственные функции этого оператора могут быть записаны в виде
205
комбинаций периодической функции и экспоненциального множителя:
|
|
|
Nξ |
r r |
|
Nξ |
|
|
|
Ψmξ = ∑eikmRn Aξ ϕξ (n) = ∑ei2πmn /Na Aξϕξ (n), |
(8.43) |
||||
|
|
|
n=0 |
|
|
n=0 |
|
где km = |
2πm |
, 0 ≤ m < Na |
− 1 |
– разрешенный вектор |
импульсного |
||
aNa |
|
||||||
(обратного) пространства, а Rn = na – вектор трансляции n-го порядка.
Коэффициенты Aξ определяются из условия ортонормированности новых базисных функций для конкретного импульса km :
Nξ |
Nη |
|
|
|
|
|
|
|
|
|
|
ΨmξΨmη = A*ξ Aη ∑∑ei2π(mk−mn) /Na ϕξ (n)ϕη (k) |
= |
||||||||||
n=0 k=0 |
|
|
|
|
|
|
|
|
(8.44) |
||
Nξ Nη |
|
|
|
|
|
|
|
Nξ |
|
||
|
|
|
|
2 |
|
|
2 (Nξ + 1)δξη , |
||||
= A*ξ Aη ∑∑ei2π(k−n)m /Na δξηδnk = |
Aξ |
δξη ∑1 = |
Aξ |
||||||||
n=0 k=0 |
|
|
|
|
|
|
|
n=0 |
|
|
|
откуда |
|
|
|
|
|
|
|
|
|
|
|
A |
ξ = |
|
1 |
|
|
|
. |
|
|
(8.45) |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
||||||
|
|
|
Nξ + 1 |
|
|
||||||
Новый базис представляет собой блочную структуру, пронумерованную по разрешенным векторам обратной решетки km
или секторам импульсов m. Гамильтонова матрица в новом базисе будет блочно-диагональной из-за того, что собственные функции оператора импульса являются одновременно собственными функциями оператора трансляции, коммутирующего с гамильтонианом. Каждый из блоков по импульсам m имеет линейный размер, приблизительно равный количеству классов ξ
(числу производящих функций). Точный размер каждого блока определяется числом всех классов ξ , участвующих в разложении
по импульсу m. Связь между m и размерностью соответствующего блока предстоит выяснить.
Для определения этой связи поступим следующим образом. Допустим, мы выбрали базисные функции ϕξ и сформировали
гамильтонову матрицу в этом базисе, а затем провели процедуру
206
нахождения собственных чисел и собственных векторов. Наложим на собственную функцию, полученную диагонализацией гамильтоновой матрицы, условие: пусть она одновременно является собственной функцией оператора трансляции (и, соответственно, оператора импульса). После диагонализации она представима в виде разложения по этому новому базису:
|
Nξ |
|
Ψm = ∑Сξ Ψmξ = ∑Сξ ∑ei2πmn /Na ϕξ (n) , |
(8.46) |
|
ξ |
ξ n=0 |
|
здесь Сξ – коэффициенты разложения, а суммирование по ξ
проводится по всем классам, участвующим в данном секторе m. Далее,
|
Nξ −1 |
|
|
|
TΨm = ∑Сξ ∑ei2πmn /Na ϕξ (n + 1) + ∑Сξei2πmNξ /Na ϕξ (0) = |
||||
ξ |
n=0 |
ξ |
|
|
Nξ |
|
|
− e−i2πm /Na )= |
|
= e−i2πm /Na ∑Сξ ∑ei2πmn /Na ϕξ (n) + ∑Сξϕξ (0)(ei2πmNξ /Na |
||||
ξ n=0 |
|
ξ |
|
|
= e−i2πm /Na Ψm + ∑Сξϕξ (0)(ei2πmNξ /Na − e−i2πm /Na ). |
(8.47) |
|||
|
|
ξ |
|
|
Из (8.47) следует, |
что |
для того, чтобы функция |
Ψm |
являлась |
одновременно собственной функцией оператора трансляции и оператора импульса, т.е.
TΨ |
= e−i2πm /Na Ψ , |
(8.48) |
m |
m |
|
необходимо, чтобы второе слагаемое в (8.47) было равно нулю, а значит,
|
2πmNξ |
= − |
2πm |
+ 2πM, |
(8.49) |
|
Na |
Na |
|||
|
|
|
|
||
где M – целое. Выражение (8.49) означает фактически условие на |
|||||
выбор классов ξ , участвующих в разложении (8.46): |
|
||||
|
m(Nξ + 1) = MNa . |
(8.50) |
|||
Пользоваться условием (8.50) следует так: сначала выбираем конкретный сектор по импульсу m и перебираем все классы ξ так,
чтобы для каждого класса (8.50) удовлетворялось для какогонибудь значения M.
207
Например, если положить m = 0 , то находим, что условию (8.50)
удовлетворяют все пять классов из (8.41) – (8.42), |
так как |
при |
M = 0 (8.50) обращается в тождество, верное для |
любых |
Nξ . |
Следовательно, размер блока в гамильтоновой матрице, отвечающего сектору импульсов m = 0 , будет равен 5 × 5 .
Далее при m = 1 находим: |
|
Nξ = Na − 1 при M = 1. |
(8.51) |
Так как в (8.41) – (8.42) Nξ = 3 = Na − 1 для всех ξ , то и в этом
случае условию (8.50) удовлетворяют все пять классов из (8.41) – (8.42), и размер блока в гамильтоновой матрице, отвечающего сектору импульсов m = 1 , также будет равен 5 × 5 .
При m = 2 имеем:
|
|
MN |
|
N |
a , при M = 1; |
|
|
Nξ + 1 |
|
a |
|
|
(8.52) |
||
= |
|
= |
2 |
||||
2 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
Na , при M = 2. |
|
||
В случае (8.41) – (8.42) нет классов, у которых Nξ + 1 = Na /2, но все классы удовлетворяют условию Nξ = Na − 1 , т.е. и в этом случае размер блока в гамильтоновой матрице будет равен 5 × 5 .
Аналогично находим, что и для последнего сектора по импульсу m = 3 размер блока будет 5 × 5 .
Таким образом, гамильтонова матрица разбивается на четыре блока размером 5 × 5 :
|
(m = 0) |
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
(m = 1) |
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
H |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
(8.53) |
0 |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
(m = 2) |
|
|
|
0 |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
0 |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
(m = 3) |
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
Размер новой |
|
матрицы |
20 × 20 |
|
|
|
|
|
|
совпадает |
с |
размером |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
гамильтоновой матрицы в базисе (8.37), так как общее число степеней свободы (размерность гильбертова пространства) системы не зависит от выбора базиса.
208
Пример 8.2. Для случая Na = 4, N = 2 (см. пример 8.1) имеем:
1)сектор нулевого импульса m = 0 . Здесь все классы удовлетворяют условию (8.49), поэтому размер блока в гамильтоновой матрице, соответствующего m = 0 , будет 3× 3 ;
2)m = 1 . В этом случае условию (8.50) удовлетворяют два класса ξ = 1 и ξ = 2 , т.е.
размер соответствующего блока – 2× 2 ;
3) m = 2 . Согласно (8.51), в разложении участвуют все классы, и размер блока – 3× 3 ;
4) m = 3 . В последнем секторе по импульсу
N + 1 = |
MNa N + 1 = |
Na / 3; |
|
ξ |
3 |
ξ |
|
|
|
Na. |
|
Так как число узлов в системе четно, то выполняется лишь условие Nξ + 1 = Na , и, аналогично случаю m = 1 , участвуют только два класса ξ = 1;2 , и размер блока – 2× 2 .
В итоге гамильтонова матрица разбивается на четыре блока: два блока размером 3× 3 и два блока размером 2× 2 .
Пример 8.3. Рассмотрим более сложный пример. Пусть есть система из N = 8 бозонов на цепочке из Na = 8 узлов, размерность базиса такой системы будет R = 6435 . Применяя метод трансляционной инвариантности задачу можно разбить на блоки, соответствующие секторам импульсов m, со следующими размерами Rm :
m |
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
Rm |
810х810 |
800х800 |
808х808 |
800х800 |
809х809 |
800х800 |
808х808 |
800х800 |
В этом случае классы ξ по трансляциям разбиваются на четыре неравные группы:
1) самая |
многочисленная группа, в которой |
Nξ + 1 = 8 , количество |
|
классов и |
|||||||||||||||||||
производящих функций |
ϕξ (0) в этой группе равно 800, это такие функции, как, |
||||||||||||||||||||||
например, |
|
|
00131012 , |
|
|
00132101 , |
|
00140021 |
и т.д.; |
|
|
||||||||||||
|
|
|
|
|
|||||||||||||||||||
2) вторая группа, в которой |
|
Nξ + 1 = 4 , содержит восемь производящих функций: |
|||||||||||||||||||||
|
|
02110211 |
, |
|
|
|
01210121 |
, |
|
01120112 , |
|
01030103 , |
|
00310031 , |
|
00220022 , |
|||||||
|
|
|
|
|
|
||||||||||||||||||
|
|
00130013 |
|
|
и |
|
|
00040004 |
, каждая из которых порождает еще по три функции после |
||||||||||||||
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
трех последовательных трансляций;
3) третья группа, в которой Nξ + 1 = 2 , содержит всего одну производящую функцию 02020202
, порождающую еще одну функцию после одной трансляции: 20202020
;
4) последняя группа, в которой Nξ + 1 = 1 , содержит единственную производящую функцию 11111111
, которая не порождает никаких новых функций, так как любая трансляция опять приводит к ней же.
209
Построим базис для первого блока с нулевым импульсом m = 0 . Согласно выражению (8.49), в этот блок должны войти все классы ξ , их количество равно 810, это число и будет линейным размером этого блока.
Далее в сектор с импульсом m = 1 , согласно соотношению (8.50), войдут все классы с Nξ = Na − 1 , т.е. первые 800 классов; для следующего сектора m = 2 , согласно
(8.51), находим все классы с Nξ + 1 = 4 и Nξ + 1 = 8 , что дает 808 базисных функций; и т.д.
В итоге задача диагонализации разбивается на подзадачи по секторам импульсов, гамильтонова матрица каждой из которых в ~ Na раз меньше по линейному размеру исходной матрицы, и
диагонализация каждой из этих матриц занимает приблизительно в N3a раз меньше времени, чем диагонализация полной матрицы.
Рассчитаем матричные элементы внутри блока, отвечающего сектору m:
|
|
|
Nξ Nη |
e2πi(k−n)m /Na ϕξ (n) |
|
H |
|
ϕη (k) |
|
|
||
|
|
|
|
|
|
|
||||||
|
|
|
|
|||||||||
Hξη ≡ Ψmξ |
H |
|
Ψmη = ∑∑ |
|
|
|
|
|
|
|
. |
(8.54) |
|
|
|
|
|
|
|
|
|||||
|
|
(Nξ + 1)(Nη + 1) |
||||||||||
|
|
|
n=0 k=0 |
|
|
|
||||||
Если учесть трансляционную симметрию гамильтониана и узельных функций,
ϕξ (n) |
H |
ϕη (k) = Hξη ≡ Hξη |
≡ Hξη |
= |
(8.55) |
||||||||||
|
|
|
|
|
|
|
|
nk |
n−1,k−1 |
|
0,k−n |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|||||
= |
ϕξ (0) |
|
H |
|
ϕη (k − n) , |
|
|
|
|
||||||
|
|
|
|
|
|
||||||||||
то число слагаемых в (8.54) можно сократить в Nξ |
раз: |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Nξ + 1 Nη |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|||||||||
Hξη = |
|
|
|
|
∑e2πimk /Na |
ϕξ (0) |
H |
ϕη (k) . |
(8.56) |
||||||
|
|
|
|
|
|||||||||||
|
|
||||||||||||||
|
|
Nη + 1 k=0 |
|
|
|
|
|
||||||||
Расчет матричных элементов (8.56) от диагональной части гамильтоновой матрицы в базисе ϕ приводит к следующему:
210
