Entanglement and circuit complexity in finite-depth random linear optical networks

在傳統的離散量子位元（qubit）電路中，糾纏度與電路複雜度通常隨著電路深度呈線性增長，但在連續變量（continuous variable）的光學量子網絡中，物理學家證明了完全不同的縮放法則。馬里蘭大學與美國國家標準暨技術研究院（NIST）的最新聯合研究指出，在隨機一維磚牆線性光學電路中，糾纏度與電路複雜度的增長速度最多只與深度的平方根 $O(\sqrt{d \log d})$ 成正比，呈現出獨特的擴散式（diffusive）增長。這項發現不僅拉近了連續變量與離散系統之間的理論落差，更在數學上證明了此類光學量子電路實際上是可被大幅壓縮的。

探究連續變量系統與 Gaussian Boson Sampling 的底層差異

利用連續變量資源來進行編程運算或探索量子現象，是當今量子設備的重要分支，其物理實現通常依賴包含分光鏡（beamsplitter）與移相器（phaseshifter）的線性光學元件。儘管離散變量量子設備的許多特性已被廣泛研究，但連續變量系統（也就是擁有無限維度玻色子希爾伯特空間的系統）中，隨機電路的糾纏動態與複雜度演化仍充滿未解之謎。

一個廣為人知、且被認為在古典計算上極具挑戰性的連續變量任務是玻色子取樣（Boson sampling），以及其變體高斯玻色子取樣（Gaussian Boson Sampling, GBS）。在這類協定中，光子在一個由 $n \times n$ 么正矩陣（unitary matrix）描述的無源線性光學網絡中發生干涉，最後在光子數基底上測量輸出狀態。現有基於複雜度理論的假說多半預設了一個無限深度的隨機線性光學電路，假設其矩陣分佈符合完全隨機的 Haar 測度（Haar measure）。

然而，現實中的實驗設備必須考量「有限深度（finite-depth）」的光學網絡行為。研究團隊將焦點轉向分析糾纏、複雜度與深度的相依關係，採用所有初始模式（modes）均被壓縮（squeezed）的高斯狀態作為輸入，這完全契合當前大型 GBS 實驗的硬體設置。

一維磚牆架構中 Rényi-2 糾纏熵的擴散式增長法則

為了量化量子糾纏，研究人員採用了 Rényi-2 熵（一種用於量化量子系統中子系統糾纏程度的指標），並建立了一種名為「一維磚牆（1D brickwall）」的線性光學電路模型。在這個架構中，單一「步數（step）」由兩個相鄰的層級構成，每一層平行應用多個雙模式分光鏡與單模式移相器，並透過堆疊 $d$ 步來構成深度為 $d$ 的整體電路。

針對這種隨機一維磚牆電路，研究團隊提出了關於 Rényi-2 熵生長上限的關鍵證明（定理 1.1）。在最壞情況下，子系統的熵增長具有與深度成正比的線性上限 $4d\log\cosh(2s)$；但在平均情況下（當所有元件均從 Haar 測度獨立抽取時），熵的期望值增長受到 $O(\sqrt{d \log d}) \sinh^2(2s)$ 的限制。這意味著在隨機玻色子電路中，糾纏度最多只以「擴散式（diffusive）」的速度增長。

這項結論與傳統隨機量子位元磚牆電路中觀察到的「彈道式（ballistic）」線性增長形成強烈對比。即便將架構擴展至 $D$ 維度的磚牆模型（推論 1.2），平均糾纏上限依然只與深度的平方根及邊界區域面積成正比。這種擴散限制暗示了光子在線性光學網絡中的局部化行為，與離散系統的快速資訊擴展截然不同。

連結古典隨機漫步與達到最大糾纏的深度閾值

除了設定上限，研究團隊更建立了一個精確的數學等式，將線性光學矩陣元素的絕對值平方期望值，直接等同於在電路閘中進行古典隨機漫步的機率（定理 3.1）。透過這層轉換，複雜的量子糾纏計算被映射為追蹤古典粒子的隨機漫步軌跡，進而推導出糾纏度的下限。

基於這個古典隨機漫步的屬性，團隊證明了要讓任意大小為 $k$ 的子系統，其平均糾纏達到全域最大階層 $\Theta(k)$，電路深度至少需要滿足 $d \geq C_1 n^2 \log^2 n$（定理 1.3）。這個深度要求在對數因子上與前面提到的擴散式上限完美吻合，證實了該擴散增長模型的嚴密性。

進一步探討矩陣整體的隨機性，研究指出當深度達到 $O(n^3 (\log n)^2 \log(n/\varepsilon))$ 時，該有限深度電路在 $L^2$ Wasserstein 距離（衡量兩個機率分佈之間差異的數學距離）上，就能逼近完美的 Haar 隨機分佈。這為設計具備足夠隨機性、能抵禦古典演算法模擬的實用型光學量子設備，提供了明確的深度設計指引。

線性光學電路的高度可壓縮性與逼近複雜度飽和

理解了糾纏動態後，研究團隊將結論延伸至「電路複雜度（circuit complexity）」領域。對於 $n \times n$ 的么正矩陣，精確的電路複雜度是指完全重建該矩陣所需的最少閘數；而「逼近複雜度（robust circuit complexity）」則容許微小誤差，尋找能在希爾伯特-施密特範數（Hilbert-Schmidt norm）下逼近原矩陣的最簡化電路。

在隨機量子位元電路中，近期的研究已證實其逼近複雜度會隨時間線性成長，代表這類電路具有「不可壓縮性（incompressible）」。然而，研究團隊在定理 1.5 中揭示了完全相反的現象：隨機一維磚牆線性光學電路是「高度可壓縮的（compressible）」。

具體而言，一個原本需要消耗 $\Theta(nd)$ 個相鄰閘的深度 $d$ 網絡，有極高機率可以被簡化為一個僅需 $O(n\sqrt{d\log d})$ 個閘的等效電路，且兩者在運作具備特定光子數期望值的純態時，仍能維持極高的保真度（fidelity）。但若允許任意對連（all-to-all）的幾何架構，團隊也證明了當深度超越特定的混合時間閾值 $O(n^3 \log n)$ 時，電路複雜度將會產生飽和，屆時便無法再用顯著減少的閘數來逼近原系統。

跳脫 KPZ 標度：光學網絡糾纏波動的常數級變異

這項研究的分析結果，為理解連續變量系統的基礎物理奠定了基石。從擴散式的糾纏增長到電路的可壓縮性，被動線性光學網絡展現了獨特的時空演化特性，這對於未來設計大型量子干涉儀器、評估計算難度與防錯機制具有指導意義。

在論文末尾，研究團隊也對未來的探索方向提出觀察。數值實驗暗示，在相等壓縮輸入的情況下，磚牆光學電路中 Rényi-2 熵的波動變異似乎維持在常數級別，這與隨機量子位元電路中常見的 KPZ 標度（波動隨時間 $d^{1/3}$ 增長）截然不同。釐清引入主動型高斯光學元件（active Gaussian optics）後能否改變這種波動行為，將是下一步解開光學量子優勢的關鍵拼圖。

連續變量光學網絡呈現獨特的擴散式增長，證明此類量子電路在逼近複雜度上具備被大幅壓縮的潛力。