Thermodynamic limits of dynamic cooling

Generalized Zurek's bound on the cost of an individual classical or quantum computation

We consider the minimal thermodynamic cost of an individual computation, where a single input x is mapped to a single output y. In prior work, Zurek proposed that this cost was given by K(x|y), the conditional Kolmogorov complexity of x given y (up to an additive constant that does not depend on x or y). However, this result was derived from an informal argument, applied only to deterministic computations, and had an arbitrary dependence on the choice of protocol (via the additive constant). Here we use stochastic thermodynamics to derive a generalized version of Zurek's bound from a rigorous Hamiltonian formulation. Our bound applies to all quantum and classical processes, whether noisy or deterministic, and it explicitly captures the dependence on the protocol. We show that K(x|y) is a minimal cost of mapping x to y that must be paid using some combination of heat, noise, and protocol complexity, implying a trade-off between these three resources. Our result is a kind of "algorithmic fluctuation theorem" with implications for the relationship between the second law and the Physical Church-Turing thesis.

Unifying Paradigms of Quantum Refrigeration: A Universal and Attainable Bound on Cooling

Cooling quantum systems is arguably one of the most important thermodynamic tasks connected to modern quantum technologies and an interesting question from a foundational perspective. It is thus of no surprise that many different theoretical cooling schemes have been proposed, differing in the assumed control paradigm and complexity, and operating either in a single cycle or in steady state limits. Working out bounds on quantum cooling has since been a highly context dependent task with multiple answers, with no general result that holds independent of assumptions. In this Letter we derive a universal bound for cooling quantum systems in the limit of infinite cycles (or steady state regimes) that is valid for any control paradigm and machine size. The bound only depends on a single parameter of the refrigerator and is theoretically attainable in all control paradigms. For qubit targets we prove that this bound is achievable in a single cycle and by autonomous machines.

Efficiency of a cyclic quantum heat engine with finite-size baths

In this paper we investigate the relationship between the efficiency of a cyclic quantum heat engine with the Hilbert space dimension of the thermal baths. By means of a general inequality, we show that the Carnot efficiency can be obtained only when both the hot and cold baths are infinitely large. By further introducing a specific model where the baths are constituted of ensembles of finite-dimensional particles, we further demonstrate the relationship between the engine's power and efficiency, with the dimension of the working substance and the bath particles.

Novel Technique for Robust Optimal Algorithmic Cooling

Heat-bath algorithmic cooling provides algorithmic ways to improve the purity of quantum states. These techniques are complex iterative processes that change from each iteration to the next and this poses a significant challenge to implementing these algorithms. Here, we introduce a new technique that on a fundamental level, shows that it is possible to do algorithmic cooling and even reach the cooling limit without any knowledge of the state and using only a single fixed operation, and on a practical level, presents a more feasible and robust alternative for implementing heat-bath algorithmic cooling. We also show that our new technique converges to the asymptotic state of heat-bath algorithmic cooling and that the cooling algorithm can be efficiently implemented; however, the saturation could require exponentially many iterations and remains impractical. This brings heat-bath algorithmic cooling to the realm of feasibility and makes it a viable option for realistic application in quantum technologies.

Defining the Work Done on an Electromagnetic Field

The problem of defining work done on an electromagnetic field (EMF) via moving charges does not have a ready solution, because the standard Hamiltonian of an EMF-whose time derivative should define the work according to the first law-is not gauge invariant. This limits applications of statistical mechanics to an EMF. We obtained a new, explicitly gauge-invariant Hamiltonian for an EMF that depends only on physical observables. This Hamiltonian allows us to define work and to formulate the second law for an EMF. It also leads to a direct link between this law and the electrodynamic arrow of time, i.e., choosing retarded, and not advanced solutions of wave equations. Measuring the thermodynamic work can determine whether the photon mass is small but nonzero.

A general derivation and quantification of the third law of thermodynamics

