Методы получения количественных результатов в квантовой теории поля на основе инвариантных регуляций тема диссертации и автореферата по ВАК РФ 01.04.02, кандидат физико-математических наук Бакеев, Тимур Даутович

• Бакеев, Тимур Даутович
• кандидат физико-математических наук
• 1999

Оглавление диссертации кандидат физико-математических наук Бакеев, Тимур Даутович

Содержание

Введение

А Компьютерное исследование нового алгоритма бозонизации

I Решеточные методы и фермионные алгоритмы

А.1 Калибровочные теории на решетке

А.2 Действие для КХД

А.З Метод Монте-Карло в решеточных моделях

А.4 Время автокорреляции

А.5 Матрица вероятности перехода

А.6 Проблемы, возникающие при включении в компьютерные вычисления динамических ферми-

онов

II Алгоритм бозонизации Славнова

А.7 Эффективное бозонное действие

А.8 Тестирование алгоритма в свободной одномерной модели

А.9 Исследование алгоритма при проведении вычислений в 811(2) КХД с Вильсоновскими фер-мионами на решетке б3 х 12

В Развитие метода высших ковариантных про-

изводных

В.1 Общая идея метода

В.2 Трудности, возникшие в оригинальной формулировке

В.З Решение проблемы перекрывающихся расхо-димостей. Построение регуляризованного

функционала

Заключение

Список литературы

Введение диссертации (часть автореферата) на тему «Методы получения количественных результатов в квантовой теории поля на основе инвариантных регуляций»

Введение

Мотивация работы и ее научная актуальность.

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

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

1) исследуется новый алгоритм проведения компьютерных непертур-бативных вычислений с включением динамических фермионов в рамках решеточной формулировки теории поля;

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

Рассмотрим отдельно эти направления.

1) На сегодняшний день решеточная формулировка является практически единственным регуляризационным методом, позволяющим количественно изучать непертурбативные явления. Другие регуляризации тесно связаны с разложением по теории возмущений: амплитуда процесса вычисляется вплоть до некоторого порядка разложения по константе связи; расходимости устраняются в каждом порядке разложения отдельно. Решетка же является непертурбативным обрезанием. При введении

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

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

Данная проблема решается путем использования различных алгоритмов оценки вклада фермионного детерминанта, наиболее эффективными из которых на сегодня признаны Hybrid Monte Carlo алгоритм [1], алгоритм бозонизации Люшера [2],-а также их различные модификации [3, 4, 5, 6, 7, 8, 9]. Тем не менее, компьютерное время, затрачиваемое на вычисления в моделях с фермионами, до сих пор в 100-1000 раз превосходит компьютерные затраты в чисто бозонных теориях. Это препятствует получению достоверных данных для достаточно легких масс

кварков, а также проведению экстраполяции к бесконечному объему и нулевому шагу решетки в физически интересных случаях. Поэтому существует настоятельная необходимость в поиске и исследовании новых, более эффективных способов оценки фермионных детерминантов. Представляется важным и актуальным исследовать новый алгоритм, построенный A.A. Славновым [44, 45], использование которого (как продемонстрировано в этой работе) позволит во многих случаях существенно снизить затраты на вычисления в моделях с фермионами.

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

До сих пор при пертурбативных вычислениях в калибровочных теориях в основном использовалась размерная регуляризация [51]. К сожалению, размерная регуляризация не применима к киральным и супер симметричным моделям, которые очень важны с точки зрения приложений. Более того, этот метод не имеет очевидного непертурбативного обобщения. В частности, возникают трудности при исследовании топологических аспектов теории, так как размерная регуляризация формулируется в терминах пертурбативных Фейнмановских диаграмм.

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

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

