Диагонализация модели Хаббарда для бесспиновых фермионов в одномерном kkk-пространстве

В реальном пространстве мы пишем базисный вектор для бесспиновых фермионов в двоичной записи, например, если есть М "=" 4 сайты в системе и Н "=" 2 фермионов, то базисные векторы будут: 0011 , 0101 , 0110 , 1001 , 1010 , 1100 . Гамильтониан в числовой форме ( ЧАС "=" т < Дж , Дж + 1 > ( с Дж с Дж + 1 + час . с . ) + U < Дж , Дж + 1 > н Дж н Дж + 1 ) можно написать просто, используя побитовые операции C/C++, Fortran или MATLAB. Видна прыгающая часть ЧАС недиагональна, а часть взаимодействия диагональна в реальном пространстве.

Когда мы работаем в пространстве Фурье, Гамильтон становится

ЧАС ~ "=" к ϵ к с к ~ с к ~ + к U к ~ н к ~ н к ~
с ϵ к "=" 2 т потому что к и U ~ к "=" 1 л Дж U ( Дж ) е я к . Дж как описано в этом pdf .


Чего я не могу понять, так это того, как мы определяем наш базисный вектор в пространстве Фурье?

Мое понимание этого:

Что я понял из этого, так это то, что пусть у нас есть 1D-линия из π к + π (первая миллиардная зона), на которой к точки незаметно определить. Если у нас есть M=4 и N=2, то множество к -очки π , π 2 , + π 2 , + π
Теперь, рассматривая эти 4 точки как места, на которых могут находиться фермионы, наши базисные векторы могут быть снова заданы так, как они были заданы в реальном пространстве, т.е. 0011 , 0101 , 0110 , 1001 , 1010 , 1100 .
Для простоты я беру ограничение U "=" 0 и вычислить гамильтониан как для реального случая, так и для случая пространства Фурье.
РЕАЛЬНОЕ ПРОСТРАНСТВО:

ЧАС р "=" т [ 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 ]
Пусть t = 1, тогда собственные значения = [-2, -2, -4.4e-16, 0, 2, 2] (с использованием функции MATLAB eig() )

ПРОСТРАНСТВО ФУРЬЕ:

с к ~ с к ~ "=" н к ~ "=" числовой оператор в k-пространстве. Таким образом, наш гамильтониан для U=0 должен быть диагональным со значениями

ЧАС Ф "=" 2 т * г я а г о н а л [ потому что ( π / 3 ) + потому что π , потому что ( π / 3 ) + потому что π , потому что ( π / 3 ) + потому что ( π / 3 ) , потому что ( π ) + потому что π , потому что ( π ) + потому что ( π / 3 ) , потому что ( π ) + потому что ( π / 3 ) ]

"=" т [ 1 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 1 ]

для t=1 собственные значения=[-2, 1, 1, 1, 1, 4].


результаты не совпадают, я считаю, что в моем методе определения базисных векторов в к -космос. Итак, пожалуйста, объясните, как правильно построить базисные векторы в к -космос.

Откуда взялись потому что ( π / 3 ) родом из? π / 3 не является допустимым k-вектором...

Ответы (1)

Я думаю, вы сделали пару ошибок в разрешенных k-векторах.

Во-первых, разрешенные k-векторы не π , π 2 , π 2 , π . Допустимые k-векторы π 2 , 0 , π 2 , π . В зоне Бриллюэна к "=" π и к "=" π одно и то же состояние, поэтому вы дважды учитывали это состояние, игнорируя к "=" 0 .

Во-вторых, по какой-то причине, когда вы вычислили ЧАС Ф , вы написали такие термины, как потому что ( π 3 ) по диагонали. Это явно ошибка, так как π 3 не является допустимым k-значением. Если вы выпишите ЧАС Ф более внимательно, с правильными значениями k вы должны получить энергии, соответствующие вашим желаниям.

(Обратите внимание, что также может быть ошибка в вашем ЧАС р , я особо не проверял. Но исправьте k-ошибку и посмотрите!)

Большое спасибо. ЧАС р правильно, я неправильно набирал k-баллы.
Вот ваш голос, сэр. В то время у меня не было привилегий голосовать за любой ответ.