The most accepted version of the third law of thermodynamics, the unattainability principle, states that any process cannot reach absolute zero temperature in a finite number of steps and within a finite time. Here, we provide a derivation of the principle that applies to arbitrary cooling processes, even those exploiting the laws of quantum mechanics or involving an infinite-dimensional reservoir. We quantify the resources needed to cool a system to any temperature, and translate these resources into the minimal time or number of steps, by considering the notion of a thermal machine that obeys similar restrictions to universal computers. We generally find that the obtainable temperature can scale as an inverse power of the cooling time. Our results also clarify the connection between two versions of the third law (the unattainability principle and the heat theorem), and place ultimate bounds on the speed at which information can be erased.

Einstein-Podolsky-Rosen paradox implies a minimum achievable temperature

This work examines the thermodynamic consequences of the repeated partial projection model for coupling a quantum system to an arbitrary series of environments under feedback control. This paper provides observational definitions of heat and work that can be realized in current laboratory setups. In contrast to other definitions, it uses only properties of the environment and the measurement outcomes, avoiding references to the "measurement" of the central system's state in any basis. These definitions are consistent with the usual laws of thermodynamics at all temperatures, while never requiring complete projective measurement of the entire system. It is shown that the back action of measurement must be counted as work rather than heat to satisfy the second law. Comparisons are made to quantum jump (unravelling) and transition-probability based definitions, many of which appear as particular limits of the present model. These limits show that our total entropy production is a lower bound on traditional definitions of heat that trace out the measurement device. Examining the master equation approximation to the process at finite measurement rates, we show that most interactions with the environment make the system unable to reach absolute zero. We give an explicit formula for the minimum temperature achievable in repeatedly measured quantum systems. The phenomenon of minimum temperature offers an explanation of recent experiments aimed at testing fluctuation theorems in the quantum realm and places a fundamental purity limit on quantum computers.

Fundamental limits for cooling of linear quantum refrigerators

We study the asymptotic dynamics of arbitrary linear quantum open systems that are periodically driven while coupled with generic bosonic reservoirs. We obtain exact results for the heat flowing from each reservoir, and these results are valid beyond the weak-coupling or Markovian approximations. We prove the validity of the dynamical third law of thermodynamics (Nernst unattainability principle), showing that the ultimate limit for cooling is imposed by a fundamental heating mechanism that dominates at low temperatures, namely the nonresonant creation of excitation pairs in the reservoirs induced by the driving field. This quantum effect, which is missed in the weak-coupling approximation, restores the unattainability principle, the validity of which was recently challenged.

Performance of autonomous quantum thermal machines: Hilbert space dimension as a thermodynamical resource

Multilevel autonomous quantum thermal machines are discussed. In particular, we explore the relationship between the size of the machine (captured by Hilbert space dimension) and the performance of the machine. Using the concepts of virtual qubits and virtual temperatures, we show that higher dimensional machines can outperform smaller ones. For instance, by considering refrigerators with more levels, lower temperatures can be achieved, as well as higher power. We discuss the optimal design for refrigerators of a given dimension. As a consequence we obtain a statement of the third law in terms of Hilbert space dimension: Reaching absolute zero temperature requires infinite dimension. These results demonstrate that Hilbert space dimension should be considered a thermodynamic resource.

Transitions between refrigeration regions in extremely short quantum cycles

The relation between the geometry of refrigeration cycles and their performance is explored. The model studied is based on a coupled spin system. Small cycle times, termed sudden refrigerators, develop coherence and inner friction. We explore the interplay between coherence and energy of the working medium employing a family of sudden cycles with decreasing cycle times. At the point of maximum coherence the cycle changes geometry. This region of cycle times is characterized by a dissipative resonance where heat is dissipated both to the hot and cold baths. We rationalize the change of geometry of the cycle as a result of a half-integer quantization which maximizes coherence. From this point on, increasing or decreasing the cycle time, eventually leads to refrigeration cycles. The transition point between refrigerators and short circuit cycles is characterized by a transition from finite to singular dynamical temperature. Extremely short cycle times reach a universal limit where all cycles types are equivalent.

