希尔伯特空间与欧氏关联函数

希尔伯特空间

一个希尔伯特空间 H ,是一个有限维矢量空间,元素满足加法和数乘运算并对其封闭,且配备了矢量内积 u|v —— 定义为对偶矢量对矢量的作用,满足线性性和共轭交换律 u|v=v|u

物理上感兴趣的希尔伯特空间存在完备可数基,任意矢量可由该组可数个基矢量的复线性组合展开;进一步,常要求是正交基。

一个算符 O^ 作用在 H 上,将一个矢量映射到该空间中另一个矢量,其相应的伴随算符定义: u|O^|v=v|O^|u 。伴随算符与原算符相等的是自伴算符,有时也叫厄密算符(尽管数学上存在一些微妙的差别)。厄密算符的本征值,即如下关于 λ 方程(本征方程)的解,永远为实数:

O^|u=λ|u

并且属于不同本征值的本征矢(即满足上述方程的 |u )之间相互正交;另一方面,属于相同本征值的本征矢构成一个子空间,其中总可以找到一组正交基。定理表明,(有限维情况下)对任一自伴算符,其若干本征矢总可以构成整个希尔伯特空间的一组完备正交基,尽管在存在简并情况下不是唯一确定的;进一步,多个相互对易算符的公共本征矢可以唯一确定一组完备正交基,这样的一组算符叫可对易算符完备集(CSCO,complete set of commuting operators)。

单位算符可按完备正交基展开: 1=n|enen| ,即完备性关系。

注意到算符的迹是基变换下的不变量,且算符可在其本征矢构成的正交基下对角化,因此算符的迹也可在任一组完备正交基下表示为: tr[O^]=nen|O^|en

对于无限维希尔伯特空间,可能用到不可数基,此时上述求和改为积分。

粒子物理记号

粒子物理中态空间(希尔伯特空间)中的态矢可以是多粒子态,因为存在粒子产生和湮灭,此时总的态空间是 0 粒子,1 粒子,2 粒子…… 态空间的直和,即福柯空间(Fock space)。该空间中的粒子态,可以由每个粒子的量子数和它们分别的位置(或动量等参数)决定并标记。零粒子态即真空态,记为 |0 ;它不必是唯一的,例如在自发对称性破缺等情况下。

重要的一类算符,即场算符,用于产生和湮灭粒子;很多时候,场算符的伴随算符对应于其反粒子,例如若 O^π+ 产生一个 π+ 介子量子数的态,则其伴随 O^π+ 要么将之湮灭,要么产生一个它的反粒子( π 介子)态。

欧氏关联函数

海森堡绘景(算符随时间演化)下, O^(τ)=eiτH^O^(0)eiτH^

考虑 Wick 转动到虚时间欧氏空间传播子 O2(t)|O1(0)T ,t 是所关心的时间, T 是形式上的最大时间距离,通常取无穷极限。希望在 T 极限下,其具有形式如 etH^O^2 etH^O^1 。考虑如下定义:

O2(t)|O1(0)T=1ZTtr[e(Tt)H^O^2 etH^O^1]=1ZTtr[O^2(t)O^1(0)eTH^]

因子 ZT=tr[eTH^] ,在欧氏路径积分框架下它是统计系统的配分函数。此处两个算符可以是场算符,或可观测量算符。算符指数按级数和定义。

计算配分函数和 trace 时可取 H^ 的一组本征矢作为正交基,相应于一系列能量本征值

H^|n=En|n ,n=0,1,2

这里指标不仅表示能级,而且表示所有量子数。于是

ZT=nn|eTH^|n=neTEn

类似的,计算关联函数时按 trace 定义并插入完备性关系得

O2(t)O1(0)T=1ZTm,nm|e(Tt)H^O^2|n n|etH^O^1|m=1ZTm,ne(Tt)Emm|O^2|n etEnn|O^1|m=m,nm|O^2|nn|O^1|me(Tt)EmetEnneTEn

在分子分母上同时除以因子 eTE0

