Дирак однажды сказал, что перенормировка — это всего лишь временная процедура, и в наших представлениях должно произойти фундаментальное изменение. Что-то изменилось?

Когда-то Дирак сказал о перенормировках в квантовой теории поля следующее ( см. здесь , например):

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

Произошло ли это фундаментальное изменение впоследствии, и если да, то какова природа этого «фундаментального» изменения? Является ли это попыткой объединить квантовую механику с общей теорией относительности (двумя основными направлениями которой являются теория струн и петлевая квантовая гравитация, и я не думаю, что они соответствуют реальности, но это в стороне)? Есть ли что-то более экзотическое? Или Дирак ошибался, полагая, что эта процедура — всего лишь временная процедура?

Ответы (7)

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

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

Я не нахожу ни один из этих подходов особенно удовлетворительным. Я лично склоняюсь к подходу «больше производных», потому что он предполагает наименьшее количество технических изменений, но требует огромных философских изменений. Причина этого философского изменения проистекает из требования, чтобы теория была лоренц-инвариантной; в принципе можно было бы сделать теории не просто перенормируемыми, а УФ-конечными, добавив еще несколько пространственных производных. Однако из-за лоренц-инвариантности добавление большего количества производных по пространству обязательно влечет за собой добавление большего количества производных по времени. Остроградский показал только в классической физике, что наличие более двух производных обязательно приводит к тому, что гамильтониан больше не имеет нижней границы (хороший технический обзор дан в Woodard (2007) иВудард (2015) ).

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

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

Содержание представления КелленаЛемана ( ссылка на Википедию , также освещается в разделе 10.7 Вайнберга «Квантовая теория полей», т. I ) состоит в том, что приведенный выше постулат в сочетании с лоренц-инвариантностью обязательно влечет не более двух производных в инверсия пропагатора.

Комбинация Остроградского и Келлена-Лемана кажется непреодолимой, но только если вы настаиваете на утверждении, что «гамильтониан = энергия» (здесь я использую «гамильтониан» как сокращение для генератора переводов времени, а «энергия» как сокращение для «тот сохраняющийся заряд, который имеет нижнюю границу и удерживает поля в фазовом пространстве»). Я подозреваю, что если вы готовы разделить эти две работы, то трудности в теориях высших производных исчезнут. Новая версия постулата преобразования энергии/времени будет выглядеть примерно так:

  1. генераторы пространственно-временных трансляций сохраняются (гамильтоновы, 4-импульсные),
  2. существует сохраняющийся 4-векторный оператор, принимающий значения в прямом световом конусе, и
  3. Операторы в 1 и 2 совпадают для низкой частоты (классическое физическое соответствие).

Ключевой статьей в этом направлении является Капарулин, Ляхович и Шарапов (2014) «Классическая и квантовая устойчивость динамики высших производных» (и статьи, которые ее цитируют, особенно тех же авторов), которая показывает, что неустойчивость становится лишь проблема для осциллятора Пайса-Уленбека, когда вы связываете сектор с более высокой производной с другими секторами определенным образом, и он стабилен, когда вы ограничиваете связи другими способами.

Все это говорит о том, что большее количество деривативов не будет панацеей. Если вы попытаетесь устранить расхождения в калибровочной теории, например, добавив больше производных, вы всегда будете добавлять члены взаимодействия с большим количеством производных таким образом, чтобы теория оставалась такой же расходящейся, какой она была в начале. Обратите внимание, что «больше производных» математически эквивалентно регуляризации Паули-Вилларса (PV) путем разложения на неполные дроби преобразования Фурье пропагатора. Известно, что PV плохо сочетается с калибровочной теорией именно из-за этой проблемы, хотя обычно это формулируется как нарушение калибровочной инвариантности, поскольку связи более высокого порядка с большим количеством производных, необходимых для сохранения калибровочной инвариантности, не учитываются.

О 2): я никогда не читал Уилсона, говорящего, что континуальные КТП бессмысленны и что эффективные теории — это все, что есть. Это современная интерпретация теории Уилсона, возможно, для того, чтобы провозгласить приход теории струн.
@AbdelmalekAbdesselam Я тоже. Я никогда не слышал, чтобы кто-нибудь описывал это так, как я сам, так я интерпретировал классификацию неперенормируемых терминов как «тривиальные» или «нерелевантные» в классе QFT, который я взял с помощью Peskin & Schoeder под практикующий специалист по решетчатой ​​квантовой трансформации Фурье: Scholarpedia.org/article/Lattice_quantum_field_theory .
Я только что дал очень подробный ответ на physics.stackexchange.com/questions/372306/… , который, я надеюсь, прольет свет на 2).
@AbdelmalekAbdesselam Квантуются ли QFT на непрерывном фоне? И если да, то как это может быть?
@descheleschilder: Да, фон или пространство-время непрерывны. Поля классически являются функциями из этого фона в набор действительных чисел (скалярный случай). В КТП они квантуются и становятся операторнозначными распределениями.

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

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

