One of the key problems in quantum information processing is to understand the physical limits to quantum computation. Several strategies have been proposed to attenuate errors caused by the interaction of the computer with its surrounding environment and quantum error correction (QEC) is likely the most versatile. A large effort has been devoted to proving that resilience can be achieved by concatenating QEC codes in logical structures. In our work we look into this question at a different angle: we provide an upper bound on the time available to computation given a certain computer, a QEC code, and a decohering environment. We consider a broad class of environments, including those where correlation effects can be induced by gapless modes. Our approach is based on a Hamiltonian formulation where we use coarse graining in time to derive an explicit quantum evolution operator for the logical qubits, taking into account the QEC code. We show that this evolution operator has the same form as that for the original physical qubits, except for a reduced coupling to the environment which can be evaluated systematically for a given geometry and QEC code structure. To quantify the effectiveness of QEC, we compute the trace distance between the real and ideal states of a logical qubit after an arbitrary number of QEC cycles. We derive expressions for the long-time trace distance for several for super-ohmic-, ohmic-, and sub-ohmic-like baths. Given a confidence threshold for the trace distance, we establish the maximum time available for computation in those three cases. This maximum time is controlled by an exponent related to the spatial dimensions and other characteristics of the computer and the environment. For the super-ohmic regime, we find that computation can continue indefinitely, while in the other regimes the maximum time depends strongly on the QEC code, on the number of logical qubits, and on the original environment-computer strength interaction.
One of the key problems in quantum information processing is to understand the physical limits to quantum computation. Several strategies have been proposed to attenuate errors caused by the interaction of the computer with its surrounding environment and quantum error correction (QEC) is likely the most versatile. A large effort has been devoted to proving that resilience can be achieved by concatenating QEC codes in logical structures. In our work we look into this question at a different angle: we provide an upper bound on the time available to computation given a certain computer, a QEC code, and a decohering environment. We consider a broad class of environments, including those where correlation effects can be induced by gapless modes. Our approach is based on a Hamiltonian formulation where we use coarse graining in time to derive an explicit quantum evolution operator for the logical qubits, taking into account the QEC code. We show that this evolution operator has the same form as that for the original physical qubits, except for a reduced coupling to the environment which can be evaluated systematically for a given geometry and QEC code structure. To quantify the effectiveness of QEC, we compute the trace distance between the real and ideal states of a logical qubit after an arbitrary number of QEC cycles. We derive expressions for the long-time trace distance for several for super-ohmic-, ohmic-, and sub-ohmic-like baths. Given a confidence threshold for the trace distance, we establish the maximum time available for computation in those three cases. This maximum time is controlled by an exponent related to the spatial dimensions and other characteristics of the computer and the environment. For the super-ohmic regime, we find that computation can continue indefinitely, while in the other regimes the maximum time depends strongly on the QEC code, on the number of logical qubits, and on the original environment-computer strength interaction.
We obtain an upper bound on the time available for quantum computation for a given quantum computer and decohering environment with quantum error correction implemented. First, we derive an explicit quantum evolution operator for the logical qubits and show that it has the same form as that for the physical qubits but with a reduced coupling strength to the environment. Using this evolution operator, we find the trace distance between the real and ideal states of the logical qubits in two cases. For a super-Ohmic bath, the trace distance saturates, while for Ohmic or sub-Ohmic baths, there is a finite time before the trace distance exceeds a value set by the user.
We analyze the long-time behavior of a quantum computer running a quantum error correction (QEC) code in the presence of a correlated environment. Starting from a Hamiltonian formulation of realistic noise models, and assuming that QEC is indeed possible, we find formal expressions for the probability of a given syndrome history and the associated residual decoherence encoded in the reduced density matrix. Systems with nonzero gate times (``long gates'') are included in our analysis by using an upper bound on the noise. In order to introduce the local error probability for a qubit, we assume that propagation of signals through the environment is slower than the QEC period (hypercube assumption). This allows an explicit calculation in the case of a generalized spin-boson model and a quantum frustration model. The key result is a dimensional criterion: If the correlations decay sufficiently fast, the system evolves toward a stochastic error model for which the threshold theorem of fault-tolerant quantum computation has been proven. On the other hand, if the correlations decay slowly, the traditional proof of this threshold theorem does not hold. This dimensional criterion bears many similarities to criteria that occur in the theory of quantum phase transitions.
Introduction The existence of efficient quantum error correction (QEC), combined with the concept of the accuracy threshold [G98, KLZ98a], inspired confidence that reliable quantum computation is achievable in principle. However, a key point to understand is whether there are physical limitations to resilient quantum computation within this framework. In this chapter, we discuss one of the few situations that still poses some doubts [AHH+02, CSG.-B04, KF05, A06, ALZ06] about the effectiveness of QEC codes: critical environments. The term “critical environment” originates from condensed matter physics, where it refers to physical systems in which quantum correlations decay as power laws. In such an environment, the Born–Markov approximation used to evaluate decoherence rates cannot be formally justified [W99]. For quantum computation, this fact translates into the appearance of errors that can depend on previous events in the computer history. The ultimate nightmare [AHH+02] is that this memory effect may eventually lead to error probabilities above the threshold value and therefore to the breakdown of resilient quantum computation. In this chapter, our goal is to find the minimal conditions for the existence of a finite threshold value; finding a particular value for the error threshold is a more detailed question which we leave for future work.
Surface-code quantum error correction (QEC) is pivotal for fault-tolerant quantum computing, but its energy efficiency remains underexplored. This work derives a practical lower bound on the energy cost per logical-qubit operation, accounting for gate-fidelity decay's impact on code distance and physical-qubit overhead. By modeling the energy consumption of gate operations and error correction, we express the total cost as $ E = (E_g N_g + E_c N_c)/N_l $, where $ E_g $, $ E_c $, $ N_g $, $ N_c $, and $ N_l $ represent gate and physical-qubit energy costs, gate counts, physical-qubit counts, and logical qubit counts, respectively. Gate-fidelity decay increases the required code distance $ d $, scaling $ N_c $ and thus $ E $. We propose normalizing computational cost in joules per logical-qubit operation (JPCUB), isolating logical work from error-correction overhead. Quantitative predictions for $ E_g $, $ E_c $, and $ N_c $ remain [to verify], but the functional dependence on $ d $ and gate fidelities is established. This framework informs energy-efficient QEC design and benchmarks. ## 1. Introduction Surface codes enable fault-tolerant quantum computation by encoding logical qubits in a 2D lattice of physical qubits, correcting errors through syndrome measurements. However, the energy cost per logical operation—critical for scalability—remains poorly quantified. While theoretical foundations exist (Raussendorf & Terhal, 2006; Kitaev, 2003), prior work focuses on error-correction thresholds rather than energy efficiency. Here, we address this gap by deriving a lower bound on energy cost, considering how gate-fidelity decay necessitates larger code distances $ d $, increasing physical-qubit overhead $ N_c $. This analysis connects to the joules-per-compute (JPCUB) benchmark, advocating for energy normalization per logical qubit to disentangle computational work from error-correction costs. ## 2. Background Surface codes encode logical qubits using a 2D grid of
Quantum computation and communication are important branches of quantum information science. However, noise in realistic quantum devices fundamentally limits the utility of these quantum technologies. A conventional approach towards large-scale and fault-tolerant quantum information processing is to use multi-qubit quantum error correction (QEC), that is, to encode a logical quantum bit (or a logical qubit) redundantly over many physical qubits such that the redundancy can be used to detect errors. The required resource overhead associated with the use of conventional multi-qubit QEC schemes, however, is too high for these schemes to be realized at scale with currently available quantum devices. Recently, bosonic (or continuous-variable) quantum error correction has risen as a promising hardware-efficient alternative to multi-qubit QEC schemes. In this thesis, I provide an overview of bosonic QEC and present my contributions to the field. Specifically, I present the benchmark and optimization results of various single-mode bosonic codes against practically relevant excitation loss errors. I also demonstrate that fault-tolerant bosonic QEC is possible by concatenating a single-mode bosonic code with a multi-qubit error-correcting code. Moreover, I discuss the fundamental aspects of bosonic QEC using the framework of quantum communication theory. In particular, I present improved bounds on important communication-theoretic quantities such as the quantum capacity of bosonic Gaussian channels. Furthermore, I provide explicit bosonic error correction schemes that nearly achieve the fundamental performance limit set by the quantum capacity. I conclude the thesis with discussions on the importance of non-Gaussian resources for continuous-variable quantum information processing.
Abstract Fault-tolerant quantum computing requires many qubits with long lifetimes and accurate quantum gate operations. However, external noise limits the computing time and hampers accurate quantum gate operations. Quantum error correction (QEC) codes may extend such limits, but imperfect gate operations during QEC cause errors, which could cancel out QEC. We used density matrix simulations to examine the performance of QEC codes with five qubits. In current quantum devices, less than ten qubits are needed to conduct sufficient gate operations within their lifetime so that it is feasible to implement QEC codes. We analyzed the maximum tolerable error rate and error correction effect of individual QEC codes according to the qubit arrangement and gate accuracy. Assuming a 0.1% gate error probability, a logical ∣ 1 〉 state encoded by a five-qubit QEC code is expected to have a 0.25 higher fidelity than its physical counterpart.