O2(t)O1(0)T=m,nm|O^2|nn|O^1|meTEmtEm+tEn+TE0+tE0tE01+eTΔE1+eTΔE2+=m,nm|O^2|nn|O^1|me(Tt)ΔEmetΔEn1+eTΔE1+eTΔE2+

这样它仅与相对真空态能量 E0 的能量差有关,这些差值可由实验测定;之后不妨取 E0=0 ,即 ΔEn=En 的记号。

该关联函数在 T 极限下(假设真空态唯一且其余态均为正能),分母为 1 ,分子中则只剩余 |m=|0 的态。则

limTO2(t)O1(0)T=n0|O^2|nn|O^1|0etEn

表现为对每一能级能量指数的求和。例如,取 O^1=O^pO^2=O^p 分别表示创造和湮灭一个质子 p 的算符。因此对于没有质子的态 |n ,矩阵元 n|O^p|0=0 。对于一系列存在的态,

limTO2(t)O1(0)T=p|p|O^p|0|2etEp

对足够大的 t ,高能的项会被压低,主要的项只是一个以最低能态能量为指数的衰减。类似的可得所有粒子的基态能量。

量子力学体系的路径积分

考虑势场 U 中作一维( x )运动的单个粒子, H^=p^22m+U^U^|x=U(x)|x ,正则对易关系 [x^,p^]=i ,坐标表象下, p^=iddx ,且 x|p=12πeipx 。配分函数

ZT=tr[eTH^]=dxx|eTH^|x

自由粒子情形下

x|etp^2/2m|y=dpx|etp^2/2m|pp|y=dpx|pp|yetp2/2m=12πdpei(xy)etp2/2m=m2πte(xy)2m/2t

有势场情形下,非对易项产生复杂问题。考虑将势场对称分割,在无限小时间内,展开的领头阶:

eϵH^=eϵU^/2eϵp^2/2meϵU^/2(1+O(ϵ))=W^ϵ(1+O(ϵ))x|W^ϵ|y=eϵU(x)/2x|eϵp^2/2m|yeϵU(y)/2=m2πϵeϵU(x)/2eϵU(y)/2e(xy)2m/2ϵ

因此可将有限时间 T 分为无穷多无穷小时间 ϵ

eTH^=limNTW^ϵNTϵ=TNTZT=dx0x0|eTH^|x0=limNTdx0x0|W^ϵNT|x0=limNTdx0dxNT1x0|W^ϵ|x1xNT2|W^ϵ|xNT1xNT1|W^ϵ|x0=limNTm2πϵNTdx0dxNT1exp[ϵj=0NT1(m2(xjxj+1)2ϵ2+U(xj))]

但实际计算机能计算的步数是有限的,即如下有限步长的近似配分函数

ZTϵ=m2πϵNTdx0dxNT1exp[ϵj=0NT1(m2(xjxj+1)2ϵ2+U(xj))]

对于任一组积分变量,可以在格点时间排序下构成连续轨迹 x(t) 的若干节点, t=jϵ, T=NTϵ ,得到欧氏作用量 SE

ϵj=0NT1(m2(xjxj+1)2ϵ2+U(xj))0Tdt(m2x˙2(t)+U[x(t)])+O(ϵ)

所以近似配分函数实际是对所有可能的(格点)路径进行如下积分

ZTϵ=m2πϵNTDxϵeSE[xϵ]

标量场的路径积分

克莱因 - 高登场

考虑连续场论,实标量场(闵氏)作用量

S=dtd3xL[Φ(t,x),μΦ(t,x)]

考虑一类简单的拉格朗日密度

L[Φ,μΦ]=12(μΦ)(μΦ)m22Φ2V(Φ)

分为动能项、质量项和势能项。不同的势能项代表不同的(定域)自相互作用,无该项就是自由场。

欧拉 - 拉格朗日方程

μ(L(μΦ))LΦ=0

给出场运动方程

μμΦ+m2Φ+V(Φ)=0

K-G 场是自由标量场,上式中无势能项就是 K-G 方程。拉格朗日框架天然是四维协变的。

