Exact Calculations of Coherent Information for Toric Codes under Decoherence: Identifying the Fundamental Error Threshold
Abstract: The toric code is a canonical example of a topological error-correcting code. Two logical qubits stored within the toric code are robust against local decoherence, ensuring that these qubits can be faithfully retrieved as long as the error rate remains below a certain threshold. Recent studies have explored such a threshold behavior as an intrinsic information-theoretic transition, independent of the decoding protocol. These studies have shown that information-theoretic metrics, calculated using the Renyi (replica) approximation, demonstrate sharp transitions at a specific error rate. However, an exact analytic expression that avoids using the replica trick has not been shown, and the connection between the transition in information-theoretic capacity and the random bond Ising model (RBIM) has only been indirectly established. In this work, we present the first analytic expression for the coherent information of a decohered toric code, thereby establishing a rigorous connection between the fundamental error threshold and the criticality of the RBIM.
- C. E. Shannon, A mathematical theory of communication, The Bell System Technical Journal 27, 379 (1948).
- W. K. Wootters and W. H. Zurek, A single quantum cannot be cloned, Nature 299, 802 (1982).
- P. W. Shor, Scheme for reducing decoherence in quantum computer memory, Phys. Rev. A 52, R2493 (1995).
- E. Knill, R. Laflamme, and W. H. Zurek, Resilient quantum computation, Science 279, 342 (1998).
- A. Y. Kitaev, Quantum computations: algorithms and error correction, Russian Mathematical Surveys 52, 1191 (1997).
- D. Gottesman, Theory of fault-tolerant quantum computation, Phys. Rev. A 57, 127 (1998).
- S. B. Bravyi and A. Y. Kitaev, Quantum codes on a lattice with boundary (1998), arXiv:quant-ph/9811052 [quant-ph] .
- H. Nishimori, Internal Energy, Specific Heat and Correlation Function of the Bond-Random Ising Model, Progress of Theoretical Physics 66, 1169 (1981).
- H. Nishimori, Geometry-induced phase transition in the ±plus-or-minus\pm±j ising model, Journal of the Physical Society of Japan 55, 3305 (1986).
- H. G. Katzgraber, H. Bombin, and M. A. Martin-Delgado, Error threshold for color codes and random three-body ising models, Phys. Rev. Lett. 103, 090501 (2009).
- C. T. Chubb and S. T. Flammia, Statistical mechanical models for quantum codes with correlated noise, Annales de l’Institut Henri Poincare D 8, 269 (2021), arXiv:1809.10704 [quant-ph] .
- J. Y. Lee, C.-M. Jian, and C. Xu, Quantum criticality under decoherence or weak measurement, PRX Quantum 4, 030317 (2023).
- M. B. Hastings, Topological order at nonzero temperature, Phys. Rev. Lett. 107, 210501 (2011).
- Y.-H. Chen and T. Grover, Separability transitions in topological states induced by local decoherence (2023), arXiv:2309.11879 [quant-ph] .
- B. Schumacher and M. A. Nielsen, Quantum data processing and error correction, Phys. Rev. A 54, 2629 (1996).
- M. Horodecki, J. Oppenheim, and A. Winter, Quantum state merging and negative information, Communications in Mathematical Physics 269, 107 (2007).
- A. Honecker, M. Picco, and P. Pujol, Universality class of the nishimori point in the 2d ±Jplus-or-minus𝐽\pm{}\mathit{J}± italic_J random-bond ising model, Phys. Rev. Lett. 87, 047201 (2001).
- The boundary operator ∂\partial∂ (∂⟂superscriptperpendicular-to\partial^{\scriptscriptstyle{\perp}}∂ start_POSTSUPERSCRIPT ⟂ end_POSTSUPERSCRIPT) maps a set of values defined on (dual) edges into a set of values defined on (dual) vertices; (∂𝒍)v:=\sum@\slimits@v′∋vl(v,v′)assignsubscript𝒍𝑣\sum@subscript\slimits@𝑣superscript𝑣′subscript𝑙𝑣superscript𝑣′(\partial{\bm{l}})_{v}\,{:=}\,\sum@\slimits@_{v^{\prime}\ni v}l_{(v,v^{\prime})}( ∂ bold_italic_l ) start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT := start_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∋ italic_v end_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT ( italic_v , italic_v start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_POSTSUBSCRIPT. Note that the plaquettes of the original lattice corresponds the vertices of the dual lattice.
- As in the case of a dual cycle, the loop 𝑳𝒃subscript𝑳𝒃\bm{L}_{\bm{b}}bold_italic_L start_POSTSUBSCRIPT bold_italic_b end_POSTSUBSCRIPT is defined by 𝒃𝒃{\bm{b}}bold_italic_b such that 𝑳𝒃subscript𝑳𝒃\bm{L}_{\bm{b}}bold_italic_L start_POSTSUBSCRIPT bold_italic_b end_POSTSUBSCRIPT has a nontrivial cycle along i𝑖iitalic_i-th direction if bi≠ 0subscript𝑏𝑖 0b_{i}\,{\neq}\,0italic_b start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ≠ 0.
- We remark that this idea can be immediately generalized for ℤnsubscriptℤ𝑛\mathbb{Z}_{n}blackboard_Z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT case.
- This is expected since disorder operators’ correlation functions decay exponentially with their perimeter size in the disordered phase.
- J. Y. Lee, Y.-Z. You, and C. Xu, Symmetry protected topological phases under decoherence, arXiv e-prints , arXiv:2210.16323 (2022a), arXiv:2210.16323 [cond-mat.str-el] .
- Note that at p=0𝑝0p=0italic_p = 0, β~=0~𝛽0\tilde{\beta}=0over~ start_ARG italic_β end_ARG = 0 while β=∞𝛽\beta=\inftyitalic_β = ∞.
- E. H. Lieb and M. B. Ruskai, Proof of the strong subadditivity of quantum‐mechanical entropy, Journal of Mathematical Physics 14, 1938 (2003).
- 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).
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
