Quantum Heat Machines Equivalence, Work Extraction beyond Markovianity, and Strong Coupling via Heat Exchangers

Optimal control theory for maximum power of Brownian heat engines

The pursuit of achieving the maximum output power in microscopic heat engines has gained increasing attention in the field of stochastic thermodynamics. We employ the optimal control theory to study Brownian heat engines and determine the optimal heat-engine cycles in a generic damped situation, which were previously known only in the overdamped and the underdamped limits. These optimal cycles include two isothermal processes, two adiabatic processes, and an extra isochoric relaxation process at the high stiffness constraint. Our results determine the maximum output power under realistic control constraints, and also bridge the gap of the optimal cycles between the overdamped and the underdamped limits. Hence, we solve an outstanding problem in the studies of heat engines by employing the optimal control theory to stochastic thermodynamics. These findings bring valuable insights for the design of high-performance Brownian heat engines in experimental setups.

Control of the von Neumann Entropy for an Open Two-Qubit System Using Coherent and Incoherent Drives

This article is devoted to developing an approach for manipulating the von Neumann entropy S(ρ(t)) of an open two-qubit system with coherent control and incoherent control inducing time-dependent decoherence rates. The following goals are considered: (a) minimizing or maximizing the final entropy S(ρ(T)); (b) steering S(ρ(T)) to a given target value; (c) steering S(ρ(T)) to a target value and satisfying the pointwise state constraint S(ρ(t))≤S¯ for a given S¯; (d) keeping S(ρ(t)) constant at a given time interval. Under the Markovian dynamics determined by a Gorini-Kossakowski-Sudarshan-Lindblad type master equation, which contains coherent and incoherent controls, one- and two-step gradient projection methods and genetic algorithm have been adapted, taking into account the specifics of the objective functionals. The corresponding numerical results are provided and discussed.

Quantum-parametric-oscillator heat engines in squeezed thermal baths: Foundational theoretical issues

In this paper we examine some foundational issues of a class of quantum engines where the system consists of a single quantum parametric oscillator, operating in an Otto cycle consisting of four stages of two alternating phases: the isentropic phase is detached from any bath (thus a closed system) where the natural frequency of the oscillator is changed from one value to another, and the isothermal phase where the system (now rendered open) is put in contact with one or two squeezed baths of different temperatures, whose nonequilibrium dynamics follows the Hu-Paz-Zhang (HPZ) master equation for quantum Brownian motion. The HPZ equation is an exact non-Markovian equation which preserves the positivity of the density operator and is valid for (1) all temperatures, (2) arbitrary spectral density of the bath, and (3) arbitrary coupling strength between the system and the bath. Taking advantage of these properties we examine some key foundational issues of theories of quantum open and squeezed systems for these two phases of the quantum Otto engines. This includes (1) the non-Markovian regimes for non-Ohmic, low-temperature baths, (2) what to expect in nonadiabatic frequency modulations, (3) strong system-bath coupling, as well as (4) the proper junction conditions between these two phases. Our aim here is not to present ways for attaining higher efficiency but to build a more solid theoretical foundation for quantum engines of continuous variables covering a broader range of parameter spaces that we hope are of use for exploring such possibilities.

Structure of passive states and its implication in charging quantum batteries

In this article, in addition to the characterization of geometrical state spaces for the passive states, an operational approach has been introduced to distinguish them on their charging capabilities of a quantum battery. Unlike the thermal states, the structural instability of passive states assures the existence of a natural number n, for which n+1 copies of the state can charge a quantum battery while n copies cannot. This phenomenon can be presented in an n copy resource-theoretic approach, for which the free states are unable to charge the battery in n copies. Here we have exhibited the single copy scenario explicitly. We also show that general ordering of the passive states on the basis of their charging capabilities is not possible and even the macroscopic entities (viz. energy and entropy) are unable to order them precisely. Interestingly, for some of the passive states, the majorization criterion gives sufficient order to the charging and discharging capabilities. However, the charging capacity for the set of thermal states (for which charging is possible) is directly proportional to their temperature.

Quantum limit to nonequilibrium heat-engine performance imposed by strong system-reservoir coupling

We show that finite system-reservoir coupling imposes a distinct quantum limit on the performance of a nonequilibrium quantum heat engine. Even in the absence of quantum friction along the isentropic strokes, finite system-reservoir coupling induces correlations that result in the generation of coherence between the energy eigenstates of the working system. This coherence acts to hamper the engine's power output, as well as the efficiency with which it can convert heat into useful work, and cannot be captured by a standard Born-Markov analysis of the system-reservoir interactions.

