Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

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

By: Contributor(s): Material type: TextTextPublication details: London : Springer, 2009.Description: x, 190 p. : illustrations ; 24 cmISBN:
  • 9789048130641 (hbk.)
Subject(s): DDC classification:
  • 530.12 23 V613
Contents:
1. Introduction-- 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-- References-- Index.
Summary: Quantum Circuit Simulation covers the fundamentals of linear algebra and introduces basic concepts of quantum physics needed to understand quantum circuits and algorithms. It requires only basic familiarity with algebra, graph algorithms and computer engineering. After introducing necessary background, the authors describe key simulation techniques that have so far been scattered throughout the research literature in physics, computer science, and computer engineering. Quantum Circuit Simulation also illustrates the development of software for quantum simulation by example of the QuIDDPro package, which is freely available and can be used by students of quantum information as a "quantum calculator."
Tags from this library: No tags from this library for this title. Log in to add tags.

Includes bibliographical references and index.

1. Introduction--
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--
References--
Index.

Quantum Circuit Simulation covers the fundamentals of linear algebra and introduces basic concepts of quantum physics needed to understand quantum circuits and algorithms. It requires only basic familiarity with algebra, graph algorithms and computer engineering. After introducing necessary background, the authors describe key simulation techniques that have so far been scattered throughout the research literature in physics, computer science, and computer engineering. Quantum Circuit Simulation also illustrates the development of software for quantum simulation by example of the QuIDDPro package, which is freely available and can be used by students of quantum information as a "quantum calculator."

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in