中国科大郭光灿院士团队在量子电路等价性实验研究中取得重要进展。该团队李传锋、柳必恒等人与清华大学魏朝晖助理教授合作，实现了基于贝尔非局域性的量子电路等价性检验。该工作于12月23日发表在国际知名期刊Physical Review Letters上。

量子电路模型是量子计算中广泛应用的理论模型。判断两个独立量子电路能否实现相同功能是一个基础性问题。类似于经典计算的电路等价性问题，量子电路等价性检验对于判断量子算法编译准确性和提升量子电路优化效率至关重要。此前，即使在量子电路内部结构已知的情况下，等价性检验仍被证明是QMA-hard问题。实际场景中，量子电路内部结构往往不可直接观察，使得该问题更具挑战性。

为解决上述难题，研究组提出了一种结合量子电路距离度量和贝尔非局域性的全新方案。该方案将待测量子电路插入标准贝尔测试中，通过测量其对非局域性的影响来度量不同待测电路之间的距离，最终完成等价性检验。该实验中，实验人员在8×8维的光子系统中构造了Hadamard门，Toffoli门组成的通用量子门集合，并利用其制备不同量子电路完成等价性检验。针对实验中量子噪声，研究团队构建了相应的噪声模型，实验数据与模型结果高度吻合。此外，为展示等价性检验在量子电路优化中的重要作用，研究组设计了两个门结构不同但功能等价的量子电路，实验结果表明其在等价性检验中距离为0。

该工作是国际上首次利用贝尔非局域性进行量子电路等价性检验的实验研究。值得注意的是，该协议所需量子电路运行次数与电路规模无关，展现出极高的实际应用潜力。

文章第一作者为中国科学院量子信息重点实验室博士研究生唐昊、特任副研究员郭钰以及清华大学交叉信息研究院博士生孙维孝。本研究得到合肥国家实验室、国家自然科学基金委、中国科学院、安徽省和北京市的支持。