Вопрос.
Существует ли математически точное общепринятое определение термина «процедура регуляризации» в пертурбативной квантовой теории поля? Если так, то, что это?
Мотивация и фон.
Как указал пользователь drake в своем прекрасном ответе на мой предыдущий вопрос Независимость от схемы регулятора в КТП , часто говорят, что в перенормируемой квантовой теории поля результаты для физических величин (таких как амплитуды рассеяния) при записи в терминах других физические величины (например, физические массы, физические связи и т. д.) не зависят от выбранной процедуры регуляризации . На самом деле, пользователь drake принимает это желательное свойство как часть определения термина «перенормируемость».
На мой взгляд, чтобы такое утверждение или определение было осмысленным и полезным, необходимо иметь точное, математически четкое представление о том, что представляет собой процедура регуляризации. Таким образом, когда кто-то хочет вычислить что-то физическое, он может использовать любую процедуру, которую пожелает, при условии, что она удовлетворяет некоторым общим свойствам.
Мое текущее понимание в двух словах.
Когда мы пертурбативно вычисляем, скажем, корреляционные функции для некоторой предварительной регуляризации/перенормировки теории, мы получаем формальные степенные ряды по голым параметрам, которые характеризуют теорию. Такие степенные ряды содержат выражения для петлевых интегралов, которые обычно расходятся, часто из-за эффектов больших импульсов (UV), поэтому мы «регуляризируем», а именно реализуем некоторую процедуру, с помощью которой эти интегралы зависят от некоторого параметра, назовем это , и становятся конечными при условии не принимает определенного предельного значения (это может быть ), соответствующий физическому режиму (например, УФ), который привел к исходной дивергенции. Затем мы перенормируем и находим (в перенормируемых теориях), что выпадает из физических результатов.
Какой ответ я ищу?
Я ищу что-то вроде этого.
Процедура регуляризации — это предписание, согласно которому все расходящиеся интегралы, встречающиеся в теории возмущений, должны зависеть от параметра и который удовлетворяет следующим свойствам: (1) Все расходящиеся интегралы становятся конечными для всех, кроме определенного значения . (2)...
Я знаю, что есть и другие свойства, но я не знаю, что представляет собой достаточно полный список таких свойств, чтобы, если бы вы показали мне какую-то процедуру, я мог бы сказать: «О да, это считается действительной процедурой регуляризации, хорошо». работа!" Конечно, например, предполагаемая процедура регуляризации не может быть слишком разрушительной; Я не могу, например, просто заменить каждый петлевой интеграл на и на этом закончим, потому что это полностью уничтожит всю информацию о том, сколько петель содержится в соответствующих диаграммах. Какую часть «формальной структуры» интегралов должна сохранить процедура?
Насколько я могу судить, это не обсуждается ни в одном из стандартных текстов QFT, которые просто принимают проверенные процедуры, такие как жесткое отсечение УФ, тусклая рег, Паули-Вилларс и т. д., не комментируя достаточные общие условия. чтобы гарантировать, что эти конкретные процедуры считаются «хорошими». Конечно, ведется много дискуссий о том, сохраняют ли определенные регуляторы определенную симметрию, но это отдельный вопрос.
Редактировать. (8 января 2014 г.)
Обсуждения с другими аспирантами привели меня к мысли, что подходящее определение основано на апелляции к идее эффективной теории поля. В частности, если мы рассматриваем нашу теорию как эффективное низкоэнергетическое описание какой-то более полной теории, работающей в более высоких масштабах энергии, то введение ограничения по высокому импульсу имеет концептуально привилегированное положение среди регуляторов; это естественный способ кодирования идеи о том, что предполагаемая теория работает только ниже определенного масштаба.
Затем это можно использовать для определения процедуры регуляризации, которая в некотором смысле воспроизводит ту же структуру, закодированную при регуляризации с отсечкой. К сожалению, я все еще не совсем уверен, что это правильный способ думать об этом, и я также не уверен, как формализовать понятие сохранения структуры, возникающей в результате регуляризации отсечения. Я склоняюсь к тому, что наиболее важной структурой, которую необходимо сохранить, является сингулярное поведение регуляризованных интегралов в качестве обрезания. доводится до бесконечности.
Определенный ответ на ваш вопрос таков: не существует математически точного, общепринятого определения термина «процедура регуляризации» в пертурбативной квантовой теории поля.
Вместо этого существуют различные схемы регуляризации со своими преимуществами и недостатками.
Может быть, вы найдете Главу B5: Расхождения и перенормировка моего часто задаваемых вопросов по теоретической физике на http://arnold-neumaier.at/physfaq/physics-faq.html . Там я пытаюсь абстрагироваться от общих черт и в общих чертах объяснить, что необходимо для того, чтобы перенормировка заработала. Общее мнение состоит в том, что детали схемы регуляризации не имеют значения, хотя на самом деле известно, что иногда некоторые схемы регуляризации дают явно неверные результаты.
Этого и следовало ожидать, поскольку нерегуляризованная теория плохо определена и может быть определена корректно различными способами, точно так же, как расходящийся бесконечный ряд может иметь бесконечно много различных значений в зависимости от того, как вы группируете термины, чтобы суммировать их.
Если когда-нибудь в будущем и будет положительный ответ на ваш вопрос, то, скорее всего, только тогда, когда кто-то найдет логически обоснованное непертурбативное определение класса перенормируемых квантовых теорий поля.
С другой стороны, если вы хотите иметь математически строгую трактовку некоторых конкретных схем регуляризации для некоторых конкретных теорий, вам следует прочитать книги (i) Salmhofer, Renormalization: an Introduction, Springer 1999, и (ii) Scharf, Finite квантовая электродинамика: причинный подход, Springer 1995.
Я собираюсь дать глупый ответ, но я думаю, что это лучшее, что мы можем сделать. Регулятор - это любое предписание для определения интеграла по траекториям таким образом, чтобы после добавления суммы локальных контрчленов к действию и разрешения зависимости физических связей от масштаба перенормировки , корреляционные функции равны функциям, полученным при переходе к континуальному пределу теории решетки. По мотивам это похоже на ваше последнее редактирование, за исключением того, что нам действительно нужно использовать решетку вместо обрезания евклидова импульсного пространства, потому что последнее нарушает калибровочную инвариантность.
Я пессимистично настроен по поводу существования лучшего ответа только потому, что некоторые регуляторы удовлетворяют некоторым хорошим свойствам (т. е. унитарности, симметрии и т. д.), а другие — нет.
Как вы сказали, регуляризация необходима даже для того, чтобы начать понимать диаграммы, которые появляются в теории возмущений. Слово «возмущение» уже содержит намек на ответ, который вы, возможно, ищете. Если вы пытаетесь понять теорию взаимодействия возмущением, это подразумевает, что кто-то возмущается, а именно свободная теория . Я думаю, что регуляризация является особенностью пары скорее, чем один. Например, возьмем функциональную меру соответствует обычному свободному полю
Если удастся такое построение взаимодействующей теории , независимость от регуляризации можно понимать как демонстрацию независимости результата от выбора смягчителя (реуляризация теплового ядра или Паули-Вилларс являются частными случаями).
В родственном контексте сингулярных SPDE недавний прогресс был достигнут Хайрером с его теорией структур регулярности (см. Также этот педагогический обзор ). Важной особенностью этой теории является то, что она позволяет доказывать аналогичные утверждения о независимости в отношении выбора процедуры регуляризации. В статье «Вторично-квантованная теорема Колмогорова-Ченцова» я также даю общую процедуру формирования произведений случайных распределений Шварца благодаря разложению операторного произведения Вильсона. Там тоже нужно ввести регуляризацию, а затем контролировать ее удаление. Более того, конечный результат не зависит от выбора регуляризации.
Заметим, что нет причин ограничивать приведенные выше рассуждения возмущенными теориями. которые являются гауссовыми. В некотором смысле конформная теория возмущений касается подобных возмущений вокруг других нетривиальных КТП.
Конечно, в пространстве Фурье пропагатор для является
Кстати, понятие регуляризации не является исключительным свойством КТП, оно часто используется в математической теории распределения как инструмент для доказательства различных теорем и работы с нелинейными операциями. Во французской литературе по этому вопросу Лорана Шварца и многих других крылатой фразой является «тронкатура и регуляризация», т. Е. Использование ИК- и УФ-отсечки соответственно.
Регуляризация — это переписывание вашего интеграла, чтобы вы могли обрабатывать его расходимости, используя другие приемы.
Например, в КТП вы вычисляете некоторую амплитуду до определенного порядка в теории возмущений. Интегралы, представляющие петлевые диаграммы, расходятся. Наиболее распространенная процедура регуляризации называется размерной регуляризацией, когда вы параметризуете размерность вашего интеграла цикла, например, d = 4-c.
Получается, что ваш интеграл расходился при большом импульсе, следовательно, у него была отрезана ветвь. Теперь, после размерной регуляризации, расхождение ветвей стало простым полюсом при c=0. Как известно, с простым шестом справиться легче, чем с веткой.
После того, как ваш интеграл станет более управляемым, вы можете перенормировать, а затем разделить расходящиеся и конечные части вашего результата. В конечном итоге вы используете другие приемы для удаления расходящейся части, например, добавляете контрчлены к вашему лагранжиану.
У вас есть теория, затем вы вычисляете какую-то физическую величину, затем вы получаете некоторое расхождение. Идея «регуляризации» состоит в том, чтобы определить другую теорию, зависящую от некоторого параметра, когда пусть параметр стремится к некоторому значению (скажем, d-> 4, Λ-> бесконечность, длина решетки к нулю...), что другая теория будет стремиться к оригинальной теории. Эта процедура гарантирует, что вы получите конечный результат, но когда параметр примет какое-то значение, вы восстановите исходную теорию.
Следующим шагом является «перенормировка». Мы используем регуляризованную теорию для вычисления некоторых основных физических величин, таких как масса, амплитуда рассеяния. Все другие физические величины могут быть выражены этой основной величиной, чудо «перенормируемой теории» заключается в том, что эти выражения не имеют отношения к параметру.
Стивен Мэти
Диего Масон
варпфел