A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
Suppose we want to implement a unitary U, for instance a circuit for some quantum algorithm. Suppose our actual implementation is a unitary U~, which we can only apply as a black-box. In general it is an exponentially-hard task to decide whether U~ equals the intended U, or is significantly different in a worst-case norm. In this paper we consider two special cases where relatively efficient and lightweight procedures exist for this task.First, we give an efficient procedure under thedoi:10.22331/q-2021-04-20-436 fatcat:fwwr57lhhrhg5mhn7453bk256a