Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to...
Transcript of Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to...
![Page 1: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/1.jpg)
Picking holes and cutting corners to achieveClifford gates with the surface code
Benjamin J. Brown
X1 X2
Z1
Z2
r
r
r
re
eX
Z
together with K. Laubscher, M. Kesselring and J. Wootton
![Page 2: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/2.jpg)
Topological quantum computation
Code Deformations by braiding punctures1
Braiding anyons2
1Figure from Nat. Phys. 5, 19 (2009)2Figure from http://www.csee.umbc.edu,
![Page 3: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/3.jpg)
The planar codeWe first introduce the familiar planar code
X
X
X
X
Z
Z
Z
Z
Z Z
X
X
Z
Z
Z
Z
Z
Z
Z
Z
Z
(a)
(b)
(c)
(d)
(e)
(f)
I The planar code is astabilizer code, s.t.
S |ψ〉 = (+1)|ψ〉
for elements S ∈ S of thestabilizer group S where |ψ〉are codewords
I Codewords are manipulatedby logical operators X and Z
I (It follows that) logicaloperators have anunchanged action on thecodespace undermultiplication by stabilzers
Alexei Kitaev Ann. Phys. (2003), Dennis et al. (2002)
![Page 4: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/4.jpg)
The planar codeMultiplying (stringlike) logical operators by stabilizers continuously deforms strings
X
X
X
X
Z
Z
Z
Z
Z Z
X
X
Z
Z
Z
Z
Z
Z
Z
Z
Z
(a)
(b)
(c)
(d)
(e)
(f)
I Stabilizers are represented asclosed loops
(a)
(b)
(c)
where red(blue) strings indicatestrings of Pauli-Zs(Pauli-Xs)
I We also require different (roughand smooth) boundaries toterminate different types of strings
![Page 5: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/5.jpg)
Strings can be interpreted as world lines of particles
(a)
(b)
(c)
![Page 6: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/6.jpg)
Strings can be interpreted as world lines of particles
Particles of the same type have bosonic exchange statistics
= (+1)
![Page 7: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/7.jpg)
Strings can be interpreted as world lines of particles
Exchanging two particles of different types give non-trivialexchange statistics (e-charges and m-charges)
= (−1)
![Page 8: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/8.jpg)
Strings can be interpreted as world lines of particlesComposite excitations behave like fermions
= (+1)
= (−1)
(This follows from facts given in the previous two slides)
![Page 9: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/9.jpg)
We can also encode qubits using twist defectsDislocations change the string type from X to Z, and their end points are Majorana modes
Y
Z Y Y Y X
Y
X
X
Y
Z
Z
Z
Z
X
X
(a)
(b)
(c)
(d)
I We will mostly work with thisdiagrammatic langauge away fromthe lattice
(a)
(b)
(c)
(d)
(e)
I Dislocation lines change bluestrings to red strings and viceversa.
![Page 10: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/10.jpg)
Interpreting twist defects as Majorana modes
Twist defects can absorb fermions
![Page 11: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/11.jpg)
Interpreting twist defects as Majorana modes
We can only measure the charge parity of pairs of twists
![Page 12: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/12.jpg)
Interpreting twist defects as Majorana modes
With these observations we see that twist defects have the fusionrules of Ising anyons (Majorana modes)
σ × σ = 1 + ψ
σ × ψ = σ
ψ × ψ = 1
![Page 13: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/13.jpg)
In the corners of the planar codeWe consider four twist defects on the surface code
![Page 14: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/14.jpg)
In the corners of the planar codeWe deform the logical operators such that they terminate at the lattice boundary
![Page 15: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/15.jpg)
In the corners of the planar codeThe physics of the previous model is unchanged if we move the defects to the boundary
![Page 16: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/16.jpg)
In the corners of the planar codeMoreover, we can move the dislocation lines to the boundary to recover the planar code
![Page 17: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/17.jpg)
In the corners of the planar code
planar code corners ⇔ Majorana modes
(a) (b)
(c) (d)
![Page 18: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/18.jpg)
Braiding cornersWe can move holes into the bulk by code deformation
XX
X
Y X
Y
Y
Y
Y
Y
X Y Y Y
Z Z
Z
ZX
Z
Z X
YX
(a) (b)
(c)
(d)(e)
![Page 19: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/19.jpg)
Braiding cornersExchanging corners allows us to perform single-qubit Clifford gates
(a) (b)
(c) (d)
![Page 20: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/20.jpg)
Other schemes for two-dimensional quantum computationBraiding holes, color codes or corner braiding?
braiding corners
Braiding holes
Y
Y
Y
X
Y
Y
Z
Y
X
X
X
Z
Z
Z
Z
(a)
(b)
(c)
(d)
Color codes
![Page 21: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/21.jpg)
Combining surface code computational schemes
We can entangle a qubit encoded with four twists with a qubitentangled over two holes by braiding
XT
ZT
ZC
XC
![Page 22: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/22.jpg)
Combining surface code computational schemes
Diagrams showing that logical operators map accordingly(other logical operators map trivially)
(a) (b) (a) (b)
ZT → ZCZT XC → XCXT
![Page 23: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/23.jpg)
Combining surface code computational schemes
Entangling operations by parity measurements as in dislocationcode schemes [Hastings and Geller] are achieved by braiding holesaround static twist defects
target
ancilla control
XAXT
ZCZA
![Page 24: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/24.jpg)
Combining surface code computational schemes
We can also design other encodings over holes and twists
XZ
We call this a hybrid qubit
![Page 25: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/25.jpg)
Combining surface code computational schemesHole qubits, twist qubits and hybrid qubits have complimentarygate capabilities
XT
ZT
ZC
XC
XZ
I Twist qubits perform all single qubit Clifford gates, butrequire ancilla for two qubit gates
I Hole qubits do not require ancilla qubits for entangling gatesI Hybrid qubits have one single-qubit gate, and achieve
two-qubit gates easily
We can fault-tolerantly map between different encodings
![Page 26: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/26.jpg)
Two-qubit gates - lattice surgery
O(L) physical ancilla qubits are placed between pairs of planarcodes to perform logical parity measurments
![Page 27: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/27.jpg)
Two-qubit gates - lattice surgeryBy regarding corners as Majorana modes lattice surgery appears much more familiar asmeasurement only topological quantum computation
target
ancilla control
XAXT
ZCZA
target
ancilla control
![Page 28: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/28.jpg)
SummaryWe have developed and unified several methods of surface codequantum computation
I Twists ⇔ corners
I We achieve all the Cliffordgates with the planar code
(a) (b)
(c) (d)
I New hybrid encodings withdifferent gates to known encodings
XZ
I Lattice surgery ⇔ measurementonly TQC
target
ancilla control
![Page 29: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/29.jpg)
Relationship to other recent work
Yoder and Kim arXiv:1612.04795
surface code with n ∼ 3d2/4 qubitscode with three corners and one twist
Delfosse, Iyer and Poulin arXiv:1606.07116
‘packing’ logical qubits into surface codes.Can more qubits be packed with bulk twists?
![Page 30: Picking holes and cutting corners to achieve Cli ord …...Picking holes and cutting corners to achieve Cli ord gates with the surface code Benjamin J. Brown XZre 121 together with](https://reader035.fdocuments.in/reader035/viewer/2022081613/5fb57ebff77ac13e9b1d81a1/html5/thumbnails/30.jpg)
Minimising space-time resource costsPerhaps we can find more resource efficient quantum circuits bycombining different computational schemes?
target
ancilla control
XZ