В квантовой теории поля статистические суммы генерируют функционалы для корреляционных функций , что делает их ключевыми объектами изучения в формализме интеграла по траектории . Они являются версиями статистических сумм статистической механики для мнимого времени , что приводит к тесной связи между этими двумя областями физики. Статистические суммы редко могут быть решены точно, хотя свободные теории допускают такие решения. Вместо этого обычно реализуется пертурбативный подход, что эквивалентно суммированию по диаграммам Фейнмана .
В -мерной теории поля с действительным скалярным полем и действием статистическая сумма определяется в формализме интеграла по траекториям как функционал [1]
где - фиктивный источник тока . Он действует как производящий функционал для произвольных n-точечных корреляционных функций
Производные, используемые здесь, являются функциональными производными, а не регулярными производными, поскольку они действуют на функционалы, а не на регулярные функции. Из этого следует, что эквивалентное выражение для функции распределения, напоминающее степенной ряд по токам источника, дается как [2]
В искривленном пространстве-времени есть дополнительная тонкость, с которой нужно иметь дело из-за того, что начальное состояние вакуума не обязательно должно быть таким же, как конечное состояние вакуума. [3] Функции распределения также могут быть построены для составных операторов таким же образом, как и для фундаментальных полей. Корреляционные функции этих операторов затем могут быть вычислены как функциональные производные этих функционалов. [4] Например, функция распределения для составного оператора задается как
Знание функции распределения полностью решает теорию, поскольку позволяет напрямую вычислить все ее корреляционные функции. Однако существует очень мало случаев, когда функция распределения может быть вычислена точно. В то время как свободные теории допускают точные решения, взаимодействующие теории, как правило, этого не делают. Вместо этого функция распределения может быть оценена при слабой связи пертурбативно, что равнозначно регулярной теории возмущений с использованием диаграмм Фейнмана со вставками на внешних ножках. [5] Факторы симметрии для этих типов диаграмм отличаются от факторов корреляционных функций, поскольку все внешние ножки имеют идентичные вставки, которые можно менять местами, тогда как внешние ножки корреляционных функций все фиксированы в определенных координатах и, следовательно, фиксированы.
Выполняя преобразование Вика , функцию распределения можно выразить в евклидовом пространстве-времени как [6]
где — евклидово действие, а — евклидовы координаты. Эта форма тесно связана с статистической суммой в статистической механике, особенно потому, что евклидов лагранжиан обычно ограничен снизу, и в этом случае его можно интерпретировать как плотность энергии . Она также допускает интерпретацию экспоненциального множителя как статистического веса для конфигураций поля, причем большие флуктуации градиента или значений поля приводят к большему подавлению. Эта связь со статистической механикой также дает дополнительную интуицию относительно того, как должны вести себя корреляционные функции в квантовой теории поля.
Большинство тех же принципов скалярного случая применимы и к более общим теориям с дополнительными полями. Каждое поле требует введения своего собственного фиктивного тока, а поля античастиц требуют своих собственных отдельных токов. Воздействие на функцию распределения с производной тока снижает ее связанное поле из экспоненты, что позволяет строить произвольные корреляционные функции. После дифференцирования токи устанавливаются равными нулю, когда требуются корреляционные функции в вакуумном состоянии, но токи также могут быть установлены так, чтобы они принимали определенные значения, чтобы получить корреляционные функции в неисчезающих фоновых полях.
Для статистических сумм с фермионными полями , имеющими грассмановские значения , источники также имеют грассмановские значения. [7] Например, теория с одним дираковским фермионом требует введения двух грассмановых токов и, таким образом, статистическая сумма имеет вид
Функциональные производные по дают фермионные поля, тогда как производные по дают антифермионные поля в корреляционных функциях.
Теория теплового поля при температуре эквивалентна в евклидовом формализме теории с компактифицированным временным направлением длины . Статистические суммы должны быть соответствующим образом модифицированы путем наложения условий периодичности на поля и евклидовы пространственно-временные интегралы
Эту функцию распределения можно рассматривать как определение теории теплового поля в формализме мнимого времени. [8] Корреляционные функции получаются из функции распределения через обычные функциональные производные по токам.
Статистическую сумму можно точно решить в свободных теориях , дополнив квадрат в терминах полей. Поскольку сдвиг на константу не влияет на меру интеграла по траектории , это позволяет разделить статистическую сумму на константу пропорциональности, возникающую из интеграла по траектории, и второй член, который зависит только от тока. Для скалярной теории это дает
где находится позиционное пространство пропагатора Фейнмана
Эта статистическая сумма полностью определяет теорию свободного поля.
В случае теории с одним свободным фермионом Дирака завершение квадрата дает статистическую сумму вида
где находится позиционное пространство пропагатора Дирака