The ability to store information is of fundamental importance to any computer, be it classical or quantum. To identify systems for quantum memories which rely, analogously to classical memories, on passive error protection (`self-correction') is of greatest interest in quantum information science. While systems with topological ground states have been considered to be promising candidates, a large class of them was recently proven unstable against thermal fluctuations. Here, we propose two-dimensional (2D) spin models unaffected by this result. Specifically, we introduce repulsive long-range interactions in the toric code and establish a memory lifetime polynomially increasing with the system size. This remarkable stability is shown to originate directly from the repulsive long-range nature of the interactions. We study the time dynamics of the quantum memory in terms of diffusing anyons and support our analytical results with extensive numerical simulations. Our findings demonstrate that self-correcting quantum memories can exist in 2D at finite temperatures.
The error correcting capabilities of the Calderbank-Shor-Steane [[7,1,3]] quantum code, together with a fault-tolerant syndrome extraction by means of several ancilla states, have been numerically studied. A simple probability expression to characterize the code ability for correcting an encoded qubit has been considered. This probability, as a correction quality criterion, permits the error correction capabilities among different recovery schemes to be compared. The memory error threshold is calculated by means of the best method of those considered.
For realizing a quantum memory we suggest to first encode quantum information via a quantum error correcting code and then concatenate combined decoding and re-encoding operations. This requires that the encoding and the decoding operation can be performed faster than the typical decoherence time of the underlying system. The computational model underlying the one-way quantum computer, which has been introduced by Hans Briegel and Robert Raussendorf, provides a suitable concept for a fast implementation of quantum error correcting codes. It is shown explicitly in this article is how encoding a…
We study the two-dimensional toric code Hamiltonian with effective long-range interactions between its anyonic excitations induced by coupling the toric code to external fields. It has been shown that such interactions allow to increase the lifetime of the stored quantum information arbitrarily by making $L$, the linear size of the memory, larger [Phys. Rev. A 82 022305 (2010)]. We show that for these systems the choice of boundary conditions (open boundaries as opposed to periodic boundary conditions) is not a mere technicality; the influence of anyons produced at the boundaries becomes in fa…
We examine two proposals for marginally self-correcting quantum memory, the cubic code by Haah and the welded code by Michnicki. In particular, we prove explicitly that they are absent of topological order above zero temperature, as their Gibbs ensembles can be prepared via a short-depth quantum circuit from classical ensembles. Our proof technique naturally gives rise to the notion of free energy associated with excitations. Further, we develop a framework for an ergodic decomposition of Davies generators in CSS codes which enables formal reduction to simpler classical memory problems. We the…
Perturbatively Stable Self-Correcting Classical Memory from Gauge Averaging
Mani L. Bhaumik Institute for Theoretical Physics, Department of Physics and Astronomy, University of California, Los Angeles（加州大学洛杉矶分校马尼·L·巴乌米克理论物理研究所物理与天文学系）
Whether self correcting quantum memories can exist at non-zero temperature in a physically reasonable setting remains a great open problem. It has recently been argued [1] that symmetry protected topological (SPT) systems in three space dimensions subject to a strong constraint -- that the quantum dynamics respect a 1-form symmetry -- realize such a quantum memory. We illustrate how this works in Walker-Wang codes, which provide a specific realization of these desiderata. In this setting we show that it is sufficient for the 1-form symmetry to be enforced on a sub-volume of the system which is…
Recently, it has become apparent that the thermal stability of topologically ordered systems at finite temperature, as discussed in condensed matter physics, can be studied by addressing the feasibility of self-correcting quantum memory, as discussed in quantum information science. Here, with this correspondence in mind, we propose a model of quantum codes that may cover a large class of physically realizable quantum memory. The model is supported by a certain class of gapped spin Hamiltonians, called stabilizer Hamiltonians, with translation symmetries and a small number of ground states that…
Recent studies have shown that topological models with interacting anyonic quasiparticles can be used as self-correcting quantum memories. Here we study the behaviour of these models at thermal equilibrium. It is found that the interactions allow topological order to exist at finite temperature, not only in an extension of the ground state phase but also in a novel form of topologically ordered phase. Both phases are found to support self-correction in all models considered, and the transition between them corresponds to a change in the scaling of memory lifetime with system size.
We study properties of stabilizer codes that permit a local description on a regular D-dimensional lattice. Specifically, we assume that the stabilizer group of a code (the gauge group for subsystem codes) can be generated by local Pauli operators such that the support of any generator is bounded by a hypercube of constant size. Our first result concerns the optimal scaling of the distance $d$ with the linear size of the lattice $L$. We prove an upper bound $d=O(L^{D-1})$ which is tight for D=1,2. This bound applies to both subspace and subsystem stabilizer codes. Secondly, we analyze the suit…
We propose a scheme to dynamically realize a quantum memory based on the toric code. The code is generated from qubit systems with typical two-body interactions (Ising, XY, Heisenberg) using periodic, NMR-like, pulse sequences. It allows one to encode the logical qubits without measurements and to protect them dynamically against the time evolution of the physical qubits. A weakly coupled cavity mode mediates a long-range attractive interaction between the stabilizer operators of the toric code, thereby suppressing the creation of thermal anyons. This significantly increases the lifetime of th…
We study the performance of simple error correcting and error avoiding quantum codes together with their concatenation for correlated noise models. Specifically, we consider two error models: i) a bit-flip (phase-flip) noisy Markovian memory channel (model I); ii) a memory channel defined as a memory degree dependent linear combination of memoryless channels with Kraus decompositions expressed solely in terms of tensor products of X-Pauli (Z-Pauli) operators (model II). The performance of both the three-qubit bit flip (phase flip) and the error avoiding codes suitable for the considered error …
In [Phys. Rev. A 88, 062313 (2013)] we proposed and studied a model for a self-correcting quantum memory in which the energetic cost for introducing a defect in the memory grows without bounds as a function of system size. This positive behavior is due to attractive long-range interactions mediated by a bosonic field to which the memory is coupled. The crucial ingredients for the implementation of such a memory are the physical realization of the bosonic field as well as local five-body interactions between the stabilizer operators of the memory and the bosonic field. Here, we show that both o…
Transferring a quantum state of a light field to a memory is of particular importance. However, this transfer is usually hampered because the memory system is subjected to some noise and this can limit the performance of the state transfer to a great extent. In this paper, we consider the transfer of a Gaussian state of light to a linear medium memory such as an opto-mechanical oscillator and propose a dynamical feedback controller that suppresses the noise in the memory system. To protect an unknown state, the feedback scheme employs the specific configuration of the quantum error correction;…
The advent of quantum computing has heralded a renewed interest in physical memories - physically realizable structures that offer reliable data storage with error correction only at the point of access. Here, we examine a model of a classical physical memory, capable of storing a classical bit, based on the ferromagnetic Ising model on 1- and 2-dimensional square lattices. We make use of Monte-Carlo simulations as well as analytic solutions in the high temperature limit. At high temperatures, both 1- and 2-D Ising models behave like a non-interacting model, albeit with a reduced effective num…
The recently introduced detected-jump correcting quantum codes are capable of stabilizing qubit-systems against spontaneous decay processes arising from couplings to statistically independent reservoirs. These embedded quantum codes exploit classical information about which qubit has emitted spontaneously and correspond to an active error-correcting code embedded in a passive error-correcting code. The construction of a family of one detected jump-error correcting quantum codes is shown and the optimal redundancy, encoding and recovery as well as general properties of detected jump-error corre…
We show how extra entanglement shared between sender and receiver reduces the memory requirements for a general entanglement-assisted quantum convolutional code. We construct quantum convolutional codes with good error-correcting properties by exploiting the error-correcting properties of an arbitrary basic set of Pauli generators. The main benefit of this particular construction is that there is no need to increase the frame size of the code when extra shared entanglement is available. Then there is no need to increase the memory requirements or circuit complexity of the code because the fram…
Rapidly developing experiments across multiple platforms now aim to realise small quantum codes, and so demonstrate a memory within which a logical qubit can be protected from noise. There is a need to benchmark the achievements in these diverse systems, and to compare the inherent power of the codes they rely upon. We describe a recently-introduced performance measure called integrity, which relates to the probability that an ideal agent will successfully 'guess' the state of a logical qubit after a period of storage in the memory. Integrity is straightforward to evaluate experimentally witho…
In this paper, we explicitly construct (Abelian) anyonic excitations of arbitrary stabilizer Hamiltonians which are local on a 2D lattice of qubits. This leads directly to the conclusion that, in the presence of local thermal noise, such systems cannot be used for the fault-tolerant storage of quantum information by self-correction i.e. they are ruled out as candidates for a `quantum hard drive'. We suggest that in 3D, the same construction leads to an argument that self-correction is impossible.
Is the notion of a quantum computer resilient to thermal noise unphysical? We address this question from a constructive perspective and show that local quantum Hamiltonian models provide self-correcting quantum computers. To this end, we first give a sufficient condition on the connect- edness 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, showi…
We study a dephasing channel with memory, modelled by a Markov chain. We show that even weak memory effects have a detrimental impact on the performance of quantum error correcting schemes designed for uncorrelated errors. We also discuss an alternative scheme that takes advantage of memory effects to protect quantum information.
Circuit-based characterization of finite-temperature quantum phases and self-correcting quantum memory
Kavli Institute for Theoretical Physics, University of California, Santa Barbara（加州大学圣塔芭芭拉分校卡弗里理论物理研究所）；Department of Physics, University of California, Santa Barbara（加州大学圣塔芭芭拉分校物理系）；Kadanoff Center for Theoretical Physics & Enrico Fermi Institute, The University of Chicago（芝加哥大学卡达诺夫理论物理中心与恩里科·费米研究所）；Department of Physics, Stanford University（斯坦福大学物理系）
It is important to study the behavior of a t-error correcting quantum code when the number of errors is greater than t, because it is likely that there are also small errors besides t large correctable errors. We give a lower bound for the fidelity of a t-error correcting stabilizer code over a general memoryless channel, allowing more than t errors. We also show that the fidelity can be made arbitrary close to 1 by increasing the code length.
We present a family of non-CSS quantum error-correcting code consisting of geometrically local stabilizer generators on a 3D lattice. We study the Hamiltonian constructed from ferromagnetic interaction of overcomplete set of local stabilizer generators. The degenerate ground state of the system is characterized by a quantum error-correcting code whose number of encoded qubits are equal to the second Betti number of the manifold. These models (i) have solely local interactions; (ii) admit a strong-weak duality relation with an Ising model on a dual lattice; (iii) have topological order in the g…
We investigate the self-correcting properties of a network of Majorana wires, in the form of a trijunction, in contact with a parity-preserving thermal environment. As opposed to the case where Majorana bound states (MBSs) are immobile, braiding MBSs within a trijunction introduces dangerous error processes that we identify. Such errors prevent the lifetime of the memory from increasing with the size of the system. We confirm our predictions with Monte Carlo simulations. Our findings put a restriction on the degree of self-correction of this specific quantum computing architecture.
The eigenstate thermalization hypothesis (ETH) is a powerful conjecture for understanding how statistical mechanics emerges in a large class of many-body quantum systems. It has also been interpreted in a CFT context, and, in particular, holographic CFTs are expected to satisfy ETH. Recently, it was observed that the ETH condition corresponds to a necessary and sufficient condition for an approximate quantum error correcting code (AQECC), implying the presence of AQECCs in systems satisfying ETH. In this paper, we explore the properties of ETH as an error correcting code and show that there ex…
We discuss and review several thermodynamic criteria that have been introduced to characterize the thermal stability of a self-correcting quantum memory. We first examine the use of symmetry-breaking fields in analyzing the properties of self-correcting quantum memories in the thermodynamic limit: we show that the thermal expectation values of all logical operators vanish for any stabilizer and any subsystem code in any spatial dimension. On the positive side, we generalize the results in [R. Alicki et al., arXiv:0811.0033] to obtain a general upper bound on the relaxation rate of a quantum me…
We analyze several high dimensional generalizations of the toric code at nonzero temperature. We find that in large enough dimension, there can be a distinct separation between the critical temperature $T_c$, given by thermodynamic singularities, and the percolation temperature $T_p$, given by the percolation of defects. We argue that the regime $T_p<T<T_c$ is a range of temperatures where a self-correcting quantum memory can operate despite having percolating defects. We present analytic arguments and numerical evidence in support of this scenario, including a mean-field treatment and Monte C…
The most general method for encoding quantum information is not to encode the information into a subspace of a Hilbert space, but to encode information into a subsystem of a Hilbert space. Recently this notion has led to a more general notion of quantum error correction known as operator quantum error correction. In standard quantum error correcting codes, one requires the ability to apply a procedure which exactly reverses on the error correcting subspace any correctable error. In contrast, for operator error correcting subsystems, the correction procedure need not undo the error which has oc…
A self-correcting quantum memory can store and protect quantum information for a time that increases without bound with the system size and without the need for active error correction. We demonstrate that symmetry can lead to self-correction in 3D spin-lattice models. In particular, we investigate codes given by 2D symmetry-enriched topological (SET) phases that appear naturally on the boundary of 3D symmetry-protected topological (SPT) phases. We find that while conventional on-site symmetries are not sufficient to allow for self-correction in commuting Hamiltonian models of this form, a gen…
Tradeoffs between the information rate and fidelity of quantum error-correcting codes are discussed. Quantum channels to be considered are those subject to independent errors and modeled as tensor products of copies of a general completely positive linear map, where the dimension of the underlying Hilbert space is a prime number. On such a quantum channel, the highest fidelity of a quantum error-correcting code of length $n$ and rate R is proven to be lower bounded by 1 - \exp [-n E(R) + o(n)] for some function E(R). The E(R) is positive below some threshold R', which implies R' is a lower bou…
On a class of memoryless quantum channels which includes the depolarizing channel, the highest fidelity of quantum error-correcting codes of length n and rate R is proven to be lower bounded by 1-exp[-nE(R)+o(n)] for some function E(R). The E(R) is positive below some threshold R', which implies R' is a lower bound on the quantum capacity.
We propose a family of local CSS stabilizer codes as possible candidates for self-correcting quantum memories in 3D. The construction is inspired by the classical Ising model on a Sierpinski carpet fractal, which acts as a classical self-correcting memory. Our models are naturally defined on fractal subsets of a 4D hypercubic lattice with Hausdorff dimension less than 3. Though this does not imply that these models can be realised with local interactions in 3D Euclidean space, we also discuss this possibility. The X and Z sectors of the code are dual to one another, and we show that there exis…
The goal of this paper is to review the theoretical basis for achieving a faithful quantum information transmission and processing in the presence of noise. Initially encoding and decoding, implementing gates and quantum error correction will be considered error free. Finally we will relax this non realistic assumption, introducing the quantum fault-tolerant concept. The existence of an error threshold permits to conclude that there is no physical law preventing a quantum computer from being built. An error model based on the depolarizing channel will be able to provide a simple estimation of …
Generating quantum error correcting codes from topological pre-thermal scars
Collège de France（法兰西学院）；CNRS（法国国家科学研究中心）；ENS-Université PSL（巴黎高等师范学院-巴黎文理研究大学）；Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室）；University of New Mexico（新墨西哥大学）；International Solvay Institutes（国际索尔维研究所）；Université Libre de Bruxelles（布鲁塞尔自由大学）；Center for Nonlinear Phenomena and Complex Systems（非线性现象与复杂系统中心）；Sandia National Laboratories（桑迪亚国家实验室）
Upper and lower bounds are given for the number of equivalence classes of error patterns in the toric code for quantum memory. The results are used to derive a lower bound on the ground-state energy of the +/-J Ising spin glass model on the square lattice with symmetric and asymmetric bond distributions. This is a highly non-trivial example in which insights from quantum information lead directly to an explicit result on a physical quantity in the statistical mechanics of disordered systems.
Self-correcting quantum memories demonstrate robust properties that can be exploited to improve active quantum error-correction protocols. Here we propose a cellular automaton decoder for a variation of the color code where the bases of the physical qubits are locally rotated, which we call the XYZ color code. The local transformation means our decoder demonstrates key properties of a two-dimensional fractal code if the noise acting on the system is infinitely biased towards dephasing, namely, no string-like logical operators. As such, in the high-bias limit, our local decoder reproduces the b…
We have studied the role of thermalization in lifetime reduction of quantum memory based on multi-atomic ensembles. Herein, it is shown to be impossible to remove the thermaization-caused decoherence in such systems using the methods of dynamical decoupling. We have analyzed the existing models of the thermalization and have proposed a new understanding of the thermalization as a result of the internal processes which are not described in the unitary quantum dynamics formalism. The possible ways for reducing the negative influence of thermalization on the quantum memory lifetime are also discu…
The classical capacity of phase-invariant Gaussian channels has been recently determined under the assumption that such channels are memoryless. In this work we generalize this result by deriving the classical capacity of a model of quantum memory channel, in which the output states depend on the previous input states. In particular we extend the analysis of [C. Lupo, et al., PRL and PRA (2010)] from quantum limited channels to thermal attenuators and thermal amplifiers. Our result applies in many situations in which the physical communication channel is affected by nonzero memory and by therm…
We discuss energy barriers and their relationship to self-correcting quantum memories. We introduce the solid code, a 3-d version of Kitaev's surface code, and then combine several solid codes using a technique called welding. The resulting code is a $[[O(L^3),1,O(L^{\frac{4}{3}})]]$ stabilizer code with an energy barrier of $O(L^{\frac{2}{3}})$, which is an exponential improvement over the previous highest energy barrier in 3-d. No-go results are avoided by breaking microscopic translation invariance.
We discuss the influence of atomic thermal motion on the efficiency of multimode quantum memory in two configurations: over the free expand of atoms cooled beforehand in a magneto-optical trap, and over complete mixing of atoms in a closed cell at room temperature. We consider the high-speed quantum memory, and assume that writing and retrieval are short enough, and the displacements of atoms during these stages are negligibly small. At the same time we take in account thermal motion during the storage time, which, as well known, must be much longer than durations of all the other memory proce…
Thermalization in a repeated-interaction model with memory effects
Graduate School of Science and Technology, Keio University（庆应义塾大学理工学部）；Quantum Computing Center, Keio University（庆应义塾大学量子计算中心）；Research and Development Group, Hitachi, Ltd.（日立株式会社研发集团）；Keio University Sustainable Quantum Artificial Intelligence Center (KSQAIC), Keio University（庆应义塾大学可持续量子人工智能中心）
Layer codes as partially self-correcting quantum memories
Yale Quantum Institute & Department of Applied Physics, Yale University（耶鲁大学应用物理系与耶鲁量子研究所）；School of Computation, Information and Technology, Technical University of Munich（慕尼黑工业大学计算、信息与技术学院）；Munich Center for Quantum Science and Technology（慕尼黑量子科学与技术中心）；IQM Quantum Computers（IQM量子计算机公司）；Department of Mathematics, Massachusetts Institute of Technology（麻省理工学院数学系）；Departments of Mathematics & Physics, Northeastern University（东北大学数学与物理系）
Technical University of Munich（慕尼黑工业大学）；Munich Center for Quantum Science and Technology（慕尼黑量子科学与技术中心）；University of Cambridge（剑桥大学）；Universität Tübingen（蒂宾根大学）
A big open question in the quantum information theory concerns feasibility of a self-correcting quantum memory. A quantum state recorded in such memory can be stored reliably for a macroscopic time without need for active error correction if the memory is put in contact with a cold enough thermal bath. In this paper we derive a rigorous lower bound on the memory time $T_{mem}$ of the 3D Cubic Code model which was recently conjectured to have a self-correcting behavior. Assuming that dynamics of the memory system can be described by a Markovian master equation of Davies form, we prove that $T_{…
Quantum Error Correction will be necessary for preserving coherent states against noise and other unwanted interactions in quantum computation and communication. We develop a general theory of quantum error correction based on encoding states into larger Hilbert spaces subject to known interactions. We obtain necessary and sufficient conditions for the perfect recovery of an encoded state after its degradation by an interaction. The conditions depend only on the behavior of the logical states. We use them to give a recovery operator independent definition of error-correcting codes. We relate t…
Motivated by the growing interest in self-correcting quantum memories, we study the feasibility of self-correction in classical lattice systems composed of bounded degrees of freedom with local interactions. We argue that self-correction, including a requirement of stability against external perturbation, cannot be realized in system with broken global symmetries such as the 2d Ising model, but that systems with local, i.e. gauge, symmetries have the required properties. Previous work gave a three-dimensional quantum system which realized a self-correcting classical memory. Here we show that a…
Comparison of spin-qubit architectures for quantum error-correcting codes
Universidad de Costa Rica（哥斯达黎加大学）；RIKEN Center for Quantum Computing, RIKEN（理研量子计算中心，理研）；National Tsing Hua University（国立清华大学）；National Center for Excellence in Quantum Information Science and Engineering, National Tsing Hua University（国立清华大学量子信息科学与工程卓越国家中心）
