Equivalence checking of quantum circuits by nonlocality

Weixiao Sun, Zhaohui Wei

Suppose two quantum circuit chips are located at different places, for which we do not have any prior knowledge, and cannot see the internal structures either. If we want to find o…