arxiv: v2 [quant-ph] 24 Oct 2016

Transcription

1 Projecting 3D color codes onto 3D toric codes Arun B. Alosious and Pradeep Kiran Sarvepalli Department of Electrical Engineering, Indian Institute of Tecnology Madras, Cennai , India (Dated: October 25, 2016) Toric codes and color codes are two important classes of topological codes. Kubica, Yosida, and Pastawski sowed tat any D-dimensional color code can be mapped to a finite number of toric codes in D-dimensions. In tis paper we propose an alternate map of 3D color codes to 3D toric codes wit a view to decoding 3D color codes. Our approac builds on Delfosse s result for 2D color codes and exploits te topological properties of tese codes. Our result reduces te decoding of 3D color codes to tat of 3D toric codes. Bit flip errors are decoded by projecting on one set of 3D toric codes wile pase flip errors are decoded by projecting onto anoter set of 3D toric codes. arxiv: v2 [quant-p] 24 Oct 2016 I. INTRODUCTION Tree dimensional (3D) toric codes [1, 2] and color codes [3] are topological quantum codes defined on 3D lattices. Like teir 2D counterparts, tey are also Calderbank-Sor-Steane (CSS) codes [4] were te bit flip and pase errors can be corrected independently. Tree dimensional topological codes are inerently asymmetrical in teir error correcting capabilities for te bit flip errors and te pase flip errors, wic is peraps one of te reasons wy tey ave not received as muc attention as teir 2D analogues. However, te growing interest in asymmetric error models [5 7] motivates us to study tem in closer detail. Anoter reason for studying 3D codes, specifically te 3D color codes, comes from te fact tat in some ways tey are also ricer tan 2D codes. Certain 3D color codes also possess a transversal non-clifford gate [3]. Tis is not possible for 2D codes or 3D toric codes. Wile te 3D toric code on a cubic lattice as been studied in [1, 2, 8], te general case of an arbitrary lattice as not been investigated as muc. For tese codes to be useful for fault tolerant quantum computing it is necessary to develop efficient decoding algoritms. However, tere appears to be no previous work on te decoding of 3D color codes. Wile we do not solve tis problem in tis paper, we make some progress in te decoding of 3D color codes by reducing it to te decoding of te 3D toric codes. Errors corresponding to cains in te lattice can be easily decoded on a 3D toric code. But efficient decoders are not known for errors corresponding to surfaces except in te case of cubic lattice. In tis case a decoder similar to te decoder for te 4D toric code in [9] can be used. Te central result of our paper is a mapping from 3D color codes to 3D toric codes. By exploiting te topological properties of color codes, we establis a mapping between 3D color codes and 3D toric codes. Te work most similar to ours is tat of Kubica, Yosida, and Pastawski [10] wo sowed, among oter tings, tat te 3D color code can be mapped to tree copies of 3D toric codes. Our results give a different mapping from te color code to te toric codes. Our map also preserves te CSS nature of te color code. We project te alosious.sp@gmail.com pradeep@ee.iitm.ac.in X errors and Z errors onto different sets of toric codes unlike [10] wic employs just one set of toric codes. Teir map also implies tat a 3D color code can be decoded via 3D toric codes. Te question of wic map is better for decoding is not yet known. Tis will be investigated in a later work. Anoter work related to ours is tat of Delfosse wo sowed tat 2D color code can be projected onto surface codes [11] using te macinery of cain complexes derived from ypergraps. Our results generalize is approac to 3D. We take a somewat simpler approac and do not explicitly make use of cain complexes based on ypergraps. In passing we mention tat similar mappings were known in 2D [12 14]. Teir approaces can also be generalized to 3D. Te paper is structured as follows. In Section II we give a brief review of 3D toric codes and color codes. In te subsequent section we present te central result of te paper sowing ow to project a 3D color code onto a collection of 3D toric codes and propose a novel decoding sceme for color codes. We ten conclude wit a brief discussion and outlook for furter researc. We assume tat te reader is familiar wit stabilizer codes [15, 16]. II. PRELIMINARIES A. 3D toric codes We briefly review 3D topological codes. A 3D toric code is defined over a cell complex (denoted Γ) in 3D. We assume tat qubits are placed on te edges of te complex. For eac vertex v and face f, we define stabilizer generators as follows: A v = X e and B f = Z e, (1) e ι(v) e (f) were ι(v) is te set of edges incident on v and (f) is te set of edges tat constitute te boundary of f. Wen tere are periodic boundary conditions, te stabilizer generators A v and B f are constrained as follows: A v = I and B f = I, (2) v f (ν) were ν is any 3-cell and (ν) is te collection of faces tat form te boundary of ν. If Γ as boundaries, ten te constraints ave to be modified accordingly. Additional constraints could be present depending on te cell complex.

