Speaker: 魏朝晖，清华大学

Inviter: 尚云研究员

Title: Equivalence Checking of Quantum Circuits by Nonlocality

Language: Chinese

Time & Venue: 2025.06.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.