短量子游戏

本文介绍了量子裁判游戏，这是一种具有两个竞争性证明者的量子交互式证明系统。我们聚焦于该模型的一个限制，我们称为“短量子游戏”，并对这些游戏的表达力度进行上下界分析。对于下界，我们证明具有普通量子交互式证明系统的每个语言也都有一个短量子游戏。这一证明的重要部分是建立一种可靠区分来自不相交凸集中选取的量子态的量子测量。对于上界，我们展示，包括短量子游戏在内的某些类型的量子裁判游戏，可通过为凸可行性问题提供分离者来使用椭球方法，从而在确定性指数时间内可判定。