2 2 Sometimes it is useful to define te (3D) toric codes using te dual complex. We denote te dual of Γ by Γ. Qubits are placed on te faces of te dual complex. Te stabilizer generators for a 3-cell ν and an edge e in te dual complex are defined as A ν = X f and B e = Z f, (3) f (ν) f:e (f) were (ν) is te boundary of ν and (f) te boundary of f. Pase flip errors on te toric code are detected by te operators A v. Pase flip errors can be visualized as pats or strings on te lattice. Te nonzero syndromes always occur in pairs. Te bit flip errors on te oter and are detected by te operators B e. Tey are better visualized in te dual complex. Since qubits are associated to faces in te dual complex, an X error can be viewed as a surface obtained by union of faces (wit errors) and te (nonzero) syndrome as te boundary of te surface. Also note tat since te boundary of eac face is a cycle of trivial omology, te syndrome of X errors is a collection of cycles of trivial omology in Γ. B. 3D color codes Consider a complex wit 4-valent vertices and 3-cells tat are 4-colorable. Suc colored complexes are called 3-colexes, [3]. A 3D color code is a topological stabilizer code constructed from a 3-colex. Te stabilizer generators of te color code are given as B X ν = X v and Bf Z = Z v (4) v ν v f were ν is a 3-cell and f a face. It turns out tat for eac 3-cell ν we can define a (dependent) Z stabilizer as Bν Z = v ν Z v. A 3-colex complex defines a stabilizer code wit te parameters [[v, 3 1 ]] were 1 is te first Betti number of te complex, [3, 17]. We can also define te color code in terms of te dual complex. Now qubits correspond to 3-cells, X-stabilizer generators to vertices and Z-stabilizer generators to edges of Γ. = X ν and Be Z = Z ν (5) B X v ν:e ν We quickly review some relevant colorability properties of 3-colexes. Te edges of suc a 3-colex can also be 4-colored: te outgoing edges of every 3-cell can be colored wit te same color as te 3-cell. We can color te faces based on te colors of te 3-cells. A face is adjacent to exactly two 3- cells. A face adjacent to 3-cells colored c and c is colored cc. Tis means tat te 3-colex is 6-face-colorable. In view of te colorability of te 3-colex we refer to a c-colored 3-cell as c- cell witout explicitly mentioning tat it is a 3-cell. Likewise we can unambiguously refer to te cc -colored faces as cc - cells or cc -faces, c-colored edges as c-edges and c-colored vertices as c-vertices. We denote te i-dimensional cells of a complex Γ as C i (Γ) and te i-dimensional cells of color c as C c i (Γ). III. PROJECTING A 3D COLOR CODE ONTO 3D TORIC CODES In tis section we state and prove te central result of te paper, namely, 3D color codes can be projected onto a finite collection of 3D toric codes. A more precise statement will be given later. First, we give an intuitive explanation and ten proceed to prove it rigorously. A. Intuitive explanation troug te decoding problem Te main intuition beind te projection of color codes onto toric codes is tat any suc mapping sould preserve te error correcting capabilities of te color code and enable decoding. From te point of view of a decoder, te information available to it is simply te syndrome information. In a topological code tis syndrome information can be represented by te cell complex. Our main goal is to preserve te syndrome information on te 3-colex wile translating it into a different cell complex. In a 3-colex, qubits reside on te vertices wile te cecks correspond to faces and volumes. If we look at te dual complex, te qubits correspond to 3-cells wic are tetraedrons; te X-type cecks to vertices and te Z-type cecks to edges. Due to tis correspondence we often refer to te boundary of a qubit or a collection of qubits werein we mean te boundary of te 3-cells wic correspond to tose qubits in te dual complex. We address te bit flip and pase flip errors separately. Suppose tat an X error occurs. Since te qubits correspond to volumes, error correction is equivalent to (i) identifying te boundary wic encloses te qubits in error and (ii) specifying weter te erroneous qubits lie inside or outside te boundary. Te second step is necessary because te qubits wit errors ave te same boundary as te qubits witout errors. In case of bit flip errors, te syndrome information is present on te edges; tis is clearly not te boundary of a volume. Te question ten arises ow do we recover te boundary of te erroneous qubits wen we appear to be in possession of some partial information about te boundary. To see ow we migt solve tis problem, let us assume tat tere is just one bit flip error, see Fig. 1 for illustration. Tis causes all te six edges of te tetraedron to carry nonzero syndromes. Wile tese edges are contained in te boundary of te tetraedron it is not te surface we are looking for. One way to recover te boundary of te tetraedron is as follows. Imagine we deleted one vertex of te tetraedron, ten we would also be deleting tree of te four faces of te tetraedron and we would end wit just one face. All te edges of tis remaining face carry nonzero syndromes. Tese edges are precisely te boundary of tat face. Similarly deleting oter vertices of te tetraedron (separately) we would be able to recover all te faces of te tetraedron. Since te union of tese faces constitutes te boundary of te erroneous qubit we are able to recover te boundary of te error. However, error correction is not complete. Bot te single qubit in error and te collection of te qubits witout error ave te same boundary.

3 3 πr πg πby πy πgy πb πgb πry πrb Figure 1: We can recover te boundary of a tetraedron from te edges by reconstructing te faces and ten combining te faces. πrg To complete error correction we also need to coose wic of tese sets of qubits are in error. We can decide on te volume wic contains fewer number of qubits. In te present case we would coose te qubit in error completing te error correction. Let us identify te key ideas in te previous procedure: (i) We construct a collection of complexes obtained by deleting c-vertices of tetraedrons. (ii) Ten in eac complex, from te edges carrying nonzero syndrome we recover part of te boundary of te erroneous qubits. (iii) Ten we combine te boundary pieces found in (ii) to recover te boundary of te erroneous qubits. (iv) Finally we decide weter te interior or te exterior set of qubits enclosed by te boundary are in error. Step (ii) is key to making te connection wit te 3D toric codes. Tis step is identical to te correction of te X-type errors in 3D toric codes. A similar idea will lead us to te procedure for decoding te pase flip errors, see Fig. 2. In tis case te syndromes tat detect te pase flip errors correspond to te vertices in te dual complex. Suppose now tat tere is a single pase flip error. Te vertices of te erroneous tetraedron will carry te syndrome information about te error. Now we seem to ave even lesser information about te boundary of te erroneous tetraedron tan before. However, we can recover te boundary by te following procedure. Delete any pair of vertices of te tetraedron. We will be left wit one edge and two vertices. We can first identify te edge as piece of te boundary we are looking for. Deleting all te six possible pairs of vertices, we are able to recover te six edges wic are in te boundary of te tetraedron. Now te problem is identical to te one we solved for correcting bit flip errors. We summarize te key steps: (i) We construct new complexes from te original complex by deleting pairs of vertices of eac tetraedron. (ii) Ten we recover te edges wic are in te boundary of te erroneous qubits. (iii) At tis point te problem is same as te problem of decoding bit flip errors wic can be solved using te previous procedure. In correcting te Z-type errors te connection to te toric codes appens in (ii). Tis is precisely te process used to Figure 2: We can recover te boundary of a tetraedron from te vertices by first recovering te edges in te boundary of te tetraedron. Wit te edges recovered we can proceed as illustrated in Fig.1 to recover te boundary of te tetraedron. decode Z-type errors in 3D toric codes. Te procedures we outlined are euristic and somewat imprecise; tey need a rigorous justification as to correctness and efficiency. We also need to consider te cases were te boundary recovery procedure can fail. We now turn to address tese issues in te next section. B. 3-colexes, duals and minors As we saw in te previous section, our approac to decoding color codes leads us to duals and minors of complexes. So we begin by studying te properties of te 3-colexes and teir minors. First we state some properties of te dual of a 3-colex. Since tey are immediate from te properties of te 3-colex we omit te proof. For te rest of te paper we assume tat Γ is a 3-colex. Lemma 1. Let Γ be a 3-colex. Ten te dual complex Γ is 4-vertex-colorable, 6-edge-colorable, 4-face-colorable. Every qubit in te 3-colex is identified wit a tetravalent vertex incident on four 3-cells wic are 4-colorable. Terefore in te dual complex, every qubit corresponds to a tetraedron wose vertices are of different colors. Similarly te four faces of eac tetraedron are also of different colors. (Follows from Lemma 1.) Let us denote te minor complex of Γ, i.e. te complex obtained by deleting all te vertices of color c, by Γ \c. We denote tis operation as π c so tat π c (Γ ) = Γ \c (6) Te resulting structure Γ \c is a well defined complex. Clearly, its vertices and edges are a subset of te parent complex Γ. Te structure of te faces and 3-cells is not so obvious. A face in Γ tat is incident on a c-vertex will not survive

