introduction to topological quantum computationphysics.sharif.edu/~iissqi-08/miguel lectures.pdf ·...
TRANSCRIPT
![Page 1: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/1.jpg)
1
Introduction to TopologicalQuantum Computation
Miguel A. Martin-Delgado
Departamento de Física Teórica IFacultad de Ciencias Físicas
Universidad Complutense Madrid
![Page 2: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/2.jpg)
2
Work in collaboration with Hector BombinDepartamento de Física Teórica I
Facultad de Ciencias FísicasUniversidad Complutense Madrid
![Page 3: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/3.jpg)
3
Many thanks to the organizers for theirkind invitation to the Summer School
Organizing Institutes
![Page 4: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/4.jpg)
4
Special thanks to Prof. Vahid Karimipour,Prof. Martin Plenio, Prof. Terry Rudolph,
Prof. Barry Sanders for hiskind invitation and the rest of members of
the Organization
Also thanks to Laleh Memarzadeh,the Administrative Staff and Secretariesetc…
![Page 5: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/5.jpg)
5
Grupo de Información y ComputaciónCuánticas
Universidad Complutense de Madrid
Curso de Master en Fisica FundamentalInformación Cuántica y Computación
Cuántica
http://www.ucm.es/info/giccucm/
![Page 6: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/6.jpg)
6
References
H.Bomin, M.A. Martin-Delgado
![Page 7: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/7.jpg)
7
References
H. Bombin and M. A. Martin-DelgadoPhys. Rev. A 72, 032313 (2005)
Entanglement Distillation Protocols and Number Theory
H. Bombin and M. A. Martin-DelgadoPreprint 2006
Homological Error Correction: Classical and Quantum Codes
H. Bombin and M. A. Martin-DelgadoQuant-ph/
Topological Quantum Error Correction with Optimal Encoding Rate
![Page 8: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/8.jpg)
8
Outline of the SeminarsLectures on Topological Effects in Quantum Information
I. Introduction: Gaps And All That
II. The Lieb-Mattis-Schulz Theorem
III. Non-Linear Sigma Model And Quantum Spin Chains
IV. Simple Models With topological Order In 1d: AKLT And Its Descendants
V. Topological Orders And Quantum Information
VI. Quantum Error Correction In The Stabilizer Formalism
VII. Topological Stabilizer Codes
VIII. Topological Quantum Computation
![Page 9: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/9.jpg)
9
There are Many Paths towards the Topological Way to Quantum Computation
Topological Way = Alternative way to battle quantum decoherence
Let us framework our approach to topological Quantum information
I. Introduction
![Page 10: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/10.jpg)
10
The Fault-Tolerant Taxonomy
SelfcorrectingNon-Selfcorrecting LocalNon-Local
TopologicalNon-Topological
BraidingNon-Braiding
FusionNon-Fusion
Ground-StateProperties
Quasiparticles
I. Introduction
![Page 11: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/11.jpg)
11
III.Quantum Error Correction
![Page 12: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/12.jpg)
12
III.Quantum Error Correction
•Bad News: the threshold is very small
•Good News: Fault-Tolerant Qomputation is possible
Caution: the proof is constructive, there could be better thresholds
![Page 13: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/13.jpg)
13
III.Quantum Error Correction
![Page 14: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/14.jpg)
14
III. The Summer SchoolTopological Quantum Computation
The Topological Way to Battle Decoherence
Be Imaginative: Look for Alternatives Against Decoherence
(Remark: Decoherence is not always bad, We are here because of decoherence)
![Page 15: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/15.jpg)
15
IV. 2-Colexes
Some relevant properties of these Quantum Lattice Hamiltonians
•They are local: interactions between nearest-neighbour qubits
•The Ground State is Degenerate and it is the Stabilizer Code
•The Ground State Degeneracy depends on the Topology of the Surface
•There is a Gap in the Spectrum separating the Ground State from the rest of Excited States
![Page 16: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/16.jpg)
16
StabilizersUndetectable
errors
In order to introduce the idea of a topological stabilizercode (TSC), we must consider a topological space in whichour physical qubits are to be placed, for example a surface.
A TSC is a stabilizer code in which the generators of thestabilizer are local and undetectable errors (or encodedoperators) are topologically nontrivial.
III.Topological Stabilizer Codes
![Page 17: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/17.jpg)
17
A stabilizer code1 C of length n is a subspace of the Hilbert space ofa set of n qubits. It is defined by a stabilizer group S of Pauli operators,i.e., tensor products of Pauli matrices.
It is enough to give the generators of S. For example:
Operators O that belong to the normalizer of S
leave invariant the code space C. If they do not belong to the stabilizer,then they act non-trivially in the code subspace.
{ZXXZI, IZXXZ,ZIZXX,XZIZX}
|Ãi 2 C () 8 s 2 S s|Ãi = |Ãi
1 D. Gottesman 95
O 2 N (S) () OS = SO
II.Stabilizer Codes
![Page 18: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/18.jpg)
18
A encoded state can be subject to errors.
To correct them, we measure a set of generators of S. Theresults of the measurement compose the syndrome of theerror. Errors can be corrected as long as the syndrome letsus distinguish among the possible errors.
Since correctable errors always form a vector space, it isenough to consider Pauli operators, which form a basis.
We say that a Pauli error e is undetectable if it belongs toN(S)-S. In such a case, the syndrome says nothing:
A set of Pauli errors E is correctable iff:
8 s 2 S s e|Ãi = e s0|Ãi = e|Ãi
II.Stabilizer Codes
![Page 19: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/19.jpg)
19
II.Stabilizer Codes
![Page 20: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/20.jpg)
20
II.Stabilizer Codes
![Page 21: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/21.jpg)
21
IV. 2-Colexes
Goal: 2-dimensional layers as quantum registers, protectedby TO. Operations on encoded qubits without selectiveaddressing of physical qubits.
TO
Register stack
Each register is atopologically
protected layer.1-qubit and 2-qubitoperations. No
addressing.
![Page 22: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/22.jpg)
22
The first example of TSC were surface codes1, which are based on Z2homology and cohomology.
S gets identified with 1-boundaries and 1-coboundaries, and N(S) with 1-cyclesand 1-cocycles.
1 A. Yu. Kitaev 97
1 qubit per link
Face
operator1
3
2 4
Vertex
operator1
3
2 4
Encoded operator basis
v
v
v
v
X1X
2X
3X
4 Z1Z
2Z
3Z
4
1-boundary1-coboundary
X1
X2
Z1
Z2
III.Topological Stabilizer Codes
![Page 23: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/23.jpg)
23
The CNot gate can be implemented transversally onsurface codes. First, its action under conjugation onoperators is:
Thus the transversal action of the CNot on a surface code, atthe level of operators, is simply to copy chains forward andcochains backwards.
IX ¡! IX
XI ¡! XX
IZ ¡! ZZ
ZI ¡! ZI¤ :
Target surface
Source surface ¤
III.Topological Stabilizer Codes
![Page 24: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/24.jpg)
24
Finally, to see the action of the tranversal CNOT on the code, wehave to choose a Pauli basis for the encoded qubits. In the simplestexample we have a single qubit in a square surface with suitableborders:
Clearly the action of a transversal CNot is itself a CNot gate onthe encoded qubits. However, this is the only gate we can get withsurface codes. If we want to get further, we have to go beyondhomology.
¤X
Z¤ XI ¤^+= XX
III.Topological Stabilizer Codes
![Page 25: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/25.jpg)
25
III.Topological Stabilizer CodesA surface code (Kitaev) from another perspective:
![Page 26: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/26.jpg)
26
III.Topological Stabilizer Codes
Single Qubit
![Page 27: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/27.jpg)
27
A 2-colex is a trivalent 2-D lattice with 3-colored faces.
Edges can be 3-colored accordingly. Blue edgesconnect blue faces, and so on.
The name ‘colex’ is for ‘color complex’. D-colexes ofarbitrary dimension can be defined. Their key feature isthat the whole structure of the complex is contained in the1-skeleton and the coloring of the edges.
IV. 2-Colexes
![Page 28: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/28.jpg)
28
To construct a color code from a 2-colex, we place 1 qubitat each vertex of the lattice. The generators of S are faceoperators:
Transversal Clifford gates should belong to N(S). We have:
Here v is the number of vertices in the face. If it is amultiple of 4 for every face, then K is in N(S). H always is.
As for the CNot gate, it is clearly in N(S) (it is a CSS code).
1
2
3 4
5
6
IV. 2-Colexes
![Page 29: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/29.jpg)
29
In order to understand 2-D color codes, we have to introduce stringoperators in the picture. As in surface codes, we play with Z2 homology.However, there is a new ingredient, color.
A blue string is a collection of blue links
(hexagonal bishop with flavor X or Z): Strings can have endpoints, located at faces of the same color. However, in
that case the corresponding string and face operators will not commute.Therefore, a string operator belongs to N(S) iff the string has no endpoints.
Endpoint String operators1 2
34
5 6
IV. 2-Colexes
![Page 30: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/30.jpg)
30
For each color we can form a shrunk graph. The red one is:
Thus for each color homology works as in surface codes. Thenew feature is the possibility to combine homologous blueand red string operators of the same kind to get a green one.
Red faces A red face is alsoblue or green stringRed edges
Blue and green faces
verticesedgesfaces, faces
IV. 2-ColexesContinous Visualization of Color Strings
![Page 31: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/31.jpg)
31
IV. 2-Colexes
Strings can be deformedand colors branched:
Equivalent strings act equallyon the Ground State.
1
2
g
r
![Page 32: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/32.jpg)
32
Since there are two independent colors, the number of encoded qubitsshould double that of a surface code. Lets check this for a surfacewithout boundary using the Euler characteristic for any shrunklattice.
Face operators are subject to the conditions
so that the total number of generators is
The number of physical qubits is . Therefore the number ofencoded qubits q is twice the first Betti number of the manifold:
 = V + F ¡ E
