相干态

相干态是量子力学中量子谐振子能够达到的一种特殊的量子状态。量子谐振子的动力学性能和经典力学中的谐振子很相似。1926年埃尔温·薛定谔在解满足对应原理的薛定谔方程时找到的第一个量子力学解就是相干态。量子谐振子和相干态存在于大量物理系统中，比如一个位于二次方位能井中的粒子的振荡运动就是一个相干态。1963年罗伊·格劳伯把相干态引入量子电动力学和玻色子量子场论。

<image>

<image>

<image>

## 量子光学

相干态是最小不确定态，其唯一的一个自由系数可选为使得其位置和动量的相对弥散相等，在高能下这两个弥散均非常小。此外因为在所有能量特征态中海森堡运动公式的期望值为零，相干态的期望值与经典运动公式完全相等，在高能量时其弥散非常小。

虽然最小不确定高斯式波包是众所周知的，但是直到1963年格劳伯提出完全量子化的电磁场理论才受到注意。

在经典光学里光被看作光源散发出来的电磁波。相干激光一般被看作是许多等相光源发出的光。但是在量子理论中一个光子和另一个光子等相这个说法不成立。激光辐射是由共振频率与为该电磁场提供能量的原子跃迁的频率相同的空间造成的。随着共振谐振模不断增强只有在这一个模产生受激的可能性提高。这是一个正反馈，谐振模的波幅不断提高，最后一个非线性效应限制它继续无限提高。作为一个反例子，电灯泡辐射的光的模是连续的，没有任何效应特别优惠一个模。辐射过程在时间和地点上非常偶然。在激光里光只在谐振模上辐射，这个模因此非常相干。因此激光可以被理想化为相干态。

线性量子谐振子的能量特征态是定量量子态。相干态的量子力学互补坐标（位置和动量）的不确定相等，相和波幅的不确定约相等，而且在波幅高的情况下非常小。

## 量子力学定义

相干态$|\alpha\rangle$被定义为湮没算符$\hat a$的本征态：

$$\hat{a}|\alpha\rangle=\alpha|\alpha\rangle$$

由于$\hat a$不是自伴算子，通常来说，本征值$\alpha$是一个复数，它可以被表示为

$$\alpha = |\alpha|e^{i\theta}~~~,$$

这里$~\theta~$是一个实数。$~|\alpha|~$和$~\theta~$分别被称为是相干态的振幅和相。

这个公式的物理意义是粒子的测量或者湮灭对相干态不造成变化，使用能量本征态为基表示出湮灭算符的本征态时其归一化系数具有泊松分布的形式。这是从统计观点上来看所有测量相互独立的充分必要条件。与单粒子态（$|1\rangle$ Fock态）相比：在单粒子状态下假如我们测量到一个粒子的话再测量到另一个的可能性就降低到了零。

它可由无量纲因次算符X和P导出。这两个算符可以由一个质量为m，角频率为ω的线性谐振子的位置和动量表示：

$\mathbf{P}=\sqrt{\frac{1}{2\hbar m\omega }}\ \mathbf{p}\text{,}\quad \mathbf{X}=\sqrt{\frac{m\omega }{2\hbar }}\ \mathbf{x}\text{,}\quad \quad$其中$\omega \equiv \sqrt{k/m}$

对于光场来说

$$~E_{\rm R} = \left(\frac{\hbar\omega}{2\epsilon_0 V} \right)^{1/2} \cos(\theta) X~$$

和

$$~E_{\rm I} = \left(\frac{\hbar\omega}{2\epsilon_0 V}\right)^{1/2} \sin(\theta) X~$$

是腔体V内电场模式的实部和虚部。

使用这两个（无量纲的）算符，系统的哈密顿量为

$\mathbf{H}=\hbar \omega \left( \mathbf{P}^{2}+\mathbf{X}^{2} \right)$其中$\left[ \mathbf{X},\mathbf{P} \right]\equiv \mathbf{XP}-\mathbf{PX}=i/2$

埃尔温·薛定谔在寻找最接近经典物理的态的时候引入了最小不确定高斯分布波包。使得不确定相同地分布在X和P上的最小不确定性关系满足以下方程

