Markovian master equation and thermodynamics of a two-level system in a strong laser field

Precision bound and optimal control in periodically modulated continuous quantum thermal machines

We use Floquet formalism to study fluctuations in periodically modulated continuous quantum thermal machines. We present a generic theory for such machines, followed by specific examples of sinusoidal, optimal, and circular modulations, respectively. The thermodynamic uncertainty relations (TUR) hold for all modulations considered. Interestingly, in the case of sinusoidal modulation, the TUR ratio assumes a minimum at the heat engine to refrigerator transition point, while the chopped random basis optimization protocol allows us to keep the ratio small for a wide range of modulation frequencies. Furthermore, our numerical analysis suggests that TUR can show signatures of heat engine to refrigerator transition, for more generic modulation schemes. We also study bounds in fluctuations in the efficiencies of such machines; our results indicate that fluctuations in efficiencies are bounded from above for a refrigerator and from below for an engine. Overall, this study emphasizes the crucial role played by different modulation schemes in designing practical quantum thermal machines.

Thermodynamically consistent master equation based on subsystem eigenstates

Master equations under appropriate assumptions are efficient tools for the study of open quantum systems. For many-body systems, subsystems of which locally couple to thermal baths and weakly interact with each other, the local approach provides a more convenient description than the global approach. However, these local master equations are believed to generate inconsistencies with the laws of thermodynamics when intersubsystem interactions exist. Here we develop an alternative local master equation by virtue of similar approximations used in deriving the traditional Gorini-Kossakowski-Lindblad-Sudarshan master equation. In particular, we stick to using eigenstates of each subsystem to construct quantum jump operators, and the secular approximation is also employed to modify the intersubsystem interactions. Our results show that violations of thermodynamic laws will be avoided after correcting intersubsystem interactions. Finally, we study a two-qubit heat transfer model and this further shows the validity of our modified master equation.

Semi-Markov processes in open quantum systems: Connections and applications in counting statistics

Using the age-structure formalism, we definitely establish connections between semi-Markov processes and the dynamics of open quantum systems that satisfy the Markov quantum master equations. A generalized Feynman-Kac formula of the semi-Markov processes is also proposed. In addition to inheriting all statistical properties possessed by the piecewise deterministic processes of wave functions, the semi-Markov processes show their unique advantages in quantum counting statistics. Compared with the conventional method of the tilted quantum master equation, they can be applied to more general counting quantities. In particular, the terms involved in the method have precise probability meanings. We use a driven two-level quantum system to exemplify these results.

Floquet quantum thermal transistor

We apply periodic control to realize a quantum thermal transistor, which we term as the Floquet quantum thermal transistor. Periodic modulation allows us to control the heat flows and achieve large amplification factors even for fixed bath temperatures. Importantly, this transistor effect persists in the cutoff region, where traditional quantum thermal transistors operating in the absence of periodic modulation, fail to act as viable heat modulation devices.

Quantum Fluctuation Theorem under Quantum Jumps with Continuous Measurement and Feedback

While the fluctuation theorem in classical systems has been thoroughly generalized under various feedback control setups, an intriguing situation in quantum systems, namely under continuous feedback, remains to be investigated. In this work, we derive the generalized fluctuation theorem under quantum jumps with continuous measurement and feedback. The essence for the derivation is to newly introduce the operationally meaningful information, which we call quantum-classical-transfer (QC-transfer) entropy. QC-transfer entropy can be naturally interpreted as the quantum counterpart of transfer entropy that is commonly used in classical time series analysis. We also verify our theoretical results by numerical simulation and propose an experiment-numerics hybrid verification method. Our work reveals a fundamental connection between quantum thermodynamics and quantum information, which can be experimentally tested with artificial quantum systems such as circuit quantum electrodynamics.

Auxiliary open quantum system for the Floquet quantum master equation

By directly using the probability formulas of quantum trajectories, we construct an auxiliary open quantum system for a periodically driven open quantum system whose dynamics is governed by the Floquet quantum master equation. This auxiliary system can generate a quantum trajectory ensemble that is consistent with the canonical quantum trajectory ensemble. We find that, at a long time limit, though the Lindblad operators are modified, the coherent dynamics of the auxiliary system is the same as that of the original system. A periodically driven two-level quantum system is used to illustrate this construction.

Exploring the role of asymmetric-pulse modulation in quantum thermal machines and quantum thermometry

