光的相干性问题贯穿了近代物理学的发展历程。从杨氏双缝干涉实验确立光的波动性质,到麦克斯韦方程组统一电磁理论,经典物理学为理解光的相干现象提供了完整的理论框架。然而,二十世纪初量子力学的诞生彻底改变了我们对光的认识。爱因斯坦在解释光电效应时提出光量子假说,普朗克引入能量量子化概念,这些工作表明光不仅具有波动性,还具有粒子性。在量子理论的框架下,光场被描述为量子化的电磁场,其中光子数算符与相位算符构成一对共轭变量,满足海森堡不确定关系。这意味着我们无法同时精确测定光场的光子数和相位——当光子数完全确定时,相位完全不确定;反之亦然。这一量子力学的基本原理似乎与激光表现出的高度相干性存在深刻矛盾。激光在实验中展示出极其稳定的相位关系,能够产生清晰的干涉条纹,其相干长度可达数十甚至数百公里。那么,激光是如何在量子不确定性的约束下实现如此高度的相干性的?这个问题触及量子光学的根基,也揭示了量子世界与经典世界之间微妙而深刻的联系。本文将从量子电动力学的基本框架出发,通过分析光场的量子态结构,特别是相干态的独特性质,阐明激光相干性的物理机制,并结合典型实验案例说明理论预言与实验观测的一致性。
- 经典相干理论与量子描述之间的张力
在经典电磁理论中,光被描述为电磁波,其电场分量可以写成振幅、频率和相位的函数。当两束光波在空间某点相遇时,合成场强取决于它们的相位差。如果相位差恒定,干涉条纹稳定可见,我们称这两束光是相干的。经典理论中,相位是一个完全确定的物理量,可以通过初始条件精确指定。然而,当我们转向量子描述时,情况变得复杂起来。量子电动力学将电磁场视为无穷多个谐振子的集合,每个模式对应特定的波矢和偏振。对于单模光场,其哈密顿量可以写成谐振子的形式,引入产生算符和湮灭算符后,光子数算符定义为两者的乘积。光子数态,也称为福克态,是光子数算符的本征态,代表场中包含确定数目光子的量子态。
福克态具有一个重要特征:它的相位完全不确定。这可以从物理上理解——当我们精确知道场中有多少个光子时,关于场的振荡相位的信息就完全丢失了。这种情形类似于位置和动量的不确定关系,但又有其独特之处。位置和动量都是厄米算符,具有良好定义的本征值谱,而相位算符的严格定义在数学上存在困难。尽管如此,相位与光子数之间的共轭关系是确切的,可以通过各种近似方案得到定量描述。数学上,这种不确定关系可以表述为:
Δn * Δφ ≥ 1/2
其中Δn表示光子数的涨落,Δφ表示相位的涨落。这个不等式告诉我们,如果要让相位涨落很小,光子数涨落就必须很大;反过来,如果光子数非常确定,相位就会剧烈涨落。
这里产生了一个表面上的悖论。激光被广泛认为是高度相干光源,其干涉实验表现出稳定的条纹,说明相位非常稳定。但激光腔中包含大量光子,如果光子数是确定的,根据不确定关系,相位应该完全随机,怎么可能产生干涉?问题的关键在于,激光场的量子态既不是光子数确定的福克态,也不是普通的混合态,而是一种特殊的纯态——相干态。理解相干态的性质,是解开激光相干之谜的钥匙。
经典波动理论将相干性视为波的固有属性,只要两列波来自同一光源且光程差在相干长度之内,它们就必然相干。但在量子理论看来,相干性取决于光场所处的量子态。不同的量子态对应不同的相干性质。福克态虽然在光子数上完全确定,却不具备经典意义上的相干性。热光源发出的光处于热平衡态,是福克态的统计混合,其相干性很差。只有相干态才能在满足量子力学基本原理的同时,表现出接近经典波的相干行为。这一认识是二十世纪六十年代量子光学发展的重要成果,格劳伯因为在这一领域的开创性工作而获得诺贝尔物理学奖。
- 相干态的数学结构与物理内涵
相干态最初由薛定谔在研究谐振子问题时引入,后来被格劳伯系统地应用于量子光学。相干态的定义是湮灭算符的本征态,设湮灭算符为â,则相干态|α⟩满足:
â|α⟩ = α|α⟩
其中α是一个复数,其模的平方给出平均光子数,其辐角给出场的相位。这个定义看起来简单,却蕴含深刻的物理意义。湮灭算符不是厄米算符,通常不具有本征态,但相干态恰好是它的本征态。这个特殊性质导致相干态具有一系列独特的特征。
首先,相干态可以展开为福克态的叠加。展开系数服从泊松分布,这意味着相干态中的光子数不是确定的,而是围绕平均值涨落。平均光子数为|α|^2,光子数涨落的标准差也是|α|,因此相对涨落为1/|α|。对于强激光场,α的模很大,相对涨落变得很小。例如,如果平均光子数为10^12,相对涨落仅为10^(-6),在宏观测量中几乎察觉不到。这解释了为什么强激光场在光子数测量中表现得像经典场一样确定。
其次,相干态的相位涨落也与平均光子数有关。当平均光子数很大时,相位涨落近似为:
Δφ ≈ 1/(2|α|)
这意味着强相干态的相位涨落很小。结合光子数涨落Δn ≈ |α|,我们可以验证不确定关系Δn * Δφ ≈ 1/2正好取等号。换言之,相干态是不确定关系的最小不确定态,它在光子数和相位之间取得了最优的平衡。这种平衡不是通过牺牲一方来换取另一方的精确性,而是让两者的涨落乘积达到量子力学允许的最小值。
从相空间的角度看,相干态对应于一个最小的不确定区域。如果我们用两个正交的场分量来表示光场状态,福克态在相空间中形成一个以原点为中心的环形分布,角度完全不确定;而相干态则是一个位于复平面α点附近的高斯波包,在所有方向上的涨落都是最小的。这种局域化使得相干态具有最接近经典振荡的行为。
相干态还有另一个重要性质:它在时间演化下保持相干态的形式。在自由演化中,α仅仅获得一个与频率相关的相因子,相干态的形状和大小不变。这与经典谐振子的运动完全对应,振幅保持不变,相位匀速增加。正是这种稳定性,使得相干态成为描述激光场的理想量子态。
理解相干态为何能同时具有较小的相位涨落和较小的相对光子数涨落,关键在于认识到不确定关系约束的是绝对涨落的乘积,而不是相对涨落。当光子数很大时,即使绝对光子数涨落很大,相对涨落仍然可以很小;同时,相位的绝对涨落很小,满足不确定关系的下限。这种机制让激光场能够在遵守量子力学基本原理的前提下,展现出高度的相干性。
- 受激辐射与激光相干性的动力学建立
理解了相干态的性质后,下一个问题是:激光器如何产生处于相干态的光场?答案涉及受激辐射过程和激光器的非线性动力学。
爱因斯坦在1917年研究辐射与物质的相互作用时,提出了三种基本过程:吸收、自发辐射和受激辐射。在受激辐射中,入射光子诱导处于激发态的原子跃迁到低能态,同时发射一个与入射光子完全相同的新光子。这里"完全相同"意味着频率、传播方向、偏振和相位都一致。受激辐射是激光工作的基础,它提供了一种相位复制机制,使得场中所有光子倾向于具有相同的相位。
在激光器中,增益介质被置于光学谐振腔内。当泵浦功率较低时,自发辐射占主导,发出的光相位随机,各个原子独立辐射,场的相位在整个可能范围内均匀分布。随着泵浦功率增加,腔内光子数增多,受激辐射逐渐变得重要。受激辐射产生的光子与引发它们的光子同相位,这创造了一种正反馈:某一相位的场分量越强,它引发的受激辐射就越多,进一步增强该相位的场。这种正反馈导致相位自发选择——在所有可能的相位中,系统随机选择一个,然后围绕这个相位建立起宏观的相干场。
这个过程可以与铁磁相变类比。在高温下,铁中的自旋取向随机,没有宏观磁化。当温度降到居里点以下,自旋相互作用导致自发对称破缺,所有自旋倾向于指向同一方向,产生宏观磁化。类似地,激光阈值对应一个相变点,阈值以下光场相位随机分布,阈值以上相位自发选择并锁定。具体选择哪个相位由随机涨落决定,但一旦选定,系统就维持在该相位附近。
从量子噪声的角度看,这个相位锁定过程可以更精确地描述。在阈值附近,量子涨落对系统的影响最大。场的相位和振幅都存在涨落,但激光器的非线性增益机制对它们的处理方式不同。振幅涨落会被增益饱和机制抑制:如果振幅偏大,增益介质的粒子数反转减小,增益下降,振幅被拉回;如果振幅偏小,增益增大,振幅被推高。这种负反馈稳定了振幅。然而,相位涨落没有类似的恢复机制。激光器对所有相位一视同仁,没有偏好,因此相位会在量子涨落的驱动下缓慢漂移。这就是激光线宽的根源,也解释了为什么实际激光的相干时间是有限的。
尽管相位会漂移,但漂移是缓慢的,特别是对于高功率激光器。可以证明,相位扩散率与腔内光子数成反比。光子数越多,量子涨落对相位的相对影响就越小,相位就越稳定。这与相干态的性质一致:平均光子数大的相干态具有小的相位涨落。激光器的动力学机制自然地将光场驱动到相干态附近,尽管由于量子涨落的持续存在,实际的激光态是一个相位缓慢扩散的准相干态。
激光阈值行为在实验中有清晰的表现。测量输出功率与泵浦功率的关系,可以看到阈值处有一个明显的转折点。阈值以下,输出功率微弱且主要来自自发辐射;阈值以上,输出功率随泵浦线性增长,受激辐射成为主要贡献。同时,输出光的统计性质也发生变化。阈值以下,光子到达时间的统计服从超泊松分布,表现出聚束效应;阈值以上,统计趋向泊松分布,聚束效应消失。这种统计性质的转变是激光场从热态向相干态过渡的直接证据。
- 相位算符的定义困难与实际测量
在讨论相位涨落时,我们使用了相位算符的概念,但必须指出,相位算符的严格定义在量子力学中存在微妙的困难。这一困难源于光子数只能取非负整数值,而相位是一个周期变量。
最直接的想法是将相位定义为湮灭算符辐角的某种量子版本。设â = √n̂ e^(iφ̂),其中n̂是光子数算符,φ̂是相位算符。如果要求φ̂是厄米的,且与n̂满足标准的对易关系[φ̂, n̂] = i,就会遇到矛盾。问题在于,这样定义的相位算符作用在真空态上会给出非物理的结果。二十世纪六十年代,卡拉瑟斯和尼托详细分析了这一困难,指出不存在同时满足所有期望性质的相位算符。
后来发展出多种处理方案。佩格和巴奈特提出的方案是在有限维希尔伯特空间中定义相位算符,然后取维数趋于无穷的极限。这种方法在数学上严格,给出了与实验一致的预言。另一种方法是放弃厄米相位算符,转而使用相位的测量算符,将相位定义为某类测量的结果,而不是先验存在的物理量。这两种方法在实际计算中往往给出相同的结果,对于平均光子数较大的相干态尤其如此。
从实验角度看,相位从来不是直接测量的,而是通过干涉测量得到。在干涉实验中,待测光场与参考光场合束,探测器测量的是合成场的强度。通过调节参考场的相位,可以从干涉条纹中提取出待测场与参考场的相位差。这种测量方式自然地避开了相位算符定义的困难,因为我们测量的是相对相位,而相对相位的定义是明确的。
干涉测量的精度受到量子噪声的限制。对于相干态,相位测量的标准量子极限由光子数涨落决定,相位不确定度与光子数的平方根成反比。这正是前面提到的Δφ ≈ 1/(2|α|)关系的实验体现。当平均光子数为N时,相位测量的最小不确定度为1/(2√N)。这个极限可以通过使用压缩态进一步突破,但对于普通激光器产生的相干态,标准量子极限是适用的。
实际激光器的相位稳定性受多种技术噪声影响,包括机械振动、温度波动、声学干扰等。这些技术噪声通常远大于量子噪声,在精密测量中需要仔细抑制。现代稳频激光器通过主动反馈控制,可以将线宽压缩到赫兹甚至亚赫兹量级,相干时间达到秒量级。在这种极端条件下,量子噪声才成为主要限制因素。
- 关键实验验证与观测案例
激光相干性的量子理论不仅在数学上自洽,还得到了大量实验的验证。以下介绍几个具有里程碑意义的实验。
汉伯里·布朗和特维斯在二十世纪五十年代进行了一项著名的强度干涉实验,最初用于测量恒星的角直径。他们发现,热光源的光子到达时间存在正关联——如果在某一时刻探测到一个光子,紧接着探测到另一个光子的概率会增大。这种效应称为光子聚束,反映了热光场的经典涨落。实验测量的是二阶相干函数g^(2)(0),热光的值为2,表示强聚束。
当激光问世后,人们用同样的方法研究激光的光子统计。结果显示,激光的g^(2)(0)等于1,光子到达是完全随机的,没有聚束效应。这正是相干态的理论预言:相干态的光子数服从泊松分布,光子之间没有关联,g^(2)(0) = 1。这个实验直接证明了激光场处于相干态,而非热态或其他量子态。值得注意的是,如果场处于光子数态,g^(2)(0)会小于1,称为反聚束,这是纯量子效应。相干态的g^(2)(0) = 1恰好位于经典热光和量子光子数态之间,代表经典与量子的分界。
更精细的实验研究了激光在阈值附近的行为。阿姆斯特朗和史密斯等人测量了不同泵浦功率下的光子统计分布。在远低于阈值时,分布是热分布,呈指数衰减;在阈值处,分布逐渐过渡;在远高于阈值时,分布变成泊松分布。这种连续过渡与激光相变的理论图像完全吻合。阈值行为还表现在输出光谱上:阈值以下,谱线较宽;阈值以上,线宽急剧变窄。这是因为阈值以上相位锁定,相位涨落减小,频率不确定度降低,线宽变窄。
干涉实验是检验相干性最直接的手段。迈克尔逊干涉仪测量光场的一阶时间相干性。将光场分成两路,引入时间延迟后合束,观察干涉条纹的可见度随延迟的变化。相干时间定义为可见度下降到初始值的某一比例时的延迟。对于理想的单色光,相干时间无穷大;对于实际光源,相干时间有限。热光源的相干时间极短,与谱线宽度的倒数同量级,通常在皮秒到飞秒范围。而稳频激光的相干时间可达毫秒甚至秒量级,比热光源长十几个数量级。
更引人注目的是激光相干长度的测量。由于光速极快,长相干时间意味着极长的相干长度。商用氦氖激光器的相干长度可达数百米,而高稳定度的稳频激光相干长度可达数百公里。这使得激光在精密干涉测量、引力波探测、光纤通信等领域具有不可替代的地位。引力波探测器利用激光干涉测量微小的时空扰动,干涉臂长达数公里,要求激光具有极高的相干性。激光干涉引力波天文台的成功运行,是激光相干性的壮观应用。
在光频梳技术中,激光相干性以另一种形式展现。飞秒锁模激光器产生的脉冲序列在频域上对应一系列等间隔的谱线,这些谱线之间保持稳定的相位关系。通过将重复频率和载波包络相位锁定到原子钟,可以建立直接连接微波和光频的精密频率标尺。这项技术的实现依赖于激光脉冲之间的长程相干性,连续数十万个脉冲保持确定的相位关系。光频梳因其在精密测量和光钟中的应用而获得诺贝尔物理学奖。
空间相干性的实验检验同样重要。扬氏双缝实验测量光场的横向相干性,即不同空间点之间的相位关联。对于热光源,相干面积很小,由光源的角尺寸决定;对于激光,由于单模运转,整个光束横截面具有良好的空间相干性。这使得激光可以聚焦到衍射极限的小光斑,实现高功率密度,在激光加工、激光医疗等领域有广泛应用。
一个特别有趣的实验是独立激光器之间的干涉。按照经典理论,两个独立的激光器,初始相位毫无关联,似乎不应该产生干涉条纹。但实验表明,当两束激光重叠时,确实可以观察到条纹,只是条纹位置在每次实验中随机变化。这个看似矛盾的结果可以用量子理论解释:每次测量迫使系统投影到具有确定相位差的态上,于是产生条纹;但不同测量投影到不同的相位差,条纹位置就不同。这个实验深刻地揭示了量子测量在相干性中的角色。
- 从量子到经典的过渡与宏观相干性
激光的存在提出了一个更深层的问题:量子系统如何产生经典行为?相干态在这个问题上提供了重要的启示。
量子力学的形式体系适用于所有尺度,但经典行为只在宏观尺度上显现。这种量子到经典的过渡涉及退相干和测量等复杂问题。相干态是一个特殊的例子,它展示了量子系统如何能够表现出经典行为,同时仍然是纯粹的量子态。
相干态|α⟩是纯态,不包含任何经典混合。它的密度矩阵是投影算符:
ρ = |α⟩⟨α|
这是一个秩为1的算符,不能分解为其他纯态的混合。然而,相干态的许多性质与经典谐振子运动一致:平均位置和动量满足经典运动方程,涨落最小,时间演化保持波包形状。这表明,量子态可以自然地蕴含经典行为,而不需要借助退相干或测量崩塌。
关键在于,相干态的量子涨落在相对意义上随着|α|增大而减小。当α非常大时,量子涨落相对于经典振幅变得可以忽略,系统的行为在统计上无法与经典振子区分。这就是对应原理在相干态上的体现。激光场正是这种情况:腔内有大量光子,相对涨落极小,场的行为非常接近经典电磁波。
然而,绝对涨落始终存在,在高精度测量中会显现出来。引力波探测器的灵敏度达到10^(-23)量级的应变,此时激光的量子涨落成为主要噪声源。为了突破这个限制,需要使用压缩态——一种人为制造的非经典光态,它在某个方向上的涨落小于相干态,代价是正交方向的涨落增大。压缩态的应用标志着量子光学从理解相干性走向操控相干性和量子涨落。
激光相干性还涉及自发对称破缺的概念。激光器的哈密顿量对相位是对称的,所有相位等价。但在阈值以上,系统选择一个特定的相位并维持在其附近,这打破了原有的对称性。这种对称破缺不是由外界强加的,而是自发发生的,类似于铁磁相变中自旋方向的自发选择。自发对称破缺是物理学中的重要概念,在粒子物理标准模型中的希格斯机制同样基于此。激光器提供了一个可控的、可在实验室研究的自发对称破缺范例。
量子涨落在对称破缺中扮演触发角色。在阈值处,所有相位等可能,系统处于一个不稳定的对称点。量子涨落使系统随机偏离对称点,一旦偏离发生,正反馈机制放大偏离,最终建立起宏观的相干场。这个过程的量子性质体现在选择哪个相位是真正随机的,不能预先确定。每次开启激光器,相位都重新随机选择,只有通过外部种子注入才能控制相位。
- 总结
本文从量子光学的基本原理出发,探讨了激光如何在光子数与相位满足不确定关系的约束下实现高度相干性。这个问题的答案涉及多个层面的理解。在量子态层面,激光场处于相干态,这是一种特殊的量子态,同时具有相对较小的光子数涨落和相位涨落,达到了不确定关系允许的最小不确定态。相干态既是湮灭算符的本征态,也是谐振子基态在相空间中的平移,具有最接近经典振子的量子性质。在动力学层面,激光器的受激辐射过程提供了相位复制机制,使得场中所有光子倾向于同相位。当泵浦功率超过阈值,正反馈导致相位自发选择和锁定,系统从无序相过渡到有序相,相干场得以建立。这一相变行为与凝聚态物理中的临界现象有深刻的类比关系。在测量层面,相位涨落通过相位扩散过程体现,扩散率与腔内光子数成反比。高功率激光的相位扩散很慢,相干时间很长,在宏观时间尺度上表现为稳定的相位。实验上,通过光子统计测量、干涉可见度测量、线宽测量等手段,全面验证了理论预言,确认了激光场的相干态本质。从更广的视角看,激光相干性问题展示了量子世界与经典世界之间的微妙联系。量子力学的不确定关系是普适的,但它并不禁止存在涨落最小的量子态。相干态正是这样的态,它在遵守量子规则的同时最大程度地逼近经典行为。理解这一点,不仅解答了激光相干性之谜,也加深了我们对量子理论本身的认识。激光作为二十世纪最伟大的发明之一,其相干性既是实用特性,也是窥探量子世界的一扇窗户。
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-