$\left( \mathbf{P}-\langle\mathbf{P}\rangle \right)\,|\alpha \rangle \ =i\left( \mathbf{X}-\langle\mathbf{X}\rangle \right)\,|\alpha \rangle \text{,}\quad$或$\quad \left( \mathbf{P}-i\mathbf{X} \right)\,\left| \alpha \right\rangle \ =\ \left\langle \mathbf{P}-i\mathbf{X} \right\rangle \,\left| \alpha \right\rangle$

这是算符(P-iX)的一个特征值。

薛定谔发现线性和谐振荡器的最小不确定态是(X+iP)的特征值，格劳伯在使用多光子状态时发现电磁场所有状态完全相干态必须是湮没算符的正确特征值——在公式上，从数学角度出发，是同一状态。从格劳伯的成就开始相干态这个概念建立了。

相干态在相空间的位置的中心是同样相θ和振幅的经典振荡器的位置和动量。不确定性向所有方向同性扩展，由直径为1/2的圆盘表示。随着相的增高相干态环绕原点盘旋，但是圆盘即不变形也不扩大。这是一个量子状态在相空间中能够最接近一个点的状态。

如同图1所示，由于不确定始终是1/2而不随振荡子的振幅增高，这个状态越来越像一个正弦曲线。而且由于真空状态$|0\rangle$也只不过是$\alpha=0$的相干态，所有相干态的不确定和真空一样。因此相干态的真空噪声可以被看作是虚粒子的原因。

特征值公式的解相当于把真空状态移动到相空间中的$\alpha$，既对真空使用位移算符$D(\alpha)$：

$$|\alpha\rangle=e^{\alpha \hat a^\dagger - \alpha^*\hat a}|0\rangle = D(\alpha)|0\rangle$$

把相干态的公式用在单光子基础上：

$$|\alpha\rangle =e^{-{|\alpha|^2\over2}}\sum_{n=0}^{\infty}{\alpha^n\over\sqrt{n!}}|n\rangle =e^{-{|\alpha|^2\over2}}e^{\alpha\hat a^\dagger}|0\rangle$$

这里$|n\rangle$是哈密尔顿方程的能量特征值。这是一个泊松分布。测量到$~n~$光子的可能性为：

$$P(n)=e^{-\langle n \rangle}\frac{\langle n \rangle^n}{n!}$$

类似的，相干态的平均光子数为$~\langle n \rangle =\langle \hat a^\dagger \hat a \rangle =|\alpha|^2~$，其方差为$~(\Delta n)^2={\rm Var}\left(\hat a^\dagger \hat a\right)=|\alpha|^2~$。

<image>

在$~\alpha~$非常大的极限情况下这个测量统计与经典稳定波一样。这个结果适用于使用单一测量器测量的结果，因此适用于一度相干。但是要计算多个测量器的测量结果的话需要使用高度相干。格劳伯的量子相干态定义包含n度相干函数。完美的相干态含有所有n度相干等于1。

在$~\alpha \gg 1~$的情况下$\Delta\theta|\alpha|=\frac{1}{2}$。由此可以看出数量不确定和相不确定之间有点互补的联系$\Delta\theta~\Delta n=1/2$，不过这个联系并不是正式的，量子力学中没有特别的相算符。

## 数学特性

两个不同的相干态不垂直：

