Image from Google Jackets

Quantum circuit simulation / George F. Viamontes, Igor Markov, John P. Hayes.

By: Contributor(s): Publication details: New York: Springer, 2009.Description: x, 190 p. : ill. ; 24 cmISBN:
  • 9789048130641
  • 9048130646
Subject(s): DDC classification:
  • 23 530.12 V65Q
LOC classification:
  • TA347.L5 V54 2009
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Books Books Central Library, IISER Bhopal On Display Reference 530.12 V65Q (Browse shelf(Opens below)) Not For Loan Title recommended by Dr Ankur Raina 12538
Books Books Central Library, IISER Bhopal General Section 530.12 V65Q (Browse shelf(Opens below)) Available 12539

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

There are no comments on this title.

to post a comment.


Contact for Queries: skpathak@iiserb.ac.in