Quantum Advantage for Coordinated Frequency Selection Against Distributed Jammers

只憑一個 Bell pair（貝爾對，最基本的量子糾纏單位），兩個相距遙遠的節點就能在不通訊的條件下把頻段協調成功率提升 5.4%，嚴格優於任何古典策略，且對所有頻譜大小 n≥3 均成立。TU Delft 量子研究員 Stephanie Wehner 在本篇論文中提供了完整的數學框架——從最優古典基準到僅需單一 Bell pair 的近期可驗證量子策略，並附上機器驗證的 Lean 4 形式化證明。

(n,k)-干擾博弈：干擾機阻斷下的雙邊頻段協調

論文定義了 (n,k)-干擾博弈（jamming game）：設有 n 條頻段，Alice 與 Bob 分處兩個遠端節點，每側各有一個獨立干擾機封鎖其中 k 條頻段，每方各自只能觀測 d=n-k 條安全頻段，且無法得知對方的干擾情況。兩人的目標是在完全不交換任何資訊的情況下，選出同一條在雙方都安全的頻段——成功的充要條件是各自輸出完全相同的頻段，且該頻段在雙方都安全。

Bell 非局域性（Bell nonlocality）允許預共享糾纏的雙方產生超越任何古典共享隨機性的相關性，近期已被應用於負載均衡（load balancing）、分散式控制、高頻交易等低延遲協調問題。本篇論文在這個「量子協調」研究脈絡中，首次嚴格分析了對抗性干擾情境下的頻段分配問題，並完整確立了古典最優基準與可超越它的量子策略。成功率指標 ω 等於雙方選到同一條安全頻段的平均機率，最大化 ω 等價於最小化「期望匯合輪數」——即雙方第一次成功通訊所需的平均嘗試次數。

最優古典策略：選安全集最小頻段的貪婪函數

論文的第一個主要定理（Theorem 1）給出了任何古典策略能達到的最高成功率閉合公式。「古典策略」涵蓋共享隨機性（local hidden variables），但不允許量子糾纏。

作者透過三步嚴格推導確立了最優古典策略。第一步以 Cauchy-Schwarz 不等式證明：Alice 與 Bob 最優時使用相同的確定性函數（g=f），即「對齊策略」最優。第二步的飽和引理（saturation lemma）證明：最優策略必須把某個頻段的覆蓋安全集數量拉到上限。第三步構造了明確的貪婪策略 f*(x)=min(x)（輸出安全集中最小編號的頻段），並以歸納法證明它達到最大值。在固定 d 且 n 很大的漸近情況下，古典最優成功率衰減為 ω*_cl ≈ d²/((2d-1)n)——頻譜越大、安全頻段越稀疏，古典協調就越困難，這是量子策略必須突破的基準線。

量子策略框架：種子向量與 Löwdin 對稱正交化

論文的核心貢獻是一個通用框架，把古典擴頻序列（spreading sequences）轉化為量子測量策略，分兩步進行：

種子向量（seed vectors）：為每條頻段 c 指定一個複數單位向量作為「理想方向」。由於頻段數 n 大於維度 d，n 個向量無法全部正交，因此選擇一個盡量均勻分布的框架（frame，一種過完備生成集）。不同的框架幾何——離散傅立葉變換、互無偏基、辛普列斯等——各有不同的量子優勢特性。

Löwdin 對稱正交化：在每個安全集 x（含 d 條頻段）內，用 Löwdin 方法（源自量子化學，從重疊原子軌域構造正交分子軌域）把 d 個種子向量化為測量基底。Löwdin 方法的關鍵性質是在所有正交化方法中對輸入向量方向的偏移最小，讓同一頻段在不同安全集中的測量向量保持最大對齊，直接提升量子成功率公式中的跨上下文內積平方。當安全集內種子向量線性相依時，此方法退化為 Pretty Good Measurement（PGM，精良測量）。數值優化進一步確認，最優測量自然採取種子框架 + Löwdin 正交化的結構，說明這個 Ansatz 並非限制性假設。

諧波框架 5.4%、MUBs 8.2%：各顯式構造的量化比較

論文提出並系統比較了四種顯式種子框架，以 Haar 隨機種子作為理論參考。

Theorem 2（Haar 隨機，存在性）：對充分大的 d 和 n，量子策略期望成功率嚴格超越古典最優，漸近優勢比為 (2d-1)·ℒ₁/d。數值結果：d=2 時為 1.083（8.3% 優勢），d=3 為 1.075，d=4 為 1.069，d=5 為 1.065，d→∞ 下界 ≥1.038——量子優勢在所有測試的有限 d（d=2 到 50）均持續成立。

Theorem 3（諧波框架，harmonic frame）：取種子向量為離散傅立葉變換的相位向量，d=2 時漸近優勢比精確等於 3/4+3/π² ≈ 1.054（5.4%），對所有 n≥3 嚴格成立，只需一個 Bell pair，是唯一對所有 (n,k) 都有定義的顯式構造。MUBs（互無偏基）在 d=2 時達到顯式構造中最高優勢 8.2%（1.082），但只存在於質數冪次 d。辛普列斯框架（simplex frame）揭示一個值得注意的反例：它只在 d≤5 時超越古典策略，d≥6 時安全集重疊過於密集，古典協調已足夠有效，量子優勢消失——說明框架幾何與博弈參數的配適是設計量子協調策略的關鍵考量。最小遊戲 (n=3,d=2) 和 (n=4,d=2) 已透過 SDP 階層數值上界確認策略達到最優。

近期硬體可行性與認知無線電應用前景

d=2 諧波策略只需在兩個量子記憶體（quantum memory）之間預先分發一個 Bell pair，等到需要頻段協調時才各自進行本地測量，與現有量子網路標準操作完全相容。作者明確指出，概念驗證實驗在近期硬體上已技術可行。具體應用前景包括：抗干擾跳頻通訊（anti-jamming frequency hopping）、下一代無線網路的超可靠低延遲通訊（URLLC），以及衛星星座分散式頻率管理。論文的種子框架 + Löwdin 正交化方法論也為其他「從本地觀測做出相容決策」的協調博弈——分散式負載均衡、圖上匯合（rendezvous on graphs）、高頻交易——開啟了新的量子策略構造路徑。論文致謝明確記錄 Claude Code（Opus 4.6 和 4.7） 協助了數值計算、繪圖及 Lean 4 形式化證明轉換，是 AI 深度參與前沿理論研究的具體案例。

一個 Bell pair 嚴格優於所有古典頻段協調方法——量子網路在無線通訊的近期應用已從理論走向技術可行的實驗目標。