Quantum computations: algorithms and error correction

Contents §0. Introduction §1. Abelian problem on the stabilizer §2. Classical models of computations2.1. Boolean schemes and sequences of operations2.2. Reversible computations §3. Quantum formalism3.1. Basic notions and notation3.2. Transformations of mixed states3.3. Accuracy §4. Quantum models of computations4.1. Definitions and basic properties4.2. Construction of various operators from the elements of a basis4.3. Generalized quantum control and universal schemes §5. Measurement operators §6. Polynomial quantum algorithm for the stabilizer problem §7. Computations with perturbations: the choice of a model §8. Quantum codes (definitions and general properties)8.1. Basic notions and ideas8.2. One-to-one codes8.3. Many-to-one codes §9. Symplectic (additive) codes9.1. Algebraic preparation9.2. The basic construction9.3. Error correction procedure9.4. Torus codes §10. Error correction in the computation process: general principles10.1. Definitions and results10.2. Proofs §11. Error correction: concrete procedures11.1. The symplecto-classical case11.2. The case of a complete basis Bibliography

[1]  D. Gottesman.  Theory of fault-tolerant quantum computation , 1997, quant-ph/9702029.

[2]  E. Rains.  Quantum Weight Enumerators , 1996, IEEE Trans. Inf. Theory.

[3]  Daniel Gottesman,et al.  Stabilizer Codes and Quantum Error Correction , 1997, quant-ph/9705052.

[4]  R. H. Hardin,et al.  A nonadditive quantum code , 1997, quant-ph/9703002.

[5]  Raymond Laflamme,et al.  Quantum Analog of the MacWilliams Identities for Classical Coding Theory , 1997 .

[6]  M. Ben-Or,et al.  Fault-tolerant quantum computation with constant error , 1996, STOC '97.

[7]  A. Calderbank,et al.  Quantum Error Correction and Orthogonal Geometry , 1996, quant-ph/9605005.

[8]  E. Knill,et al.  Theory of quantum error-correcting codes , 1996, quant-ph/9604034.

[9]  S. Lloyd.  Capacity of the noisy quantum channel , 1996, quant-ph/9604015.

[10]  A. Kitaev.  Quantum Error Correction with Imperfect Gates , 1997 .

[11]  E. Knill,et al.  Threshold Accuracy for Quantum Computation , 1996, quant-ph/9610011.

[12]  D. Grigoriev,et al.  Testing the shift-equivalence of polynomials using quantum machines , 1996 .

[13]  E. Knill,et al.  Concatenated Quantum Codes , 1996, quant-ph/9608012.

[14]  Peter W. Shor,et al.  Fault-tolerant quantum computation , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[15]  J. Smolin,et al.  PERFECT QUANTUM-ERROR-CORRECTION CODING IN 24 LASER PULSES , 1996, quant-ph/9604036.

[16]  Gottesman,et al.  Class of quantum error-correcting codes saturating the quantum Hamming bound. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[17]  Charles H. Bennett,et al.  Mixed-state entanglement and quantum error correction. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[18]  B. Schumacher.  Sending quantum entanglement through noisy channels , 1996, quant-ph/9604023.

[19]  Schumacher,et al.  Quantum data processing and error correction. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[20]  P. Shor,et al.  Quantum Error-Correcting Codes Need Not Completely Reveal the Error Syndrome , 1996, quant-ph/9604006.

[21]  Vaidman,et al.  Error prevention scheme with four particles. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[22]  C. Macchiavello,et al.  Error Correction in Quantum Communication , 1996, quant-ph/9602022.

[23]  Laflamme,et al.  Perfect Quantum Error Correction Code , 1996, quant-ph/9602019.

[24]  A. Steane.  Multiple-particle interference and quantum error correction , 1996, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[25]  Shor,et al.  Good quantum error-correcting codes exist. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[26]  Charles H. Bennett,et al.  Purification of noisy entanglement and faithful teleportation via noisy channels. , 1995, Physical review letters.

[27]  Alexei Y. Kitaev,et al.  Quantum measurements and the Abelian Stabilizer Problem , 1995, Electron. Colloquium Comput. Complex..

[28]  E. Knill,et al.  Accuracy threshold for quantum computation , 1996 .

[29]  Hood,et al.  Measurement of conditional phase shifts for quantum logic. , 1995, Physical review letters.

[30]  King,et al.  Demonstration of a fundamental quantum logic gate. , 1995, Physical review letters.

[31]  Shor,et al.  Scheme for reducing decoherence in quantum computer memory. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[32]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[33]  Daniel R. Simon,et al.  On the power of quantum computation , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[34]  Peter W. Shor,et al.  Algorithms for Quantum Computation: Discrete Log and Factoring (Extended Abstract) , 1994, FOCS 1994.

[35]  Andrew Chi-Chih Yao,et al.  Quantum Circuit Complexity , 1993, FOCS.

[36]  Umesh V. Vazirani,et al.  Quantum complexity theory , 1993, STOC.

[37]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[38]  D. Deutsch.  Quantum computational networks , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[39]  Pérès,et al.  Reversible logic and quantum computers. , 1985, Physical review. A, General physics.

[40]  D. Deutsch.  Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[41]  P. Benioff.  Quantum mechanical hamiltonian models of turing machines , 1982 .

[42]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[43]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[44]  Whitfield Diffie,et al.  New Directions in Cryptography , 1976, IEEE Trans. Inf. Theory.

[45]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[46]  R. Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..