Kitaev surface code[13]  

Also known as Kitaev toric code.

Description

A family of abelian topological CSS stabilizer codes whose generators are few-body \(X\)-type and \(Z\)-type Pauli strings associated to the stars and plaquettes, respectively, of a cellulation of a two-dimensional surface (with a qubit located at each edge of the cellulation). Toric code often either refers to the construction on the two-dimensional torus or is an alternative name for the general construction. The construction on surfaces with boundaries is often called the planar code [46]. Codewords correspond to ground states of the surface code Hamiltonian, and error operators create or annihilate pairs of anyonic charges or vortices.

The stabilizers of the surface code on the 2-dimensional torus are generated by star operators \(A_v\) and plaquette operators \(B_p\). Each star operator is a product of four Pauli-\(X\) operators on the edges adjacent to a vertex \(v\) of the lattice; each plaquette operator is a product of four Pauli-\(Z\) operators applied to the edges adjacent to a face, or plaquette, \(p\) of the lattice (Figure I).

Figure I: Stabilizer generators and logical operators of the 2D surface code on a torus. The star operators \(A_v\) and the plaquette operators \(B_p\) generate the stabilizer group of the toric code. The logical operators are strings that wrap around the torus.

The two-dimensional toric code encodes two logical qubits. We denote by \(\overline{X}_i,\overline{Z}_i\) the logical Pauli-\(X\) and Pauli-\(Z\) operator of the \(i\)-th logical qubit. They can are represented by strings of Pauli-\(X\) operators or Pauli-\(Z\) operators that wrap around the torus as shown in Figure I.

Protection

Toric code on an \(L\times L\) torus is a \([[2L^2,2,L]]\) CSS code. The original planar code on a square-lattice patch with different boundary conditions on the vertical and horizontal edges is a \([[L^2+(L-1)^2,1,L]]\) CSS code [4]. Code size \(k = 2^{2g}\) for a torus of genus \(g\), and such higher genus surfaces have been investigated [7].

Coherent physical errors are expected to become incoherent logical errors under syndrome measurement; see corroborating numerical studies performed via the Majorana mapping [8] as well as analytical bounds [9].

Rate

Both the planar and toric codes saturate the BPT bound, which states that \(k d^2 = O(L^2)\) for codes on a 2D lattice of length \(O(L)\).

Encoding

A depth-\(L^2\) circuit that grows the code out of a small patch on an \(L\times L\) square lattice using CNOT gates (i.e., "local moves") [10,11].Graph-state based adaptive circuit [12,13].For an \(L\times L\) lattice, deterministic state preparation can be done with a geometrically local unitary \(O(L)\)-depth circuit [14,15] or an \(O(\log{L})\)-depth unitary circuit with non-local two-qubit gates [11,16,17] (matching lower bounds [18,19]).Lindbladian-based dissipative encoding for the toric code [20] that does not give a speedup relative to circuit-based encoders [21].Stabilizer measurement-based circuit of linear depth [10,22].Any geometrically local unitary circuit on a lattice \(\Lambda\) that prepares a state whose energy density with respect to the surface code Hamiltonian is \(\epsilon\) must have depth of order \(\Omega(\min(\sqrt{|\Lambda|},1/\epsilon^{\frac{1-\alpha}{2}}))\) for any \(\alpha>0\) [23].Single-shot state preparation [24].

Transversal Gates

Transversal Pauli gates exist and are based on non-trivial loops on surface. Transversal Clifford gates can be done on folded surface codes [25].

Gates

Clifford gates can be implemented via lattice surgery [2629], twist-based lattice surgery [30], or braiding defects [3137]. Non-Clifford gates require magic state distillation [38], Dehn twists [39], or just-in-time decoding [40]. Non-stabilizer surface-code states can be prepared by augmenting the code with a quantum double model [41]. ZX calculus [42,43] can be used to reduce the complexity of surface-code lattice surgery diagrams [44] and to reduce T-gate counts in magic-state distillation protocols [45,46].

Decoding

