Checking Equivalence of Quantum Circuits and States
| Autor: | Viamontes, George F., Markov, Igor L., Hayes, John P. |
|---|---|
| Rok vydání: | 2007 |
| Předmět: | |
| Zdroj: | Proc. Int'l Conf. on Computer-Aided Design (ICCAD), pp. 69-74, San Jose, CA, November 2007. |
| Druh dokumentu: | Working Paper |
| Popis: | Quantum computing promises exponential speed-ups for important simulation and optimization problems. It also poses new CAD problems that are similar to, but more challenging, than the related problems in classical (non-quantum) CAD, such as determining if two states or circuits are functionally equivalent. While differences in classical states are easy to detect, quantum states, which are represented by complex-valued vectors, exhibit subtle differences leading to several notions of equivalence. This provides flexibility in optimizing quantum circuits, but leads to difficult new equivalence-checking issues for simulation and synthesis. We identify several different equivalence-checking problems and present algorithms for practical benchmarks, including quantum communication and search circuits, which are shown to be very fast and robust for hundreds of qubits. Comment: 9 pages, 13 figures, 3 tables |
| Databáze: | arXiv |
| Externí odkaz: |
|