4 4 in Γ \c. Terefore only te c-faces of Γ wic are not incident on a c-vertex will be faces of Γ \c. Te 3-cells of Γ \c are formed by merging all te tetraedrons tat are incident on a c-vertex. We can now extend te action of π c to te individual cells of Γ, tere is some freedom on ow to extend as long as we retain te information needed for error correction. We are primarily interested in extending π c so tat it captures te information about (i) te qubits, (ii) te errors on tem and (iii) te associated syndrome. A vertex tat is not colored c will be mapped to a vertex in Γ \c. An edge tat is not incident on a c-vertex will be mapped to an edge in Γ \c. Edges tat are incident on a c- vertex can be tougt as being mapped to te empty set. A c-face in Γ will continue to be a face in Γ \c as it is not incident on any c-vertices. A 3-cell as exactly 4 faces and on te deletion of a c-vertex just te c-face in its boundary will be left in Γ \c. A 3-cell in Γ corresponds to a qubit, so we can interpret te c-face in its boundary as te qubit in Γ \c. Since every face is sared between two 3-cells, tere exist two distinct cells ν 1 and ν 2 suc tat π c (ν 1 ) = π c (ν 2 ). Te following equations summarize te preceding discussion. π c (v) = v if v C 0 (Γ ) \ C c 0(Γ ) (7a) π c (e) = e if e C 1 (Γ ) \ C cc 1 (Γ ) (7b) π c (f) = f if f C c 2(Γ ) (7c) π c (ν) = f ν c = ν C c 2(Γ ); ν C 3 (Γ ) (7d) were f c ν is te unique c-face in ν. From tese relations we can write te boundary of a 3-cell as (ν) = c π c (ν) = c f c ν, (8) were te summation is carried addition modulo 2. Te boundary of a collection of 3-cells can be extended linearly. Some relevant properties of te minor complexes are considered next. Tey concern bot te structure and coloring properties of te minor complexes. Lemma 2. Let Γ be a 3-colex and c {r, b, g, y}. Ten te minor complex Γ \c as only c-colored faces and dd -edges were d, d {r, b, g, y} \ {c}. Proof. Suppose tat we delete te vertices colored c in Γ \c ; tis leads to te deletion of te edges and faces tat are incident on tese vertices. On any c-colored vertex only te c-colored faces are not incident. Any face colored wit c {r, b, g, y} \ c is incident on some c-vertex. Tis leads to deletion of all but one face of eac tetraedron incident on any c-colored vertex. Te remaining face is colored c. Tus Γ \c contains only c-colored faces. Since only d, d -vertices are present in Γ \c, te edges connecting tem are colored dd. Lemma 3. Te 3-cells of Γ \c can be indexed by te c- vertices of Γ and te boundary of a 3-cell ν v C 3 (Γ \c ) is te sum of c-faces of tetraedrons incident on v. Proof. Te deletion of a c-vertex causes all te tetraedrons incident on it to be combined into one single 3-cell in Γ \c. Since te four vertices of eac tetraedron are different colors, two tetraedrons can be merged only if tey are incident on te same c-vertex. Tus two distinct c-vertices lead to distinct 3-cells. Hence, te 3-cells of Γ \c can be indexed by te c- vertices of Γ. Te deletion of te c-vertex v, creates a 3-cell and leaves beind a c-face for every tetraedron incident on v. Tese c-faces enclose te 3-cell formed by merging te qubits incident on v, terefore tey must form its boundary. Denote by ν v suc a 3-cell. Ten its boundary (ν v ) is given by (ν v ) = (ν) (a) = f ν c + f ν i (9) (b) = i c f c ν, (10) wic is precisely te sum of c-faces of tetraedrons incident on v. Note tat (a) follows from Eq. (8) wile (b) is due to te fact tat every c -face incident on v is sared between exactly two qubits incident on v causing te second summation to vanis. Let Γ \cc denote te minor of Γ obtained by deleting all vertices colored c and c. We assume tat c c for te rest of te paper. Denote tis operation as π cc. Ten we ave π cc (Γ ) = Γ \cc. (11) Note tat te order of deletion of vertices does not matter, terefore we ave π cc (Γ ) = π c c(γ ). (12) As in case of Γ \c, te vertices and edges of of Γ \cc are a subset of Γ \cc and can be easily identified. Te faces and 3-cells are not so obvious. Te faces of Γ \cc are not faces in te parent complexes Γ or Γ \c. We need to define te faces and 3-cells of Γ \cc. We make one small observation before defining tem. Lemma 4. Let Γ be a 3-colex and c, c {r, b, g, y}. Ten Γ \cc as only dd -colored edges were {d, d } = {r, b, g, y} \ {c, c }. Proof. Suppose tat we delete all te vertices colored c, c in Γ, ten all edges incident on c-vertices and c -vertices will be deleted. Tus only edges between d and d colored vertices will remain. Tese edges are colored dd. Let e be a cc -edge e in Γ and V e te qubits containing e. V e = {ν e ν} (13) Let e dd ν be te unique dd -edge in ν. For eac of te qubits in V e, exactly one dd -edge will survive in Γ \cc. No two qubits in V e sare te same dd -edge. Furter, te surviving dd edges will form a cycle in Γ \cc, see Fig. 3 for illustration. Tis can be seen as follows. Let V cc (V e ), denote te vertices of V e tat remain in Γ \cc. Every suc vertex v is incident

