• 返回上级菜单
  • 5.16 周一

    1. 参考:
      1. Kardar B站授课视频-粒子的统计物理
      2. Kardar B站授课视频-场的统计物理
      3. KPZ方程原始论文
      4. 张翼成:我与诺贝尔物理学奖获得者Parisi教授的故事
    2. 额外补充引理:参考中国科学技术大学微积分学导论上册
      对微分方程\(y'(x)+p(x)y(x)=f(x)\)解为\(y(x)=e^{-\int ^x p(x')dx'}[\int ^x f(x')e^{\int ^{x'} p(x'')dx'}dx'+C]\)
    3. 本学期最后一次作业,作业8:推导本文献中所有公式,也等于说重复出该文献所有结果
    4. 本节主题:Brown Motion\(\rightarrow\)单粒子\(\rightarrow\)场\(\rightarrow\)非线性(KPZ方程)
      Wilson Renormalization Group 1971-1972\(\rightarrow\) Shang-Keng Ma 1973-1974推广到随机非线性方程\(\frac{\partial S_a}{\partial t}=-\frac{\beta}{\mu}\frac{\partial H}{\partial S^a}+\eta_a\),其中\(\eta_a\)为随机力,\(\frac{\partial H}{\partial S^a}\)为梯度力
      后面发展出了Dynamical Renormalization Group方法,参考Flocks,herds,and schools
      表面生长问题、细菌生长问题,细菌生长高度为\(h(x,t)\),定义方差\(w^2(L,t)=\frac{1}{L}\int_0^Ldx(h(x,t)-\bar{h})^2\),\(w\sim L^xf(t/L^z)\),实验结果为\(x=\frac{1}{2},z=\frac{3}{2}\)
      Edwards-Wilklson方程\(\frac{\partial h}{\partial t}=D\triangledown^2 h+\eta\),KPZ修改为\(\frac{\partial h}{\partial t}=\nu\triangledown^2h+\eta+(\triangledown h)^2\)
      微扰求解办法:很类似朗道力学中求解非线性方程的办法,视\(\frac{\lambda}{2}(\triangledown h)^2\)为微扰
      令微扰求解值为\(h=h_0+\lambda h_1+\lambda^2h_2+\lambda^3h_3+\cdot\cdot\cdot\),\(\frac{\partial h_0}{\partial t}=\nu\triangledown^2h_0+\eta\),慢慢微扰求解即可,这也是
    5. 继续上节课所叙述的过阻尼
      \(m\ddot{x}=-\frac{1}{\mu}\dot{x}+f+\xi\),当\(\frac{1}{\mu}\)很大时,为过阻尼情形,有\(\frac{1}{\mu}\dot{}=f+\xi\rightarrow\dot{x}=\mu f+\eta,\eta=\mu\xi\),其中\(\mu f\)为阻力,\(\eta\)为随机力
      从图像上看来理解\(t<< t_0\)时\(\eta\)不重要,因为粒子初始运动快;当\(t>> t_0\)时,\(\eta\)项更重要,因为粒子运动速度变慢了
    6. 下列讨论外势能为抛物势,\(f=-kx\)情形,方程为\(\dot{x}=-\mu kx+\eta\)
      该微分方程解为\(X(t)=X(0)[e^{-\mu kt}+\int_0^te^{-\mu k(t-t')}\eta(t')dt']\),故可将X(t)分解为确定部分和不确定部分,\(X(t)=X_1+X_2,\bar{X(t)^2}=\bar{X_1^2}+\bar{X_2^2}+2\bar{X_1X_2}\)
      \(\langle x^2\rangle-\langle x\rangle^2=X^2(0)\int_0^t\int_0^te^{-\mu k(t-t_1)}\langle\eta(t_1)\eta(t_2)\rangle e^{-\mu k(t-t_2)}dt_1dt_2=X^2(0)\int_0^t\int_0^t e^{-\mu k(2t-t_1-t_2)}2D\delta(t_1-t_2)dt_1dt_2\)
      当\(t\rightarrow+\infty\)时,\(\langle x^2\rangle-\langle x\rangle^2=X^2(0)\frac{D}{\mu k}\)
      更正:平衡态时\(P\sim e^{-\beta u}=e^{-\frac{\beta}{2}kx^2}\),\(\langle x^2\rangle=\frac{\int x^2e^{-\frac{\beta k}{2}x^2}dx}{\int e^{-\frac{\beta}{2}kx^2}dx}=\frac{1}{\beta k}\)
      我们一般认为\(t\rightarrow+\infty\)时系统趋近于平衡态,故有\(\frac{2DX^2(0)}{2\mu k}=\frac{1}{\beta k}\rightarrow D=\frac{k_BT\mu}{X^2(0)}\)
    7. 下面我们讨论标度行为不变性
      \(\frac{d}{dt}X(t)=-\mu X(t)+\eta(t)\),定义符号:没有标度变换时候为\(X(t),\mu,D,\eta(t)\),有标度变换时候\(t'=bt\)为\(x'(t'),\mu',D',\eta'(t')\)
      \(\frac{dX(t)}{dt}=-\mu X(t)+\eta(t),\frac{dX'(t')}{dt'}=-\mu'X'(t')+\eta'(t')\),令\(\eta'(bt)=b^{\sigma}\eta(t)\),则\(\langle\eta'(t'_1)\eta'(t'_2)\rangle=2D'\delta(t'_1-t'_2)=2D'\delta[b(t_1-t_2)]=2D'b^{-1}\delta(t_1-t_2)\),故\(D'=Db^{2\sigma+1}\)
      可类比量子场论下标度变换后波函数形式\(\phi'(k')=\phi'(bk)=b^z\phi(k)\),定义\(X'(bt)=b^zX(t)\),则标度变换后方程为\(\frac{b^z}{b}\frac{dX(t)}{dt}=-\mu'b^zX(t)+b^{\sigma}\eta(t)\rightarrow \frac{dx}{dt}=-\mu'bx+b^{\sigma+1-z}\eta\),有\(\mu'=\mu/b\)
      魏贤昊认为的标度变换:类似于变换单位制,若如此,则对于\(\langle x^2\rangle=2Dt\),则存在两个独立的单位,米和秒,则存在两个自由参量,b和z。我们可以取\(z=\frac{1}{2}\)求得\(\sigma=-\frac{1}{2}\)
      讨论\(\frac{\partial h(x,t)}{\partial t}=\nu\triangledown^2h(\vec{x},t)+\eta(\vec{x},t),\langle\eta(\vec{x},t)\eta(\vec{x'},t')\rangle=2D\delta(\vec{x}-\vec{x'})\delta(t-t')\)的标度变换
      \(\frac{\partial h(x,t)}{\partial t}=\nu\frac{\partial^2h}{\partial x^2}+\eta(\vec{x},t),\frac{\partial h'(x',t')}{\partial t'}=\nu'\frac{\partial^2h'(x',t')}{\partial x^2}+\eta'(x',t')\)
      令\(x'=bx,t'=b^zt,h'(x',t')=b^xh(x,t),\eta'(x',t')=b^{\sigma}\eta(x,t)\),则标度变换后方程为\(b^{x-z}\frac{dh(x,t)}{dt}=\nu'b^{x-2}\partial_x^2h+b^{\sigma}\eta\rightarrow\frac{dh}{dt}=\nu'b^{z-2}\partial_x^2h+b^{\sigma+2-x}\eta\)
      讨论此模型下的标度变换,有\(z=2,x=2+\sigma\),其中有两个自由度,b和\(\sigma\)
      定义\(\langle\eta'(x'_1,t'_1)\eta'(x'_2,t'_2)\rangle=2D'\delta(x'_1-x'_2)\delta(t'_1-t'_2)=2D'\delta[b(x_1-x_2)]\delta[b^z(t_1-t_2)]=2D'b^{-(d-1)-z}\delta(x_1-x_2)\delta(t_1-t_2)\)
      有\(b^{2\sigma}\langle\eta(x_1,t_1)\eta(x_2,t_2)\langle=2Db^{2\sigma}\delta(t_1-t_2)\delta(x_1-x_2)\),由于b和\(\sigma\)是两个自由度,我们可以让\(D=D'\)取此规范下可求出\(\sigma=\frac{-(d-1)-z}{2},x=2+\sigma\)
      加入非线性系数\(\frac{\lambda}{2}(\triangledown h)^2\),其中\(\frac{\lambda'}{2}(\triangledown'h')^2=\frac{\lambda'}{2}b^{2x-2}(\triangledown h)^2\),则有\(\lambda'=\lambda\cdot b^{d+1-z}\)
    8. 考察随机势下动量空间的运动,\(\frac{\partial h(\vec{x},t)}{\partial t}=\nu\triangledown^2h+\eta,\frac{\partial h(\vec{k},t)}{\partial t}=-\nu k^2h(\vec{k},t)+\eta(\vec{k},t)\),其中\(\langle\eta(k,t)\eta(k,t')\rangle=2D\delta(t-t')\)
      解的形式为\(h(\vec{k},t)=h(\vec{k},0)[e^{-\nu k^2t}+\int_0^te^{-\nu k^2(t-t')}\eta(k,t')dt']\),有\(\langle h^2(x,t)\rangle-\langle h(x,t)\rangle^2=\sum_k\frac{h^2(k,0)}{\nu k^2}\),Feynman图如下所示
      \(d=1\)情况下为红外发散,\(d=2\)情况下同时存在红外发散和紫外发散,\(d=3\)情况下存在紫外发散
      \(\sum_x\langle h^2(x,t)\rangle=\sum_k\langle h(k,t)h(-k,t)\rangle=\sum_k\int_0^t 2D\delta(t'-t'')e^{-\nu k^2(t-t')}e^{-\nu k^2(t-t'')}dt'dt''=2D\sum_k\int_0^te^{-2\nu k^2(t-t')}dt'=\sum_k\frac{D}{\nu k^2}(1-e^{-2\nu k^2t})\)
      上式\(=2D\Omega_d(\frac{1}{2\pi})^d\int_0^{\wedge}\frac{dk k^{d-1}}{\nu k^2}(1-e^{-2\nu k^2t})\),令\(\nu k^2t=y^2,y=\sqrt{\nu t}k=2D(\frac{1}{2\pi})^d\frac{1}{\nu}(\sqrt{\nu t})^{d-2}\int_0^{+\infty}\frac{y^{d-1}}{y^2}(1-e^{-2y})dy\sim t^{(d-2)/2}\int_0^{\wedge}\frac{y^{d-1}}{y^2}(1-e^{-2y})dy\)
      学生笔记
      学生笔记2
      学生笔记3
  • 5.19 周四

    1. 参考:
      1. 诺奖得主Parisi在中科院理论物理所的一次合作,返朴
      2. Parisi,吴咏时,不用固定规范的微扰论(英文版)
      3. Parisi,吴咏时,不用固定规范的微扰论(中文版)(备注:中文版部分物理符号很不清晰)
      4. KPZ方程原始论文
      5. 张翼成:我与诺贝尔物理学奖获得者Parisi教授的故事
      6. 格林函数与传播子,\(\psi^{\dagger}\)与\(\psi\)配对的联系,可以参考Peskin第2-4章,或者文小刚量子多体理论中文版第2章和第3.1节
      7. Flocks,herds,and schools:a quantitative theory of flocking
      8. Medina,Hwa,Kardar,Zhang,1989 PRA:Burgers equation with correlated noise:renormalization group analysis and applications to directed polymers and interface growth
      9. The Renormalization Group and Singular Perturbations:Multiple-Scales,Boundary Layers and Reductive Perturbation Theory
    2. EW Model:\(\frac{\partial h}{\partial t}=\nu\triangledown^2h+\eta(x,t)\)上节课证明了是对于动量空间的布朗运动
      这对应于多重分形结构,参考:文献1:规则表面形貌的分形和多重分形描述文献2:KPZ formula for log-infinitely divisible multifractral random measuresMultifractral-an overview
    3. 粗略讲解历史:
      Parisi,吴咏时,不用固定规范的微扰论(中文版)讨论的模型形式为:
      \(\phi=\triangle^2\phi-m^2\phi+g\phi^2+\eta\)
      KPZ方程原始论文讨论的模型形式为:
      \(\frac{\partial\phi}{\partial t}=\nu\partial^2\phi+\frac{\lambda}{2}(\partial\phi)^2+\eta\)
      Flocks,herds,and schools:a quantitative theory of flocking文章讨论的模型形式为
      \(\partial_t\vec{v}+\lambda_1(\vec{v}\cdot\triangledown)\vec{v}+\lambda_2(\triangledown\cdot\vec{v})\vec{v}+\lambda_3\triangledown v^2=\alpha\vec{v}-\beta v^2\vec{v}-\triangledown p+\cdot\cdot\cdot+\vec{\eta}\),其中\(\vec{v}=(v_1 v_2 v_3)\)
      上一篇文章作者Yuhai Tu获得了统计物理最高奖昂萨格奖,剩下两个获此殊荣的中国人是杨振宁、以及做冷原子的Jason Ho
      其中Yuhai Tu以前是做场论的,后面转行做生物物理,做出了好的成果
    4. 从KPZ方程原始论文讲起。\(\frac{\partial h}{\partial t}=\nu\triangledown^2h+\frac{\lambda}{2}(\triangledown h)^2+\eta\)
      在伽利略变换情况下,忽略\(\epsilon^2\)二阶小量,可得原来方程在如下伽利略变换形式下仍然不变
      \(t'=t,\vec{x}'=\vec{x}+\lambda\vec{\epsilon}t,\vec{h}'=\vec{h}+\vec{\epsilon}\cdot\vec{x}\simeq\vec{h}+\vec{\epsilon}\cdot(\vec{x}+\lambda\vec{\epsilon}t),h(x,t)\rightarrow h(x',t')\rightarrow h'(x',t')\)
      当\(\eta=0\)时方程严格可解,此为Burgers Equation,解法为换元\(W=e^{\frac{\lambda}{2\nu}h}\),可变换为可解方程\(\frac{\partial w}{\partial t}=\nu\frac{\partial^2w}{\partial x^2}\),解得w(x,t)后做换元\(h(x,t)=\frac{2\nu}{\lambda}lnw(x,t)\)即可
      现在考虑\(\eta\neq0\)情形,令\(\vec{v}=-\triangledown h\),上面公式变为\(\frac{\partial\vec{v}}{\partial t}+\lambda\vec{v}\cdot\triangledown\vec{v}=\nu\triangledown^2\vec{v}-\triangledown\eta\),此为Naiver-Strokes方程,直到现在都还是数学物理领域内极其困难的难题
      Remarks:\(\triangle\eta\)也是随机数,\(\langle\triangledown\eta(\vec{x},t)\triangledown\eta(\vec{y},t)\rangle\sim\delta(x-y)\delta(t-t')\triangledown_i\triangledown_j,\langle\eta(\vec{k},t)\eta(\vec{k}',t)\rangle\sim f(\vec{k},\vec{k}')\delta(\vec{k}+\vec{k}')\delta(\omega+\omega')\)
    5. Reyleigh Problem:参考文献:The Renormalization Group and Singular Perturbations:Multiple-Scales,Boundary Layers and Reductive Perturbation Theory
      Reyleigh equation:\(\ddot{y}+y=\epsilon(\dot{y}-\frac{1}{3}\dot{y}^3)\),其中\(\epsilon\)为小量
      具体求解步骤应采用微扰展开\(y=y_0+\epsilon y_1+\epsilon^2y_2+\cdot\cdot\cdot\)
      对\(\epsilon^0\)term,有\(\ddot{y}_0+y_0=0\),对\(\epsilon^1\)term,有\(\ddot{y}_1+y_1=\dot{y}_0-\frac{1}{3}\dot{y}_0^3\),对\(\epsilon^2\)term,有\(\ddot{y}_2+y_2=\dot{y}_1-\dot{y}_0^2\dot{y}_1\)
      解的形式为\(y(t)=R_0sin(t+\theta_0)+\epsilon\{-\frac{R_0^3}{96}cos(t+\theta_0)+\frac{R_0}{2}(1-\frac{R_0^2}{4})(t-t_0)sin(t+\theta_0)+\frac{R_0^3}{96}cos3(t+\theta_0)\}+O(\epsilon^2)\),其中\(R_0,\theta_0\)待定,取决于\(t_0\)时刻\(y^{(n)}(t_0)\)
      这与奇异微扰理论Singular Perturbation Theory有关
    6. 解KPZ方程\(\frac{\partial h}{\partial t}=\nu\partial^2h+\frac{\lambda}{2}(\partial h)^2+\eta\)
      傅里叶变换\(h(x,t)=\sum_ke^{ikx}h(k,t),\eta(x,t)=\sum_ke^{ikx}\eta(k,t)\)后方程为
      \(\frac{\partial h(k,t)}{\partial t}=-\nu k^2h(k,t)+\eta(k,t)-\sum_q\frac{\lambda}{2}q(k-q)h(q,t)h(k-q,t)\)
      于是KPZ方程经过傅里叶变换后很类似Parisi-Wu Model
      后续老师讲的课程部分见我吴咏时原始文献,以及我主页下一节:引领大家阅读参考文献:Parisi,吴咏时,不用固定规范的微扰论(中文版)
      学生笔记
      学生笔记2
      学生笔记3
  • 引领大家阅读参考文献:Parisi,吴咏时,不用固定规范的微扰论(中文版)

    1. 参考资料:
      1. 诺奖得主Parisi在中科院理论物理所的一次合作,返朴
      2. Parisi,吴咏时,不用固定规范的微扰论(英文版)
      3. Parisi,吴咏时,不用固定规范的微扰论(中文版)(备注:中文版部分物理符号很不清晰)
      4. 中国科学技术大学刘国柱老师,量子多体理论讲义,电子与杂质的相互作用
      5. Fadeev-Popov Method参考资料:阿贝尔规范场路径积分(靠Fadeev-Popov Method消除发散),peskin书294-297页阿贝尔规范场路径积分(靠fadeev-popov Method消除发散),srednicki书343-344页
    2. 以下叙述的Eqa.b全部为中文版的Eqa.b,英文版稍微更全一些,大家可对照英文版
    3. 本文章核心思想:从Langevin方程推导微扰论,可以求出电磁场传播子\(\langle A_{\mu}A_{\nu}\rangle\)而不需要靠Fadeev-Popov Method消除发散。毕竟Fadeev-Popov Method感觉只是个技巧而已。但本文中给出的方法图的数目比微扰论多很多,代数运算也很长,也不能用LSZ reduction
      本文章是由Langevin方程出发,从非平衡态经过足够长时间演化后\(t\rightarrow+\infty\)过渡到平衡态,求解平衡态的场特性和传播子特性,因此我们考虑的物理是低频低能有效物理(\(f(t)=\sum_{\omega}f_{\omega}e^{i\omega t}\))
    4. 在此之前,大家需要推导两页纸的FokkerPlanck方程参考文献
      注意到上面一篇参考文献中推导FokkerPlanck方程假设了\(n>2\)时,\(D^{(n)}(x_0)=\frac{1}{n!}\lim_{\triangle t\rightarrow0}\frac{1}{\triangle t}\langle[X(t+\triangle t)-X(t)]^n\rangle|_{t=0}\)
      而在吴咏时,不用固定规范的微扰论(中文版)中Eq2.4式保证了实际求出的结果\(n>2\)时,\(D^{(n)}(x_0)\)严格等于0,下面来证明之:
      Langevin方程:\(\frac{\partial\phi(x,t)}{\partial t}=-\frac{\delta V}{\delta\phi(x,t)}+\eta(x,t)\),求出的解为\(X(t)=X_0e^{-\frac{V'(x)}{x}t}+\int_0^t\eta(x,\tau)e^{-\frac{V'(x)}{x}(t-\tau)}d\tau\)
      V表示哈密顿量,有动能项有势能项,但前面没有\(i\hbar\)无法和薛定谔方程联系起来,用这个方法画出的费曼图吻合实际,对平衡态也成立有谁明白这个公式最原始推导?
      该文章假定\(\langle\eta(x,t)\eta(x,t')\rangle=\frac{2}{\beta}\delta(x-y)\delta(t-t')\),并假定\(\eta(x,t)\)满足Gauss分布,而Gauss分布没有高阶距(可参考3.10课程主页),故连通部分\(\langle\eta(x_1,t_1)\eta(x_2,t_2)\cdot\cdot\cdot\eta(x_n,t_n)\rangle=0\)
      \(t\rightarrow0\)时,可求得\(\frac{\langle X(\triangle t)-X(0)\rangle}{\triangle t}|_{\triangle t\rightarrow0}=-V'(x_0),\frac{\langle(X(\triangle t)-X(0))^2\rangle}{\triangle t^2}|_{\triangle t\rightarrow0}=\frac{1}{\beta}\),\(D^{(n)}(X_0)=0(when\;n>2)\)
    5. 大家可以无缝推导到Eq3.8
      备注:Eq3.2有个公式写错了,应该为\(\dot{\phi}=\partial^2\phi-m^2\phi-g\phi^2+\eta\),Eq3.8应改进为\(\phi(x,t)=\int_0^td\tau\int d^DyG(x-y,t-\tau)[\eta(y,\tau)-g\phi(y,\tau)^2]\),对于最终结果Eq3.11-Eq3.15毫无影响
    6. Eq3.8推导到Eq3.9采用的是迭代法,对\(\phi(x,t)=\int_0^td\tau\int d^DyG(x-y,t-\tau)[\eta(y,\tau)-g\phi(y,\tau)^2]\),不断的对\(\phi(y,\tau)\)进行代入迭代,一根直线表示G,叉叉表示\(\eta\),当Eq3.10中一根直线内有叉叉时,表示两个G连通,位置和时间相同,再乘以响应系数即可
      Eq3.9图到Eq3.10图:对于Gauss型波包,\(\langle\eta(x_1,t_1)\eta(x_2,t_2)\eta(x_3,t_3)\eta(x_4,t_4)\rangle=\frac{\int D\eta \eta(x_1,t_1)\eta(x_2,t_2)\eta(x_3,t_3)\eta(x_4,t_4)exp[-\frac{\beta}{2}\int d^Dx''dt'']}{\int D\eta exp[-\frac{\beta}{2}\int d^Dx''dt'']}\)
      可求得\(\langle\eta(x_1,t_1)\eta(x_2,t_2)\eta(x_3,t_3)\eta(x_4,t_4)\rangle=\langle\eta(x_1,t_1)\eta(x_2,t_2)\rangle\langle\eta(x_3,t_3)\eta(x_4,t_4)\rangle+\langle\eta(x_1,t_1)\eta(x_3,t_3)\rangle\langle\eta(x_2,t_2)\eta(x_4,t_4)\rangle+\langle\eta(x_1,t_1)\eta(x_4,t_4)\rangle\langle\eta(x_2,t_2)\eta(x_3,t_3)\rangle\)
      故绘制的图一个随机势用叉叉表示,只能连接左右两条线,而不需要考虑叉叉连接四条线、六条线等情形
      注:这里Eq3.9、Eq3.10求的图都是傅里叶变换到了k空间,在实数空间的费曼图为:x点在最左边,与\(\phi^3\)一条腿配对;y点在最右边,与另一个\(\phi^3\)一条腿配对,两个\(\phi^3\)中间部分项链,对应简并度为18,由于之前规定为\(\frac{g}{3}\phi^3\),配对后除以9,简并度为2,按照下列叙述修正Eq3.11式错误
    7. 电子与杂质相互作用费曼图平均:只有\(\eta\)和\(\eta\)配对才非零,没配对平均结果为0,如下图所示,顶端黑球代表随机力\(\eta\)

      \(\langle\)\(\rangle=0\),\(\langle\)\(\rangle\neq0\)

    8. 整体Feynman图配对如下图所示,其中高阶项全部不考虑,因为\(\partial^4\phi\)等项对低能有效理论不起作用,或者这是微扰论逐级展开保证收敛必须cut的高阶项

    9. 由于Eq3.7提到了\(D(k;t,t')\)只有在\(t'\leq t\)时成立,故修正\(\int_0^{t_2}d\tau_2\)为\(\int_0^{\tau_1}d\tau_2\)
      由于简并度为2,故修正整体Eq3.11式、Eq3.13式为如下形式,不影响最终结论
      \(revised-eq3.11:b=2g^2\int\frac{d^Dk_1}{(2\pi)^D}\int_0^{t_1}d\tau_1\int_0^{\tau_1}d\tau_2G(k;t_1-\tau_1)G(k;t_2-\tau_2)D(k_1;\tau_1,\tau_2)D(k-k_1;\tau_1,\tau_2)\)
      \(revised-eq3.13:b=2g^2\int\frac{d^Dk_1}{(2\pi)^D}\frac{1}{(k_1^2+m^2)(k_2^2+m^2)(k^2+m^2)(k^2+k_1^2+k_2^2+3m^2)*2}\)
    10. Eq4.6式到Eq4.9图:对于Eq4.6解为\(\tilde{q_L}=-\int_0^t-\sqrt{\mu^2g}(3\tilde{q_L}^2(\tau)+q_T^2(\tau))e^{-2\mu^2(t-\tau)}d\tau+\int_0^t\eta_Le^{-2\mu^2(t-\tau)}d\tau\),不断的展开\(\tilde{q_L}(\tau)\)项得到正确结果
    11. 第五部分规范理论,非阿贝尔规范场参考我写的Note,参考我写的Note第6-7页
      非阿贝尔规范场中规范变换为幺正变换\(\psi\rightarrow U\psi=exp(-i\sum_aA_{\mu}^a\tau^a)\psi\),一般情况下令\(\tau^a=\frac{\sigma^a}{2}\)
      对于复数场,改写Langevin方程为\(\frac{\partial\psi(x,t)}{\partial t}=-\frac{\delta V}{\delta\psi^{\dagger}(x,t)}+\eta(x,t)\)
      可得\(\dot{\phi}=(\partial_{\mu}-ieA_{\mu})^2\phi+\eta\),修正原始文献中\(J_{\mu}^a=-ie\partial_{\mu}\psi^{\dagger}\tau^a\psi+ie\psi^{\dagger}\tau^a\partial_{\mu}\psi+2e^2A_{\mu}^a\psi^{\dagger}\psi\)
      将Eq5.1式中\(\frac{1}{2}Tr[F_{\mu\nu}^2]=\frac{1}{4}(\partial_{\mu}A_{\nu}^a-\partial_{\nu}A_{\mu}^a-ie\epsilon^{bca}A_{\mu}^bA_{\nu}^c)(\partial_{\mu}A_{\nu}^a-\partial_{\nu}A_{\mu}^a-ie\epsilon^{bca}A_{\mu}^bA_{\nu}^c)\)
      于是这样的话就比较容易求得\(\dot{A_{\mu}}=\dot{A_{\mu}^a}\tau^a=[-\frac{\partial V}{\partial A_{\mu}^a}+\partial_{\nu}\frac{\partial V}{\partial(\partial_{\nu}A_{\mu}^a)}]\tau^a=D_{\nu}F_{\nu\mu}+J_{\mu}+\eta_{\mu}\)
    12. Eq5.4和Eq5.5推导到Eq5.6补充推导细节:
      进行简单的傅里叶变换得\(\dot{A}_{\mu}=-\sum_{\nu\neq\mu}k_{\nu}^2A_{\mu}+\sum_{\nu\neq\mu}k_{\mu}k_{\nu}A_{\nu}+\eta_{\mu}\rightarrow \dot{A}_{\mu}=-k^2\sum_{\nu}(\delta_{\mu\nu}-\frac{k_{\mu}k_{\nu}}{k^2})A_{\nu}+\eta_{\mu}(k,t)\)
      定义矩阵M,矩阵元为\(M_{\mu\nu}=\delta_{\mu\nu}-\frac{k_{\mu}k_{\nu}}{k^2}\),将\(A_{\mu}\)扩展为列向量可解得
      \(A=\int d\tau e^{-k^2M(t-\tau)}\eta(k,\tau)\)
      留意到\((M^2)_{\mu\nu}=\sum_{\alpha}(\delta_{\mu\alpha}-\frac{k_{\mu}k_{\alpha}}{k^2})(\delta_{\alpha\nu}-\frac{k_{\alpha}k_{\nu}}{k^2})=\delta_{\mu\nu}-\frac{k_{\mu}k_{\nu}}{k^2}\),故\(M^2=M\),类似的\(M^n=M(n>2)\)
      故\(e^{-k^2M(t-\tau)}=1-M+Me^{-k^2(t-\tau)}\),故可解得\(A_{\mu}=\int d\tau[1-M_{\mu\nu}+M_{\mu\nu}e^{-k^2(t-\tau)}]\eta_{\nu}(k,\tau)\)
      故可解得最终解\(A_{\mu}(k,t)=\int_0^td\tau \{\frac{k_{\mu}k_{\nu}}{k^2}+(\delta_{\mu\nu}-\frac{k_{\mu}k_{\nu}}{k^2})e^{-k^2(t-\tau)}\}\eta_{\nu}(k,\tau)\)
    13. 我们留意到Eq5.9式,\(\langle A_{\mu}(x,t)A_{\nu}(x',t')\rangle=D_{\mu\nu}(k,t,t')\),当\(t=t'\rightarrow\infty\)时,\(D_{\mu\nu}(k,t,t)=(\delta_{\mu\nu}-\frac{k_{\mu}k_{\nu}}{k^2})\frac{1}{k^2}+2t\frac{k_{\mu}k_{\nu}}{k^2}\),发散项主要来源为Eq5.4式没有使用电磁场的规范\(\partial_{\nu}A_{\nu}=0\)
      当取规范\(A=A_{\mu}^T+\partial_{\mu}\alpha(x,t)\)时,\(\partial_{\mu}\alpha(x,t)\)为非物理场,其中\(\partial_{\mu}A_{\mu}^T(x,t)=0\),那么我们得修正Eq5.7式为
      \(A_{\mu}(k,t)=\int_0^td\tau(\delta_{\mu\nu}-\frac{k_{\mu}k_{\nu}}{k^2})e^{-k^2(t-\tau)}\eta_{\nu}(k,\tau)\),为了满足Eq5.4式,因此得限定随机力满足\(\partial_{\mu}\partial_{\nu}\eta_{\nu}(x,t)=0\)
    14. 考虑\(\phi\)场耦合阿贝尔规范场,有\(\dot{\phi}=D^2\phi+\eta\rightarrow\dot{\phi}_{\mu}=-(k_{\mu}-eA_{\mu})^2\phi_{\mu}+\eta(k,t)\)
      故\(\phi_{\mu}(k,t)=\int[2ek_{\mu}A_{\mu}\phi_{\mu}(\tau)-e^2A_{\mu}^2\phi_{\mu}(\tau)+\eta(k,\tau)]e^{-k_{\mu}^2(t-\tau)}d\tau\)
      由此可推导出Eq5.13,Eq5.14,Eq5.15式,但作者后续没有具体计算\(b+c+d+e+f\)项了
      后续该文章没有具体计算非阿贝尔场路径积分形式了,有谁感兴趣可以和我多交流交流
  • KPZ方程原始论文部分备注

    1. 参考资料:
      1. 诺奖得主Parisi在中科院理论物理所的一次合作,返朴
      2. Parisi,吴咏时,不用固定规范的微扰论(英文版)
      3. Parisi,吴咏时,不用固定规范的微扰论(中文版)(备注:中文版部分物理符号很不清晰)
      4. KPZ方程原始论文
      5. 张翼成:我与诺贝尔物理学奖获得者Parisi教授的故事
      6. 更广义的KPZ方程重整化方程
    2. KPZ方程背景为表面生长问题,助教不做这方面研究,不熟悉背景,大家可以和我多讨论一下。本节只介绍最重要公式的推导(KPZ方程原始文献Eq5推导)
    3. KPZ方程形式如下:
      \(\frac{\partial h}{\partial t}=\nu\triangledown^2h+\frac{\lambda}{2}(\triangledown h)^2+\eta(x,t)\)
      KPZ方程解为
      \(h(k,t)=G_0(k,t)h(k,0)+\int_0^td\tau G_0(k,t-\tau)[\eta(k,\tau)-\frac{\lambda}{2}\int\frac{d^dq}{(2\pi)^d}\vec{q}\cdot(\vec{k}-\vec{q})h(\vec{q},\tau)h(\vec{k}-\vec{q},\tau)]\)
      其中\(G_0(k,t)=e^{-\nu k^2t}\theta(t)\)
    4. 我们考虑非平衡态到平衡态情形,只关心\(t\rightarrow+\infty\)的物理,故\(h(k,0)e^{-\nu k^2t}\theta(t)\)项在\(t\rightarrow+\infty\)的时候此项为0。同时将\(e^{-\nu k^2\tau}h(k,0)\theta(\tau)\)进入迭代,用归纳法可证明得\(t\rightarrow+\infty\)时放进去迭代的结果也是零
      这恰好说明平衡态状态与初态无关,不妨假设\(h(k,0)=0\)
      将公式迭代展开,会出现\(\eta,\eta\eta,\eta\eta\eta,\cdot\cdot\cdot\)项,由于最终我们只对\(\langle h^2(x,t)\rangle\)项感兴趣,且根据之前提到的配对规则
      对比KPZ Equation和Parisi-Wu文章中公式,又类似性
      \(\frac{\partial h(\vec{k},t)}{\partial t}=-\nu k^2h(\vec{k},t)-\frac{\lambda}{2}\int\frac{d\vec{q}_1}{(2\pi)^d}\vec{q}_1\cdot(\vec{k}-\vec{q}_1)h(\vec{q}_1,t)h(\vec{k}-\vec{q}_1,t)+\eta\)
      \(\frac{\partial \phi(\vec{k},t)}{\partial t}=-\nu k^2\phi(\vec{k},t)-g\int \frac{d\vec{q}_1}{(2\pi)^d}\phi(\vec{q}_1,t)\phi(\vec{k}-\vec{q}_1,t)+\eta\)
      此文献叙述了更广义的KPZ方程重整化方程,在这片文章中叙述了KPZ原始论文Eq5的推导,重整化图如下所示:


      其中圆圈代表\(\eta(k,\omega)\),打箭头实线代表传播子\(G_0(k,\omega)=\frac{1}{\nu k^2-i\omega}\)。上面三行分别对应:\(\nu\)的低阶修正、D的低阶修正、\(\lambda\)的低阶修正
      对于重整化,我们只关心\(k\rightarrow0\)极低能的物理,我们做近似,积分掉\(\vec{q},|\vec{k}-\vec{q}|\)高能部分得到低能有效模型
      经过该文献Appendix一系列复杂的演算,可以得到\(\lambda,\nu,D\)的低阶重整化修正