Semidefinite programming bounds on the size of entanglement-assisted codeword stabilized quantum codes

問題與糾纏資源模型

本文把半正定規劃（SDP）用於糾纏輔助codeword stabilized量子碼（EA-CWS），估計固定長度、距離與糾纏資源下的最大碼空間維度。((n,M,d;c))中的M是量子子空間維度，不是可用量子態的離散個數；任意基底疊加仍是碼態。Alice的n個量子位元通過有雜訊通道，Bob預先持有c個假設無雜訊的糾纏夥伴，約化態應為I/2^c。錯誤作用為E⊗I，故距離只數Alice端。本文的SDP成果針對EA-CWS類別，不能直接推成任意量子碼的通用排除。

偵測與無害作用必須分清楚

令P為碼空間投影，Pauli錯誤E可偵測當且僅當P(E⊗I)P=λP。這是壓縮矩陣條件，一般不表示E在整個碼空間上乘λ。特別是PEP=0代表E把碼空間送到其正交空間，不是E把向量變成零；Pauli是酉算子，會保留範數。以Q=span{|00〉,|11〉}為例，X⊗I把Q送到span{|10〉,|01〉而可偵測，Z⊗Z在Q上為恆等而無害；Z⊗I則在邏輯基底上為diag(1,−1)，改變相對相位且不可偵測，所以此教學例子的d=1。

CWS結構讓抽象條件可計數

最大穩定子群S決定參考態|S〉，一組互相交換的word operators W={I,ω₂,…,ω_M}作用於Alice，使(ω_i⊗I)|S〉成為碼空間的正交基底。W不必形成群；形成適當阿貝爾群時才是EA穩定子碼的特殊情形。本文證明EA-CWS的廣義穩定子集合S_λ={E:P(E⊗I)P=λP}只有λ=0、±1可能非空，因穩定子參考態對Pauli的期望只有這三種值。λ=±1確實給本徵作用；λ=0仍須保留正交子空間的解釋。

找一批不可偵測錯誤就能給上界

令S_I={E:E⊗I∈S}為參考態的isotropic subgroup，S_g為固定整個碼空間的帶符號Pauli群，則S_g⊆S_I。若E=ω_iβ、β∈S_I且ω_i非恆等，E會把參考態送到另一個word state，產生非零邏輯非對角矩陣元素，故WS_I\S_I中的錯誤都不可偵測。因此d≤min wt(WS_I\S_I)。更強的原文Lemma23使用WS_I\S_g，但較難建模。子集合的最小重量可能高於真正d，所以這個方便的式子是上界，不應自動改寫成等號。

列舉子把量子條件接到有限集合

Shor–Laflamme列舉子A_j=M⁻²Σ|Tr(EP)|²與B_j=M⁻¹ΣTr(EPEP)滿足0≤A_j≤B_j，且j<d時相等。EA情形以A_i,j、B_i,j分別記Alice和Bob重量，距離限制是A_i,0=B_i,0。split MacWilliams與shadow非負性提供LP限制。關鍵的Lemma14把B_i,0解釋成WS_I的平均距離列舉子，總和為|WS_I|=M2^(n−c)；完整B則對應(W⊗I)S，總量為M2^(n+c)。這兩種重量與正規化不可混用。

SDP如何使用三點資料

令T₁=S_I、T₂=WS_I，在忽略整體相位的四字母Pauli空間中，三點關係由i、j、t、p描述：i和j是兩條相對字的重量，t是共同非I座標數，p是其中符號相同的座標數，第三距離為i+j−t−p。四類三點分別來自T₁³、T₂³、T₁×T₂²、T₂×T₁²。集合指示向量外積χχᵀ必半正定，對對稱群與基點在集合內外取平均，得到8組PSD限制。Terwilliger代數把原本4ⁿ階矩陣區塊化；n=10時最大區塊只有11階，但仍有多個區塊與變數類別。

數值成果應如何讀

固定n、M、d、c後，若必要的LP與PSD條件不可行，便可排除對應EA-CWS參數；鬆弛可行則不保證真碼存在。TableII的a(b)代表SDP上界a、LP上界b。例如(n,c,d)=(3,2,3)由4降3，(4,3,4)由8降3，(10,4,4)由144降140。這些是作者報告的碼維度上界，不是相同大小的構造。對c=0，原文沒有觀察到超越包含shadow的完整LP；((10,9,4;0))雖可由SDP排除，加入shadow後的LP也能排除，不能因此說SDP全面勝出。

交換關係與可核算的6維例子

在c=0的CWS碼中，對參考態穩定子的相位類β，令W_c、W_a分別數與β交換及反交換的word operators。A_j是重量j的(W_c−W_a)²/M²之和，因此一般可能為分數。原文((5,6,2;0))例子給A=(1,0,0,0,5/3,8/3)。本導讀用精確分數重算MacWilliams變換，得到B=(1,0,20,50,75,46)；A₂=0<B₂=20確認d=2。ΣA=16/3=32/6、ΣB=192=6·32也符合正規化。此例的shadow向量D=(0,30,60,360,420,282)亦以帶符號變換重算相符。

shadow意義與來源中的符號差異

shadow以P̂=Y^⊗n P̄Y^⊗n及非負量Tr(EPEP̂)定義；CWS穩定子態的複共軛可由Pauli平移得到，因此可解釋成WS與另一個Pauli平移集合之間的距離計數，但仍須核對交疊與正規化。原文§IV把PEP=0寫成算子消滅碼態的文字不正確，本導讀採正交空間解釋。另Theorem30把T₂=WS_I連到總重量Σ_(r+s=i)B_r,s，與Lemma14的B_i,0及總量不一致；此處依定義清楚區分，沒有宣稱只改一式就重現或驗證完整程式。

貢獻、限制與來源

方法的核心是把不可偵測Pauli錯誤整理成兩個有限集合，以三點幾何與矩陣正性增強量子碼上界，同時解釋A與shadow列舉子的組合意義。更強的錯誤子集合、更高點數與可核查的對偶證書仍是研究方向。來源：Ching-Yi Lai、Pin-Chieh Tseng、Wei-Hsuan Yu，Semidefinite programming bounds on the size of entanglement-assisted codeword stabilized quantum codes，arXiv:2311.07111v2（2024）。數值程式為PinChiehTseng/SDP_quantum_code。本導讀重算上述例子，未獨立重跑整張SDP表，也不宣稱其為2026最新紀錄。