非局域量子计算的一种复杂性理论
非局域量子计算(NLQC)通过单轮通信和共享纠缠态替代了两系统间的局域交互。尽管存在诸多局部性成果,但已知对至少某些NLQC任务中纠缠资源代价的表征将意味着复杂性理论的重大突破。该研究团队避开了这些障碍,采用与复杂性理论学家相似的间接路径来理解NLQC中的资源需求:通过对不同NLQC任务间资源高效归约的识别,研究其相对计算难度。最重要的发现是,该工作证明文献中研究最深入的两个NLQC任务——f-测量与f-路径——在O(1)开销归约下具有等价性。这一结论简化了现有文献中的诸多证明,并将若干新性质扩展至f-测量任务。例如,该团队获得了所有函数的f-测量亚指数上界,以及复杂性类ModkL中函数的高效协议。此外,研究人员还考察了其他若干NLQC任务实例及其相互关系。
