快速注册
传统的凝聚态理论由两个主题统领。第一个主题是能带理论和费米液体理论，第二个主题是相和相变的对称性破缺理论。近来，一个新的主题正崭露头角，这第三个主题与分数化、拓扑／量子序、弦网凝聚有关，也和新的物质态以及其中显现的规范玻色子和费米子相关。这些在新主题下的新概念甚至会影响人们对光子和电子起源的认识
传统的凝聚态理论由两个主题统领。第一个主题是能带理论和费米液体理论，第二个主题是相和相变的对称性破缺理论。近来，一个新的主题正崭露头角，这第三个主题与分数化、拓扑／量子序、弦网凝聚有关，也和新的物质态以及其中显现的规范玻色子和费米子相关。这些在新主题下的新概念甚至会影响人们对光子和电子起源的认识
单粒子系统与路径积分；
3.相互作用的玻色子系统；
4.自由费米系统；
5.相互作用的费米系统；
6.量子规范理论；
7.量子霍尔态理论；
8.超越朗道理论的拓扑序和量子序；
9.自旋液体的平均场理论和量子学；
10.弦网凝聚——光与费米子的起源。
《Quantum Field Theory
of Many-Body Systems》（量子多体理论）简介
一、出版情况
《Quantum Field Theory of Many-Body
Systems》在2004年由牛津大学出版社（纽约）出版。其作者为美国麻省理工学院（MIT）物理系教授文小刚（华人）。该书505页，其中文版《量子多体理论》已于2004年由高等教育出版社（北京）出版。
文小刚，中国科技大学学士(1982)，美国普林斯顿大学博士(1987)。1989年至普林斯顿高等研究所任研究员，1991年到麻省理工学院任教，现任物理系教授，并兼任清华大学高等研究中心“长江学者奖励计划”讲座教授。2002美国物理学会Fellow。曾荣获海外华人物理学协会1994年优秀青年科学家奖，1992年斯洛恩奖。主要从事量子霍尔液体、高温超导体、拓扑序／量子序及新的物质态、基本粒子的起源等方面的研究。建立了分数量子霍尔效应拓扑序理论和边缘态理论，预言了双层量子霍尔体系中的超流／超导现象，提出了研究高温超导机理的SU(2)规范场模型和量子序理论。为了推广朗道关于相和相变的对称破缺理论，建立了拓扑序理论和量子序理论，并预言了新的物质态。揭示了拓扑序和量子序的弦网凝聚的本质，并用弦网凝聚提出了一个统光和电子的理论。
二、内容简介
量子多体理论：非对角长程序
Author：$\textbf{Tom Gao}$
杨振宁指出超流、超导具有长程序，鉴于使用约化密度矩阵手段去刻画时发现其特征就是长程的非对角元不消失，因此称为是一种非对角长程序（Off diagonal long-range order：ODLRO）。不同于晶体中原子排列的对角长程序，非对角长程序完全是量子效应导致的，不能在经典力学中找到对应。非对角长程序只能存在于气态或液态中，如固体中由导电的电子气系统以及一些量子液体中也能发现。在绝缘材料中，电荷的涨落完全被抑制，非对角长程序不能存在，然而这并不排斥非对角长程序与对角长程序共存的可能性。
\[\]
密度矩阵算符为：
\begin{align}
\hat{\rho}&=\frac{1}{Z}e^{-\beta H}\\
Z&=\text{Tr}\;e^{-\beta H}=\sum_i\langle i|e^{-\beta H}|i\rangle=\sum_i e^{-\beta E_i}
\end{align}
单粒子约化密度矩阵为
\[
\langle r|\hat\rho_1|r'\rangle=\rho_1 (r,r')=\langle \hat\psi^\dagger (r) \hat\psi (r')\rangle
\]
双粒子约化密度矩阵
\[
\langle r_1 r_2|\hat{\rho}_2|r'_1 r'_2\rangle=\rho_2(r_1 ,r'_1,r_2 , r'_2)=\langle\psi^\dagger (r_1)\psi^\dagger (r'_1)\psi (r_2)\psi (r'_2)\rangle
\]
非对角长程序的数学定义为约化密度矩阵（也即关联函数）长程不为零 $\lim_{|r-r'|\to \infty} \rho_1(r,r') \neq 0$。
例如理想玻色气体系统，计算其单粒子约化密度矩阵：
\begin{align}
\rho_1(\mathbf{r},\mathbf{r}')&=\langle a^\dagger(\mathbf{r}) a(\mathbf{r}')\rangle\\
&=V^{-1}\sum_{\mathbf{k},\mathbf{k}'}\langle a_\mathbf{k}^\dagger a_\mathbf{k'}\rangle e^{-i(\mathbf{k}\cdot\mathbf{r}-\mathbf{k'}\mathbf{r'})}=V^{-1}\sum_\mathbf{k}\langle a_\mathbf{k}^\dagger a_\mathbf{k}\rangle e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\\
&=V^{-1}\sum_\mathbf{k} n_\mathbf{k}e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\Rightarrow\hat{\rho}_1=\sum_\mathbf{k} n_\mathbf{k}|\mathbf{k}\rangle\langle\mathbf{k}|
\end{align}
可见单粒子约化密度算符在动量空间中是对角的。
由于$n_\mathbf{k}=\frac{1}{z^{-1} e^{\beta \varepsilon_k}-1}$ ，在临界温度以下零动量凝聚态上的粒子数是 $N_0=\frac{1}{z^{-1}-1}\xrightarrow{T< T_c}N\Big[1-\big(\frac{T}{T_c}\big)^{3/2}\Big]$ ,故粒子数分布为凝聚部分加非凝聚部分（正常的平滑玻色分布）： $n_\mathbf{k}=N_0\delta_{\mathbf{k},\mathbf{k}_0}+f(\mathbf{k})$ 。完成动量求和（对$k$积分）
\[
\rho_1(\mathbf{r},\mathbf{r'})=\frac{N_0}{V}+\frac{2}{(2\pi)^3}\int d^3k\;e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}
\]
\[
\rho_1(\mathbf{r},\mathbf{r'})=\frac{N_0}{V}+\frac{\pi}{\lambda^2}\frac{\large{e}^{-|\mathbf{r}-\mathbf{r'}|/a}}{|\mathbf{r}-\mathbf{r}'|}\;\;\;,\;\;\;|\mathbf{r}-\mathbf{r}'|\gg a=4\pi\lambda|\ln z|^{-1/2}\;\;\;,\;\;\;|\ln z|\sim N_0^{-1}
\]
\[
\lim_{|\mathbf{r}-\mathbf{r}'|\to\infty}\rho_1(\mathbf{r},\mathbf{r}')=\frac{N_0}{V}
\]
因此BEC具有非对角长程序。
存在相互作用的玻色系统就会在低于临界温度时成为超流体，同意计算两点关联函数
\[
\lim_{|r-r'|\to \infty} \rho_1(r,r')=\langle \hat\psi(r) \rangle^{*} \langle\hat\psi (r')\rangle
\]
当 $\langle\hat\psi (r)\rangle \neq 0$时， $U(1)$ 对称性（ $\hat\psi (r)\to e^{i\theta} \hat\psi (r)$ ）将自发破缺，这是因为一般具有 $U(1)$ 对称性的哈密顿量在 $\hat \psi^{\dagger}\to e^{-i\theta} \hat \psi^{\dagger}$ 变换下不变，那么通常具有对称性的系统有 $\langle \hat \psi\rangle=\langle \hat \psi^2\rangle=...=0$。 若 $\langle \hat \psi\rangle\neq 0$，这意味着对称破缺了。而之所以称这样的破缺方式是“自发的”，因为数学形式上哈密顿量并没有破坏对称性， 而是系统基态使之破坏了。
在各向同性均匀（平移对称性）系统中 $\langle\hat\psi (r)\rangle$ 与 $r$ 独立，并且$n_0=\langle \hat\psi(r) \rangle^{*} \langle\hat\psi (r')\rangle$ ($\langle \hat\psi(r) \rangle\varpropto\sqrt{\rho_s} e^{i\theta}$，$\theta$为BEC相干相位) 定义了Bose-Einstein凝聚态的凝聚密度。因此我们可以知道当系统没有BEC长程关联，凝聚密度就会为零，这样就没有非对角长程序了。
\[\]
理想费米子气体系统
\begin{align}
\rho_1(\mathbf{r},\mathbf{r}')&=\langle c^\dagger(\mathbf{r})c(\mathbf{r}')\rangle\\
&=V^{-1}\sum_{\mathbf{k},\mathbf{k}'}\langle c_\mathbf{k}^\dagger c_\mathbf{k'}\rangle e^{-i(\mathbf{k}\cdot\mathbf{r}-\mathbf{k'}\mathbf{r'})}=V^{-1}\sum_\mathbf{k}\langle c_\mathbf{k}^\dagger c_\mathbf{k}\rangle e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\\
&=V^{-1}\sum_\mathbf{k} n_\mathbf{k}e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\Rightarrow\hat{\rho}_1=\sum_\mathbf{k} n_\mathbf{k}|\mathbf{k}\rangle\langle\mathbf{k}|
\end{align}
零温时
\begin{align}
\rho_1(\mathbf{r},\mathbf{r}')&=\frac{1}{V}\sum_{k< k_F} e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\\
&=\frac{1}{(2\pi)^2}\int_0^{k_F}\int_0^\pi e^{ikR\cos\theta}\sin\theta\;d\theta\\
&=\frac{N}{V}\frac{3\Big(\sin(k_F|\mathbf{r}-\mathbf{r'}|)-k_F|\mathbf{r}-\mathbf{r'}|\cos(k_F|\mathbf{r}-\mathbf{r'}|)\Big)}{(k_F|\mathbf{r}-\mathbf{r'}|)^3}
\end{align}
零温下费米气体出现Friedel振荡，并且可以看到这系统里面没有非对角长程序。
再考虑相互作用费米子系统，低温下变成费米液体，也出现Friedel振荡，
\begin{align}
\rho(R)&=-\frac{1}{\epsilon _0}\cdot \frac{Q_0}{e}\cdot \frac{1}{(2\pi )^3}\int \Big(1-\frac{1}{\epsilon _1(\mathbf{q},0)}\Big)e^{i\mathbf{q}\cdot \mathbf{R}}d^3\mathbf{q}\\
\epsilon _1(\mathbf{q},0)&=1+\frac{\lambda ^2}{q^2}S \left(\frac{q}{k_F}\right)\\
S\left(\frac{q}{k_F}\right)&=\frac{8E_F}{3N}\sum _k \frac{1}{E_{k+q}-E_k},S(x)\equiv \frac{1}{2}\left(1+\frac{1-x^2}{2x}\ln \left|\frac{1-x}{1+x}\right|\right)
\end{align}
在 $r\to +\infty$ ，密度矩阵渐进为
\[
\rho(r,r')\sim\frac{\cos \left(2k_F|\mathit{r-r'}|\right)}{\mathit{r}^3}\text{ }
\]
费米液体系统同样也不具有非对角长程序。
为了在费米系统中实现BEC，必须有机制使得费米子玻色化。 超导系统中电子对组成复合玻色准粒子，低温下也实现类似玻色系统的凝聚态（相干态）。这时需要怎样计算显示出其非对角长程序？
费米子算符为
\begin{align}
\psi_\sigma(\mathbf{r})&=\frac{1}{\sqrt{V}}\sum_\mathbf{k}e^{i\mathbf{k}\cdot\mathbf{r}}c_{\sigma}(\mathbf{k})\\
\psi_\sigma^\dagger(\mathbf{r})&=\frac{1}{\sqrt{V}}\sum_\mathbf{k}e^{-i\mathbf{k}\cdot\mathbf{r}}c_{\sigma}^\dagger(\mathbf{k})
\end{align}}
若直接简单地进行对玻色化映射后有
\[
\phi^\dagger(\mathbf{R})=\int d^3r\varphi(r)\psi_{\uparrow}^\dagger(\mathbf{R}+\mathbf{r}/2)\psi_{\downarrow}^\dagger(\mathbf{R}-\mathbf{r}/2)
\]
可以验证实际上这并不是一个真正意义上的玻色子算符,只在长距离$|\mathbf{R}-\mathbf{R}'|\to\infty$时才满足对易关系，这根本无法使得电子对波函数重叠因而与实际情况矛盾。
不过我们从中受到启发，在超导系统里面用的是Cooper对的$\rho_1$来刻画非对角长程序(假设我们已经找到了这样的玻色算符)
\[
\rho_1(\mathbf{R}-\mathbf{R}')=\langle\phi^\dagger(\mathbf{R})\phi(\mathbf{R}')\rangle
\]
类比于超流体， $|\mathbf{R}-\mathbf{R}'|\to\infty$ 有 $\rho_1(\mathbf{R}-\mathbf{R}')\sim\langle\phi^\dagger(\mathbf{R})\rangle\langle\phi(\mathbf{R'})\rangle$ ，这实际上就是Ginzburg-Landau宏观波函数（序参量）$\Psi(\mathbf{R})=\langle\phi(\mathbf{R})\rangle$。
于是实际上应该对电子构造四点关联函数：
\[
\rho(\mathbf{r}_1,\mathbf{r}_2,\mathbf{r}_3,\mathbf{r}_4)=
\langle \psi_{\sigma_1}^\dagger(\mathbf{r}_1)\psi_{\sigma_2}^\dagger(\mathbf{r}_2)\psi_{\sigma_3}(\mathbf{r}_3)\psi_{\sigma_4}(\mathbf{r}_4)\rangle
\]
由Hatree近似得到
\[
\langle \psi_{\uparrow}^\dagger(\mathbf{r}_1)\psi_{\downarrow}^\dagger(\mathbf{r}_2)\psi_{\uparrow}(\mathbf{r}_2')\psi_{\downarrow}(\mathbf{r}_1')\rangle
\approx\langle\psi_{\uparrow}^\dagger(\mathbf{r}_1)\psi_{\downarrow}(\mathbf{r}_1')\rangle\langle\psi_{\downarrow}^\dagger(\mathbf{r}_2)\psi_{\uparrow}(\mathbf{r}_2')\rangle
\]
对于S波超导有($r=|\mathbf{r}-\mathbf{r}'|$)
\begin{align}
\Delta(r)&=g\langle\psi_{\uparrow}^\dagger(\mathbf{r})\psi_{\downarrow}(\mathbf{r}')\rangle\\
\Delta^*(r)&=g^*\langle\psi_{\downarrow}^\dagger(\mathbf{r})\psi_{\uparrow}(\mathbf{r}')\rangle\\
\end{align}
因此关联函数（双粒子密度矩阵）为
\[
\rho_2(\mathbf{r},\mathbf{r}')=|\Delta(r)|^2/g^2\sim e^{-\frac{2}{gN_0}}
\]
$N_0$正是凝聚态粒子数，无论两对电子各自质心位置相距多远，关联都不为零，即在空间某处湮灭两个电子，在空间很远的另一处产生两个电子的关联函数值不随这两处距离的增加而减小。因此可见和超流体一样，只要凝聚态存在就会具有非对角长程序。
\[\]
Hohenberg证明了有限温度下 一维、二维Bose和Fermi液体因无凝聚密度而不存在非对角长程序。然而低维超流体与普通流体依旧不同，具有准非对角（代数）长程序： $\lim_{|r-r'|\to \infty} \rho_1(r,r')\to\frac{1}{|r-r'|^\alpha}$，$\alpha>0$；相比之下，普通流体的关联函数则是随着距离指数型衰减。一个例子就是2D的强关联电子系统形成的FQHE。
描述FQH态的基态波函数是Laughlin波函数
\[
\Psi_m(z_1,z_2,...,z_N)=\prod_{j< k}|z_j-z_k|^m\exp\Big[-\frac{1}{4}\sum_l |z_l|^2\Big]
\]
通过等离子体类比，可确定FQH态长程行为。 $e^{\frac{m}{2}\ln|z-z'|}\rho(z,z')$ 正比于描述受到等离子背景屏蔽的一个处于某$z_j$处带-1电荷以及位于固定位置$z,z'$带-1/2电荷的杂质的经典Coulomb作用系统的配分函数。
那么非对角单粒子约化矩阵元为
\[
\rho_1(z,z')=\mathcal{N}\frac{\int d^2z_2,...,d^2z_N\Psi^*_m(z,z_2,...,z_N)\Psi'_m(z',z_2,...,z_N)}{\int d^2z_1,...,d^2z_N\Psi^*_m(z_1,z_2,...,z_N)\Psi'_m(z_1,z_2,...,z_N)}
\]
长程极限下 $|z-z'|\to\infty$，$\rho(z,z')\sim|z-z'|^{-m/2}$ 揭示了系统具有代数长程序。
杨振宁指出超流、超导具有长程序，鉴于使用约化密度矩阵手段去刻画时发现其特征就是长程的非对角元不消失，因此称为是一种非对角长程序（Off diagonal long-range order：ODLRO）。不同于晶体中原子排列的对角长程序，非对角长程序完全是量子效应导致的，不能在经典力学中找到对应。非对角长程序只能存在于气态或液态中，如固体中由导电的电子气系统以及一些量子液体中也能发现。在绝缘材料中，电荷的涨落完全被抑制，非对角长程序不能存在，然而这并不排斥非对角长程序与对角长程序共存的可能性。
\[\]
密度矩阵算符为：
\begin{align}
\hat{\rho}&=\frac{1}{Z}e^{-\beta H}\\
Z&=\text{Tr}\;e^{-\beta H}=\sum_i\langle i|e^{-\beta H}|i\rangle=\sum_i e^{-\beta E_i}
\end{align}
单粒子约化密度矩阵为
\[
\langle r|\hat\rho_1|r'\rangle=\rho_1 (r,r')=\langle \hat\psi^\dagger (r) \hat\psi (r')\rangle
\]
双粒子约化密度矩阵
\[
\langle r_1 r_2|\hat{\rho}_2|r'_1 r'_2\rangle=\rho_2(r_1 ,r'_1,r_2 , r'_2)=\langle\psi^\dagger (r_1)\psi^\dagger (r'_1)\psi (r_2)\psi (r'_2)\rangle
\]
非对角长程序的数学定义为约化密度矩阵（也即关联函数）长程不为零 $\lim_{|r-r'|\to \infty} \rho_1(r,r') \neq 0$。
例如理想玻色气体系统，计算其单粒子约化密度矩阵：
\begin{align}
\rho_1(\mathbf{r},\mathbf{r}')&=\langle a^\dagger(\mathbf{r}) a(\mathbf{r}')\rangle\\
&=V^{-1}\sum_{\mathbf{k},\mathbf{k}'}\langle a_\mathbf{k}^\dagger a_\mathbf{k'}\rangle e^{-i(\mathbf{k}\cdot\mathbf{r}-\mathbf{k'}\mathbf{r'})}=V^{-1}\sum_\mathbf{k}\langle a_\mathbf{k}^\dagger a_\mathbf{k}\rangle e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\\
&=V^{-1}\sum_\mathbf{k} n_\mathbf{k}e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\Rightarrow\hat{\rho}_1=\sum_\mathbf{k} n_\mathbf{k}|\mathbf{k}\rangle\langle\mathbf{k}|
\end{align}
可见单粒子约化密度算符在动量空间中是对角的。
由于$n_\mathbf{k}=\frac{1}{z^{-1} e^{\beta \varepsilon_k}-1}$ ，在临界温度以下零动量凝聚态上的粒子数是 $N_0=\frac{1}{z^{-1}-1}\xrightarrow{T< T_c}N\Big[1-\big(\frac{T}{T_c}\big)^{3/2}\Big]$ ,故粒子数分布为凝聚部分加非凝聚部分（正常的平滑玻色分布）： $n_\mathbf{k}=N_0\delta_{\mathbf{k},\mathbf{k}_0}+f(\mathbf{k})$ 。完成动量求和（对$k$积分）
\[
\rho_1(\mathbf{r},\mathbf{r'})=\frac{N_0}{V}+\frac{2}{(2\pi)^3}\int d^3k\;e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}
\]
\[
\rho_1(\mathbf{r},\mathbf{r'})=\frac{N_0}{V}+\frac{\pi}{\lambda^2}\frac{\large{e}^{-|\mathbf{r}-\mathbf{r'}|/a}}{|\mathbf{r}-\mathbf{r}'|}\;\;\;,\;\;\;|\mathbf{r}-\mathbf{r}'|\gg a=4\pi\lambda|\ln z|^{-1/2}\;\;\;,\;\;\;|\ln z|\sim N_0^{-1}
\]
\[
\lim_{|\mathbf{r}-\mathbf{r}'|\to\infty}\rho_1(\mathbf{r},\mathbf{r}')=\frac{N_0}{V}
\]
因此BEC具有非对角长程序。
存在相互作用的玻色系统就会在低于临界温度时成为超流体，同意计算两点关联函数
\[
\lim_{|r-r'|\to \infty} \rho_1(r,r')=\langle \hat\psi(r) \rangle^{*} \langle\hat\psi (r')\rangle
\]
当 $\langle\hat\psi (r)\rangle \neq 0$时， $U(1)$ 对称性（ $\hat\psi (r)\to e^{i\theta} \hat\psi (r)$ ）将自发破缺，这是因为一般具有 $U(1)$ 对称性的哈密顿量在 $\hat \psi^{\dagger}\to e^{-i\theta} \hat \psi^{\dagger}$ 变换下不变，那么通常具有对称性的系统有 $\langle \hat \psi\rangle=\langle \hat \psi^2\rangle=...=0$。 若 $\langle \hat \psi\rangle\neq 0$，这意味着对称破缺了。而之所以称这样的破缺方式是“自发的”，因为数学形式上哈密顿量并没有破坏对称性， 而是系统基态使之破坏了。
在各向同性均匀（平移对称性）系统中 $\langle\hat\psi (r)\rangle$ 与 $r$ 独立，并且$n_0=\langle \hat\psi(r) \rangle^{*} \langle\hat\psi (r')\rangle$ ($\langle \hat\psi(r) \rangle\varpropto\sqrt{\rho_s} e^{i\theta}$，$\theta$为BEC相干相位) 定义了Bose-Einstein凝聚态的凝聚密度。因此我们可以知道当系统没有BEC长程关联，凝聚密度就会为零，这样就没有非对角长程序了。
\[\]
理想费米子气体系统
\begin{align}
\rho_1(\mathbf{r},\mathbf{r}')&=\langle c^\dagger(\mathbf{r})c(\mathbf{r}')\rangle\\
&=V^{-1}\sum_{\mathbf{k},\mathbf{k}'}\langle c_\mathbf{k}^\dagger c_\mathbf{k'}\rangle e^{-i(\mathbf{k}\cdot\mathbf{r}-\mathbf{k'}\mathbf{r'})}=V^{-1}\sum_\mathbf{k}\langle c_\mathbf{k}^\dagger c_\mathbf{k}\rangle e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\\
&=V^{-1}\sum_\mathbf{k} n_\mathbf{k}e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\Rightarrow\hat{\rho}_1=\sum_\mathbf{k} n_\mathbf{k}|\mathbf{k}\rangle\langle\mathbf{k}|
\end{align}
零温时
\begin{align}
\rho_1(\mathbf{r},\mathbf{r}')&=\frac{1}{V}\sum_{k< k_F} e^{-i\mathbf{k}\cdot(\mathbf{r}-\mathbf{r'})}\\
&=\frac{1}{(2\pi)^2}\int_0^{k_F}\int_0^\pi e^{ikR\cos\theta}\sin\theta\;d\theta\\
&=\frac{N}{V}\frac{3\Big(\sin(k_F|\mathbf{r}-\mathbf{r'}|)-k_F|\mathbf{r}-\mathbf{r'}|\cos(k_F|\mathbf{r}-\mathbf{r'}|)\Big)}{(k_F|\mathbf{r}-\mathbf{r'}|)^3}
\end{align}
零温下费米气体出现Friedel振荡，并且可以看到这系统里面没有非对角长程序。
再考虑相互作用费米子系统，低温下变成费米液体，也出现Friedel振荡，
\begin{align}
\rho(R)&=-\frac{1}{\epsilon _0}\cdot \frac{Q_0}{e}\cdot \frac{1}{(2\pi )^3}\int \Big(1-\frac{1}{\epsilon _1(\mathbf{q},0)}\Big)e^{i\mathbf{q}\cdot \mathbf{R}}d^3\mathbf{q}\\
\epsilon _1(\mathbf{q},0)&=1+\frac{\lambda ^2}{q^2}S \left(\frac{q}{k_F}\right)\\
S\left(\frac{q}{k_F}\right)&=\frac{8E_F}{3N}\sum _k \frac{1}{E_{k+q}-E_k},S(x)\equiv \frac{1}{2}\left(1+\frac{1-x^2}{2x}\ln \left|\frac{1-x}{1+x}\right|\right)
\end{align}
在 $r\to +\infty$ ，密度矩阵渐进为
\[
\rho(r,r')\sim\frac{\cos \left(2k_F|\mathit{r-r'}|\right)}{\mathit{r}^3}\text{ }
\]
费米液体系统同样也不具有非对角长程序。
为了在费米系统中实现BEC，必须有机制使得费米子玻色化。 超导系统中电子对组成复合玻色准粒子，低温下也实现类似玻色系统的凝聚态（相干态）。这时需要怎样计算显示出其非对角长程序？
费米子算符为
\begin{align}
\psi_\sigma(\mathbf{r})&=\frac{1}{\sqrt{V}}\sum_\mathbf{k}e^{i\mathbf{k}\cdot\mathbf{r}}c_{\sigma}(\mathbf{k})\\
\psi_\sigma^\dagger(\mathbf{r})&=\frac{1}{\sqrt{V}}\sum_\mathbf{k}e^{-i\mathbf{k}\cdot\mathbf{r}}c_{\sigma}^\dagger(\mathbf{k})
\end{align}}
若直接简单地进行对玻色化映射后有
\[
\phi^\dagger(\mathbf{R})=\int d^3r\varphi(r)\psi_{\uparrow}^\dagger(\mathbf{R}+\mathbf{r}/2)\psi_{\downarrow}^\dagger(\mathbf{R}-\mathbf{r}/2)
\]
可以验证实际上这并不是一个真正意义上的玻色子算符,只在长距离$|\mathbf{R}-\mathbf{R}'|\to\infty$时才满足对易关系，这根本无法使得电子对波函数重叠因而与实际情况矛盾。
不过我们从中受到启发，在超导系统里面用的是Cooper对的$\rho_1$来刻画非对角长程序(假设我们已经找到了这样的玻色算符)
\[
\rho_1(\mathbf{R}-\mathbf{R}')=\langle\phi^\dagger(\mathbf{R})\phi(\mathbf{R}')\rangle
\]
类比于超流体， $|\mathbf{R}-\mathbf{R}'|\to\infty$ 有 $\rho_1(\mathbf{R}-\mathbf{R}')\sim\langle\phi^\dagger(\mathbf{R})\rangle\langle\phi(\mathbf{R'})\rangle$ ，这实际上就是Ginzburg-Landau宏观波函数（序参量）$\Psi(\mathbf{R})=\langle\phi(\mathbf{R})\rangle$。
于是实际上应该对电子构造四点关联函数：
\[
\rho(\mathbf{r}_1,\mathbf{r}_2,\mathbf{r}_3,\mathbf{r}_4)=
\langle \psi_{\sigma_1}^\dagger(\mathbf{r}_1)\psi_{\sigma_2}^\dagger(\mathbf{r}_2)\psi_{\sigma_3}(\mathbf{r}_3)\psi_{\sigma_4}(\mathbf{r}_4)\rangle
\]
由Hatree近似得到
\[
\langle \psi_{\uparrow}^\dagger(\mathbf{r}_1)\psi_{\downarrow}^\dagger(\mathbf{r}_2)\psi_{\uparrow}(\mathbf{r}_2')\psi_{\downarrow}(\mathbf{r}_1')\rangle
\approx\langle\psi_{\uparrow}^\dagger(\mathbf{r}_1)\psi_{\downarrow}(\mathbf{r}_1')\rangle\langle\psi_{\downarrow}^\dagger(\mathbf{r}_2)\psi_{\uparrow}(\mathbf{r}_2')\rangle
\]
对于S波超导有($r=|\mathbf{r}-\mathbf{r}'|$)
\begin{align}
\Delta(r)&=g\langle\psi_{\uparrow}^\dagger(\mathbf{r})\psi_{\downarrow}(\mathbf{r}')\rangle\\
\Delta^*(r)&=g^*\langle\psi_{\downarrow}^\dagger(\mathbf{r})\psi_{\uparrow}(\mathbf{r}')\rangle\\
\end{align}
因此关联函数（双粒子密度矩阵）为
\[
\rho_2(\mathbf{r},\mathbf{r}')=|\Delta(r)|^2/g^2\sim e^{-\frac{2}{gN_0}}
\]
$N_0$正是凝聚态粒子数，无论两对电子各自质心位置相距多远，关联都不为零，即在空间某处湮灭两个电子，在空间很远的另一处产生两个电子的关联函数值不随这两处距离的增加而减小。因此可见和超流体一样，只要凝聚态存在就会具有非对角长程序。
\[\]
Hohenberg证明了有限温度下 一维、二维Bose和Fermi液体因无凝聚密度而不存在非对角长程序。然而低维超流体与普通流体依旧不同，具有准非对角（代数）长程序： $\lim_{|r-r'|\to \infty} \rho_1(r,r')\to\frac{1}{|r-r'|^\alpha}$，$\alpha>0$；相比之下，普通流体的关联函数则是随着距离指数型衰减。一个例子就是2D的强关联电子系统形成的FQHE。
描述FQH态的基态波函数是Laughlin波函数
\[
\Psi_m(z_1,z_2,...,z_N)=\prod_{j< k}|z_j-z_k|^m\exp\Big[-\frac{1}{4}\sum_l |z_l|^2\Big]
\]
通过等离子体类比，可确定FQH态长程行为。 $e^{\frac{m}{2}\ln|z-z'|}\rho(z,z')$ 正比于描述受到等离子背景屏蔽的一个处于某$z_j$处带-1电荷以及位于固定位置$z,z'$带-1/2电荷的杂质的经典Coulomb作用系统的配分函数。
那么非对角单粒子约化矩阵元为
\[
\rho_1(z,z')=\mathcal{N}\frac{\int d^2z_2,...,d^2z_N\Psi^*_m(z,z_2,...,z_N)\Psi'_m(z',z_2,...,z_N)}{\int d^2z_1,...,d^2z_N\Psi^*_m(z_1,z_2,...,z_N)\Psi'_m(z_1,z_2,...,z_N)}
\]
长程极限下 $|z-z'|\to\infty$，$\rho(z,z')\sim|z-z'|^{-m/2}$ 揭示了系统具有代数长程序。
No comments:
Post a Comment