5 5 on exactly two qubits of V e. Terefore, two dd -edges are incident on v. Hence, te dd -edges of V e form a cycle. Tis cycle is of trivial omology since it is on te boundary of a 3-cell (formed by te qubits in V e ). We can associate a face to tis cycle suc tat it lies entirely in te 3-cell. In oter words, to every cc -edge in Γ, we can associate a face in Γ \cc. Te boundary of tis face is te collection of te dd - edges belonging to te qubits incident on e, alternatively, f e = ν. (14) e dd ν V e in tem; we ave some freedom as to ow to define π cc for faces in Γ \c. We define te edge boundary of a 3-cell in Γ as δν = cc π cc (ν) = cc e dd ν (16) We call it te edge boundary because π cc (ν) is an edge, see Eq. (15c). We extend δ to multiple 3-cells linearly. A simple example of 3-colex and related complexes are sown in Fig. 4. We can relate te various complexes and te objects of interest for us as follows. e f e Γ Γ Γ \c Γ \cc Qubit vertex tetraedron triangle edge Z-ceck face edge edge X-ceck 3-cell vertex vertex vertex Te preceding lemmas lead to te following corollary. Figure 3: Face in Γ \cc. Consider te by-edge (in bold) and te qubits incident on it. Since only r, g-vertices (i.e. red and green) will survive in Γ \by, eac of tese surviving vertices will ave exactly two rg-edges incident on tem. Terefore tese rg-edges form a cycle. Te qubits incident on distinct cc -edges e 1 and e 2 will be disjoint intersecting in eiter edges or vertices, so te faces associated to tem, i.e. f e1 and f e2, will also be disjoint and intersect in edges or vertices. Terefore te faces are well defined. Te preceding discussion proves te following result. Lemma 5. Let Γ be a 3-colex and c, c {r, b, g, y}. Ten te faces of te minor complex Γ \cc are in one to one correspondence wit cc edges of Γ. Wit faces of Γ \cc defined, te 3-cells of Γ \cc can be identified. Let v be a c or c -vertex. Consider te edges incident on v. Eac of tese edges corresponds to a face in Γ \cc, by Lemma 5. We define te volume enclosed by tese faces, suc tat it contains v, to be a 3-cell of Γ \cc. Since every suc v leads to a 3-cell in Γ \cc, we ave te following. Lemma 6. Let Γ be a 3-colex and c, c {r, b, g, y}. Ten 3-cells of te minor complex Γ \cc are in one to one correspondence wit vertices in C c 0(Γ ) C c 0 (Γ ). We can also extend π cc to te cells of Γ as we did for π c. Ten we can write π cc (v) = v if v C 0 (Γ ) \ (C c 0(Γ ) C c 0 (Γ )) (15a) π cc (e) = e if e C dd 1 (Γ ); d, d {c, c } (15b) π cc (ν) = e dd ν = (π c (ν)) C dd 1 (Γ ); ν C 3 (Γ )(15c) were e dd ν is te unique dd -edge in ν. In tese equations and encefort we assume d, d {r, b, g, y} \ {c, c } and d d. None of te faces of Γ \c or Γ will survive in Γ \cc. Since te faces of Γ do not carry any information about te qubits and te Z error syndromes, we are not particularly interested Corollary 7. Let Γ be a 3-colex wit v vertices, e = 2v edges, f cc cc -faces, ν c c-cells. Let te total number of faces be f = cc f cc and 3-cells be ν = c ν c. Te following table summarizes te number of cells in Γ \c and Γ \cc were c, c, d, d {r, b, g, y} are distinct. Γ Γ Γ \c Γ \cc 3-cells ν v ν c ν c + ν c Faces f 2v v/2 f cc Edges 2v f f dc + f c d + f dd f dd Vertices v ν ν c + ν d + ν d ν d + ν d Proof. Te i-cells in dual complex Γ are in one to one correspondence wit te (3 i)-cells of Γ. Now suppose tat Γ is modified so tat all vertices colored i are deleted. Ten all 3- cells incident on it will be merged to form a new 3-cell. Since all te 3-cells in Γ are incident on some i-vertex, tey will be part of some new 3-cell and Γ \c will contain c i 3-cells. On deleting te i-vertices, exactly one face will remain from eac 3-cell in Γ. Since eac of tese faces will be sared between two 3-cells tere will be v/2 faces. Te edges in Γ \i are tose tat are incident on vertices oter tan i-vertices. Similarly in Γ \cc, only te d-vertices, d -vertices and te dd -edges will survive. Tese are precisely ν d + ν d vertices and f dd edges. Te number of faces and 3-cells of Γ \cc is immediate from Lemmas 5 and 6. Remark 1. Te minor complexes defined ere are te duals of te srunk complexes defined in [17]. For example, Γ \b is te exactly te dual of b-srunk complex and Γ \ry is te dual of ry-srunk complex. C. X type errors on 3D color codes Let us now see ow to perform error correction on a color code. It is elpful to see te (topological) structure of te errors in te dual of te 3-colex. We analyze te bit flip and

