Почему датчик собственной энергии электрона зависит?

Позволять ψ ( Икс ) быть полем электрона. Его преобразованная Фурье двухточечная функция читается

ψ ψ ¯ "=" 1 п м Σ ( п ) .

Если мы посчитаем Σ ( п ) , заметим, что он зависит от калибровочного параметра ξ , что в принципе не проблема, т.к. Σ ( п ) само по себе не наблюдается.

Но если мы подумаем о калибровочном преобразовании как о взятии ψ е я α ( Икс ) ψ ( Икс ) , то двухточечная функция должна удовлетворять

ψ ψ ¯ ψ е я α ( Икс ) е я α ( Икс ) ψ ¯ "=" ψ ψ ¯

Поэтому можно было бы наивно ожидать Σ ( п ) калибровочно-инвариантным, а значит, не должен зависеть от ξ . Каково решение этого противоречия? Почему наши ожидания не оправдываются?

Подвох, я подозреваю, заключается в расчете Σ . Строго говоря, это суммирование бесконечного числа порядков, но при вычислениях обязательно приходится усекать его на каком-то конечном порядке. Это усечение вводит калибровочную зависимость. Если бы кто-то мог вычислить его для всех порядков, я думаю, он был бы независим от калибровки.
@flippiefanus, если это сработает, это, безусловно, будет приятно. Но я не уверен на 100%, что это работает: в конце концов, при вычислении С элементы матрицы, мы запрашиваем ξ -независимость порядок за порядком в теории возмущений, верно?
Как происходит калибровочное преобразование е я α ( Икс ) изменять ξ ? В теории с ξ , вы отказались от калибровочной инвариантности, потому что зафиксировали калибровку, поэтому я не понимаю, как требование, ψ ψ ¯ быть «калибровочно-инвариантным» согласуется с фиксированием калибровки путем введения ξ .
@ACuriousMind Я вижу, что вы говорите, и это довольно убедительно. Я предполагаю, что у меня возникло ощущение, что что-то, что было априорно калибровочным инвариантом, не должно модифицироваться путем фиксации калибровки, и поэтому оно не должно зависеть от ξ (или любой другой параметр/процедура фиксации манометра).
В любом случае двухточечная функция нелокальна. ψ ( 0 ) ψ ¯ ( Икс ) , поэтому он не является калибровочно-инвариантным.
@ Томас спасибо за ваш комментарий. То, что вы говорите, звучит многообещающе, но я не уверен, что вы имеете в виду под нелокальными (нелокальными в каком смысле? Вы имеете в виду, что эти объекты являются распределениями и, следовательно, должны быть интегрированы по гладким функциям? двухточечная функция нелокальна или может быть что-то еще?)
В обычном смысле вам нужна фактическая двухточечная функция С ( 0 , Икс ) вычислить С ( п ) .
@ Томас, я чувствую себя глупо, но я не слежу за тобой. Я знаю, что вычислить ψ ψ ¯ ( п ) мне нужно ψ ψ ¯ ( Икс ) , но я не понимаю, насколько это вообще актуально. Если что-то калибровочно инвариантно в пространстве положений, оно также калибровочно инвариантно в импульсном пространстве. Зачем интегрировать г Икс ввести калибровочную зависимость в калибровочно независимый объект? Интегрирование по пространству — это, так сказать, калибровочно-инвариантная процедура...
Тебе нужно С ( Икс , у ) "=" ψ ( Икс ) ψ ¯ ( у ) . По лоренц-инвариантности С ( Икс , у ) зависит только от Икс у , и С ( п ) это FT в Икс у .
@Томас Вау. Теперь я понимаю, что вы имеете в виду, я действительно был глуп. Вы хотите написать ответ, чтобы я мог его принять?

Ответы (3)

Распространитель С ( п ) является преобразованием Фурье двухточечной функции С ( Икс , у ) "=" ψ ( Икс ) ψ ¯ ( у ) ,

С ( п ) "=" г п ( 2 π ) 4 опыт ( я п ( Икс у ) ) С ( Икс , у ) .
Заметим, что из-за лоренц-инвариантности С ( Икс , у ) не зависит от Икс + у . Ясно, что двухточечная функция нелокальна и не является калибровочно-инвариантной.

В качестве альтернативы ответу Томаса отметим, что если мы запишем закон преобразования явно, мы получим

ψ ( Икс ) ψ ¯ ( у ) ψ ( Икс ) е я α ( Икс ) е я α ( у ) ψ ¯ ( у ) "=" е я ( α ( Икс ) α ( у ) ) ψ ( Икс ) ψ ¯ ( у )