$$\begin{align} \langle\alpha'|\alpha\rangle & = e^{-{1\over2}(|\alpha'|^2+|\alpha|^2)}\sum_{n=0}^{\infty}\sum_{m=0}^{\infty}\frac{(\alpha'^*)^n\alpha^m}{\sqrt{n!m!}}\langle n|m\rangle \\ & = e^{-{1\over 2}(|\alpha'|^2+|\alpha|^2)}\sum_{n=0}^{\infty}\frac{\left(\alpha\alpha'\right)^n}{n!} \\ & = e^{-{1\over 2}(|\alpha'|^2+|\alpha|^2)+\alpha'^*\alpha} \end{align}$$

所以

$$|\langle \alpha'|\alpha\rangle|^2 = e^{-(|\alpha|^2+|\alpha'|^2-\alpha^*\alpha'-\alpha\alpha'^*)} = e^{-|\alpha - \alpha'|^2}$$

因此只有$|\alpha - \alpha'|\gg 1$时，两个相干态才会近似正交。但由于它们之间有完备性关系，任何状态可以被分解为一系列相干态。这个完备性关系也可以这样来表达：

$$\frac{1}{\pi} \int |\alpha\rangle\langle\alpha| d^2\alpha = \hat 1$$

为了证明上式，只要证明对任意两个态$|\psi\rangle$和$|\phi\rangle$皆满足$\langle\psi | \phi\rangle = \frac{1}{\pi}\int \langle\psi |\alpha\rangle\langle\alpha | \phi\rangle d^2\alpha$

$$\begin{align}&\frac{1}{\pi}\int \langle\psi |\alpha\rangle\langle\alpha | \phi\rangle d^2\alpha \\ & = \frac{1}{\pi}\sum_{n=0}^\infty \sum_{m=0}^\infty \langle \psi | n\rangle \int_0 ^\infty \frac{1}{\sqrt{n!m!}}r^{n+m}e^{-r^2} \left( \frac{1}{2} \right) d\left( r^2 \right)\int_0 ^{2\pi} e^{\mathit{i}(m-n)\theta}d\theta\langle m|\phi\rangle \\ & = \frac{1}{\pi}\sum_{n=0}^\infty \sum_{m=0}^\infty \langle \psi | n\rangle \left( \frac{1}{2} \right)\frac{1}{\sqrt{n!m!}} \int_0 ^\infty r^{n+m}e^{-r^2} d\left(r^2 \right)2\pi\delta_{nm} \langle m|\phi\rangle \\ & = \sum_{n=0}^\infty \langle \psi | n\rangle \frac{1}{\sqrt{n!n!}} \int_0 ^\infty r^{n+n}e^{-r^2} d\left(r^2 \right) \langle n|\phi\rangle \\ & = \sum_{n=0}^\infty \langle \psi | n\rangle\langle n|\phi\rangle \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ ( \because \int_0 ^\infty r^k e^{-r}dr=k!)\\ & = \langle\psi|\phi\rangle \end{align}$$

另外，算符$a^\dagger$并不存在本征右矢，而算符$a$并不存在本征左矢，以下公式在计算中很有用：

$$a^{\dagger}|\alpha\rangle=\left({\partial\over\partial\alpha}+{\alpha^*\over 2}\right)|\alpha\rangle$$

## 超流体

使用相干态来代表氦4的组成部分可以很好地体现出超液态里凝聚和非凝聚之间的比例，其结果与慢中子散射的测量结果一致。使用一个相干态来表示超液态组成部分可以直接推导出大多数超液的特殊特性，这个相干态在整个超液体积里拥有相同的波幅和相。

在研究超流体的初期罗杰·彭罗斯和拉斯·昂萨格建议使用一个一级约化密度矩阵的宏观系数项（一个宏观特征值）作为超流体的参数。后来杨振宁提议了一个更广义的宏观量子相干态的参数，这个新参数即可以用于玻色子也可以用于费米子。它适用于任何级的约化密度矩阵。超流体是一级的，超导体是二级的。

描写宏观量子相干态使用的约化密度矩阵中的级在公式上和描写辐射相干态的相干函数一样。两者都是宏观量子相干态。格劳伯描写的信号加噪声所导致的电磁场中的相干态成分加上噪声与超流体里超流体部分和一般流体部分的描写是一样的。

## 超导体

电子是费米子，但是它们成对形成库柏对后像玻色子一样反应，能够在低温下一起形成相干态。

## 广义

在量子场论和弦理论中相干态被广义扩展到无限多自由度来定义与原真空的真空期望值不同的真空状态。

在一维费米子自由度的多体量子系统中低能激发态可以用玻色子场算符来近似表示，这个近似被称为玻色子化。

高斯分布的非相对论量子力学相干态可以被广义扩展为相对论相干态。