We explore the consequences of periodically modulating a quantum two-level system (TLS) with an asymmetric pulse when the system is in contact with thermal baths. By adopting the Floquet-Lindblad formalism for our analysis, we find that the unequal "up" and "down" time duration of the pulse has two main ramifications. First, the energy gap of the multiple sidebands or photon sectors created as a result of the periodic modulation are renormalized by a term which is dependent on both the modulation strength as well as the fraction of up (or down) time duration. Second, the weights of the different sidebands are no longer symmetrically distributed about the central band or zero photon sector. We illustrate the advantages of these findings in the context of applications in quantum thermal machines and thermometry. For a thermal machine constructed by coupling the TLS to two thermal baths, we demonstrate that the asymmetric pulse provides an extra degree of control over the mode of operation of the thermal machine. Further, by appropriately tuning the weight of the subbands, we also show that an asymmetric pulse may provide superior optimality in a recently proposed protocol for quantum thermometry, where dynamical control has been shown to enhance the precision of measurement.

Stochastic Floquet quantum heat engines and stochastic efficiencies

Based on the notion of quantum trajectory, we present a stochastic theoretical framework for Floquet quantum heat engines. As an application, the large deviation functions of two types of stochastic efficiencies for a two-level Floquet quantum heat engine are investigated. We find that the statistics of one efficiency agree well with the predictions of the universal theory of efficiency fluctuations developed by Verley et al. [Phys. Rev. E 90, 052145 (2014)10.1103/PhysRevE.90.052145], whereas the statistics of the other efficiency do not. The reason for this discrepancy is attributed to the lack of fluctuation theorems for the latter type of efficiency.

Maxwell's Lesser Demon: A Quantum Engine Driven by Pointer Measurements

We discuss a self-contained spin-boson model for a measurement-driven engine, in which a demon generates work from thermal excitations of a quantum spin via measurement and feedback control. Instead of granting it full direct access to the spin state and to Landauer's erasure strokes for optimal performance, we restrict this demon's action to pointer measurements, i.e., random or continuous interrogations of a damped mechanical oscillator that assumes macroscopically distinct positions depending on the spin state. The engine can reach simultaneously the power and efficiency benchmarks and operate in temperature regimes where quantum Otto engines would fail.

Discontinuities in Driven Spin-Boson Systems due to Coherent Destruction of Tunneling: Breakdown of the Floquet-Gibbs Distribution

If an open quantum system is periodically driven with high frequency and the driving commutes with the system-bath coupling operator, it is known that the system approaches a Floquet-Gibbs state, a generalization of Gibbs states to periodically driven systems. Here, we investigate the stationary state of an ac-driven system when the driving and dissipation are noncommutative. Then, the resulting stationary state does not obey the Floquet-Gibbs distribution, and the system dynamics is determined by inelastic scattering processes of the driving field. Based on the Floquet-Redfield formalism, we show that the probability distribution can exhibit population inversion and discontinuities, i.e., jumps, for parameters at which coherent destruction of tunneling takes place. These discontinuities can be observed as intensity jumps in the emission into the bath.

Quantum thermodynamics and open-systems modeling

A comprehensive approach to modeling open quantum systems consistent with thermodynamics is presented. The theory of open quantum systems is employed to define system bath partitions. The Markovian master equation defines an isothermal partition between the system and bath. Two methods to derive the quantum master equation are described: the weak coupling limit and the repeated collision model. The role of the eigenoperators of the free system dynamics is highlighted, in particular, for driven systems. The thermodynamical relations are pointed out. Models that lead to loss of coherence, i.e., dephasing are described. The implication of the laws of thermodynamics to simulating transport and spectroscopy is described. The indications for self-averaging in large quantum systems and thus its importance in modeling are described. Basic modeling by the surrogate Hamiltonian is described, as well as thermal boundary conditions using the repeated collision model and their use in the stochastic surrogate Hamiltonian. The problem of modeling with explicitly time dependent driving is analyzed. Finally, the use of the stochastic surrogate Hamiltonian for modeling ultrafast spectroscopy and quantum control is reviewed.

Multifunctional quantum thermal device utilizing three qubits

Quantum thermal devices which can manage heat as their electronic analogs for the electronic currents have attracted increasing attention. Here a three-terminal quantum thermal device is designed by three coupling qubits interacting with three heat baths with different temperatures. Based on the steady-state behavior solved from the dynamics of this system, it is demonstrated that such a device integrates multiple interesting thermodynamic functions. It can serve as a heat current transistor to use the weak heat current at one terminal to effectively amplify the currents through the other two terminals, to continuously modulate them ranging in a large amplitude, and even to switch on or off the heat currents. It is also found that the three currents are not sensitive to the fluctuation of the temperature at the low-temperature terminal, so it can behave as a thermal stabilizer. In addition, we can utilize one terminal temperature to ideally turn off the heat current at any one terminal and to allow the heat currents through the other two terminals, so it can be used as a thermal valve. Finally, we illustrate that this thermal device can control the heat currents to flow unidirectionally, so it has the function of a thermal rectifier.

