1. Introduction to Quantum Error Correction & Fault-Tolerant Quantum Logic
Cherrie Huang
05/05/04

2. Why Quantum Error Correction?[6]
Cause: circuit interacts with the surroundings
decoherence
decay of the quantum information stored in the device
Solution: Quantum Error Correcting Codes
protect quantum information against errors.
perform operations fault-tolerantly on encoded states.
05/05/04

3. Major Difficulties [9]
1. No cloning theorem: impossible to duplicate an arbitrary unknown qubit
Solution: Fight Entanglement with entanglement(encode the information that we want to protect in entanglement).
impossible
possible
Explain why “no cloning” is important in this context
05/05/04

4. Major Difficulties [9]
2. Errors are continuous: continuous errorsrequires infinite resources and infinite precision
Solution: Digitalize the errors that circuit makes.
3. Measurement destroys quantum information : recovery is impossible if quantum information state is destroyed.
Solution: Measure the errors without measuring the data.
05/05/04

5. Central Idea of QEC
A small subspace of the Hilbert space of the device is designated as the code subspace.
This space is carefully chosen so that all of the errors that we want to correct move the code space to mutually orthogonal error subspaces.
We can make a measurement after our system has interacted with the environment that tells us in which of these mutually orthogonal spaces the system resides, and hence infer exactly what type of error occurred.
The error can then be repaired by applying an appropriate unitary transformation.
05/05/04

6. Key Ideas of QEC Encode the message with redundant information
Redundancy in the encoded message allows to recover the information in the original message.
Measure the errors, not the data.
05/05/04

7. General Model of QEC [1] Deal with errors: Error detection
Error correction
Errors also in encoding and recovery (they are themselves complex quantum computations) But, fault-tolerant recovery possible if error rate is not high (Peter Shor, 1996).
Problems to store an unknown quantum state with high fidelity for an indefinitely long time and problems to do quantum computationBut, possible if error rate is below threshold (Manny Knill and Raymond Laflamme, 1996).
05/05/04

8. Application of what? Storage: CDs, DVDs, “hard drives”
Wireless: Cell phones, wireless links
Satelite and Space: TV, Mars rover
Digital Television: DVD, MPEGS layover
High Speed Modems: ADSL, DSL
05/05/04

9. Classical Error Correction
Hierarchy
linear
cyclic
BCH
Bose-Chaudhuri-Hochquenghem
Hamming
Reed-Solomon
05/05/04

10. Classical Repetition Code
Transmission: Sending one bit of information across the channel.
Noise: flips the bit with the probability p
Encoding: triple each bit : 0000, 1111, C={000,111}
Decoding: majority voting
Example: 10  10
Limitation: not possible to recover the information correctly if more than one bit is flipped.
05/05/04

11. Classical Repetition Code
Analysis
Transmission method
1. Non-encoded transmission
3-bit repetition code
Probability of error p
Probability that two or more of the bits are flipped:
3p2(1-p)+p3
When p=0.25
0.25
(when p<0.5, this method is better.)
05/05/04
What is this? Explain better this and the whole table

12. QEC: The Three Qubit Bit Flip Code
Example: sending one qubit through a channel.
Noise: flips the qubit with the probability p.
In other words, the state |ψ> is taken to state X\ψ> with the probability p, where X (bit flip matrix)
Encoding:
Decoding: Majority Logic
Limitation: may be unable to recover the information correctly if more than one bit is flipped in some cases.
05/05/04

13. QEC: The Three Qubit Bit Flip Code
Encoding :
|0>+|1>  |000>+|111>
Encoding Circuit
Measuring the ancilla bits reveals the error but not the information qubit.[2]
Explain Why?
05/05/04

14. QEC: The Three Qubit Bit Flip Code
Pre-assumption of the errors:
One or none error occurs
Transfer the stored information to the output qubit.
Limited if more than one error.
We don’t have enough info of the location of errors.
05/05/04

15. Analysis OF WHAT? |0>|000>  Encode Decode Prob. (P=0.25)
Add more detailed captions to the table
The error probability can depend significantly on the initial state.
|0>|000> 
Encode
Decode
Prob.
(P=0.25)
Prob OF WHAT.
|000>
|0>
(1-0.25)3
=0.4219
0.4219
|100>
0.1406
|010>
|001>
|110>
|1>
0.0469
|101>
|011>
|111>
0.0156
Error Sum
05/05/04

16. Fault-Tolerant Computation
General Stages:
Preparation/
Encode
Verify
Computation of
Error Syndrome
Recovery
Explain better what each block does, especially verify
05/05/04

17. Fault-Tolerant Computation[6]
Rules:
Implement gates that can process encoded information.
Control propagation of errors.
Ensure that recovery from errors is performed reliably.
05/05/04