f 2 r
¾f
f 2 r
B¾f=
f 2 r
¾f
g = 2(F + V ¡ 2)n = 2E
IV. 2-Colexes
k = n ¡ g = 4¡ 2Â = 2h1[[n, k, d]]
![Page 33: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/33.jpg)
33
In order to form a Pauli basis for the operators acting onencoded qubits, we can use as in surface codes those stringoperators (SO) that are not homologous to zero.
To this end, we need the commutation rules for SO.
Clearly SO of the same type (X or Z) always commute.
A string is made up of edges with two vertices each.Therefore, two SO of the same color have an even number ofqubits in common an they commute.
SO of different colors can anticommute, but only if theycross an odd number of times:
Sb
Sg
IV. 2-Colexes
![Page 34: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/34.jpg)
34
IV. 2-Colexes
![Page 35: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/35.jpg)
35
Now we can construct the desired operator basis for the encoded qubits.In a 2-torus a possible choice is:
However, if we apply the transversal H gate to such a code the resultingencoded gate is not H. The underlying reason is that for a string S wenever have
IV. 2-Colexes
![Page 36: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/36.jpg)
36
But we can consider surfaces with boundary. To this end,we take a sphere, which encodes no qubit, and removefaces.
When a face is removed, the resulting boundary must haveits color, and only strings of that color can end at theboundary.
X1
X2
Z1
Z2
2 qubits 2 qubitsX
1Z
1
Z2
X2
As desired!
T
{T X , T Z } = 0
IV. 2-ColexesWay out:
Toy BaryonorString-Net1
1Wen et al.
![Page 37: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/37.jpg)
37
IV. 2-Colexes
![Page 38: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/38.jpg)
38
We can even encode a single qubit an remove the need for holes. If weremove a site and neighboring links and faces from a 2-colex in asphere, we get a triangular code:
We can construct triangularcodes of arbitrary sizes. Thevertices per face can be 4 and8 so that K is in N(S).
ZX
Simplestexample
IV. 2-ColexesLook for 2-colexes with string-nets:
![Page 39: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/39.jpg)
39
The transversal H clearly amounts to an encoded H:
This is also true for K. The anticommutation properties of T imply that itssupport consists of an odd number of qubits:
Therefore, the Clifford group can be implemented transversally intriangular codes.
T
TX ¡! T Z
T Z ¡! T XH : X ¡! Z
Z ¡! XH :
K :Z ¡! Z
X ¡! iXZ K : T X ¡! ±iT X T Z
T Z ¡! T Z
IV. 2-Colexes
![Page 40: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/40.jpg)
40
IV. 2-Colexes
![Page 41: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/41.jpg)
41
IV. 2-Colexes•Quantum Hamiltonians and Topological Orders
•Given a Topological Stabilizer Code Strongly Correlated System with Topological Order
•The Hamiltonian is constructed from the Code Generators: Several Forms
•Original Form for Kitaev Code
![Page 42: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/42.jpg)
42
IV. 2-Colexes
•Checkerboard Forms
•Kitaev’s Code
•Color Codes
Plaquettes: Separated
Plaquettes: Together
![Page 43: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/43.jpg)
43
IV. 2-Colexes
Some relevant properties of these Quantum Lattice Hamiltonians
•They are local: interactions between nearest-neighbour qubits
•The Ground State is Degenerate and it is the Stabilizer Code
•The Ground State Degeneracy depends on the Topology of the Surface
•There is a Gap in the Spectrum separating the Ground State from the rest of Excited States
![Page 44: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/44.jpg)
44
IV. 2-Colexes Ground State GS can be described by
applying string-net operators to the GS:
We can give an expression for the states of the logical qubit
{|0i, |1i}:
|1i := X |0i, Z|li = (¡1)^l l|li,
l = 0, 1
.
and
![Page 45: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/45.jpg)
45
IV. 2-Colexes
Excitations can be created applyingstring operators to the GS:
Each endpoint is a quasiparticle,a violation of a face condition.
SZASX
B |GSi
![Page 46: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/46.jpg)
46
Anyons
The quasiparticles that populate the system are abeliananyons.
When, for example, a green X excitation loops around ablue Z excitation, the system gets a global minus sign:
Note that excitations, or their braiding, play no role inour computational model. All the operations are carried outin the ground state of the system.
{SZA, SX
C } = 0
SXC(SZ
ASX
B |GSi) = ¡SZASX
B |GSi
IV. 2-Colexes
![Page 47: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/47.jpg)
47
IV. 2-Colexes
Topological 2D Stabilizer Codes: Comparative Study
•We compute the topological error correcting rate for surface codes
and color codesin several instances.
• A color code encodes twice as much logical qubits as a surface code does
Pauli operator bases in the torus
CsC
c
kc= 2k
s
![Page 48: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/48.jpg)
48
IV. 2-Colexes
Examples of regular codes in the torus with distance d=4
n=32
squares hexagons
n=24
Typical values Typical values
n=16
Optimal valuesn=18
Optimal values
![Page 49: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/49.jpg)
49
IV. 2-Colexes
Examples of Planar Codes encoding a single qubit
Kitaev’s code Color code
The colors in the borders represent the class of the missing face
![Page 50: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/50.jpg)
50
IV. 2-Colexes
Examples of Planar Codes encoding a single qubit
n=41, d=5
Typical values
n=25, d=5
Optimal values
Cops= 1C
s= 2
n=7, d=3n=19, d=5
n=37, d=7Cop
s=3
8
![Page 51: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/51.jpg)
51
3-colexes are tetravalent lattices with a particular localappearance such that their 3-cells can be 4-colored. They canbe built in any compact 3-manifold without boundary.
Edges can be colored accordingly, as in the 2-D case.
The neigborhoodof a vertex.
The simplest 3-colex inthe projective space.
V. 3-Colexes
![Page 52: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/52.jpg)
52
V. 3-Colexes
![Page 53: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/53.jpg)
53
This time the generators of S are face and (3-) cell operators.
Therefore there are two different homology groups in the picture, thosefor 1-chains and for 2-chains. But in fact, due to Poincaré’s duality theyare the same.
A b-cell A by-face separates b-and y-cells.
Cell operators Face operators
1 2
43
12
34 6
78
V. 3-Colexes
![Page 54: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/54.jpg)
54
Strings are constructed as in 2-D, but now come in four colors. Branching is againpossible.
The new feature are membranes. They come in 6 color combinations and alsohave branching properties.
There exist appropiate shunk complexes both for strings and formembranes.
String operators Membrane operators
b-string ry-membrane
membrane
string
V. 3-Colexes
![Page 55: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/55.jpg)
55
V. 3-Colexes
![Page 56: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/56.jpg)
56
Now there are 3 indendent colors for strings (and similarly 3 colorcombinations for membranes). Therefore, we expect that the number ofencoded qubits will be
String and membrane operators always commute, unless they share acolor and the string crosses an odd number of times the membrane.
3h1 = 3h2
Mby
Sb
{SZb,MX
by} = 0 A Pauli basis for the operators onthe 3 qubits encoded in S2xS1.
V. 3-Colexes
![Page 57: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/57.jpg)
57
V. 3-Colexes
![Page 58: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/58.jpg)
58
V. 3-Colexes
![Page 59: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/59.jpg)
59
3-Colexes cannot have a practical interest unless we allowboundaries. But this is just a matter of erasing cells. As intwo dimensions, boundaries have the color of the erased cell.
The analogue of triangular codes are tetrahedral codes,obtained by erasing a vertex from a 3-sphere.
The desired transversal K½ gate can be implemented as longas faces have 4x vertices and cells 8x vertices.
XZSimplest example
V. 3-Colexes
![Page 60: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/60.jpg)
60
V. 3-Colexes
![Page 61: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/61.jpg)
61
![Page 62: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/62.jpg)
62
D-colexes are D-valent complexes with certain coloringproperties.
Topological color codes are obtained from colexes. Theyhave a richer structure than surface codes.
2-colexes allow the transversal implementation of Cliffordoperations.
3-colexes allow the transversal implementation of the samegates as Reed-Muller codes.
Conclusions
![Page 63: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/63.jpg)
63
Conclusions
• There does not exist a fully or complete topological order in D=3 dimensions, unlike in D=2.
• There does not exist a topological order that can discriminate among all the possibletopologies in three dimensional manifolds.
• We may introduce the notion of a Topologically Complete (TC) class of quantum Hamiltonians
• We have found a class of topological orders based on the construction of certain lattices calledcolexes that can distinguish between 3D-manifolds with different homology properties =Homologically Complete (HC) class of quantum Hamiltonians.
• We could envisage the possibility of finding a quantum lattice Hamiltonian, possiblywith a non-abelian lattice gauge theory, that could distinguish between any topology in threedimensions by means of its ground state degeneracy.This would amount to solving the Poincaré conjecture with quantum mechanics.
![Page 64: Introduction to Topological Quantum Computationphysics.sharif.edu/~iissqi-08/Miguel lectures.pdf · 17 A stabilizer code1 C of length n is a subspace of the Hilbert space of a set](https://reader035.vdocuments.mx/reader035/viewer/2022062507/5fc04e70e6a6694a22521570/html5/thumbnails/64.jpg)
64
References
H.Bomin, M.A. Martin-Delgado