Действительно, есть неряшливость в терминологии. Квантовую теорию обычно приспосабливают к тому, чтобы она подчинялась
пмю| Ом ⟩ = 0
поскольку теория возмущений и формализм LSZ требуют, чтобы это работало должным образом.
Однако это еще не все. Если мы посмотрим на гамильтониан свободного скаляра, он изначально
ЧАС= ∫юп2(а†( п ) а ( п ) + а ( - п )а†( - п ) )г3п( 2 π)3
после вставки модового расширения полей и использования канонических коммутационных соотношений несколько раз. Если мы формально продолжим использовать CCR для получения
а†а
форме, в которой он выглядит как (энергетически взвешенный) числовой оператор, мы получаем
ЧАС= ∫юпа†( р ) а ( р )г3п( 2 π)3+12∫юпдельта3D _(п⃗ −п⃗ )г3п
где последний объект, очевидно, довольно сильно расходится/плохо определен. Обычно просто отбрасывают эту часть, поскольку она «постоянна», а переопределение гамильтониана путем вычитания константы не меняет физику. Однако если применить это к
| 0 ⟩
, вы обнаружите, что этот расходящийся кусок дает
точное значение гамильтониана в вакууме.
Но есть хак, который мы можем попытаться понять в этом объекте: во-первых, отметим, что
∫Uеяп⃗ ⋅Икс⃗ г3х = ( 2 π)3дельта3D _(п⃗ )
поэтому объем подмножества
U⊂р3
официально дается
В( У) =∫Uг3х = ( 2 π)3дельта3D _( 0 )
и мы видим, что расхождение может быть связано с
р3
просто бесконечность. В таких случаях обычно рекомендуется перейти к
плотности :
ϵвакуум( У) : =ЧАС| 0 ⟩В( У)"="12∫юпг3п( 2 π)3
который все еще расходится, потому что
юп"="п2+м2−−−−−−−√
и элемент объема
г3п
квадратичен в
| р |
поэтому интеграл
ϵ (р3) =1( 2 π)2∫∞0юпп2д п
все равно расходится. Ответ заключается в регуляризации интеграла с жестким обрезанием импульса.
Λ
, где сейчас
ϵвакуум( ) = _1( 2 π)2∫Λ0юпп2д п
конечно. Обратите внимание, что у нас
также есть возможность классически добавить кусок
В0( Λ )
к плотности гамильтониана - она соответствует положению минимума классического потенциала для поля. В регуляризованной теории и при отсутствии гравитации мы вольны выбирать
В0( Λ )
однако мы хотим, в частности, как
В0( Λ ) = -ϵвакуум( Л ) + х
для некоторого конечного и
независимого от обрезания х
. Тогда мы можем снова убрать обрезание и все равно получить конечную энергию вакуума.
Λ
. В частности, мы можем выбрать
х = 0
, дает правильный рецепт формализма LSZ.
Однако в присутствии гравитации нуль классического потенциала не является произвольным, поэтому для КТП, связанной с гравитацией,х
становится измеримой наблюдаемой , что означает, что математическое ожидание энергии вакуума становится ненулевым. Вместо этого он становится экспериментальным вкладом в теорию.
Вышеизложенное — просто длинный и явный способ заявить, что «0-точечная функция» КТП должна быть перенормирована (на языке диаграмм Фейнмана мы должны вручную избавиться от диаграмм вакуумного пузыря, которые являются диаграммами без внешние ноги), а параметр пертурбативной перенормировки нам нужно зафиксировать для того, чтобы это была именно энергия (плотность) вакуума.
Слереа