Что такое регуляризация в QFT?

Вопрос.

Существует ли математически точное общепринятое определение термина «процедура регуляризации» в пертурбативной квантовой теории поля? Если так, то, что это?

Мотивация и фон.

Как указал пользователь drake в своем прекрасном ответе на мой предыдущий вопрос Независимость от схемы регулятора в КТП , часто говорят, что в перенормируемой квантовой теории поля результаты для физических величин (таких как амплитуды рассеяния) при записи в терминах других физические величины (например, физические массы, физические связи и т. д.) не зависят от выбранной процедуры регуляризации . На самом деле, пользователь drake принимает это желательное свойство как часть определения термина «перенормируемость».

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

Мое текущее понимание в двух словах.

Когда мы пертурбативно вычисляем, скажем, корреляционные функции для некоторой предварительной регуляризации/перенормировки теории, мы получаем формальные степенные ряды по голым параметрам, которые характеризуют теорию. Такие степенные ряды содержат выражения для петлевых интегралов, которые обычно расходятся, часто из-за эффектов больших импульсов (UV), поэтому мы «регуляризируем», а именно реализуем некоторую процедуру, с помощью которой эти интегралы зависят от некоторого параметра, назовем это Λ , и становятся конечными при условии Λ не принимает определенного предельного значения Λ * (это может быть ), соответствующий физическому режиму (например, УФ), который привел к исходной дивергенции. Затем мы перенормируем и находим (в перенормируемых теориях), что Λ выпадает из физических результатов.

Какой ответ я ищу?

Я ищу что-то вроде этого.

Процедура регуляризации — это предписание, согласно которому все расходящиеся интегралы, встречающиеся в теории возмущений, должны зависеть от параметра Λ и который удовлетворяет следующим свойствам: (1) Все расходящиеся интегралы становятся конечными для всех, кроме определенного значения Λ . (2)...

Я знаю, что есть и другие свойства, но я не знаю, что представляет собой достаточно полный список таких свойств, чтобы, если бы вы показали мне какую-то процедуру, я мог бы сказать: «О да, это считается действительной процедурой регуляризации, хорошо». работа!" Конечно, например, предполагаемая процедура регуляризации не может быть слишком разрушительной; Я не могу, например, просто заменить каждый петлевой интеграл на 3 Λ и на этом закончим, потому что это полностью уничтожит всю информацию о том, сколько петель содержится в соответствующих диаграммах. Какую часть «формальной структуры» интегралов должна сохранить процедура?

Насколько я могу судить, это не обсуждается ни в одном из стандартных текстов QFT, которые просто принимают проверенные процедуры, такие как жесткое отсечение УФ, тусклая рег, Паули-Вилларс и т. д., не комментируя достаточные общие условия. чтобы гарантировать, что эти конкретные процедуры считаются «хорошими». Конечно, ведется много дискуссий о том, сохраняют ли определенные регуляторы определенную симметрию, но это отдельный вопрос.

Редактировать. (8 января 2014 г.)

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

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

Возможно, вы захотите взглянуть на обзор Ростена . Точные уравнения течения РГ обсуждаются в очень общем виде.
Что касается вашего Edit. (8 января 2014 г.): «тогда введение высокого предела импульса имеет концептуально привилегированное положение среди регулирующих органов». Где вы накладываете эту отсечку? О пространственной части 4-импульсов? Это нарушает лоренц-инвариантность. На нулевой составляющей? То же. На (лоренц-инвариантном) квадрате импульсов? А как насчет безмассовых мод?
А как насчет теорий, которые не являются трансляционно-инвариантными с.т.? импульс действительно не определен? Например, рассмотрим квантование излома. При расчете разности нулевой энергии Кинк- и Вакуумного секторов наивное применение обрезания по импульсу не работает, так как для Кинк-сектора импульс не определен.

Ответы (5)

Определенный ответ на ваш вопрос таков: не существует математически точного, общепринятого определения термина «процедура регуляризации» в пертурбативной квантовой теории поля.

Вместо этого существуют различные схемы регуляризации со своими преимуществами и недостатками.

Может быть, вы найдете Главу B5: Расхождения и перенормировка моего часто задаваемых вопросов по теоретической физике на http://arnold-neumaier.at/physfaq/physics-faq.html . Там я пытаюсь абстрагироваться от общих черт и в общих чертах объяснить, что необходимо для того, чтобы перенормировка заработала. Общее мнение состоит в том, что детали схемы регуляризации не имеют значения, хотя на самом деле известно, что иногда некоторые схемы регуляризации дают явно неверные результаты.

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

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

С другой стороны, если вы хотите иметь математически строгую трактовку некоторых конкретных схем регуляризации для некоторых конкретных теорий, вам следует прочитать книги (i) Salmhofer, Renormalization: an Introduction, Springer 1999, и (ii) Scharf, Finite квантовая электродинамика: причинный подход, Springer 1995.

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

Я пессимистично настроен по поводу существования лучшего ответа только потому, что некоторые регуляторы удовлетворяют некоторым хорошим свойствам (т. е. унитарности, симметрии и т. д.), а другие — нет.

Как вы сказали, регуляризация необходима даже для того, чтобы начать понимать диаграммы, которые появляются в теории возмущений. Слово «возмущение» уже содержит намек на ответ, который вы, возможно, ищете. Если вы пытаетесь понять теорию взаимодействия г ν возмущением, это подразумевает, что кто-то возмущается, а именно свободная теория г мю . Я думаю, что регуляризация является особенностью пары г ν , г мю скорее, чем г ν один. Например, возьмем функциональную меру г мю соответствует обычному свободному полю