имеет непертурбативный смысл, является метод высших ковариантных производных [47, 56], дополненный видоизмененной регуляризацией Паули-Вилларса [48]. Преимущества этого метода заключаются также в возможности применения к киральным и суперсимметричным моделям, хотя из-за сравнительно сложной структуры регуляризованного Лагранжиана метод высших ковариантных производных до сих пор использовался в основном для проведения общих доказательств, а не для практических вычислений. Тем не менее, вследствие необходимости точных вычислений в электрослабых моделях, а также благодаря большому прогрессу в использовании компьютеров, данный метод может стать реальным практическим инструментом. Этими причинами были обусловлены некоторые попытки использования метода в последние годы, которые привели к полемике в литературе. В некоторых работах [50, 57, 58] утверждалась несостоятельность метода высших ковариантных производных.

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

Цели работы

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

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

Основные научные результаты

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

2) Качественно и количественно изучено поведение алгоритма бозонизации Славнова на примере простой одномерной модели. Продемонстрирована непротиворечивость и самосогласованность алгоритма.

3) Проведены первые реалистичные вычисления с использованием алгоритма Славнова на суперкомпьютере АРЕ С}4 в 811(2) КХД с двумя сортами тяжелых кварков. Проведено сравнение алгоритма с алгоритмом Люшера при прочих равных условиях. Выявлены новые особенности в поведении систематической погрешности алгоритма Славнова.Исследовано автокорреляционное поведение алгоритма.

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

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

6)Решена проблема перекрывающихся расходимостей в методе высших ковариантных производных.

Структура работы

План изложения работы следующий. Диссертация состоит из двух частей.

Часть А, посвященная численному исследованию нового алгоритма бозонизации фермионных детерминантов, состоит из двух глав.

В главе I приводятся и анализируются общие методы построения калибровочной теории на решетке и проведения компьютерных вычислений в решеточных моделях. В ней обсуждаются уже разработанные подходы к проблеме включения в компьютерные вычисления динамических фермионов и демонстрируется необходимость развития новых, более эффективных методов. По ходу главы I вводится терминология и приемы, которые будут использованы в следующей главе при тестировании алгоритма Славнова. В разделе А.1 рассматриваются общие принципы построения калибровочной теории на решетке и приводится краткий исторический обзор для данной области. В разделе А.2 обсуждается выбор решеточного действия для 8и(М) КХД, которое будет использовано в дальнейшем. В разделе А.З рассматривается применение метода Монте-Карло для компьютерного вычисления корреляционных функций в решеточных моделях квантовой теории поля. В разделе А.4 вводится понятие времени автокорреляции при генерации полевых конфигураций в методе Монте-Карло и приводится метод вычисления времени автокорреляции, используемый в дальнейшем. В разделе А.5 приводится матрица вероятности перехода для локальной бозонной теории с квадратичным действием. В разделе А.6 анализируются трудности, возникающие при включении в вычисления динамических фермионов. Показывается неэффективность "точных" алгоритмов. Приводятся два ''приближенных" алгоритма, которые на сегодняшний день считаются наиболее экономичными при проведении вычислений с фермионами.

В главе II исследуется новый алгоритм для проведения компьютерных вычислений в моделях с динамическими фермионами, предложен-

ный А. Славновым. В разделе А.7 рассматривается теоретическая основа алгоритма, построенная в работе [45], и ставятся цели исследования. В разделе А.8 приводятся и анализируются результаты, полученные при компьютерном симулировании свободной одномерной модели. В разделе

A.9 приводятся результаты вычислений в 811(2) КХД с двумя сортами вырожденных тяжелых Вильсоновских кварков, полученные с использованием алгоритма Славнова. Проводится сравнение с вычислениями для алгоритма Люшера в той же модели.

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

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

Публикации

По теме диссертации опубликовано 4 научные работы.

Заключение диссертации по теме «Теоретическая физика», Бакеев, Тимур Даутович

Заключение

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

Отмечу еще раз основные научные результаты, полученные в данной работе.

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

2) Качественно и количественно изучено поведение алгоритма бозонизации Славнова на примере простой одномерной модели. Продемонстрирована непротиворечивость и самосогласованность алгоритма.

