Quantum circuit simulation

Quantum Circuit Simulation

Volumn , Issue , 2009, Pages 1-190

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

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84889793785     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-90-481-3065-8     Document Type: Book

References (113)

1. Aaronson S, Gottesman D (2004) "Improved Simulation of Stabilizer Circuits", Phys Rev A 70:052328
2. Aaronson S (2003) "The CHP simulator", http://www. scottaaronson.com/chp
3. Abdollahi A, Pedram M (2006) "Analysis and Synthesis of Quantum Circuits by Using Quantum Decision Diagrams", In Proc. of Design, Automation, and Test in Europe 317-322
4. Aharonov D, Landau Z, Makowsky J (2006) "The Quantum FFT can be Classically Simulated", quant-ph/0611156
5. Anders S, Briegel HJ (2006) "Fast Simulation of Stabilizer Circuits Using a Graph State Representation", Phys Rev A 73:022334
6. Bahar RI, et al. (1997) "Algebraic Decision Diagrams and their Applications", J of Formal Methods in System Design 10 (2/3):171-206
7. Barenco A, et al. (1995) "Elementary Gates for Quantum Computation", Phys Rev A 52:3457-3467
8. Bennett CH (1992) "Quantum Cryptography Using Any Two Nonorthogonal States", Phys Rev Lett 68:3121-3124
9. Bennett CH, Brassard G (1984) "Quantum Cryptography: Public Key Distribution and Coin Tossing", In Proc. of IEEE Intl. Conf. on Computers, Systems, and Signal Processing 175-179
10. Bennett CH, Brassard G, Cŕepeau C, Jozsa R, Peres A, Wootters WK (1993) "Teleporting an Unknown Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels", Phys Rev Lett 70:1895
11. Berman GP, Doolen GD, Ĺopez GV, Tsifrinovich VI (2000) "Simulations of Quantum-logic Operations in a Quantum Computer with a Large Number of Qubits", Phys Rev A 61:062305
12. Berman GP, et al. (2003) "Analytic Solutions for Quantum Logic Gates and Modeling Pulse Errors in a Quantum Computer with a Heisenberg Interaction", International J of Quantum Information 2(2):171-182
13. Berman GP, Ĺopez GV, Tsifrinovich VI (2002) "Teleportation in a Nuclear Spin Quantum Computer", Phys Rev A 66:042312
14. Black PE, et al. (2003) "Quantum Compiling and Simulation", http://hissa.nist.gov/~black/Quantum
15. Blondel VD, Jeandel E, Koiran P, Portier N (2005) "Decidable and Undecidable Problems about Quantum Automata", SIAM Journal on Computing 34:1464-1473
16. Boghosian BM, Taylor W (1998) "Simulating Quantum Mechanics on a Quantum Computer", Physica D 120:30-42
17. Boyer M, Brassard G, Hoeyer P, Tapp A (1998) "Tight Bounds on Quantum Searching", Fortsch Phys 46:493-506
18. Brennen GK (2002) "Distant Entanglement with Nearest Neighbor Interactions", quant-ph/0206199
19. Briegel HJ, Raussendorf R (2001) "Persistent Entanglement in Arrays of Interacting Particles", Phys Rev Lett 86:910-913
20. Bryant R (1986) "Graph-based Algorithms for Boolean Function Manipulation", IEEE Trans on Computers C35:677-691
21. Butscher B, Weimer H (2003) "Libquantum: the C Library for Quantum Computing", http://www.enyo.de/libquantum
22. Celardo GL, Pineda C, Znidaric M (2003) "Stability of Quantum Fourier Transformation on Ising Quantum Computer", quant-ph/0310163
23. Chiaverini J, et al (2004) "Realization of Quantum Error Correction", Nature 432:602-605
24. Childs AM, Haselgrove HL, Nielsen MA (2003) "Lower Bounds on the Complexity of Simulating Quantum Gates", Phys Rev A 68:052311
25. Clarke E, et al. (1996) "Multi-terminal Binary Decision Diagrams and Hybrid Decision Diagrams", In: Sasao T, Fujita M (eds) Representations of discrete functions. Kluwer Academic Publishers, Norwell Dordrecht
26. Clarke E, Fujita M, McGeer PC, McMillan K, Yang J (1993) "Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation", Intl Workshop on Logic and Synthesis 1-15
27. CNET News (2003) "Start-up Makes Quantum Leap in Cryptography"
28. Cuccaro SA, Draper TG, Kutin SA, Moulton DP (2004) "A New Quantum Ripple-carry Addition Circuit", quant-ph/0410184
29. Draper TG, Kutin SA, Rains EM, Svore KM (2004) "A Logarithmic-depth Quantum Carry-lookahead Adder" quant-ph/0406142
30. Ekert A, Knight PL (1995) "Entangled Quantum Systems and the Schmidt Decomposition", Am J Phys 63(5):415-423
31. Ekert AK (1991) "Quantum Cryptography Based on Bell's Theorem", Phys Rev Lett 67:661-663
32. Fortnow L, Rogers J., "Complexity Limitations on Quantum Computation", Journal of Computer and System Sciences (1999), 59(2):240-252
33. Fowler AG, Devitt SJ, Hollenberg L C L (2004) "Implementation of Shor's Algorithm on a Linear Nearest Neighbour Qubit Array", Quantum Information and Computation 4:237-251
34. Fowler AG, Hill CD, Hollenberg L C L (2004) "Quantum-error Correction on Linear-nearest-neighbor Qubit Arrays", Phys Rev A 69:042314
35. GNU MP (GMP): Arithmetic Without Limitations. http://www.swox.com/gmp
36. Gottesman D (1998) "The Heisenberg Representation of Quantum Computers", Plenary speech at the 1998 Intl Conf on Group Theoretic Methods in Physics quant-ph/9807006
37. Greve D (1999) "QDD: a Quantum Computer Emulation Library", http://thegreves.com/david/QDD/qdd.html
38. Grover L (1997) "Quantum Mechanics Helps In Searching For A Needle In A Haystack", Phys Rev Lett 79:325-328
39. Hachtel GD, Somenzi F (2006) "Logic Synthesis and Verification Algorithms", Springer
40. Hayes JP (1993) "Introduction to Digital Logic Design", Addison-Wesley
41. Hey A J G (ed) (2002) "Feynman and Computation: Exploring the Limits of Computers", Westview Press, Boulder Cumnor Hill
42. Jaroszkiewicz G (2004) "Quantum Register Physics", quant-ph/0409094
43. Jozsa R (2006) "On the Simulation of Quantum Circuits", quant-ph/0603163
44. Jozsa R, Linden N (2002) "On the Role of Entanglement in Quantum Computational Speed-up", quant-ph/0201143
45. Khodjasteh K, Lidar DA (2005) "Fault-tolerant Quantum Dynamical Decoupling", Phys Rev Lett 95:180501
46. Kielpinski D, Meyer V, Rowe MA, Sackett CA, Itano WM, Monroe C, Wineland DJ (2001) "A Decoherence-free Quantum Memory Using Trapped Ions", Science 291:1013-1015
47. Kielpinski D, Monroe C, Wineland DJ (2002) "Architecture for a Large-scale Ion-trap Quantum Computer", Nature 417:709-711
48. Kitaev AY (1997) "Quantum Computations: Algorithms and Error Correction", Russ Math Surv 52(6):1191-1249
49. Kitaev AY, Shen AH, Vyalyi MN (2002) "Classical and Quantum Computation", American Mathematical Society, Graduate Studies in Mathematics, Providence
50. Ladd TD, Goldman JR, Yamaguchi F, Yamamoto Y (2002) "All-silicon Quantum Computer", Phys Rev A 89:017901
51. Lee CY (1959) "Representation of Switching Circuits by Binary Decision Diagrams", Bell System Tech J 38:985-999
52. Lidar DA, Wu LA (2003) "Quantum Computers and Decoherence: Exorcising the Demon from the Machine", quant-ph/0302198
53. Lloyd S (1996) "Universal Quantum Simulators", Science 273:1073-1078
54. Lu CY, Browne DE, Yang T, Pan JW (2007) "Demonstration of Shor's Quantum Factoring Algorithm Using Photonic Qubits", arXiv:0705.1684
55. Markov IL, Shi Y (2008) "Simulating Quantum Computation by Contracting Tensor Networks", SIAM Journal on Computing 38(3):963-981
56. Maslov D, Dueck G, Scott N "Reversible Logic Synthesis Benchmarks Page", tt http://www.cs.uvic.ca/~dmaslov
57. Metodiev T, Cross A, Thaker D, Brown K, Copsey D, Chong FT, Chuang IL (2004) "Preliminary Results on Simulating a Scalable Fault-tolerant Ion-trap System For Quantum Computation", In Proc. of 3rd Workshop on Non-Silicon Computing
58. Miller DM, Thornton MA (2006) "QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits", In Proc. of IEEE Intl. Symp. on Multiple-Valued Logic 30-35
59. Monroe C (2002) "Quantum Information Processing with Atoms and Photons", Nature 416:238-246
60. Moore C, Crutchfield J (2000) "Quantum Automata and Quantum Grammars", Theoretical Computer Science 237:275-306
61. Nielsen MA, Chuang IL (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge
62. Obenland KM, Despain AM (1998) "A Parallel Quantum Computer Simulator", High Performance Computing
63. ̈Omer B QCL - a programming language for quantum computers http://tph.tuwien. ac.at/~oemer/qcl.html
64. Open Qubit Quantum Computing. lso arXiv:quant-ph/9804039v1. http://www.ennui.net/~quantum
65. D. Perez-Garcia, F. Verstraete, J. I. Cirac, M. M. Wolf (2008) "PEPS as Unique Ground States of Local Hamiltonians", Quant. Inf. Comp. 8, 0650-0663
66. Petrosyan D, Kurizki G (2002) "Scalable Solid-state Quantum Processor Using Subradiant Two-atom States", Phys Rev Lett 89:207902
67. Prasad AK, Shende VV, Patel KN, Markov IL, Hayes JP (2006) "Data Structures and Algorithms for Simplifying Reversible Circuits", ACM J. of Emerging Technologies in Computing 2(4):277-293
68. Protopopescu V, Perez R, D'Helon C, Schmulen J (2003) "Robust Control of Decoherence in Realistic One-qubit Quantum Gates", J Phys A: Math Gen 36:2175-2189
69. Stick D, Sterk JD, Monroe C (2007) "The Trap Technique", IEEE Spectrum 44(8):36-43
70. QuIDDPro: high-performance quantum circuit simulation. http://vlsicad.eecs.umich.edu/Quantum/qp
71. Ramalingam A, Nam GJ, Singh AK, Orshansky M, Nassif SR, Pan DZ (2006) "An Accurate Sparse Matrix Based Framework for Statistical Static Timing Analysis In Proc of Intl Conf on Computer-Aided Design 231-236
72. Sapatnekar S (2004) "Timing" 1st ed. Kluwer Academic Publishers, Norwell
73. Sasao T, Fujita M (eds) (1996) "Representations of discrete functions", Kluwer Academic Publishers, Norwell Dordrecht
74. Shankar R (1994) "Principles of Quantum Mechanics" 2nd ed. Springer Science+ Business Media, New York
75. Shende VV, Bullock SS, Markov IL (2004) "Recognizing Small-circuit Structure in Two-qubit Operators", Phys Rev A 70:012310
76. Shende VV, Bullock SS, Markov IL (2006) "Synthesis of Quantum Logic Circuits", IEEE Trans on Computer-Aided Design 25:1000-1010
77. Shende VV, Markov IL (2005) "Quantum Circuits for Incompletely Specified Two-qubit Operators", Quantum Information and Computation 5(1):49-57
78. Shende VV, Markov IL (2009) "On the CNOT-cost of TOFFOLI gates", Quantum Information and Computation, 9 (5-6):461-486
79. Shende VV, Prasad AK, Markov IL, Hayes JP (2003) "Synthesis of Reversible Logic Circuits", IEEE Trans on Computer-Aided Design 22(6):710-722
80. Shi Y (2003) "Both Toffoli and Controlled-NOT Need Little Help to do Universal Quantum Computation", Quantum Information and Computation, 3(1):84-92
81. Shi Y, Duan L, Vidal G (2006) "Classical Simulation of Quantum Many-body Systems with a Tree Tensor Network", Phys Rev A 74:022320
82. Shor PW (1997) "Polynomial-time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer", SIAM J of Computing 26:1484-1509
83. Somenzi F (1998) CUDD: CU decision diagram package. http://vlsi.colorado. edu/~fabio/CUDD/cuddIntro.html
84. Song G, Klappenecker A (2004) "Optimal Realizations of Simplified Toffoli Gates", Quantum Information and Computation 4:361-372
85. SPICE: Simulation Program with Integrated Circuit Emphasis. http://en. wikipedia.org/wiki/SPICE
86. Stanion RT, Bhattacharya D, Sechen C (1995) "An Efficient Method for Generating Exhaustive Test Sets", IEEE Trans on Computer-Aided Design 14:1516-1525
87. Steane AM (1996) "Error-correcting Codes in Quantum Theory", Phys Rev Lett 77:793
88. Steane AM (2001) "Quantum Computing and Error Correction", In: Gonis T, Turchi PEA (eds) Decoherence and its implications in quantum computation and information transfer. IOS Press, Amsterdam
89. Strang G (2005) Linear Algebra and Its Applications 4th ed. Brooks Cole
90. Tian L, Zoller P (2003) "Quantum Computing with Atomic Josephson Junction Arrays", quant-ph/0306085
91. Valiant LG (2001) "Quantum Computers that Can be Simulated Classically in Polynomial Time", In Proc of ACM Symp on Theory of Computing 114-123
92. Van Meter R, Itoh KM (2005) "Fast Quantum Modular Exponentiation", Phys Rev A 71:052320
93. Vedral V, Barenco A, Ekert A (1996) "Quantum Networks for Elementary Arithmetic Operations", Phys Rev A 54:147-153
94. Veldhuizen T (1998) "Blitz", In Proc 2nd Intl Symp on Computing in OO Parallel Environments http://www.oonumerics.org/blitz
95. Viamontes GF, Markov IL, Hayes JP (2005) "Graph-based Simulation of Quantum Computation in the Density-matrix Representation", Quantum Information and Computation 5(2):113-130
96. Viamontes GF, Markov IL, Hayes JP (2005) "Is Quantum Search Practical?" Computing in Science and Engineering 7(4):22-30
97. Viamontes GF, Markov IL, Hayes JP (2004) "Graph-based Simulation of Quantum Computation in the Density Matrix Representation", In Proc of SPIE 5436:285-296
98. Viamontes GF, Markov IL, Hayes JP (2004) "High-performance QuIDD-based Simulation of Quantum Circuits", In Proc of the Design, Automation and Test in Europe Conference 2:1354-1355
99. Viamontes GF, Markov IL, Hayes JP (2003) "Improving Gate-level Simulation of Quantum Circuits", Quantum Information Processing 2(5):347-380
100. Viamontes GF, Markov IL, Hayes JP (2007) "Checking Equivalence of Quantum Circuits and States", In Proc of Intl Conf on Computer-Aided Design 69-74
101. Viamontes GF, Rajagopolan M, Markov IL, Hayes JP (2003) "Gate-level Simulation of Quantum Circuits", In Proc of the Asia South Pacific Design Automation Conf 295-301
102. Viamontes GF, Rajagopalan M, Markov IL, Hayes JP (2002) "Gate-Level Simulation of Quantum Circuits", In Proc of the 6th Intl Conference on Quantum Communication, Measurement, and Computing 311-314
103. Vandersypen L M K, Steffen M, Breyta G, Yannoni CS, Sherwood MH, Chuang IL (2001) "Experimental Realization of Shor's Quantum Factoring Algorithm Using Nuclear Magnetic Resonance", Nature 414:883-887
104. Vandersypen L (2007) "Dot-to-Dot Design", IEEE Spectrum 44(9):42-47
105. Verstraete F, Garcia-Ripoll JJ, Cirac JI (2004) "Matrix Product Density Operators: Simulation of finite-T and dissipative systems", Phys Rev Lett, 93:207204
106. Vidal G (2003) "Efficient Classical Simulation of Slightly Entangled Quantum Computations", Phys Rev Lett 91:147902
107. Vidal G (2004) "Efficient Simulation of One-dimensional Quantum Many-Body Systems", Phys Rev Lett 93:040502
108. Viola L, Knill E, Lloyd S (1999) "Dynamical Decoupling of Open Quantum Systems", Phys Rev Lett 82:2417-2421
109. Viola L, Lloyd S (1998) "Dynamical Suppression of Decoherence in Two-state Quantum Systems", Phys Rev A 58:2733-2744
110. Viola L, Lloyd S, Knill E (1999) "Universal Control of Decoupled Quantum Systems", Phys Rev Lett 83:4888
111. Vrijen R, et al (2000) "Electron-spin-resonance Transistors for Quantum Computing in Silicon-germanium Heterostructures", Phys Rev A 62:012306
112. Yoran N, Short AJ (2007) "Efficient Classical Simulation of the Approximate Quantum Fourier Transform", Phys Rev A 76:043221
113. Zwolak M, Vidal G (2004) "Mixed-state Dynamics in One-dimensional Quantum Lattice Systems: a Time-dependent Super-operator Renormalization algorithm", Phys Rev Lett 93:207205