Steady-State Thermodynamics of a Cascaded Collision Model

We study the steady-state thermodynamics of a cascaded collision model where two subsystems S1 and S2 collide successively with an environment R in the cascaded fashion. We first formulate general expressions of thermodynamics quantities and identify the nonlocal forms of work and heat that result from cascaded interactions of the system with the common environment. Focusing on a concrete system of two qubits, we then show that, to be able to unidirectionally influence the thermodynamics of S2, the former interaction of S1−R should not be energy conserving. We finally demonstrate that the steady-state coherence generated in the cascaded model is a kind of useful resource in extracting work, quantified by ergotropy, from the system. Our results provide a comprehensive understanding on the thermodynamics of the cascaded model and a possible way to achieve the unidirectional control on the thermodynamics process in the steady-state regime.


Introduction
Recent years have seen increasing interests in the study of quantum thermodynamics (QT) [1,2] which exploits an open quantum system [3] as a working substance to implement thermodynamic tasks. The main purposes of QT are to examine fundamental laws of classical thermodynamics in the quantum level and to reveal the influences of various quantum resources and/or quantum effects on thermodynamics processes, among others. The applications of quantum resources such as quantum coherence and correlation in QT have attracted much attention since the pioneering work of Scully et al. [4]. In Ref. [4], by conveying the atomic beam with coherence through the cavity field and interacting with the field mode for a short duration, Scully et al. have shown that the field can arrive at a larger temperature than the situation where the atoms are prepared in regular thermal states. As a result, the efficiency of the photonic Carnot engine driven by a coherent bath can outperform its classical counterpart [4]. Subsequently, the effects of quantum coherence and correlation have been applied to improve the performance of thermal machines [5][6][7][8][9][10][11][12][13][14], enhance the extraction of work [15][16][17], and increase the thermalization temperature of a quantum system [18][19][20].
Apart from specific quantum resources and quantum effects, researchers also try to explore quantum thermodynamics by engineering the couplings of a quantum system with external environments. The simultaneous couplings of several systems with a common environment lead to the noise-induced interference, which proves to be useful in enhancing the thermodynamics tasks [21][22][23][24]. Manzano et al. show that it is possible to improve the machine performance by virtue of common noise sources [22]. Albeit surrounded by a common environment, unidirectional (one-way) influence of two systems, say, S 1 and S 2 , can be achieved by the so-called cascaded model [25][26][27][28][29]. In this model, S 1 and S 2 successively interact with the common environment R in such a way that the interaction of S 1 − R takes place first, which is then followed by S 2 − R resulting in the one-way influence of S 1 to the dynamics of S 2 . The cascaded model is an efficient tool to depict the ordered interactions of individual subsystems with a common environment. For instance, in the cavity QED, the unidirectional exchange of information (energy) between a linear array of cavities and the successively injected atoms can be described by this framework [26]. The cascaded fashion of interaction is also applied in QT to study the dynamics of heat current [25,28,29]. In Ref. [25], Lorenzo et al. explore the non-Markovian dynamics of heat current and the effects of quantum correlations in dissipative cascaded systems. It turns out that, in clear contrast to the configuration with each subsystem being independently coupled to the reservoir, the heat flow under the cascaded interaction exhibits a non-exponential time behavior [25]. In these studies of the cascaded model [25][26][27][28][29], the system-environment interactions are assumed to be energy conserving so that all the energy changes are accounted for by heat without the contribution of work. In this paper, we relax the assumption of energy conservation of the system-environment interaction to make a comprehensive exploration on the thermodynamics of cascaded model involving both heat and work.
The quantum master equation (QME) is the most popular tool in the study of the dynamics of an open quantum system even with several approximations. Since QME cannot capture information about the global state of the system and environment, applications of QME in dealing with QT in some cases might lead to the occurrence of thermodynamic inconsistencies [30][31][32][33][34][35][36][37][38][39][40][41]. In Ref. [41], Levy and Kosloff have considered a model consisting of two subsystems embedded in two independent thermal reservoirs with different temperatures. It is found that the heat flows automatically from cold to hot reservoirs, i.e., the second law of thermodynamics is violated, if the local QME is used to describe the system's dynamics [41]. A possible way to overcome this weakness is the collision model (CM) [42] where the environment is modeled as a collection of identically prepared ancillas and at each time step the system interacts/collides with a fresh ancilla. The CM has been used as an alternative tool in the study of dynamics of an open quantum system [43][44][45][46][47][48][49][50] for a long time. In particular, the CM is more efficient in the simulation of non-Markovian dynamics through several strategies, such as the introduction of either initial correlations between ancillas or ancilla-ancilla collisions between two successive system-ancilla collisions [51][52][53][54][55][56][57][58][59][60][61]. An advantage of the CM over the QME is that it can track the information of environment. In the field of QT [62][63][64][65][66][67][68][69][70][71][72][73][74], CM resolves some thermodynamics inconsistencies and makes the most fundamental definitions of thermodynamic quantities, such as heat and work, possible. It has been recognized that, in the CM, a certain amount of work should be supplied to maintain the successive collisions of the system and environment [62]. By taking the extra work cost of maintaining the successive collisions into account, the local QME is shown to comply again with thermodynamics [63]. By means of CM, the effects of non-Markovianity on the laws of thermodynamics and on the performances of thermal machines have also been studied [28,[75][76][77][78][79].
In this work, we address the thermodynamics of a cascaded model where two subsystems S 1 and S 2 collide successively with an environment R. Thanks to the framework of CM, we can construct general formulations of thermodynamics quantities from the most fundamental definitions. Nonlocal forms of work and heat are identified as a result of cascaded interaction of the subsystems with the common environment. We then demonstrate the features of steady-state thermodynamics concentrating on a two-qubit system. It turns out that, only when the interaction of S 1 − R does not satisfy strict energy conservation, can it have a one-way effect on the thermodynamics regarding S 2 . We also show that the cascaded interaction leads to steady-state coherence of the system, which can be recognized as a kind of resource in extracting useful work from the system.