6 b d e f b d g c e b d c Figure 4: A 3-colex Γ and its dual Γ ; i-cells of Γ correspond to te 3 i cells of Γ. Te minor complexes Γ \r and Γ \ry are also sown. pase flip errors separately. Suppose tat we ave X errors on some set of qubits. In te dual colex te erroneous qubits correspond to a volume. Troug π c we can associate qubits to faces of te minor complex Γ \c. Tus we can project errors from Γ to Γ \c. If a qubit ν as a bit flip error, ten we place an X-error on te image of ν in Γ \c. In oter words, π c (X ν ) = X πc(ν), (17) were π c (X ν ) gives an X error acting on te qubits in Γ \c. A consequence of Eq. (17), togeter wit linearity of π c, is tat for two adjacent qubits ν 1 and ν 2 saring a c-colored face f, we ave π c (X ν1 X ν2 ) = X πc(ν 1)X πc(ν 2) = I, were we used te fact tat π c (ν 1 ) = π c (ν 2 ) = f. In oter words, a c-face common to two qubits in error corresponds to an error free qubit in Γ \c. Te syndrome corresponding to bit flip errors is associated to edges of Γ. In Γ \c not all edges are present. But if an edge is present, we associate to tat edge te same syndrome as in Γ. Syndromes in te minor complex are essentially te restriction of te syndromes in Γ. Let s e be te syndrome on edge e, ten π c (s e ) = s πc(e) = s e. (18) Tis is consistent wit Eq. (7b). At tis point we ave qubits living on te faces and syndromes on te edges of Γ \c just as we would ave in a 3D toric code. But it needs to be sown tat indeed tat we truly ave te structure of a 3D toric code and not merely te appearance of it. Tis we sall take up next. First let us consider te edge type cecks on Γ \c. Consider an edge e in Γ \c. Ten e is also present in Γ. For eac qubit incident on e tere is an c-colored face incident on e. Tese c-faces exaust all te faces incident on e in Γ \c. Tus in te 3D toric code associated to Γ \c, every face incident on e participates in tat ceck on e as required for te edge type cecks in te 3D toric code. Next we look at te projected syndromes on te minor complex. Teorem 8 (Projection of X errors onto toric codes). Let s be te syndrome for an X error E on te 3D color code defined on a 3-colex Γ and π c (s) te restriction of s on Γ \c. Ten te error π c (E) in Γ \c produces te syndrome π c (s) in te toric code associated to Γ \c. Proof. We now will sow tat in Γ \c te syndrome produced by π c (E) is same as π c (s). Consider any edge in Γ \c ; by definition π c (s e ) = s e were s e is te syndrome on e wit respect to Γ. Since Γ is 3-colex, an even number of qubits are incident on e, say 2m. Ten s e = 2m i=1 q i were q i = 1 if tere is an X error on te it qubit and zero oterwise. Eac of tese qubits (tetraedrons) incident on e are projected to a qubit in Γ \c. But note tat two qubits wic sare a face are mapped to te same qubit in Γ \c. Tus tere are m qubits (triangles) incident on e wit respect to Γ \c. Tese (projected) qubits are in error if and only if one of te parent qubits in Γ are in error. Let r j = 1 if tere is an an error on te projected qubit and zero oterwise. Ten r j = q 2j 1 q 2j, were 2j 1 and 2j are te qubits wic are projected onto te jte qubit in Γ \c. Te syndrome on e as computed in te 3D toric code is m j=1 r j = m j=1 (q 2j 1 q 2j ) = s e. Tus te projected error π c (E) produces te same syndrome as te projected syndrome π c (s). Corollary 9. Let s be te syndrome for an X error on te 3D color code defined on a 3-colex Γ and π c (s) te restriction of s on Γ \c. Ten π c (s) is a valid syndrome for (an X error on) te toric code on Γ \c. Proof. By Teorem 8, π c (s) is te same as te syndrome produced by an X error on Γ \c. Terefore, it must be a valid syndrome for an X error for te 3D toric code on Γ \c. Lemma 10. Let v be a c-vertex in Γ and ν v be te 3-cell in Γ \c obtained by merging all te qubits incident on v. Ten te X-type stabilizer Bv X of te color code on Γ is mapped to an X-type stabilizer generator of te toric code on Γ \c. π c (B X v ) = B X ν v and π c (B X v ) = I for c c (19) Proof. We ave Bv X = X ν. Ten ( ) π c (Bv X ) = π c X ν = X πc(ν) (20) (a) = f (ν v) X f = B X ν v. (21) were (a) follows from Lemma 3. Tus π c (B X v ) is exactly te X-type stabilizer generator defined on te 3-cell ν v.

7 7 Now consider a c -face incident on v. Suc a face is in te boundary of two qubits incident on v. Tis means tat for every qubit ν incident on v, tere exists anoter qubit ν incident on v suc tat π c (X ν ) = π c (X ν ). Terefore π c (B X v ) = X π c(ν) = I. Note tat te previous lemma implies tat for a c -vertex π c (B X v ) = I. Corollary 11. Let S be an X-type stabilizer on te color code. Ten π c (S) is an X-stabilizer on te toric code defined by Γ \c. Conversely for every X-stabilizer S on Γ \c, tere exists an X-stabilizer generator S on Γ suc tat π c (S) = S and π c (S) = I. Proof. Te first statement is a consequence of Lemma 10 as {B X v } generate all X-stabilizers of te color code. Furter, {π c (B X v )} = {B X ν v }, were v C c 0(Γ ). By Lemma 3, {B X ν v } generate te X-type stabilizers of te toric code on Γ \c. Tus te converse also olds. Let te support of an error E be defined[18] as supp(e) = i, (22) i:e i I were i could be a 3-cell, face, or an edge depending on were te qubits are located. It follows tat supp(ee ) = supp(e) + supp(e ). (23) We define te boundary of an error in Γ to be te boundary of te volume tat corresponds to te collection of qubits on wic te error acts nontrivially. In oter words, E = ν = (supp(e)). (24) We use te same notation for boundary of cells as well as operators. Note tat (EE ) = E + E. Lemma 12 (X error boundary). Using te same notation as in Teorem 8, te boundary of an error E in Γ is E = c supp(π c (E)). (25) Proof. Let E ν denote te error on te 3-cell corresponding to te νt qubit. Ten we can write E (a) = ν (b) = π c (ν) (26) = c (d) = c c π c (ν) (c) = c supp(π c (E ν ))(27) supp(π c (E)) (28) were (a) follows from te definition of te boundary of an error; (b) follows from te fact tat te boundary of a single qubit is te collection of four faces of te tetraedron tat correspond to te qubit; (c) follows from rearranging te order of summation and te observation tat π c (ν) is te c-face in te boundary of ν, see Eq. (7d), and if E ν I, ten tis is te same as te support of π c (E ν ); (d) follows from Eq. (23) and completes te proof. By Lemma 12, te boundary of an error E can be broken down into four surfaces eac lying in a separate minor complex Γ \c. We sow tat if tese surfaces were modified by te support of a stabilizer in te minor complexes, ten tese modified surfaces form te boundary of an error E wic is equivalent to E up to a stabilizer i.e. E = ES for some X stabilizer S on te color code. Lemma 13 (X error boundary modulo stabilizer). Let E be an error on Γ. Let S c be X-stabilizer generators on Γ \c. Ten E + c supp(s c) is te boundary of ES, for some X-stabilizer S on Γ i.e. E + c supp(s c ) = (ES) (29) Proof. Since S c is a stabilizer generator, by Corollary 11, tere exists an X-stabilizer S c on Γ suc tat π c (S c ) = S c and π c (S c ) = I. By Lemma 12, (S c ) = supp(s c ). Ten using EF = E + F, we obtain ES c = E + S c. Repeating tis for all c we ave (E c S c) = E + c S c. Letting c S c = S, we can write tis as (ES) = E + c supp(s c) as claimed. Te importance of te previous result is tat we can independently estimate te four components of boundary of an error. Wit tese results in and we can estimate te boundary of an X error. Teorem 14 (Estimating face boundary of X errors). Te boundary an X-error E on te dual of color code can be estimated by Algoritm 1. Te algoritm estimates E up to te boundary of an X stabilizer of te color code, provided π c (E) is estimated up to a stabilizer on Γ \c, were c {r, g, b, y}. Proof. We only sketc te proof as it is a straigtforward consequence of te results we ave sown tus far. By Lemma 12 te boundary of te error consists of support of π c (E) i.e. te projections of te error on te 3D toric codes on Γ \c. By Lemma 8, te syndrome of π c (E) is te restriction of te syndrome on Γ. Terefore, π c (E) can be estimated by decoding on Γ \c. By Lemma 13, if te estimate for π c (E) is equivalent up to a stabilizer on Γ \c, we can obtain te boundary of E up to te boundary of a stabilizer on te color code. Algoritm 1: Estimating (face) boundary of X type error Input: A 3-colex Γ, Syndrome of an X error E Output: F, an estimate of E were F C 2(Γ ) 1: for eac c {r, b, g, y} do 2: for eac edge e in Γ \c do // syndrome projection 3: s πc(e) = s e // s e is syndrome on edge e 4: end for 5: Using te projected syndrome on Γ \c, estimate te error F c by any 3D toric code decoder for X errors 6: end for 7: Return F = c Fc

