quantum error correction i · 1 los alamos national laboratory one of two qubits a ˆ a b state...
TRANSCRIPT
![Page 1: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/1.jpg)
Quantum Error Correction IProtecting Quantum Information
Manny
• Qubits are subsystems.
• Error control methods.
• Algebraic error models.
• Error detection.
• Error correction.
• Stabilizer codes.
![Page 2: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/2.jpg)
1LOS ALAMOSNational Laboratory
One of Two Qubits
A ⊂ A B
![Page 3: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/3.jpg)
1LOS ALAMOSNational Laboratory
One of Two Qubits
A ⊂ A B
• State spaces:α 0〉
A+ β 1〉
Bα 00〉
AB+ β 01〉
AB+ γ 10〉
AB+ δ 11〉
AB
Q ⊂? Q⊗Q
![Page 4: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/4.jpg)
1LOS ALAMOSNational Laboratory
One of Two Qubits
A ⊂ A B
• State spaces:α 0〉
A+ β 1〉
Bα 00〉
AB+ β 01〉
AB+ γ 10〉
AB+ δ 11〉
AB
Q ⊂? Q⊗Q
• Observable algebras:σx
(A), σy(A), σz
(A), . . . ⊂ σx(A), . . . , σx
(B), . . . , σx(A)σx
(B), . . .
![Page 5: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/5.jpg)
2
Passive Error Control
A B
• Example noise operators:I, σx
(B), σy(B), σz
(B).
![Page 6: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/6.jpg)
2
Passive Error Control
A B
• Example noise operators:I, σx
(B), σy(B), σz
(B).
Information in A is protected.
![Page 7: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/7.jpg)
2
Passive Error Control
A B
• Example noise operators:I, σx
(B), σy(B), σz
(B).
Information in A is protected.No state of AB is protected.
00〉AB
σx(B)
→ 01〉AB
![Page 8: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/8.jpg)
2
Passive Error Control
A B
• Example noise operators:I, σx
(B), σy(B), σz
(B).
Information in A is protected.No state of AB is protected.
00〉AB
σx(B)
→ 01〉AB
Observables for A commute with errors.σu
(A)σv(B) = σv
(B)σu(A).
![Page 9: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/9.jpg)
3
Active Error Control
A B
• Example noise operators:I, cxnot = σx
(B)cnot(BA).
![Page 10: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/10.jpg)
3
Active Error Control
A B
• Example noise operators:I, cxnot = σx
(B)cnot(BA).
Start with B in 0〉B.0〉
L= 00〉
AB, 1〉
L= 10〉
AB
![Page 11: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/11.jpg)
3
Active Error Control
A B
• Example noise operators:I, cxnot = σx
(B)cnot(BA).
Start with B in 0〉B.0〉
L= 00〉
AB, 1〉
L= 10〉
AB
Information of A preserved after one error.
![Page 12: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/12.jpg)
3
Active Error Control
A B
• Example noise operators:I, cxnot = σx
(B)cnot(BA).
Start with B in 0〉B.0〉
L= 00〉
AB, 1〉
L= 10〉
AB
Information of A preserved after one error.. . . lost after two.
0〉L
cxnot→ 01〉AB
cxnot→ 10〉AB
= 1〉L
![Page 13: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/13.jpg)
3
Active Error Control
A B
• Example noise operators:I, cxnot = σx
(B)cnot(BA).
Start with B in 0〉B.0〉
L= 00〉
AB, 1〉
L= 10〉
AB
Information of A preserved after one error.. . . lost after two.
0〉L
cxnot→ 01〉AB
cxnot→ 10〉AB
= 1〉L
Solution: Reset B before errors.
Back to: Error Correction I
![Page 14: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/14.jpg)
4
Error Control Methods
• Passive error control.Noiseless subsystems.
![Page 15: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/15.jpg)
4
Error Control Methods
• Passive error control.Noiseless subsystems.
• Error suppression.Refocusing.Active symmetryenforcement.Decoupling.Reservoir engineering.
![Page 16: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/16.jpg)
4
Error Control Methods
• Passive error control.Noiseless subsystems.
• Error suppression.Refocusing.Active symmetryenforcement.Decoupling.Reservoir engineering.
• Systematic error control.
Rotating frames.Composite pulses.Adiabatic gates.
![Page 17: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/17.jpg)
4
Error Control Methods
• Passive error control.Noiseless subsystems.
• Error suppression.Refocusing.Active symmetryenforcement.Decoupling.Reservoir engineering.
• Systematic error control.
Rotating frames.Composite pulses.Adiabatic gates.
• Active error control.Periodic error correction.
![Page 18: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/18.jpg)
5
References
• Prehistory:Quantum Zeno effect: Misra&Sudarshan 1977 [14].Deutsch 1993, Barenco&al. 1996 [3].
• Discovery and Theory:Shor 1995 [17], Steane 1995 [19].Bennett&DiVincenzo&Smolin&Wootters 1996 [4], Knill&Laflamme 1996 [10].Calderbank&Shor 1996 [6], Gottesman 1996 [7], Calderbank&Rains&Shor&Sloane1997 [5].
• Fault tolerance and threshold accuracies:Shor 1996 [18], Kitaev 1997 [9].Aharonov&Ben-Or 1996 [1, 2], Knill&Laflamme&Zurek 1996 [12],Gottesman&Preskill 1997 [8, 16].
• Toward subsystems:Quasi-particles . . .Zanardi&Rasetti 1997 [23], Lidar&Chuang&Whaley 1998 [13].Viola&Knill&Lloyd 1998 [21, 20, 22].Knill&Laflamme 1996 [10], Knill&Laflamme&Viola 2000 [11].
General reference: (M)ike, Ch. 10. Nielsen&Chuang 2001 [15]
![Page 19: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/19.jpg)
6
The Pauli Error Model
1 2 3 . . .• Error operators:
E1 ={I, σx
(1), σy(1), σz
(1), σx(2), σy
(2), . . .}
![Page 20: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/20.jpg)
6
The Pauli Error Model
1 2 3 . . .• Error operators:
E1 ={I, σx
(1), σy(1), σz
(1), σx(2), σy
(2), . . .}
• Weight 2 error operators:E2 = E1E1
={I, σx
(1), . . . σx(1)σx
(2), σx(1)σx
(3), . . .}
![Page 21: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/21.jpg)
6
The Pauli Error Model
1 2 3 . . .• Error operators:
E1 ={I, σx
(1), σy(1), σz
(1), σx(2), σy
(2), . . .}
• Weight 2 error operators:E2 = E1E1
={I, σx
(1), . . . σx(1)σx
(2), σx(1)σx
(3), . . .}
• Higher weights:
Ek = Ek1 =k times︷ ︸︸ ︷E1E1 . . .
E =⋃∞k=1 Ek
![Page 22: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/22.jpg)
6
The Pauli Error Model
1 2 3 . . .• Error operators:
E1 ={I, σx
(1), σy(1), σz
(1), σx(2), σy
(2), . . .}
• Weight 2 error operators:E2 = E1E1
={I, σx
(1), . . . σx(1)σx
(2), σx(1)σx
(3), . . .}
• Higher weights:
Ek = Ek1 =k times︷ ︸︸ ︷E1E1 . . .
E =⋃∞k=1 Ek
The linear span of E contains all operators.
![Page 23: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/23.jpg)
7
Algebraic Error Models
• Weight 1 error events:E1 = { I, E1, E2, . . .}
![Page 24: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/24.jpg)
7
Algebraic Error Models
• Weight 1 error events:E1 = { I, E1, E2, . . .}
• Weight k error events:
Ek = Ek1 =k times︷ ︸︸ ︷E1E1 . . .
![Page 25: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/25.jpg)
7
Algebraic Error Models
• Weight 1 error events:E1 = { I, E1, E2, . . .}
• Weight k error events:
Ek = Ek1 =k times︷ ︸︸ ︷E1E1 . . .
• Error algebra:
E = span⋃∞k=1 Ek
![Page 26: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/26.jpg)
8
Flip Errors
E1 ={I, σx
(1), σx(2), σx
(3), . . .}
• Classical errors + superposition principle.
![Page 27: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/27.jpg)
8
Flip Errors
E1 ={I, σx
(1), σx(2), σx
(3), . . .}
• Classical errors + superposition principle.Examples.
0010〉 σx(2)
→ 0110〉
0010〉 σx(1)σx
(3)
→ 1000〉1√2
(0010〉+ 0011〉
)σx
(4)
→ 1√2
(0011〉+ 0010〉
)= 1√
2
(0010〉+ 0011〉
)
![Page 28: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/28.jpg)
8
Flip Errors
E1 ={I, σx
(1), σx(2), σx
(3), . . .}
• Classical errors + superposition principle.Examples.
0010〉 σx(2)
→ 0110〉
0010〉 σx(1)σx
(3)
→ 1000〉1√2
(0010〉+ 0011〉
)σx
(4)
→ 1√2
(0011〉+ 0010〉
)= 1√
2
(0010〉+ 0011〉
)• Size of common eigenspaces of σx(i)?
![Page 29: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/29.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
![Page 30: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/30.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
![Page 31: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/31.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
![Page 32: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/32.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
α 00〉+ β 11〉 I(12)
−→
![Page 33: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/33.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
α 00〉+ β 11〉 I(12)
−→ α 00〉+ β 11〉
![Page 34: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/34.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
α 00〉+ β 11〉 I(12)
−→ α 00〉+ β 11〉σx
(1)
−→
![Page 35: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/35.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
α 00〉+ β 11〉 I(12)
−→ α 00〉+ β 11〉σx
(1)
−→ α 10〉+ β 01〉
![Page 36: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/36.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
α 00〉+ β 11〉 I(12)
−→ α 00〉+ β 11〉σx
(1)
−→ α 10〉+ β 01〉σx
(2)
−→
![Page 37: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/37.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
α 00〉+ β 11〉 I(12)
−→ α 00〉+ β 11〉σx
(1)
−→ α 10〉+ β 01〉σx
(2)
−→ α 01〉+ β 10〉
![Page 38: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/38.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
α 00〉+ β 11〉 I(12)
−→ α 00〉+ β 11〉σx
(1)
−→ α 10〉+ β 01〉σx
(2)
−→ α 01〉+ β 10〉
σx(1)σx
(2)
−→
![Page 39: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/39.jpg)
9
Error Detection I
ψ〉ψ〉
L
E
ψ〉L
Successprobability ≤ 1
• Example:
ψ〉 = α 0〉+ β 1〉0〉
L= 00〉
1〉L
= 11〉
00〉〈00 + 11〉〈11
α 00〉+ β 11〉 I(12)
−→ α 00〉+ β 11〉σx
(1)
−→ α 10〉+ β 01〉σx
(2)
−→ α 01〉+ β 10〉
σx(1)σx
(2)
−→ α 11〉+ β 00〉
![Page 40: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/40.jpg)
10
Error Detection II
• A quantum code is a subspace C.Projection operator: PC.Logical basis: 0〉
L, 1〉
L, 2〉
L, . . ..
![Page 41: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/41.jpg)
10
Error Detection II
• A quantum code is a subspace C.Projection operator: PC.Logical basis: 0〉
L, 1〉
L, 2〉
L, . . ..
• C detects E ifPCEPC = λEPC
![Page 42: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/42.jpg)
10
Error Detection II
• A quantum code is a subspace C.Projection operator: PC.Logical basis: 0〉
L, 1〉
L, 2〉
L, . . ..
• C detects E ifPCEPC = λEPC
• Equivalently:
E =
C
C︷ ︸︸ ︷
λE 0 . . . 00 λE
...... . . .0 . . . λE
E12
E21 E22
![Page 43: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/43.jpg)
10
Error Detection II
• A quantum code is a subspace C.Projection operator: PC.Logical basis: 0〉
L, 1〉
L, 2〉
L, . . ..
• C detects E ifPCEPC = λEPC
• Equivalently: For all φ〉L
L〈φ E φ〉L
= λE
![Page 44: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/44.jpg)
10
Error Detection II
• A quantum code is a subspace C.Projection operator: PC.Logical basis: 0〉
L, 1〉
L, 2〉
L, . . ..
• C detects E ifPCEPC = λEPC
• Equivalently: For all φ〉L
L〈φ E φ〉L
= λE
• Equivalently: For all φ〉L, ψ〉
L
φ〉L⊥ ψ〉
L⇒ E φ〉
L⊥ ψ〉
L
![Page 45: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/45.jpg)
11
Minimum Distance I
• C has minimum distance ≥ d if
C detects all errors of weight d− 1.
![Page 46: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/46.jpg)
11
Minimum Distance I
• C has minimum distance ≥ d if
C detects all errors of weight d− 1.
• C = span(
00〉, 11〉)
is a [[2, 1, 2]]σx(i)
code.
![Page 47: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/47.jpg)
11
Minimum Distance I
• C has minimum distance ≥ d if
C detects all errors of weight d− 1.
• C = span(
00〉, 11〉)
is a [[2, 1, 2]]σx(i)
code.
• C is a [[n, k, d]]E1 code means:Length n: Total number of qubits is n.k encoded qubits, dim C = 2k.Minimum distance at least d for E1.
![Page 48: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/48.jpg)
12
Minimum Distance II
• Construct a [[3, 1, 3]]σx(i) code — greedily:
![Page 49: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/49.jpg)
12
Minimum Distance II
• Construct a [[3, 1, 3]]σx(i) code — greedily:
Add: 0〉L
= 000〉.
![Page 50: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/50.jpg)
12
Minimum Distance II
• Construct a [[3, 1, 3]]σx(i) code — greedily:
Add: 0〉L
= 000〉.1〉
Lmust be orthogonal to
000〉100〉, 010〉, 001〉110〉, 101〉, 011〉
![Page 51: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/51.jpg)
12
Minimum Distance II
• Construct a [[3, 1, 3]]σx(i) code — greedily:
Add: 0〉L
= 000〉.1〉
Lmust be orthogonal to
000〉100〉, 010〉, 001〉110〉, 101〉, 011〉
Choose 1〉L
= 111〉.
![Page 52: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/52.jpg)
12
Minimum Distance II
• Construct a [[3, 1, 3]]σx(i) code — greedily:
Add: 0〉L
= 000〉.1〉
Lmust be orthogonal to
000〉100〉, 010〉, 001〉110〉, 101〉, 011〉
Choose 1〉L
= 111〉.Encode α 0〉+ β 1〉 → α 000〉+ β 111〉.
• . . . the three bit repetition code.
![Page 53: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/53.jpg)
13
Error Correction Process
E1 E2 E3
![Page 54: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/54.jpg)
13
Error Correction Process
E1 E2 E3
• Where is the encoded qubit?
![Page 55: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/55.jpg)
13
Error Correction Process
E1 E2 E3
• Where is the encoded qubit?Observable algebra always defined:
At = span(I(St), σx
(St), σy(St), σz
(St))
![Page 56: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/56.jpg)
13
Error Correction Process
E1 E2 E3
• Where is the encoded qubit?Observable algebra always defined:
At = span(I(St), σx
(St), σy(St), σz
(St))
A(S): Algebra between errors and recovery.
A(S) A(S) A(S)
![Page 57: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/57.jpg)
14
Subsystems
1 2 3 . . .
![Page 58: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/58.jpg)
14
Subsystems
1 2 3 . . .
• A subsystem is a factor of a subspace of H.
![Page 59: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/59.jpg)
14
Subsystems
1 2 3 . . .
• A subsystem is a factor of a subspace of H.
• Specifying a subsystem S:• Decompose: H '
(S ⊗ T
)⊕R
![Page 60: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/60.jpg)
14
Subsystems
1 2 3 . . .
• A subsystem is a factor of a subspace of H.
• Specifying a subsystem S:• Decompose: H '
(S ⊗ T
)⊕R
• Observables: ∗-algebra A(S) ' Matrices(dimS).
![Page 61: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/61.jpg)
14
Subsystems
1 2 3 . . .
• A subsystem is a factor of a subspace of H.
• Specifying a subsystem S:• Decompose: H '
(S ⊗ T
)⊕R
• Observables: ∗-algebra A(S) ' Matrices(dimS).
• Example with two qubits:Decompose:
0〉S0〉
T= 1√
2
(00〉+ 11〉
), 0〉
S1〉
T= 1√
2
(00〉 − 11〉
)1〉
S0〉
T= 1√
2
(01〉+ 10〉
), 1〉
S1〉
T= 1√
2
(01〉 − 10〉
)
![Page 62: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/62.jpg)
14
Subsystems
1 2 3 . . .
• A subsystem is a factor of a subspace of H.
• Specifying a subsystem S:• Decompose: H '
(S ⊗ T
)⊕R
• Observables: ∗-algebra A(S) ' Matrices(dimS).
• Example with two qubits:Decompose:
0〉S0〉
T= 1√
2
(00〉+ 11〉
), 0〉
S1〉
T= 1√
2
(00〉 − 11〉
)1〉
S0〉
T= 1√
2
(01〉+ 10〉
), 1〉
S1〉
T= 1√
2
(01〉 − 10〉
)Observables:
{σx
(S) = σx(2)
σz(S) = σz
(1)σz(2)
![Page 63: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/63.jpg)
15
Noiseless subsystems
• Subsystem S is noiseless for E if [E ,A(S)] = 0.
![Page 64: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/64.jpg)
15
Noiseless subsystems
• Subsystem S is noiseless for E if [E ,A(S)] = 0.
• E = span(I, σx
(1)σx(2), σz
(1))
:
![Page 65: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/65.jpg)
15
Noiseless subsystems
• Subsystem S is noiseless for E if [E ,A(S)] = 0.
• E = span(I, σx
(1)σx(2), σz
(1))
:
Observables:{σx
(S) = σx(2)
σz(S) = σz
(1)σz(2)
Decompose:
0〉S0〉
T= 1√
2
(00〉+ 11〉
), 0〉
S1〉
T= 1√
2
(00〉 − 11〉
)1〉
S0〉
T= 1√
2
(01〉+ 10〉
), 1〉
S1〉
T= 1√
2
(01〉 − 10〉
)
![Page 66: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/66.jpg)
15
Noiseless subsystems
• Subsystem S is noiseless for E if [E ,A(S)] = 0.
• E = span(I, σx
(1)σx(2), σz
(1))
:
Observables:{σx
(S) = σx(2)
σz(S) = σz
(1)σz(2)
Decompose:
0〉S0〉
T= 1√
2
(00〉+ 11〉
), 0〉
S1〉
T= 1√
2
(00〉 − 11〉
)1〉
S0〉
T= 1√
2
(01〉+ 10〉
), 1〉
S1〉
T= 1√
2
(01〉 − 10〉
)• E = span
(I, σx
(1)+σx(2)+σx(3), σy(1)+σy(2)+σy(3), σz
(1)+σz(2)+σz(3))
:
Spin 3/2
Spin 1/2
Noiseless qubit (N)
Observables:
{σU
(N) = σ(A) · σ(B)
σV(N) = σ(A) · σ(C)
![Page 67: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/67.jpg)
16
Error Correcting Subsystems I
A(S) A(S) A(S)
• Protection requires:
![Page 68: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/68.jpg)
16
Error Correcting Subsystems I
A(S) A(S) A(S)
• Protection requires:[ER,A(S)] = 0 R: Any operator of the recovery.
![Page 69: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/69.jpg)
16
Error Correcting Subsystems I
A(S) A(S) A(S)
• Protection requires:[ER,A(S)] = 0 R: Any operator of the recovery.
• Error correcting subsystem (S, 0〉T):
H '(S ⊗ T
)⊕R, 0〉
T
![Page 70: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/70.jpg)
16
Error Correcting Subsystems I
A(S) A(S) A(S)
• Protection requires:[ER,A(S)] = 0 R: Any operator of the recovery.
• Error correcting subsystem (S, 0〉T):
H '(S ⊗ T
)⊕R, 0〉
T
• Usage: 1. Reject R. 2. Reset T to 0〉T. 3. Wait . . .
![Page 71: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/71.jpg)
16
Error Correcting Subsystems I
A(S) A(S) A(S)
• Protection requires:[ER,A(S)] = 0 R: Any operator of the recovery.
• Error correcting subsystem (S, 0〉T):
H '(S ⊗ T
)⊕R, 0〉
T
• Usage: 1. Reject R. 2. Reset T to 0〉T. 3. Wait . . .
• (S, 0〉T) corrects E if
E ψ〉S
0〉T
= ψ〉SφE〉T
Example.
![Page 72: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/72.jpg)
17
Error Correcting Subsystems II
• The three qubit [[3, 1, 3]]σx(i) repetition code.
C = span(
000〉, 111〉)
![Page 73: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/73.jpg)
17
Error Correcting Subsystems II
• The three qubit [[3, 1, 3]]σx(i) repetition code.
C = span(
000〉, 111〉)
• As a subsystem:0〉
S0〉
T= 000〉 1〉
S0〉
T= 111〉
0〉S
1〉T
= 100〉 1〉S
1〉T
= 011〉0〉
S2〉
T= 010〉 1〉
S2〉
T= 101〉
0〉S
3〉T
= 001〉 1〉S
3〉T
= 110〉
![Page 74: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/74.jpg)
17
Error Correcting Subsystems II
• The three qubit [[3, 1, 3]]σx(i) repetition code.
C = span(
000〉, 111〉)
• As a subsystem:0〉
S0〉
T= 000〉 1〉
S0〉
T= 111〉
0〉S
1〉T
= 100〉 1〉S
1〉T
= 011〉0〉
S2〉
T= 010〉 1〉
S2〉
T= 101〉
0〉S
3〉T
= 001〉 1〉S
3〉T
= 110〉
• Detection property:
PCσx(i)†σx
(j)PC = δijPC
PC = 0〉TT〈0
![Page 75: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/75.jpg)
18
From Correction to Detection
• Suppose (S, 0〉T) corrects errors in E .
Define C by PC = 0〉TT〈0 .
Then C detects every error in E†E .
![Page 76: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/76.jpg)
18
From Correction to Detection
• Suppose (S, 0〉T) corrects errors in E .
Define C by PC = 0〉TT〈0 .
Then C detects every error in E†E .
• Proof:S〈ψ T〈0E†D 0〉
Tψ〉
S=
![Page 77: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/77.jpg)
18
From Correction to Detection
• Suppose (S, 0〉T) corrects errors in E .
Define C by PC = 0〉TT〈0 .
Then C detects every error in E†E .
• Proof:S〈ψ T〈0E†D 0〉
Tψ〉
S= S〈ψ T〈0E† φ(D)〉
Tψ〉
S
=
![Page 78: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/78.jpg)
18
From Correction to Detection
• Suppose (S, 0〉T) corrects errors in E .
Define C by PC = 0〉TT〈0 .
Then C detects every error in E†E .
• Proof:S〈ψ T〈0E†D 0〉
Tψ〉
S= S〈ψ T〈0E† φ(D)〉
Tψ〉
S
= S〈ψ T〈φ(E) φ(D)〉Tψ〉
S
=
![Page 79: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/79.jpg)
18
From Correction to Detection
• Suppose (S, 0〉T) corrects errors in E .
Define C by PC = 0〉TT〈0 .
Then C detects every error in E†E .
• Proof:S〈ψ T〈0E†D 0〉
Tψ〉
S= S〈ψ T〈0E† φ(D)〉
Tψ〉
S
= S〈ψ T〈φ(E) φ(D)〉Tψ〉
S
= S〈ψ ψ〉S
T〈φ(E) φ(D)〉T
= T〈φ(E) φ(D)〉T
= λE†D
![Page 80: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/80.jpg)
19
From Detection to Correction
• Suppose C detects errors in E†E .There exists (S, 0〉
T) such that for some unitary U :
U†PCU = 0〉TT〈0
(S, 0〉T) corrects span
(EU).
![Page 81: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/81.jpg)
19
From Detection to Correction
• Suppose C detects errors in E†E .There exists (S, 0〉
T) such that for some unitary U :
U†PCU = 0〉TT〈0
(S, 0〉T) corrects span
(EU).
• Proof:span(E) = span(E0, E1, . . . ).
![Page 82: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/82.jpg)
19
From Detection to Correction
• Suppose C detects errors in E†E .There exists (S, 0〉
T) such that for some unitary U :
U†PCU = 0〉TT〈0
(S, 0〉T) corrects span
(EU).
• Proof:span(E) = span(E0, E1, . . . ).PCE
†iEjPC = λijPC.
![Page 83: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/83.jpg)
19
From Detection to Correction
• Suppose C detects errors in E†E .There exists (S, 0〉
T) such that for some unitary U :
U†PCU = 0〉TT〈0
(S, 0〉T) corrects span
(EU).
• Proof:span(E) = span(E0, E1, . . . ).PCE
†iEjPC = λijPC.
Λ = (λij)ij Hermitian⇒ change basis of span(E):λij = δij.
![Page 84: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/84.jpg)
19
From Detection to Correction
• Suppose C detects errors in E†E .There exists (S, 0〉
T) such that for some unitary U :
U†PCU = 0〉TT〈0
(S, 0〉T) corrects span
(EU).
• Proof:span(E) = span(E0, E1, . . . ).PCE
†iEjPC = λijPC.
Λ = (λij)ij Hermitian⇒ change basis of span(E):λij = δij.
Let ψ〉L
be a state of C. Defineψ〉
Si〉
T= Ei ψ〉L
![Page 85: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/85.jpg)
19
From Detection to Correction
• Suppose C detects errors in E†E .There exists (S, 0〉
T) such that for some unitary U :
U†PCU = 0〉TT〈0
(S, 0〉T) corrects span
(EU).
• Proof:span(E) = span(E0, E1, . . . ).PCE
†iEjPC = λijPC.
Λ = (λij)ij Hermitian⇒ change basis of span(E):λij = δij.
Let ψ〉L
be a state of C. Defineψ〉
Si〉
T= Ei ψ〉L
Choose U unitary: U ψ〉S
0〉T
= ψ〉L.
![Page 86: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/86.jpg)
19
From Detection to Correction
• Suppose C detects errors in E†E .There exists (S, 0〉
T) such that for some unitary U :
U†PCU = 0〉TT〈0
(S, 0〉T) corrects span
(EU).
• Proof:span(E) = span(E0, E1, . . . ).PCE
†iEjPC = λijPC.
Λ = (λij)ij Hermitian⇒ change basis of span(E):λij = δij.
Let ψ〉L
be a state of C. Defineψ〉
Si〉
T= Ei ψ〉L
Choose U unitary: U ψ〉S
0〉T
= ψ〉L.
Compute: EiU ψ〉S
0〉T
= Ei ψ〉L = ψ〉Si〉
T
![Page 87: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/87.jpg)
20
QEC Theorems
Theorem: Given a quantum system. There exists anerror-correcting subsystem for E iff there exists a E†Edetecting quantum code.
![Page 88: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/88.jpg)
20
QEC Theorems
Theorem: Given a quantum system. There exists anerror-correcting subsystem for E iff there exists a E†Edetecting quantum code.
Corollary: Assume E†1 = E1. If C has minimum distance2e+ 1, then C induces an e-error-correcting subsystem.
![Page 89: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/89.jpg)
20
QEC Theorems
Theorem: Given a quantum system. There exists anerror-correcting subsystem for E iff there exists a E†Edetecting quantum code.
Corollary: Assume E†1 = E1. If C has minimum distance2e+ 1, then C induces an e-error-correcting subsystem.
• Coding theory lingo: A [[n, k, 2e+ 1]] code is e-errorcorrecting.
![Page 90: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/90.jpg)
21
Stabilizer Codes I
• Conventions:X = σx, Y = σy, Z = σz
![Page 91: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/91.jpg)
21
Stabilizer Codes I
• Conventions:X = σx, Y = σy, Z = σz
IXIII = σx(2), IIY ZI = σy
(3)σz(4)
![Page 92: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/92.jpg)
21
Stabilizer Codes I
• Conventions:X = σx, Y = σy, Z = σz
IXIII = σx(2), IIY ZI = σy
(3)σz(4)
• Pauli group: Products of σu up to sign.
![Page 93: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/93.jpg)
21
Stabilizer Codes I
• Conventions:X = σx, Y = σy, Z = σz
IXIII = σx(2), IIY ZI = σy
(3)σz(4)
• Pauli group: Products of σu up to sign.
• Stabilizer of C = span(
000〉, 111〉):
{III, ZZI, IZZ,ZIZ} = 〈 ZZI, IZZ 〉
![Page 94: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/94.jpg)
21
Stabilizer Codes I
• Conventions:X = σx, Y = σy, Z = σz
IXIII = σx(2), IIY ZI = σy
(3)σz(4)
• Pauli group: Products of σu up to sign.
• Stabilizer of C = span(
000〉, 111〉):
{III, ZZI, IZZ,ZIZ} = 〈 ZZI, IZZ 〉
• Properties:C detects IXI
IXI · ZZI = −ZZI · IXI
![Page 95: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/95.jpg)
22
Stabilizer Codes II
![Page 96: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/96.jpg)
22
Stabilizer Codes II
• A stabilizer code (Pauli code, symplectic code) is acommon eigenspace of a commutative subgroup Nof the Pauli group.
![Page 97: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/97.jpg)
22
Stabilizer Codes II
• A stabilizer code (Pauli code, symplectic code) is acommon eigenspace of a commutative subgroup Nof the Pauli group.
• DefineN⊥ = {Pauli operators which commute with N}.
![Page 98: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/98.jpg)
22
Stabilizer Codes II
• A stabilizer code (Pauli code, symplectic code) is acommon eigenspace of a commutative subgroup Nof the Pauli group.
• DefineN⊥ = {Pauli operators which commute with N}.
Theorem: A stabilizer code of N detects all Paulioperators except those in N⊥ \N .
![Page 99: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/99.jpg)
22
Stabilizer Codes II
• A stabilizer code (Pauli code, symplectic code) is acommon eigenspace of a commutative subgroup Nof the Pauli group.
• DefineN⊥ = {Pauli operators which commute with N}.
Theorem: A stabilizer code of N detects all Paulioperators except those in N⊥ \N .
• Proof: For ρ ∈ N , let λ(ρ) be the common eigenvalue.
![Page 100: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/100.jpg)
22
Stabilizer Codes II
• A stabilizer code (Pauli code, symplectic code) is acommon eigenspace of a commutative subgroup Nof the Pauli group.
• DefineN⊥ = {Pauli operators which commute with N}.
Theorem: A stabilizer code of N detects all Paulioperators except those in N⊥ \N .
• Proof: For ρ ∈ N , let λ(ρ) be the common eigenvalue.σ ∈ N : ok.
![Page 101: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/101.jpg)
22
Stabilizer Codes II
• A stabilizer code (Pauli code, symplectic code) is acommon eigenspace of a commutative subgroup Nof the Pauli group.
• DefineN⊥ = {Pauli operators which commute with N}.
Theorem: A stabilizer code of N detects all Paulioperators except those in N⊥ \N .
• Proof: For ρ ∈ N , let λ(ρ) be the common eigenvalue.σ ∈ N : ok.σ 6∈ N⊥: Choose ρ ∈ N , σρ = −ρσ.
![Page 102: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/102.jpg)
22
Stabilizer Codes II
• A stabilizer code (Pauli code, symplectic code) is acommon eigenspace of a commutative subgroup Nof the Pauli group.
• DefineN⊥ = {Pauli operators which commute with N}.
Theorem: A stabilizer code of N detects all Paulioperators except those in N⊥ \N .
• Proof: For ρ ∈ N , let λ(ρ) be the common eigenvalue.σ ∈ N : ok.σ 6∈ N⊥: Choose ρ ∈ N , σρ = −ρσ. For ψ〉 in the code:
ρ ψ〉 = λ(ρ) ψ〉
![Page 103: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/103.jpg)
22
Stabilizer Codes II
• A stabilizer code (Pauli code, symplectic code) is acommon eigenspace of a commutative subgroup Nof the Pauli group.
• DefineN⊥ = {Pauli operators which commute with N}.
Theorem: A stabilizer code of N detects all Paulioperators except those in N⊥ \N .
• Proof: For ρ ∈ N , let λ(ρ) be the common eigenvalue.σ ∈ N : ok.σ 6∈ N⊥: Choose ρ ∈ N , σρ = −ρσ. For ψ〉 in the code:
ρ ψ〉 = λ(ρ) ψ〉ρ σ ψ〉 = −σ ρ ψ〉
= −λ(ρ)σ ψ〉 . . .σ ψ〉 is orthogonal to the code.
![Page 104: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/104.jpg)
23
The 5 Qubit Code
• Minimum distance 3 code for Pauli errors:Stabilizer: 〈 Y ZZY I, IY ZZY, Y IY ZZ,ZY IY Z 〉.
![Page 105: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/105.jpg)
23
The 5 Qubit Code
• Minimum distance 3 code for Pauli errors:Stabilizer: 〈 Y ZZY I, IY ZZY, Y IY ZZ,ZY IY Z 〉.
• Example distance check:Every weight ≤ 2 Pauli product UV III is detected:
Y ZI YY IZY
ZY IZZYY ZZI Y Z
![Page 106: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/106.jpg)
23
The 5 Qubit Code
• Minimum distance 3 code for Pauli errors:Stabilizer: 〈 Y ZZY I, IY ZZY, Y IY ZZ,ZY IY Z 〉.
• Example distance check:Every weight ≤ 2 Pauli product UV III is detected:
Y ZI YY IZY
ZY IZZYY ZZI Y Z
Restrict to first two columns:〈 Y Z, IY, Y I, ZY 〉 . . . generates all Pauli products.
![Page 107: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/107.jpg)
23
The 5 Qubit Code
• Minimum distance 3 code for Pauli errors:Stabilizer: 〈 Y ZZY I, IY ZZY, Y IY ZZ,ZY IY Z 〉.
• Example distance check:Every weight ≤ 2 Pauli product UV III is detected:
Y ZI YY IZY
ZY IZZYY ZZI Y Z
Restrict to first two columns:〈 Y Z, IY, Y I, ZY 〉 . . . generates all Pauli products.
⇒ every non-identity UV III anticommutes with a stabilizer.
![Page 108: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/108.jpg)
23
The 5 Qubit Code
• Minimum distance 3 code for Pauli errors:Stabilizer: 〈 Y ZZY I, IY ZZY, Y IY ZZ,ZY IY Z 〉.
• Example distance check:Every weight ≤ 2 Pauli product UV III is detected:
Y ZI YY IZY
ZY IZZYY ZZI Y Z
Restrict to first two columns:〈 Y Z, IY, Y I, ZY 〉 . . . generates all Pauli products.
⇒ every non-identity UV III anticommutes with a stabilizer.
• Rules:X · Y ∼ ZY · Z ∼ XZ ·X ∼ Y
⇔01⊕ 10 = 1110⊕ 11 = 0111⊕ 01 = 10
![Page 109: Quantum Error Correction I · 1 LOS ALAMOS National Laboratory One of Two Qubits A ˆ A B State spaces: 0i A + 1i B 00i AB + 01i AB + 10i AB + 11i AB Q ˆ? Q Q](https://reader033.vdocuments.mx/reader033/viewer/2022052006/6019b4aaed24666866697615/html5/thumbnails/109.jpg)
References[1] D. Aharonov and M. Ben-Or. Fault-tolerant quantum computation with constant error. In Proceedings of the 29th Annual ACM Symposium on the Theory of Computation
(STOC), pages 176–188, New York, New York, 1996. ACM Press.
[2] D. Aharonov and M. Ben-Or. Fault-tolerant quantum computation with constant error. quant-ph/9906129, 1999.
[3] A. Barenco, A. Berthiaume, D. Deutsch, A. Ekert, R. Jozsa, and C. Macchiavello. Stabilization of quantum computations by symmetrization. SIAM J. Comput.,26:1541–1557, 1997.
[4] C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters. Mixed state entanglement and quantum error-correcting codes. Phys. Rev. A, 54:3824–3851, 1996.
[5] A.R. Calderbank, E.M. Rains, P.W. Shor, and N.J.A. Sloane. Quantum error correction and orthogonal geometry. Phys. Rev. A, 78:405–408, 1997.
[6] A.R. Calderbank and P.W. Shor. Good quantum error-correcting codes exist. Phys. Rev. A, 54:1098–1105, 1996.
[7] D. Gottesman. A class of quantum error-correcting codes saturating the quantum hamming bound. Phys. Rev. A, 54:1862–1868, 1996.
[8] D. Gottesman. A theory of fault-tolerant quantum computation. Phys. Rev. A, 57:127–137, 1998.
[9] A. Yu. Kitaev. Quantum computations: algorithms and error correction. Russian Math. Surveys, 52:1191–1249, 1997.
[10] E. Knill and R. Laflamme. A theory of quantum error correcting codes. Phys. Rev. A, 55:900–911, 1997.
[11] E. Knill, R. Laflamme, and L. Viola. Theory of quantum error correction for general noise. Phys. Rev. Lett., 84:2525–2528, 2000.
[12] E. Knill, R. Laflamme, and W. Zurek. Resilient quantum computation: Error models and thresholds. Proc. R. Soc. Lond. A, 454:365–384, 1998.
[13] D. A. Lidar, I. L. Chuang, and K. B. Whaley. Decoherence-free subspaces for quantum computation. Phys. Rev. Lett., 81:2594–2597, 1998.
[14] B. Misra and E. C. G. Sudarshan. Zenos paradox in quantum theory. J. Math. Phys., 18:756–763, 1977.
[15] M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cmabridge University Press, 2001.
[16] J. Preskill. Reliable quantum computers. Proc. R. Soc. Lond. A, 454:385–410, 1998.
[17] P. W. Shor. Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A, 52:2493–2496, 1995.
[18] P. W. Shor. Fault-tolerant quantum computation. In Proceedings of the 37th Symposium on the Foundations of Computer Science (FOCS), pages 56–65, Los Alamitos,California, 1996. IEEE press.
[19] A. Steane. Multiple particle interference and quantum error correction. Proc. R. Soc. Lond. A, 452:2551–2577, 1996.
[20] L. Viola, E. Knill, and S. Lloyd. Dynamical decoupling of open quantum systems. Phys. Rev. Lett., 82:2417–2421, 1999.
[21] L. Viola and S. Lloyd. Dynamical suppression of decoherence in two-state quantum systems. Phys. Rev. A, 58:2733–2744, 1998.
[22] L. Viola, S. Lloyd, and E. Knill. Universal control of decoupled quantum systems. Phys. Rev. Lett., 83:4888–4891, 1999.
[23] P. Zanardi and M. Rasetti. Noiseless quantum codes. Phys. Rev. Lett., 79:3306–3309, 1997.