topological order and quantum computation toric...
TRANSCRIPT
![Page 1: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/1.jpg)
Topological Order and Quantum ComputationToric code
Michele Burrello
February 12, 2014
![Page 2: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/2.jpg)
Topological Order and Quantum ComputationOverview of the lectures
1 Toric (surface) codes and Abelian anyons2 Non - Abelian anyons3 Majorana modes in topological superconductors
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 3: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/3.jpg)
Topological Order and Quantum ComputationAbout the spectrum
The first necessary ingredient of quantum computation is thepossibility to store, as reliably as we can, quantum information.We need a protected “portion” of Hilbert space.
E
0 1 Computational (protected) states:Degenerate ground states
Non - Computational (error) states:Excited states
Gap
Noise, Temperature, ... < Gap.Heff ≈ 0 describes the time evolution of the ground states.This degeneracy may be provided by symmetry... or topology.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 4: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/4.jpg)
Topological Order (in 2D)Definition
A two-dimensional physical system is topologically ordered iff:0 It has (almost) degenerate ground states ψα, separated by a
gap from the excited states.
1 The degeneracy of the ψα depends only on the topology of themanifold in which the physical system is embedded.
2 No local operator can distinguish between two different ψα orcause transitions between them:
〈ψα|Oloc|ψβ〉 = Cδα,β
The previous conditions are necessary for:3 Anyons appear among the excitations.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 5: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/5.jpg)
Topological Order (in 2D)Definition
A two-dimensional physical system is topologically ordered iff:0 It has (almost) degenerate ground states ψα, separated by a
gap from the excited states.1 The degeneracy of the ψα depends only on the topology of the
manifold in which the physical system is embedded.
2 No local operator can distinguish between two different ψα orcause transitions between them:
〈ψα|Oloc|ψβ〉 = Cδα,β
The previous conditions are necessary for:3 Anyons appear among the excitations.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 6: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/6.jpg)
Topological Order (in 2D)Definition
A two-dimensional physical system is topologically ordered iff:0 It has (almost) degenerate ground states ψα, separated by a
gap from the excited states.1 The degeneracy of the ψα depends only on the topology of the
manifold in which the physical system is embedded.2 No local operator can distinguish between two different ψα or
cause transitions between them:
〈ψα|Oloc|ψβ〉 = Cδα,β
The previous conditions are necessary for:3 Anyons appear among the excitations.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 7: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/7.jpg)
Topological Order (in 2D)Definition
A two-dimensional physical system is topologically ordered iff:0 It has (almost) degenerate ground states ψα, separated by a
gap from the excited states.1 The degeneracy of the ψα depends only on the topology of the
manifold in which the physical system is embedded.2 No local operator can distinguish between two different ψα or
cause transitions between them:
〈ψα|Oloc|ψβ〉 = Cδα,β
The previous conditions are necessary for:3 Anyons appear among the excitations.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 8: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/8.jpg)
Toric (surface) code
The main toy-model for topological order is the toric code.
There are two possible approaches to toric (surface) codes:1 Is it possible to build a self-correcting quantum memory?
Toric code as a physical system (Hamiltonian approach)
2 Can we build efficient quantum correction protocols based on localoperators?Surface codes as error correction schemes.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 9: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/9.jpg)
Toric (surface) code
The main toy-model for topological order is the toric code.
There are two possible approaches to toric (surface) codes:1 Is it possible to build a self-correcting quantum memory?
Toric code as a physical system (Hamiltonian approach)
2 Can we build efficient quantum correction protocols based on localoperators?Surface codes as error correction schemes.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 10: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/10.jpg)
Toric CodeA. Kitaev, Ann. Phys. 303 (2003)
Spin 1/2 model on the square lattice (periodic boundary conditions).
Hamiltonian:
H = −∑v
Av −∑p
Bp
The Hamiltonian is the sum of twokind of terms (stabilizers):
Av =∏i∈v
σx,i , Bp =∏i∈p
σz,i
All these terms commute:
[Ai, Aj ] = [Bi, Bj ] = [Ai, Bj ] = 0
Spins sit on the edges:
A x
x
xx
Bz
zz
z
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 11: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/11.jpg)
Toric CodeA. Kitaev, Ann. Phys. 303 (2003)
Spin 1/2 model on the square lattice (periodic boundary conditions).
Hamiltonian:
H = −∑v
Av −∑p
Bp
The Hamiltonian is the sum of twokind of terms (stabilizers):
Av =∏i∈v
σx,i , Bp =∏i∈p
σz,i
All these terms commute:
[Ai, Aj ] = [Bi, Bj ] = [Ai, Bj ] = 0
Spins sit on the edges:
Ax
x
xx
Bz
zz
z
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 12: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/12.jpg)
Toric codeGround states with periodic boundary conditions
H = −∑
Av −∑
Bp
Since all the stabilizers A and B commute, a GS is identified by:
Av =∏
σx,i = 1 , Bp =∏
σz,i = 1.
Number of physical spins:N = 2L2
Number of stabilizers:NA = L2, NB = L2
2 constraints:∏Av = 1 ,
∏Bp = 1.
Number of ground states:
2N−(NA+NB−2) = 4.
A x
x
xx
Bzz z
zL = 4
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 13: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/13.jpg)
Toric codeGround states with periodic boundary conditions
H = −∑
Av −∑
Bp
Since all the stabilizers A and B commute, a GS is identified by:
Av =∏
σx,i = 1 , Bp =∏
σz,i = 1.
Number of physical spins:N = 2L2
Number of stabilizers:NA = L2, NB = L2
2 constraints:∏Av = 1 ,
∏Bp = 1.
Number of ground states:
2N−(NA+NB−2) = 4.
A x
x
xx
Bzz z
zL = 4
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 14: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/14.jpg)
ExcitationsErrors
H = −∑v
Av −∑p
Bp ; Av =∏i∈v
σx,i , Bp =∏i∈p
σz,i.
IfAv = −1 or Bp = −1, a localized excitation appears with energy 2.A = −1: electric charge e.B = −1: magnetic vortex m.
Local operators σz or σx create pairs of excitations:
ze em
x
mA
B
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 15: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/15.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
ze e
A string of σz createsand moves a pair ofelectric defects.
A closed stringcommutes with theHamiltonian: it creates,moves and annihilatesthe electric defects.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 16: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/16.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
ze ez
A string of σz createsand moves a pair ofelectric defects.
A closed stringcommutes with theHamiltonian: it creates,moves and annihilatesthe electric defects.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 17: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/17.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
ze
e
z
z
A string of σz createsand moves a pair ofelectric defects.
A closed stringcommutes with theHamiltonian: it creates,moves and annihilatesthe electric defects.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 18: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/18.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
ze
e
z
z
z
A string of σz createsand moves a pair ofelectric defects.
A closed stringcommutes with theHamiltonian: it creates,moves and annihilatesthe electric defects.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 19: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/19.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
ze
e
z
z
zz
A string of σz createsand moves a pair ofelectric defects.
A closed stringcommutes with theHamiltonian: it creates,moves and annihilatesthe electric defects.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 20: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/20.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
ze
e
z
z
zz
z
A string of σz createsand moves a pair ofelectric defects.
A closed stringcommutes with theHamiltonian: it creates,moves and annihilatesthe electric defects.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 21: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/21.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
ze
e
z
z
zz
z
z
A string of σz createsand moves a pair ofelectric defects.
A closed stringcommutes with theHamiltonian: it creates,moves and annihilatesthe electric defects.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 22: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/22.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
z z
z
zz
z
zz
A string of σz createsand moves a pair ofelectric defects.A closed stringcommutes with theHamiltonian: it creates,moves and annihilatesthe electric defects.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 23: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/23.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
m x m
A string of σx on thedual lattice creates andmoves a pair ofmagnetic vortices.Also in this case closedstrings commute withthe Hamiltonian.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 24: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/24.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
m mx x
A string of σx on thedual lattice creates andmoves a pair ofmagnetic vortices.Also in this case closedstrings commute withthe Hamiltonian.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 25: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/25.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
m
m
x x
x
x
xA string of σx on thedual lattice creates andmoves a pair ofmagnetic vortices.Also in this case closedstrings commute withthe Hamiltonian.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 26: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/26.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
x x
x
x
xm xx
m
A string of σx on thedual lattice creates andmoves a pair ofmagnetic vortices.Also in this case closedstrings commute withthe Hamiltonian.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 27: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/27.jpg)
String operators
String operators∏i σz,i and
∏i σx,i create and move excitations:
x x
x
x
x
xx
x
x
x
A string of σx on thedual lattice creates andmoves a pair ofmagnetic vortices.Also in this case closedstrings commute withthe Hamiltonian.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 28: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/28.jpg)
Symmetries
All the closed strings of σz operators on the lattice aresymmetries.All the closed strings of σx operators on the dual lattice aresymmetries.They correspond to create a pair of excitations, move them, andannihilate them, leaving the energy invariant.
There are two kinds of these symmetries:
1
Trivial symmetry (stabilizers): itis the product of stabilizers A or B,thus it is the identity over theground states.
z z
z
zz
z
zz B B
B
2 Non-trivial symmetry (not a product of stabilizers). It is a stringwith non-trivial homology and its value is not fixed.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 29: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/29.jpg)
Non-trivial String Symmetries
Non-trivial string symmetries correspond to non-contractible loopson the torus either of the X or of the Z kind:
The contractible string symmetries instead can always be reducedto the product of local stabilizers.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 30: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/30.jpg)
Non-trivial String SymmetriesLogical operators
There are four independent symmetries and they correspond to thefollowing non-contractible loop operators:
X
X
Z
Z1
1
2
2
The 4 string-symmetries withnon-trivial homology do notcommute with each other.
There are 4 degenerate groundstates which encodes 2 logicalqubits.These string-operators commutewith the stabilizers but are notstabilizers.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 31: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/31.jpg)
Non-trivial String SymmetriesLogical operators
There are four independent symmetries and they correspond to thefollowing non-contractible loop operators:
X
X
Z
Z1
1
2
2
The 4 string-symmetries withnon-trivial homology do notcommute with each other.There are 4 degenerate groundstates which encodes 2 logicalqubits.
These string-operators commutewith the stabilizers but are notstabilizers.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 32: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/32.jpg)
Non-trivial String SymmetriesLogical operators
There are four independent symmetries and they correspond to thefollowing non-contractible loop operators:
X
X
Z
Z1
1
2
2
The 4 string-symmetries withnon-trivial homology do notcommute with each other.There are 4 degenerate groundstates which encodes 2 logicalqubits.These string-operators commutewith the stabilizers but are notstabilizers.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 33: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/33.jpg)
Non-trivial String SymmetriesEquivalence of strings of the same kind
String operators with the same homology and of the same kind areequivalent through the multiplication by stabilizers:
Z2
z
z
z
z
Z2
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 34: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/34.jpg)
Non-trivial String SymmetriesEquivalence of strings of the same kind
String operators with the same homology and of the same kind areequivalent through the multiplication by stabilizers:
Z2
z
z
z
z
B1
zz z
z
Z2 = B1Z2
Because Bp = 1 on the ground states.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 35: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/35.jpg)
Non-trivial String SymmetriesEquivalence of strings of the same kind
String operators with the same homology and of the same kind areequivalent through the multiplication by stabilizers:
Z2
z
z
z
zz
z
Z2 = B1Z2
Because Bp = 1 on the ground states.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 36: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/36.jpg)
Non-trivial String SymmetriesEquivalence of strings of the same kind
String operators with the same homology and of the same kind areequivalent through the multiplication by stabilizers:
Z2
z
z
z
zz
z
B3
zz z
z
B4
zz z
z
B2
zz z
z
Z2 = Z2
∏Bp = Z ′2
Because Bp = 1 on the ground states.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 37: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/37.jpg)
Non-trivial String SymmetriesEquivalence of strings of the same kind
String operators with the same homology and of the same kind areequivalent through the multiplication by stabilizers:
Z'2
z
z
z
z
Z2 = Z2
∏Bp = Z ′2
Because Bp = 1 on the ground states.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 38: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/38.jpg)
Localized excitations: anyons
e - excitations are created and moved by z-strings.Since all the z-strings commute with each other, e - excitationsobey a bosonic statistics.The same is true for m - excitations which are driven by x-strings.
When a charge e is moved around a vortex m, however, anon-trivial phase appears.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 39: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/39.jpg)
Localized excitations: anyons
e - excitations are created and moved by z-strings.Since all the z-strings commute with each other, e - excitationsobey a bosonic statistics.The same is true for m - excitations which are driven by x-strings.When a charge e is moved around a vortex m, however, anon-trivial phase appears.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 40: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/40.jpg)
BraidingString operators
ze ez
m x m
Moving m around e, the wavefunction acquires a phase −1.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 41: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/41.jpg)
BraidingString operators
ze ez
m x mx x x
Moving m around e, the wavefunction acquires a phase −1.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 42: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/42.jpg)
BraidingString operators
ze ez
m x
m
x x x
x
x
x
Moving m around e, the wavefunction acquires a phase −1.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 43: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/43.jpg)
BraidingString operators
ze ez
m x x x x
x
x
xm xx
Moving m around e, the wavefunction acquires a phase −1.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 44: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/44.jpg)
BraidingString operators
ze e
m x x x x
x
x
x
m
xx
x
x
zx
Moving m around e, the wavefunction acquires a phase −1.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 45: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/45.jpg)
Anyonic Excitations
The mutual statistics of e and m is neither bosonic nor fermionic:they are a first trivial example of Abelian anyons.
Abelian Anyons are localized excitations, living in 2D systems,whose statistics is neither bosonic nor fermionic.Their exchange is defined by a non-trivial phase different from±1.In particular if we consider the wavefunction Ψ(re, rm) with a pairof e and m excitations, by winding e around m we obtain:
Ψ(re, rm)→ R2emΨ(re, rm) = −Ψ(re, rm)
The process is topologically equivalent to two counterclockwiseexchanges of the positions re and rm.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 46: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/46.jpg)
Anyonic Excitations
The mutual statistics of e and m is neither bosonic nor fermionic:they are a first trivial example of Abelian anyons.Abelian Anyons are localized excitations, living in 2D systems,whose statistics is neither bosonic nor fermionic.Their exchange is defined by a non-trivial phase different from±1.
In particular if we consider the wavefunction Ψ(re, rm) with a pairof e and m excitations, by winding e around m we obtain:
Ψ(re, rm)→ R2emΨ(re, rm) = −Ψ(re, rm)
The process is topologically equivalent to two counterclockwiseexchanges of the positions re and rm.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 47: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/47.jpg)
Anyonic Excitations
The mutual statistics of e and m is neither bosonic nor fermionic:they are a first trivial example of Abelian anyons.Abelian Anyons are localized excitations, living in 2D systems,whose statistics is neither bosonic nor fermionic.Their exchange is defined by a non-trivial phase different from±1.In particular if we consider the wavefunction Ψ(re, rm) with a pairof e and m excitations, by winding e around m we obtain:
Ψ(re, rm)→ R2emΨ(re, rm) = −Ψ(re, rm)
The process is topologically equivalent to two counterclockwiseexchanges of the positions re and rm.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 48: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/48.jpg)
BraidingAnyonic statistics
Moving a particle around another is topologically equivalent totwo exchanges of their position.These exchanges are also called braidings.The mutual statistics of e and m is described by a phase:
Rem = eiπ2
e m
Top view
e m
tWorld lines
In particular we demonstrated R2em = −1.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 49: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/49.jpg)
Braiding and degeneracy of the ground states
The braiding statistics and the degeneracy of the ground statesare related.In particular the logical operator X1 corresponds to wind a pair ofm along one of the loops of the torus and annihilate them.Z1 instead winds a pair of e in the other direction.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 50: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/50.jpg)
Braiding and degeneracy of the ground states
The braiding statistics and the degeneracy of the ground statesare related.In particular the logical operator X1 corresponds to wind a pair ofm along one of the loops of the torus and annihilate them.Z1 instead winds a pair of e in the other direction.
X1Z1X−11 Z−1
1 =
x
y
t
X1
X1
Z1
Z1
=
tRem2
= −1
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 51: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/51.jpg)
Toric code and topological orderA summary so far
E
GS
Pairs ofexcitations
Gap
0 The toric code has 4 degenerate GSprotected by a gap;
1 Their degeneracy depends onnon-contractible string operators: it hasa topological nature;
2 No local operator allows transitionamong the GS.The local operators are either stabilizers(= 1) or create pairs of excitations.
3 The excitations are (mutually) anyons.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 52: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/52.jpg)
Surface CodeS. Bravyi and A. Kitaev, arXiv:quant-ph/9811052
The torus is an unphysical system. Let us change BC:
A x
x
xx
Bz
zz
z
x
x
x
A'
B'z
z
z
There are two possibleboundary conditions definedby two different 3-qubit stabilizercode elements, A′ and B′
The degeneracy now is different due to the different geometry and theabsence of constraints.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 53: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/53.jpg)
Surface CodeS. Bravyi and A. Kitaev, arXiv:quant-ph/9811052
z
z
z
z
e'
e'
x x x x x xm mXL
ZL
The boundary terms implythat now we have only twonon-commutingstring-simmetry operatorswhich commute with theHamiltonian.Thus a rectangular systemof this kind has a twofolddegeneracy.We store one qubit.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 54: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/54.jpg)
Holes in the surface code
To store more than one qubit we may consider a “hole geometry”:
A
A
b
H
BH
Ab
Ab
Ab AH AHA
AH AH
BHBb
Bb
Bb
Bb
Some of the stabilizers are excluded from the Hamiltonian.Due to the two possible boundaries there are two different kinds ofholes which can host a magnetic or an electric degree of freedom.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 55: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/55.jpg)
Holes in the surface codeLogical operators
m
XL
ZL
Two states are distinguished by the presence of a magnetic fluxin the hole.A loop of Z detects the state of the system. A cut of X changesthe state.The degeneracy of the ground state doubles for each hole and isproportional to 2g.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 56: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/56.jpg)
Thermal FragilityNussinov and Ortiz, Ann. Phys. 324 (2009)
The formation of anyonic excitations is suppressed by the gapwhen we consider a temperature lower than the gap.However, once a pair of anyons is created, they can freelypropagate without paying any kinetic or confinement energy.This implies that, even though excitations are suppressed, afinite number of them is enough to destroy the information storedin the GS.
More rigorously the partition function of the toric code undergoesa dimensional riduction: it can be written as the product of twoindependent classical 1D Ising chains. The classical Ising chainhas no spontaneous symmetry breaking for T > 0, the onlyphase transition is at T = 0. This implies that, for every T > 0,the expectation values of the logical operators Xi, Zi vanish.At thermic equilibrium for T > 0 there is no topological protection.One possible way around it could be disorder to localize theexcitations.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 57: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/57.jpg)
Thermal FragilityNussinov and Ortiz, Ann. Phys. 324 (2009)
The formation of anyonic excitations is suppressed by the gapwhen we consider a temperature lower than the gap.However, once a pair of anyons is created, they can freelypropagate without paying any kinetic or confinement energy.This implies that, even though excitations are suppressed, afinite number of them is enough to destroy the information storedin the GS.More rigorously the partition function of the toric code undergoesa dimensional riduction: it can be written as the product of twoindependent classical 1D Ising chains. The classical Ising chainhas no spontaneous symmetry breaking for T > 0, the onlyphase transition is at T = 0. This implies that, for every T > 0,the expectation values of the logical operators Xi, Zi vanish.At thermic equilibrium for T > 0 there is no topological protection.
One possible way around it could be disorder to localize theexcitations.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 58: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/58.jpg)
Thermal FragilityNussinov and Ortiz, Ann. Phys. 324 (2009)
The formation of anyonic excitations is suppressed by the gapwhen we consider a temperature lower than the gap.However, once a pair of anyons is created, they can freelypropagate without paying any kinetic or confinement energy.This implies that, even though excitations are suppressed, afinite number of them is enough to destroy the information storedin the GS.More rigorously the partition function of the toric code undergoesa dimensional riduction: it can be written as the product of twoindependent classical 1D Ising chains. The classical Ising chainhas no spontaneous symmetry breaking for T > 0, the onlyphase transition is at T = 0. This implies that, for every T > 0,the expectation values of the logical operators Xi, Zi vanish.At thermic equilibrium for T > 0 there is no topological protection.One possible way around it could be disorder to localize theexcitations.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 59: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/59.jpg)
Error Correction
To overcome thermal fragility we adopt a different strategy:active error correction.The stabilizers are essentially local projectors:
1 +Av2
,1 +Bp
2;
The set of all the stabilizers project on the ground states of theHamiltonian, which correspond to the subspace of protectedstates.A failure in one projector implies the presence of excitations,therefore errors.Error correction, in this case, can be seen as an artificialdynamics: in each time step we measure all the local stabilizersto detect whether an error occured.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 60: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/60.jpg)
Error Correction
Av =∏
σx,i = 1 , Bp =∏
σz,i = 1.
Vertex and plaquette operators can be considered as commuting4-qubit measurements.Since all the stabilizers commute with the ground-logical states,they give no information about the logical qubits.
To do error correction we discretize time and, at each time step,measure (syndrome measurements) alternatively all the As andall the Bs.If a measurement results in −1, we detect and localize an error(excitation of the toric code): we know that a noise operatoracted on one qubit.By applying a suitable string operator we can correct the error (orwe can simply keep track of them).
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 61: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/61.jpg)
Error Correction
Av =∏
σx,i = 1 , Bp =∏
σz,i = 1.
Vertex and plaquette operators can be considered as commuting4-qubit measurements.Since all the stabilizers commute with the ground-logical states,they give no information about the logical qubits.To do error correction we discretize time and, at each time step,measure (syndrome measurements) alternatively all the As andall the Bs.If a measurement results in −1, we detect and localize an error(excitation of the toric code): we know that a noise operatoracted on one qubit.By applying a suitable string operator we can correct the error (orwe can simply keep track of them).
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 62: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/62.jpg)
Error Correction
To perform the measurements, one strategy is to double the numberof qubits. We distinguish physical qubits and ancillary qubits.
Physical qubits are theones of the previousHamiltonian.
We add one ancilla foreach plaquette andvertex to perform thesyndrome measures.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 63: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/63.jpg)
Syndrome measuresVertex and plaquette operators
The stabilizer operators can be actively implemented through thefollowing circuits involving CNOTs, single-qubit operators andmeasurements.
M0 HH
M0
ψ ψ
ψ ψ
B=
A=
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 64: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/64.jpg)
Single Defect Qubit
By excluding some of thesyndrome measures wecan store information inthe holes (eithermagnetic or electric).
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 65: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/65.jpg)
Double Defect QubitSee, for example, Fowler et al., Phys. Rev. A 86, 032324 (2012)
Let us consider two magnetic holeswhich may be empty |0〉 or host avortex |1〉.It is convenient to define the followinglogical states in a space with nooverall vortices:
|0〉L = |0〉1|0〉2 , |1〉L = |1〉1|1〉2
The operators XL and ZL aresingle-qubit logical operators.Exploiting both magnetic and electricpairs of holes (and the anyonicstatistics!) one can engineertwo-qubit gates.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 66: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/66.jpg)
Very rough estimate of logical errors
A logical error occurs when if there appear a chain of errors in thelogical qubit whose length is greater than L/2:
x x mE 1
x x mE 2x x
l
E1 can be efficiently corrected;E2 cannot be corrected sincel > L/2;
Estimate of the probability of logical errors:
PL ≈∑l>L/2
LL!
(L− l)!l!ple ≈
√2L
π(4pe)
L/2
where the total number of qubits scales as 2L2.Error treshold with perfect ancillas ∼ 15%.Real error treshold ∼ 0.008.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 67: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/67.jpg)
What about experiments?Martinis et al., arXiv:1401.0257v3
4 simultaneous single-qubit measurements with fidelity of 99% inless than 200ns.Coherence time > 10µs (they claim that 100µs is reachable).
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 68: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/68.jpg)
Transmon: 2-qubit gatesDiCarlo et al., Nature 460 (2009)
A Control Phase gate is obtained with fidelity & 0.90.The system can be modelled through a double Jaynes-Cummings:
H = ωra†a+
ΩL2σz,L +
ΩR2σz,R +
∑k=L,R
g(a†σ−i + aσ+
i
)
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 69: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/69.jpg)
Transmon: 3-qubit gatesReed et al., Nature 482 (2012)
A 3-qubit Toffoli CCNOT gate is obtained with fidelity ∼ 0.80.The architecture could be used for 4-qubit gates.
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 70: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/70.jpg)
Suggested references
General review about Kitaev’s model (Toric code, Majoranachain):A. Kitaev and C. Laumann, Topological phases and quantumcomputation, arXiv:0904.2771 (2008 Les Houches summerschool).Original paper on the toric code:A. Kitaev, Fault-tolerant quantum computation by anyons,Ann. Phys. 303 (2003), arXiv:quant-ph/9707021.Original work on the surface code:S. Bravyi and A. Kitaev, Quantum codes on a lattice withboundary, arXiv:quant-ph/9811052 (1998).Reviews about surface codes:A. G. Fowler et al., Surface codes: Towards practical large-scalequantum computation, Phys. Rev. A 86, 032324 (2012),arXiv:1208.0928.D. DiVincenzo, Fault tolerant architectures for superconductingqubits, arXiv:0905.4839 (2009).
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 71: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/71.jpg)
Surface codes in Josephson junction arraysL. B. Ioffe and M. V. Feigel’man, PRB 66 (2002).
The elementary qubit is obtained from a flux qubit with 4 Josephsonjunctions EJ :
o
A B
U = −2EJ
(∣∣∣cosϕAB
2
∣∣∣+∣∣∣sin ϕAB
2
∣∣∣)
Two (semiclassical) degenerate ground states:
|↑〉 : ϕAB =π
2; |↓〉 : ϕAB = −π
2.
In the regime EJ EC the amplitude of the spin flip σx is:
r ≈ E3/4J E
1/4C e−1.61
√EJ/EC
Michele Burrello Topological Order and Quantum Computation Toric code
![Page 72: Topological Order and Quantum Computation Toric codetheory.fi.infn.it/.../Burrello_Lecture_1(ToricCode).pdf · 2017-08-21 · Topological Order and Quantum Computation Overview of](https://reader033.vdocuments.us/reader033/viewer/2022042112/5e8d9f9d60e2106d4941e493/html5/thumbnails/72.jpg)
Surface code in Josephson junction arrays
o
Plaquette constraint for Φ = Φ0/2:∑〈ij〉
ϕij = π
Bp =∏〈ij〉
σijz = 1
Michele Burrello Topological Order and Quantum Computation Toric code