Universal efficiency at optimal work with Bayesian statistics
If the work per cycle of a quantum heat engine is averaged over an appropriate prior distribution for an external parameter , the work becomes optimal at Curzon-Ahlborn efficiency. More general priors of the form yield optimal work at an efficiency which stays close to CA value, in particular near equilibrium the efficiency scales as one-half of the Carnot value. This feature is analogous to the one recently observed in literature for certain models of finite-time thermodynamics. Further, the use of Bayes’ theorem implies that the work estimated with posterior probabilities also bears close analogy with the classical formula. These findings suggest that the notion of prior information can be used to reveal thermodynamic features in quantum systems, thus pointing to a new connection between thermodynamic behavior and the concept of information.
pacs:05.70.-a, 03.65.-w, 05.70.Ln, 02.50.Cw
The connection between thermodynamics and the concept of information is one of the most subtle analogies in our physical theories. It has played a central role in the exorcism of Maxwell’s demon Leffbook (). It is also crucial to how we may understand and exploit quantum information Vedral2008 (); Ueda2009 (); Jacobs2008 (). To make nanodevices Joachim2000 (); Serreli2007 () that are functional and useful, we need to understand their performance with regard to heat dissipation and optimal information processing. To model such systems, standard thermodynamic processes and heat cycles have been generalised using quantum systems as the working media Hastapoulus76 ()-AJM2008 (). It is well accepted that the maximal efficiency, , where is the hot (cold) bath temperature, is only obtained by a reversible heat engine which however involves infinitely slow processes. For heat cycles running in a finite time, the concept of power output becomes meaningful. Curzon and Ahlborn Curzon1975 (), first of all displayed an elegant formula in the so called endoreversible approximation for efficiency at maximum power, . The appearance of an optimal efficiency in different models with a value close to Curzon-Ahlborn (CA) value, has raised the issue of its universality that has captured the imagination of workers in this area since many years Leff (). More recently AJM2008 (),Broeck2005 ()-Segal2010 (), a universal form for optimal efficiency, has been discussed within finite-time thermodynamics in the near-equilibrium regime (small value of ) as given by .
On the other hand, in recent years, Bayesian methods of statistical inference have gained popularity in physics Dose (). In Bayesian probability theory, the central role is played by the concept of prior information. It represents state of our knowledge about a system before any experimental data is acquired. The assignment of a unique distribution to a given prior information is a non-trivial issue but may be argued on the basis of maximum entropy principle and certain requirements of invariance Jaynes1968 (); Jaynes2003 (). Using Bayes’ theorem Jeffreys1939 () one can then update the prior probabilities based on the new information gathered from the data. Recently, Bayesian methods have been applied to modular structure of networks Hofman2008 (), inference of density of states Habeck2007 (), the interpretation of quantum probabilities Caves2002 () and other inverse problems Lemm2000 ().
In this letter, a Bayesian approach is used to show that the efficiency at optimal work for a quantum heat engine is related to CA value, after the work per cycle is averaged over the prior distribution of an external parameter. In contrast to the finite-time models Esposito2009 (), the heat cycle considered here is performed infinitely slowly. The application of Bayes’ theorem gives the optimal efficiency exactly at CA value for a whole class of priors and for arbitrary bath temperatures. The present analysis thus provides a novel argument for the emergence of thermodynamic behavior in quantum heat engines from a Bayesian perspective.
As a model of a heat engine, consider a quantum system with Hamiltonian , where energy eigenvalues . The factor depends on the energy level as well as other fixed parameters/constants of the system; is a controllable external parameter equivalent to say, the applied magnetic field for a spin-1/2 system. Other examples of this class are 1-d quantum harmonic oscillator ( equivalent to frequency) and a particle in 1-d box ( inversely proportional to the square of box-width). Initially, the quantum system is in thermal state at temperature with its eigenvalues given by the canonical probabilities . The quantum analogue of a classical Otto cycle between two heat baths at temperatures and involves the following steps Kieu2004 (): (i) the system is detached from the hot bath and made to undergo the first quantum adiabatic process, during which the system hamiltonian changes to , where , without any transitions between the levels and so the system continues to occupy its initial state. For , this process is the analogue of an adiabatic expansion. The work done by the system in this stage is defined as the change in mean energy ; (ii) the system with modified energy spectrum is brought in thermal contact with the cold bath and it achieves a thermal state . The modified canonical probabilities now correspond to temperature . On average, heat rejected to the bath in this stage is defined as ; (iii) the system is now detached from the cold bath and made to undergo a second quantum adiabatic process (compression) during which the hamiltonian changes back to . Work done on the system in this stage is ; (iv) finally, the system is brought in thermal contact with the hot bath again. Heat is absorbed by the system in this stage whence it recovers its initial state and its temperature attains back the value . The total work done on average in a cycle is calculated to be
Similarly, heat exchanged with hot bath in stage (iv) is given by Heat exchanged by the system with the cold bath is . The efficiency of the engine , is given by
For convenience, we express , using Eq. (3). Consider an ensemble of such systems where now the value of parameter may vary from system to system. If the ensemble corresponds to an actual preparation according to a certain probability distribution , then the state of the system can be expressed as . Each system in the ensemble is made to perform the quantum heat cycle described above, with a fixed efficiency . We wish to study the optimal characteristics of the average work, in particular the efficiency at which the work becomes optimal. Clearly, choice of the probability distribution is expected to play a significant role in the conclusions. In the following, we analyse this problem by choosing a distribution according to the prior information available and show that the efficiency at optimal work is closely associated with CA value.
For simplicity, we now consider a two-level system as our working medium, with and , so that the initial energy levels are and . The work over a cycle in this case is
where Boltzmann’s constant is put equal to unity. The average work with the initial state for a given , can be expressed as
A central issue in Bayesian probability is to assign a unique prior distribution corresponding to a given prior information. If the only prior information about the continuous parameter is that it takes positive real values but otherwise we have complete ignorance about it, then Jeffreys has suggested the prior distribution Jeffreys (); Jaynes1968 (), or in a finite range, , where and are the minimal and the maximal energy splitting achievable for the two-level system. For the above choice, we obtain
It can be seen that the average work vanishes for and . In between these values of , the average work exhibits a maximum. We look for the efficiency at which this work becomes maximal for the given range , by imposing the condition . Here we consider the limit of which gives
The solution of this equation has been plotted against in Fig. 1. Interestingly, in the asymptotic limit of , the above expression reduces to
which yields the efficiency at optimal work as , exactly the CA value. More significantly, the conclusion also holds in general i.e. for a working system with spectrum and with Jeffreys’ prior. It is to be noted that in the asymptotic limits, the expression for average work (Eq. (6)) diverges. However, the limits are taken after the derivative of work is set equal to zero in order to obtain well-defined expressions for the efficiency.
It is conceivable that other choices of the prior may yield similar results. To study consequences of deviations from the above choice, we consider a class of prior distributions, , defined in the range , where and . Upon optimisation of the average work as defined in Eq. (5) over , we get
In the limit becoming very large, the above integrals can be evaluated using the standard results stint (). Then the above equation is simplified to
where . Now as , the above equation reduces to Eq. (8) and so CA value is also a limiting value for this model. Interestingly, even for other allowed values of , the solution of Eq. (10) depends only on the ratio , apart from the parameter . In particular, Laplace and Bayes have advocated a uniform prior to quantify the state of complete ignorance. For this case, we set . Then the above equation becomes , which has only one real solution given as
This solution along with other numerical solutions of (10) for general are shown in Fig. 2. Remarkably, these curves stay very close to the CA value. However, at this point it is not possible to say in general what prior information may be quantified by the parameter . The curves in Fig. 2 are also closely similar to those observed in finite-time models at optimal power Esposito2009 (). It is seen here that in the near-equilibrium regime, all the curves merge into each other and approach the CA value which is approximately in this limit. This can be shown as follows: taking to be close to unity in the near-equilibrium case, is close to zero. The efficiency being bounded from above by the Carnot value is thus small too. On using these facts in the expansion of Eq. (10), we get
Thus we recover the linear term mentioned earlier. For general values of , the CA value is a lower bound for the efficiency at optimal work when gammaamin ().
So far we have observed that the use of Jeffreys’ prior implies that efficiency at optimal work approaches CA value for arbitrary bath temperatures. Further, the efficiency also approaches a universal form for a class of priors, for nearly equal bath temperatures. In the following, we show that application of Bayes’ theorem can restore the efficiency back to the exact CA value even for the latter choice. Bayes’ theorem gives a prescription to convert the prior probabilities into posterior probabilities. Note that during the first quantum adiabatic process on the two-level system, the energy levels change from to , but the system continues to occupy its initial state. The respective occupation probabilities are now interpreted as conditional probabilities, given by and . If the system is found in the up () state, the work done in this step is and the posterior probabilities are given by
The average work for this process is now given by . On the other hand, if the system is found in the down () state, the work is zero. Similarly, for the second quantum adiabatic process, the work performed can be either or 0 and the avarage work for that process can be similarly calculated using the respective posterior probabilities. Now choosing the prior and with the system being in up state, the average work for the total cycle , in the limit of large is given by
where . So using posterior probabilities, a well defined expression for average work is obtained even if the prior is non-normalisable in the asymptotic limit. More generally, given the value of external parameter and assuming canonical probabilities to find the system in th state, we infer the probability about the value of , if the system is actually found in the th state. Remarkably, the work given by eq. (14) attains optimal value exactly at the CA efficiency, regardless of the value of in the prior. Furthermore, the average work shows the same dependence on efficiency as found for the classical Otto cycle in Leff ().
In conclusion, we have argued the emergence of CA value as the efficiency at optimal work in quantum heat engines within a Bayesian framework. This effect of incorporating Bayesian probabilities leading to classical thermodynamic behavior in quantum systems has not been addressed before and may shed new light on the connection between information and thermodynamics. Due to current interest in small scale engines, the observation of similar curves (Fig. 2) as obtained in some recently proposed models of these engines, points to an interesting link between finite time models and our model based on the idea of prior information. Addressing these issues would hopefully lead to a broader perspective on the performance characteristics of small engines and also help to understand the limits of their performance based on principles of information.
The author expresses his sincere thanks to Arvind, Pranaw Rungta and Lingaraj Sahu for interest in the work and useful discussions.
- (1) H.S. Leff and A.F. Rex, Maxwell’s Demon: Entropy, Information, Computing, (Princeton: Princeton University Press, 1990); Maxwell’s Demon 2: Entropy, Classical and Quantum Information, Computing (Institute of Physics, Bristol, 2003).
- (2) K. Muruyami, F. Nori and V. Vedral, Rev. Mod. Phys. 81, 1 (2009).
- (3) T. Sagawa and M. Ueda, Phys. Rev. Lett. 102, 250602 (2009); Phys. Rev. Lett. 100, 080403 (2008).
- (4) K. Jacobs, Phys. Rev. A 80, 012322 (2009).
- (5) C. Joachim et. al., Nature (London) 408, 541 (2000).
- (6) V. Serreli et. al., Nature (London) 445, 523 (2007).
- (7) G. N. Hatsopoulos and E. P. Gyftopoulos, Found. Phys. 6, 127 (1976).
- (8) M. O. Scully, Phys. Rev. Lett. 87, 220601 (2001) ; ibid 88, 050602 (2002).
- (9) A. E. Allahverdyan and Th. M. Nieuwenhuizen, Phys. Rev. Lett. 85, 1799 (2000).
- (10) J. Gemmer, M. Michel, and G. Mahler, Quantum thermodynamics, Springer, Berlin (2004) and references therein.
- (11) H.E.D. Scovil and E.O. Schulz-Dubois, Phys. Rev. Lett. 2, 262 (1959); J.E. Geusic, E.O. Schulz-Dubois, and H.E.D. Scovil, Phys. Rev. 156, 343 (1967).
- (12) R. Alicki, J. Phys. A, 12, L103 (1979).
- (13) E. Geva and R. Kosloff, J. Chem. Phys. 96, 3054 (1992).
- (14) T.D. Kieu, Phys. Rev. Lett. 93, 140403 (2004); Eur. Phys. J. D 39, 115 (2006).
- (15) H.T. Quan, Yu-xi Liu, C.P. Sun, and F. Nori, Phys. Rev. E 76, 031105 (2007).
- (16) A. E. Allahverdyan, R. S. Johal, and G. Mahler, Phys. Rev. E 77, 041118 (2008).
- (17) F. Curzon and B. Ahlborn, Am. J. Phys. 43, 22 (1975).
- (18) H. S. Leff, Am. J. Phys. 55, 8 (1987); P. T. Landsberg and H. Leff, J. Phys. A 22, 4019 (1989).
- (19) C. Van den Broeck, Phys. Rev. Lett. 95, 190602 (2005).
- (20) T. Schmiedl and U. Seifert, Europhys. Lett. 81, 20003 (2008).
- (21) Z.C. Tu, J. Phys. A: Math. Gen. 41, 312003 (2008).
- (22) M. Esposito, K. Lindenberg, and C. Van den Broeck, Phys. Rev. Lett. 102, 130602 (2009).
- (23) Y. Zhou and D. Segal, Phys. Rev. E 82, 011120 (2010).
- (24) V. Dose, Rep. Prog. Phys. 66, 1421 (2003).
- (25) H. Jeffreys, Theory of Probability (Clarendon Press, Oxford, 1939).
- (26) E.T. Jaynes, IEEE Trans. Sys. Sc. and Cybernetics, 4, 227 (1968).
- (27) E.T. Jaynes, Probability Theory: The Logic of Science (Cambridge University Press, Cambridge, 2003).
- (28) J.M. Hofman and C.H. Wiggens, Phys. Rev. Lett. 100, 258701 (2008).
- (29) M. Habeck, Phys. Rev. Lett. 98, 200601 (2007).
- (30) C. M. Caves, C. A. Fuchs, and R. Schack, Phys. Rev. A 65, 022305 (2002).
- (31) J.C. Lemm, J. Uhlig, and A. Weiguny, Phys. Rev. Lett. 84, 2068 (2000).
- (32) H. Jeffreys, Scientific Inference (Cambridge University Press, Cambridge, 1957).
- (33) , for and where and are the Gamma function and Riemann zeta functions, respectively.
- (34) If we start with the prior distribution defined in the range , normalisable for , and solve in the asymptotic limit , then CA value is an upper bound for optimal efficiency. This choice is also presented in Fig. 2 for .