Определяется ли квантовая теория поля регуляризацией решетки?

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

Я думаю, вы правы. Однако обратите внимание, что в существующей математической литературе вам почти всегда приходится накладывать условие, называемое положительностью отражения (примерно, что аналитическое продолжение существует и хорошо себя ведет). Таким образом, в то время как определение решетки может упускать некоторые физически разумные ситуации, другие, более эзотерические конструктивные теории поля наверняка упускают гораздо больше. Возможно, есть некоторые обходные пути, я уверен, что некоторые теоретики решетчатого поля работали над этим.
Я согласен, что это, вероятно, лучший подход к вычислениям в непертурбативной КТП, но, например, мне не ясно, что это правильный способ прояснить математические основы предмета. Я согласен, что у конструктивных теорий поля есть свои проблемы.
Несколько лет назад Моше был одним из самых плодовитых людей на этом сайте. Но теперь этот сайт признает его только под грустным гипергенеральным псевдонимом «user566». Это то, что вы получаете, используя автопреобразование ссылки/имени вместо явного написания имени пользователя в виде открытого текста. Спасибо СЭ!
На самом деле только по факту предупреждения об этом факте, после многих лет нахождения на этом сайте, я просто ограничил свои дневные квоты на голосование.
по теме: физика.stackexchange.com/q/705106/ 226902

Ответы (5)

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

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

Был один специфический подход, который возвышает операторные расширения до определяющего свойства, аксиомы КТП, он начался где-то в этой статье:

Введение и игрушечный пример можно найти в этой диссертации:

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

(Я также знаю о том факте, что многие специалисты по квантовой гравитации думают, что все, что касается КТП, уже сказано и сделано: ну, застрелите меня.)

Вы можете быть удивлены тем, как много людей, работающих над теорией струн, сочувствуют вашим чувствам (примерно: КТП сложна и загадочна), особенно теперь, когда мы обнаружили, что все-таки работаем над КТП. Что касается вопроса определения КТП, я думаю, что идея состоит в том, что существует алгоритмический способ вычисления любой величины с произвольной точностью с использованием решетки. Это часть "любое количество", которую я не понимаю.

Моше, я надеюсь, что другие дадут свой ответ, и я тоже хотел бы его прочитать.

Но я согласен с вами, что евклидовы расчеты хороши «только» для некоторых довольно важных величин, которые легко вычислить в евклидовой установке — и их следует продолжить на пространство-время Минковского. Некоторые вопросы, зависящие от времени, безусловно, делают более естественным пытаться решать проблемы непосредственно в пространстве-времени Минковского. Однако полный набор амплитуд рассеяния на оболочке или функций Грина вне оболочки является очень важным набором наблюдаемых и, в некотором смысле, содержит «все динамические знания» о теории. И это динамическое знание гораздо более естественно вычисляется в евклидовой системе, поэтому такие люди, как я, не побоялись бы сказать, что евклидовы вычисления более фундаментальны.

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

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

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

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

Конечно, если кто-то рассматривает суперсимметрию как ключевое свойство теории, ее потеря является огромной проблемой и в основном делает недействительной идею о том, что определение решетки является «более реальным» или «более фундаментальным».

Подводя итог, можно сказать, что решетчатость — это всего лишь один конкретный способ — один из концептуально самых простых или наиболее прямолинейных — определить теорию, которая на больших расстояниях перетекает в желаемую квантовую теорию поля. А некоторые люди хотят ограничить свои рассуждения решеткой, потому что считают, что их долг как ученых состоит в том, чтобы вести себя как можно более похоже на безмозглый цифровой компьютер. (Даже компьютеры могут иметь дело с нерешетчатыми подходами, но это требует от них и от программистов серьезного изучения математики, а не только механических операций на решетке.) Насколько мне известно, нет научного обоснования идеи, что " правильное» определение теории поля должно в конечном счете сводиться к решетке.

Решетка QCD определяется на сетке с интервалом а , и где на ребрах имеются калибровочные потенциалы. Обратные интервалы решетки являются ограничениями по импульсу и должны быть установлены так, чтобы масса самого тяжелого кварка была м д   >>   1 / а . Таким образом, шаг решетки не является полностью произвольным. Дискретная разность калибровочных потенциалов определяет поля

Ф я Дж   знак равно   ( А Дж ( Икс )     А я ( Икс ) )     ( А я ( Икс )     А Дж ( Икс ) )     грамм ( А Дж ( Икс ) А я ( Икс )     А я ( Икс ) А Дж ( Икс ) )
где координаты показаны на рисунке. Подразумеваются внутренние калибровочные индексы.

Плакетка в квантовой решетке

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

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

