Self-correcting quantum computers. (English) Zbl 1451.81162
Summary: Is the notion of a quantum computer (QC) resilient to thermal noise unphysical? We address this question from a constructive perspective and show that local quantum Hamiltonian models provide self-correcting QCs. To this end, we first give a sufficient condition on the connectedness of excitations for a stabilizer code model to be a self-correcting quantum memory. We then study the two main examples of topological stabilizer codes in arbitrary dimensions and establish their self-correcting capabilities. Also, we address the transversality properties of topological color codes, showing that six-dimensional color codes provide a self-correcting model that allows the transversal and local implementation of a universal set of operations in seven spatial dimensions. Finally, we give a procedure for initializing such quantum memories at finite temperature.
MSC:
| 81P68 | Quantum computation |
| 81P73 | Computational stability and error-correcting codes for quantum computation and communication processing |
References:
| [1] | Nielsen M A and Chuang I L 2000 Quantum Computation and Quantum Information (Cambridge: Cambridge University Press) · Zbl 1049.81015 |
| [2] | Cirac J I and Zoller P 1995 Quantum computations with cold trapped ions Phys. Rev. Lett.74 4091-4 · doi:10.1103/PhysRevLett.74.4091 |
| [3] | Shor P 1996 Fault-tolerant quantum computation Proc. Symp. on the Foundations of Computer Science (Los Alamitos: CA) (arXiv:quant-ph/9605011) · doi:10.1109/SFCS.1996.548464 |
| [4] | Kitaev Yu A 1997 Quantum error correction with imperfect gates Quantum Communication, Computing and Measurement ed O Hirota, A S Holevo and C M Caves pp 181-8 · Zbl 0894.00057 · doi:10.1007/978-1-4615-5923-8_19 |
| [5] | Knill E and Laflamme R 1996 Concatenated quantum codes arXiv:quant-ph/9608012 |
| [6] | Knill E, Laflamme R and Zurek W 1996 Accuracy threshold for quantum computation arXiv:quant-ph/9610011 |
| [7] | Knill E, Laflamme R and Zurek W 1998 Resilient quantum computation: error models and thresholds Science279 342 · doi:10.1126/science.279.5349.342 |
| [8] | Aharonov D and Ben-Or M 1999 Fault-tolerant quantum computation with constant error rate arXiv:quant-ph/9906129 · Zbl 0962.68065 |
| [9] | Kitaev Yu A 1997 Quantum computing: algorithms and error correction Russ. Math. Surveys52 1191-249 · Zbl 0917.68063 · doi:10.1070/RM1997v052n06ABEH002155 |
| [10] | Preskill J 1998 reliable quantum computers Proc. R. Soc. Lond. A 454 385-410 · Zbl 0915.68051 · doi:10.1098/rspa.1998.0167 |
| [11] | Wen X-G 2004 Quantum Field Theory of Many-Body Systems: From the Origin of Sound to an Origin of Light and Electrons (Oxford: Oxford University Press) |
| [12] | Kitaev Yu A 2003 Fault-tolerant quantum computation by anyons Ann. Phys.303 2 · Zbl 1012.81006 · doi:10.1016/S0003-4916(02)00018-0 |
| [13] | Dennis E, Kitaev A, Landahl A and Preskill J 2002 Topological quantum memory J. Math. Phys.43 4452-505 · Zbl 1060.94045 · doi:10.1063/1.1499754 |
| [14] | Alicki R, Lidar D A and Zanardi P 2006 Internal consistency of fault-tolerant quantum error correction in light of rigorous derivations of the quantum Markovian limit Phys. Rev. A 73 052311 · doi:10.1103/PhysRevA.73.052311 |
| [15] | Alicki R, Fannes M and Horodecki M 2008 On thermalization in Kitaev’s 2D model arXiv:0810.4584 · Zbl 1159.81011 |
| [16] | Alicki R, Horodecki M, Horodecki P and Horodecki R 2008 On thermal stability of topological qubit in Kitaev’s 4D model arXiv:0811.0033 · Zbl 1190.81027 |
| [17] | Kay A and Colbeck R 2008 Quantum self-correcting stabilizer codes arXiv:0810.3557 |
| [18] | Bravyi S and Terhal B 2008 A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes arXiv:0810.1983 |
| [19] | Bacon D 2006 Operator Quantum error correcting subsystems for self-correcting quantum memories Phys. Rev. A 73 012340 · doi:10.1103/PhysRevA.73.012340 |
| [20] | Bombin H and Martin-Delgado M A 2006 Topological quantum distillation Phys. Rev. Lett.97 180501 · doi:10.1103/PhysRevLett.97.180501 |
| [21] | Bombin H and Martin-Delgado M A 2007 Topological computation without Braiding Phys. Rev. Lett.98 160502 · Zbl 1228.81120 · doi:10.1103/PhysRevLett.98.160502 |
| [22] | Bombin H and Martin-Delgado M A 2007 Exact topological quantum order in D = 3 and beyond: branyons and Brane-Net condensates Phys. Rev. B 75 075103 · doi:10.1103/PhysRevB.75.075103 |
| [23] | Weimer H, Muller M, Lesanovsky I, Zoller P and Buchler H P 2009 Digital coherent and dissipative quantum simulations with Rydberg atoms arXiv:0907.1657 |
| [24] | Bombin H, Kargarian M and Martin-Delgado M A 2008 arXiv:0811.0911 |
| [25] | Herdman C M, Kevin C Young, Scarola V W, Sarovar M and Whaley K B 2010 Stroboscopic generation of topological protection Phys. Rev. Lett.104 230501 · doi:10.1103/PhysRevLett.104.230501 |
| [26] | Kempe J, Kitaev A and Regev O 2004 The complexity of the local Hamiltonian problem SIAM J. Comput.35 1070-97 · Zbl 1102.81032 · doi:10.1137/S0097539704445226 |
| [27] | Jordan S P and Farhi E 2008 Perturbative gadgets at arbitrary orders Phys. Rev. A 77 062329 · doi:10.1103/PhysRevA.77.062329 |
| [28] | Alicki R 2009 Quantum memory as a perpetuum mobile of the second kind arXiv:0901.0811 |
| [29] | Kay A 2008 The non-equilibrium reliability of quantum memories arXiv:0807.0287 |
| [30] | Castelnovo C and Chamon C 2008 Topological order in a 3D toric code at finite temperature Phys. Rev. B 78 155120 · doi:10.1103/PhysRevB.78.155120 |
| [31] | Iblisdir S, Perez-Garcia D, Aguado M and Pachos J 2008 Scaling law for topologically ordered systems at finite temperature arXiv:0806.1853 |
| [32] | Kargarian M 2009 Finite temperature topological order in 2D topological color codes Phys. Rev. A 80 012321 · doi:10.1103/PhysRevA.80.012321 |
| [33] | Knill E, Laflamme R and Viola L 2000 Theory of quantum error correction for general noise Phys. Rev. Lett.84 2525 · Zbl 0956.81008 · doi:10.1103/PhysRevLett.84.2525 |
| [34] | Alicki R 2006 False qubits? Polarization of light and Josephson junction arXiv:quant-ph/0606242v2 |
| [35] | Knill E 2006 On protected realizations of quantum information arXiv:quant-ph/0603252 |
| [36] | Shor P W 1996 Scheme for reducing decoherence in quantum computer memory Phys. Rev. A 52 R2493 · doi:10.1103/PhysRevA.52.R2493 |
| [37] | Steane A M 1996 Error correcting codes in quantum theory Phys. Rev. Lett.77 793 · Zbl 0944.81505 · doi:10.1103/PhysRevLett.77.793 |
| [38] | Gottesman D 1996 Class of quantum error-correcting codes saturating the quantum Hamming bound Phys. Rev. A 54 1862 · doi:10.1103/PhysRevA.54.1862 |
| [39] | Calderbank A R, Rains E M, Shor P W and Sloane N J A 1997 Quantum error correction and orthogonal geometry Phys. Rev. Lett.78 405 · Zbl 1005.94541 · doi:10.1103/PhysRevLett.78.405 |
| [40] | Alicki R and Fannes M 2008 Decay of fidelity in terms of correlation functions arXiv:0809.4180 |
| [41] | Alicki R 1988 Physica A 150 455 · doi:10.1016/0378-4371(88)90163-X |
| [42] | Zanardi P and Rasetti M 1997 Phys. Rev. Lett.79 3306 · doi:10.1103/PhysRevLett.79.3306 |
| [43] | Alicki R and Lendi L 2008 Quantum Dynamical Semigroups and Applications 2nd edn (Berlin: Springer) |
| [44] | Hofmann H 2005 Phys. Rev. Lett.94 160504 (arXiv:quant-ph/0411011) · doi:10.1103/PhysRevLett.94.160504 |
| [45] | Peierls R 1936 Proc. Camb. Phil. Soc.32 477 · Zbl 0014.33604 · doi:10.1017/S0305004100019174 |
| [46] | Griffiths R 1964 Peierls proof of spontaneous magnetization in a two-dimensional Ising ferromagnet Phys. Rev. A 136 437 · Zbl 0129.23205 · doi:10.1103/PhysRev.136.A437 |
| [47] | Dobrushin R L 1965 Teoriya Veroyatnostei i ee Primeneniya10 209 |
| [48] | Dobrushin R L 1965 Theory Probab. Appl.10 193 (Engl. transl.) · Zbl 0168.23803 · doi:10.1137/1110026 |
| [49] | Bombin H and Martin-Delgado M A 2007 Homological error correction: classical and quantum codes J. Math. Phys.48 052105 · Zbl 1144.81317 · doi:10.1063/1.2731356 |
| [50] | Bombin H and Martin-Delgado M A 2007 Optimal resources for topological 2D stabilizer codes: comparative study Phys. Rev. A 76 012305 · doi:10.1103/PhysRevA.76.012305 |
| [51] | Bombin H and Martin-Delgado M A 2008 An interferometry-free protocol for demonstrating topological order Phys. Rev. B 78 165128 · doi:10.1103/PhysRevB.78.165128 |
| [52] | Bombin H and Martin-Delgado M A 2011 Nested topological order New J. Phys.13 125001 · Zbl 1448.81490 · doi:10.1088/1367-2630/13/12/125001 |
| [53] | Knill E, Laamme R and Zurek W 1996 Accuracy threshold for quantum computation arXiv:quant-ph/9610011 |
| [54] | Zeng B, Cross A and Chuang I L 2007 Transversality versus universality for additive quantum codes arXiv:0706.1382v3 [quant-ph] · Zbl 1365.81046 |
| [55] | Bombin H and Martin-Delgado M A A 2008 A family of non-Abelian Kitaev models on a lattice: topological confinement and condensation Phys. Rev. B 78 115421 · doi:10.1103/PhysRevB.78.115421 |
| [56] | Bombin H and Martin-Delgado M A 2009 Quantum measurements and gates by code deformation J. Phys. A: Math. Theor.42 095302 · Zbl 1159.81349 |
| [57] | ’t Hooft G 1976 High Energy Physics ed M Zichichi (Bolognia: Editrice Compositori) |
| [58] | Haah J 2011 Local stabilizer codes in three dimensions without string logical operators Phys. Rev. A 83 042330 · doi:10.1103/PhysRevA.83.042330 |
| [59] | Bravyi S and Haah J 2011 Analytic and numerical demonstration of quantum self-correction in the 3D cubic code arXiv:1112.3252 |
| [60] | Michnicki K 2012 3-d quantum stabilizer codes with a power law energy barrier arXiv:1208.3496 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
