УДК 532.517.45
Вестник СПбГУ. Сер. 4. Т. 3 (61). 2016. Вып. 2
Т. Л. Ким, М. В. Компаниец
СУММИРОВАНИЕ ПО БОРЕЛЮ е-РАЗЛОЖЕНИЯ ИНДЕКСА ФИШЕРА В ШЕСТОМ ПОРЯДКЕ ТЕОРИИ ВОЗМУЩЕНИЙ*
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Получаемые в рамках ренормализационной группы и е-разложения ряды теории возмущений ф4-модели являются, как хорошо известно, асимптотическими. В недавней работе одного из авторов статьи выполнено пересуммирование индекса Фишера п этой модели с использованием конформного преобразования Бореля для шестипетлевого разложения аномальной размерности поля Уф(и) по константе связи (заряду) и. Процедура пересуммирования Уф(м), а также |3-функции |3(и) как функции и была проведена в 2 этапа. На первом шаге определено значение заряда и* как нуля пересуммированной |3-функции, затем найдено значение пересуммированной аномальной размерности поля Уф(и) в точке и = и*. В настоящей работе проведено шестипетлевое пересуммирование индекса Фишера п(е) как функции е. Результат сравнивается с оценками индекса Фишера, полученными из высокотемпературных разложений и расчётов методом Монте-Карло для трёхмерных систем и точным решением Онзагера для двумерной модели Изинга. Библиогр. 12 назв. Ил. 1. Табл. 1.
Ключевые слова: ренормализационная группа, е-разложение, многопетлевые диаграммы, критические показатели.
T. L. Kim, M. V. Kompaniets
BOREL RESUMMATION OF THE е-EXPANSION OF THE FISHER EXPONENT UP TO THE SIXTH ORDER OF PERTURBATION THEORY
St. Petersburg State University, 7—9, Universitetskaya nab., St. Petersburg, 199034, Russian Federation
It is well known that a series obtained in the framework of the renormalization group and e-expansion in 94-model are asymptotic. Resummation of the Fisher exponent п using Borel transform with conformal mapping up to six loop approximation of the anomalous field dimension Уф(и) was demonstrated in a recent paper of one of the co-authors (и — coupling constant). In this paper such a resummation of Уф(и) and beta function |3(и) as a function of и was performed in two stages. First, и* value was found as zero of the resummed beta function, then resummation of the anomalous field dimension was performed at и = и*. In this paper we perform resummation of the Fisher exponent п(е) as a function of e at six loop level. We performed comparison of our results with results obtained in cited paper as well as with estimations of the Fisher exponent from the high temperature expansions and Monte Carlo simulations for 3D systems and Onsager's exact solution for two dimensional Ising model. Refs 12. Fig 1. Table 1.
Keywords: renormalization group, e-expansion, multiloop diagrams, critical exponents.
Метод ренормализационной группы (РГ) и е-разложения (е = 4 — d, d — размерность пространства) является в настоящее время основным инструментом обоснования скейлинга и расчёта критических показателей в теории фазовых переходов II рода и критических явлений [1]. Наибольшие успехи достигнуты с использованием модели ф4, в которой ренормгрупповой расчёт выполнен в шестипетлевом приближении (шестой порядок теории возмущений) [2]. Ряды теории возмущений полевых моделей кри-
* Работа выполнена при поддержке исследовательского гранта СПбГУ 11.38.185.2014.
© Санкт-Петербургский государственный университет, 2016
тических явлений являются асимптотическими, для получения надежных численных результатов их необходимо пересуммировать. Обычно это делается с помощью одного из вариантов суммирования по Борелю. В работе [2] таким образом была вычислена критическая размерность параметра порядка (индекс Фишера п). Для этого были пересуммированы ряды по константе связи и для в-функции и аномальной размерности поля у(и), затем из условия в(и*) = 0 вычислено значение заряда и* в неподвижной точке ренормгруппы и найдено значение индекса Фишера п = 2у(и*) для трехмерного пространства с! = 3 (е =1) ив двумерном случае с! = 2 (е = 2). Более детально процедура такого «и-суммирования» изложена в работе [3]. В настоящей работе мы используем вариант нахождения индекса Фишера на основе суммирования по Борелю е-разложения этого индекса («е-суммирование»), полученного в [2] в шестом порядке теории возмущений. Для сравнения обоих вариантов суммирования мы дополним результаты работы [3] расчетом при дополнительных значениях е.
Полученный в [2] в шестипетлевом приближении ряд по константе связи и для аномальной размерности поля уф в случае однокомпонентного поля имеет вид
1 1 65
г|(и) = 2уф(ы) = - и2 - - и3 + — и4 - 3,851170м5 + 28,767998«6 + 0(и7). (1) 6 8 96
Пятипетлевая в-функция вычислена в работах [4-7]:
^ = -е + Зы - Ц- и2 + З2,54968ы3 - 271,60578«4 + 2848,56826ы5 + 0(и6). (2) и3
Определение из (2) положения неподвижной точки и* в рамках е-разложения и подстановка результата в (1) дает [2]:
п(е) = 0,018518500 е2 + 0,01869000 е3 - 0,0083287500 е4 + 0,2565643750 е5 -
- 0,08127264062 е6 + 0(е7). (3)
Ряды (1)-(3) имеют вид
3(У) = ^2 Ап УП, У = и, е
п
с коэффициентами Ап, факториально растущими при п ^ж:
Ап = (-1)пеаппь° п!(1 + 0(1/п)). (4)
Явный вид этой асимптотики является важной дополнительной информацией об изучаемых функциях, ее параметры находятся методом инстантонного анализа [8].
Как ив [2], для пересуммирования ряда (3) мы будем использовать конформное преобразование Бореля в форме, предложенной в [9, 10]:
3 (у) = е-Ч01-02 №У2 В У), (5)
■1о
где
вМ = (-^гУ-И = (6)
\ги(х); ^ VI + ах + 1
Параметры представления (5), (6) выбираются так, чтобы первые члены разложения функции (5) в ряд по у правильно воспроизводили коэффициенты соответствующих разложений (1)—(3) и имели необходимый асимптотический вид (4). Записывая В(х) из (6) в виде ряда
п к
из (5) получаем
'ш(х)
Кх)к
х=0
/(у) = X) X)упп°к, /пк = Впк кС2Г(С1 - С2 + к + 1).
(7)
(8)
Комбинируя (8) с (3), находим
^ Ппк С к = Ап
(9)
Соотношение (9) можно рассматривать как систему линейных уравнений на коэффициенты Ск. Чтобы правильно воспроизвести первые N коэффициентов в (3), достаточно учесть N членов суммы в (6). Вследствие того, что т(х)к = 0(хк), матрица цпк является треугольной.
Для согласования асимптотического поведения коэффициентов разложения в (8) с асимптотикой (4) достаточно положить в (5) С1 = Ьо + 3/2 и использовать в (6) то же значение параметра а, что и в (4) [9, 10]. Параметр V в (7) определяет асимптотику функции (5) /(у) ~ yV при больших значениях аргумента у ^ то. Что касается параметра е2 в (5), то обычно используют значение е2 =0, однако результаты работы [3] показывают, что подходящий выбор значений С2 =0 приводит к существенному улучшению результатов пересуммирования. Отметим, что при С2 =0 вычисления облегчаются, если интегрированиями по частям перекинуть все производные налево. Внеинтегральные члены обращаются в нуль, и в результате приходим к выражению вида
Г
П(е) = /
0
— Ь + С1—С2
Рс2 (Ь)В(еЪ),
где ЛС2 (г) — полином по г степени С2. Приведем для справки несколько первых полиномов, записав их в терминах параметра с = С1 — С2 + 1:
Ло = 1, Л = —С + г, Л = С2 — (1 + 2е)г + г2, Л3 = —с3 + (1 + 3с + 3с2)г — 3(1 + с)г2 + г3, Л4 = С4 — (1 + 4с + 6с2 + 4с3)г + (7+ 12с + 6с2)Ь2 — (6 + 4е)г3 + г4, = —С5 + (1 + 5с + 10с2 + 10с3 + 5с4)г — 5(3 + Ьс + 6с2 + 2с3)г2 +
+ 5(5 + 6е + 2е2)г3 — 5(2 + е)г4 + г5.
V
х
Для ряда (1) параметры асимптотики (4) имеют значения а =1, Ьо = 5/2 [11]. В качестве оптимальных при пересуммировании в работе [3] найдены значения V =3, С2 =4. Как показано в [9, 10], использование значения С2 =0 существенно улучшает в этом случае результаты пересуммирования. Параметры асимптотики (4)
Зависимость индекса Фишера от параметра е
е 1 1,4 1,7 2
Vго 0,0360 0,0866 0,1477 0,2353
Vе1 0,0354 0,0826 0,1366 0,2100
0,0364 - - 0,25
для ряда (2): а =1, Ь0 = 7/2 [11]. В этом случае в [3] были использованы значения V = 1,8, С2 = 5. Вычисления с такими параметрами при различных е приводят к значениям индекса Фишера п(и) (таблица).
В третьей строке таблицы представлены значения индекса Фишера т]^), полученные нами суммированием е-разложения (3), в четвертой — ожидаемые значения для е =1 и е = 2.
При суммирования ряда (3) нами использовались значения параметров а = 1/3, Ьо = 7/2 [11]. Были рассмотрены варианты суммирования в диапазонах 0 ^ С2 ^ 5, 0 ^ V ^ 5. В качестве критерия выбора параметров С2 и V рассматривалась сходимость процедуры пересуммирования с увеличением числа учтенных слагаемых в сумме (3). Удобным способом контроля является рассмотрение «предсказательной способности» пересуммированного выражения. Известным примером в этом отношении является предсказание в [9, 10] пятипетлевого значения коэффициента разложения в-функции в теории ф4 по результатам пересуммирования известной в то время четырехпетлевой в-функции. Рассчитанное впоследствии в [4] точное значение этого коэффициента хорошо совпало с предсказанным. Применительно к нашей задаче мы сравнивали точное значение шестого коэффициента в (3) со значениями, предсказываемыми пересуммированным выражением с учетом четырех и пяти членов ряда в (3). При выбранных значениях параметров представления (5), (6) величина п(е) находилась численным интегрированием в (5). Чувствительность к выбору параметров V и С2 при е-суммировании оказалась существенно ниже, чем при и-суммировании. Оптимальными значениями параметров оказались следующие: V = 3,2, с2 = 3. При таких параметрах предсказываемое пересуммированным выражением значение шестого коэффициента в (3) в четырех-и пятипетлевом приближениях оказалось равным -0,07592 и -0,08128 соответственно при точном значении -0,08127.
Для более детального сравнения двух методов мы также провели процедуру е-разложения положения неподвижной точки и*. Определяя эту величину из условия в(и*) = 0 в виде ряда по е, имеем из (2)
= е/3 + 0,20987654е2 - 0,13755892е3
0,26865296е4 — 0,84368457е5.
Оптимальными значениями параметров при пересуммировании этого выражения оказались с2 =0, V = 1,1.
Переходя к сравнению результатов двух методов пересуммирования, сравним вначале полученные значения параметра V. Если рассматривать выбор оптимального значения V как оценку асимптотики /(у) ~ у"11 (у = и, е) искомой функции при у ^ то, то для п(и), согласно результатам работы [3], находим п(и) ~ и3, и ^ то. По результатам е-суммирования соответствующие асимптотические оценки при е ^то дают п(е) ~ е3'2, и*(е) ~ е1'1 , откуда п(и*) ~ и2'9. Показатели асимптотики для п(и), предсказываемые обоими методами, оказались таким образом, весьма близкими.
Для сравнения значений индекса Фишера в дополнение к приведенной выше таблице представим также график зависимости п(е), предсказываемой пересумированным рядом (3). На рисунке видно, что для реального значения е =1 (! =3) результаты обоих подходов близки и находятся в согласии с оценкой из работы [12]. В то же время для двумерного случая (е = 2) результат и-суммирования приводит к значению индекса Фишера, значительно более близкому к онзагеровскому ответу, чем результат е-суммирования.
и
!
n
0,25
0,20
0,15
0,10
0,05
0
0,5
1
1,5
2
Зависимость индекса Фишера от е:
кружки — точки по схеме и-пересуммирования ); крестики — «ожидаемые значения» (п(ез'ь)) [12]; сплошная линия соответствует п(е)
В целом сравнение результатов е- и u-суммирования показывает, что предпочтение следует отдать последнему. Оно демонстрирует лучшую сходимость с увеличением числа учтённых членов разложения и приводит к лучшему согласию с точным решением для двумерного случая.
Литература
1. Васильев А. Н. Квантовополевая ренормгруппа в теории критического поведения и стохастической динамике. СПб.: Изд-во ПИЯФ, 1998. 774 с.
2. Batkovich D. V., Chetyrkin K. G., Kompaniets M. V. Six loop analytical calculation of the field anomalous dimension and the critical exponent n in O(n)-symmetric ф4 model // Nucl. Phys. (B). 2016. Vol. 906. P. 147-167.
3. Kompaniets M. V. Prediction of the higher-order terms based on Borel resummation with conformal mapping // arXiv: 1604.04108.
4. Chetyrkin K. G, Gorishny S. G., LarinS.A., Tkachev F. V. Five-loop renormalization group calculations in the дф4 theory // Phys. Lett. (B). 1983. Vol. 132. P. 351-354.
5. Kazakov D. I. The method of uniqueness, a new powerful technique for multiloop calculations // Phys. Lett. (B). 1983. Vol. 133. P. 406-410.
6. Chetyrkin K. G., Gorishny S. G., LarinS.A., Tkachov F. V. Аналитическое вычисление многопетлевых приближений ренормгрупповых функций модели дф4 в MS-схеме: подиаграммный анализ // Preprint INR P-0453. Moscow, 1986.
7. KleinertH., NeuJ., Shulte-Frohlinde V., Chetyrkin K. G., Larin S. A. Five-loop renormalization group functions of 0(ra)-symmetric ф4-theory and e-expansions of critical exponents up to e5 // Phys. Lett. (B). 1991. Vol. 272. P. 39-44.
8. Lipatov L. N. Divergence of the perturbation-theory series and the quasi-classical theory //J. Exptl. Theoret. Phys. 1977. Vol. 72. P. 411-423.
9. КазаковД. И., Тарасов О. В., ШирковД. В Аналитическое продолжение результатов теории возмущений модели дф4 в область д ^ 1 // Теор. мат. физика. 1979. T. 38, № 1. C. 15-25.
10. Казаков Д. И., Ширков Д. В Asymptotic series of quantum field theory and their summation // Fortschritte der Physik. 1980. Bd. 28, N 8-9. S. 465-499.
11. Zinn-Justin J. Quantum field theory and critical phenomena. Oxford: Oxford University Press, 2002.
12. Pelissetto A., VicariE. Critical phenomena and renormalization-group theory // Phys. Rep. 2002. Vol. 368. P. 549-727.
1. Vasil'ev A. N. Kvantovopolevaia renormgruppa v teorii kriticheskogo povedeniia i stokhasticheskoi dinamike [Quantum field renormalization group in the theory of critical behavior and stochastic dynamics]. St. Petersburg, PNPI, 1998. 774 p. (In Russian)
References
2. Batkovich D. V., Chetyrkin K. G., Kompaniets M. V. Six loop analytical calculation of the field anomalous dimension and the critical exponent n in O(n)-symmetric ф4 model. Nucl. Phys. (B), 2016, vol. 906, pp. 147-167.
3. Kompaniets M. V. Prediction of the higher-order terms based on Borel resummation with conformal mapping. arXiv: 1604.04108.
4. Chetyrkin K.G., Gorishny S. G., Larin S. A., Tkachev F.V. Five-loop renormalization group calculations in the дф4 theory. Phys. Rev. (B), 1983, vol. 132, pp. 351-354.
5. Kazakov D. I. The method of uniqueness, a new powerful technique for multiloop calculations. Phys. Rev. (B), 1983, vol. 133, pp. 406-410.
6. Chetyrkin K. G., Gorishny S. G., Larin S. A., Tkachov F. V. Analiticheskoe vychislenie mno-gopetlevykh priblizhenii renormgruppovykh funktsii modeli дф4 v MS-skheme: podiagrammnyi analiz [Analytical calculation of multiloopback approximations the renormgruppovykh of functions of model of дф4 in MS-scheme: sub-diagram analysis]. Preprint INR P-0453. Moscow, 1986. (In Russian)
7. Kleinert H., Neu J., Shulte-Frohlinde V., Chetyrkin K. G., Larin S. A. Five-loop renormalization group functions of 0(ra)-symmetric ф4-theory and e-expansions of critical exponents up to e5. Phys. Rev. (B), 1991, vol. 272, pp. 39-44.
8. Lipatov L. N. Divergence of the perturbation-theory series and the quasi-classical theory. J. Exptl. Theoret. Phys., 1977, vol. 72, pp. 411-423.
9. Kazakov D. I., Tarasov O. V., Shirkov D. V. Analiticheskoe prodolzhenie rezul'tatov teorii voz-mushchenii modeli дф4 v oblast' g ^ 1 [Analytic continuation of the results of perturbation theory for the model дф4 to the region g ^ 1]. Teor. mat. fizika. [Theoretical and Mathematical Physics], 1979, vol. 38, no 1, pp. 15-25. (In Russian)
10. Kazakov D. I., Shirkov D. V. Asymptotic series of quantum field theory and their summation. Fortschritte der Physik, 1980, vol. 28, no 8-9, pp. 465-499.
11. Zinn-Justin J. Quantum field theory and critical phenomena. Oxford, Oxford University Press, 2002.
12. Pelissetto A., Vicari E. Critical phenomena and renormalization-group theory. Phys. Rep., 2002, vol. 368, pp. 549-727.
Стaтья пoступилa в pедaкцию 3 мая 2016 г.
Контактная информация
Ким Татьяна Лорановна — кандидат физико-математических наук, доцент; e-mail: [email protected]
Компаниец Михаил Владимирович — кандидат физико-математических наук, доцент; e-mail: [email protected]
Kim Tatyana Loranovna — PhD, Associate Professor; e-mail: [email protected]
Kompaniets Mikhail Vladimirovich — PhD, Associate Professor; e-mail: [email protected]