КХД и КЭД с неограниченной вычислительной мощностью — насколько они будут точными?

Мой вопрос касается квантовых алгоритмов для вычислений КЭД (квантовой электродинамики), связанных с константами тонкой структуры. Такие вычисления (как мне объяснили) сводятся к вычислению тейлороподобных рядов

с к α к ,
куда α - постоянная тонкой структуры (около 1/137) и с к вклад диаграмм Фейнмана с к -петли.

Этот вопрос был мотивирован комментарием Питера Шора (о КЭД и постоянной тонкой структуры) в обсуждении квантовых компьютеров в моем блоге. Для некоторого фона вот соответствующая статья Википедии .

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

Однако точность этих вычислений ограничена тремя важными (и связанными) факторами.

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

б) Математико-физический — в какой-то момент вычисления взорвутся — иными словами, радиус сходимости этого степенного ряда равен 0.

в) Физический. Точность вычислений ограничена, поскольку не учитываются другие силы и поля.

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

Подробнее:

Вопрос 1: При неограниченной вычислительной мощности, какую ожидаемую точность мы можем получить, если учесть только увеличение коэффициентов. А именно, есть ли оценки того, сколько членов в разложении до того, как мы станем свидетелями взрыва, и каково качество приближения, которое мы можем ожидать, когда мы используем эти члены.

Обновление: Как отметил Владимир в комментарии (и на самом деле также написал Стивен), считается, что радиус сходимости равен нулю, но нет полного аргумента, что это так.

Стивен Джордан в ответе на связанный с этим вопрос (см. ниже) упомянул очень грубое эвристическое объяснение, что с к ведет себя как к ! и что, следовательно, взрыв коэффициентов не произойдет до тех пор, пока к ! 1 / 137 к начинает увеличиваться. Это предполагает, что у нас может быть 137 или около того значащих терминов. (Если с к счета для к ! условия с отменой возможно мы сможем заменить к ! на его квадратный корень.)

Второй сопутствующий вопрос:

Вопрос 2: При неограниченной вычислительной мощности какую ожидаемую точность мы можем получить, если принять во внимание влияние других полей, не учитываемых КЭД.

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

Тот же вопрос можно задать о расчетах КХД для свойств протона или нейтрона. Например, вычисление массы протона.

Вопрос 3: Можем ли мы оценить для КХД-расчетов массы протона, какой будет уровень точности, которого можно достичь, предполагая, что у нас есть неограниченная вычислительная мощность, и как он соотносится с текущей точностью.

Я недостаточно хорошо разбираюсь в квантовой механике, чтобы дать вам реальный ответ, но как человек, живущий с симуляциями каждый день, я бы сказал: «Все модели ошибочны, некоторые из них полезны».
Широко известно, что "радиус сходимости этого степенного ряда равен 0", но, по моему скромному мнению, это неверное утверждение. На самом деле никто не использует эти ряды напрямую из-за инфракрасной расходимости. ИК-расходимости можно избежать, суммируя часть ряда в конечную функцию α , значит, сходимость остальных рядов еще не изучена! Эта конечная функция (сумма ИК-диаграмм) есть функция, которая не разлагается в ряд, а используется непосредственно. Это означает использование другого начального приближения, скажем, для амплитуды рассеяния. (Продолжение следует.)
Продолжение: Аргумент Дайсона неприменим, поскольку мы не обязаны расширять то, что мы можем иметь точно в компактной и конечной форме.
Извините Владимир, собственно о том и хотел спросить - исправлю. Я обновлю вопрос.
В какой-то момент становится бесполезным улучшать оценку КЭД самостоятельно, потому что вклад других секторов стандартной модели будет больше, чем улучшение от расчета. Я думаю, что это уже относится к киральным вкладам электрослабого взаимодействия.
Любопытный, да, это мой вопрос 2. Можем ли мы количественно оценить, что означает «в какой-то момент».
Основываясь на докладах по физике, которые я слышал об электрослабом вкладе в атомную физику 20 лет назад, я думаю, что это было, вероятно, четверть века назад, самое позднее. :-)
Кроме того, КХД на решетке - это программа для непертуртабативного расчета явления КХД, не прибегая к этой серии.

Ответы (2)

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

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

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

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

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

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

Разница, конечно, во многом связана с тем, как быстро петли сходятся. Пять циклов были бы излишними для большинства прикладных вычислений QED, давая вам большую точность, чем вы можете измерить. Но пять циклов в QCD дадут вам точность в два или три значащих разряда. Вероятно, потребуются десятки циклов КХД, чтобы получить расчеты с точностью, как расчет КЭД с тремя или четырьмя контурами, и могут потребоваться десятилетия с текущими вычислительными ресурсами и методами для расчетов в КХД.

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

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