Degenerate maximum-likelihood (ML) [10], which takes time of order \(O(n^2)\) under independent \(X,Z\) noise for the surface code [47].Minimum weight perfect-matching (MWPM) [10,48] (based on work by Edmonds on finding a matching in a graph [49,50]), which takes time up to polynomial in \(n\) for the surface code. For the case of the surface code, minimum-weight decoding reduces to MWPM [10,49,51].Modified MWPM decoders: pipeline MWPM (accounting for correlations between events) [52,53], parity blossom MWPM and fusion blossom MWPM [54], and a modification utilizing the continuous signal obtained in the physical implementation of the stabilizer measurement (as opposed to discretizing the signal into a syndrome bit) [55].Belief perfect matching is a combination of belief-propagation and MWPM [56].Renormalization group (RG) [5759].Markov-chain Monte Carlo [60].Tensor network [47].Cellular automaton [61,62].Neural network [6366] and reinforcement learning [67].Union-find [68]. A subsequent modification utilizes the continuous signal obtained in the physical implementation of the stabilizer measurement (as opposed to discretizing the signal into a syndrome bit) [55]. Belief union find is a combination of belief-propagation and union-find [56]. Strictly local (as opposed to partially local) union find [69] has a worst-case runtime of order \(O(d^3)\) in the distance \(d\).Decoders can be augmented with a pre-decoder [70,71], which can allow for some processing to be done inside the cryogenic environment of the quantum system [72].Sliding-window [73,74] and parallel-window [73] parallelizable decoders can be combined with many inner decoders, such as MWPM or union-find.Generalized belief propagation (GBP) [75] based on a classical version [76]. See Ref. [77] for a review of BP decodes.Color-code decoder [78].

Fault Tolerance

Transversal (non-Clifford) CCZ gate by bringing 2D surface codes together and using just-in-time decoding [40]. Gate can be simulated by taking 2D slices out of 3D surface codes [79].Homomorphic measurement protocols for arbitrary surface codes [80].Non-geometrically local connectivity can reduce overhead cost [81].Fault-tolerant post-selection framework yields magic states with low overhead [82].Framework of fault tolerance utilizing ZX calculus [42,43] that is applicable to MBQC, FBQC, and conventional computation versions of the surface code [83].Single-shot state preparation [24] and MWPM decoding [84].Syndrome extraction circuits consisting of CNOT gates and ancillary measurements [34], two-body measurements based on the Majorana mapping [85,86]. Circuits can be optimized to specific architectures [87] using spacetime circuit codes and ZX calculus [42,43].

Code Capacity Threshold

Independent \(X,Z\) noise: \(p_X = 10.31\%\) under MWPM decoding [88] (see also Ref. [47]), \(9.9\%\) under BP-OSD decoding [89], and \(8.9\%\) under GBP decoding [75]. The threshold under ML decoding corresponds to the value of critical point of the two-dimensional random-bond Ising model on the Nishimori line [10,90] (see also [91]), calculated to be \(10.94 \pm 0.02\%\) in Ref. [92], \(10.93(2)\%\) in Ref. [93], and estimated to be between \(10.9\%\) and \(11\%\) in Ref. [47]. Above values are for one type of noise only, and ML threshold for combined \(X\) and \(Z\) noise is \(2p_X - p_X^2 \approx 20.6\%\).Depolarizing noise: between \(17\%\) and \(18.5\%\) under tensor-network decoding [47], \(14\%\) under GBP decoding [75], \(16.5\%\) under recursive MWPM [94], and between \(15\%\) and \(16\%\) under RG [57], Markov-chain [60], or MWPM [95] decoding. The threshold under ML decoding corresponds to the value of critical point in the disordered eight-vertex Ising model, calculated to be \(18.9(3)\%\) [96] (see also APS Physics viewpoint [97]).Erasure noise: \(50\%\) for square tiling [98]. There is an inverse relationship between coordination number of the syndrome graph, with the threshold corresponding to a percolation transition [99].

Threshold

\(1.8\%\) for circuit-level depolarizing noise under optimal decoder [100]. \(0.57\%\) for depolarizing noise on data and syndrome qubits as well initialization, gate, and measurement errors under MPWM decoding [34]. For this model, a logical qubit with a \(10^{-14}\) logical error rate requires between \(10^3\) to \(10^4\) physical qubits and a target gate fidelity above \(99.9\%\). Later work showed that arbitrarily large computations are possible for a physical error rate of approximately \(10^{-4}\) [101].\(0.35\%\) for circuit-level independent \(X,Z\) noise under optimal decoder [100].Phenomenological noise: \(3.3\%\) for square tiling [102].Phenomenological noise model for the 2D toric code: \(2.93(2)\%\) using several rounds of syndrome measurement [88].\(0.5-2.9\%\) for various noise models [103] (see also Refs. [88,104]).

Realizations

One cycle of syndrome readout on 19-qubit planar and 24-qubit toric codes realized in two-dimensional Rydberg atomic arrays [105]. Signatures of corresponding topological phase of matter detected in superconducting circuits [106] and two-dimensional Rydberg atomic arrays [107]. Ground state of the toric code has been implemented with and without twists, and the non-Abelian braiding behavior of the twists, which realize Ising anyons, has been demonstrated [108].

