Преобразование Боголюбова с комплексным гамильтонианом

Рассмотрим следующий гамильтониан:

(1) ЧАС "=" к ( а к б к ) ( ю 0 Ом ф к Ом ф к * ± ю 0 ) ( а к   б к )
для бозонных операторов ( + ) или фермионные операторы ( ). Стандартный способ выполнения преобразований Боголюбова состоит в использовании преобразований:
М бозон "=" ( чушь ( θ ) грех ( θ ) грех ( θ ) чушь ( θ ) ) , М фермион "=" ( потому что ( θ ) грех ( θ ) грех ( θ ) потому что ( θ ) )
Однако в этом случае они не будут работать, так как будут давать комплексные значения θ , и чтобы гарантировать, что наши (анти-)коммутаторы останутся нетронутыми, нам нужно θ быть настоящим.

Таким образом, мой вопрос таков: как нам обобщить Боголюбова для решения задач вида (1)?

Этот вопрос основан на этом: Преобразование Боголюбова с небольшим поворотом

Ответы (2)

На этот вопрос всегда есть конечный ответ: запишите комплексный бозон/фермион в терминах реального бозона/фермиона ( а "=" а р + я а я и т. д.), подключите его, а затем диагонализируйте с помощью ортогональных матриц. Вероятно, это более естественный способ сделать это для систем, не сохраняющих частицы.

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

Есть два метода решения этой проблемы:

  1. Как указано в ответе Йен-Та Хуанга , а также в этом ответе Эверетта Ю (EY16) на этот связанный вопрос , мы можем разделить операторы создания и уничтожения на реальную и мнимую части.
  2. Как указано в (Capri, 2002; pg448), мы можем обобщить преобразование Боголюбова для работы со сложными гамильтонианами.

Здесь я сделаю простой пример со следующим фермионным гамильтонианом:

(1) ЧАС "=" ε с 1 с 1 + ε с 2 с 2 + λ я ( с 1 с 2 с 2 с 1 )

Способ 1

Мы позволим:

(2) с Дж "=" а Дж + я б Дж для Дж "=" 1 , 2
где а Дж "=" а Дж и б Дж "=" б Дж . Как показано в EY16 для а Дж и б Дж имеем следующие коммутационные соотношения
{ а Дж , а Дж } "=" { б Дж , б Дж } "=" 1
{ а 1 , а 2 } "=" { б 1 , б 2 } "=" { а я , б Дж } "=" 0
Таким образом, подставляя (2) в (1), мы получаем, что (после некоторой алгебры):
ЧАС "=" 2 я ( ε а 1 б 1 + ε а 2 б 2 + λ а 1 а 2 λ б 1 б 2 )
"=" 2 я ( а 1 б 2 ) ( ε λ λ ε ) ( б 1 а 2 )
Как объяснялось в EY16, преобразование Боголюбова а Дж и б Дж является ортогональным преобразованием в случае фермионов. Таким образом, если мы допустим:
( б 1 а 2 ) "=" ( потому что ( θ ) грех ( θ ) грех ( θ ) потому что ( θ ) ) ( е 1 г 2 )
( а 1 б 2 ) "=" ( потому что ( θ ) грех ( θ ) грех ( θ ) потому что ( θ ) ) ( г 1 е 2 )
с новыми фермионными операторами рождения и уничтожения, заданными формулой ф Дж "=" г Дж + я е Дж при соответствующем выборе θ это приведет к диагонализации гамильтониана

Способ 2

В методе 2 мы просто обобщаем преобразование Боголюбова. Рассмотрим преобразование:

ф Дж "=" ты Дж с Дж + в Дж с Дж
нам необходимо обеспечить выполнение условий, которые:
{ ф я , ф Дж } "=" 0 , { ф я , ф Дж } "=" дельта я Дж
Если мы это сделаем, то получим то, что нам нужно:
(3) ты 1 в 2 + ты 2 в 1 "=" 0
и
(4) | ты Дж | 2 + | в Дж | 2 "=" 1
(4) означает, что мы имеем:
ты Дж "=" потому что ( θ Дж ) е я ф Дж ты в Дж "=" грех ( θ Дж ) е я ф Дж в
в то время как с этим (3) подразумевает, что:
потому что ( θ 1 ) грех ( θ 2 ) "=" потому что ( θ 2 ) грех ( θ 1 ) , ф 1 ты + ф 2 в "=" ф 2 ты + ф 1 в
Собирая их вместе, мы получаем общее преобразование Бололюбова фермионных операторов:

е я ф ~ 1 ( е я ф ~ 2 потому что ( θ п ) е я ф ~ 3 грех ( θ п ) е я ф ~ 3 грех ( θ п ) е я ф ~ 2 потому что ( θ п ) )
При этом можно следовать стандартному методу преобразования Бололюбова.

Для справки, общее преобразование Бололюбова для бозонов (согласно моим расчетам):

е я ф ~ 1 ( е я ф ~ 2 чушь ( θ п ) е я ф ~ 3 грех ( θ п ) е я ф ~ 3 грех ( θ п ) е я ф ~ 2 чушь ( θ п ) )