Probing the State of a Mechanical Oscillator with an Ultrastrongly Coupled Quantum Emitter

Performing accurate position measurements of a mechanical resonator by coupling it to some optically driven quantum emitter is an important challenge for quantum sensing and metrology. We fully characterize the quantum noise associated with this measurement process, by deriving master equations for the coupled emitter and the resonator valid in the ultrastrong coupling regime. At short timescales, we show that this noise sets a fundamental limit to the readout sensitivity and that the standard quantum limit can be recovered for realistic experimental conditions. At long timescales, the scattering of the mechanical quadratures leads to the decoupling of the emitter from the driving light, switching off the noise source. This method can be used to describe the interaction of any quantum system strongly coupled to a finite size reservoir.

Quantum thermal transistor based on qubit-qutrit coupling

A quantum thermal transistor is designed by the strong coupling between one qubit and one qutrit which are in contact with three heat baths with different temperatures. The thermal behavior is analyzed based on the master equation by both the numerical and the approximately analytic methods. It is shown that the thermal transistor, as a three-terminal device, allows a weak modulation heat current (at the modulation terminal) to switch on and off and effectively modulate the heat current between the other two terminals. In particular, the weak modulation heat current can induce the strong heat current between the other two terminals with the multiple-region amplification of heat current. Furthermore, the heat currents are quite robust to the temperature (current) fluctuation at the lower-temperature terminal within a certain range of temperature, and so it can behave as a heat current stabilizer.

Quantum Thermal Machine as a Thermometer

We propose the use of a quantum thermal machine for low-temperature thermometry. A hot thermal reservoir coupled to the machine allows for simultaneously cooling the sample while determining its temperature without knowing the model-dependent coupling constants. In its most simple form, the proposed scheme works for all thermal machines that perform at Otto efficiency and can reach Carnot efficiency. We consider a circuit QED implementation that allows for precise thermometry down to ∼15  mK with realistic parameters. Based on the quantum Fisher information, this is close to the optimal achievable performance. This implementation demonstrates that our proposal is particularly promising in systems where thermalization between different components of an experimental setup cannot be guaranteed.

Slow Dynamics and Thermodynamics of Open Quantum Systems

We develop a perturbation theory of quantum (and classical) master equations with slowly varying parameters, applicable to systems which are externally controlled on a time scale much longer than their characteristic relaxation time. We apply this technique to the analysis of finite-time isothermal processes in which, differently from quasistatic transformations, the state of the system is not able to continuously relax to the equilibrium ensemble. Our approach allows one to formally evaluate perturbations up to arbitrary order to the work and heat exchange associated with an arbitrary process. Within first order in the perturbation expansion, we identify a general formula for the efficiency at maximum power of a finite-time Carnot engine. We also clarify under which assumptions and in which limit one can recover previous phenomenological results as, for example, the Curzon-Ahlborn efficiency.

Characteristic functions based on a quantum jump trajectory

Characteristic functions (CFs) provide a very efficient method for evaluating the probability density functions of stochastic thermodynamic quantities and investigating their statistical features in quantum master equations (QMEs). A conventional procedure for obtaining these functions is to resort to a first-principles approach; namely, the evolution equations of the CFs of the combined system and its environment are obtained and then projected into the degrees of freedom of the system. However, the QMEs can be unraveled by a quantum jump trajectory. Thermodynamic quantities such as the heat, work, and entropy production can be well defined along a trajectory. Hence, on the basis of the notion of a trajectory, can we straightforwardly derive these CFs, e.g., their evolution equations? This is essential to establish the self-contained stochastic thermodynamics of a QME. In this paper, we show that it is indeed plausible and also simple. Particularly, these equations are fully consistent with those obtained by the first-principles method. Our results have practical significance; they indicate that the quantum fluctuation relations could be verified by more realistic photocounting experiments.

Driven Open Quantum Systems and Floquet Stroboscopic Dynamics