8 8 If any of component decoders on te minor complexes make a logical error, ten Algoritm 1 may fail to produce a valid boundary. D. Z type errors on 3D color codes One can prove results similar to previous section for te Z-type errors also. As we noted earlier, te syndrome information about Z errors resides on te vertices of Γ wile te error corresponds to a volume. To recover te boundary of te error, te objects of interest are te minor complexes Γ \cc. Recall tat te edges of Γ \cc are associated wit qubits. So we project te errors on cell ν to π cc (ν) wic is an edge in Γ \cc. We define π cc (Z ν ) = Z πcc (ν) (30) Let syndrome on v C 0 (Γ ) be s v. Ten we define te syndrome on v Γ \cc as π cc (s v ) = s πcc (v) = s v (31) so te syndrome on π cc (Γ ) is simply te restriction of te syndrome on Γ. To project te color code onto toric codes, tis syndrome must be a valid syndrome on te minor complex. We next sow tat bot Z errors and teir associated syndromes can be projected consistently onto te minor complexes Γ \cc. Teorem 15 (Projection of Z errors onto toric codes). Let E be a Z-type error on Γ and its associated syndrome s. Ten te error π cc (E) in Γ \cc produces te syndrome π cc (s). Proof. We only need to sow te teorem for vertices v Γ \cc. Suppose E produces te syndrome s v on v, ten s v = q ν, were q ν = 1, if tere is a Z error on ν and zero oterwise. We need to sow tat π cc (E) produces te syndrome s v on v. Every qubit incident on v must ave a dd -edge incident on v, since v must be a d or d -vertex. Two qubits incident on v can sare at most one suc edge. Ten we can partition te qubits incident on v depending on te dd edge on wic tey are incident. Let {e 1,..., e m } be tese dd -edges. Ten we can write {ν : v ν} = i {ν : v, e i ν} (32) s v = r i, (33) q ν = i ν:v,e i ν q ν = i were r i = i:v,e i ν i q ν. Te qubits containing e i are projected onto te dd -edge e i in te minor complex Γ \cc and tere is an error on e i if and only if r i = ν:v,e q i ν ν = 1. Tus te syndrome on te vertex v as computed wit respect to te toric code on Γ \cc is π cc (E) = m i=1 r i = s v = π cc (s v ) as required. Corollary 16 (Validity of Z syndrome restriction). Let s be te syndrome for a Z error on Γ. Ten π cc (s) is a valid syndrome for a Z error on Γ \cc. Proof. From Teorem 15, we see tat π cc (s) coincides wit te syndrome produced by a Z error on Γ \cc. Hence, π cc (s) must be a valid syndrome for a Z error on a 3D toric code. Having projected bot te error and te syndrome onto te minor complexes, we recover te boundary of te error in steps. To tis end we define te edge boundary of an error E as δe = δν = π cc (ν) (34) cc = cc supp(π cc (E)), (35) were Eq. (35) follows from intercanging te order of summation in Eq. (34). We see tat te edge boundary of E can be recovered by recovering π cc (E). Te next lemma sows an interesting property of te edge boundary tat will elp us in correcting Z errors. Lemma 17 (Edge boundary corresponds to an X-syndrome). Let E Z = ν Ω Z ν and E X = ν Ω X ν. Ten te syndrome of E X is nonzero on te edges in δe Z. Proof. Consider te syndrome of E X on an edge e. Ten s e 0 iff. {ν Ω e ν} is odd (36) In oter words, s e is nonzero if and only if te number of qubits in Ω incident on e is odd. From Eq. (34), we see tat e will be present in te edge boundary of E Z if and only if an odd number of qubits are incident on e. Tus te syndrome of E X is nonzero on te edge boundary of E Z. We cannot always expect to estimate te edge boundary exactly because te estimates for π cc (E) on te minor complexes could be off. Te next lemmas sow tis will not be problem as long as te estimates for π cc (E) are off by stabilizer elements. Lemma 18. Suppose S is a Z-stabilizer on Γ \cc, ten tere exists a Z-stabilizer S in Γ suc tat π cc (S) = S and π cd (S) = I for xy cc. Proof. A Z-stabilizer in Γ \cc generated by te face type stabilizers in Γ \cc. Terefore, it suffices to consider wen S is a face type stabilizer. By Lemma 5, te faces of Γ \cc are in correspondence wit te cc -edges of Γ. So we can let S = Bf Z e for some face f e in Γ \cc and cc -edge e in Γ. Te stabilizer of te color code attaced to e is given by = ν:e ν Z ν. Ten B Z e π cc (B Z e ) = ν:e ν (b) = t (f e) Z πcc (ν) (a) = ν:e ν Z e dd, (37) ν Z t = B Z f e = S, (38) were (a) follows from Eq. (15c) and (b) from Eq. (14). Denote by V e te set of qubits incident on e. Every qubit ν V e contains a c d edge. Tese edges must also be incident on te c -vertex of e. Two qubits ν and ν wic ave