Bosons outperform fermions: The thermodynamic advantage of symmetry

We examine a quantum Otto engine with a harmonic working medium consisting of two particles to explore the use of wave function symmetry as an accessible resource. It is shown that the bosonic system displays enhanced performance when compared to two independent single particle engines, while the fermionic system displays reduced performance. To this end, we explore the trade-off between efficiency and power output and the parameter regimes under which the system functions as engine, refrigerator, or heater. Remarkably, the bosonic system operates under a wider parameter space both when operating as an engine and as a refrigerator.

Quantum duets working as autonomous thermal motors

We study the dynamic properties of a thermal autonomous machine made up of two quantum Brownian particles, each of which is in contact with an environment at different temperature and moves on a periodic sinusoidal track. When such tracks are shifted, the center of mass of the system exhibits a nonvanishing velocity, for which we provide an exact expression in the limit of small track undulations. We discuss the role of the broken spatial symmetry in the emergence of directed motion in thermal machines. We then consider the case in which external deterministic forces are applied to the system, and we characterize its steady-state velocity. If the applied external force opposes the system motion, work can be extracted from such a steady-state thermal machine, without any external cyclic protocol. When the two particles are not interacting, our results reduce to those of Fisher and Zwerger [Phys. Rev. B 32, 6190 (1985)PRBMDO0163-182910.1103/PhysRevB.32.6190] and Aslangul, Pottier, and Saint-James [J. Phys. France 48, 1093 (1987)JOPQAG0302-073810.1051/jphys:019870048070109300] for a single particle moving in a periodic tilted potential. We finally use our results for the motor velocity to check the validity of the quantum molecular dynamics algorithm in the nonlinear, nonequilibrium regime.

Repeated Interactions and Quantum Stochastic Thermodynamics at Strong Coupling

The thermodynamic framework of repeated interactions is generalized to an arbitrary open quantum system in contact with a heat bath. Based on these findings, the theory is then extended to arbitrary measurements performed on the system. This constitutes a direct experimentally testable framework in strong coupling quantum thermodynamics. By construction, it provides many quantum stochastic processes and quantum causal models with a consistent thermodynamic interpretation. The setting can be further used, for instance, to rigorously investigate the interplay between non-Markovianity and nonequilibrium thermodynamics.

Thermodynamics and Steady State of Quantum Motors and Pumps Far from Equilibrium

In this article, we briefly review the dynamical and thermodynamical aspects of different forms of quantum motors and quantum pumps. We then extend previous results to provide new theoretical tools for a systematic study of those phenomena at far-from-equilibrium conditions. We mainly focus on two key topics: (1) The steady-state regime of quantum motors and pumps, paying particular attention to the role of higher order terms in the nonadiabatic expansion of the current-induced forces. (2) The thermodynamical properties of such systems, emphasizing systematic ways of studying the relationship between different energy fluxes (charge and heat currents and mechanical power) passing through the system when beyond-first-order expansions are required. We derive a general order-by-order scheme based on energy conservation to rationalize how every order of the expansion of one form of energy flux is connected with the others. We use this approach to give a physical interpretation of the leading terms of the expansion. Finally, we illustrate the above-discussed topics in a double quantum dot within the Coulomb-blockade regime and capacitively coupled to a mechanical rotor. We find many exciting features of this system for arbitrary nonequilibrium conditions: a definite parity of the expansion coefficients with respect to the voltage or temperature biases; negative friction coefficients; and the fact that, under fixed parameters, the device can exhibit multiple steady states where it may operate as a quantum motor or as a quantum pump, depending on the initial conditions.

Quantifying the Unitary Generation of Coherence from Thermal Quantum Systems

Coherence is associated with transient quantum states; in contrast, equilibrium thermal quantum systems have no coherence. We investigate the quantum control task of generating maximum coherence from an initial thermal state employing an external field. A completely controllable Hamiltonian is assumed allowing the generation of all possible unitary transformations. Optimizing the unitary control to achieve maximum coherence leads to a micro-canonical energy distribution on the diagonal energy representation. We demonstrate such a control scenario starting from a given Hamiltonian applying an external field, reaching the control target. Such an optimization task is found to be trap-less. By constraining the amount of energy invested by the control, maximum coherence leads to a canonical energy population distribution. When the optimization procedure constrains the final energy too tightly, local suboptimal traps are found. The global optimum is obtained when a small Lagrange multiplier is employed to constrain the final energy. Finally, we explore the task of generating coherences restricted to be close to the diagonal of the density matrix in the energy representation.

