光的相干性問題貫穿了近代物理學的發展歷程。從楊氏雙縫干涉實驗確立光的波動性質,到麥克斯韋方程組統一電磁理論,經典物理學為理解光的相干現象提供了完整的理論框架。然而,二十世紀初量子力學的誕生徹底改變了我們對光的認識。愛因斯坦在解釋光電效應時提出光量子假說,普朗克引入能量量子化概念,這些工作表明光不僅具有波動性,還具有粒子性。在量子理論的框架下,光場被描述為量子化的電磁場,其中光子數算符與相位算符構成一對共軛變量,滿足海森堡不確定關係。這意味着我們無法同時精確測定光場的光子數和相位——當光子數完全確定時,相位完全不確定;反之亦然。這一量子力學的基本原理似乎與激光表現出的高度相干性存在深刻矛盾。激光在實驗中展示出極其穩定的相位關係,能夠產生清晰的干涉條紋,其相干長度可達數十甚至數百公里。那麼,激光是如何在量子不確定性的約束下實現如此高度的相干性的?這個問題觸及量子光學的根基,也揭示了量子世界與經典世界之間微妙而深刻的聯繫。本文將從量子電動力學的基本框架出發,通過分析光場的量子態結構,特別是相干態的獨特性質,闡明激光相干性的物理機制,並結合典型實驗案例說明理論預言與實驗觀測的一致性。
- 經典相干理論與量子描述之間的張力
在經典電磁理論中,光被描述為電磁波,其電場分量可以寫成振幅、頻率和相位的函數。當兩束光波在空間某點相遇時,合成場強取決於它們的相位差。如果相位差恆定,干涉條紋穩定可見,我們稱這兩束光是相干的。經典理論中,相位是一個完全確定的物理量,可以通過初始條件精確指定。然而,當我們轉向量子描述時,情況變得複雜起來。量子電動力學將電磁場視為無窮多個諧振子的集合,每個模式對應特定的波矢和偏振。對於單模光場,其哈密頓量可以寫成諧振子的形式,引入產生算符和湮滅算符後,光子數算符定義為兩者的乘積。光子數態,也稱為福克態,是光子數算符的本徵態,代表場中包含確定數目光子的量子態。
福克態具有一個重要特徵:它的相位完全不確定。這可以從物理上理解——當我們精確知道場中有多少個光子時,關於場的振蕩相位的信息就完全丟失了。這種情形類似於位置和動量的不確定關係,但又有其獨特之處。位置和動量都是厄米算符,具有良好定義的本徵值譜,而相位算符的嚴格定義在數學上存在困難。儘管如此,相位與光子數之間的共軛關係是確切的,可以通過各種近似方案得到定量描述。數學上,這種不確定關係可以表述為:
Δ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)量級的應變,此時激光的量子漲落成為主要噪聲源。為了突破這個限制,需要使用壓縮態——一種人為製造的非經典光態,它在某個方向上的漲落小於相干態,代價是正交方向的漲落增大。壓縮態的應用標誌着量子光學從理解相干性走向操控相干性和量子漲落。
激光相干性還涉及自發對稱破缺的概念。激光器的哈密頓量對相位是對稱的,所有相位等價。但在閾值以上,系統選擇一個特定的相位並維持在其附近,這打破了原有的對稱性。這種對稱破缺不是由外界強加的,而是自發發生的,類似於鐵磁相變中自旋方向的自發選擇。自發對稱破缺是物理學中的重要概念,在粒子物理標準模型中的希格斯機制同樣基於此。激光器提供了一個可控的、可在實驗室研究的自發對稱破缺範例。
量子漲落在對稱破缺中扮演觸發角色。在閾值處,所有相位等可能,系統處於一個不穩定的對稱點。量子漲落使系統隨機偏離對稱點,一旦偏離發生,正反饋機制放大偏離,最終建立起宏觀的相干場。這個過程的量子性質體現在選擇哪個相位是真正隨機的,不能預先確定。每次開啟激光器,相位都重新隨機選擇,只有通過外部種子注入才能控制相位。
- 總結
本文從量子光學的基本原理出發,探討了激光如何在光子數與相位滿足不確定關係的約束下實現高度相干性。這個問題的答案涉及多個層面的理解。在量子態層面,激光場處於相干態,這是一種特殊的量子態,同時具有相對較小的光子數漲落和相位漲落,達到了不確定關係允許的最小不確定態。相干態既是湮滅算符的本徵態,也是諧振子基態在相空間中的平移,具有最接近經典振子的量子性質。在動力學層面,激光器的受激輻射過程提供了相位複製機制,使得場中所有光子傾向於同相位。當泵浦功率超過閾值,正反饋導致相位自發選擇和鎖定,系統從無序相過渡到有序相,相干場得以建立。這一相變行為與凝聚態物理中的臨界現象有深刻的類比關係。在測量層面,相位漲落通過相位擴散過程體現,擴散率與腔內光子數成反比。高功率激光的相位擴散很慢,相干時間很長,在宏觀時間尺度上表現為穩定的相位。實驗上,通過光子統計測量、干涉可見度測量、線寬測量等手段,全面驗證了理論預言,確認了激光場的相干態本質。從更廣的視角看,激光相干性問題展示了量子世界與經典世界之間的微妙聯繫。量子力學的不確定關係是普適的,但它並不禁止存在漲落最小的量子態。相干態正是這樣的態,它在遵守量子規則的同時最大程度地逼近經典行為。理解這一點,不僅解答了激光相干性之謎,也加深了我們對量子理論本身的認識。激光作為二十世紀最偉大的發明之一,其相干性既是實用特性,也是窺探量子世界的一扇窗戶。