9 9 te same c d edge must sare a face since tey already sare e. Hence only two qubits ν, ν V e can sare a c d -edge. For tese qubits we ave π cd (ν) = π cd (ν ). Tis implies π cd (B Z e ) = ν:e ν Z e c d ν = I. Similar arguments can be used to sow tat π cd (S) = I for oter xy cc. We omit te details. Lemma 19 (Edge boundary modulo stabilizer). Let E be a Z- type error on te color code and S a Z-stabilizer on Γ \cc. Ten δe + e:s e I e is te edge boundary of ES for some Z-stabilizer S on Γ. Proof. By Lemma 18, tere exists a Z stabilizer S on Γ suc tat π cc (S) = S and π xy (S) = I for xy cc. Terefore, I = π xy (S) = π xy Z ν = Z πxy(ν) (39) From tis we infer tat for xy cc, π xy (ν) = 0 (40) Terefore, te edge boundary of S as support only in Γ \cc. Furtermore, substituting for S and S in S = π cc (S) we obtain Z e = π cc = Z πcc (ν) (41) e:s e I Eq. (41), implies tat e = e:s e I = Z ν π cc (ν) (42) π cc (ν) + xy cc π xy (ν) (43) = δs (44) Tus δs = e:s e I e and δe + e:s e I e = δ(es). Wit tese results in and we sow ow to estimate te edge boundary of a Z-error from te minor complexes given te syndrome on its vertices. Teorem 20 (Estimating edge boundary of Z errors). Let Γ be a 3-colex and E a Z-error on te associated color code. Algoritm 2 estimates δe, te edge boundary of E, up to te boundary of a Z stabilizer of te color code, provided π cc (E) is estimated up to a stabilizer on Γ \cc. Proof. By Corollary 16, te restriction of te syndrome of E is a valid syndrome on Γ \cc. By Teorem 15, π cc (E) as te same syndrome as te restriction and π cc (E) can be estimated using a 3D toric decoder on Γ \cc. We can reconstruct te edge boundary from π cc (E) using te Eq. (35). By Lemma 19 if te estimates for π cc (E) are upto a stabilizer on Γ \cc, te estimate for edge boundary of E will differ by te boundary of a Z-stabilizer on te color code. Algoritm 2: Estimating (edge) boundary of Z type error Input: A 3-colex Γ, Syndrome of a Z error E Output: E, an estimate of te edge boundary δe, were E C 1(Γ ) 1: for eac c, c {r, b, g, y} do 2: for eac vertex v in Γ \cc do //syndrome projection 3: s πcc (v) = s v //s v is syndrome on vertex v 4: end for 5: Estimate te error E cc using any 3D toric code decoder for Z errors on Γ \cc 6: end for 7: Return E = c,c E cc Wat we ave acieved so far is tat we ave taken a Z error wose syndrome is on vertices and converted it to a valid syndrome on edges for an X error wit te same support. We can take tis syndrome on edges and recover te face boundary of te error using Teorem 14. Note tat te estimate for edge boundary returned by Algoritm 2 need not be a valid edge boundary if any of te component decoders fail. So we need a metod to ceck te validity of te edge boundary. Recall tat te X-syndrome on te toric code is boundary of a collection of faces. Terefore it is a union of omologically trivial cycles. We can project te edge boundary E obtained in Algoritm 2 onto eac of te minor complexes Γ \c. If te edge boundary is valid, ten all te omologically nontrivial closed surfaces in (Γ \c ) will intersect wit te projected syndrome an even number of times. Tis test can be carried out in linear time in te number of qubits. Teorem 21 (Estimating face boundary of Z type errors). Let E be a Z-type error on Γ wose edge boundary is estimated using Algoritm 2. If te edge boundary is valid, ten we can estimate te face boundary of E up to a Z-stabilizer on te color code using Algoritm 1. Proof. By Teorem 20 we can estimate te edge boundary of E up to a Z-stabilizer boundary. By Lemma 19 tese edges are precisely te syndrome for an X error. By Lemma 17, tis X error as te same support as E up to a X-stabilizer. But in a color code for every X-stabilizer tere exists a Z- stabilizer wit te same support. Tus te final boundary of E is estimated up to a Z-stabilizer provided all te intermediate estimates from Algoritms 1 & 2 are all up to a stabilizer on te respective 3D toric code decoders. E. Decoding 3D color codes Te projection onto te toric codes allow us to decode te 3D color code. Before we can give te complete decoding algoritm we need one more component. Following Teorems 14 and 21, we only end up wit te boundary of te error. We need to identify te qubits wic are in error. Te procedure for lifting te boundary to volume is given in Algoritm 3. Te main idea beind tis algoritm is te fact tat te color code is connected and we can partition te qubits into