Интересно, вы читатель Достоевского? Иногда он пишет предложения длиной в одну страницу.
Думаю, стоит упомянуть, что к концу своей жизни Дирак следил за развитием теории струн. Дирак даже встречался с Эдом. Виттена и рассказал ему о своей мерзости по поводу перенормировки. Он также сказал, что Виттен предоставил «блестящие решения ряда проблем математической физики». Если вы также вспомните, что подход Дирака к физике в значительной степени основывался на математической красоте, то легко предположить, что теория струн — это теория, о которой Дирак всегда мечтал как о более фундаментальной, чем КТП.
@Diracology Действительно, но, учитывая, что низкоэнергетические эффективные версии теорий струн по-прежнему представляют собой QFT, которые необходимо перенормировать, вам все равно нужен подход Вильсона, чтобы «понять смысл» того, что происходит.
@physicopath Во многих языках написание длинных предложений довольно распространено. Мне потребовались годы, чтобы привыкнуть писать относительно короткие предложения, как это принято в английском языке. И я поражаюсь, когда вижу, что носители английского языка испытывают трудности в разборе длинных предложений. Например, в моем старом школьном учебнике по литературе было предложение длиной в полстраницы.
@ACuriousMind До какого момента КТП считается действительным в эффективной теории поля?
@ACuriousMind Но опять же, до какой степени вы можете сказать, что QFT считается эффективным?

Почему вы думаете, что что-то изменилось ? Хотя я полностью согласен с точкой зрения ACuriousMind о том, что рассмотрение КТП как эффективной теории снимает некоторое давление по поводу природы перенормировки, я не думаю, что это то, что представлял себе Дирак.

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

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

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

Что касается вопроса о том, произошли ли такие фундаментальные изменения, я бы сказал и да, и нет. Да, потому что точка зрения Уилсона дала гораздо более ясную картину перенормировки, которая, кстати, не является «заметанием расхождений под ковер». Заявление Дирака о его понимании перенормировки (или ее отсутствия) совершенно устарело в 2017 году. Однако я также сказал «нет», потому что, по моему мнению, разработка РГ Вильсона все еще продолжается. Я знаю, что это уже учебник для курсов КТП, но я думаю, что РГ Уилсона еще не понята в более общей ситуации, когда связи (и отсечки!) зависят от пространства. Я чувствую, что в конечном итоге можно только объявить о победе и сказать: «Да, теперь мы понимаем РГ Уилсона».


Редактировать: для тех, кто все еще думает, что перенормировка - это "процедура стоп-пропуска" или какой-то произвольный рецепт поваренной книги, см. мой ответ на определение перенормируемости Вильсона . Это должно (надеюсь) прояснить, что перенормировка континуальных КТП, рассматриваемая в рамках Вильсона, на самом деле является хорошо поставленной и, смею сказать, красивой .математический вопрос. Некоторые, как, возможно, Дирак, могут принять идею о том, что BPHZ или перенормировка Вильсона-Полчинского — это патч, ожидающий лучшего, более концептуального или геометрического объяснения. Мой ответ вовсе не ортогонален этому убеждению. Именно на это я пытался указать, говоря о связи с голографической РГ, которая является своего рода геометризацией РГ через введение дополнительного координатного направления. г соответствующий масштабу. Эксперты AdS/CFT могут поправить меня, если я ошибаюсь, но я так понимаю, что связь с РГ играет важную роль в этом соответствии, но точная количественная связь между Вильсоновской РГ и голографической РГ остается неясной.

Почему минус? Я сказал много вещей в своем ответе, и я не знаю, какая из них была осуждена. Было ли это преступлением Лесе Дирака?
Что вы имеете в виду, когда пишете: Было ли это преступлением Лесе Дирака ? Я понимаю, что это смешно ( преступление ), но я не понимаю, что ты имеешь в виду под лесой Дирака . Или, еще короче, что значит lese ? Это аббревиатура? ;-)
@descheleschilder: Кстати, вы умны, что удалили свой предыдущий комментарий. Это игра слов на en.wikipedia.org/wiki/L%C3%A8se-majest%C3%A9 .
Это интересно знать! И теперь я понимаю, что вы имели в виду под лизингом . И это смешно!

