Checking equivalence of quantum circuits and states

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

Volumn , Issue , 2007, Pages 69-74

  Viamontes, George F ^a   Markov, Igor L ^b   Hayes, John P ^b  

^a LOCKHEED MARTIN   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER-AIDED DESIGN; INTERNATIONAL CONFERENCES; LOW POWERS; POST-CMOS; QUANTUM CIRCUITS; QUANTUM COMMUNICATION; QUANTUM COMPUTING; QUANTUM STATES; SIMULATION AND OPTIMIZATION; SMALL SIZE; SPEED-UPS;

CHLORINE COMPOUNDS; COMMUNICATION; COMPLEXATION; DESIGN; LOGIC CIRCUITS; OPTIMIZATION; QUANTUM CHEMISTRY; QUANTUM COMPUTERS; QUANTUM OPTICS; QUANTUM THEORY;

EQUIVALENT CIRCUITS;

EID: 50249160164     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCAD.2007.4397246     Document Type: Conference Paper

References (24)

1. M. H. S. Amin et al., "Superconducting quantum storage and processing," Digest ISSCC, pp. 296-299, Feb. 2004.
2. R. I. Bahar et al., "Algebraic decision diagrams and their applications," Journal of Formal Methods in System Design, 10 (2/3), 1997.
3. A. Barenco et al., "Elementary gates for quantum computation," Phys. Rev. A, 52, 3457-3467, 1995.
4. C. H. Bennett and G. Brassard. "Quantum cryptography: public key distribution and coin tossing", In Proc. of IEEE Intl. Conf. on Computers, Systems, and Signal Processing, pp. 175-179, 1984.
5. C.H. Bennett, "Quantum cryptography using any two nonorthogonal states", Phys. Rev. Lett. 68, 3121, 1992.
6. G. P. Berman, G. V. López, and V. I. Tsifrinovich, "Teleportation in a nuclear spin quantum computer," Phys. Rev. A 66, 042312, 2002.
7. R. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. on Computers, C35, pp. 677-691, 1986.
8. S. A. Cuccaro, T. G. Draper, S. A. Kutin, and D. P. Moulton, "A new quantum ripple-carry addition circuit," quant-ph/0410184, 2004.
9. D. Gottesman, "The Heisenberg representation of quantum computers," Plenary speech at the 1998 International Conference on Group Theoretic Methods in Physics, quant-ph/9807006, 1998.
10. L. Grover, "Quantum mechanics helps in searching for a needle in a haystack," Phys. Rev. Lett. 79, 325, 1997.
11. A. J. G. Hey, ed., Feynman and Computation: Exploring the Limits of Computers, Perseus Books, 1999.
12. D. Maslov, S. M. Falconer, and M. Mosca, "Quantum Circuit Placement: Optimizing Qubit-to-qubit Interactions through Mapping Quantum Circuits into a Physical Experiment," Proc. DAC, pp. 962-965, June 2007.
13. M. A. Nielsen, I. L. Chuang, Quantum Computation and Quantum Information, Cambridge Univ. Press, 2000.
14. A. K. Prasad, V. V. Shende, K. N. Patel. I. L. Markov, and J. P. Hayes, "Algorithms and data structures for simplifying reversible circuits", to appear in ACM J. of Emerging Technologies in Computing, 2007.
15. V. V. Shende, S. S. Bullock, and I. L. Markov, "Synthesis of quantum logic circuits," IEEE Trans. on CAD 25, pp. 1000-1010, 2006.
16. V. V. Shende and I. L. Markov. "Quantum circuits for in-completely specified two-qubit operators," Quantum Information and Computation 5(1), pp. 49-57, 2005.
17. P. W. Shor, "Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer," SIAM J. of Computing 26, p. 1484, 1997.
18. G. Song and A. Klappenecker, "Optimal realizations of simplified Toffoli gates," Quantum Information and Computation 4, pp. 361-372, 2004.
19. R. T. Stanion, D. Bhattacharya, and C. Sechen, "An efficient method for generating exhaustive test sets," IEEE Trans. on CAD 14, pp. 1516-1525. 1995.
20. R. Van Meter and K. M. Itoh, "Fast quantum modular exponentiation," Phys. Rev. A 71, 052320, 2005.
21. G. F. Viamontes, I. L. Markov, and J. P. Hayes, "Graph-based simulation of quantum computation in the density matrix representation," Quantum Information and Computation 5 (2), pp. 113-130, 2005.
22. G. F. Viamontes, 1. L. Markov, and J. P. Hayes, "Improving gate-level simulation of quantum circuits," Quantum Information Processing 2, pp. 347-380, 2003.
23. G. Vidal, "Efficient classical simulation of slightly entangled quantum computations," Phys. Rev. Lett. 91, 147902, 2003.
24. J. Yepez, "A quantum lattice-gas model for computational fluid dynamics," Phys, Rev. E 63, 046702, 2001.