{"id":"arxiv/2601.22372","url":"https://arxiv.org/abs/2601.22372","tags":["quant-ph"],"score":0,"title":"Manjushri: A Tool for Equivalence Checking of Quantum Circuits","domain":"quant-ph","source":"arxiv","authors":["Xuan Du Trinh","Meghana Sistla","Nengkun Yu","Thomas Reps"],"reviews":0,"subject":"quant-ph","summary":"Verifying whether two quantum circuits are equivalent is a central challenge in the compilation and optimization of quantum programs. We introduce \\textsc{Manjushri}, a new automated framework for scalable quantum-circuit equivalence checking. \\textsc{Manjushri} uses local projections as discriminative circuit fingerprints, implemented with weighted binary decision diagrams (WBDDs), yielding a compact and efficient symbolic representation of quantum behavior. We present an extensive experimental evaluation that, for random 1D Clifford+$T$ circuits, explores the trade-off between…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-01-29","reactions":{}}