Quantinuum「補集樣本」測試：量子與經典差距可隨規模指數擴大

Quantinuum 的「補集樣本」（complement sampling）實驗，展示的是一種定義非常清楚的量子優勢：量子裝置在一個刻意設計、用來保留及檢驗量子疊加的遊戲中，產生了超出嚴格經典上限的統計結果。對源自 Bernstein–Vazirani 問題的個案，理想的量子對經典「違反比率」會按 2^(n−1) 增長；去到 37-bit 字串時，理論上可達逾 1,370 億比一。4

不過，呢個數字唔可以直接理解成「H2 量子處理器快過普通電腦 1,370 億倍」。它說明的是：在這一個指定遊戲的規則及評分指標之下，理想量子策略與容許的經典策略之間有如此大的分離；並非通用運算速度比較，更唔代表已經有即時商業用途。

「補集樣本」遊戲其實玩乜？

可以想像裁判在全部 n-bit 字串之中，秘密揀出一半，組成集合 S，然後準備一個對 S 內所有字串都平均疊加的量子態。玩家的任務，是交回一條屬於補集 S̄ 的字串——即係不在 S 裏面的字串。34

經典玩家如果只收到一個來自 S 的普通樣本，實際知道的資訊極少：它至少知道剛收到那條字串不能是答案，但對其餘海量字串，根本無法判斷哪些仍屬於 S、哪些屬於 S̄。因此，經典策略受一條形式化的上限約束。47

量子玩家收到的卻不是已量測、只剩下一個答案的樣本，而是仍然保留相干性（coherence）的集合疊加態。對實驗採用的特殊結構化個案，量子變換可以把對應 S 的狀態映射成只支撐於 S̄ 的狀態；在無雜訊的理想情況下，量測後必定得到一條有效的補集字串。34

測試核心是量子相干性：系統能否在未把疊加態塌縮成單一經典觀測值之前，處理同時載有大量可能字串的資訊。這不是 Bell test，亦不是測試空間分隔下的量子非定域性。

點解差距會指數級拉闊？

關鍵比較唔係單純成功率。論文定義了一個高於經典基線的、屬於這個遊戲的違反量；對 Bernstein–Vazirani 衍生的一族個案，理想量子與經典的比率是 2^(n−1)。4

當 n = 37：

2^36 = 68,719,476,736

按實驗所用的違反量定義，報告把比較描述為超過 1,370 億比一。無論採用哪一種表述，重點都一樣：理想量子訊號維持完美，但經典策略可取得的優勢會隨字串長度增加而指數式縮小。4

所以，這不是一項「量子處理器完成某個有用工作負載快 1,370 億倍」的宣稱；而是這個特定遊戲下，兩種理想策略的分離幅度。

H2 硬件實際跑出甚麼結果？

團隊在 Quantinuum 的 H2 囚禁離子處理器上執行數以千計電路，最多使用 55 個物理量子位元，測試字串長度最長為 37 bit。48

真實硬件有雜訊，量子裝置的觀測表現自然低過理想的「必定成功」情況，而且電路愈大，誤差影響愈明顯。即使如此，報告指量測結果仍然在統計上高過相應的經典門檻，支持裝置已足夠準確地實現量子策略並違反經典界線。4

這個分別好重要：實驗不是說經典電腦「絕對無法印出」同樣的有限 bit 字串；而是說，在指定輸入模型下，量得的答案分布超越了獲准經典策略所能達到的水平。4

比起早期「量子優勢」測試，強在哪裏？

不少較早的量子抽樣示範，會靠複雜度理論假設去論證傳統模擬應該很困難。補集樣本測試刻意避開這種依賴：其經典限制是直接從遊戲本身推導，而不是建基於尚未證明的困難性猜想。34

它亦相對容易核驗。裁判知道秘密集合是怎樣建構的，因此可以檢查輸出是否在補集內。相較之下，隨機電路抽樣（random-circuit sampling）在大規模下的驗證，可能需要昂貴的經典模擬，或非常大量的樣本。34

正因如此，補集樣本適合作為近期量子硬件的基礎基準：它專門用來呈現清晰的量子—經典分離，同時又容許經典方式核驗結果。

大標題背後，幾個不能忽略的限制

這是一項高度專門化的抽樣任務

遊戲是為突顯量子在樣本式資訊處理上的優勢而設計，並不證明量子電腦已在化學、最佳化、密碼學、AI 或通用運算上取得實際加速。4

「無條件」不等於「裝置獨立」

所謂經典界線「無條件」，是指它在數學遊戲的框架內不依賴計算困難性假設；但實驗協議仍要信任裁判正確製備輸入狀態。這跟完全裝置獨立（device-independent）的測試不同，後者毋須信任裝置的關鍵部分也可得出結論。4

裁判與玩家不是兩部真正分隔的量子電腦

由於當時沒有可連接兩部量子電腦的真正量子通訊通道，實作上把裁判與玩家的量子位元暫存器放進同一個量子處理器內，再以量子傳態來模擬量子通道。4

更強的未來示範，會是讓獨立控制的量子系統透過真正量子鏈路連接，最好更採用容錯量子硬件。不過，這類分散式系統本身很難做：量子態傳送速度和維持相干性的時間，都可能成為樽頸。14

指數級未必是最終上限

結果建立的是這個遊戲族的指數級分離，並沒有證明這就是量子與經典之間可達到的最大差距，更沒有展示超指數級分離。根據目前提供的證據，能否在可有效驗證、而且具物理意義的任務中做到更強分離，仍然是開放問題。

這項實驗真正證明了甚麼？

最準確的說法是：Quantinuum 的囚禁離子硬件，在一個可有效檢查的補集樣本遊戲中跨過嚴格的經典界線，而該遊戲的理想量子—經典差距會隨問題規模指數增長。34

這比籠統地講「量子霸權」更具體，因為任務、評分方式、驗證方法及信任假設都可以逐一講清楚。但同一批細節亦界定了它的限度：這是量子疊加能在一個精心設計場景帶來指數優勢的有力實驗證據，並非量子電腦已全面超越傳統電腦處理現實世界工作負載的證明。