The Model and Master Equation
We consider that the system S consists of two uncoupled subsystems S 1 and S 2 with the free HamiltonianĤ S i (i = 1, 2). In terms of CM, the environment R is modeled as a series of identical ancillas described by the HamiltonianĤ R . Note that we useĤ R to represent both the environment and ancillas therein. The system-environment interactions adopt the cascaded manner in such a way that at each time step S 1 collides with an ancilla for a short duration τ, which is followed by another collision of S 2 with that ancilla for the same time τ, as depicted in Figure 1. The environment is assumed to be sufficiently large so that the system never collides twice with the same ancilla. Although there is no direct coupling between these two subsystems, the cascaded model results in unidirectional influences of S 1 to S 2 but no backward actions. Figure 1. Schematic diagram of the cascaded model. The system consists of two subsystems S 1 and S 2 , while the environment is modeled as a collection of ancillas with the nth one being labeled as A n . In the nth round of the collision, S 1 collides with A n for a duration τ, which is then followed by another collision of S 2 with A n for the same duration.
The total Hamiltonian of the system plus environment can be expressed aŝ τ is the interaction Hamiltonian of S i with R and we have scaled it by the interaction time τ for the convenience of taking continuous time limit although not necessary. The step function λ i (t) in Equation (1) denotes the time-dependence of the system-environment collisions and has the value 1 when t ∈ [(n − 2 + i)τ, (n − 1 + i)τ] with n ≥ 1 the number of collisions and zero otherwise. After a round of collision, the state ρ S of the system at time t will be transformed to ρ S at time t + 2τ as is the unitary time evolution operator and ρ th R = e −β RĤR /Z R is the initial state of the environment, which has been assumed to be prepared in the thermal state at inverse temperature β R with Z R = tr e −β RĤR as the corresponding partition function. We seth = k B = 1 here and throughout the paper. By expandingÛ i (τ) to the second order of τ, we derive the master equation governing the system's dynamics asρ stands for the local dissipation of S i being consistent with the situation when only S i exists without the involvement of other subsystems, and characterizes the collective actions of the environment on the two subsystems owning to the cascaded interactions.

