Должны ли мы пропустить явную регуляризацию в процессе перенормировки?

В процессе перенормировки регуляризация обычно упоминается как необходимая для укрощения бесконечностей, встречающихся в квантовой теории поля. Действительно ли необходима явная регуляризация?

Возьмем, к примеру, фермионный пропагатор.

г "=" я п м 0 Σ ( п ) + я ϵ "=" я ( 1 б ( п 2 ) ) п ( м 0 + а ( п 2 ) ) + я ϵ ,
где собственная энергия выражается как
Σ ( п ) "=" а ( п 2 ) + б ( п 2 ) п .
Пропагатор имеет полюс в
( 1 б ( п 2 ) ) 2 п 2 ( м 0 + а ( п 2 ) ) 2 "=" 0
то есть
п "=" м п "=" м 0 + а ( м п 2 ) 1 б ( м п 2 ) ,
где м 0 голая масса (бесконечная) и м п физическая масса (конечная).

Вышеупомянутый пропагатор фермиона можно перестроить, введя модифицированную собственную энергию Σ ^ ( п ) так что

г "=" я Z п м п Σ ^ ( п ) + я ϵ ,
где Σ ^ ( п ) определяется как
Z 1 Σ ^ ( п ) "=" [ а ( п 2 ) а ( м п 2 ) ] + [ б ( п 2 ) б ( м п 2 ) ] п ,
и
Z "=" 1 1 б ( м п 2 ) .

Обратите внимание, что разница а ( п 2 ) а ( м п 2 ) конечно, хотя а ( п 2 ) и а ( м п 2 ) индивидуально бесконечны. Если мы будем следовать режиму использования конечных разностей (т.е. а ( п 2 ) а ( м п 2 ) ) и измеряемые величины (т.е. м п ), то явные схемы регуляризации (такие как широко используемая размерная регуляризация) вообще не нужны.

Конечно, можно следовать той же процедуре в другом энергетическом масштабе (шкала перенормировки мю ), а не в масштабе физической массы ( м п ).

Добавлено примечание о разнице между двумя бесконечными величинами. Возьмите следующий пример,

0 р 1 Икс г Икс 0 р 0 1 Икс г Икс "=" р 0 р 1 Икс г Икс "=" п ( р р 0 ) .
Жесткие математики будут с подозрением относиться к первому шагу и потребуют некоторой формы регуляризации. Действительно ли физики, хотя их и не беспокоит отсутствие математической строгости в таких вещах, как интеграл по путям, нуждаются в формальной явной регуляризации для получения окончательного результата?

Описанную выше процедуру можно назвать неявной регуляризацией. Подобная идея уже была подхвачена некоторыми исследователями (см. подход Джекива , подход австралийской школы и подход бразильской школы ), хотя и в иной форме, чем здесь. Достоинство неявной регуляризации состоит в том, что она обходит различные ловушки, препятствующие явной регуляризации, например, нарушение калибровочной инвариантности при регуляризации обрезания или γ 5 проблема размерной регуляризации.

Итак, мой вопрос:

  1. В свете упомянутого выше порока явной регуляризации (более того, учитывая хитросплетения и ловушки, явная регуляризация часто вызывает недоумение, а не разъяснение, когда перенормировка преподается в учебниках), должны ли мы пропустить ее в процессе перенормировки?
  2. Как разные схемы неявной регуляризации ( Jackiw , австралийская и бразильская школы ) соотносятся друг с другом?
Физики могут не заботиться о явной строгости, но они не небрежны. Вы можете сказать, что их беспокоит содержание, а не нотация.
Неявная отмена п 0 п 0 это регуляризация, просто вы сделали это неофициально. Оба являются расходящимися величинами, но вы «держали» их в неразрешенной форме. п 0 и отменил их.
Неявная регуляризация прекрасно работает для скалярных и спинорных теорий, но не работает для калибровочных теорий. Я предлагаю вам вычислить собственную энергию фотона без введения явного (и калибровочно-инвариантного) регулятора и проверить, выполняется ли тождество Уорда. Спойлер: это не так.
На самом деле можно представить себе теорию, в которой пертурбативные поправки к фундаментальным константам конечны. Настоящая проблема не в их ценности. Настоящая проблема в их существовании — они вовсе не нужны, они вредны, поэтому их надо вычесть. И это еще не гарантирует согласия с экспериментом.
@AccidentalFourierTransform Пожалуйста, выполните поиск по ключевому слову «неявная регуляризация». Кто-то уже подхватил подобную идею, хотя и иначе, чем в моем вопросе. Спойлер: Идентификация подопечного удовлетворена.
@MadMax Неявная регуляризация, как вы ее определили, не работает для калибровочных теорий. Если есть более сложная версия, которая работает, и вы уже знакомы с ней, то какой у вас вопрос?

Ответы (2)

Я обращусь к вашему комментарию о регуляризации в конце. Обратите внимание, что при исполнении

0 р г Икс Икс 0 р 0 г Икс Икс "=" п р р 0

вы неявно отменяете расходящиеся условия п 0 п 0 . Действительно, формально вводить схему регуляризации не нужно, можно сделать это вот таким ручным способом.

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

См. добавленные комментарии в конце вопроса о неявной и явной регуляризации.

Если у вас нет какой-то схемы регуляризации, то трудно сказать, что разница двух бесконечных значений конечна. Такая разница не определяется. Вы должны принять какой-то подход, чтобы справиться с этим. Вы можете определить его, например, как некий предел. Но тогда это явная схема регуляризации.

Другой вариант — ввести в вашу теорию некоторую характеристику, делающую все конечным. Затем вы вычисляете интересующие вас значения. Если результаты не зависят от характеристики, вы можете установить ее обратно в «ноль». Вот к чему я испытываю довольно теплые чувства (по бессовестным причинам, не связанным с физикой).

https://journals.aps.org/prd/abstract/10.1103/PhysRevD.43.499

Основная схема состоит в том, чтобы ввести нелокальность и заметить, что теперь интегралы конечны. Проработайте значения. Обратите внимание, что результаты можно упорядочить так, чтобы они не зависели от нелокальности по порядку. Затем в конце отключите нелокальность.

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