Какой предел для суммирования частот Мацубара?

В контексте простой игрушечной задачи для интегралов Фейнмана по путям я рассматриваю двухузелковую модель Хаббарда для бесспиновых фермионов. Я расширяю интеграл по путям до первого порядка по взаимодействию В , что означает, что я должен вычислить «среднее» типа

ψ ¯ 1 ( ю н ) ψ ¯ 2 ( ю м ) ψ 2 ( ю п ) ψ 1 ( ю д )
относительно невзаимодействующего действия. Поскольку числа Грассмана для сайтов 1 а также 2 являются разными числами, это среднее сразу же учитывается, и у меня остаются средние значения с двумя переменными, которые дают мне только невзаимодействующие функции Мацубары Грина.

Но теперь мне нужно вычислить сумму Мацубары типа

1 β н 1 я ю н ϵ
куда ϵ просто константа.

Из поиска в литературе я знаю, что контурная интеграция - это путь, но, к сожалению, эта сумма неоднозначна, и я должен ввести множитель е я ю н т с т 0 + или же т 0 , и результат контурного интегрирования будет сильно различаться в зависимости от того, какой предел я возьму.

Теперь мой вопрос: как мне узнать, какой лимит взять? И есть ли более простой способ провести сумму по частоте?

Ответы (2)

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

1 2 π г ю 1 я ю ϵ 1 2 π я г ю 1 ю .
Запрашивание результата существенно расходящейся суммы не приведет даже к определенному ответу. Знакомство с фактором е я ю н т состоит в том, чтобы контролировать сходимость суммы, но тогда результат будет зависеть от того, как кто-то решит управлять сходимостью, т.е. т 0 + (управление левой половиной комплексной плоскости) или 0 (управление правой полусложной плоскостью).

Два результата будут отличаться сдвигом на 1. Даже эта разница «1» имеет физический смысл, отражая двусмысленность в определении числа фермионных частиц. Потому что суммирование

1 β н 1 я ю н ϵ знак равно грамм ( т знак равно 0 ) знак равно Т т ψ ( т знак равно 0 ) ψ ¯
соответствует функции Грина в мнимый момент времени 0, что физически означает подсчет количества фермионов на уровне энергии ϵ . Здесь Т т обозначает оператор упорядочения времени. Однако т знак равно 0 можно понимать как т 0 + или же т 0 (соответствует двум способам управления сходимостью), что становится здесь очень важным, потому что оператор временного упорядочения затем упорядочивает два случая по-разному:
Т т ψ ( т знак равно 0 + ) ψ ¯ знак равно ψ ψ ¯ ,
Т т ψ ( т знак равно 0 ) ψ ¯ знак равно ψ ¯ ψ .
Согласно антикоммутационному соотношению фермионных операторов имеем ψ ¯ ψ знак равно 1 ψ ψ ¯ , поэтому ожидается, что два результата будут отличаться на константу 1. На самом деле ψ ¯ ψ подсчитывает количество частиц, а ψ ψ ¯ подсчитывает количество отверстий. Возникает проблема, определить ли число Фермиона (по отношению к вакуумному состоянию) как число частиц или как отрицательное число дырок. Это зависит от нашего определения состояния вакуума: рассматриваем ли мы вакуум как состояние без частиц или как состояние, заполненное частицами (как концепция моря Ферми). Мы знаем, что оба варианта приемлемы, так же как мы можем определить электрон либо как частицу в пустом пространстве, либо как дырку в антиэлектронном море Ферми. Из-за этой неоднозначности необходимо указать выбор, когда т 0 берется лимит. В заключение можно сказать, что оба способа определения предела допустимы, а разница в результатах заключается лишь в определении состояния фермионного вакуума.

Подобное несоответствие существует и в бозонном случае, что опять-таки связано с определением бозонного вакуумного состояния. В общем случае такое несоответствие коренится в расходимости рассматриваемой суммы Мацубары. Если само суммирование сходится к определенному результату, то результат будет уникальным независимо от того, какой предел выбран. Например, если попытаться вычислить

1 β н 1 ( я ю н ϵ ) 2 ,
результат всегда будет β / 4 с е с час 2 ( β ϵ / 2 ) (для фермионного случая) неважно т 0 + или же 0 .

Ладно, думаю, это мне поможет. Итак, если я хочу вычислить определенное среднее значение, например ψ ¯ ψ , потому что здесь ψ ¯ сначала я хочу взять предел т 0 сохранить этот порядок?
@Lagerbaer Верно. Подробнее о том, как оценивать суммирование Мацубары, см. ( en.wikipedia.org/wiki/Matsubara_frequency )
@EverettYou, это интересно. Сумма очень стандартная, но я еще не видел, чтобы она обсуждалась в таком ключе. У вас есть ссылка на это?
@EverettYou Хороший ответ! Если добавить фактор е я ю т куда бы вы его положили? Это
е я ю т я ю ϵ
или это
1 я ю е я ю т ϵ ?
@mr.curious Я имел в виду первое выражение в своем ответе.

Здесь я перечислю рецепт вычисления суммирования Мацубары, а именно, как суммировать следующий ряд

1 β н грамм ( я ю н ) ,
куда ю н - это частоты Мацубары , а n будет целым числом.

  1. Аналитическое продолжение:
    грамм ( я ю н ) грамм ( г )
  2. Найдите полюса г м из грамм ( г ) и вычислить
    м ф ( г м ) р е с ( грамм , г м )

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

Например:

1 β н 1 я ю н + Е знак равно ф ( Е ) р е с ( грамм ( г ) , Е ) знак равно 1 е β Е 1
куда
ю н знак равно 2 н π β
бозонные частоты.

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