Вершинный оператор и нормальный порядок

Двухточечная функция, или пропагатор свободного безмассового бозона, ф в 2 измерениях дается,

(1) ф ( г , г ¯ ) ф ( ж , ж ¯ )   "="   α 2 π { п | г ж 2 р | + п | г ¯ ж ¯ 2 р | }

где р является ИК-отсечкой.

Мой вопрос:

Как это доказать

(2) е я к ф ( Икс )   "="   : е я к ф ( Икс ) : е α к 2 2 π п ( а / 2 р ) ,
где а является УФ-отсечкой, и : О : означает нормальный заказ?

Ответы (2)

I) Вспомните сначала ф ф - Расширение продукта оператора ( OPE ):

(А) р { ф ( г , г ¯ ) ф ( ж , ж ¯ ) }     : ф ( г , г ¯ ) ф ( ж , ж ¯ ) :   "="   С ( г , г ¯ ; ж , ж ¯ )   1 ,

где предполагается сокращение с -число:

(Б) С ( г , г ¯ ; ж , ж ¯ )   "="   0 | р { ф ( г , г ¯ ) ф ( ж , ж ¯ ) } | 0   "="   α 2 π п | г ж | 2 + а 2 ( 2 р ) 2 ,
ср. например, этот пост Phys.SE. Помимо ИК-отсечки р > 0 , мы добавили УФ-регулятор а > 0 в сокращении (В). Следовательно, в совпадающей точке мирового листа сжатие остается конечным

(С) С ( г , г ¯ ; г , г ¯ )   "="   α π п а 2 р .

II) р символ в уравнениях. (A)-(B) обозначает радиальное упорядочение. Обратите внимание, что многие авторы не пишут символ радиального упорядочения. р явно, см. например, уравнение ОП. (1). Часто это только неявно подразумевается в обозначениях. Радиальный порядок р имеет интерпретацию как временной порядок и необходим для того, чтобы установить контакт с соответствующим операторным формализмом и корреляционными функциями. Обратите внимание, в частности, что экспонента в уравнении ОП. (2) можно записать в радиальном порядке

(Д) р { е я к ф ( г , г ¯ ) } .

III) Затем мы используем теорему Вика между радиальным и нормальным порядком:

(Э) р { Ф [ ф ] }   "="   опыт ( 1 2 г 2 г   г 2 ж   С ( г , г ¯ ; ж , ж ¯ ) дельта дельта ф ( г , г ¯ ) дельта дельта ф ( ж , ж ¯ ) ) : Ф [ ф ] : ,

ср. например, ссылка 1 и мой ответ Phys.SE здесь . Здесь Ф [ ф ] обозначает произвольный функционал поля ф .

Для экспоненты (D) теорема Вика (E) принимает вид

р { е я к ф ( г , г ¯ ) }   "=" ( Е )   опыт ( ( я к ) 2 2 С ( г , г ¯ ; г , г ¯ ) ) : е я к ф ( г , г ¯ ) :
(Ф)   "=" ( С )   опыт ( α к 2 2 π п а 2 р ) : е я к ф ( г , г ¯ ) :   "="   ( а 2 р ) α к 2 2 π : е я к ф ( г , г ¯ ) ,

что является искомой формулой ОП (2).

IV) В качестве альтернативы предположим, что поле

(Г) ф ( г , г ¯ )   "="   ф ( г , г ¯ ) + ф ( г , г ¯ ) , ф ( г , г ¯ ) | 0   "="   0 ,
можно записать как сумму части уничтожения и создания. Тогда УФ-регуляризованный ОРЕ (А) становится

[ ф ( г , г ¯ ) , ф ( г , г ¯ ) ]   "=" ( г )   ф ( г , г ¯ ) ф ( г , г ¯ )     : ф ( г , г ¯ ) ф ( г , г ¯ ) :
(ЧАС)   "=" ( А )   С ( г , г ¯ ; г , г ¯ )   1 .

Более того, вершинный оператор становится

: е я к ф ( г , г ¯ ) :   "=" ( г )   е я к ф ( г , г ¯ ) е я к ф ( г , г ¯ )   "=" МПБ   е я к ф ( г , г ¯ ) + я к ф ( г , г ¯ ) + 1 2 [ я к ф ( г , г ¯ ) , я к ф ( г , г ¯ ) ]
(Я)   "=" ( ЧАС )   е я к ф ( г , г ¯ ) е к 2 2 С ( г , г ¯ ; г , г ¯ )   "=" ( С )   е я к ф ( г , г ¯ ) опыт ( α к 2 2 π п а 2 р ) ,

что снова приводит к искомой формуле ОП (2). В уравнении (I) мы использовали усеченную формулу BCH , см., например , этот пост Phys.SE.

Использованная литература:

  1. Дж. Полчински, Теория струн, Vol. 1; п. 39, экв. (2.2.7).

Здесь

я к ф ( Икс ) я к ф ( Икс ) "=" α к 2 π п ( а / 2 р ) ,

где а является УФ отсечкой.

Теперь мы можем написать (как и все ф расположены по адресу Икс т.е. радиальный порядок { ф н ( Икс ) } "=" ф н ( Икс )   )

{ я к ф } н ( Икс )   "="   : { я к ф } н ( Икс ) : + все сокращения "="   : { я к ф } н ( Икс ) : +   н С 2 ( α к 2 π п ( а / 2 р ) ) : { я к ф } н 2 ( Икс ) : + н С 2   н 2 С 2 2 ( α к 2 π п ( а / 2 р ) ) 2 : { я к ф } н 4 ( Икс ) : + "="   : { я к ф } н ( Икс ) : + н ( н 1 ) ( α к 2 2 π п ( а / 2 р ) ) : { я к ф } н 2 ( Икс ) : + н ( н 1 ) ( н 2 ) ( н 3 ) 2 ! ( α к 2 2 π п ( а / 2 р ) ) 2 : { я к ф } н 4 ( Икс ) : +

Расширяем вершинный оператор,

е я к ф ( Икс ) "=" н "=" 0 ( я к ф ) н ( Икс ) н ! "=" н "=" 0 : { я к ф } н ( Икс ) : н ! + ( α к 2 2 π п ( а / 2 р ) ) н "=" 2 : { я к ф } н 2 ( Икс ) : ( н 2 ) ! + 1 2 ! ( α к 2 2 π п ( а / 2 р ) ) 2 н "=" 4 : { я к ф } н 4 ( Икс ) : ( н 4 ) ! + "=" н "=" 0 : { я к ф } н ( Икс ) : н ! [ 1 + ( α к 2 2 π п ( а / 2 р ) ) + 1 2 ! ( α к 2 2 π п ( а / 2 р ) ) 2 + ] "="   : е я к ф ( Икс ) : е ( α к 2 2 π п ( а / 2 р ) ) .

КЭД