Thermodynamic Quantities of the Cascaded Model
In quantum thermodynamics, the work is generally defined as the change of energy induced by the change of the time-dependent Hamiltonian of the total system. In the CM, the successive couplings and decouplings of the system with the environment lead to the time dependence of the interaction Hamiltonian, as shown in Equation (1); therefore, the energetic cost of sustaining such successive collisions is supplied in the form of work. In a round of collisions started from t to t + 2τ, the work performed on the system can be formulated as are the total state of the system and environment at time t and t + 2τ, respectively. Since tr SR Ĥ tot (s) ∂ρ SR ∂s = 0, the formulation (6) is further reduced to where · ≡ tr{· } and the two components ∆W i and ∆W 12 constituting the total work ∆W can be formulated as and We thus identify two types of work, i.e., the local one ∆W i and nonlocal one ∆W 12 , which sustain the local collisions of S i with R and the cascaded collisions of S 1 and S 2 with R, respectively. Although ∆W i can be formally derived by the collision model as if only S i exists in the absence of the other one, ∆W 12 embodies the unique one-way influence of the cascaded model. By means of Equations (7)-(9) and after taking the continuous time limit, we obtain the current of work asẆ The heat in a collision can be unambiguously defined as the change in the energy of environment being of the form with and Obviously, the total heat ∆Q can be divided into local heat ∆Q i and nonlocal heat ∆Q 12 , which are related to the local collision of S i with R and the nonlocal collision of S 1 and S 2 with R. Though ∆Q 12 is generated by the collective collisions, it completely contributes to the heat of S 2 due to the unidirectional effect of the cascaded model [25].
By taking continuous time limit, the heat current can be derived aṡ With the expression of internal energy of the system we can confirm that the derived thermodynamics quantities fulfill the first law of thermodynamics, i.e., ∆U = ∆W − ∆Q. Note that, by definition, the negative ∆Q means the heat flowing from the environment to the system.

Demonstration by Two-Level System
In order to demonstrate our results, we consider a fundamental configuration that both the system and ancillas are two-level systems (qubits) described by the free Hamiltonianŝ R , respectively, with ω i (ω R ) the frequency of subsystem S i (ancilla R). The interaction between S i and R is given as whereσ z A ,σ x A andσ y A are the usual Pauli operators acting on A. The system's dynamics is governed by the master Equation (3) with the dissipation terms being of the forms and The currents of local and nonlocal heat are derived aṡ while the currents of local and nonlocal work are expressed aṡ From the expressions of local currents of heat and work, i.e.,Q i in Equation (23) andẆ i in (25), we can see that the prior interaction of S 1 − R will exert a one-way influence on the local currents of S 2 if any, through affecting the reduced state of S 2 and eventually the term . Moreover, the formulation of (26) indicates that the nonlocal work currenṫ W 12 is bound to vanish if ω 2 = ω R and J x 2 = J y 2 , i.e.,Ẇ 2 = 0; however, this does not imply thatẆ 12 is only determined by the interaction of S 2 − R since even whenẆ 2 = 0, a finite nonzero nonlocal work currentẆ 12 requires the existence of correlations of S 1 and S 2 .
In the following, we shall demonstrate the behaviors of steady-state currents of heat and work in detail by considering whether the interactions of S 1 − R and S 2 − R satisfy energy conservation or not. A simple situation is that both interactions of S 1 − R and S 2 − R are energy preserving in the sense that J x i = J y i and ω i = ω R for i = 1, 2. The system will then relax towards the equilibrium stationary state (ESS) [25] so that both the currents of heat and work vanish in the stationary regime. Albeit the steady-state feature in this case is trivial, the memory effects on the dynamics of heat current exhibit rich phenomenons as discussed in Ref. [25]. If the interaction of S 1 − R is energy preserving with J x 1 = J y 1 and ω 1 = ω R , we find that apart from the vanishing currents of work and heat regarding S 1 , i.e.,Ẇ 1 =Q 1 = 0, the nonlocal currents also become zero, i.e.,Ẇ 12 =Q 12 = 0 as no correlations can be constructed in this case. Moreover, the prior interaction of S 1 − R does not exert any influences on S 2 in other words, the steady-state currents of S 2 are not influenced by S 1 manifesting behaviors as if the interaction of S 1 − R does not exist; therefore, only the energy conservation of S 1 − R does not hold, as it has an impact on S 2 , which is to be discussed in the following.