Classical emulation of quantum-coherent thermal machines

The performance enhancements observed in various models of continuous quantum thermal machines have been linked to the buildup of coherences in a preferred basis. But is this connection always an evidence of "quantum-thermodynamic supremacy"? By force of example, we show that this is not the case. In particular, we compare a power-driven three-level continuous quantum refrigerator with a four-level combined cycle, partly driven by power and partly by heat. We focus on the weak driving regime and find the four-level model to be superior since it can operate in parameter regimes in which the three-level model cannot and it may exhibit a larger cooling rate and, simultaneously, a better coefficient of performance. Furthermore, we find that the improvement in the cooling rate matches the increase in the stationary quantum coherences exactly. Crucially, though, we also show that the thermodynamic variables for both models follow from a classical representation based on graph theory. This implies that we can build incoherent stochastic-thermodynamic models with the same steady-state operation or, equivalently, that both coherent refrigerators can be emulated classically. More generally, we prove this for any N-level weakly driven device with a "cyclic" pattern of transitions. Therefore, even if coherence is present in a specific quantum thermal machine, it is often not essential to replicate the underlying energy conversion process.

Dissipative Charging of a Quantum Battery

We show that a cyclic unitary process can extract work from the thermodynamic equilibrium state of an engineered quantum dissipative process. Systems in the equilibrium states of these processes serve as batteries, storing energy. The dissipative process that brings the battery to the active equilibrium state is driven by an agent that couples the battery to thermal systems. The second law of thermodynamics imposes a work cost for the process; however, no work is needed to keep the battery in that charged state. We consider simple examples of these batteries and discuss situations in which the charged state has full population inversion, in which case the extractable work is maximal, and circumstances in which the efficiency of the process is maximal.

Coherence and decoherence in quantum absorption refrigerators

Absorption refrigerators transfer thermal energy from a cold reservoir to a hot reservoir using input energy from a third, so-called work reservoir. We examine the operation of quantum absorption refrigerators when coherences between eigenstates survive in the steady state limit. In our model, the working medium comprises a discrete, four-level system. Several studies on related setups have demonstrated the performance-enhancing potential of steady-state eigenbasis quantum coherences. By contrast, in our model such coherences generally quench the cooling current in the refrigerator, while minimally affecting the coefficient of performance (cooling efficiency). We rationalize the behavior of the four-level refrigerator by studying three-level model systems for energy transport and refrigeration. Our calculations further illuminate the shortcomings of secular quantum master equations and the necessity of employing dynamical equations of motion that retain couplings between population and coherences.

Strong Coupling Corrections in Quantum Thermodynamics

Quantum systems strongly coupled to many-body systems equilibrate to the reduced state of a global thermal state, deviating from the local thermal state of the system as it occurs in the weak-coupling limit. Taking this insight as a starting point, we study the thermodynamics of systems strongly coupled to thermal baths. First, we provide strong-coupling corrections to the second law applicable to general systems in three of its different readings: As a statement of maximal extractable work, on heat dissipation, and bound to the Carnot efficiency. These corrections become relevant for small quantum systems and vanish in first order in the interaction strength. We then move to the question of power of heat engines, obtaining a bound on the power enhancement due to strong coupling. Our results are exemplified on the paradigmatic non-Markovian quantum Brownian motion.

Achieving the classical Carnot efficiency in a strongly coupled quantum heat engine

Generally, the efficiency of a heat engine strongly coupled with a heat bath is less than the classical Carnot efficiency. Through a model-independent method, we show that the classical Carnot efficiency is achieved in a strongly coupled quantum heat engine. First, we present the first law of quantum thermodynamics in strong coupling. Then, we show how to achieve the Carnot cycle and the classical Carnot efficiency at strong coupling. We find that this classical Carnot efficiency stems from the fact that the heat released in a nonequilibrium process is balanced by the absorbed heat. We also analyze the restrictions in the achievement of the Carnot cycle. The first restriction is that there must be two corresponding intervals of the controllable parameter in which the corresponding entropies of the work substance at the hot and cold temperatures are equal, and the second is that the entropy of the initial and final states in a nonequilibrium process must be equal. Through these restrictions, we obtain the positive work conditions, including the usual one in which the hot temperature should be higher than the cold, and a new one in which there must be an entropy interval at the hot temperature overlapping that at the cold. We demonstrate our result through a paradigmatic model-a two-level system in which a work substance strongly interacts with a heat bath. In this model, we find that the efficiency may abruptly decrease to zero due to the first restriction, and that the second restriction results in the control scheme becoming complex.