Notes

Hardware requirements for implementing surface code QEC can be reduced by utilizing structure in the time slices of the QEC circuits [109]. Surfmap framework provides a way to stitch the surface code to various superconducting-circuit geometries by assigning each superconducting qubit to be either a physical or ancilla qubit, designing stabilizer measurement circuits, and scheduling stabilizer measurements [110].Tutorials from error-correction perspective by M. Levin and A. Kubica and J. Haah and condensed-matter perspective by M. Levin and C. Nayak. Review of surface code decoders [111].

Parents

Children

  • \([[4,2,2]]\) CSS code — \([[4,2,2]]\) code is the smallest toric code.
  • Rotated surface code — Rotated surface codes can be obtained using the same procedure as for the original surface codes but considering slightly different combinatorial surfaces [6,114] than those considered in the original proposal.

Cousins

  • Majorana stabilizer code — The Majorana mapping can be used to construct efficient algorithms for simulating rounds of error correction for the surface code [8].
  • Quantum-double code — A quantum-double model with \(G=\mathbb{Z}_2\) is the surface code. Non-stabilizer surface-code states can be prepared by augmenting the surface code with a quantum double model [41].
  • Translationally invariant stabilizer code — Translation-invariant 2D qubit topological stabilizer codes are equivalent to several copies of the Kitaev surface code via a local constant-depth Clifford circuit [115117].
  • Dynamical automorphism (DA) code — One of the instantaneous stabilizer codes of the 2D DA color code are stacks of toric/surface codes
  • Floquet color code — The ISG of the Floquet color code is the stabilizer group of one of three realizations of the \(\mathbb{Z}_2\) 2D surface code.
  • Honeycomb Floquet code — Measurement of each check operator of the honeycomb Floquet code involves two qubits and projects the state of the two qubits to a two-dimensional subspace, which we regard as an effective qubit. These effective qubits form a surface code on a hexagonal superlattice. Electric and magnetic operators on the embedded surface code correspond to outer logical operators of the Floquet code. In fact, outer logical operators transition back and forth from magnetic to electric surface code operators under the measurement dynamics. Inspired by this code, stabilizer measurement circuits consisting of two-body measurements have been designed for the surface code [85,86].
  • Spacetime circuit code — Stabilizer generators of a spacetime code are called detectors in Refs. [118,119].
  • Raussendorf-Bravyi-Harrington (RBH) cluster-state code — The RBH state encodes the temporal gate operations on the surface code into a third spatial dimension [120,121]. In addition, one of possible 2D boundaries of the RBH code is effectively a 2D toric code.
  • Color code — The 3D color code is equivalent to multiple decoupled copies of the 2D surface code [122124]. Conversely, the 2D color code can condense to form the 2D surface code in nine different ways, i.e., by adding two body hopping terms along one of its three hexagonal directions to the stabilizer group and then taking the center of the resulting nonabelian group [125].
  • Heavy-hexagon code — Surface code stabilizers are used to measure the Z-type stabilizers of the code.
  • Kitaev honeycomb code — The Kitaev honeycomb model can be formulated as a qubit subsystem stabilizer code. This code can be obtained from the square-lattice surface code by gauging out the anyon \(em\) [126; Sec. 7.3]. During this process, the square lattice is effectively expanded to a hexagonal lattice [126; Fig. 12].
  • Subsystem surface code
  • Three-fermion (3F) subsystem code — One version of the 3F subsystem code can be obtained from two copies of the square-lattice surface code by gauging out the anyons \(e_1m_1e_2\) and \(e_2m_2\) [126; Sec. 7.4].
  • Double-semion stabilizer code — The double semion phase also has a realization in terms of qubits [127] that can be compared to the qubit surface code. There is a logical basis for both the toric and double-semion codes where each codeword is a superposition of states corresponding to all noncontractible loops of a particular homotopy type. The superposition is equal for the toric code, whereas some loops appear with a \(-1\) coefficient for the double semion.

References

