Вывод формулы Кубо для проводимости Холла

Я пытаюсь получить результат формулы TKNN, но испытываю трудности с выводом формулы Кубо. Формула Кубо, используемая в статье TKNN, такова:

о Икс у "=" я е 2 Е а < Е Ф < Е б а | в Икс | б б | в у | а а | в у | б б | в Икс | а ( Е а Е б ) 2 .

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

О "=" О ^ ( т ) я т 0 т г т [ О ^ ( т ) , ЧАС е Икс т ( т ) ]
где ЧАС е Икс т — возмущающий гамильтониан. С ЧАС е Икс т "=" Дж А ( р , т ) г 3 р , если мы рассмотрим плотность тока, мы имеем
Дж я ( р , т ) "=" Дж я ( т ) + я т г т г 3 р [ Дж я ( р , т ) , Дж Дж ( р , т ) ] А Дж ( р , т ) .
Игнорируя первый член, мы можем переписать это как
Дж я ( р , т ) "=" г т г 3 р р я Дж ( р р , т т ) А Дж ( р , т )
где
р я Дж ( р р , т т ) "=" я θ ( т т ) [ Дж я ( р , т ) , Дж Дж ( р , т ) ] .
Мы можем предположить, что А ( р , т ) "=" А ( р ) е я ю т показать, что Е ( р , т ) "=" я ю А ( р , т ) . Тогда, преобразуя Фурье выражение для ожидаемого значения плотности тока, получаем
Дж ( к , ю ) "=" р я Дж ( к , ю ) я ю Е Дж ( к , ю )
что означает проводимость по постоянному току
о я Дж "=" лим ю 0 я р я Дж ( к , ю ) ю
Можно показать, что преобразование Фурье функции отклика:
р я Дж ( к , ю ) "=" я 0 г т е я ю т [ Дж я ( к , т ) , Дж Дж ( к , 0 ) ]
Если мы оцениваем значения ожидания, используя большой канонический ансамбль (т.е. О ^ "=" Т р ( е β ЧАС О ^ ) / Z где ЧАС включает хим. горшок.) и со временем интегрировать и выполнить первый заказ ю расширение мы заканчиваем с
р я Дж ( к , ю ) "=" н , м ( е Е м β е Е н β ) ( н | Дж я ( к , ю ) | м м | Дж Дж ( к , ю ) | м Е н Е м + я ϵ ю н | Дж я ( к , ю ) | м м | Дж Дж ( к , ю ) | м ( Е н Е м + я ϵ ) 2 ) / Z
Вот откуда я не знаю, как действовать. Все выводы формулы Кубо, которые я нашел на этом сайте и других онлайн-ресурсах, не учитывают позиционную зависимость оператора плотности тока. Любые советы, которые укажут мне в правильном направлении, будут оценены.

Пожалуйста, взгляните на physics.stackexchange.com/q/1906 . Ответ объясняет, почему первый член обращается в нуль, а второй дает формулу Кубо. Вывод здесь применим для операторов тока, зависящих от положения, просто замените каждый в я оператор там вашим Дж я ( ± к ) , алгебра все еще проходит.
@EverettYou Как именно эта замена - замена Дж я ( ± к ) в я --работа? Предполагается ли в документе TKNN, что текущий оператор не зависит от позиции?
Потому что текущий Дж пропорциональна скорости в электрона как Дж "=" е в , так что по сути это один и тот же оператор. В документе TKNN не предполагалось, что текущий оператор не зависит от позиции. Матричный элемент а | в ( д ) | б имеет смысл, если мы включим импульсную зависимость в , т.е. в ( д ) просто разбросает состояние | б импульса к в другое государство | а импульса к + д . Можно еще просуммировать по всей такой паре состояний, которая удовлетворяет Е а < Е Ф < Е б и получим зависящую от импульса холловскую проводимость о Икс у ( д ) .
@EverettYou Я, должно быть, что-то недопонимаю. Разве холловская проводимость не должна зависеть от импульса?
Комментарий слишком короткий для объяснения. Пожалуйста, посмотрите на мой ответ ниже.

Ответы (1)

Формула Кубо применяется к случаю, зависящему от положения, и может использоваться для вычисления проводимости Холла, зависящей от импульса.

о Икс у ( д ) "=" я е 2 Е а < Е Ф < Е б а | в Икс ( д ) | б б | в у ( д ) | а а | в у ( д ) | б б | в Икс ( д ) | а ( Е а Е б ) 2 .
Эта формула может быть получена из последней формулы (корреляция ток-ток в базисе многих тел) в вопросе
р Икс у ( д , ю ) "=" 1 Z н , м ( е β Е м е β Е н ) ( н | в Икс ( д , ю ) | м м | в у ( д , ю ) | м Е н Е м + я 0 + ю н | в Икс ( д , ю ) | м м | в у ( д , ю ) | м ( Е н Е м + я 0 + ) 2 ) ,
заметив, что первый член обращается в нуль (как объясняется в формуле Кубо для квантового эффекта Холла ) и достигает предела о Икс у ( д ) "=" лим ю 0 я р Икс у ( д , ю ) / ю на второй срок. Затем переключитесь на одночастичный базис (можно сделать для свободных фермионов) и возьмите предел нулевой температуры. β в конце концов.

Из холловской проводимости, зависящей от импульса, можно восстановить явную позиционную зависимость с помощью преобразования Фурье

о Икс у ( р р ) "=" д о Икс у ( д ) е я д ( р р ) .
Равномерная проводимость определяется как о Икс у "=" г 2 р о Икс у ( р р ) который выделяет нулевую составляющую импульса о Икс у ( д "=" 0 ) . Статья TKNN в основном сосредоточена на однородной холловской проводимости и ее топологическом значении. Но обобщение формулы Кубо на неоднородный (неоднородный) случай осуществляется прямо, как описано выше. Однако для общего импульса д 0 , проводимость Холла о Икс у ( д ) больше не квантуется до целого числа и больше не связана с топологическим индексом (числом Черна) электронной зонной структуры, по этой причине о Икс у ( д ) менее изучен. Но экспериментально о Икс у ( д ) является определенной величиной, которая также может быть измерена.


В самом общем случае можно определить тензор проводимости, зависящий от импульса и частоты о я Дж ( д ) (где д "=" ( ю , д ) — вектор импульс-частота) из электронной функции Грина г ( к ) ,

о я Дж ( д ) "=" я к Тр г ( к ) γ 0 г ( к ) γ я г ( к + д ) γ Дж , γ мю "=" к мю г 1 ( к ) ( мю "=" 0 , 1 , 2 ) .
Это называется неоднородной динамической проводимостью или оптической проводимостью. Вершинный оператор γ мю заменить оператор тока/скорости в квантовой теории поля (как обобщение гамма-матриц фермионов Дирака). См . Расчет проводимости по функциям Грина для получения этой общей формы.

Спасибо за понимание неравномерной проводимости. Можете ли вы порекомендовать какие-либо ресурсы, в которых обсуждается эта тема и отмечается различие между однородной и неоднородной проводимостью? Кажется, что многие выводы обходят это стороной, хотя это кажется нетривиальным фактом.
Просто введите в поиск «динамическая проводимость», вы можете увидеть много обсуждений всех видов проводимости, не связанных со статическим/однородным случаем.
Не могли бы вы пояснить, что именно вы имели в виду под «переходом на одночастичный базис»? Кроме того, как именно вы преобразуете ток (который я считаю оператором в полном фоковском пространстве) в оператор скорости (который, как мне кажется, является оператором в пространстве одной частицы)?