The Interaction of S 2 − R Is Energy-Preserving
We first consider the situation that the interaction of S 1 − R is not energy-conserving, while the interaction of S 2 − R still satisfies strict energy conservation with J x 2 = J y 2 and ω 2 = ω R . In this case, the steady-state correlation between S 1 and S 2 can be established, which makes S 2 fail to reach ESS although the interaction of S 2 − R is energy-conserving. Eventually, both S 1 and S 2 reach NESS with effective inverse temperatures β e f f 1 and β e f f 2 that could deviate from β R of the environment to different extents. The effective temperature of S i can be defined as T e f f i = 1/β e f f i = ω i / ln(p g i /p e i ) with p g i (p e i ) being the stationary population of the ground (excited) state of the subsystem S i . As shown in Equations (25) and (26), the strict energy conservation of the interaction of S 2 − R meanṡ W 2 =Ẇ 12 = 0, namely, no work is provided through the interaction of S 2 − R; therefore, the NESS of S 2 , alternatively speaking, the total NESS of S 1 and S 2 is sustained by the work invested via S 1 . We also note that in this caseQ 2 = 0; nevertheless, the nonlocal heat currentQ 12 = −Q 2 so that the total heat current associated with S 2 stays zero, being consistent with the vanishingẆ 2 andẆ 12 .
In Figure 2a,b, we illustrate deviations of effective inverse temperatures of S 1 and S 2 from that of the environment in terms of the ratios β e f f 1 /β R and β e f f 2 /β R . A comparison between β e f f 1 /β R and β e f f 2 /β R in Figure 2a,b shows that S 1 can reach ESS with β e f f 1 = β R only at the point of J x 1 = J y 1 and the negative temperatures are achieved when J y 1 /J x 1 < 0, whereas S 2 can arrive at ESS with β e f f 2 = β R at the two points of J x 1 = ±J y 1 . The nonconservation of energy for S 1 − R induces steady-state correlations between S 1 and S 2 , which is quantified by the l 1 −norm of coherence defined as C = ∑ l =m |ρ lm | with ρ lm the matrix elements of density operator ρ [80]. Apart from the effective temperature, the existence of correlation is also a signature of the system reaching NESS. The coherence of S 1 and S 2 as a function of J y 1 /J x 1 is demonstrated in Figure 2c. By comparing Figure 2a, 2b, and 2c, we observe that the farther the individual subsystem S i (i = 1, 2) deviates from equilibrium, i.e., the smaller the ratios |β e f f i /β| < 1, the larger the coherence. We also note that the lower the temperature of environment, the larger the coherence. The NESS of the total system, which is characterized now by both the effective temperatures of individual subsystems and the coherence, should be sustained by the work current supplied by an external agent. In Figure 2d, our displays of the work current show that the work cost is consistent with the extent of the system deviating from the ESS, namely, the smaller the ratio |β e f f i /β R | and the larger the coherence, the more the work current.

Both the Interactions of S 1 − R and S 2 − R Are Not Energy-Preserving
We finally consider the scenario where both the interactions of S 1 − R and S 2 − R are not energy-preserving, for which the nonlocal steady-state currents of work and heat might appear as indicated in Equations (24) and (26). Here, we are interested in the one-way influences of the interaction of S 1 − R on the steady-state currents of S 2 . For this purpose, we demonstrate in Figure 3a the local and nonlocal currents regarding both S 1 and S 2 against the interaction of S 1 − R in terms of J y 1 /J x 1 . We can clearly observe the variations ofẆ 2 andẆ 12 with respect to J y 1 /J x 1 implying influences of the interaction of S 1 − R on the work currents of S 2 . Moreover, the nonlocal currentẆ 12 can be transformed between positive and negative values, which means that the interaction of S 1 − R is able to control the direction ofẆ 12 . The currents of heat exhibit similar behaviors to that of the work, which is not shown here. We also note that the symmetric interactions of S 1 − R and S 2 − R with J x 1 = J x 2 = J x and J y 1 = J y 2 = J y can lead toẆ 1 =Ẇ 2 andQ 1 =Q 2 , as demonstrate in Figure 3b. This implies that the local currents of work and heat for the symmetric interactions are the same as that would be obtained in the independent interactions for each subsystem with the environment. Since in this case the nonlocal current of workẆ 12 always take opposite directions to the local ones, the total cost of work in the presence of cascaded interactions, i.e.,Ẇ cas tot =Ẇ 1 +Ẇ 2 +Ẇ 12 , are always less than that with only independent interactions, i.e.,Ẇ ind tot =Ẇ 1 +Ẇ 2 , in the sense thatẆ cas tot <Ẇ ind tot .