3) Проведены первые реалистичные вычисления с использованием алгоритма Славнова на суперкомпьютере АРЕ Q4 в SU(2) КХД с двумя сортами тяжелых Вильсоновских кварков. Полностью исследована систематическая погрешность алгоритма и определены оптимальные значения параметров, при которых с минимальными затратами компьютерного времени можно получить правильные результаты. Выявлены новые особенности в поведении систематической погрешности алгоритма Славнова. Изучено автокорреляционное поведение алгоритма при небольшом (N < 40) числе узлов решетки во вспомогательном измерении. Проведено сравнение алгоритма с алгоритмом Люшера при прочих равных условиях.

4) Продемонстрировано, что несмотря на необходимость внести некоторые изменения в оригинальную конструкцию, метод высших ковариантных производных, дополненный инвариантной регуляризацией Паули-Вилларса, явля-

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

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

6)Решена проблема перекрывающихся расходимостей в методе высших ковариантных производных.

В заключение я хочу выразить свою глубокую признательность моему учителю и научному руководителю Андрею Алексеевичу Славнову за постоянное внимание к моей работе, неоценимые помощь и поддержку. Я также благодарен коллективам кафедры теоретической физики физического факультета МГУ и отдела квантовой теории поля МИРАН.

Список литературы диссертационного исследования кандидат физико-математических наук Бакеев, Тимур Даутович, 1999 год

Литература

[1] S. Duane, A.D. Kennedy, B.J. Pendelton, D. Roweth // Phys. Lett. B195 (1987) 216

[2] M.Luescher // Nucl. Phys. B418 (1994) 637

[3] A. M. Horowitz // Phys. Lett. B156 (1985) 89

[4] A. M. Horowitz // Nucl. Phys. B280 (1987) 510

[5] A. M. Horowitz // Phys. Lett. B268 (1991) 247

[6] I. Horvath et.al. // hep-lat 9809092, LATTICE 98 (algorithms)

[7] A. Duncan et.al. // Phys.Rev. D59:014505 (1999)

[8] R. Frezzotti, K. Jansen // Phys.Lett. B402 (1997) 328-334

[9] I. Montvay // Comput. Phys. Commun. 109 (1998) 144-160

[10] T. DeGrand // hep-ph 9610391, Lectures presented at 1996 SLAC Summer Institute

[11] Ph. de Forcrand // hep-lat/9702009

[12] H.B.Nielsen, M. Ninomiya // Nucl.Phys. В185 (1981) 20-40; Nucl.Phys. B193 (1981) 173-194

[13] Н.П. Бусленко, Ю.А. Шрейдер // Метод статистических испытаний (Монте-Карло) и его реализация в цифровых машинах; Физматгиз, 1961.

[14] Н.П. Бусленко, Д.И.Голенко, И.М. Соболь // Метод статистических испытаний (метод Монте-Карло)] Физматгиз, СМБ, 1962.

[15] G.S. Bali // hep-lat 9901023

[16] М. Кройц // Кварки, глюоны и решетки, М., Мир, 1987

[17] Р. Фейнман, А. Хибс // Квантовая механика и интегралы по траекториям, М., Мир, 1968.

[18] The MILC Collaboration // Nucl.Phys.Proc.Suppl. 63 (1998) 215-217

[19] CP-PACS Collaboration // Nucl.Phys.Proc.Suppl. 63 (1998) 161-163

[20] UKQCD Collaboration // Phys.Lett. B408 (1997) 308-314

[21] M. Creutz et. al. // Phys. Rev. Lett. 42 (1979) 1390; Phys. Rev. D20 (1979) 1915

[22] N. Metropolis, S. Ulam, //J. Amer. statistical assoc. 44, 247 (1949) 335-341

[23] J.G. Kemeny, J.L. Snell // Finite Markov Chains, Springer, New York, 1976.

[24] N. Madras, A.D. Socal // J.Stat.Phys. 50 (1988) 109

[25] S.L. Adler // Phys.Rev. D23 (1981) 2901

[26] U. Wolff // High precision simulations with fast algorithms, CERN-TH 6406/92

[27] Brown // Phys.Rev.Lett. 58 (1987) 2394

