报告题目：
Equivalence Checking of Quantum Circuits by Nonlocality
报告时间：
2025年6月20日 10:00-11:00
报告地点：
中国科学院数学与系统科学研究院 南楼N913
报告人：
魏朝晖，清华大学
报告人简介：
魏朝晖，清华大学丘成桐数学科学中心助理教授，中国计算机学会量子计算专委委员。2009年于清华大学计算机系获得博士学位，后前往新加坡量子研究中心任Research Fellow，于2018年返回清华任教。长期从事量子计算领域的理论研究，主要研究兴趣包括量子计算复杂性，量子信息论，量子算法，量子纠错等，学术成果发表在包括IEEE Transactions on Information Theory, Mathematical Programming, Physical Review Letters等在内的学术期刊上。
报告简介：
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.