具有纠缠证明者的唯一博弈是容易的

我们考虑经典验证者与两个共享纠缠的证明者之间的一轮博弈。我们表明，当验证者执行的约束为“唯一”约束（即置换）时，博弈的值可以通过半定规划很好地近似。此前已知的唯一算法是针对二元答案的特殊情况，这可由 Tsirelson 在 1980 年的工作得出。除其他外，我们的结果意味着允许证明者共享纠缠的唯一博弈猜想的变体是错误的。我们的证明基于一种新颖的“量子舍入技术”，展示了如何获取半定规划的解并将其转换为纠缠证明者的策略。利用我们的半定规划近似，我们还证明了唯一纠缠博弈的并行重复定理。