Self-testing of Quantum Circuits
We prove that a quantum circuit together with measurement apparatuses and EPR sources can be self-tested, i.e. fully verified without any reference to some trusted set of quantum devices.
To achieve our goal we define the notions of simulation and equivalence. Using these two concepts, we construct sets of simulation conditions which imply that the physical device of interest is equivalent to the one it is supposed to implement. Another benefit of our formalism is that our statements can be proved to be robust.
Finally, we design a test for quantum circuits whose complexity is polynomial in the number of gates and qubits, and the required precision.
Unable to display preview. Download preview PDF.
- 3.Mayers, D., Yao, A.: Quantum cryptography with imperfect apparatus. In: Proceedings of 39th IEEE FOCS, pp. 503–509 (1998)Google Scholar
- 4.Dam, W., Magniez, F., Mosca, M., Santha, M.: Self-testing of universal and fault-tolerant sets of quantum gates. In: Proc. of 32nd ACM STOC, pp. 688–696 (2000)Google Scholar
- 5.Buhrman, H., Fortnow, L., Newman, I., Röhrig, H.: Quantum property testing. In: Proc. of 14th ACM-SIAM SODA, pp. 480–488 (2003)Google Scholar
- 7.Rudolph, T., Grover, L.: A 2–rebit gate universal for quantum computing (2002)Google Scholar