Self-Avoiding Random Walks

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

  1. T.A. Vilgis, "Polymer theory: path integrals and scaling", Physics Reports 336, 167-254 (2000).

Формулировка задачи

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

Начнем анализ с рассмотрения пропагатора для полимера в d-мерном пространстве

(1)G(R,N)=r(0)=0r(N)=RDr(s)exp[d2b20Ndsr˙2(s)]exp[v20Nds0Ndsδ(d)(r(s)r(s))],

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

Анализ Флори

Мы ожидаем, что характерный размер полимера будет степенным образом зависеть от его контурной длины, то есть

(2)R2N2ν.

Для обычного случайного блуждания ν=1/2. В случае блуждания без пересечений мы ожидаем, что характерный размер полимерного клубка должен увеличиться, поэтому 1/2ν1. Ответ должен также зависеть от размерности пространства, в котором происходят блуждания. Очевидно, что при d=1 мы получим ν=1 для SARW.

Пол Флори (Paul Flory) нашел ν из соображений размерности. Выражение для действия, которое стоит в функциональном интеграле, можно записать в виде

(3)Sd2b2NR2N2+v2N21Rd.

Теперь найдем экстремум по R при фиксированном N и получим:

(4)RNN2Rd+1R2N6/(d+2)ν=3d+2.

Результат в одномерном пространстве получается правильным. При d=2 эта формула дает ν=3/4, а при d=3 мы находим ν=3/5. Эти выражения отличаются от реальных значений, найденных в численных экспериментах, всего на несколько процентов. При d=4 находим ν=1/2, что совпадает с результатом для обычного случайного блуждания. При d>4 формула неприменима. Размерность пространства d=4 является критической.

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

(5)ν=1/2+ϵ/16+15ϵ2/512+0.592,

где ϵ=4d и численный ответ указан для ϵ=1. Ниже мы обсуждаем как переформулировать нашу задачу на языке теории поля.

Преобразование Хаббарда-Стратоновича

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

(6)Aint=120Ldτ0LdτV(x(τ),x(τ)).

Введем в каждой точке d-мерного пространства x вспомогательное поле ϕ(x) и заменим Aint на выражение

(7)Aintϕ=0Ldτϕ(x(τ))12ddxddxϕ(x)V1(x,x)ϕ(x),

где V1(x,x) удовлетворяет интегральному уравнению

(8)ddxV1(x,x)V(x,x)=δ(d)(xx).

 

Чтобы увидеть эквивалентность двух подходов, перепишем уравнение (7) в виде

(9)Aintϕ=ddxρ(x)ϕ(x)12ddxddxϕ(x)V1(x,x)ϕ(x),

где

(10)ρ(x)0Ldτδ(d)(xx(τ))

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

(11)Aintϕ=12ddxddx[ϕ(x)V1(x,x)ϕ(x)ρ(x)V(x,x)ρ(x)],

где

(12)ϕ(x)ϕ(x)ddxV(x,x)ρ(x).

Теперь функциональное интегрирование по вспомогательному полю может быть выполнено явным образом и с точностью до константы получаем

(13)Dϕ(x)eAintϕ=eAint.

Здесь интегрирование по ϕ(x) в каждой точке x происходит вдоль мнимой оси от i до +i.

Упражнение 1. Покажите, что функция Грина для нашей полимерной задачи может быть записана в виде

(14)G(R,N)=Nr(0)=0r(N)=RDrDϕeS[r,ϕ],S=d2b20Ndsr˙2(s)+i0Ndsϕ(r(s))+12vddxϕ2(x),

где вспомогательное поле ϕ(x) – действительно.

Диффузия в случайном потенциале

Используя результаты предыдущего раздела, перепишем выражение для пропагатора в виде:

(15)G(R,N)=NDϕ(x)exp[12vddxϕ2(x)]G(R,N;[ϕ]),

где функциональное интегрирование по ϕ(x) можно понимать как усреднение по случайному полю, которое имеет Гауссову функцию распределения

(16)P[ϕ]exp[12vddxϕ2(x)],

и поэтому его статистика полностью определяется двумя первыми моментами:

(17)ϕ(x)=0,ϕ(x)ϕ(0)=vδ(x).

Величина, обозначенная нами как G(R,N;[ϕ]), представляет собой пропагатор при фиксированной реализации случайного поля, и она удовлетворяет уравнению Шредингера/диффузии (см. семинар №13) в потенциале:

(18)[sb22dx2+iϕ(x)]G(x,s;[ϕ])=0,G(x,0;[ϕ])=δ(x).

 

Чтобы продвинуться дальше, выполним преобразование Лапласа по координате s, которая соответствует контурной длине (аналог времени в обычной диффузии)