The Extractable Work in Cascaded Model
From above discussions, we recognize that steady-state coherence of the system can be available due to cascaded interactions of subsystems with the common environment, exhibiting striking contrast to the situation of independent interactions where no any coherence can be generated; therefore, it is interesting to study the role of coherence in extracting useful work from the system. The maximum work that can be extracted from a quantum system via cyclic and unitary operations is quantified by the so-called ergotropy [81], which is given as the difference between the energy of the initial state and that of the final state with the minimum average energy through all possible unitary operations. For a quantum system described by HamiltonianĤ = ∑ d k=1 ε k |ε k ε k | and density operator ρ = ∑ d l=1 r l |r l r l | such that ε k ≤ ε k+1 and r l ≥ r l+1 , the ergotropy can be defined as E (ρ) = Tr Ĥ ρ − Tr ĤÛ min ρÛ † min = Tr Ĥ (ρ − P ρ ) (28) where P ρ = ∑ l r l |ε l ε l | is called the passive state. By plugging the explicit form of P ρ in (28), we obtain the well-known expression of ergotropy as Here, we make a comparison for the ergotropy in two configurations, namely, the cascaded interactions and the independent interactions of S 1 and S 2 with R. For this purpose, we consider the symmetric interactions of S 1 and S 2 with R with J x 1 = J x 2 = J x and J y 1 = J y 2 = J y . Moreover, for the independent interactions, we define the total ergotropy as E ind (ρ) = E (ρ S 1 ) + E (ρ S 2 ) with ρ S i (i = 1, 2) the state of S i . The behavior of ergotropy is illustrated in Figure 4a for different temperatures of the environment. We observe that at the region of J y /J x < 0 a finite nonzero ergotropy appears for both cascaded and independent interactions of S 1 − R and S 2 − R with magnitude of the former case is always larger than that of the latter case. By contrast, for the region of J y /J x > 0, the ergotropy retains a nonzero value only for the cascaded interactions. The results can be understood by recalling that the ergotropy under independent interactions is contributed totally by the population inversions of the subsystems with negative effective temperatures, which can occur only in the region of J y /J x < 0 (cf. Figure 2a). By contrast, the ergotropy under cascaded interactions is contributed by both the population inversions of individual subsystems and the coherence of the total system. As a result, the ergotropy of cascaded interactions in the region of J y /J x < 0 is always larger than that of independent interactions and arises also in the region of J y /J x > 0 where the correlations can be established. To have a visualized picture, we plot the coherence of system under the cascaded interaction in Figure 4b. A comparison between Figure 4a and Figure 4b actually confirms our explanations according to the following observations. At the point of J y /J x = −1, the coherence becomes zero so that the ergotropy in cascaded and independent interactions coincide with each other. In the region of J y /J x > 0, the ergotropy is completely contributed by the coherence and the larger the coherence with the lower temperature of the environment, the larger the ergotropy. At the point of J y /J x = 1, the zero coherence leads to vanishing ergotropy. Moreover, the larger the coherence-based ergotropy, the greater the difference for the ergotropy in these two configurations, as shown in the region of J y /J x < 0.

Conclusions
In conclusion, by virtue of collision model, we have studied the thermodynamics of a bipartite system with subsystems S 1 and S 2 interacting with an environment R in the cascaded fashion, namely, the environment R collides/interacts firstly with S 1 and subsequently with S 2 . Thanks to the framework of the collision model, we have constructed the general forms of work and heat of the system in both discrete steps and continuous time limit from their most fundamental definitions. The constructed formulations allow us to identify the local and nonlocal components of the work and heat and discuss their features due to the cascaded interactions. Focusing on the two-qubit system and concrete form of system-environment interactions, we have demonstrated our results and revealed the necessary condition for the unidirectional influence of the prior interaction of S 1 − R to the thermodynamics of S 2 in the steady-state regime. It turns out that the one-way influence occurs only when the interaction of S 1 − R does not fulfill energy conservation. With the influence of prior interaction, subsystem S 2 cannot arrive at ESS even when the interaction of S 2 − R satisfies strict energy conservation. In case the interaction of S 2 − R does not satisfy energy conservation at the same time, the interaction of S 1 − R will have an impact on both the local work regarding S 2 and nonlocal work. We also show that the steady-state coherence generated by the cascaded interaction is a useful resource in extracting work in terms of ergotropy from the system. Our results thus reveal the unique thermodynamics features in the cascaded model and particularly provide a possible way to achieve the one-way control on the thermodynamics process in the steady-state regime.

Conflicts of Interest:
The authors declare no conflict of interest.