为了实现正则量子化,需要从拉格朗日密度得到哈密顿密度。正则动量:

Π(t,x)=Φ˙(t,x)L[Φ(t,x),μΦ(t,x)]=Φ˙(t,x)

勒让德变换得到哈密顿:

H=d3x(ΠΦ˙L)=d3x[12Π2+12(Φ)2+m22Φ2+V(Φ)]

哈密顿框架天然是 3+1 维的。

采取正则量子化后,场量替换为场算符

H^=d3x[12Π^2+12(Φ^)2+m22Φ^2+V^(Φ^)]

场算符满足等时正则对易关系

[Φ^(x),Π^(y)]=iδ(xy) ,[Π^(x),Π^(y)]=[Φ^(x),Φ^(y)]=0

此时的场量具有无穷多自由度。

K-G 场的格点正规化

众所周知,简单的量子场论存在紫外发散等问题,正规化手续是必要的。在连续微扰理论中可以采取维数正规化,泡利 - 维拉斯正规化、动量截断等正规化方法。在格点场论中则与之不同。

考虑在三维有限格点上建立场论,其时空格点

xiani,ni=0,1,2,,N1 for i=1,2,3

格点常数 a 具有长度量纲。场算符只定义在这些格点上,共有 N3 个格点, 2N3 个场自由度。简单起见考虑周期性边界条件,即将 nj=0nj=N 做认同。

对哈密顿算符的格点正规化需要处理空间导数 Φ^(x) 。将场算符泰勒展开,方向导数近似为( j 表示 j 方向的单位矢量):

jΦ^(x)Φ^(n+j^)Φ^(nj^)2a+O(a2)

则格点哈密顿算符

H^=a3nΛ3[12Π^2(n)+12j=1,2,3(Φ^(n+j^)Φ^(nj^)2a)2+m22Φ^2(n)+V^(Φ^(n))]

这里的场仅具有有限自由度。正则对易关系

[Φ^(n),Π^(m)]=ia3δnm(3) ,[Π^(n),Π^(m)]=[Φ^(n),Φ^(m)]=0

正则动量此时是:

Π^(n)=ia3Φ(n)

这样 K-G 场哈密顿算符就是

H^=H^0+U^

动能项

H^0=a3nΛ312(ia3Φ(n))2=12a3nΛ32Φ2(n)

其他项

U^=a3nΛ3[12j=1,2,3(Φ^(n+j^)Φ^(nj^)2a)2+m22Φ^2(n)+V^(Φ^(n))]

现在考虑场算符 Φ^(n) 的本征方程 Φ^(n)|Φ=Φ(n)|Φ ,其每个本征态表示一种场构型,而某个格点上的场算符作用于该态得到的本征值则是该构型下该格点上场的值。各个构型相互正交且完备

Φ|Φ=δ(ΦΦ)=nΛ3δ(Φ(n)Φ(n))1=DΦ|ΦΦ| ,withDΦ=nΛ3dΦ(n)

类似地,正则动量场算符也具有本征态:平面波 |Π

Π|Π=δ(ΠΠ)=nΛ3δ(Π(n)Π(n))1=DΠ|ΠΠ| ,withDΠ=nΛ3dΠ(n)

一个 |Π 态同样理解为一组动量构型,给出每个格点上的平面波,被场动量算符作用给出相应格点上的波数;因此在场表象下表现为 N3 个平面波乘积

Φ|Π=nΛ3a32πeia3Π(n)Φ(n)

自由场的欧氏时间演化算符

为了计算欧氏关联函数和配分函数,都需要计算时间演化算符 etH^ ;首先考虑只含动能项的哈密顿算符 H^0 的简单情况。由于它是动量算符平方,则在坐标表象下计算它作用在动量本征态的结果

Φ|H^0|Π=12a3nΛ32Φ2(n)Φ|Π=a32nΛ3Π3(n)Φ|Π

这意味着 H^0 具有本征态 |Π 以及相应的本征值 (a3/2)nΠ2(n) 。因此可以计算自由场时间演化函数:

Φ|etH^0|Φ=DΠΦ|etH^0|ΠΠ|Φ=DΠΦ|ΠΠ|Φeta3/2nΠ2(n)=nΛ3a32πdΠ(n)eia3Π(n)[Φ(n)Φ(n)]eta3/2nΠ2(n)=nΛ3a32πtdΠ(n)ea3/(2t)[Φ(n)Φ(n)]2=a32πtN3exp{a32tn[Φ(n)Φ(n)]2}

用 Trotter 公式处理相互作用项:无穷小欧氏时间演化

仍然考虑无穷小时间,定义

W^ϵ=eϵU^/2eϵH^0eϵU^/2

根据 Trotter 公式

Φ|etH^|Φ=limntΦ|W^ϵnt|Φ=limntDΦ1DΦ2DΦnt1Φ|W^ϵ|Φnt1Φnt1|W^ϵ|Φnt2Φ1|W^ϵ|Φ

考虑到

U^|Φ=U[Φ]|Φ=a3nΛ3[12j=1,2,3(Φ(n+j^)Φ(nj^)2a)2+m22Φ2(n)+V(Φ(n))]|Φ

Φi+1|W^ϵ|Φi=Φi+1|eϵU^/2eϵH^0eϵU^/2|Φi=eϵU[Φi+1]/2Φi+1|eϵH^0|ΦieϵU[Φi]/2=a32πϵN3exp{ϵU[Φi]+U[Φi+1]2a32ϵn[Φi(n)Φi+1(n)]2}

配分函数的路径积分表示

在场算符本征态构成的一组完备正交基 |Φ0 下求配分函数

ZT=DΦ0Φ0|eTH^|Φ0=limNTDΦ0Φ0|W^ϵNT|Φ0

其有限时间步长近似

ZTϵ=DΦ0Φ0|W^ϵNT|Φ0=DΦ0DΦ1DΦNT1Φ0|W^ϵ|ΦNT1ΦNT1|W^ϵ|ΦNT2Φ1|W^ϵ|Φ0=a32πϵN3NTD[Φ]eSE[Φ]SE[Φ]=12i=0NT1a3nΛ31ϵ[Φi+1(n)Φi(n)]2+ϵi=0NT1U[Φi]D[Φ]=(n,i)ΛdΦi(n)

这里, n 表示三维空间格点, j 表示划分的时间节点,且取周期性边界条件 j=0j=NTSE[Φ] 是离散化的欧氏作用量。

方便起见考虑换一个记号, Φ(n)=Φ(n,n4)=Φn4(n) ,即构造了四维格点:

Λ={n=(n,n4)|nΛ3,n4=0,1,,NT1}

这样欧氏作用量

SE[Φ]=ϵa3nΛ{12[Φ(n,n4+1)Φ(n,n4)ϵ]2+12j=1,2,3[Φ(n+j^,n4)Φ(nj^,n4)2a]2+m22Φ2(n)+V[Φ(n)]}

包含算符的路径积分

tr[e(Tt)H^O^2etH^O^1]=limNttr[W^ϵNTntO^2W^ϵntO^1]

时间步数 T=ϵNTt=ϵnt 。考虑有限步长近似

O2(t)O1(0)Tϵ=1ZTϵtr[W^ϵNTntO^2W^ϵntO^1]=1ZTϵDΦ0DΦNT1DΦ~0DΦ~ntΦ0|W^ϵ|ΦNT1ΦNT1|W^ϵ|ΦNT2Φnt+1|W^ϵ|Φ~ntΦ~nt|O^2|ΦntΦnt|W^ϵ|Φnt1Φ1|W^ϵ|Φ~0Φ~0|O^1|Φ0

相比于 ZTϵ 的积分形式,该式多了两项关于算符的矩阵元, Φ~nt|O^2|ΦntΦ~0|O^1|Φ0 。两个算符通常由场算符及其共轭动量构成,例如一个典型例子, O^A=Φ^(n0) 从真空态在 n0 格点创造粒子, O^B=nΛ3Φ^(n)eianp 在另一格点湮灭携带某动量的粒子。因此