Мы видим, что двухточечная функция не может быть калибровочно-инвариантной, потому что поля оцениваются в разных точках и, таким образом, локальные фазы не компенсируют друг друга. Это не было очевидно в OP, потому что я явно не писал метки пространства-времени. Дурак я.

В этом смысле поле Дирака ψ ( Икс ) также является калибровочно неинвариантным, поскольку изменяется. Важнее то, что замена переменной не обязана сохранять форму уравнений, если она помогает решать уравнения.
Неправильно брать экспоненту за пределы ожидаемого значения. Калибровочный параметр α следует рассматривать как независимую (скалярную) степень свободы после квантования и как таковую имеет нетривиальное математическое ожидание. Смотрите ответ ниже.
@lux Я не согласен. Это просто неправда, что α следует воспринимать как оператор. Вы можете ввести поле Штюкельберга, выполнив калибровочное преобразование, калибровочным параметром которого является оператор. Но вы, безусловно, не должны . В стандартной КЭД без полей Штюкельберга калибровочное преобразование определенно является с -число и может быть вытащено из корреляционных функций.
ХОРОШО. Вы только посмотрите на лечение Ландау
@lux Извините, но не нужно: Ландау вполне может считаться α как оператор. Я не говорю, что вы не можете этого сделать; вы определенно можете. Я говорю, что вам не нужно , если вы не хотите. На самом деле в самой стандартной формулировке КЭД вы не учитываете α как оператор. Ваш подход, хотя и правильный, является скорее исключением, чем правилом. Это прекрасный подход, очень интересный, но вы должны помнить, что он неканонический, и вы не должны делать такие категоричные заявления.
Хорошо. Но ваша текущая преобразованная двухточечная функция неверна. Смотрите мой ответ ниже.
@lux Двухточечная функция не является неправильной. Ваш ответ - это просто список ссылок, практически не имеющих собственного содержания. Он содержит неправильное утверждение и немного больше. И уж точно не содержит обсуждения того, почему двухточечная функция, которую я пишу, неверна.

Пропагатор — или любая произвольная корреляционная функция — сильно зависит от калибровки внутренних фотонов (тождество Уорда имеет дело с вариациями калибровки внешних фотонов).

Впервые это было отмечено Ландау и Халатниковым (и примерно в то же время Фрадкиным), которые в основном анализируют квантованную версию поля калибровочных преобразований, называемую α ( Икс ) по ОП:

  • Л. Ландау, И. Халатников, сов. физ. ЖЭТП2,69 (1956 г.).
  • Е.С. Фрадкин, Ж.С. Эксп. Теор. 29, 258261 (1955).

Лечение α поскольку поле типа Штюкельберга более ясно в

  • MAL Capri, D. Fiorentini, MS Guimaraes, BW Mintz, LF Palhares, SP Sorella, Phys. Ред. Д 94, 065009 (2016)
  • T. De Meerleer, D. Dudal, SP Sorella, P. Dall'Olio, A. Bashir, Phys. Ред. Д 97, 074017 (2018)

Для обобщения произвольных функций Грина (включая простые произведения фермионного поля - см. комментарии) см.

  • T. De Meerleer, D. Dudal, SP Sorella, P. Dall'Olio, A. Bashir, Phys. Ред. Д 101, 085005 (2020)
  • Н. Ахмадиниаз, Дж. П. Эдвардс, Дж. Никасио, К. Шуберт, arXiv: 2012.10536 [hep-th]
Неправда, что произвольная корреляционная функция зависит от выбора калибровки внутренних фотонов. Корреляционные функции калибровочно-инвариантных операторов (таких как Ф мю ν или ψ ¯ ( Икс ) Вт ( Икс , у ) ψ ( у ) , с Вт линия Вильсона) калибровочно-инвариантны и не зависят от ξ .
Исходный вопрос касается корреляторов чистых произведений ψ поля. Новую тему следует обсудить в отдельном вопросе.
Почему? Вы делаете неправильное утверждение, независимо от того, имеет ли оно отношение к вопросу или нет. Просто неверно, что произвольные корреляционные функции зависят от калибровки. Эта фраза неверна. Отвечает ли это на вопрос в ОП, совершенно не имеет значения. Если кто-то спросит о черных дырах, а вы скажете, что 1+2=7, вы все равно сделаете ложное утверждение, даже если оно не имеет отношения к черным дырам.