We define the problem “identity check”: Given a classical description of a quantum circuit, determine whether it is almost equivalent to the identity. Explicitly, the task is to decide whether the corresponding unitary is close to a complex multiple of the identity matrix with respect to the operator norm. We show that this problem is QMA-complete. A generalization of this problem is “equivalence check”: Given two descriptions of quantum circuits and a description of a common invariant subspace, decide whether the restrictions of the circuits to this subspace almost coincide. We show that equivalence check is also in QMA and hence QMA-complete.
[1]
Steane,et al.
Error Correcting Codes in Quantum Theory.
,
1996,
Physical review letters.
[2]
Julia Kempe,et al.
3-local Hamitonian is QMA-complete
,
2003
.
[3]
R. Cleve,et al.
Quantum algorithms revisited
,
1997,
Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.
[4]
P. Zanardi,et al.
Noiseless Quantum Codes
,
1997,
quant-ph/9705044.
[5]
Lorenza Viola,et al.
Implementation of universal control on a decoherence-free qubit
,
2002
.