Φ~|O^|Φ=O[Φ]δ(Φ~Φ)

前述两个例子在此时,对应的泛函分别是

OA[Φ]=Φ(n0) ,OB[Φ]=nΛ3Φ(n)eianp

将关联函数中两个 Φ~ 积掉,得到

O2(t)O1(0)Tϵ=a3/2πϵN3NTZTϵD[Φ]eSE[Φ]O2[Φnt]O1[Φ0]=D[Φ]eSE[Φ]O2[Φnt]O1[Φ0]D[Φ]eSE[Φ]

路径积分的量化

欧氏作用量的不同离散化方案

从前文已经离散化的欧氏作用量表达式中可以看出,对于时间导数和空间导数的处理方法不一样,时间导数采取前向差分,来自于按时间节点逐个传播并用 trotter 公式的结果,而空间导数用中心差分,来自于泰勒展式。相较而言中心差分误差更小:

f(x±ϵ)=f(x)±ϵf(x)+ϵ2f(x)/2±ϵ3f(x)/6+f(x+ϵ)f(xϵ)2ϵ=f(x)+O(ϵ2)f(x+ϵ)f(x)ϵ=f(x)+O(ϵ) 

因此实际计算中有事也对时间离散化采用中心差分方法。

此外,也经常取相同的时间和空间步长 ϵ=a

在上述两种取法下:

SE[Φ]=a4nΛ{12μ=14[Φ(n+μ^)Φ(nμ^)2a]2+m22Φ2(n)+V[Φ(n)]}

其中 μ^ 表示第 μ 时空方向的单位向量。这种形式下时空更平等。特别地,为了与闵氏做区分,时空指标取 1,2,3,4,其中 4 表示时间。

路径积分量化方案

新的形式与之前来自于第一性原理的导出不同,代表了新的量化方案。之前的量化表达式,来自于对场算符和正则动量的正则对易关系,因而是正则量子化;新的形式直接来自于路径积分框架,因而是路径积分量子化。这种方法的步骤是:

1、连续时空换成四维欧氏格点,四个方向格点常数均为 a ;在每个格点上定义场变量的一个自由度 Φ(n) ,通常是经典场变量;

2、把系统欧氏作用量 SE[Φ] 在格点上进行离散化,并保证在连续极限 a0 下能回到原本的形式;

3、关联函数中出现的算符,在计算时表现为场构型的泛函,可以直接通过将场算符替换为经典场变量来实现;

4、欧氏关联函数,就是在特定的格点场构型下,将这些泛函按照玻尔兹曼因子 exp(SE[Φ]) 进行加权,并对所有可能的场构型积分。

具体在进行离散化时,存在误差不同的各种方案;Osterwalder–Schrader 重建保证了,只要这些不同的离散化方案满足特定的一些条件,就可以从离散欧氏关联函数重建出希尔伯特空间和闵氏的关联函数,并提取出所关心的物理可观测量。

当然,计算出格点上的物理可观测量后,人们会更关心它们的连续极限。简单地将 a 称为 “简单连续极限” 或 “经典连续极限”,但为了更全面的分析,通常需要得到这些可观测量作为 a 的函数的形式。

另一方面,实际计算时系统的连续极限不是简单的数学极限,例如耦合达到临界时,物理尺度在格点上会越来越显著,这需要结合统计等其他手段进行分析。

与统计力学的关系

事实上格点上的场论,与统计力学之间存在某种结构上的等价关系。一个典型的统计系统可以考虑在三维格点上以经典自旋 sn 为自由度的自旋系统,系统能量是每个点上自旋的泛函 H[s] 。正则系综对温度 T 下发现系统处于某特定构型 s 的概率 P[s] 为:

P[s]=1ZeβH[s]

配分函数

Z={s}eβH[s]

可观测量的期望

O=1Z{s}eβH[s]O[s]

这些结构上的等价性允许我们应用发源于统计力学的解析和数值方法研究格点场论。