中国科学院数学与系统科学研究院

数学研究所

数学科学全国重点实验室

学术报告

计算机科学研讨班

Speaker: 魏朝晖（清华大学）

Inviter: 尚云 研究员

Language: Chinese

Title: Equivalence Checking of Quantum Circuits by Nonlocality

Time&Venue: 2025年6月20日（星期五）10:00-11:00

&南楼N913

Abstract: The quantum circuit model is the most widely used theoretical model for quantum computing. Therefore, determining whether two quantum circuits whose internal structures cannot be seen have the same functionality will be a fundamental problem in future quantum industries, which however turns out to be QMA-hard. In this talk, we will introduce two quantum protocols for the equivalence checking of two unknown quantum circuits with real unitary matrix representations, where quantum nonlocality plays a key role and allows us to measure an “average-case” distance between the two quantum circuits very efficiently, even if their internal structures are unknown. We will show that these protocols enjoy the optimal performance. In addition, based on a photonic system we will also demonstrate their physical implementations, which constitute a proof of concept for the equivalence checking of quantum circuits.