Фермионные граничные условия при конечной температуре

В КТП с конечной температурой фермионы должны подчиняться антипериодическим граничным условиям. Что является причиной этого?

В этой статье (внимание! PDF) объясняется необходимость антипериодических граничных условий в приложении А.

Ответы (5)

Статистические суммы получаются с помощью интегралов по путям вдоль замкнутых путей. В случае фермионов антипериодические граничные условия дают след, а периодические граничные условия дают суперслед:

Т р е Т ЧАС знак равно { ψ ( Т ) знак равно ψ ( 0 ) ψ ¯ ( Т ) знак равно ψ ¯ ( 0 ) } е 0 Т ψ ¯ ψ ˙ + ЧАС ( ψ ¯ , ψ ) Д ψ Д ψ ¯

С т р е Т ЧАС знак равно { ψ ( Т ) знак равно ψ ( 0 ) ψ ¯ ( Т ) знак равно ψ ¯ ( 0 ) } е 0 Т ψ ¯ ψ ˙ + ЧАС ( ψ ¯ , ψ ) Д ψ Д ψ ¯

Объяснение:

Фермионные интегралы по путям основаны на грассмановых символах операторов:

А ( ψ ¯ ф , ψ я ) знак равно Дж , К знак равно 1 Н А Дж К ψ ¯ ф Дж , ψ я К

Где Дж , К являются подмножествами { 1 , . . . . . , Н } описывающие мультииндексы, и | Дж | , | К | обозначает количество элементов в множестве Дж . ψ Дж является антисимметричным произведением | Дж | Переменные Грассмана. Эти символы эквивалентны 2 Н × 2 Н матрицы и может рассматриваться как отображение из начального гильбертова пространства, обозначаемого индексом я в конечное гильбертово пространство, обозначаемое индексом Дж . След и суперслед этих операторов определяются:

Т р А знак равно Дж А Дж Дж

С т р А знак равно Дж ( 1 ) | Дж | А Дж Дж

Следы могут быть получены путем интегрирования по Гауссу-Грасману символа оператора после приравнивания начальной и конечной переменных Грассмана:

Т р А знак равно А ( ψ ¯ ф знак равно ψ ¯ я , ψ я ) е ψ ¯ я ψ я Π я знак равно 1 Н г ψ ¯ я г ψ я

С т р А знак равно А ( ψ ¯ ф знак равно ψ ¯ я , ψ я ) е ψ ¯ я ψ я Π я знак равно 1 Н г ψ ¯ я г ψ я

Причина этого в том, что во втором случае будет дополнительный знак минус всякий раз, когда число переменных Грассмана нечетно. Рассмотрим, например, двумерный оператор:

А знак равно А 00 + А 11 ψ ¯ ф ψ я

Затем:

А ( ψ ¯ , ψ ) е ψ ¯ ψ г ψ ¯ г ψ знак равно ( А 00 А 11 ψ ¯ ψ ) ( 1 ψ ¯ ψ ) г ψ ¯ г ψ знак равно ( А 00 + А 11 ) ψ ¯ ψ г ψ ¯ г ψ знак равно А 00 + А 11

Если изменение знака на последнем шаге связано с изменением порядка между ψ и ψ ¯ , Сходным образом

А ( ψ ¯ , ψ ) е ψ ¯ ψ г ψ ¯ г ψ знак равно ( А 00 + А 11 ψ ¯ ψ ) ( 1 ψ ¯ ψ ) г ψ ¯ г ψ знак равно ( А 00 А 11 ) ψ ¯ ψ г ψ ¯ г ψ знак равно А 00 А 11

Не могли бы вы подробнее рассказать о «перекрестных терминах»? Кроме того, в вашем последнем предложении отсутствует «если»?
Ваш вывод, кажется, означает только то, что ψ ¯ ф знак равно ψ ¯ я . Являются ли тогда граничные условия инволюцией, связывающей ψ и ψ ¯ ? Важна ли эта инволюция, скажем, для использования формулы интегрирования Гаусса?
Поразмыслив над этим некоторое время, я пришел к следующему выводу (хотя, вероятно, это не полный ответ). Действие при вычислении трассы С знак равно г т ( ψ ¯ ψ ˙ + ЧАС ( ψ ¯ , ψ ) ) . Граничного члена нет, поскольку граничный член, обычно используемый для вычисления переходов, отменяет переход, исходящий из трассы. Тогда вариация этого действия имеет граничный член ψ ¯ дельта ψ . Таким образом, мы должны наложить антипериодические граничные условия в обоих полях, если мы хотим, чтобы вариация не имела граничных членов.

Ответ на вопрос был дан в комментарии Джона Ренни к OP (я бы тоже прокомментировал, но у меня недостаточно представителей для этого).

Я хотел бы только обратить внимание на тот факт, что выполнение интеграла по траекториям по полям либо с периодическим (бозоны), либо с антипериодическим (фермионы) ВС является простым следствием того, что вы вычисляете след (или планируется) получить статистическую сумму и, следовательно, это наложение. См. уравнение (2.17) теории поля с конечной температурой Капусты (издание 1989 г.) для прозрения :)

Я читал много зверств по этому поводу, когда изучал предмет (вещи типа "для простоты мы выбираем...")

Если вам нужна демонстрация, альтернативная демонстрации связанного документа в комментарии Джона Ренни, попробуйте Приложение A к Dashen et al. ПРД 12, 2443–2458 (1975) . Только обратите внимание на то, что они делают все в пространстве Минковского.

какой-то другой подход, возможно, объяснение:

Напомним среднее тепловое < А ^ > β знак равно Т р   е β ЧАС ^ А ^ , (поставил Т р   е β ЧАС ^ знак равно 1 ).

Брать

А ^ знак равно Т [ ψ ^ ( Икс , т 1 ) ψ ^ ( у . т 2 ) ] знак равно θ ( т 1 т 2 ) ψ ^ ( Икс , т 1 ) ψ ^ ( у . т 2 ) θ ( т 2 т 1 ) ψ ^ ( у , т 2 ) ψ ^ ( Икс . т 1 )
помещать А ^ обратно в формулу среднего значения с т 2 знак равно 0 и у нас будет
Т р   е β ЧАС ^ ψ ^ ( Икс , т 1 ) ψ ^ ( у .0 ) знак равно Т р   ψ ^ ( у .0 ) е β ЧАС ^ ψ ^ ( Икс , т 1 ) знак равно Т р   е β ЧАС ^ е β ЧАС ^ ψ ^ ( у .0 ) е β ЧАС ^ ψ ^ ( Икс , т 1 ) знак равно Т р   е β ЧАС ^ ψ ^ ( у . β ) ψ ^ ( Икс , т 1 )

Запишите приведенное выше в форме интеграла по путям и помните, что вставки в интеграле по путям будут упорядочены автоматически.

[ г ψ ] е С ψ ( Икс , т 1 ) ψ ( у .0 ) знак равно [ г ψ ] е С ψ ( у . β ) ψ ( Икс , т 1 )
Хотя мы не выполняем граничное условие интеграла по траекториям, мы можем заключить, что ψ ( у , 0 ) знак равно ψ ( у , β ) .

Один комментарий: я думаю, что изменение порядка в трассировке здесь незаконно (как вы показали в выводе из четырех строк), потому что каждое число здесь является числом Грассмана.
Отношение Т р   е β ЧАС ^ ψ ^ ( Икс , т 1 ) ψ ^ ( у .0 ) знак равно Т р   е β ЧАС ^ ψ ^ ( у . β ) ψ ^ ( Икс , т 1 ) следует удерживать, что является просто отношением KMS. Я использую цикличность следа, а не обмениваю фермионные операторы.
Сохраняется ли свойство цикличности для антикоммутирующих чисел? Я полагаю, что обычное доказательство цикличности требует замены некоторых матричных элементов. Не будет ли из-за этого дополнительных минусов?
Из уравнения (2.88) конечно-температурной теории поля Капусты мы должны иметь
Т р   е β ЧАС ^ ψ ^ ( Икс , т 1 ) ψ ^ ( у , 0 ) знак равно Т р   ψ ^ ( у , 0 ) е β ЧАС ^ ψ ^ ( Икс , т 1 )

Вы можете думать, как β пропорциональна 2 π угол θ . Связь между спинорными полями ψ ( 0 ) и ψ ( β ) , то следует рассматривать как связь между ψ ( θ знак равно 0 ) и ψ ( θ знак равно 2 π ) . Угол θ можно рассматривать как «пространственное вращение» на угол θ для поля ψ . Теперь мы знаем, что спиноры после вращения 2 π , получите знак минус. Таким образом, мы заключаем, что правильное граничное условие ψ ( β ) знак равно ψ ( 0 )

Более строго, но эквивалентно, мы можем думать о компактной пространственной координате, где Икс знак равно 0 отождествляется с Икс знак равно β . Закрытый путь от Икс знак равно 0 к Икс знак равно β , эквивалентно 2 π «пространственное вращение».

Алгебраическое объяснение. Фермионный интеграл по путям основан на представлении операторов а и а через переменную Грассмана α согласно с а α и а α . Волновая функция ψ ( α ) знак равно с 0 α + с 1 является функцией α .

Наиболее общее линейное преобразование от представления числа частиц к α представительство ψ ( α ) знак равно н знак равно 0 1 U α , н с н , т. е. формально ее можно записать в виде матрицы U с переменной Грассмана в качестве индекса и дискретным индексом. Это кажется сложным, но U α , н знак равно α Икс н + у н можно расширить в α и определяется четырьмя действительными или комплексными числами Икс 0 , Икс 1 , у 0 , у 1 . Чтобы узнать, как след матрицы Вт м , н выглядит как в α представление обратное В н , α знак равно α п н + д н матрицы U нужно. Таким образом, мы требуем

н U α , н В н , β знак равно н ( α β Икс н п н + α Икс н д н + β у н п н + у н д н ) знак равно β α знак равно дельта ( α β ) .

The О ( α β ) , О ( α ) , О ( β ) и О ( 1 ) термины определяют четыре коэффициента п 0 , п 1 , д 0 , д 1 из В . Результат п н знак равно ( λ Икс 1 , λ Икс 0 ) и д н знак равно ( λ у 1 , λ у 0 ) с λ знак равно 1 / ( Икс 1 у 0 Икс 0 у 1 ) .

Для получения следа также необходимо соотношение полноты в представлении числа частиц, которое принимает вид

г α В м , α U α , н знак равно г α ( α п м + д м ) ( α Икс н + у н ) знак равно п м у н д м Икс н знак равно дельта м , н .

Это уравнение, по существу, также является чисто алгебраическим, и его легко проверить с помощью г α знак равно α и явное решение для п и д . Просто проверьте случаи м н е { 00 , 01 , 10 , 11 } . Знак минус обязателен.

Чтобы получить выражение для трассировки, вставьте это дельта м , н в

м , н дельта м , н Вт н , м знак равно г α м н U α , н Вт н м В м , α знак равно г α Вт α , α .