[28] M. Creutz 11 Phys.Rev. D36 (1987) 515

[29] Gupta, Forcrand // Mod.Phys.Lett. A3 (1988) 1367

[30] N. Metropolis et. al. // Chem. Phys. 21 (1953) 1087

[31] W.K. Hastings // Biometrika, 57 (1970) 97

[32] D. Weingarten, D. Petcher // Phys.Lett. B99 (1981) 333

[33] M. Creutz // Phys.Rev D38 (1988) 1228

[34] R. Gupta et. al. // Phys.Rev. D40 (1989) 2072

[35] R. Gupta et. al. // Phys.Lett. B242 (1990) 437

[36] B. Bunk, K. Jansen, B. Jegerlehner, M. Lusher, H. Simma, R. Sommer, Nucl Phys.B (Proc. Suppl.)42 (1995) 49.

[37] B. Jegerlehner // Nucl.Phys. B Proc.Suppl. 42 (1995) 879 // hep-lat/9411065

[38] В. Jegerlehner // Nucl.Phys B465(1996) 487 hep-lat/9512001

[39] M. Peardon // Nucl.Phys. В Proc.Suppl. 42 (1995) 891

[40] A. Borici, Ph. de Forcrand //Nucl.Phys. В 454 (1995) 645-660

[41] С. Alexandrou, A. Borrelli, Ph. de Forcrand, A. Galli, F. Jegerlehner // Nucl.Phys. B456 (1995) 296-312

[42] K. Jansen et.al. // Phys.Lett. B375 (1996) 255

[43] K. Jansen // Nucl.Phys.В Proc.Suppl. 53 (1997) 127

[44] A.A. Slavnov, Phys. Lett. B338 (1996) 147

[45] A.A. Slavnov, Bozonized Lattice QCD, HEP-TH/9611154

[46] Ph. de Forcrand // hep-lat 9903035

[47] B.W.Lee and J.Zinn-Justin // Phys.Rev. D5 (1972) 3137

[48] А.А.Славнов // ТМФ 33 (1977) -977

[49] А.А.Славнов, Л.Д.Фаддеев // Введение в квантовую теорию калибровочных полей. - 2-е изд., М., Наука, 1988.

[50] B.J.Warr // Ann.Phys. 183 (1988) 1

[51] G.'t Hooft and M.Veltman // Nucl. Phys. 10 (1972)189

[52] А.А.Славнов // ТМФ 10 (1972) 99

[53] J.C.Taylor // Nucl. Phys. B33 (1971)436

[54] M.Asorey and F.Falceto // Nucl. Phys. В 327 (1989) 427

[55] K.Wilson // Phys. Rev., D10, 2445 (1974)

[56] A.A.Slavnov // Theor. Math. Phys. 13 (1972) 174

[57] C.P.Martin and F.Ruiz Ruiz // Nucl. Phys. B436 (1995) 645

[58] R.Sénéor // Some remarks for the construction of YM theories, in Renormalization of quantum field theories with non-linear field transformations., edited by P.Breitenlohner, D.Maison and K.Sibold (Springer-Verlay, Berlin 1988).

[59] P.I.Pronin and K.V.Stepanyantz // Phys. Lett. B414 (1997) 117-122

[60] M.Asorey and F.Falceto // Phys. Rev. D54 (1996) 5290-5301

[61] Н.Н.Боголюбов, Д.В.Ширков Введение в теорию квантованных полейШ.; Наука 1983

[62] T.D.Bakeyev, A.A.Slavnov // Mod. Phys. Let. A, Vol.11,19 (1996) 1539-1554

[63] Т.Д. Бакеев, А.И. Веселов, М.И. Поликарпов, А.А. Славнов // ТМФ 113 (1997) 58-67

[64] T.D.Bakeyev // A simplified version of Higher Covariant Derivative regularization., Препринт МГУ 03-1999 // hep-th 9812208

[65] T.D.Bakeyev // A test of a new simulation algorithm for dynamical quarks., Препринт МГУ 10-1999 // hep-lat 9905017