We provide an analytic solution to the problem of system-bath dynamics under the effect of high-frequency driving that has applications in a large class of settings, such as driven-dissipative many-body systems. Our method relies on discrete symmetries of the system-bath Hamiltonian and provides the time evolution operator of the full system, including bath degrees of freedom, without weak-coupling or Markovian assumptions. An interpretation of the solution in terms of the stroboscopic evolution of a family of observables under the influence of an effective static Hamiltonian is proposed, which constitutes a flexible simulation procedure of nontrivial Hamiltonians. We instantiate the result with the study of the spin-boson model with time-dependent tunneling amplitude. We analyze the class of Hamiltonians that may be stroboscopically accessed for this example and illustrate the dynamics of system and bath degrees of freedom.

Periodic thermodynamics of open quantum systems

The thermodynamics of quantum systems coupled to periodically modulated heat baths and work reservoirs is developed. By identifying affinities and fluxes, the first and the second law are formulated consistently. In the linear response regime, entropy production becomes a quadratic form in the affinities. Specializing to Lindblad dynamics, we identify the corresponding kinetic coefficients in terms of correlation functions of the unperturbed dynamics. Reciprocity relations follow from symmetries with respect to time reversal. The kinetic coefficients can be split into a classical and a quantum contribution subject to an additional constraint, which follows from a natural detailed balance condition. This constraint implies universal bounds on efficiency and power of quantum heat engines. In particular, we show that Carnot efficiency cannot be reached whenever quantum coherence effects are present, i.e., when the Hamiltonian used for work extraction does not commute with the bare system Hamiltonian. For illustration, we specialize our universal results to a driven two-level system in contact with a heat bath of sinusoidally modulated temperature.

How an autonomous quantum Maxwell demon can harness correlated information

We study an autonomous quantum system which exhibits refrigeration under an information-work trade-off like a Maxwell demon. The system becomes correlated as a single "demon" qubit interacts sequentially with memory qubits while in contact with two heat reservoirs of different temperatures. Using strong subadditivity of the von Neumann entropy, we derive a global Clausius inequality to show thermodynamic advantages from access to correlated information. It is demonstrated, in a matrix product density operator formalism, that our demon can simultaneously realize refrigeration against a thermal gradient and erasure of information from its memory, which is impossible without correlations. The phenomenon can be even enhanced by the presence of quantum coherence.

Strongly Coupled Quantum Heat Machines

Energy conversion of heat into work at the quantum level is modeled by quantum heat machines (QHMs) generally assumed to operate at weak coupling to the baths. This supposition is grounded in the separability principle between systems and allows the derivation of the evolution equation. In the weak coupling regime, the machine's output is limited by the coupling strength, restricting their application. Seeking to overcome this limitation, we analyze QHMs in the virtually unexplored strong coupling regime here, where separability, as well as other standard thermodynamic assumptions, may no longer hold. We show that strongly coupled QHMs may be as efficient as their weakly coupled counterparts. In addition, we find a novel turnover behavior where their output saturates and disappears in the limit of ultrastrong coupling.

Internal dissipation and heat leaks in quantum thermodynamic cycles

The direction of the steady-state heat currents across a generic quantum system connected to multiple baths may be engineered to realize virtually any thermodynamic cycle. In spite of their versatility, such continuous energy-conversion systems are generally unable to operate at maximum efficiency due to non-negligible sources of irreversible entropy production. In this paper we introduce a minimal model of irreversible absorption chiller. We identify and characterize the different mechanisms responsible for its irreversibility, namely heat leaks and internal dissipation, and gauge their relative impact in the overall cooling performance. We also propose reservoir engineering techniques to minimize these detrimental effects. Finally, by looking into a known three-qubit embodiment of the absorption cooling cycle, we illustrate how our simple model may help to pinpoint the different sources of irreversibility naturally arising in more complex practical heat devices.

Nonequilibrium potential and fluctuation theorems for quantum maps

We derive a general fluctuation theorem for quantum maps. The theorem applies to a broad class of quantum dynamics, such as unitary evolution, decoherence, thermalization, and other types of evolution for quantum open systems. The theorem reproduces well-known fluctuation theorems in a single and simplified framework and extends the Hatano-Sasa theorem to quantum nonequilibrium processes. Moreover, it helps to elucidate the physical nature of the environment that induces a given dynamics in an open quantum system.

Quantum heat engines and refrigerators: continuous devices

