具有竞争性证明者的量子交互式证明

本文研究了量子裁判游戏，这是一种包含两个竞争性证明者的量子交互式证明系统：一个试图说服裁判者接受，另一个试图说服裁判者拒绝。我们证明，每个拥有普通量子交互式证明系统的语言，都有一个只需与每个证明者交换一次消息的量子裁判游戏。我们的证明的关键部分是：存在一个单一的量子测量，能够可靠地区分来自彼此之间具有较大最小迹迹距离的离散凸集中任意选择的混合态。我们还展示了如何降低某些类量子裁判游戏的错误概率。