г мю ( ф ) знак равно 1 Z е 1 2 { ( ф ) 2 + м 2 ф 2 } Д ф
и разреши г ν ( ф ) знак равно 1 Z е В ( ф ) г мю ( ф ) куда В Ваш любимый потенциал взаимодействия, например,
В ( ф ) знак равно грамм ф 4   .
Позволять р ( Икс ) быть смягчителем (не уверен, как это пишется), т. е. гладкой функцией с быстрым затуханием или даже компактной поддержкой вокруг начала координат с р знак равно 1 . Позволять р р ( Икс ) знак равно 2 г р р ( 2 р Икс ) куда г - размерность (евклидова пространства-времени) и р является отсечкой УФ. Тогда, если обозначить через г мю р закон р р * ф с ф выборка по свободной вероятностной мере г мю , имеет место слабая сходимость г мю р к г мю когда р . В этом смысле модификация, которую мы делаем, представляет собой разумную регуляризацию меры г мю . Теперь при ближайшем рассмотрении е В ( ф ) г мю ( ф ) не имеет никакого смысла. Однако е В ( ф ) г мю р ( ф ) это прекрасно. Таким образом, игра становится попыткой получить г ν как предел мер г ν р ( ф ) знак равно 1 Z р е В р ( ф ) г мю р ( ф ) когда р . Обратите внимание, что я изменил В в В р потому что теория перенормировки говорит нам, что мы должны позволить связям типа грамм и т.д. зависит от отсечки р .

Если удастся такое построение взаимодействующей теории г ν , независимость от регуляризации можно понимать как демонстрацию независимости результата от выбора смягчителя р (реуляризация теплового ядра или Паули-Вилларс являются частными случаями).

В родственном контексте сингулярных SPDE недавний прогресс был достигнут Хайрером с его теорией структур регулярности (см. Также этот педагогический обзор ). Важной особенностью этой теории является то, что она позволяет доказывать аналогичные утверждения о независимости в отношении выбора процедуры регуляризации. В статье «Вторично-квантованная теорема Колмогорова-Ченцова» я также даю общую процедуру формирования произведений случайных распределений Шварца благодаря разложению операторного произведения Вильсона. Там тоже нужно ввести регуляризацию, а затем контролировать ее удаление. Более того, конечный результат не зависит от выбора регуляризации.

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

Конечно, в пространстве Фурье пропагатор для г мю р является

| р ^ ( 2 р п ) | 2 п 2 + м 2
но я предпочитаю определение в Икс пространство как свертка, поскольку это сводится к взятию локальных средних значений и является непрерывным аналогом процедуры вращения блока Каданова.

Кстати, понятие регуляризации не является исключительным свойством КТП, оно часто используется в математической теории распределения как инструмент для доказательства различных теорем и работы с нелинейными операциями. Во французской литературе по этому вопросу Лорана Шварца и многих других крылатой фразой является «тронкатура и регуляризация», т. Е. Использование ИК- и УФ-отсечки соответственно.

Регуляризация — это переписывание вашего интеграла, чтобы вы могли обрабатывать его расходимости, используя другие приемы.

Например, в КТП вы вычисляете некоторую амплитуду до определенного порядка в теории возмущений. Интегралы, представляющие петлевые диаграммы, расходятся. Наиболее распространенная процедура регуляризации называется размерной регуляризацией, когда вы параметризуете размерность вашего интеграла цикла, например, d = 4-c.

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

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

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

У вас есть теория, затем вы вычисляете какую-то физическую величину, затем вы получаете некоторое расхождение. Идея «регуляризации» состоит в том, чтобы определить другую теорию, зависящую от некоторого параметра, когда пусть параметр стремится к некоторому значению (скажем, d-> 4, Λ-> бесконечность, длина решетки к нулю...), что другая теория будет стремиться к оригинальной теории. Эта процедура гарантирует, что вы получите конечный результат, но когда параметр примет какое-то значение, вы восстановите исходную теорию.

Следующим шагом является «перенормировка». Мы используем регуляризованную теорию для вычисления некоторых основных физических величин, таких как масса, амплитуда рассеяния. Все другие физические величины могут быть выражены этой основной величиной, чудо «перенормируемой теории» заключается в том, что эти выражения не имеют отношения к параметру.

-1: Я прекрасно все это осознаю (что, я думаю, относительно ясно из моего обсуждения, следующего за вопросом?). Это, к сожалению, не отвечает на вопрос. В частности, я знаю, что после выбора регуляризации теория определяется дополнительным параметром, но физические результаты не зависят от него в перенормируемых теориях. Вопрос в том, какие допустимы такие параметризации.
См. Мой первый абзац, в котором ответили на ваш вопрос. Ключевое слово - "Стремиться".
Я ценю ваш вклад, но слова «склонны» не являются особенно точными или описательными. Обратите внимание, что я признаю необходимость того, чтобы регулятор сохранял (по крайней мере частично) формальную структуру «исходной теории», основной вопрос заключается в том, как кодифицировать «стремление к» и сделать его математически точным и явным.
Условие: 1, Lim S(Λ) -> S, при Λ->∞; 2, Нет расходимости с действием S(Λ)
-1. Те условия, которые вы записали, тривиальны и не гарантируют хорошей регуляризации.
@user1504 user1504 Хочешь попытаться ответить? Мне было бы любопытно услышать ваши мысли, даже если они не представляют собой полный ответ по вашим собственным меркам.