Exact Non-identity check is NQP-complete

Yu Tanaka

We define a problem "exact non-identity check": Given a classical description of a quantum circuit with an ancilla system, determine whether it is strictly equivalent to the identi…