(19)G(x,m2;[ϕ])=0dsem2sG(x,s;[ϕ]).

Тогда уравнение на Лаплас образ принимает вид

(20)[m2b22dx2+iϕ(x)]G(x,m2;[ϕ])=δ(x),

и формальное решение можно записать в виде:

(21)G(x,x,m2;[ϕ])=[m2b22dx2+iϕ(x)]1δ(xx),

где мы в явном виде обозначили зависимость от положения в пространстве начала полимерной цепи. Таким образом, мы пока не знаем ответ для G(x,x,m2;[ϕ]) (нужно обращать оператор), однако нам известно выражение для G1(x,x,m2;[ϕ]).

Корреляционные функции – напоминание

На минуту забудем ту задачу, которую мы решаем, и вспомним некоторые результаты семинара №4-5. В нем мы исследовали корреляционные функции типа:

(22)x(τ1)x(τ2)Dxx(τ1)x(τ2)eSEDxeSE,

где SE – квадратичное действие, и оказалось, что объекты такого сорта удобно вычислять, если в действие SE добавить слагаемое с источником J(τ), а потом воспользоваться дифференцированием по источнику:

(23)x(τ1)x(τ2)=1UE(0)δδJ(τ1)δδJ(τ2)UE(J)|J=0.

Здесь мы ввели обозначение

(24)UE(J)=Dxexp[dτ(x(τ)O^x(τ)J(τ)x(τ))].

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

(25)UE(J)=e12JG^JUE(0),

где G^=O^1. Таким образом, для парной корреляционной функции мы получаем:

(26)x(τ1)x(τ2)Dxx(τ1)x(τ2)exp[dτx(τ)G^1x(τ)]Dxexp[dτx(τ)G^1x(τ)]=G(τ1,τ2).

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

Вспомогательное поле

Возвращаемся к задаче с полимером. Вместо времени τ у нас координата x в d-мерном пространстве, поэтому вводим еще одно вспомогательное скалярное поле ξ(x), по которому будем брать функциональный интеграл:

(27)G(x,x,m2;[ϕ])=ξ(x)ξ(x)=1ZDξξ(x)ξ(x)exp[12ddxddxξ(x)G1(x,x,m2;[ϕ])ξ(x)],

и после подстановки явного выражения (21) для G1(x,x,m2;[ϕ]) находим:

(28)G(x,m2;[ϕ])=ξ(x)ξ(0)=1ZDξξ(x)ξ(0)exp[12ddxξ(x)(m2b22dx2+iϕ(x))ξ(x)].

Здесь мы положили координату x=0. Ответ нужно еще усреднить по статистике нашего другого вспомогательного поля ϕ и это совсем не простая задача, так как от поля ϕ зависит не только числитель, но и знаменатель Z!

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

(29)1/Zlimn0Zn1.

В итоге получаем:

(30)G(x,m2;[ϕ])=limn0[Dξexp[12ddxξ(x)(m2b22dx2+iϕ(x))ξ(x)]]n1×Dξξ(x)ξ(0)exp[12ddxξ(x)(m2b22dx2+iϕ(x))ξ(x)],

что можно записать в виде:

(31)G(x,m2;[ϕ])=limn0a=1n[Dξa]ξ1(x)ξ1(0)exp[S[{ξa},ϕ]],

где

(32)S[{ξa},ϕ]=12a=1nddxξa(x)(m2b22dx2+iϕ(x))ξa(x).

Таким образом, мы свели задачу о случайных блужданиях без самопересечения к теоретико-полевой задаче, в которой фигурирует n-компонентное поле ξ=(ξ1,,ξn) и подразумевается предел n0, который нужно понимать в смысле аналитического продолжения.

Вычисление гауссовых интегралов

В полученном выражении можно выполнить усреднение по вспомогательному полю ϕ(x). Получаем

(33)G(x,m2)=limn0Dξξ1(x)ξ1(0)exp[12ddxξ(x)(m2b22d2)ξ(x)]×NDϕexp[12vddxϕ2(x)12ddxξ(x)iϕ(x)ξ(x)]=limn0Dξξ1(x)ξ1(0)exp[12ddxξ(x)(m2b22d2)ξ(x)+v(ξ(x)ξ(x))2].

Если длину измерять в немного других единицах, то коэффициент перед 2 можно положить равным единице. Также, можно этот член проинтегрировать по частям. В итоге приходим к выражению:

(34)G(x,m2)=limn0Dξξ1(x)ξ1(0)eSGLW[ξ],

где введено действие Гинзбурга-Ландау-Вильсона:

(35)SGLW[ξ]=12ddx[a=1n(|ξa(x)|2+m2ξa2)+va,b=1nξa2ξb2].