QMA(2)在对数共享纠缠下计算能力不变

Alex Della Schiava与Ranitha Mataraarachchi在arXiv论文中研究了两证明者量子验证类QMA(2)在受限共享纠缠下的能力：当两prover共享至多h=O(log n)个EPR对（n为输入长度）时，QMA(2;h)=QMA(2)，即对数量级共享纠缠不改变QMA(2)的计算能力。 证明思路是用四个无纠缠witness做模拟，再结合Harrow-Montanaro的等式QMA(4)=QMA(2)（FOCS 2010）。作者还证明了EPR预算的单调性：h≤H时QMA(2;h)⊆QMA(2;H)，并保持完备性与可靠性。论文v3进一步报告：多项式规模的共享EPR对不会给prover带来作弊优势（QMA(2)⊆QMA(2;h)，h=poly(n)）；且在NP不包含于BQP的假设下，若允许准备见证时进行经典通信，超对数规模的共享EPR对会严格降低模型的计算能力。 注意：v2摘要曾称在LOCC模型下把等式推广到任何超对数规模EPR预算将蕴含NP⊆BQP，与v3在经典通信条件下得出的相反方向结论关系未在摘要中说明。以上结果基于论文摘要，本站未核验全文。

AI 根据报道生成 · 11 小时前更新

1. 10月14日 12:00 · 1 篇报道
   论文证明QMA(2)在对数共享纠缠下不变
   arXiv · quant-ph：QMA(2)在有限共享纠缠下保持计算能力
2. 10月14日 12:00 · 1 篇报道
   论文研究QMA(2)受限共享纠缠的变体
   arXiv · quant-ph：研究刻画有限共享纠缠对QMA(2)计算能力的影响