Quantum circuit simulation /
Viamontes, George F.
Quantum circuit simulation / George F. Viamontes, Igor Markov, John P. Hayes. - New York: Springer, 2009. - x, 190 p. : ill. ; 24 cm.
Includes bibliographical references (p. 181-186) and index.
1.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
9789048130641 9048130646
2009929020
GBA982734 bnb
015352944 Uk 20814726 bccb
Algebras, Linear.
Quantum theory.
TA347.L5 / V54 2009
530.12 V65Q
Quantum circuit simulation / George F. Viamontes, Igor Markov, John P. Hayes. - New York: Springer, 2009. - x, 190 p. : ill. ; 24 cm.
Includes bibliographical references (p. 181-186) and index.
1.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
9789048130641 9048130646
2009929020
GBA982734 bnb
015352944 Uk 20814726 bccb
Algebras, Linear.
Quantum theory.
TA347.L5 / V54 2009
530.12 V65Q