基于分布式测量的量子计算

我们发展了分布式基于测量的量子计算的形式模型，采用基于主体的视角，使得计算在可能处局部描述。由于网络量子态一般是纠缠的，我们需要将其建模为全局结构，类似于经典主体系统中的全局内存。局部量子计算被描述为测量模式。由于基于测量的量子计算天然是分布式的，这允许我们自然扩展测量演算（此类计算的形式模型）的若干概念。我们的目标是定义一种汇编语言，即我们假设计算良定义且不涉及验证技术。主体系统的操作语义由概率转移系统给出，且我们以对应于互模拟概念的方式定义操作等价。在此基础之上，我们证明隐形传态与直接量子信道互模拟，且这也在更大网络的语境中成立。