WTF - это голосование против? Джибус человек! Анонимный трус, покажи свое лицо!
@space: Это был не я, а: A. Это случайный набор в основном (но не полностью) правдивых фактов, не составляющих ответа на вопрос. Б. Расслабься, чувак.
@ Моше, меня просто бесит, когда я вижу, что на человека нападают таким образом. Теперь вы можете видеть или не видеть этот ответ как полностью соответствующий вашему вопросу, но самый первый абзац дает очень хороший ответ о том, почему решетчатая формулировка является естественной. После этого он продолжает объяснять, как вычисляются наблюдаемые в решетчатом подходе. Да, он не отвечает прямо на ваш вопрос об евклидовой формулировке, которую вы упоминаете в деталях своего вопроса. Но его ответ ни в коем случае не «бесполезен». Что удивительно, так это то, что, несмотря на это целенаправленное голосование против, @Lawrence (продолжение)
(продолжение) уже накопила впечатляющую репутацию, которая, как я знаю, для некоторых ничего не значит. Но это происходило с каждым из ответов @Lawrence. Минусы без объяснения причин. Некоторые на исключительно хорошие ответы. Это похоже на решительный толчок, направленный на то, чтобы отговорить кого-то, кто явно имеет глубокое понимание многих сложных вопросов, от того, чтобы быть полезным участником. Единственный способ выявить тех, кто стоит за таким поведением, — это выявить их старомодными методами. И это явно работает. Ваше здоровье!
@space: Я не согласен, простое изложение множества фактов, близких к упомянутой теме, не дает полезного ответа (есть и некоторые ошибки). Я не голосовал против этого, но я не считаю такие действия обязательно смешными или подлыми.
Что касается неправильных аспектов его ответа, почему бы вам не указать на них, чтобы они могли стать предметом обсуждения? Или это слишком тривиальная задача для вас?
Что касается репутации, мне очень не нравится эта система. Понятно, что, просто будучи настойчивым, вы можете увеличить это глупое число, это далеко не показатель качества чего-либо.
@Моше. Это не смешно и не подло, когда это случается лишь от случая к случаю и, может быть, с (а то и без) каким-то оправданием. Когда это происходит с каждым отдельным ответом, который дает человек, очевидно, существует закономерность. И нет, репутация не такая бесполезная система, как вам кажется. Но это обсуждение для мета.
Хорошо, я признаюсь: я проголосовал за это. Главным образом потому, что он пытается ответить на вопрос «что такое калибровочная теория решетки», который не является вопросом Моше и который Моше уже прекрасно знает. Кроме того, поскольку он говорит ложные вещи, например, что массы кварков должны быть больше обратного шага решетки. Я отрицаю многие вещи; никто не должен принимать это на свой счет, я просто пытаюсь скинуться, чтобы отделить хорошие ответы от плохих. Никакое суждение человека, пишущего ответы, не подразумевается.
Я думаю, что любое расследование того, кто голосует за ответы и почему, противоречит тому, как я понимаю работу сайтов Stackexchange, то есть позволять сообществу голосовать и апеллировать к его коллективному суждению, чтобы найти хорошие ответы. (Действительно ли это голосование будет эффективным для поиска хороших ответов, во многом будет зависеть от того, достаточно ли в сообществе компетентных людей, но в принципе я думаю, что это хорошая идея.)
Это явно дискуссия для мета, но, на мой взгляд, голосование против — это часть того, что я могу сделать, чтобы прояснить ситуацию для других пользователей, и я рад, что могу сделать это, не слишком мучительно и не отнимая много времени. Кроме того, попытки уладить каждое маленькое разногласие — не лучший способ жить в мире или развлекаться. Это относится и к этому ответу, и к мета-обсуждению.
@Matt спасибо за разъяснение. Единственная причина, по которой я попросил об этом, - это множество последовательных отрицательных голосов, которые получали ответы @Lawrence, несмотря на то, что в некоторых случаях они были более высокого качества, чем другие ответы на тот же вопрос. Также было бы здорово, если бы вы объяснили мне, почему утверждение о массах кварков и обратном шаге решетки неверно. Это не что-то очевидное для меня. Или, возможно, это просто показывает мое незнание предмета.

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

Может быть, то, о чем я спрашиваю, независимо - является ли решетка алгоритмическим определением чистой теории YM?
-1: Неверная интерпретация теоремы.
@RonMaimon, как бы ты это интерпретировал? Теорема Нильсена-Ниномия подразумевает, что для моделирования явлений Стандартной модели на решетке необходимо ослабить хотя бы одно из ее предположений, иначе на решетке произойдет удвоение фермионов.

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