An improved Landauer Principle with finite-size corrections
David Reeb, Michael M. Wolf
备注：
v2: 33 pages, 3 figures, minor changes and additions, references updated; v3: published version, title changed, 23+11 pages, 3 figures, some sections and appendices reordered, many minor changes, results unchanged
Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an improved version of the Principle, which is formulated in terms of an equality rather than an inequality. The proof is based on quantum statistical mechanics concepts rather than on thermodynamic argumentation. From this equality version, we obtain explicit improvements of Landauer's bound that depend on the effective size of the thermal reservoir and reduce to Landauer's bound only for infinite-sized reservoirs.
Classical and quantum error correction are presented in the form of Maxwell's demon and their efficiency analyzed from the thermodynamic point of view. We explain how Landauer's principle of information erasure applies to both cases. By then extending this principle to entanglement manipulations we rederive upper bounds on purification procedures thereby linking the ''no local increase of entanglement'' principle to the Second Law of thermodynamics.
The model of Unruh-DeWitt detector coupled to the scalar field for finite time is studied. A systematic way of computing finite time corrections in various cases is suggested and nonperturbative effects like thermalization are discussed. It is shown in particular that adiabatic switching off the coupling between the detector and the thermal bath leaves non-vanishing corrections to the detector's levels distribution. Considering the two level detector as an information bearing degree of freedom encoding one bit of information, limits on external work for the detector's (de)couling in finite tim…
Traditional form of the second law of thermodynamics is strongly restricted by three conditions: One is the initial joint state of the system and surroundings should be a product state, so that there exists no initial correlations. The second is the initial states of surroundings are in equilibrium thermodynamics. And the end is weak couplings between the system and surroundings. This formulation of the second law should be reexamined in order to understand the relations of thermodynamics and information theory, especially, when existing initial correlations. In this work, using the techniques…
The Landauer principle states that any logically irreversible information processing must be accompanied by dissipation into the environment. In this study, we investigate the heat dissipation associated with finite-time information erasure and the effect of quantum coherence in such processes. By considering a scenario wherein information is encoded in an open quantum system whose dynamics are described by the Markovian Lindblad equation, we show that the dissipated heat is lower-bounded by the conventional Landauer cost, as well as a correction term inversely proportional to the operational …
The second law of thermodynamics states that a system in contact with a heat bath can undergo a transformation if and only if its free energy decreases. However, the "if" part of this statement is only true when the effective heat bath is infinite. In this article we remove this idealization and derive corrections to the second law in the case where the bath has a finite size, or equivalently finite heat capacity. This can also be translated to processes lasting a finite time, and we show that thermodynamical reversibility is lost in this regime. We do so in full generality, that is without as…
We propose and prove an existential theorem for entanglement-assisted asymmetric quantum error correction. Then we demonstrate its superiority over the conventional one.
Motivated by limitations and capabilities of neutral atom qubits, we examine whether measurement-free error correction can produce practical error thresholds. We show that this can be achieved by extracting redundant syndrome information, giving our procedure extra fault tolerance and eliminating the need for ancilla verification. The procedure is particularly favorable when multi-qubit gates are available for the correction step. Simulations of the bit-flip, Bacon-Shor, and Steane codes indicate that coherent error correction can produce threshold error rates that are on the order of $10^{-3}…
We present error mitigation (EM) techniques for noisy intermediate-scale quantum computers (QC) based on density matrix purification and perturbative corrections to the target energy. We incorporate this scheme into the variational quantum eigensolver (VQE) and demonstrate chemically-accurate ground state energy calculations of various alkali metal hydrides using IBM quantum computers. Both the density matrix purification improvements and the perturbative corrections require only meager classical computational resources, and are conducted exclusively as post-processing of the measured density …
The dimension reduction method enables security proofs of quantum key distribution (QKD) protocols that are originally formulated in infinite dimensions via reduction to a tractable finite-dimensional optimization. The reduction of dimensions is associated with a correction term in the secret key rate calculation. The previously derived correction term is loose when the protocol measurements are nearly block-diagonal with respect to the projection onto the reduced finite-dimensional subspace. Here, we provide a tighter correction term. It interpolates between the two extreme cases where all me…
We describe an improved version of the quantum simulation method based on the implementation of a truncated Taylor series of the evolution operator. The idea is to add an extra step to the previously known algorithm which implements an operator that corrects the weightings of the Taylor series. This way, the desired accuracy is achieved with an improvement in the overall complexity of the algorithm. This quantum simulation method is applicable to a wide range of Hamiltonians of interest, including to quantum chemistry problems.
We consider quantum metrology in noisy environments, where the effect of noise and decoherence limits the achievable gain in precision by quantum entanglement. We show that by using tools from quantum error-correction this limitation can be overcome. This is demonstrated in two scenarios, including a many-body Hamiltonian with single-qubit dephasing or depolarizing noise, and a single-body Hamiltonian with transversal noise. In both cases we show that Heisenberg scaling, and hence a quadratic improvement over the classical case, can be retained. Moreover, for the case of frequency estimation w…
By incorporating the improved empirical atom-atom dispersion corrections from DFT-D3 [Grimme, S.; Antony, J.; Ehrlich, S.; Krieg, H. J. Chem. Phys. 2010, 132, 154104], two long-range corrected (LC) hybrid density functionals are proposed. Our resulting LC hybrid functionals, omegaM06-D3 and omegaB97X-D3, are shown to be accurate for a very wide range of applications, such as thermochemistry, kinetics, noncovalent interactions, frontier orbital energies, fundamental gaps, and long-range charge-transfer excitations, when compared with common global and LC hybrid functionals. Relative to omegaB97…
The study of open system quantum dynamics has been transformed by the hierarchical equations of motion (HEOM) method, which gives the exact dynamics for a system coupled to a harmonic bath at arbitrary temperature and system-bath coupling strength. However in its standard form the method is only consistent with the weak-coupling quantum master equation at all temperatures when many auxiliary density operators are included in the hierarchy, even when low temperature corrections are included. Here we propose a new low temperature correction scheme for the termination of the hierarchy based on Zw…
Coherence times for superconducting qubits have greatly improved over time. Moreover, small logical qubit architectures using engineered dissipation have shown great promise for further improvements in the coherence of a logical qubit manifold comprised of few physical qubits. Nevertheless, optimal working parameters for small logical qubits are generally not well understood. This work presents several approaches to finding preferential parameter configurations by looking at three different cases of increasing complexity. We begin by looking at state stabilization of a single qubit using dissi…
Hard-decision renormalization group (HDRG) decoders are an important class of decoding algorithms for topological quantum error correction. Due to their versatility, they have been used to decode systems with fractal logical operators, color codes, qudit topological codes, and non-Abelian systems. In this work, we develop a method of performing HDRG decoding which combines strenghts of existing decoders and further improves upon them. In particular, we increase the minimal number of errors necessary for a logical error in a system of linear size $L$ from $Θ(L^{2/3})$ to $Ω(L^{1-ε})$ for any $ε…
We introduce the use of two machine learning algorithms to create an empirical model of an experimental apparatus, which is able to reduce the number of measurements necessary for generic optimisation tasks exponentially as compared to unbiased systematic optimisation. Principal Component Analysis (PCA) can be used to reduce the degrees of freedom in cases for which a rudimentary model describing the data exists. We further demonstrate the use of an Artificial Neural Network (ANN) for tasks where a model is not known. This makes the presented method applicable to a broad range of different opt…
Improved error correction with leakage reduction units built into qubit measurement in a superconducting quantum processor
QuTech（夸特克）；Delft University of Technology（代尔夫特理工大学）；Kavli Institute of Nanoscience, Delft University of Technology（代尔夫特理工大学卡弗里纳米科学研究所）；SRON Netherlands Institute for Space Research（荷兰空间研究协会）
We approximate given potentials by means of the specially introduced reference potentials. On the one hand their parameters may be easily found from the usual WKB integral for the given potential; on the other hand they allow a simple determination of the first correction to the usual quantization condition. Such reference potentials are introduced in special variables as some Pade approximants which lead usually to a very good results for various problems. Thus we raise the accuracy of the WKB method for a broad set of potentials without cumbersome calculations. Higher order corrections as we…
This article introduces an improved approach to Fowler-Nordheim (FN) plot analysis, based on a new type of intercept correction factor. This factor is more cleanly defined than the factor previously used. General enabling theory is given that applies to any type of FN plot of data that can be fitted using a FN-type equation. Practical use is limited to emission situations where slope correction factors can be reliably predicted. By making a series of well-defined assumptions and approximations, it is shown how the general formulas reduce to provide an improved theory of orthodox FN-plot data a…
The typical model for measurement noise in quantum error correction is to randomly flip the binary measurement outcome. In experiments, measurements yield much richer information - e.g., continuous current values, discrete photon counts - which is then mapped into binary outcomes by discarding some of this information. In this work, we consider methods to incorporate all of this richer information, typically called soft information, into the decoding of quantum error correction codes, and in particular the surface code. We describe how to modify both the Minimum Weight Perfect Matching and Uni…
Energy Landscape Plummeting in Variational Quantum Eigensolver: Subspace Optimization, Non-iterative Corrections and Generator-informed Initialization for Improved Quantum Efficiency
