Abstract
A genuine feature of projective quantum measurements is that they inevitably alter the mean energy of the observed system if the measured quantity does not commute with the Hamiltonian. Compared to the classical case, Jacobs proved that this additional energetic cost leads to a stronger bound on the work extractable after a single measurement from a system initially in thermal equilibrium (2009 Phys. Rev. A 80 012322). Here, we extend this bound to a large class of feedback-driven quantum engines operating periodically and in finite time. The bound thus implies a natural definition for the efficiency of information to work conversion in such devices. For a simple model consisting of a laser-driven two-level system, we maximize the efficiency with respect to the observable whose measurement is used to control the feedback operations. We find that the optimal observable typically does not commute with the Hamiltonian and hence would not be available in a classical two level system. This result reveals that periodic feedback engines operating in the quantum realm can exploit quantum coherences to enhance efficiency.
Export citation and abstract BibTeX RIS
Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
1. Introduction
Schrödinger's cat sums up one of the most striking and counter-intuitive features of quantum systems that is the ability to exist in coherent superpositions of states, which, in the classical world, would mutually exclude each other. While the conceptual ambiguities arising due to this phenomenon have been highly debated in the early days of quantum mechanics, during the last decades, it has been pointed out that quantum coherence might serve as valuable resource, especially for information processing. Among the first suggestions in this direction were the Brassard–Bennett protocol and the Deutsch–Jozsa algorithm promising respectively intrinsically eavesdrop-secure communication and an exponential speedup of computation by exploiting the quantum superposition principle [1]. Although theses schemes are of little practical use so far, they reveal the enormous potential of quantum technologies, which nowadays becomes all the more significant due to recent experiments showing the accessibility of quantum effects even under ambient conditions [2–4].
Information thermodynamics [5–8] provides another, yet much less explored, area of research, which might benefit from the utilization of quantum coherence. The development of this field was originally triggered by Maxwell's famous thought experiment challenging the second law by invoking a small intelligent being, which is able to separate the molecules of a gas in thermal equilibrium according to their velocity, thus establishing a spontaneous temperature gradient [9]. Building on Maxwell's idea, Szilàrd invented a microscopic engine consisting of a single molecule confined in a container, which is in contact with a thermal reservoir of constant temperature [10]. An external agent might operate this setup by first dividing the container in two chambers, second, detecting the position of the molecule and, third, adiabatically expanding the chamber the molecule was found in, thus extracting work from a single heat bath. Half a century after its discovery, this apparent contradiction with the second law was resolved by Bennett [11], who showed that, due to Landauer's principle [12], the reduction of entropy associated with the measurement in the second step must be eventually compensated when the external agent discards the gathered information from its memory, which can not be inexhaustible. Hence, effectively, the information acquired during the measurement is converted into work. Meanwhile a fairly complete and experimentally confirmed theoretical framework exists [5, 13, 14] at least for classical systems, which, on a general level, provides precise extensions of the second law accounting for information as a physical quantity thus relating it to traditional thermodynamic variables such as entropy and work.
In the quantum realm, additional intricacies arise, which are not yet fully explored [15–32]. As a consequence of the superposition principle even the Hilbert space of a simple two-level system (TLS) contains infinitely many orthonormal pairs of realizable states, each of which is associated with a specific observable, which, in principle, might be measured. Moreover, according to the projection postulate, a measurement will typically alter the state of the system and thereby its mean energy. Therefore, in strong contrast to the classical case, a projective quantum measurement is not only accompanied by a decrease in entropy but also by an intrinsic change in internal energy, which must be taken into account for thermodynamic considerations. Jacobs argued that this energetic cost should be attributed to the external observer and derived an inequality, which incorporates it in an upper bound on the work extractable from a quantum system in thermal equilibrium after a single measurement [33]. Here, we go one step further by relaxing the assumption on the initial state and allowing multiple measurements in finite intervals. Using a simple argument based on the first and the second law, we show that Jacobs' bound holds whenever the probability to obtain a certain outcome does not change from one measurement to the next. This result, in particular, implies a bound on the average work delivered by information driven quantum engines operating periodically and in finite time. Moreover, it provides a natural definition for the efficiency of such machines.
One of the first specific, fully quantum mechanical models for a measurement controlled device was proposed by Lloyd [34]. In the spirit of Szilàrd's pioneering work, he considers a single spin system in contact with a thermal heat bath. An external controller can extract work in form of photons from this system by measuring the energy of the spin and applying a π-pulse at the Larmor frequency if the excited state is detected. After the spin-flip, or, if initially the ground state was observed, the system is allowed to return to thermal equilibrium, before the procedure repeats. Lloyd demonstrates that his engine can completely convert the information acquired by the measurement into work. Furthermore, he argues that the efficiency of this process will inevitably decrease, due to decoherence effects, if any observable different from energy is used to determine the state of the system. However, his reasoning strongly relies on the assumption that the spin has relaxed to thermal equilibrium before any measurement, which, in fact, would require an infinite waiting time.
In this work, by generalizing the setup described above, we show that triggering a laser pulse by measuring an observable that does not commute with the Hamiltonian of the system can enhance the efficiency if the model is operated in finite time. Specifically, we investigate a quantum-optical TLS, whose relaxation dynamics is modeled using a quantum master equation. After a projective von-Neumann measurement, the system is assumed to be detached from the heat bath such that its time evolution during the laser pulse is governed by a time-dependent Schrödinger equation. We note that such a separation of system and environment has recently been argued to be realistic in the context of quantum heat engines [35, 36]. For our model, we analytically calculate the time-dependent density matrix characterizing the system in the cyclic operation mode and numerically determine the optimal observable to control the feedback protocol as a function of the relaxation time and the spacing of the energy levels. Our findings show that exploiting quantum coherences can enhance the efficiency of information engines beyond classically achievable values.
The paper is structured as follows. As our first main result, we derive a new bound on the average work output of quantum information engines in section 2. In section 3, we introduce a specific model for such a machine and solve its dynamics. Section 4 is devoted to the optimization of its efficiency. We conclude in section 5.
2. Bound on work for cyclic quantum information engines
We begin this section by introducing a general scheme for a cyclic quantum information engine. To this end, we consider a finite quantum system with Hamiltonian H, which is in contact with a heat bath of temperature T and whose density matrix is initially given by . This setup is now operated by an external agent in two steps. First, an instantaneous projective measurement of the observable A is carried out, which yields the outcome am and leaves the system in the state
with probability
Here, the am are the eigenvalues of A, which we assume to be non-degenerate, and denotes the normalized eigenvector of A corresponding to am. Second, to convert the acquired information into useful work, a control operation is applied to the system, which is conditioned on the result of the preceding measurement and leads to the evolved density matrix
where , in principle, can be any positive, trace preserving map [1]. Practically, such an operation can be realized by intermediately manipulating the Hamiltonian of the system or its coupling to the heat bath over a certain time interval.
The agent now iterates the sequence of steps one and two, where, in the ith operation cycle, the measurement outcome is obtained with probability . It is readily seen that these quantities fulfill the recursion relation
with the conditional probability
since the initial density matrix of each cycle is the result of the control operation applied in the foregoing one, as shown in figure 1. Moreover, since the transition probability (5) does not depend on the cycle index i but rather is fully determined by the control operation and the observable A, after sufficiently many iterations a stationary distribution satisfying
will be approached. Once this steady state is reached, the system works as a periodic information engine.
For a thermodynamic analysis of the scheme outlined above, we have to calculate the changes in internal energy and entropy of the system associated with the steps one and two, where is Boltzmann's constant. Considering an operation cycle with initial density matrix and measurement outcome , we find
for the measurement and
for the control operation, where we used due to representing a pure state. Since the total entropy production during the control step
must be non-negative by virtue of the second law, it follows that the change in entropy of the heat bath is bounded from below by and thus the heat taken up by the system during the control operation is bounded from above by . Consequently, the first law
implies the bound
on the work the agent can extract from the system using the operation .
Since the measurement outcome am occurs with probability qm in the steady state, (13) yields the bound
on the average work extracted per operation cycle. Furthermore, the average energetic cost and entropy reduction per cycle associated with the measurement read
and
respectively. Here, is the probability to measure and am in two consecutive operation cycles. Inserting (7) and (8) into (16) and (17) and using the steady state condition (6) as well as the sum rule
expressing probability conservation yields
By comparing (19) and (20) with (15), we obtain the bound
This inequality, which constitutes our first main result, provides a universal upper bound on the average work extractable per operation cycle in terms of quantities that are related to the measurement process only. It generalizes similar results obtained in [33, 37–39] for single stroke operations. Following the arguments of Jacobs [33], we consider the energetic cost of the measurement as work input provided by the measurement apparatus and thus infer from (21) the natural definition
for the efficiency, at which information is converted to work in cyclic quantum engines. We note that, while is readily seen to be always non-negative, in contrast to the setup considered in [33], can, in principle, become negative, since, for finite cycle times, the system will typically not be in thermal equilibrium before the measurement is performed. Moreover, the quantity is of pure quantum origin and vanishes in the quasi-classical situation, where the observable A commutes with the Hamiltonian of the system H.
3. Quantum optical model
As an application of the general theory discussed so far, we propose a generalization of a paradigmatic model for a quantum information engine originally invented by Lloyd [34] and analyze its thermodynamic properties. Specifically, we consider an optical TLS with Hamiltonian
where is the energetic spacing between the ground state and the excited state . The external agent measures the observable with eigenvalues and corresponding eigenvectors
which reduce to the eigenstates of H for . In order to extract work in form of photons, after a measurement of the state , the system is detached from the heat bath and a coherent laser pulse on resonance is applied for an interval tF. After a measurement of , the system is kept in contact with the thermal environment for a time tR without any action of the agent to allow the absorption of additional heat before the next measurement is carried out.
For a quantitative description of this procedure, which is summarized in figure 2, we need to specify the control operations . During the interaction () with the laser pulse, the density matrix of the system evolves unitarily according to the Liouville–von Neumann equation
where, on the semiclassical level and within the rotating wave approximation, the time-dependent Hamiltonian is given by
with real Rabi frequency and being the phase of the dipole matrix element [40]. To describe the interaction of the TLS with the heat bath during , we use the quantum optical master equation [41]
where is a Lindblad operator, denotes the Planck distribution evaluated for the level spacing and is a damping rate quantifying the coupling strength between the TLS and the thermal reservoir. This time evolution equation, which is of Lindblad form and therefore preserves trace and positivity of the density matrix, can be derived from a microscopic model in the weak coupling limit, where the role of the heat bath is played by the thermal radiation field, for details, see [41]. Such master equations are a well established method for the description of open quantum systems, which has previously lead to substantial insights in the context of quantum heat engines, see for example [42, 43]. In terms of the super operators , the control operations admit the formal representations
where indicates time ordering. Solving the equations (26) and (28) for a general initial condition yields the explicit expressions [40]
and [44]
where we introduced the abbreviations and .
Download figure:
Standard image High-resolution imageThe work extracted within an operation cycle with measurement outcome can be determined form the first law
since the TLS is decoupled from the environment and thus no heat is exchanged during the control operation . Inserting and (30) into (32) gives
To keep the subsequent analysis as simple as possible, from here onwards, we fix the pulse duration tF and the dipole phase ϕ such that (33) assumes the maximal value
with respect to these parameters, i.e., we put
This choice ensures that the TLS ends up in the ground state after the laser pulse, i.e., . Furthermore, it leads to the fairly simple expressions
and
for the conditional probabilities defined in (5). Since and are determined by the sum rules (18), the steady state probabilities can now be obtained from the fixed point condition (6). Specifically, we find
We are now ready to calculate the quantities entering the efficiency (22). First, the average work per cycle reads
since no contribution arises from operation cycles with measurement outcome . Second, the average energy spent on the measurement (19) becomes
upon using and the expressions (30) and (31) for the control operations. Third, since represents a pure state due to the control operation being unitary, the average entropy reduction in the system associated with the measurement (20) arises only from cycles with initial state . After some algebra again using (31), we thus obtain
Using the expressions (39)–(42), the efficiency η of this quantum optical information engine can be evaluated for any complete set of parameters comprising the level spacing , the temperature of the heat bath T, the angle , the damping rate γ and the relaxation time tR.
4. Quasi-classical versus coherence-enhanced regime
In this section, we focus on the question whether coherences, i.e., a choice for the basis, in which the measurement is performed, can enhance the efficiency η. In order to reduce the number of free parameters, we choose from now on the temperature such that
leading to N = 1. We then find by inspection that η depends only on and the two dimensionless parameters and . A numerical optimization procedure yields the maximal efficiency and optimal angle , which are both shown in upper panels of figure 3. These plots exhibit two qualitatively different regimes separated by .
Download figure:
Standard image High-resolution imageFirst, for , we recover the quasi-classical regime originally considered by Lloyd [34], within which the TLS can relax to thermal equilibrium in each operation cycle with measurement outcome . As argued in [34], the largest efficiency can then be obtained for . Consistently, we observe that is effectively zero in this regime and, independent of , the optimal efficiency settles at the constant value
Second, in the coherent regime , we find a characteristic oscillatory pattern, which can be traced back to the structure of the conditional probability (37). The crucial role of this quantity, which is, in fact, the only ingredient of the efficiency depending on , can be explained by the following argument. If the TLS is found in the state after being in contact with the thermal environment for the time tR, the heat absorbed during this period together with the energy invested for the measurement can be converted into work by applying a laser pulse. A measurement indicating the state , however, leads to another relaxation cycle, within which no work can be extracted and the previously gained information is inevitably wasted. Consequently, the efficiency, at which acquired information is converted into work, can be expected to increase as the frequency of such idle cycles decreases. For , the corresponding probability
can be substantially reduced by the contribution proportional to , which arises solely due to quantum coherences and vanishes for . This effect becomes most pronounced for and
Accordingly, the hyperbolas (46) are in good agreement with the local maxima of the efficiency in the -plane and comes close to in their vicinity. The deviations from this pattern for can be explained by the remaining terms in (45), which come with a prefactor and thus give a non-negligible contribution only in these regions. Most importantly, in this regime, we find as our second main result that the efficiency is enhanced by exploiting coherences. Specifically, it can overcome the quasi-classical value (44) and even approach its upper bound 1 in the limit .
The average work output for the optimal angle , , is plotted in the lower panel of figure 3. Clearly, this quantity features the same characteristic dependence on and as the maximized efficiency . Like , the average work exceeds its quasi-classical limit
in the coherence-enhanced regime and becomes maximal in the same range of parameters like , i.e., in the vicinity of the hyperbolas (46).
Finally, we consider the average energetic cost per measurement . This additional input is inevitably necessary for the exploitation of quantum coherence and therefore becomes non-negligible whenever significantly deviates from 0, hence, in particular, in the regions of the parameter space, where our numerical procedure reveals to be large. Consequently, in the range of high efficiencies, the input of the device is mainly delivered by the measurement apparatus rather than the heat bath. This result underlines the crucial role of the measurement process in the quantum realm, which, besides delivering information, can alter the state of the system and thus bears the character of an additional control operation.
5. Conclusion
In this paper, we have derived a universal upper bound on the average work output delivered in finite time by cyclically operating quantum information engines, which takes into account the energetic cost intrinsically associated with quantum measurements. This bound provides a benchmark for the performance of quantum mechanical information-to-energy converters, which, in contrast to their classical counterparts, see for example [45–53], can exploit the superposition principle and thus might be able to overcome classical limitations.
We have explicitly investigated the benefit of quantum coherences in the second part of the paper by considering a specific model consisting of a quantum optical TLS, which, conditioned on the outcome of a projective measurement, is repeatedly either coupled to a heat bath or used to amplify a coherent laser pulse. In the regime of long relaxation times, this setup corresponds to a model originally proposed by Lloyd, whose properties are reproduced qualitatively in our analysis within this limit. We emphasize, however, that the definition of efficiency used in [34] is different from ours, since it explicitly refers to Landauer's principle by invoking the minimal heat that must be dissipated in a second heat bath of different temperature to achieve the entropy production necessary to reset the memory of the external agent. Viewed in this way, the model acts effectively as a heat engine, whose efficiency is bounded by the Carnot value. In our approach, we consider the system as an information engine and define its efficiency in terms of quantities directly associated with the system and the measurement process, leaving aside how the agent eventually erases the gathered information.
In the coherent regime, which is characterized by short cycle times, we find that utilizing a non-classical observable , whose eigenstates are coherent superpositions of the energy eigenstates, can enhance the performance significantly. Remarkably, it turns out that both, efficiency and average work output per cycle, can be substantially increased if the relaxation time is properly adjusted to the level spacing. Since, in the corresponding regions of the parameter space, the optimal angle strongly deviates from the quasi-classical value 0 and even comes close to , the device is then mainly supplied by the measurement apparatus rather than the heat bath. In fact, Jacobs argued that, for thermodynamical consistency, this type of energy input must be considered as work rather than heat [33]. It should, however, also be clearly distinguished from the work output extracted by external control operations. Further clarification of the role of the measurement process in this context,using e.g. a scheme proposed in [54], constitutes an important and challenging subject for future research.