18. Fault-Tolerant Computation[6]
1st Law: Don’t use the same bit twice.
Bad: Error propagates, so
infection spreads.
Good!
05/05/04

19. Fault-Tolerant Computation[6]
2nd Law: Copy/measure the errors, not the data.
Copy the information from the data to the ancilla.
Measure the ancilla to find an error syndrome.
Based on the error syndrome, we perform the required recovery.
05/05/04

20. Fault-Tolerant Computation[6]
3rd Law: Verify when you encode a known quantum state.
A nondestructive measurement is performed (twice performed above) to verify that the encoding was successful.
More explanation needed
05/05/04

21. Fault-Tolerant Computation
4th Law: Repeat the operations
More explanation needed
05/05/04

22. Fault-Tolerant Computation
5th Law: Use the right code
More explanation needed
05/05/04

23. Error Correction in The Three Qubit Code
|0>|000>, |1>|111>
Error Correction:
More explanation needed
Measurement(M1, M2)
Action
(0,0)
None
(1,0)
Flip the second bit
(0,1)
Flip the third bit
(1,1)
05/05/04

24. Example: The Shor Code Also known as the 9-qubit code
Combination of the three qubit phase flip codes and bit flip codes.
Seen as a two-level concatenated code.[3]
One qubit is encoded into 9 qubits:
The data is no longer stored in a single qubit, but instead spread out among nine of them.[8]
Correction of bit flips: majority voting.
05/05/04

25. Assumptions of the Shor Code
For simplicity, we assume that any qubit error consists in the application of bit flip error, phase flip error, and/or combination of these two.
X (bit flip error)
Z (phase flip error)
Y = iXZ (combination of bit flip and phase flip error)
05/05/04

26. Preparation in The Shor Code
Block #1
05/05/04

27. Majority Logic in The Shor Code[3]
Explain decoding and recovery, how majority works, may be you need more slides for this
05/05/04

28. Bit Flip Correction Bit flip : switch |0> and |1>
Describe the error as bit flip matrix X
Correction:
For a block, compare the first two qubits, and compare the first with the third.
If the first was flipped, it will disagree with the third.
If the second was flipped, the first and third will agree.
05/05/04

29. Phase Flip Correction Example :
Describe the error as phase flip matrix Z
Correction :
By comparing the sign of the first block of three with the second block of three, we can see that a sign error has occurred in one of those blocks.
Then, by comparing the signs of the first and third blocks of three, we can narrow down the location of phase error and flip it back.
05/05/04

30. Simultaneous Bit and Phase Flip Error
Describe the error as Y=iXZ
Correction: We can fix the bit flip first, and then fix the phase flip for the simultaneous bit and phase flip error, even if they are on different qubits.
05/05/04

31. Stabilizer Coding in The Shor Code[8]
Bit Flip Error:
Equivalent to measure the eigenvalues of Z1Z2 and Z1Z3.
For example, if the first two qubits are the same, the eigenvalue of Z1Z2 is +1; otherwise, the value is –1.
Phase Flip Error:
Equivalent to measure the eigenvalues of X1X2X3X4X5X6 and X1X2X3X7X8X9.
If the signs agree, the eigenvalues will be +1; otherwise, the values is –1.
Remind on an example what are eigenvalues , define them
05/05/04

32. Stabilizer Coding in The Shor Code
In order to totally correct the code, we must measure the eigenvalues of a total of eight operators. M1 Z I M2 M3 M4 M5 M6 M7 X M8
Explain what we see here
05/05/04

33. Another Phase Error Correction in The Shor Code
Hadamard Transformation on each qubit.
The qubits taken : 1, 4, and 7 (or 2,5,8 or 3,6,9).
05/05/04

34. Stabilizer Code
Many quantum states can be more easily described by working with the operators that stabilize them than by working explicitly with the state itself.
|ψ>
X1X2|ψ> = |ψ> and Z1Z2|ψ> = |ψ>
|ψ> is stabilized by the operators X1X2 and Z1Z2.
|ψ> is the unique quantum state which is stabilized by these operators X1X2 and Z1X2.
05/05/04

35. Stabilizer Code
In making continuous weak measurements on our system, we would like to choose the measurements in such a manner that we gather as much information about the errors as possible while disturbing the logical qubits as little as possiblequantum error correcting code.
Stabilizer formalism provides a way to easily characterize many of the error correcting codes.
Pauli group Pn= {1, i}{I,X,Y,Z}n
Give examples of Pauli group operators
05/05/04