Я думаю, что Дирака не устраивала математическая бессмысленность способа выполнения перенормировки.

Это изменилось с появлением теории причинных возмущений . Последнее является ковариантным и математически безупречным способом обработки пертурбативной УФ-перенормировки, без введения где-либо во время разработки обрезания (и связанного с ним сомнительного предела), геометрически бессмысленной нецелочисленной размерности или любой математически неопределенной (бесконечной) величины. Нет и нефизических голых величин - параметры е а также м возникающие при каузальном подходе к КЭД, имеют во всем своем физическом смысле заряд электрона (при нулевой энергии) и массу электрона.

Проблема с отключением энергии Λ заключается в том, что он разрушает ковариантность и причинную структуру, которые проявляются только в пределе. Более того, это приводит (за исключением асимптотически свободных теорий) к таким артефактам, как полюсы Ландау, которые запрещают принятие предела Λ . Ковариантный подход, учитывающий причинность с самого начала, позволяет избежать последней и концептуально лучше. Это также объясняет, почему стандартный подход приводит к обычным проблемам с бесконечностями, а именно потому, что распределения можно умножать только в тщательно контролируемых условиях.

(Причинный подход является пертурбативным, но поддерживает ренормализационную группу , которая добавляет к ней ту же непертурбативную информацию, что и любая расширенная ренормгруппа теория возмущений, включая оценку возможного полюса Ландау. Полюс Ландау конструктивно опасен только в подходе, где обрезание должно пересекают полюс Ландау Таким образом, даже если полюс Ландау в ренормализационной структуре Боголюбова-Штюкельберга может присутствовать в каузальном подходе, он вообще не имеет последствий, так как можно выполнить пертурбативное построение при любой фиксированной энергии ниже масштаба перенормировки ( в КЭД, даже при Е знак равно 0 ) и имеет правильную теорию возмущений. Только физическая связь должна быть небольшой.)

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

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