[1]
A. Y. Kitaev, “Quantum computations: algorithms and error correction”, Russian Mathematical Surveys 52, 1191 (1997) DOI
[2]
A. Yu. Kitaev, “Quantum Error Correction with Imperfect Gates”, Quantum Communication, Computing, and Measurement 181 (1997) DOI
[3]
A. Yu. Kitaev, “Fault-tolerant quantum computation by anyons”, Annals of Physics 303, 2 (2003) arXiv:quant-ph/9707021 DOI
[4]
M. H. Freedman and D. A. Meyer, “Projective plane and planar quantum codes”, (1998) arXiv:quant-ph/9810055
[5]
S. B. Bravyi and A. Yu. Kitaev, “Quantum codes on a lattice with boundary”, (1998) arXiv:quant-ph/9811052
[6]
N. Delfosse, P. Iyer, and D. Poulin, “Generalized surface codes and packing of logical qubits”, (2016) arXiv:1606.07116
[7]
G. Rajpoot, K. Kumari, and S. R. Jain, “Quantum error correction beyond the toric code: dynamical systems meet encoding”, (2023) arXiv:2307.04418
[8]
S. Bravyi et al., “Correcting coherent errors with surface codes”, npj Quantum Information 4, (2018) arXiv:1710.02270 DOI
[9]
J. K. Iverson and J. Preskill, “Coherence in logical quantum channels”, New Journal of Physics 22, 073066 (2020) arXiv:1912.04319 DOI
[10]
E. Dennis et al., “Topological quantum memory”, Journal of Mathematical Physics 43, 4452 (2002) arXiv:quant-ph/0110143 DOI
[11]
M. Aguado and G. Vidal, “Entanglement Renormalization and Topological Order”, Physical Review Letters 100, (2008) arXiv:0712.0348 DOI
[12]
R. Raussendorf, J. Harrington, and K. Goyal, “Topological fault-tolerance in cluster state quantum computation”, New Journal of Physics 9, 199 (2007) arXiv:quant-ph/0703143 DOI
[13]
B. J. Brown et al., “Generating topological order from a two-dimensional cluster state using a duality mapping”, New Journal of Physics 13, 065010 (2011) arXiv:1105.2111 DOI
[14]
O. Higgott et al., “Optimal local unitary encoding circuits for the surface code”, Quantum 5, 517 (2021) arXiv:2002.00362 DOI
[15]
Y.-J. Liu et al., “Methods for Simulating String-Net States and Anyons on a Digital Quantum Computer”, PRX Quantum 3, (2022) arXiv:2110.02020 DOI
[16]
R. König, B. W. Reichardt, and G. Vidal, “Exact entanglement renormalization for string-net models”, Physical Review B 79, (2009) arXiv:0806.4583 DOI
[17]
J. Joo et al., “Generating and verifying graph states for fault-tolerant topological measurement-based quantum computing in two-dimensional optical lattices”, Physical Review A 88, (2013) arXiv:1207.0253 DOI
[18]
S. Bravyi, M. B. Hastings, and F. Verstraete, “Lieb-Robinson Bounds and the Generation of Correlations and Topological Quantum Order”, Physical Review Letters 97, (2006) arXiv:quant-ph/0603121 DOI
[19]
D. Aharonov and Y. Touati, “Quantum Circuit Depth Lower Bounds For Homological Codes”, (2018) arXiv:1810.03912
[20]
J. Dengis, R. König, and F. Pastawski, “An optimal dissipative encoder for the toric code”, New Journal of Physics 16, 013023 (2014) arXiv:1310.1036 DOI
[21]
R. König and F. Pastawski, “Generating topological order: No speedup by dissipation”, Physical Review B 90, (2014) arXiv:1310.1037 DOI
[22]
J. Łodyga et al., “Simple scheme for encoding and decoding a qubit in unknown state for various topological codes”, Scientific Reports 5, (2015) arXiv:1404.2495 DOI
[23]
A. Tikku and I. H. Kim, “Circuit depth versus energy in topologically ordered systems”, (2022) arXiv:2210.06796
[24]
S. Bravyi et al., “Quantum advantage with noisy shallow circuits”, Nature Physics 16, 1040 (2020) arXiv:1904.01502 DOI
[25]
J. E. Moussa, “Transversal Clifford gates on folded surface codes”, Physical Review A 94, (2016) arXiv:1603.02286 DOI
[26]
C. Horsman et al., “Surface code quantum computing by lattice surgery”, New Journal of Physics 14, 123011 (2012) arXiv:1111.4022 DOI
[27]
D. Litinski and F. von Oppen, “Lattice Surgery with a Twist: Simplifying Clifford Gates of Surface Codes”, Quantum 2, 62 (2018) arXiv:1709.02318 DOI
[28]
D. Litinski, “A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery”, Quantum 3, 128 (2019) arXiv:1808.02892 DOI
[29]
C. Chamberland and E. T. Campbell, “Universal Quantum Computing with Twist-Free and Temporally Encoded Lattice Surgery”, PRX Quantum 3, (2022) arXiv:2109.02746 DOI
[30]
C. Chamberland and E. T. Campbell, “Circuit-level protocol and analysis for twist-based lattice surgery”, Physical Review Research 4, (2022) arXiv:2201.05678 DOI
[31]
H. Bombin and M. A. Martin-Delgado, “Quantum measurements and gates by code deformation”, Journal of Physics A: Mathematical and Theoretical 42, 095302 (2009) arXiv:0704.2540 DOI
[32]
H. Bombin, “Topological Order with a Twist: Ising Anyons from an Abelian Model”, Physical Review Letters 105, (2010) arXiv:1004.1838 DOI
[33]
A. Kitaev and L. Kong, “Models for Gapped Boundaries and Domain Walls”, Communications in Mathematical Physics 313, 351 (2012) arXiv:1104.5047 DOI
[34]
A. G. Fowler et al., “Surface codes: Towards practical large-scale quantum computation”, Physical Review A 86, (2012) arXiv:1208.0928 DOI
[35]
H. Zheng, A. Dua, and L. Jiang, “Demonstrating non-Abelian statistics of Majorana fermions using twist defects”, Physical Review B 92, (2015) arXiv:1508.04166 DOI
[36]
B. J. Brown et al., “Poking Holes and Cutting Corners to Achieve Clifford Gates with the Surface Code”, Physical Review X 7, (2017) arXiv:1609.04673 DOI
[37]
A. Benhemou, J. K. Pachos, and D. E. Browne, “Non-Abelian statistics with mixed-boundary punctures on the toric code”, Physical Review A 105, (2022) arXiv:2103.08381 DOI
[38]
D. Litinski, “Magic State Distillation: Not as Costly as You Think”, Quantum 3, 205 (2019) arXiv:1905.06903 DOI
[39]
G. Zhu, A. Lavasani, and M. Barkeshli, “Instantaneous braids and Dehn twists in topologically ordered states”, Physical Review B 102, (2020) arXiv:1806.06078 DOI
[40]
B. J. Brown, “A fault-tolerant non-Clifford gate for the surface code in two dimensions”, Science Advances 6, (2020) arXiv:1903.11634 DOI
[41]
K. Laubscher, D. Loss, and J. R. Wootton, “Universal quantum computation in the surface code using non-Abelian islands”, Physical Review A 100, (2019) arXiv:1811.06738 DOI
[42]
B. Coecke and R. Duncan, “Interacting Quantum Observables”, Automata, Languages and Programming 298 DOI
[43]
B. Coecke and R. Duncan, “Interacting quantum observables: categorical algebra and diagrammatics”, New Journal of Physics 13, 043016 (2011) arXiv:0906.4725 DOI
[44]
N. de Beaudrap and D. Horsman, “The ZX calculus is a language for surface code lattice surgery”, Quantum 4, 218 (2020) arXiv:1704.08670 DOI
[45]
C. Gidney and A. G. Fowler, “Efficient magic state factories with a catalyzed|CCZ⟩to2|T⟩transformation”, Quantum 3, 135 (2019) arXiv:1812.01238 DOI
[46]
C. Gidney and A. G. Fowler, “Flexible layout of surface code computations using AutoCCZ states”, (2019) arXiv:1905.08916
[47]
S. Bravyi, M. Suchara, and A. Vargo, “Efficient algorithms for maximum likelihood decoding in the surface code”, Physical Review A 90, (2014) arXiv:1405.4883 DOI
[48]
A. G. Fowler, “Minimum weight perfect matching of fault-tolerant topological quantum error correction in average \(O(1)\) parallel time”, (2014) arXiv:1307.1740
[49]
J. Edmonds, “Paths, Trees, and Flowers”, Canadian Journal of Mathematics 17, 449 (1965) DOI
[50]
J. Edmonds, “Maximum matching and a polyhedron with 0,1-vertices”, Journal of Research of the National Bureau of Standards Section B Mathematics and Mathematical Physics 69B, 125 (1965) DOI
[51]
F. Barahona et al., “Morphology of ground states of two-dimensional frustration model”, Journal of Physics A: Mathematical and General 15, 673 (1982) DOI
[52]
A. G. Fowler, “Optimal complexity correction of correlated errors in the surface code”, (2013) arXiv:1310.0863
[53]
A. Paler and A. G. Fowler, “Pipelined correlated minimum weight perfect matching of the surface code”, (2022) arXiv:2205.09828
[54]
Y. Wu and L. Zhong, “Fusion Blossom: Fast MWPM Decoders for QEC”, (2023) arXiv:2305.08307
[55]
C. A. Pattison et al., “Improved quantum error correction using soft information”, (2021) arXiv:2107.13589
[56]
O. Higgott et al., “Improved decoding of circuit noise and fragile boundaries of tailored surface codes”, (2023) arXiv:2203.04948
[57]
G. Duclos-Cianci and D. Poulin, “Fast Decoders for Topological Quantum Codes”, Physical Review Letters 104, (2010) arXiv:0911.0581 DOI
[58]
G. Duclos-Cianci and D. Poulin, “Fault-Tolerant Renormalization Group Decoder for Abelian Topological Codes”, (2013) arXiv:1304.6100
[59]
F. H. E. Watson, H. Anwar, and D. E. Browne, “Fast fault-tolerant decoder for qubit and qudit surface codes”, Physical Review A 92, (2015) arXiv:1411.3028 DOI
[60]
A. Hutter, J. R. Wootton, and D. Loss, “Efficient Markov chain Monte Carlo algorithm for the surface code”, Physical Review A 89, (2014) arXiv:1302.2669 DOI
[61]
J. W. Harrington, Analysis of Quantum Error-Correcting Codes: Symplectic Lattice Codes and Toric Codes, California Institute of Technology, 2004 DOI
[62]
M. Herold et al., “Cellular automaton decoders of topological quantum memories in the fault tolerant setting”, New Journal of Physics 19, 063012 (2017) arXiv:1511.05579 DOI
[63]
G. Torlai and R. G. Melko, “Neural Decoder for Topological Codes”, Physical Review Letters 119, (2017) arXiv:1610.04238 DOI
[64]
C. Chamberland and P. Ronagh, “Deep neural decoders for near term fault-tolerant experiments”, Quantum Science and Technology 3, 044002 (2018) arXiv:1802.06441 DOI
[65]
R. Sweke et al., “Reinforcement learning decoders for fault-tolerant quantum computation”, Machine Learning: Science and Technology 2, 025005 (2020) arXiv:1810.07207 DOI
[66]
Y. Ueno et al., “NEO-QEC: Neural Network Enhanced Online Superconducting Decoder for Surface Codes”, (2022) arXiv:2208.05758
[67]
E. S. Matekole et al., “Decoding surface codes with deep reinforcement learning and probabilistic policy reuse”, (2022) arXiv:2212.11890
[68]
N. Delfosse and N. H. Nickerson, “Almost-linear time decoding algorithm for topological codes”, Quantum 5, 595 (2021) arXiv:1709.06218 DOI
[69]
T. Chan and S. C. Benjamin, “Strictly local Union-Find”, (2023) arXiv:2305.18534
[70]
N. Delfosse, “Hierarchical decoding to reduce hardware requirements for quantum computing”, (2020) arXiv:2001.11427
[71]
S. C. Smith, B. J. Brown, and S. D. Bartlett, “Local Predecoder to Reduce the Bandwidth and Latency of Quantum Error Correction”, Physical Review Applied 19, (2023) arXiv:2208.04660 DOI
[72]
G. S. Ravi et al., “Better Than Worst-Case Decoding for Quantum Error Correction”, (2022) arXiv:2208.08547
[73]
X. Tan et al., “Scalable surface code decoders with parallelization in time”, (2022) arXiv:2209.09219
[74]
L. Skoric et al., “Parallel window decoding enables scalable fault tolerant quantum computation”, (2023) arXiv:2209.08552
[75]
J. Old and M. Rispler, “Generalized Belief Propagation Algorithms for Decoding of Surface Codes”, Quantum 7, 1037 (2023) arXiv:2212.03214 DOI
[76]
J. S. Yedidia, W. T. Freeman, and Y. Weiss, Generalized belief propagation, in NIPS, Vol. 13 (2000) pp. 689–695.
[77]
H. D. Pfister et al., “Belief Propagation for Classical and Quantum Systems: Overview and Recent Results”, IEEE BITS the Information Theory Magazine 1 (2023) DOI
[78]
A. Benhemou et al., “Minimising surface-code failures using a color-code decoder”, (2023) arXiv:2306.16476
[79]
T. R. Scruby et al., “Numerical Implementation of Just-In-Time Decoding in Novel Lattice Slices Through the Three-Dimensional Surface Code”, Quantum 6, 721 (2022) arXiv:2012.08536 DOI
[80]
S. Huang, T. Jochym-O’Connor, and T. J. Yoder, “Homomorphic Logical Measurements”, (2022) arXiv:2211.03625
[81]
D. Litinski and N. Nickerson, “Active volume: An architecture for efficient fault-tolerant quantum computers with limited non-local connections”, (2022) arXiv:2211.15465
[82]
H. Bombín et al., “Fault-tolerant Post-Selection for Low Overhead Magic State Preparation”, (2022) arXiv:2212.00813
[83]
H. Bombin et al., “Unifying flavors of fault tolerance with the ZX calculus”, (2023) arXiv:2303.08829
[84]
S. H. Choe and R. Koenig, “Long-range data transmission in a fault-tolerant quantum bus architecture”, (2022) arXiv:2209.09774
[85]
R. Chao et al., “Optimization of the surface code design for Majorana-based qubits”, Quantum 4, 352 (2020) arXiv:2007.00307 DOI
[86]
C. Gidney, “A Pair Measurement Surface Code on Pentagons”, (2022) arXiv:2206.12780
[87]
M. McEwen, D. Bacon, and C. Gidney, “Relaxing Hardware Requirements for Surface Code Circuits using Time-dynamics”, (2023) arXiv:2302.02192
[88]
C. Wang, J. Harrington, and J. Preskill, “Confinement-Higgs transition in a disordered gauge theory and the accuracy threshold for quantum memory”, Annals of Physics 303, 31 (2003) arXiv:quant-ph/0207088 DOI
[89]
J. Roffe et al., “Decoding across the quantum low-density parity-check code landscape”, Physical Review Research 2, (2020) arXiv:2005.07016 DOI
[90]
H. Nishimori, “Geometry-Induced Phase Transition in the ±JIsing Model”, Journal of the Physical Society of Japan 55, 3305 (1986) DOI
[91]
R. Fan et al., “Diagnostics of mixed-state topological order and breakdown of quantum memory”, (2023) arXiv:2301.05689
[92]
A. Honecker, M. Picco, and P. Pujol, “Universality Class of the Nishimori Point in the 2D±JRandom-Bond Ising Model”, Physical Review Letters 87, (2001) arXiv:cond-mat/0010143 DOI
[93]
F. Merz and J. T. Chalker, “Two-dimensional random-bond Ising model, free fermions, and the network model”, Physical Review B 65, (2002) arXiv:cond-mat/0106023 DOI
[94]
A. deMarti iOlius et al., “Performance enhancement of surface codes via recursive MWPM decoding”, (2023) arXiv:2212.11632
[95]
D. S. Wang et al., “Threshold error rates for the toric and surface codes”, (2009) arXiv:0905.0531
[96]
H. Bombin et al., “Strong Resilience of Topological Codes to Depolarization”, Physical Review X 2, (2012) arXiv:1202.1852 DOI
[97]
D. Gottesman, “Keeping One Step Ahead of Errors”, Physics 5, (2012) DOI
[98]
T. M. Stace, S. D. Barrett, and A. C. Doherty, “Thresholds for Topological Codes in the Presence of Loss”, Physical Review Letters 102, (2009) arXiv:0904.3556 DOI
[99]
N. Nickerson and H. Bombín, “Measurement based fault tolerance beyond foliation”, (2018) arXiv:1810.09621
[100]
B. Heim, K. M. Svore, and M. B. Hastings, “Optimal Circuit-Level Decoding for Surface Codes”, (2016) arXiv:1609.06373
[101]
A. G. Fowler, “Proof of Finite Surface Code Threshold for Matching”, Physical Review Letters 109, (2012) arXiv:1206.0800 DOI
[102]
T. Ohno et al., “Phase structure of the random-plaquette gauge model: accuracy threshold for a toric quantum memory”, Nuclear Physics B 697, 462 (2004) arXiv:quant-ph/0401101 DOI
[103]
M. Ohzeki, “Locations of multicritical points for spin glasses on regular lattices”, Physical Review E 79, (2009) arXiv:0811.0464 DOI
[104]
A. M. Stephens, “Fault-tolerant thresholds for quantum error correction with the surface code”, Physical Review A 89, (2014) arXiv:1311.5003 DOI
[105]
D. Bluvstein et al., “A quantum processor based on coherent transport of entangled atom arrays”, Nature 604, 451 (2022) arXiv:2112.03923 DOI
[106]
K. J. Satzinger et al., “Realizing topologically ordered states on a quantum processor”, Science 374, 1237 (2021) arXiv:2104.01180 DOI
[107]
G. Semeghini et al., “Probing topological spin liquids on a programmable quantum simulator”, Science 374, 1242 (2021) arXiv:2104.04119 DOI
[108]
S. Xu et al., “Digital simulation of projective non-Abelian anyons with 68 superconducting qubits”, Chinese Physics Letters (2023) arXiv:2211.09802 DOI
[109]
A. Goswami, M. Mhalla, and V. Savin, “Fault-Tolerant Preparation of Quantum Polar Codes Encoding One Logical Qubit”, (2023) arXiv:2209.06673
[110]
A. Wu et al., “Mapping Surface Code to Superconducting Quantum Processors”, (2021) arXiv:2111.13729
[111]
A. deMarti iOlius et al., “Decoding algorithms for surface codes”, (2023) arXiv:2307.14989
[112]
A. A. Kovalev and L. P. Pryadko, “Improved quantum hypergraph-product LDPC codes”, 2012 IEEE International Symposium on Information Theory Proceedings (2012) arXiv:1202.0928 DOI
[113]
P. Panteleev and G. Kalachev, “Asymptotically Good Quantum and Locally Testable Classical LDPC Codes”, (2022) arXiv:2111.03654
[114]
H. Bombin and M. A. Martin-Delgado, “Optimal resources for topological two-dimensional stabilizer codes: Comparative study”, Physical Review A 76, (2007) arXiv:quant-ph/0703272 DOI
[115]
H. Bombin, G. Duclos-Cianci, and D. Poulin, “Universal topological phase of two-dimensional stabilizer codes”, New Journal of Physics 14, 073048 (2012) arXiv:1103.4606 DOI
[116]
H. Bombín, “Structure of 2D Topological Stabilizer Codes”, Communications in Mathematical Physics 327, 387 (2014) arXiv:1107.2707 DOI
[117]
J. Haah, “Algebraic Methods for Quantum Codes on Lattices”, Revista Colombiana de Matemáticas 50, 299 (2017) arXiv:1607.01387 DOI
[118]
C. Gidney, “Stim: a fast stabilizer circuit simulator”, Quantum 5, 497 (2021) arXiv:2103.02202 DOI
[119]
N. Delfosse and A. Paetznick, “Spacetime codes of Clifford circuits”, (2023) arXiv:2304.05943
[120]
R. Raussendorf, J. Harrington, and K. Goyal, “A fault-tolerant one-way quantum computer”, Annals of Physics 321, 2242 (2006) arXiv:quant-ph/0510135 DOI
[121]
R. Raussendorf and J. Harrington, “Fault-Tolerant Quantum Computation with High Threshold in Two Dimensions”, Physical Review Letters 98, (2007) arXiv:quant-ph/0610082 DOI
[122]
B. Yoshida, “Classification of quantum phases and topology of logical operators in an exactly solved model of quantum codes”, Annals of Physics 326, 15 (2011) arXiv:1007.4601 DOI
[123]
A. Kubica, B. Yoshida, and F. Pastawski, “Unfolding the color code”, New Journal of Physics 17, 083026 (2015) arXiv:1503.02065 DOI
[124]
A. B. Aloshious, A. N. Bhagoji, and P. K. Sarvepalli, “On the Local Equivalence of 2D Color Codes and Surface Codes with Applications”, (2018) arXiv:1804.00866
[125]
M. S. Kesselring et al., “Anyon condensation and the color code”, (2022) arXiv:2212.00042
[126]
T. D. Ellison et al., “Pauli topological subsystem codes from Abelian anyon theories”, (2022) arXiv:2211.03798
[127]
M. A. Levin and X.-G. Wen, “String-net condensation: A physical mechanism for topological phases”, Physical Review B 71, (2005) arXiv:cond-mat/0404617 DOI
Page edit log

Your contribution is welcome!

on github.com (edit & pull request)

edit on this site

Zoo Code ID: surface

Cite as:
“Kitaev surface code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2023. https://errorcorrectionzoo.org/c/surface
BibTeX:
@incollection{eczoo_surface,
  title={Kitaev surface code},
  booktitle={The Error Correction Zoo},
  year={2023},
  editor={Albert, Victor V. and Faist, Philippe},
  url={https://errorcorrectionzoo.org/c/surface}
}
Share via:
Twitter | Mastodon |  | E-mail
Permanent link:
https://errorcorrectionzoo.org/c/surface

Cite as:

“Kitaev surface code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2023. https://errorcorrectionzoo.org/c/surface

Github: https://github.com/errorcorrectionzoo/eczoo_data/tree/main/codes/quantum/qubits/stabilizer/topological/surface/two_dim/surface/surface.yml.