36. Stabilizer Code[4]
There exist a set of operators in Pn, called the stabilizer generators and denoted by g1, g2, ..., gr.
They are such that every state in C is an eigenstate with eigenvalue +1 of all the stabilizer generators.
That is, gi|ψ> = |ψ> for all i and for all states |ψ> in C.
Moreover, these stabilizer generators are all mutually commuting.
05/05/04

37. Stabilizer Code[4a]
The stabilizer code error correction procedure involves:
1) simultaneously measuring all the stabilizer generators and then
2) inferring what correction to apply from the measurement results.
The formalism states that the stabilizer measurement results indicate a unique correction operation.
05/05/04

38. Example:The Three Qubit Bit Flip Code
ZZI
IZZ
Error
Correction Unitary
Action +1
None -1
Bit 1 flipped
XII
Flip bit 1
Bit 2 flipped
IXI
Flip bit 2
Bit 3 flipped
IIX
Flip bit 3
05/05/04

39. The Classical [7,4,3] Hamming Code
Transmit the block 0011 1 1
Parity bits = comes from the rule that the total number of 1’s contained in each circle should be even. 1 1 1 1
05/05/04

40. Steane’s Code One qubit is encoded into seven qubits.
Logic 0= those with even number of 1’s
Logic 1= those with odd number of 1’s
05/05/04

41. Encoder for the Steane’s Code
05/05/04

42. Computation of Bit Flip Syndrome
05/05/04

43. Computation of Phase Errors
R = Hadamard Rotation =
05/05/04

44. Fault-Tolerant Logic Gate
The fault-tolerant quantum gates and measurements must prevent a single error from propagating to more than one error in any code block.
Therefore the small correctable errors will not grow to exceed the correction capability of the code. [7]
05/05/04

45. One-Bit Teleportation
One-teleportation is based on Swap gate
I do not understand . This is not swap
Explain why we need one-bit teleportation
05/05/04

46. Several Facts to derive one-bit teleportation
Fact 1 : X = HZH where
05/05/04

47. Several Facts to derive one-bit teleportation
Fact 2: When the control qubit is measured, a quantum-controlled gate can be replaced by a classical controlled operation.
U is performed if the measurement result is 1.
Why it is so?
05/05/04

48. Z-teleportation H|> Why it is so?
The two bits are disentangled before the second Hadamard gate.
Therefore the second qubit can be measured before the second Hadamard gate without affecting the unknown state in the first qubit.
H|>
Why it is so?
05/05/04

49. X-teleportation
Why it is so?
05/05/04

50. Fault-Tolerant Toffoli Using One-bit Teleportation
|0> H
|x >
|y >
|z > X Z
|x >
|y >
|z + xy >
Non-FT
Gate
05/05/04

51. Fault-Tolerant Toffoli Gate
|0>
|x > H X
|0>
|y > H Z X
|0>
|z + xy > Z
|x >
|y >
|z > H
Mistake
05/05/04

52. Alternative FT Toffoli Gate
05/05/04

53. Anticommute & Commute Anticommute : {A, B}=AB+BA=0
Two commuting matrices can be simultaneously diagonalized.
This means that we can measure the eigenvalue of one of them without disturbing the eigenvalues of the other.
Conversely, if two operators do not commute, measuring one will disturb the eigenvectors of the other, so we cannot simultaneously measure non-commuting operators.
05/05/04

54. References
[1] Web resouce from
[2] Quantum Codes, Class slides from
[3] Quantum Physics, abstract quant-ph/
From: Jumpei NIWA [view ] Date: Wed, 13 Nov :43:46 GMT (584kb) Simulating the Effects of Quantum Error-correction Schemes
Authors: Jumpei Niwa, Keiji Matsumoto, Hiroshi Imai Comments: 13 pages, 25 figures
[4] A Practical Scheme for Error Control using Feedback, Mohan Sarovar,1, . Charlene Ahn,2, † Kurt Jacobs,3, ‡ and Gerard J. Milburn1, §
1Centre for Quantum Computer Technology, and School of Physical Sciences,
The University of Queensland, St Lucia, QLD 4072, Australia
2Institute for Quantum Information, California Institute of Technology, Pasadena, CA 91125, USA
3Centre for Quantum Computer Technology, Centre for Quantum Dynamics,
School of Science, Grith University, Nathan, QLD 4111, Australia
[6] Reliable Quantum Computers, J. Preskill, California Institute of Technology
[7] Towards Robust Quantum Computation, dissertation, Debbie W. Leung, 2000
[8] Stabilizer Codes and Quantum Error Correction, Thesis, Daniel Gottesman, California,Institute of Technology, 2001
05/05/04

55. References
[9] Quantum Computation and Quantum Information, M.A. Nielsen & I. L. Chuang, 2000
05/05/04