Nonperturbative Treatment of non-Markovian Dynamics of Open Quantum Systems

We identify the conditions that guarantee equivalence of the reduced dynamics of an open quantum system (OQS) for two different types of environments-one a continuous bosonic environment leading to a unitary system-environment evolution and the other a discrete-mode bosonic environment resulting in a system-mode (nonunitary) Lindbladian evolution. Assuming initial Gaussian states for the environments, we prove that the two OQS dynamics are equivalent if both the expectation values and two-time correlation functions of the environmental interaction operators are the same at all times for the two configurations. Since the numerical and analytical description of a discrete-mode environment undergoing a Lindbladian evolution is significantly more efficient than that of a continuous bosonic environment in a unitary evolution, our result represents a powerful, nonperturbative tool to describe complex and possibly highly non-Markovian dynamics. As a special application, we recover and generalize the well-known pseudomodes approach to open-system dynamics.

Energetic instability of passive states in thermodynamics

Passivity is a fundamental concept in thermodynamics that demands a quantum system's energy cannot be lowered by any reversible, unitary process acting on the system. In the limit of many such systems, passivity leads in turn to the concept of complete passivity, thermal states and the emergence of a thermodynamic temperature. Here we only consider a single system and show that every passive state except the thermal state is unstable under a weaker form of reversibility. Indeed, we show that given a single copy of any athermal quantum state, an optimal amount of energy can be extracted from it when we utilise a machine that operates in a reversible cycle. This means that for individual systems, the only form of passivity that is stable under general reversible processes is complete passivity, and thus provides a physically motivated identification of thermal states when we are not operating in the thermodynamic limit.

Universal Coherence-Induced Power Losses of Quantum Heat Engines in Linear Response

We identify a universal indicator for the impact of coherence on periodically driven quantum devices by dividing their power output into a classical contribution and one stemming solely from superpositions. Specializing to Lindblad dynamics and small driving amplitudes, we derive general upper bounds on both the coherent and the total power of cyclic heat engines. These constraints imply that, for sufficiently slow driving, coherence inevitably leads to power losses in the linear-response regime. We illustrate our theory by working out the experimentally relevant example of a single-qubit engine.

Additional energy-information relations in thermodynamics of small systems

The Clausius inequality form of the second law of thermodynamics relates information changes (entropy) to changes in the first moment of the energy (heat and indirectly also work). Are there similar relations between other moments of the energy distribution, and other information measures, or is the Clausius inequality a one of a kind instance of the energy-information paradigm? If there are additional relations, can they be used to make predictions on measurable quantities? Changes in the energy distribution beyond the first moment (average heat or work) are especially important in small systems which are often very far from thermal equilibrium. The additional energy-information relations (AEIR's), here derived, provide positive answers to the two questions above and add another layer to the fundamental connection between energy and information. To illustrate the utility of the new AEIR's, we find scenarios where the AEIR's yield tighter constraints on performance (e.g., in thermal machines) compared to the second law. To obtain the AEIR's we use the Bregman divergence-a mathematical tool found to be highly suitable for energy-information studies. The quantum version of the AEIR's provides a thermodynamic meaning to various quantum coherence measures. It is intriguing to fully map the regime of validity of the AEIR's and extend the present results to more general scenarios including continuous systems and particles exchange with the baths.

Speed and efficiency limits of multilevel incoherent heat engines

We present a comprehensive theory of heat engines (HE) based on a quantum-mechanical "working fluid" (WF) with periodically modulated energy levels. The theory is valid for any periodicity of driving Hamiltonians that commute with themselves at all times and do not induce coherence in the WF. Continuous and stroke cycles arise in opposite limits of this theory, which encompasses hitherto unfamiliar cycle forms, dubbed here hybrid cycles. The theory allows us to discover the speed, power, and efficiency limits attainable by incoherently operating multilevel HE depending on the cycle form and the dynamical regimes.

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.