量子态的生成和验证是量子信息处理的基本任务,最近由 Irani、Natarajan、Nirkhe、Rao 和 Yuen [CCC 2022]、Rosenthal 和 Yuen [ITCS 2022]、Metger 和 Yuen [QIP 2023] 在状态合成这一术语下进行了研究。本文从量子分布式计算,特别是分布式量子 Merlin-Arthur (dQMA) 协议的角度研究了这一概念。我们首先在线上介绍一项新任务,称为具有分布式输入的状态生成 (SGDI)。在这个任务中,目标是在线的最右边节点生成量子态 U | ψ ⟩,其中 | ψ ⟩ 是在最左边节点给出的量子态,U 是一个酉矩阵,其描述分布在线的各个节点上。我们为 SGDI 提供了一个 dQMA 协议,并利用该协议为 Naor、Parter 和 Yogev [SODA 2020] 研究的集合相等问题构建了一个 dQMA 协议,并通过展示该问题的经典下限来补充我们的协议。我们的第二个贡献是基于 Zhu 和 Hayashi [Physical Review A, 2019] 的最新研究的 dQMA 协议,用于在没有量子通信的情况下在网络的相邻节点之间创建 EPR 对。作为此 dQMA 协议的一个应用,我们证明了一个通用结果,该结果展示了如何将任意网络上的任何 dQMA 协议转换为另一个 dQMA 协议,其中验证阶段不需要任何量子通信。
量子状态的产生和验证是量子信息处理的基本任务,伊朗人,Natarajan,Natarajan,Nirkhe,Rao和Yuen [CCC 2022],Rosenthal和Yuen和Yuen [ITCS 2022],Metger和Yuen,Metger和Yuen [focs 2023] [focs 2023]遵守了任期状态的统治状态。本文从量子分布式计算的角度研究了这一概念,尤其是分布式量子Merlin-Arthur(DQMA)协议。我们首先在一条线上引入一项新型任务,称为州生成,带有分布式输入(SGDI)。在此任务中,目标是生成量子状态u | ψ⟩在该行的最右边节点,其中| ψ⟩是在最左节点处给出的量子状态,u是一个单位矩阵,其描述分布在线的节点上。我们为SGDI提供了DQMA协议,并利用此协议来构建Naor,Parter和Yogev [Soda 2020]研究的集合平等问题的DQMA协议,并通过显示此问题的经典下限来补充我们的协议。我们的第二个贡献是DQMA协议,基于Zhu和Hayashi [物理评论A,2019]的最新工作,以在没有量子通信的网络的相邻节点之间创建EPR对。作为此DQMA协议的应用,我们证明了一个一般结果,显示了如何将任意网络上的任何DQMA协议转换为另一个DQMA协议,在该协议中,验证阶段不需要任何量子通信。