То же самое относится и к жалобе Фейнмана (цитируется по http://www.cgoakley.org/qft/ ) .

Игра с оболочкой, в которую мы играем... технически называется «перенормировкой». Но каким бы умным ни было это слово, я бы назвал это тупиковым процессом! Необходимость прибегать к таким фокусам-покусам помешала нам доказать, что теория квантовой электродинамики математически непротиворечива. Удивительно, что теория до сих пор так или иначе не доказала свою непротиворечивость; Я подозреваю, что перенормировка математически незаконна.

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

+1, потому что подход Эпштейна-Глейзера заслуживает большей известности. Однако я не думаю, что она подпадает под категорию «сдвига парадигмы», например, по сравнению с теорией Уилсона. В качестве преимущества вы упоминаете отсутствие отсечек в подходе EP. Я не уверен, что это желательно. При определении обычного интеграла как предела сумм Римана, включающих число Н подынтервалов, я не вижу вреда во введении Н до ограничения Н . Точно так же нет ничего плохого в том, чтобы ввести ограничение по УФ-излучению. Λ , при условии успешного анализа того, что происходит в...
... Λ предел. Следует также упомянуть, что определение перенормированной теории возмущений без введения обрезаний было сделано ранее Вольфхартом Циммерманом с его версией формулы леса, действующей на подынтегральную функцию в импульсном пространстве.
@AbdelmalekAbdesselam: проблема с отсечкой заключается в том, что она разрушает ковариацию и причинно-следственную структуру, которые проявляются только в пределе. Более того, это приводит к таким артефактам, как полюса Ландау, которые запрещают брать предел Λ . Ковариантный подход, учитывающий причинность с самого начала, позволяет избежать последней и концептуально лучше. Это также объясняет, почему стандартный подход приводит к обычным проблемам с бесконечностями.
Я не думаю, что Дирак потребовал бы смены парадигмы, если бы знал причинный подход и то, что он универсально применим ко всем релятивистским КТП, включая стандартную модель.
Причинный подход является чисто пертурбативным и не дает понимания проблемы полюса Ландау.
Это избегает этого. Полюс Ландау конструктивно опасен только при заходе на посадку, где отсечка должна проходить через полюс Ландау. Таким образом, даже если в ренормализационной структуре Боголюбова-Штюкельберга есть полюс Ландау, это не имеет вообще никаких последствий, поскольку пертурбативное построение можно делать при любой фиксированной энергии ниже масштаба перенормировки (в КЭД даже при Е знак равно 0 ) и имеет правильную теорию возмущений. Только физическая связь должна быть небольшой.
Вы подразумеваете, что причинный подход может непертурбативно перенормировать фи четыре в 4d (у которого есть проблема призрака Ландау). Это было бы новостью для меня и для многих других людей...
@ArnoldNeumaier-мне очень нравится ваш ответ (хотя я не люблю отбирать лучшие ответы у кого-то другого). Всего один вопрос: что вы подразумеваете под зарядом электрона (при нулевой энергии)? Разве заряд не остается одинаковым при всех энергиях?
Еще один вопрос: что вы имеете в виду, когда пишете геометрически бессмысленную нецелочисленную размерность ?
@AbdelmalekAbdesselam: причинный подход является пертурбативным, но поддерживает ренормализационную группу, которая добавляет к нему ту же непертурбативную информацию, что и любая расширенная РГ теория возмущений, включая оценку возможного полюса Ландау.
@descheleschilder: 1. Заряд электрона - это так называемая бегущая константа связи; поэтому его измеримое значение изменяется в зависимости от энергии, используемой для его исследования; см. arxiv.org/abs/hep-ex/0002035 - 2. Нецелочисленные размерности появляются в подходе размерной регуляризации к КТП и лишены физического смысла.
@AbdelmalekAbdessela: Мои взгляды на Φ 4 в 4D и полюс Ландау можно увидеть из обсуждений на physicsoverflow.org/32752 и physicsoverflow.org/21391
@ArnoldNeumaier-ответ на мой второй вопрос, конечно, очевиден (хотя во фракталах могут быть нецелые измерения; они могут иметь размеры от 1 до 2). Но в случае с зарядом электрона, что вы подразумеваете под его физической величиной ? Я знаю, что измеримое значение зависит от энергии, с которой вы измеряете его значение, но как вы измеряете его значение с нулевой энергией? Или можно посчитать? А как насчет неизбежной квантовой поляризации, влияющей на измеряемую величину (чем выше энергия, тем меньше эффект)? Наконец (см. следующий комментарий),
Можно ли говорить о бегущей массе (под чем я не подразумеваю кого-то, кто бежит по улице) точно так же, как вы говорите о бегущей постоянной связи ? Ну, это больше, чем один вопрос, но мне всегда нравится хорошо понимать вещи.
@descheleschilder: все константы связи работают под ренормализационной группой (Боголюбова-Штукельберга). - физический = измеримый, в отличие от голого (нечетко определенного, в зависимости от отсечки). нулевая энергия = энергия настолько мала, что бег не заметен экспериментально. Это то, что фигурирует в книге Шарфа по КЭД.

Он не единственный. Фейнман также называл перенормировку «фокусом-покусом».

Оказывается, перенормировка имеет красивую математическую структуру, описываемую космической группой Галуа :

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

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

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

Есть два разных РГ. РГ Вильсона — только полугруппа, а РГ Боголюбова и Штюкельберга — группа. См. физику.stackexchange.com/a/373353/7924 .

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

Я бы не стал ждать от математики прорывов. Но это всего лишь ощущение, и время от времени оно может быть ошибочным.
Я согласен. Новые идеи важнее.
@jjack: Не совсем справедливо по отношению к математикам, потому что это довольно общее утверждение.
@Anixx: частично повторяя комментарий jjack, я не думаю, что наивная идея, такая как какая-то расширенная система счисления, поможет. Один не понимает лим Икс 2 Икс 1 Икс + 3 введением некоторых расширенных чисел 1 знак равно лим Икс 2 Икс 1 так же как 2 знак равно лим Икс Икс + 3 и определение расширенной частной операции для 1 2 знак равно 2 .
@AbdelmalekAbdesselam Итак, вы думаете, что для хороших моделей в физике требуется математическая строгость?
@jjack: Вы задаете новый вопрос. Я имел в виду, что возможно, что некоторые математики могут внести свой вклад в такие вопросы физики, как понимание перенормировки, привнося новые идеи, будь они строгими или нет. Что касается вашего нового вопроса: я думаю, что в долгосрочной перспективе полезно иметь некоторую математическую строгость в своей теории физики. Однако, если вы физик и у вас только что возникла блестящая идея относительно новой теории, то, во что бы то ни стало, поторопитесь опубликовать в PRL нестрогий набросок. Не ждите, пока у вас появится версия вашей теории с доказательством Бурбаки.
@AbdelmalekAbdesselam Я не понимаю, почему это должно быть представлено именно так, как вы предлагаете.
@Abdelmalek Abdesselam Вот набросок незавершенной теории расширенных чисел: extended.fandom.com/wiki/Extended_Wiki внизу вы можете увидеть несколько примеров расходящихся интегралов и рядов, представленных в виде расширенных чисел.