量子科技中心_量科网

绝对最大纠缠 (AME) 态以及更一般地，\((\C^q)^{\otimes n}\) 中的 \(k\)-均匀态是多体纠缠理论中的核心对象，在量子秘密共享、量子掩蔽和量子纠错中具有应用。在极端情况 \(k=\lfloor n/2\rfloor\) 下，Scott (2004) 证明了一个尖锐的不存在性界，表明一旦参与方数量 \(n\) 超过 \(2q^{2}\) 量级的阈值（且与 \(n\) 的奇偶性有关），其中 \(q\) 是局域维度，则 AME 态不可能存在。最近，Ning 等人研究了 \emph{缺陷} AME 态（即 \(k=\lfloor n/2\rfloor-l\)，其中 \(l>0\)），给出了缺陷 \(l=1,2\) 的显式 Scott 型界，并推测了普遍的 \((2l+2)q^{2}+o(q^{2})\) 行为。在本文中，该团队解决了这一猜想，并建立了对于任意缺陷 \(l\ge 0\) 的 AME 态的完全显式 Scott 型上界，其中 Scott 的 \(l=0\) 界和 Ning 等人的 \(l=1,2\) 界均为特例。等价地，这给出了量子 Singleton 区域附近一维纯量子纠错码的不存在性界。该证明使用了截断的 MacWilliams 线性规划系统和一个显式的不可行性证书。作为直接应用，该工作推导了固定局域维度 \(q\) 下 \(k/n\) 的显式渐近上界，改进了 Ning 等人给出的隐式上界。