量子科技中心_量科网

当量子系统被网络中的多方共享时，各方的测量结果会呈现出非经典关联性——即若各方共享的是经典系统则无法获得的关联特性。这种现象被称为量子非定域性，通常以贝尔场景为验证范式。然而贝尔场景本质上比一般网络结构更易研究，因为后者会引出往往难以处理的非凸优化问题。三角网络正是因存在三个独立信源而呈现这种非凸特性的最简单网络之一。尽管学术界已在三角网络中发现了某些量子非定域性的特例，但仍缺乏验证经典不兼容性的通用方法，这表明我们对网络结构的认识仍相当有限。例如“优雅联合测量”（EJM）分布就是一种可通过三角网络中的量子系统与测量获得的高度对称的简单结果分布——该分布早在八年前就被推测具有非经典性。本工作首次完成了对EJM分布非经典性的证明：通过将因果推理技术“膨胀法”与强对称性约简、大规模优化的弗兰克-沃尔夫算法相结合，进而采用这些方法在精确算术体系下实现了计算机辅助的非经典性证明。