Identity check problem for shallow quantum circuits

Sergey Bravyi, Natalie Parham, Minh Tran

Checking whether two quantum circuits are approximately equivalent is a common task in quantum computing. We consider a closely related identity check problem: given a quantum circ…