10 10 two groups: tose inside and tose outside of te boundary. Te following lemma justifies te procedure in Algoritm 3. Algoritm 3: Lifting a boundary to a volume Input: Complex Γ, Set of faces F C 2(Γ ) Output: Ω C 3(Γ ) suc tat F is te boundary of Ω 1: Set Ω = ; m ν = 0 for all ν C 3(Γ ) // Initialization 2: Initialize Ω = {ν o}, m νo = 1 // For some 3-cell ν o 3: wile m µ = 0 for some µ N ν wit m ν 0 do 4: for eac µ N ν do // N v := 3-cells saring a face wit ν 5: if m µ = 0 ten 6: if µ ν F ten 7: m µ = m ν //Qubits on different side of error boundary 8: else 9: m µ = m ν //Qubits on same side of error boundary 10: end if 11: if m µ = 1 ten 12: Ω = Ω {µ} 13: end if 14: else 15: if µ ν F and m µ m ν ten 16: Ω = ; Exit // F not a valid boundary 17: end if 18: if µ ν F and m µ m ν ten 19: Ω = ; Exit // F not a valid boundary 20: end if 21: end if 22: end for 23: end wile 24: if Ω > C 3 \ Ω ten 25: Ω = C 3 \ Ω //Pick te smaller volume 26: end if Lemma 22 (Lifting te boundary of error). Algoritm 3 will give te smallest collection of 3-cells Ω C 3 (Γ ) suc tat Ω = F. If F is not a valid boundary, ten te algoritm returns an empty set. Proof. Te algoritm takes as input a collection of faces supposed to enclose a volume. If te faces enclose a volume, we can label all te 3-cells inside and outside te boundary differently. Cells adjacent to eac oter and enclosed witin te same boundary are labeled same. Te algoritms proceeds by labeling a random coice of initial qubit and ten proceeds to assign labels to all its adjacent qubits. If two qubits sare a face tat is not in te boundary F, ten tey must ave te same label because one must cross te boundary to cange te label. Two qubits, tat are adjacent and sare a face tat is in te boundary must ave different labels. Te algoritm stops wen tere are no more qubits to be labeled or wen a qubit is assigned contradicting labels, indicating tat F is not a boundary. Te running time of te algoritm is linear in te number of qubits. Te algoritm assumes tat all qubits ave te same error probability. It can be modified so tat it picks te most likely qubits if te error probabilities are not uniform. We now give te decoding procedure for color codes. Teorem 23 (Decoding 3D color codes via 3D toric codes). An error E on a color code can be estimated using Algoritm 4. Te estimate will be witin a stabilizer on te color code provided te intermediate decoders also estimate witin a stabilizer on te respective codes. Proof. Te proof of tis teorem is straigtforward given our previous results. Te decoding is performed separately for X and Z errors and it makes use of te fact tat te color code is a CSS code. Te algoritm proceeds by estimating te boundary of te X-type errors and Z-errors separately. Te correctness of tese procedures is due to Teorems 14 and 21. Lemma 22 ensures tat tese boundaries can be lifted to find te qubits tat are in error. Decoding failure results if any of te component decoders fail or make logical errors. Tis will lead to eiter te failure of lifting procedure or an invalid edge boundary in line 7. Te validity of te edge boundary can be cecked by ensuring tat te restricted syndrome π c (δe Z ) consists of omologically trivial cycles. Algoritm 4: Decoding 3D color codes Input: A 3-colex Γ and te syndrome Output: Error estimate Ê 1: Let s X be syndrome for X type error E X 2: Obtain te face boundary E X from Algoritm 1 wit s X as input 3: Lift te boundary E X by running Algoritm 3 and obtain Ω X, te support of E X 4: if Ω X = and s X 0 ten 5: Declare decoder failure and exit 6: end if 7: Let s Z be syndrome for Z type error E Z 8: Estimate te edge boundary δe Z from Algoritm 2 wit s Z as input 9: Ceck π c(δe Z) consists of omologically trivial cycles only, oterwise declare decoding failure and exit. 10: Obtain te face boundary E Z from Algoritm 1 wit δe Z as input 11: Lift te boundary E Z by running Algoritm 3 and obtain Ω Z, te support of E Z 12: if Ω Z = and s Z 0 ten 13: Declare decoder failure and exit 14: end if 15: Return Ê = ν Ω X X ν ν Ω Z Z ν Remark 2. Te decoder could fail if any of te intermediate decoders make a logical error. Te overall running time depends on te running time of te 3D toric code decoders. We can run tem independently or we can take advantage of te fact tat te errors on component 3D toric codes are correlated. IV. CONCLUSION In tis paper we ave sown ow to project 3D color codes onto 3D toric codes. Te projection was motivated by te

11 11 problem of decoding 3D color codes. Te toric codes tus obtained are linearly related to te size of te parent color code. So if 3D toric codes on arbitrary lattices can be decoded efficiently, ten so can te 3D color codes by projecting tem onto 3D toric codes using our map. Our work provides an alternative perspective to tat of [10] wo also proposed a map between color codes and toric codes. Our approac empasizes te topological properties of color codes. At tis point tere is no data available for performance of te decoders based on our map as well as te map due to [10]. One difficulty to compare te performance of te decoders arising out of tese maps, as we mentioned earlier, is tat we do not ave efficient decoders for 3D toric code on an arbitrary lattice. (Decoders are known only for te cubic lattice.) So an open question for furter researc is to study te decoding of 3D toric codes. Tis map could also find application in te decoding of gauge color codes [19 21] by projecting onto 3D toric codes. Anoter avenue for furter researc is to study te possible use of tis map for fault tolerant quantum computing protocols. Acknowledgement Tis researc was supported by a grant from Center for Industrial Consultancy and Sponsored Researc. [1] C. Castelnovo and C. Camon, Pys. Rev. B 78, (2008). [2] A. Hamma, P. Zanardi, and X.-G. Wen, Pys. Rev. B 72, (2005). [3] H. Bombin and M. A. Martin-Delgado, Pys. Rev. Lett. 98, (2007). [4] A. R. Calderbank and P. W. Sor, Pys. Rev. A 54, 1098 (1996). [5] L. Ioffe and M. Mézard, Pys. Rev. A 75, (2007). [6] P. Brooks and J. Preskill, Pys. Rev. A 87, (2013). [7] P. K. Sarvepalli, A. Klappenecker, and M. Rötteler, Proceedings of te Royal Society of London A: Matematical, Pysical and Engineering Sciences 465, 1645 (2009). [8] S. Bravyi, B. Leemuis, and B. M. Teral, Annals of Pysics 326, 839 (2011). [9] E. Dennis, A. Kitaev, A. Landal, and J. Preskill, Journal of Matematical Pysics 43, 4452 (2002). [10] A. Kubica, B. Yosida, and F. Pastawski, New Journal of Pysics 17, (2015). [11] N. Delfosse, Pysical Review A 89, (2014). [12] B. Yosida, Annals of Pysics 326, 15 (2011), january 2011 Special Issue. [13] A. Bagoji and P. Sarvepalli, 2015 IEEE International Symposium on Information Teory (ISIT), 1109 (2015), arxiv: [14] H. Bombin, G. Duclos-Cianci, and D. Poulin, New Journal of Pysics 14, (2012). [15] A. R. Calderbank, E. M. Rains, P. M. Sor, and N. J. A. Sloane, IEEE Transactions on Information Teory 44, 1369 (1998). [16] D. Gottesman, Stablizer Codes and Quantum Error correction, Pd tesis, California Institute of Tecnology (1997), arxiv: v1 [arxiv:quant-p]. [17] H. Bombin and M. a. Martin-Delgado, Pysical Review B - Condensed Matter and Materials Pysics 75 (2007), /PysRevB , arxiv: [cond-mat]. [18] Usually te support is defined as a set, ere it is convenient to define as a linear combination. [19] B. J. Brown, N. H. Nickerson, and D. E. Browne,, 4 (2015), arxiv: [20] H. Bombin, Pysical Review X 5, 1 (2015). [21] H. Bombin, New Journal of Pysics 17, (2015).