Asymptotic bound for heat-bath algorithmic cooling

The purity of quantum states is a key requirement for many quantum applications. Improving the purity is limited by fundamental laws of thermodynamics. Here, we are probing the fundamental limits for a natural approach to this problem, namely, heat-bath algorithmic cooling (HBAC). The existence of the cooling limit for HBAC techniques was proved by Schulman, Mor, and Weinstein. A bound for this value was found by Elias et al. and numerical testing supported the hypothesis that their bound may be the actual limit. A proof or disproof of whether their bound was the actual limit remained open for the past decade. Here, for the first time, we prove this limit. In the context of quantum thermodynamics, this corresponds to the maximum extractable work from the quantum system. We also establish, in the case of higher dimensional reset systems, how the performance of HBAC depends on the energy spectrum of the reset system.

Quantum resources for purification and cooling: fundamental limits and opportunities

Preparing a quantum system in a pure state is ultimately limited by the nature of the system's evolution in the presence of its environment and by the initial state of the environment itself. We show that, when the system and environment are initially uncorrelated and arbitrary joint unitary dynamics is allowed, the system may be purified up to a certain (possibly arbitrarily small) threshold if and only if its environment, either natural or engineered, contains a "virtual subsystem" which has the same dimension and is in a state with the desired purity. Beside providing a unified understanding of quantum purification dynamics in terms of a "generalized swap process," our results shed light on the significance of a no-go theorem for exact ground-state cooling, as well as on the quantum resources needed for achieving an intended purification task.

Quantum effects improve the energy efficiency of feedback control

The laws of thermodynamics apply equally well to quantum systems as to classical systems, and because of this, quantum effects do not change the fundamental thermodynamic efficiency of isothermal refrigerators or engines. We show that, despite this fact, quantum mechanics permits measurement-based feedback control protocols that are more thermodynamically efficient than their classical counterparts. As part of our analysis, we perform a detailed accounting of the thermodynamics of unitary feedback control and elucidate the sources of inefficiency in measurement-based and coherent feedback.

No-go theorem for ground state cooling given initial system-thermal bath factorization

Ground-state cooling and pure state preparation of a small object that is embedded in a thermal environment is an important challenge and a highly desirable quantum technology. This paper proves, with two different methods, that a fundamental constraint on the cooling dynamic implies that it is impossible to cool, via a unitary system-bath quantum evolution, a system that is embedded in a thermal environment down to its ground state, if the initial state is a factorized product of system and bath states. The latter is a crucial but artificial assumption included in numerous tools that treat system-bath dynamics, such as master equation approaches and Kraus operator based methods. Adopting these approaches to address ground state and even approximate ground state cooling dynamics should therefore be done with caution, considering the fundamental theorem exposed in this work.

Low-dissipation heat devices: unified trade-off optimization and bounds

We apply a unified and trade-off based optimization for low-dissipation models of cyclic heat devices which accounts for both useful energy and losses. The resulting performance regime lies between those of maximum first-law efficiency and maximum χ (a unified figure of merit corresponding to power output of heat engines). The bounds available for both symmetric and extremely asymmetric heat devices are explicitly obtained. The similarities for heat engines and refrigerators and the energetic advantages of the trade-off optimization are especially stressed.

Short time cycles of purely quantum refrigerators

Four stroke Otto refrigerator cycles with no classical analog are studied. Extremely short cycle times with respect to the internal timescale of the working medium characterize these refrigerators. Therefore, these cycles are termed sudden. The sudden cycles are characterized by the stable limit cycle, which is the invariant of the global cycle propagator. During their operation the states of the working medium possess significant coherence which is not erased in the equilibration segments due to the very short time allocated. This characteristic is reflected in a difference between the energy entropy and the Von Neumann entropy of the working medium. A classification scheme for sudden refrigerators is developed allowing simple approximations for the cooling power and coefficient of performance.