Концептуальные вопросы формулировки интеграла по путям в КТП

В настоящее время я пытаюсь научить себя формулировке интеграла по путям в КТП (ранее изучив канонический подход), но у меня есть некоторые концептуальные трудности, которые, я надеюсь, смогу здесь прояснить.

Для простоты рассмотрим случай свободного единственного действительного скалярного поля. Формулировка интеграла по путям для двухточечного коррелятора в этом случае дается выражением

0 | Т { ф ^ ( Икс ) ф ^ ( у ) } | 0 "=" ( я 2 ) 1 Z [ 0 ] дельта 2 Z [ Дж ] дельта Дж ( Икс ) дельта Дж ( у ) | Дж "=" 0
где
Z [ Дж ] "=" Д ф е я д 4 Икс ( 1 2 ф ( + м 2 ) ф + Дж ( Икс ) ф ( Икс ) )
является производящим функционалом для свободной теории.

Вот в чем заключается моя проблема. Являются ли поля ф ( Икс ) в функциональном Z [ Дж ] классические поля или операторные поля?

Если это классические поля, то определяет ли интеграл по путям какое-то отображение между полевыми операторами ф ^ ( Икс ) и их классические (c-числа) аналоги?

Книги, которые я читал до сих пор (книга КТП Средненицкого и "КТП и Стандартная модель" М. Шварца), кажутся немного двусмысленными в этой области.

Интеграл по траекториям объединяет классические поля.
@ACuriousMind Я так и думал, но хотел убедиться. Под «классическим полем» подразумевается просто то, что значение поля в точке пространства-времени Икс мю является собственным значением оператора поля ф ^ ( Икс ) в таком случае? Кроме того, есть ли какие-либо книги по интегральному подходу, которые вы бы особенно порекомендовали?
По сути, дубликат physics.stackexchange.com/q/9183/2451 .
Классические поля. LHS — это просто число (из-за ожидаемого значения <0| ... |0>). Таким образом, RHS также должен быть просто числом, поэтому поля не могут быть операторными в RHS. Это досадное злоупотребление обозначениями.

Ответы (1)

В интеграле по путям ф является не оператором, а фиктивной переменной интегрирования, которая работает со всеми возможными классическими конфигурациями поля.

Вы можете перейти между двумя формализмами, используя следующее соотношение:

0 | Т { а ^ б ^ . . . г ^ } | 0 "=" Д ф е я С [ ф ] / а ( ф ) б ( ф ) . . . г ( ф ) Д ф е я С [ ф ] / ,

где:

  • С [ ф ] это классическое действие
  • а ( ф ) , б ( ф ) , . . . , г ( ф ) некоторые классические наблюдаемые (функции на конфигурационном пространстве)
  • а ^ , б ^ , . . . , г ^ являются соответствующими квантовыми операторами. Здесь есть неоднозначность порядка, но она разрешается
  • Т является символом хронологического упорядочения (переупорядочивает строку операторов по координате времени по убыванию)
В правой части уравнения в вашем ответе следует ли это из операторов, действующих на собственные состояния поля, например а ^ | ф "=" а ( ф ) | ф ? Является ли это своего рода отображением между операторным формализмом и формализмом интеграла по путям, так что они производят одни и те же корреляционные функции?
@Будет точно. Доказательство можно найти практически в любом учебнике по QFT.
Есть ли какие-то конкретные книги по QFT, которые вы могли бы порекомендовать?
@Уилл Пескин и Шредер были бы моим выбором, хотя могут быть и лучшие варианты
Справа внутри интеграла: Где а ( ф ) оценивается? Поскольку они являются функциями конфигурационного пространства, а не функционалами, должно быть что-то вроде а ( ф ( Икс ) ) или что-то вроде того.
@Quantumwhisp каждому квантовому оператору можно связать функционал классической конфигурации. Подробности этой процедуры можно найти в любом введении к интегралам по путям.