Quantum thermodynamics supplies a consistent description of quantum heat engines and refrigerators up to a single few-level system coupled to the environment. Once the environment is split into three (a hot, cold, and work reservoir), a heat engine can operate. The device converts the positive gain into power, with the gain obtained from population inversion between the components of the device. Reversing the operation transforms the device into a quantum refrigerator. The quantum tricycle, a device connected by three external leads to three heat reservoirs, is used as a template for engines and refrigerators. The equation of motion for the heat currents and power can be derived from first principles. Only a global description of the coupling of the device to the reservoirs is consistent with the first and second laws of thermodynamics. Optimization of the devices leads to a balanced set of parameters in which the couplings to the three reservoirs are of the same order and the external driving field is in resonance. When analyzing refrigerators, one needs to devote special attention to a dynamical version of the third law of thermodynamics. Bounds on the rate of cooling when Tc→0 are obtained by optimizing the cooling current. All refrigerators as Tc→0 show universal behavior. The dynamical version of the third law imposes restrictions on the scaling as Tc→0 of the relaxation rate γc and heat capacity cV of the cold bath.

Work extraction from heat-powered quantized optomechanical setups

We analyze work extraction from an autonomous (self-contained) heat-powered optomechanical setup. The initial state of the quantized mechanical oscillator plays a key role. As the initial mean amplitude of the oscillator decreases, the resulting efficiency increases. In contrast to laser-powered self-induced oscillations, work extraction from a broadband heat bath does not require coherence or phase-locking: an initial phase-averaged coherent state of the oscillator still yields work, as opposed to an initial Fock-state.

Optimal performance of endoreversible quantum refrigerators

The derivation of general performance benchmarks is important in the design of highly optimized heat engines and refrigerators. To obtain them, one may model phenomenologically the leading sources of irreversibility ending up with results that are model independent, but limited in scope. Alternatively, one can take a simple physical system realizing a thermodynamic cycle and assess its optimal operation from a complete microscopic description. We follow this approach in order to derive the coefficient of performance at maximum cooling rate for any endoreversible quantum refrigerator. At striking variance with the universality of the optimal efficiency of heat engines, we find that the cooling performance at maximum power is crucially determined by the details of the specific system-bath interaction mechanism. A closed analytical benchmark is found for endoreversible refrigerators weakly coupled to unstructured bosonic heat baths: an ubiquitous case study in quantum thermodynamics.

Calculating work in adiabatic two-level quantum Markovian master equations: a characteristic function method

We present a characteristic function method to calculate the probability density functions of the inclusive work in adiabatic two-level quantum Markovian master equations. These systems are steered by some slowly varying parameters and the dissipations may depend on time. Our theory is based on the interpretation of the quantum jump for the master equations. In addition to the calculation, we also find that the fluctuation properties of the work can be described by the symmetry of the characteristic functions, which is exactly the same as in the case of isolated systems. A periodically driven two-level model is used to demonstrate the method.

Heat-machine control by quantum-state preparation: from quantum engines to refrigerators

We explore the dependence of the performance bounds of heat engines and refrigerators on the initial quantum state and the subsequent evolution of their piston, modeled by a quantized harmonic oscillator. Our goal is to provide a fully quantized treatment of self-contained (autonomous) heat machines, as opposed to their prevailing semiclassical description that consists of a quantum system alternately coupled to a hot or a cold heat bath and parametrically driven by a classical time-dependent piston or field. Here, by contrast, there is no external time-dependent driving. Instead, the evolution is caused by the stationary simultaneous interaction of two heat baths (having distinct spectra and temperatures) with a single two-level system that is in turn coupled to the quantum piston. The fully quantized treatment we put forward allows us to investigate work extraction and refrigeration by the tools of quantum-optical amplifier and dissipation theory, particularly, by the analysis of amplified or dissipated phase-plane quasiprobability distributions. Our main insight is that quantum states may be thermodynamic resources and can provide a powerful handle, or control, on the efficiency of the heat machine. In particular, a piston initialized in a coherent state can cause the engine to produce work at an efficiency above the Carnot bound in the linear amplification regime. In the refrigeration regime, the coefficient of performance can transgress the Carnot bound if the piston is initialized in a Fock state. The piston may be realized by a vibrational mode, as in nanomechanical setups, or an electromagnetic field mode, as in cavity-based scenarios.

Equivalence of two Bochkov-Kuzovlev equalities in quantum two-level systems

We present two kinds of Bochkov-Kuzovlev work equalities in a two-level system that is described by a quantum Markovian master equation. One is based on multiple time correlation functions and the other is based on the quantum trajectory viewpoint. We show that these two equalities are indeed equivalent. Importantly, this equivalence provides us a way to calculate the probability density function of the quantum work by solving the evolution equation for its characteristic function. We use a numerical model to verify these results.