000			03081cam a22004097a 4500
001			15744687
003			OSt
005			20251111124910.0
008			090520s2009 ne a b 001 0 eng d
010			_a 2009929020
015			_aGBA982734 _2bnb
016	7		_a015352944 _2Uk
016	7		_a20814726 _2bccb
020			_a9789048130641 _qhbk.
020			_a9048130646 _qhbk.
035			_a15744687
035			_a(OCoLC)428029966
040			_aUKM _beng _cIISERB
042			_alccopycat
050	0	0	_aTA347.L5 _bV54 2009
082			_223 _a530.12 V65Q
100	1		_aViamontes, George F. _933230
245	1	0	_aQuantum circuit simulation / _cGeorge F. Viamontes, Igor Markov, John P. Hayes.
260			_aNew York: _bSpringer, _c2009.
300			_ax, 190 p. : _bill. ; _c24 cm.
504			_aIncludes bibliographical references (p. 181-186) and index.
505	0		_a1.1 Quantum Circuits. -- 1.2 Quantum Simulation. -- 2 Gate Modeling and Circuit Simulation. -- 2.1 Classical Digital Circuits. -- 2.2 Simulation with Binary Decision Diagrams. -- 2.3 Sequential Circuits and Synchronization. -- 3 Linear Algebra and Quantum Mechanics. -- 3.1 Linear Algebra. -- 3.2 Quantum Mechanics. -- 4 Quantum Information Processing. -- 4.1 Quantum Gates. -- 4.2 Quantum Circuits. -- 4.3 Synchronization of Quantum Circuits. -- 4.4 Sample Algorithms. -- 5 Special Case: Simulating Stabilizer Circuits. -- 5.1 Basics of a Quantum Circuit Simulator. -- 5.2 Stabilizer States, Gates and Circuits. -- 5.3 Data structures. -- 5.4 Algorithms. -- 6 Generic Circuit Simulation Techniques. -- 6.1 Qubit-wise Multiplication. -- 6.2 P-blocked Simulation. -- 6.3 Tensor Networks. -- 6.4 Slightly-entangled Simulation. -- 7 State-Vector Simulation with Decision Diagrams. -- 7.1 Quantum Information Decision Diagrams. -- 7.2 Scalability of QuIDD-based Simulation. -- 7.3 Empirical Validation. -- 7.4 Related Decision Diagrams. -- 8 Density-Matrix Simulation with QuIDDs. -- 8.1 QuIDD Properties and Density Matrices. -- 8.2 QuIDD-based Outer Product. -- 8.3 QuIDD-based Partial Trace. -- 8.4 Empirical Validation. -- 9 Checking Equivalence of States and Circuits. -- 9.1 Quantum Equivalence Checking. -- 9.2 Global-Phase Equivalence. -- 9.3 Relative-Phase Equivalence. -- 9.4 Empirical Validation. -- 10 Improving QuIDD-based Simulation. -- 10.1 Gate Algorithms. -- 10.2 Dynamic Tensor Products and Partial Tracing. -- 10.3 Empirical Validation. -- A QuIDDPro Simulator. -- A.1 Running the Simulator. -- A.2 Functions and Code in Multiple Files. -- A.3 Language Reference. -- B QuIDDPro Examples. -- B.1 Well-known Quantum States. -- B.2 Grover's Search Algorithm. -- B.3 Shor's Integer Factoring Algorithm
650		0	_aAlgebras, Linear. _933231
650		0	_aQuantum theory. _933232
700	1		_aMarkov, Igor L. _933233
700	1		_aHayes, John P. _933234
906			_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg
942			_2ddc _cBK
999			_c11170 _d11170