Nonperturbative Gadget for Topological Quantum Codes The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Ocko, Samuel, and Beni Yoshida. “Nonperturbative Gadget for Topological Quantum Codes.” Physical Review Letters 107.25 (2011): n. pag. Web. 2 Mar. 2012. © 2011 American Physical Society As Published http://dx.doi.org/10.1103/PhysRevLett.107.250502 Publisher American Physical Society (APS) Version Final published version Accessed Thu May 26 20:55:36 EDT 2016 Citable Link http://hdl.handle.net/1721.1/69580 Terms of Use Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. Detailed Terms PRL 107, 250502 (2011) week ending 16 DECEMBER 2011 PHYSICAL REVIEW LETTERS Nonperturbative Gadget for Topological Quantum Codes Samuel A. Ocko1 and Beni Yoshida2 1 Department of Physics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA Center for Theoretical Physics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA (Received 21 July 2011; published 14 December 2011) 2 Many-body entangled systems, in particular topologically ordered spin systems proposed as resources for quantum information processing tasks, often involve highly nonlocal interaction terms. While one may approximate such systems through two-body interactions perturbatively, these approaches have a number of drawbacks in practice. In this Letter, we propose a scheme to simulate many-body spin Hamiltonians with two-body Hamiltonians nonperturbatively. Unlike previous approaches, our Hamiltonians are not only exactly solvable with exact ground state degeneracy, but also support completely localized quasiparticle excitations, which are ideal for quantum information processing tasks. Our construction is limited to simulating the toric code and quantum double models, but generalizations to other nonlocal spin Hamiltonians may be possible. DOI: 10.1103/PhysRevLett.107.250502 PACS numbers: 03.67.Ac, 03.67.Pp, 05.30.Pr, 05.50.+q Many-body entanglement arising in strongly correlated systems is a very promising resource for realizing various ideas in quantum information, such as quantum communication and quantum computation. In particular, topologically ordered spin systems can be employed for reliable storage of quantum information inside the degenerate ground space [1] and for fault-tolerant quantum computation with non-Abelian anyonic excitations [2]. These topological approaches may resolve many problems in quantum information science; qubits are encoded in many-body entangled states and are thus naturally protected from decoherence. Unfortunately, topologically ordered spin systems capable of quantum information processing are very difficult to realize physically. Many proposed topologically ordered spin Hamiltonians, such as the toric code, quantum double model [2], and string-net model [3], involve highly nonlocal interaction terms; this is a stark contrast to Hamiltonians which occur in nature, which have only geometrically local two-body interactions. Moreover, the resource systems above are known not to be supported by any two-body Hamiltonian [4]. Many efforts have been made to construct two-body Hamiltonians which ‘‘approximate’’ nonlocal resource Hamiltonians. The most commonly used approach is to approximate target Hamiltonians through so-called ‘‘perturbative gadgets’’ [5–10]. The central idea of perturbative gadgets is to design a two-body Hamiltonian whose leading perturbative contribution gives rise to the desired many-body Hamiltonian; unfortunately, most obtained two-body Hamiltonians are not exactly solvable, and their properties are hard to determine except for a few exactly solvable examples [11,12]. In addition, the perturbative Hamiltonian only approximates the target Hamiltonian, and may give a very weak effective Hamiltonian with a rather small energy gap. Furthermore, quasiparticle excitations (energy eigenstates) arising 0031-9007=11=107(25)=250502(5) in perturbative Hamiltonians cannot be created through completely localized manipulations of spins; excitations are always delocalized and the ground state degeneracy might be split for finite system sizes, resulting in fatal errors in practice. While a nonperturbative approach based on the PEPS formalism was developed for simulating the cluster state for measurement-based quantum computation [13], such an approach may not be applicable to degenerate systems with topological order. Here, we propose a scheme to simulate topologically ordered Hamiltonians through two-body interactions nonperturbatively. Our scheme builds on previously established ideas in perturbative gadget studies, such as the use of hopping particles proposed by König [8], and the encoding of single particles into multiple particles used by Brell et al. [10]. Combining these remarkable insights, we are able to construct the first topologically ordered spin system which satisfies the following. (1) The Hamiltonian has at most two-body, geometrically local interactions. (2) The Hamiltonian has exactly solvable ground states and low-energy excitations, and is provably gapped for all system sizes. (3) The ground space of the Hamiltonian is exactly connected to that of the target Hamiltonian through local unitary transformations, and anyonic excitations are completely localized. For clarity of presentation, we illustrate the gadget construction for the toric code. A generalization to the quantum double model is also possible [14]. Modified toric code.—We begin by defining a modified version of the toric code, also known as the Z2 lattice gauge model, that we will simulate through a two-body Hamiltonian. Consider a system of qubits defined on edges of a square lattice with periodic boundary conditions. Unlike the conventional toric code, two qubits live on each edge in our construction [see Fig. 1(a)], governed by the following Hamiltonian: 250502-1 Ó 2011 American Physical Society week ending 16 DECEMBER 2011 PHYSICAL REVIEW LETTERS PRL 107, 250502 (2011) Gadget Hamiltonian.—The central idea behind our construction is to add a ‘‘gadget particle’’ at each star [see Fig. 2(a)]. The gadget particle has four possible spin values ms ¼ 0, 1, 2, 3. We replace the four-body star term As with two-body terms Hhop and Hshield which involve the gadget particles: Hgadget ¼ Hp þ He þ Hhop þ Hshield X Hp ¼ J Bp ; p X He ¼ J Ce : e The hopping term is Hhop ¼ s p Bp ¼ Y j2p Zj ; e Ce ¼ Y Y As ¼ Xj ; j2s Zj ; j2e where s, p, and e represent ‘‘star,’’ ‘‘plaquette,’’ and ‘‘edge,’’ respectively, as defined in Figs. 1(b)–1(d). Xj and Zj are Pauli X and Z operators on qubit j, and J is some positive constant. The model is exactly solvable since interaction terms commute with each other, and it can be considered to be a stabilizer code. The model has four degenerate ground states, as in the toric code. Inside of the ground space, As ¼ Bp ¼ Ce ¼ 1, meaning As j c i ¼ Bp j c i ¼ Ce j c i ¼ j c i for all s, p, and e when j c i is a ground state. Notice that one can create the toric code from this model by applying controlled-NOT gates between pairs of qubits on each edge. Since the toric code and the modified model are connected through local unitary transformations, they are considered to be in the same quantum phase [15,16]. The ground space of the modified toric code has a fourfold degeneracy, as seen by writing down two pairs of ‘‘logical operators’’ which commute with the Hamiltonian but anticommute with each other [see Fig. 1(e)]. The nonlocality of logical operators makes the model of great interest for robust storage of quantum information. As a first step towards obtaining a two-body Hamiltonian simulating this modified toric code, we group the four qubits in each plaquette into a single composite particle with a sixteen-dimensional space. While Bp becomes one body, and Ce is two body through this grouping, the star term As is only reduced to four body. Below, we provide a scheme to simulate As through only two-body terms. s hs where hs ¼ Ujms ¼ 0ihms ¼ 0j tðDys þ Ds Þ X jms þ 1ihms j As ðms Þ ðmod 4Þ; Dys ¼ FIG. 1 (color online). (a) Construction of the modified toric code. Dots represent qubits. (b) A star term As (red online). (c) A plaquette term Bp (blue online). (d) An edge term Ce (green online). (e) Two pairs of logical operators. X X X H ¼ J As J Bp J Ce ; P (1) ms ¼0;1;2;3 where U and t are some positive constants, and ms represents the spin value of the gadget particle at s. Terms As ðmÞ are products of two Pauli X operators as depicted in Fig. 2(b). Since As ðmÞ are one-body operators when qubits in a plaquette are viewed as a composite particle, hopping terms are two body. These hopping terms will effectively induce star terms As since As ¼ ðDys Þ4 . The shielding term Hshield consists of two-body interactions between gadget particles: X Hshield ¼ J T‘ ðms ÞTr ðmsþx^ Þ þ Td ðms ÞTu ðmsþy^ Þ; s where s þ x^ and s þ y^ are unit translations of a star s in the horizontal and vertical directions, and T‘ ðmÞ ¼ 1 2m;2 ; Tr ðmÞ ¼ 2m;0 1 Td ðmÞ ¼ 1 2m;3 ; Tu ðmÞ ¼ 1 2m;3 with m;m0 ¼ 1 for m ¼ m0 and 0 otherwise. As we will see below, this choice of the shielding term decouples effective FIG. 2 (color online). Construction of the hopping term Dys . (a) Gadget particles at stars. (b) Terms As ðmÞ that are tensor products of two Pauli X operators. Each term acts on two qubits (red online), depending on spin values of gadget particles. 250502-2 interactions between neighboring gadget particles, and makes the model exactly solvable. Decomposition into subspaces.—Now, we solve the gadget Hamiltonian in Eq. (1). It is convenient to decompose the entire Hilbert space into subspaces. Let us denote computational basis states whose gadget values are all j0is: ~ ¼ j0i ~ qubit where jdi ~ qubit represents spin ~ gadget jdi j c ðdÞi ~ qubit means that all the qubits values jdj i for qubits, and j0i ~ such that it is are j0is. We define the subspace MðdÞ spanned by all the states which can be reached from ~ by applying Dys : j c ðdÞi Y y s ~ ~ M ðdÞ ¼ ðDs Þ j c ðdÞi; for all s : s ~ is an invariant subspace of We can verify that MðdÞ Hgadget . Then, one can solve the gadget Hamiltonian inside ~ independently. each subspace MðdÞ Ground state subspace.—We will first solve for the ~ and then will show its lowest ground state inside Mð0Þ, ~ energy state to be a ground state. We note that inside Mð0Þ Bp ¼ 1, and thus plaquette terms need not be considered. Denoting the total number of stars as N, we may view ~ as the Hilbert space of N particles. Mð0Þ Y O ~ ~ ¼ js i ¼ ðDys Þs j c ð0Þi: (2) ji s ðDys Þ4 s As , ðDys Þ8 ¼ ¼ I, these particles can be Noting that considered to have eight-dimensional Hilbert spaces, s ¼ 0; . . . ; 7 [17]. In this ‘‘ representation,’’ the hopping term Hhop can be written as a one-body Hamiltonian: Hhop ¼ P s hs where hs ¼ Uðjs ¼ 0ihs ¼ 0j þ js ¼ 4ihs ¼ 4jÞ t 7 X s ¼0 week ending 16 DECEMBER 2011 PHYSICAL REVIEW LETTERS PRL 107, 250502 (2011) ðjs þ 1ihs j þ H:c:Þ ðmod 8Þ: ~ However, edge terms Ce are not one body inside Mð0Þ. A key idea behind our gadget arises from the fact that these two-body interactions arising from Ce can be exactly ~ canceled by adding the shielding term Hshield . Inside Mð0Þ, edge terms have the same action as the following two-body terms involving gadget particles: Ce ¼ T‘ ðms ÞTr ðmsþx^ Þ ^ and for a horizontal edge e connecting s and s þ x, Ce ¼ Td ðms ÞTu ðmsþy^ Þ for a vertical edge e connecting s ^ as one can verify from direct calculations [14]. and s þ y, Then, the edge terms are exactly canceled: He þ Hshield ¼ 0 ~ This means the gadget Hamiltonian is one inside Mð0Þ. P body in the ‘‘ representation’’: Hgadget ¼ const þ s hs . ~ Because of this, all energy eigenstates inside N Mð0Þ can be written ~ ¼ s js i where P in the tensor product form ji js i ¼ s s ðs Þjs i. The lowest energy state is ~ ¼ Ns j0 i, where 0 ðÞ ¼ 0 ð þ 4Þ for all . j c GS ð0Þi Therefore, returning from the representation, we can write the ground state as ~ ¼ j c GS ð0Þi 7 YX ~ 0 ðÞðDys Þ j c ð0Þi s ¼0 ¼ Y ðI þ As Þ s 3 X ~ 0 ðÞðDys Þ j c ð0Þi: ¼0 ~ since We see that there is a finite energy gap inside Mð0Þ, Hgadget acts as a one-body Hamiltonian. ~ Unitary connection.—This lowest energy state j c GS ð0Þi is connected to the ground state of the modified toric code through the following local unitary transformation: U¼ Y Us ; s Us 3 X ms ¼0 jms ihms j Y As ðmÞ: (3) m<ms ~ ¼ j ~ 0 iN particular, we have Uj c GS ð0Þi gadget P 3 ~ qubit where j ~ 0 i ¼ m¼0 0 ðmÞjmi, and j c Toric ð0Þi Q ~ ~ is a ground state of the j c Toric ð0Þiqubit ¼ s ðI þ As Þj0i modified toric code. We may verify that the gadget Hamiltonian has three other ground states j c GS ðd~i Þi, i ¼ 1, 2, 3, inside Mðd~i Þ, connected in the same way to the ground states j c Toric ðd~i Þi of the modified toric code. It is then simple to find the logical operators for the gadget Hamiltonian; they are those of the modified toric code conjugated by U: Uy X 1 U, Uy X 2 U, Uy Z 1 U, and Uy Z 2 U. The ground space is topologically ordered since it meets the criteria for the stability against local perturbations proposed in [18]. Anyonic excitations, which are also energy eigenstates, can be created by applying ‘‘segments’’ of logical operators combined with local operations on gadget particles in a similar way to the conventional toric code. As a result, excitations can be created only through completely localized manipulations of spins in small regions. This is in striking contrast to perturbative Hamiltonians where anyonic excitations are delocalized, and cannot be created through completely localized manipulations of spins. Energy gap.—Finally, we show that j c GS ðd~i Þi are the ground states of the gadget Hamiltonian. To do so, we prove that the lowest energy states within other non~ have a finite higher energy ground-state subspaces MðdÞ ~ than the lowest energy state within Mð0Þ. ~ defined by j c ðdÞi ~ ¼ We first consider a subspace MðdÞ ~ ~ As ð0Þj c ð0Þi where d has nonzero components for two qubits acted on by As ð0Þ, as shown in Fig. 3. We notice that As ð0Þ commutes with all terms except two edge terms ~ is Ce1 and Ce2 . Therefore, solving Hgadget inside MðdÞ equivalent to solving In 250502-3 PHYSICAL REVIEW LETTERS PRL 107, 250502 (2011) ~ FIG. 3 (color online). A non-ground-state subspace MðdÞ. As ð0Þ anticommutes with two edge terms Ce1 and Ce2 . As ð0ÞHgadget As ð0Þy ¼ Hgadget þ V ~ where V ¼ 2JðCe þ Ce Þ. inside Mð0Þ, 1 2 Below, we show that the lowest energy states for ~ have finite higher energy than Hgadget þ V inside Mð0Þ those of Hgadget for appropriate choices of parameters U, t, and J. For simplicity of discussion, we neglect a constant correction resulting from plaquette term Hp by writing P ~ Then, one may write Hgadget ¼ Hhop ¼ s hs inside Mð0Þ. P 0 Hgadget ¼ sfs ;s1 ;s2 g hs þ H with H ¼ X hs þ 2JðCe1 þ Ce2 Þ; s¼fs ;s1 ;s2 g where s1 and s are connected by e1 , and e2 connects s2 , s (Fig. 3). Returning to the representation, we note that all particles except s , s1 , s2 are noninteracting and are governed under the same Hamiltonian hs as before. Let us denote the lowest energy eigenvalue of hs as E0 . Noting that E0 is upper bounded by U, it suffices to show that H > 3U > 3E0 for the existence of an energy gap. P Let H ¼ H1 þ H2 where H1 ¼ t s¼fs ;s1 ;s2 g ðDys þ Ds Þ P and H2 ¼ U s¼fs ;s1 ;s2 g jms ¼ 0ihms ¼ 0j þ 2JðCe1 þ Ce2 Þ. Since one cannot minimize H1 and H2 simultaneously, we obtain a lower bound for H by finding minimal energy eigenvalues for H1 and H2 individually. One can verify that H1 6t by directly finding energy eigenvalues of H1 . Similarly, one can verify that H2 minð3U þ 4J; 2U 4JÞ. Here, let us choose U and J such that J ¼ 0 U=8, and H2 52 U. Hgadget has a provably higher ground state energy than Hgadget when H > 6t 5U 2 > 3U > 3E0 , so we simply set U > 12t. This proof may be easily ~ when U > 16t. generalized to arbitrary MðdÞ A drawback of this proof is that a small value of t ¼ U=16 gives a weak constant gap for hs and thus the ~ is 104 U. Tighter analysis presented in gap inside Mð0Þ [14] shows that when J ¼ 0:09U, t ¼ 0:375U, the system has a quite reasonable energy gap of >0:075U both inside ~ and outside Mð0Þ. week ending 16 DECEMBER 2011 Particle dimension.—In this construction, a gadget particle is four dimensional, and a composite particle is eight dimensional after removing the internal degree of freedom for Bp . This can be improved through defining a similar construction on a triangular lattice, leading to sixdimensional gadget particles and four-dimensional composite particles. In addition, a more elaborate construction reduces the dimension of the gadget particles to three while keeping the dimension of composite particles at four [14]. Discussion.—Our gadget construction can be generalized to the quantum double model, which may be universal for topological quantum computation, in a rather straightforward way [14]. We expect that similar generalizations are possible for other interesting, but highly nonlocal topologically ordered Hamiltonians. In addition, our nonperturbative gadget may find use in adiabatic quantum computation and Hamiltonian complexity problems. In our construction, we have heavily taken advantage of the fact that the terms being simulated commute. Whether noncommuting terms can be simulated in this way remains an open question. Perhaps insights from related problems in theoretical computer science will prove fruitful, opening new connections. Conclusion.—In this Letter, we argue the necessity of simulating topological quantum codes nonperturbatively, and propose a model which is two body, exactly solvable, and supports completely localized quasiparticle excitations. While our construction involves large particle dimensions and ‘‘gadgety’’ interaction terms which put it beyond modern experimental capabilities, there has recently been remarkable theoretical and experimental progress in engineering custom interactions between particles [19–21]. We hope our construction will provide a stepping-stone towards physical realizability of topological quantum codes. S. A. O. is supported by NSF Grant No. DGE-0801525, IGERT: Interdisciplinary Quantum Information Science and Engineering. B. Y. thanks Eddie Farhi and Peter Shor for support. B. Y. is supported in part by DOE Grant No. DE-FG02-05ER41360 and by Nakajima Foundation. [1] A. Y. Kitaev, Russ. Math. Surv. 52, 1191 (1997). [2] A. Y. Kitaev, Ann. Phys. (N.Y.) 303, 2 (2003). [3] M. Levin and X.-G. Wen, Phys. Rev. Lett. 96, 110405 (2006). [4] M. A. Nielsen, Rep. Math. Phys. 57, 147 (2006). [5] J. Kempe, A. Kitaev, and O. Regev, SIAM J. Comput. 35, 1070 (2006). [6] S. Bravyi, D. P. DiVincenzo, D. Loss, and B. M. Terhal, Phys. Rev. Lett. 101, 070503 (2008). [7] S. P. Jordan and E. Farhi, Phys. Rev. A 77, 062329 (2008). [8] R. König, Quantum Inf. Comput. 10, 292 (2010). [9] M. Kargarian, H. Bombin, and M. A. Martin-Delgado, New J. Phys. 12, 025018 (2010). 250502-4 PRL 107, 250502 (2011) PHYSICAL REVIEW LETTERS [10] C. G. Brell, S. T. Flammia, S. D. Bartlett, and A. C. Doherty, New J. Phys. 13, 053039 (2011). [11] A. Kitaev, Ann. Phys. (N.Y.) 321, 2 (2006). [12] H. Yao and S. A. Kivelson, Phys. Rev. Lett. 99, 247203 (2007). [13] X. Chen, B. Zeng, Z.-C. Gu, B. Yoshida, and I. L. Chuang, Phys. Rev. Lett. 102, 220501 (2009). [14] See Supplemental Material at http://link.aps.org/ supplemental/10.1103/PhysRevLett.107.250502 for further discussions. [15] X. Chen, Z.-C. Gu, and X.-G. Wen, Phys. Rev. B 82, 155138 (2010). week ending 16 DECEMBER 2011 [16] B. Yoshida, Ann. Phys. (N.Y.) 326, 15 (2011). [17] Note that the representation is doubly redundant, as ~ ¼ j4i. ~ This is consistent with the required ~ ¼ Q As j0i j0i anyonic statistics. [18] S. Bravyi, M. Hastings, and S. Michalakis, J. Math. Phys. (N.Y.) 51, 093512 (2010). [19] A. Micheli, G. K. Brennen, and P. Zoller, Nature Phys. 2, 341 (2006). [20] F. Verstraete, M. M. Wolf, and J. Ignacio Cirac, Nature Phys. 5, 633 (2009). [21] H. Weimer, M. Muller, I. Lesanovsky, P. Zoller, and H. P. Buchler, Nature Phys. 6, 382 (2010). 250502-5