| Faculty | Students | Collaborators |
| Prof. John Hayes | George Viamontes | Dr. Stephen Bullock |
| Prof. Igor Markov | Vivek Shende | |
| Prof. Yaoyun Shi | Smita Krishnaswamy | |
| Gabe Black | ||
| Mailing list: qcircuits@umich.edu (subscribe) | ||
DARPA Quad Chart, (.ppt)
Current Projects
Simulation of Quantum Circuits on Classical Computers
- G. F. Viamontes, I. L. Markov and J. P. Hayes, `` Is Quantum Search Practical?,'' Intl. Workshop on Logic and Synthesis, 2004, pp. 478-485.
- G. F. Viamontes, I. L. Markov and J. P. Hayes, `` Graph-based Simulation of Quantum Computation in the Density Matrix Representation,'' quant-ph/0403114
- G. F. Viamontes, I. L. Markov and J. P. Hayes, ``Improving Gate-Level Simulation of Quantum Circuits,'' Quantum Information Processing vol. 2(5), October 2003, pp. 347-380.
- G. F. Viamontes, M. Rajagopalan, I. L. Markov, J. P. Hayes, ``Gate-Level Simulation of Quantum Circuits,'' In Proc. of the Asia South Pacific Design Automation Conference, pp. 295-301, January 2003. (PDF) (PS)
- G. F. Viamontes, M. Rajagapolan, I. L. Markov and J. P. Hayes, `` High-Performance Simulation of Quantum Computation Using QuIDDs,'' 6th Intl. Conf. on Quantum Communication, Measurement and Computing (QCMC), July 2002.
Synthesis of Quantum and Classical Reversible Circuits
- V. V. Shende, S. S. Bullock, I. L. Markov, ``A Practical Top-down Approach to Quantum Circuit Synthesis,'' quant-ph/0406176.
- V. V. Shende and I. L. Markov, `` Quantum Circuits for Incompletely Specified Operators,'' quant-ph/0401162.
- V. V. Shende, S. S. Bullock, and I. L. Markov, ``Recognizing Small-circuit Structure in Two-qubit Operators,'' to APS Physical Review A, 70, 012310, July 2004.
- V. V. Shende, I. L. Markov, and S. S. Bullock, ``Minimal Universal Two-qubit Controlled-NOT-based Circuits,'' APS Physical Review A 69, 062321 June (2004).
- S. S. Bullock and I. L. Markov, ``Smaller Circuits for Arbitrary n-qubit Diagonal Computations,'' quant-ph/0303039 Quantum Information and Computation, vol. 4, no. 1, January 2004, pp. 27-47.
- S. S. Bullock and I. L. Markov, `` An Arbitrary Two-qubit Computation In 23 Elementary Gates,'' Proc. ACM/IEEE Design Automation Conf. (DAC), pp. 324-329, Anaheim, CA, June 2003 (BPA nominee). Journal version in APS Physical Review A (012318), vol. 68, no. 1, July 2003.
- K. N. Patel, I. L. Markov, J. P. Hayes, ``Efficient Synthesis of Linear Reversible Circuits,'' quant-ph/0302002.
- I. L. Markov, ``An Introduction to Reversible Circuits'', IWLS, Laguna Beach, CA, May 2003 (invited talk).
- V. V. Shende, A. K. Prasad, I. L. Markov and J. P. Hayes, ``Synthesis of Reversible Logic Circuits,'' IEEE Trans. on CAD 22, 710 (2003).
Modelling of Faults and Errors in Quantum Circuits
- K. N. Patel, J. P. Hayes and I. L. Markov, ``Fault Testing for Reversible Circuits,'' quant-ph/0404003
- J. P. Hayes, I. Polian and B. Becker, ``Testing for Missing-gate Faults in Reversible Circuits'', to appear in Proc. Asian Test Symposium, Taiwain, November 2004.