arxiv: v1 [quant-ph] 9 Nov 2017

Transcription

1 Clock/work trade-off relation for coherence in quantum thermodynamics arxiv: v1 [quant-ph] 9 Nov 017 Hyukjoon Kwon, 1 Hyunseok Jeong, 1 David Jennings,,3 Benjamin Yadin, 3 and M. S. Kim 3 1 Center for Macroscopic Quantum Control, Department of Physics and Astronomy, Seoul National University, Seoul, , Korea Department of Physics, University of Oxford, Oxford, OX1 3PU, United Kingdom 3 QOLS, Blackett Laboratory, Imperial College London, London SW7 AZ, United Kingdom (Dated: November 10, 017 In thermodynamics, quantum coherences superpositions between energy eigenstates behave in distinctly nonclassical ways. Recently mathematical frameworks have emerged to account for these features and have provided a range of novel insights. Here we describe how thermodynamic coherence splits into two kinds internal coherence that admits an energetic value in terms of thermodynamic work, and external coherence that does not have energetic value, but instead corresponds to the functioning of the system as a quantum clock. For the latter form of coherence we provide dynamical constraints that relate to quantum metrology and macroscopicity, while for the former, we show that quantum states exist that have finite internal coherence yet with zero deterministic work value. Finally, under minimal thermodynamic assumptions, we establish a clock/work tradeoff relation between these two types of coherences. This can be viewed as a form of time-energy conjugate relation within quantum thermodynamics that bounds the total maximum of clock and work resources for a given system. Classical thermodynamics describes the physical behavior of macroscopic systems composed of large numbers of particles. Thanks to its intimate relations with statistics and information theory, the domain of thermodynamics has recently been extended to include small systems, and even quantum systems. One particularly pressing question is how the existence of quantum coherences, or superpositions of energy eigenstates, impacts the laws of thermodynamics [1 5], in addition to quantum correlations [6 1]. We now have a range of results for quantum thermodynamics [13 5] that have been developed within the resource-theoretic approach. A key advantage of the resource theory framework is that avoids highly problematic concepts such as heat or entropy as its starting point. Its results have been shown to be consistent with traditional thermodynamics [6] and has increasingly uncovered surprising connections with other theories such as entanglement theory [7, 8], coherence [9, 30], and reference frames (or asymmetry [31 34]. Very recently, the first complete set of conditions for quantum thermodynamics with coherence was obtained in [5]. The framework of thermal processes (TP analysed in [5] is based on the following 3 minimal physical assumptions: (i That energy is conserved microscopically, (ii that an equilibrium state exists, and (iii that quantum coherence has a thermodynamic value. These are described in more detail in the Supplementary Material. Note that thermal processes contain thermal operations (TO [13, 14] as a subset, and coincide with TO on incoherent states, however in contrast to TO admit a straightforward description for the evolution of states with coherences between energy eigenspaces. In this Letter we work under the same thermodynamic assumptions (i iii as above and show that quantum coherence in thermodynamics splits in two distinct types: internal coherences between quantum states of the same energy, and external coherences between states of different energies. This terminology is used because the external coherences in a system S are only defined relative to an external phase reference frame R, while internal coherences are defined within S as relational coherences between its sub-components. We focus on the case of an N-partite system with noninteracting subsystems. The Hamiltonian is written as Ĥ = N i=1ĥi andweassumethateachithlocalhamiltonian Ĥi has an energy spectrum { i } with local energyeigenstates i. Then a quantum state of this system may be represented as ˆρ =, ρ, where := ( 1,,, N and := 1 N. We also define the total energy of the string := N i=1 i. Classical thermodynamic properties are determined by the probability distribution of the local energies, including their correlations. This information is contained in the] diagonal terms of density matrix P( := Tr[ˆΠˆρ = ρ, where ˆΠ :=. The probability distribution of the total energy is p := P(. So every state has a : = corresponding classical state defined via the projection Π(ˆρ := P(. However, a quantum system is defined by more than its classical energy distribution it may have coherence in the energy eigenbasis. This coherence is associated with nonzero off-diagonal elements in the density matrix, namely for. The internal coherence corresponds to off-diagonal terms of the same total energy

2 (where = and external coherence corresponds to terms with different energies (. For any state ˆρ, we denote the corresponding state in which all external coherence is removed by D(ˆρ := ˆΠ ˆρˆΠ, where ˆΠ := : = ˆΠ is the projector onto the eigenspace of total energy. As illustrated in Fig. 1, internal coherence may be used to extract work, however it has been shown that external coherences obey a superselection rule (called worklocking that forbids work extraction, and is unavoidable if one wishes to explicitly account for all sources of coherence in thermodynamics [17]. We study this phenomenon by defining the process of extracting work purely from the coherence, without affecting the classical energy statistics. We find the conditions under which work can be deterministically extracted in this way from a pure state. Next, we show that external coherence is responsible for a system s ability to act as a clock. The precision of the clock may be quantified by the quantum Fisher information (QFI [35]; we show that the QFI satisfies a second-law-like condition, stating that it cannot increase under a thermal process. Finally, we derive a fundamental tradeoff inequality between the QFI and the extractable work from coherence demonstrating how a system s potential for producing work is limited by its ability to act as a clock and vice-versa. xtractable work from coherence. Here we demonstrate that, in a single-shot setting, work may be extracted from coherence without changing the classical energy distribution P( of the system. We consider the following type of work extraction process ˆρ 0 0 W TP Π(ˆρ W W W, in which the energy of a work qubit 1 with Hamiltonian Ĥ W = W W W W (W 0 is raised from 0 W to W W. For energy-block-diagonal states ˆρ = D( ˆρ and ˆσ = D(ˆσ, the work distance is defined as D work (ˆρ ˆσ = k B T inf [F α(ˆρ F α (ˆσ] [16], where F α (ˆρ = α k B TS α (ˆρ ˆγ k B T logz B is a generalized free energy based on the Rényi divergence S α (ˆρ ˆσ = { 1 α 1 logtr[ˆραˆσ 1 α ], α [0,1 [( 1 α 1 logtr ˆσ 1 α 1 α α ] α ˆρˆσ α, α > 1. The work distance is the maximum extractable work that can be achieved by a thermal process by taking ˆρ to ˆσ [16]. 1 Note that a work qubit is a convenient unit to quantify deterministically extracted, perfectly ordered energy. It does not place restrictions on assumed work-bearing degrees of freedom and has been shown to be equivalent to other notions of work as ordered energy [36, 37]. FIG. 1. Coherences in many-body quantum thermodynamics. Shown is a schematic of the different regimes of thermodynamic resources for many-body quantum systems. Coherences between energy levels provide coherent oscillations and are resources for the composite system to act as a quantum clock. At the other extreme, projective energy measurements on the individual systems provide the classical energy statistics, which may display classical correlations. Intermediate between these two cases are quantum coherences that are internal to energy eigenspaces. Partial interconversions are possible between these three aspects. (a FIG.. Thermomajorization graph for the energy-block diagonal state D( ψ ψ and its projection to an incoherent state Π( ψ ψ for a two-qubit state ψ studied in the text with coefficients p 1 and p. Z represents the partition function of the system. (a When p 1e βω 0 is the maximum among p ie β i, W coh is positive, but (b if another energy (e.g. p e βω 0 in the plot obtains the maximum, W coh = 0. ven when the initial state ˆρ is not block-diagonal in the energy basis, the extractable work is still given by D work (D(ˆρ ˆσ, so external coherence cannot be used to extract additional work [17]. In order to exploit external coherence for work, one needs multiple copies of ˆρ [5, 15] or ancilliary coherent resources[1,, 15, 17]. Thus, the single-shot extractable work purely from coherence is given by W coh = inf α [F α(d(ˆρ F α (Π(ˆρ]. (1 For example, consider extracting work from coherence in the pure two-qubit state ψ = p p 1 ( p 11, (b

3 3 where each qubit has local Hamiltonain H i = ω As shown in Fig. using the concept of thermomajorization [14], we have W coh > 0 only for sufficiently large p 1. In this case, we have the necessary condition p 1 > (1 + e βω0 + e βω0 1 and the sufficient condition p 1 > e βω0 /(1+e βω0 for W coh > 0, independent of p 0 and p. See Supplemental Material for details. We generalize this statement to arbitrary pure states: Observation 1. For a pure state, nonzero work can be extracted from coherence deterministically if and only if there exists internal coherence for the energy level such that = argmax p e β. Furthermore, in the many-body setting, internal coherence has some overlap with nonclassical correlations, namely quantum discord [38]. To illustrate this, consider the following quantity which quantifies the sharing of free energy between subsystems: [ ] C α (ˆρ 1:: :N := β F α (ˆρ F α (ˆρ i, i=1 where ˆρ i is the local state of the ith subsystem. For nondegenerate local Hamiltonians, the extractable work from coherence can be written as W coh = k B T inf α [C α(d(ˆρ C α (Π(ˆρ], noting that the local free energies are the same for D(ˆρ and Π(ˆρ. This is of the same form as discord as defined by Ollivier and Zurek [39], expressed as a difference between total and classical correlations. Note that the classical correlations are defined here with respect to the energy basis, instead of the usual maximization over all local basis choices. Unlike previous related studies [5, 1], our result requires that only coherence is consumed in the work extraction processes, leaving all energy statistics unchanged. We may also consider the incoherent contribution to the extractable work, W incoh := inf α [F α (Π(ˆρ F α (ˆγ] = F 0 (Π(ˆρ+k B T logz, which is the achievable work from an incoherent state Π( ˆρ with thesameenergystatisticsp(as ˆρ,endingwithaGibbs state ˆγ. The sum of the coherent and incoherent terms cannot exceed the total extractable work from ˆρ to ˆγ, i.e., W coh +W incoh W tot = D work (D(ˆρ ˆγ. quality holds when W coh in q. (1 is given at α = 0. We also point out that this type of work extraction process operates without any measurement or information storage as in Maxwell s demon [40, 41] or the Szilard engine [8] in the quantum regime. Apart from the above example, a significant case is the so-called coherent Gibbs state [17], defined for a single subsystem as γ := e β i i Z i. No work can be extracted from this state, as D( γ γ = ˆγ an instance of work-locking. However, nonzero work can be unlocked [17] from multiple copies γ N, N > 1. In fact, from Observation 1, we see that N = is always sufficient to give W coh > 0. This is because p e β is proportional to the degeneracy of the subspace there always exists a degenerate subspace for N, and this is guaranteed to have coherence. Coherence as a clock resource. Having discussed the thermodynamical relevance of internal coherence, we now turn to external coherence. Suppose we have an initial state ˆρ 0 =, ρ. After free unitary evolution for time t, this becomes ˆρ t =, ρ e i ω t, where each off-diagonal component rotatesat frequency ω = ( /. Internal coherences do not evolve ( ω = 0, while external coherences with larger energy gaps, and hence higher frequencies, can be considered as providing more sensitive quantum clocks [4, 43]. By comparing ˆρ 0 with ˆρ t, one can estimate the elapsed time t. More precisely, the resolution of a quantum clock can be quantified by ( t = (ˆt t, where ˆt is the time estimator derived from some measurement on ˆρ t. The resolution is limited by the quantum Cramér- Rao bound [35], ( t 1/I F (ˆρ,Ĥ, where IF(ˆρ,Ĥ = (λ i λ j i,j λ i+λ j i Ĥ j is the quantum Fisher information, and λ i, i are the eigenvalues and eigenstates of ˆρ, respectively. For the optimal time estimator ˆt saturating the bound, the larger the quantum Fisher information, the higher the clock resolution. Another family of relevant measures of the clock resolution is the skew information I α (ˆρ,Ĥ = Tr(ˆρĤ Tr(ˆρ α Ĥˆρ 1 α Ĥ for 0 α 1 [35, 44]. For pure states, both the QFI and skew information reduce to 1 the variance: 4IF( ψ,ĥ = Iα( ψ,ĥ = V( ψ,ĥ := ψ H ψ ψ Ĥ ψ. We also remark that a similar approach to time references in quantum thermodynamics has been recently suggested using an entropic clock performance quantifier [5]. We first note that, even though a quantum state might be very poor at providing work, it can still function as a good time reference. The coherent Gibbs state is a canonical example. As mentioned earlier, no work may be extracted from γ ; however, a precise time measurement is possible due to I F ( γ,ĥ = 4 β logz, proportional to the heat capacity k B β β logz [45]. Furthermore, the QFI and skew information are based on monotone metrics[46, 47], and monotonically decrease under time-translation-covariant operations [34, 48]. It follows that the resolution of a quantum clock gives an additional constraint of a second-law type: Observation. Under a thermal process, the quantum Fisher (skew information I F(α of a quantum system cannot increase, i.e. I F(α 0. (

4 4 We highlight that this condition is independent from those obtained previously, based on a family of entropy asymmetry measures A α (ˆρ S = S α (ˆρ S D(ˆρ S [17] and modes of asymmetry =ω ρ [18, 33]. In Supplemental Material, we give an example of a state transformation that is forbidden by ( but not by previous constraints. Importantly, the measure A α is negligible in the manycopy, or independent and identically distributed (IID limit: lim A α(ˆρ N /N = 0 for all α [17]. In contrast, the QFI and skew information are additive, thus N I F(α (ˆρ N,Ĥ/N = I F(α(ˆρ,Ĥ1 for all N, where Ĥ = N n=iĥi is the additive N-copy Hamiltonian. Therefore these measures remain significant in the many-copy limit and provide nontrivial restrictions on asymptotic state transformations under thermal operations. We can illustrate the physical implications of this condition in an N-particle two-level systems with a local Hamiltonian Ĥi = 0 0 i 0 +ω 0 1 i 1 for every ith particle. As noted above, for a product state ˆρ N, the QFI andskewinformationscalelinearlywith N. Onthe other hand, a GHZ state ψ GHZ = 1/ ( 0 N + 1 N has quadratic scaling, I F(α ( ψ,ĥ = GHZ O(N. Thus the restriction given by q. ( indicates that a thermal process cannot transform a product state into a GHZ state. More generally, it is known that I F (ˆρ,Ĥ kn for k- producible states in N-qubit systems [49, 50], so genuine multi-partite entanglement is necessary to achieve a high clock precision of I F = O(N. Also note that the QFI has been used to quantify macroscopicity, the degree to which a state displays quantum behavior on a large scale [48, 51]. Trade-off between work and clock resources. Having examined the two types of thermodynamic coherence independently, it is natural to ask if there is a relation between them. Here, we demonstrate that there is always a trade-off between work and clock coherence resources. We first give the following bound in an N-particle twolevel system: Theorem 1 (Clock/work trade-off for two-level subsystems. For an N-particle two-level system with energy level difference ω 0, the coherent work and clock resources satisfy W coh k B TN(logH b 1 I F 1 (ˆρ,Ĥ, N ω0 (3 where Ĥ is the total Hamiltonian and H b(r = rlog r (1 rlog (1 r is the binary entropy. This shows that a quantum state cannot simultaneously contain maximal work and clock resources. Moreover, when the clock resource is maximal, I F = Nω 0, no work can be extracted from coherence W coh = 0. Conversely, if the extractable work form coherence is max Forbidden FIG. 3. Trade-off between extractable work from coherence and clock resource. The solid line refers to q. (3, the dashed line refers to q. (4 for N =, and the dotted line refers the tighter bound with N = 10. imal, W coh = Nk B T log, the state cannot be utilized as a quantum clock as I F = 0. For N = we derive a tighter inequality, ( I F W coh +(k B T log (ˆρ,Ĥ 4ω0 k B T log. (4 We demonstrate that the GHZ state ψ GHZ = 1/ ( 0 N + 1 N and Dicke states N,k = ( N 1/ k P P( 1 k 0 N k, summing over all permutations P of subsystems, are limiting cases of this tradeoff relation. For a Dicke state, the extractable work from coherence is given by W coh = Nk B T log ( N k k B T(logH b (r with N 1 and excitation rate r = k/n. However, each Dicke state has I F = 0 since it has support on a single energy eigenspace with = kω 0. In particular, when k = N/, W coh = Nk B T log, attaining the maximal value and saturating the bounds q.(3 and (4. The GHZ state behaves in the opposite way: ψ GHZ has maximal QFI I F ( ψ GHZ,Ĥ = N ω0 while having no internal coherence, thus W coh = 0. In this case, we can see the saturation of both bounds (3 and (4. Furthermore, our two-level trade-off relation can be generalized for an arbitrary noninteracting N-particle system. Theorem (Clock/work trade-off for arbitrary subsystems. Let Ĥ be a noninteracting Hamiltonian of N subsystems, where the nth subsystem has an arbitrary (possibly degenerate d (n -level spectrum { (n 1 (n (n }. Also define d (n = N ( (n with (n = (n (n d (n 1. Then W coh +k B T ( I F (ˆρ,Ĥ k B T logd (n. (5 This is more generally applicable than (4, but is

5 5 weaker for two-level subsystems maximal I F does not imply W coh = 0 via (5. For systems with identical local d-level Hamiltonians, (5 reduces to ( I F w coh +k B T (ˆρ,Ĥ N k B T logd, (6 0 where w coh = W coh /N is extractable work per particle and = N 0 where 0 is the maximum energy difference between the local energy eigenvalues. Our bounds do not limit the extractable work in the IID limit, since I F (ˆρ N,Ĥ/N 0 for N 1. Remarks. We have found that thermodynamic coherence in a many-body system can be decomposed into time- and energy-related components. Many-body coherence contributing to the thermodynamic free energy has been shown to be convertible into workby a thermal process, without changing the classical energy statistics. We have illustrated that this work-yielding resource comes from correlations due to coherence in a multipartite system. We have also shown that coherence may take the form of a clockresource, and we havequantified this with the quantum Fisher (skew information. Our main result is a trade-off relation between these two different thermodynamic coherence resources. Acknowledgements. This work was supported by the UK PSRC (P/KO34480/1 the Leverhulme Foundation (RPG , the NRF of Korea grant funded by the Korea government (MSIP (No , and the Korea Institute of Science and Technology Institutional Program (Project No P05. DJ and MSK were supported by the Royal Society. [1] J. Åberg, Phys. Rev. Lett. 113, (014. [] P. Skrzypczyk, A. J. Short, and S. Popescu, arxiv: [3] P. Skrzypczyk, A. J. Short, and S. Popescu, Nat. Commun. 5, 4185 (014. [4] R. Uzdin, A. Levy, and R. Kosloff, Phys. Rev. X 5, (015. [5] K. Korzekwa, M. Lostaglio, J. Oppenheim, and D. Jennings, New J. Phys. 18, (016. [6] B. Groisman, S. Popescu, and A. Winter, Phys. Rev. A 7, (005. [7] D. Jennings and T. Rudolph, Phys. Rev. 81, (010. [8] J. J. Park, K.-H. Kim, T. Sagawa, and S. W. Kim, Phys. Rev. Lett. 111, 3040 (013. [9] D. Reeb and M. M. Wolf, New J. Phys. 16, (014. [10] D.. Bruschi, M. Perarnau-Llobet, N Friis, K V. Hovhannisyan, and M Huber, Phys. Rev. 91, (015. [11] M Huber, M. Perarnau-Llobet, K. V. Hovhannisyan, P. Skrzypczyk, Claude Klöckl, N. Brunner, and A. Acín, New J. Phys (015. [1] M. Perarnau-Llobet, K. V. Hovhannisyan, M. Huber, P. Skrzypczyk, N. Brunner, and A. Acín, Phys. Rev. X 5, (015. [13] D. Janzing, P. Wocjan, R. Zeier, R. Geiss, T. Beth, Int. Journ. Th. Phys. 39 (1:17-753, (000. [14] M. Horodecki and J. Oppenheim, Nat. Commun. 4, 059 (013. [15] F. Brandão, M. Horodecki, J. Oppenheim, J. M. Renses, and R. W. Spekkens, Phys. Rev. Lett (013. [16] F. G. S. L. Brandao, M. Horodecki, N. H. Y. Ng, J. Oppenheim, and S. Wehner, Proc. Natl. Acad. Sci. U.S.A. 11, 375 (015. [17] M. Lostaglio. D. Jennings, and T. Rudolph, Nat. Commun. 6, 6383 (015. [18] M. Lostaglio, K. Korzekwa, D. Jennings, and T. Rudolph, Phys. Rev. X 5, (015. [19] P. Ćwikliński, M. Studziński, M. Horodecki, and J. Oppenheim, Phys. Rev. Lett (015. [0] M Lostaglio, M. P. Müller, and M. Pastena, Phys. Rev. Lett. 115, (015. [1] J. Goold, M. Huber, A. Riera, L. del Rio, and P. Skrzypczyk, J. Phys. A 49, (016. [] M. N. Bera, A. Riera, M. Lewenstein, A. Winter, arxiv: [3] H. Wilming, R. Gallego, and J. isert, Phys. Rev. 93, 0416 (016. [4] M. P. Müller, arxiv: [5] G. Gour, D. Jennings, F. Buscemi, R. Duan, and I. Marvian, arxiv: (017. [6] M. Weilenmann, L. Krmer, P. Faist, R. Renner Phys. Rev. Lett. 117, (016. [7] M. B. Plenio and S. Virmani, Quantum Inf. Comput. 7, 1 (007. [8] R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Rev. Mod. Phys. 81, 865 (009. [9] T. Baumgratz, M. Cramer, and M. B. Plenio, Phys. Rev. Lett. 113, (014. [30] A. Winter and D. Yang, Phys. Rev. Lett. 116, (016. [31] S. D. Bartlett, T. Rudolph, and R. W. Spekkens, Rev. Mod. Phys. 79, 555 (007. [3] G. Gour and R. W. Spekkens, New J. Phys. 10, (008. [33] I. Marvian and R. W. Spekkens, Phys.Rev. A 90, (014. [34] I. Marvian and R. W. Spekkens, Nat. Commun. 5, 381 (014. [35] S. L. Braunstein and C. M. Caves, Phys. Rev. Lett. 7, 3439, (1994. [36] P. Faist, F. Dupuis, J. Oppenheim, R. Renner Nat. Commun (015. [37] P. Faist, PhD thesis, arxiv: (016. [38] K. Modi, A. Brodutch, H. Cable, T. Paterek, and V. Vedral, Rev. Mod. Phys. 84, 1655 (01 [39] H. Ollivier and W. H. Zurek, Phys. Rev. Lett. 88, (001. [40] S. Lloyd, Phys. Rev. A 56, 3374 (1997. [41] W. H. Zurek, Phys. Rev. A 67, 0130 (003. [4] P. Chen and S. Luo, Theor. Math. Phys. 165, 155 (010. [43] P. Kómár,. M. Kessler, M. Bishof, L. Jiang, A. S. Sørensen, J. Ye, and M. D. Lukin, Nat. Phys. 10, 58 (014. [44]. P. Wigner and M. M. Yanase, Proc. Natl. Acad. Sci.

6 U.S.A. 49, 910 (1963. [45] G.. Crooks, Tech. Note 008v4 (01, [46] F. Hansen, Proc. Natl. Acad. Sci. U.S.A. 105, 9909 (008. [47] D. Petz and C. Ghinea, Introduction to Quantum Fisher Information, QP-PQ: Quantum Probability and White Noise Analysis. Vol. 7, edited by R. Rebolledo and M. Orszag (World Scientific, Singapore, 011, pp [48] B. Yadin and V. Vedral, Phys. Rev. A (015. [49] G. Tóth, Phys. Rev. A 85, 03 (01. [50] P. Hyllus, W. Laskowski, R. Krischek, C. Schwemmer, W. Wieczorek, H. Weinfurter, L. Pezze, and A. Smerzi, Phys. Rev. A 85, 031 (01. [51] F. Fröwis and W. Dür, New J. Phys. 14, (01. 6

7 7 Supplemental Material Physical assumptions for the analysis. For the class of free operations that define the thermodynamic framework, we make the following three physical assumptions. 1. nergy is conserved microscopically. We assume that any quantum operation : B(H A B(H A that is thermodynamically free admits a Stinespring dilation of the form where the isometry V conserves energy microscopically, namely we have (ρ A = tr C V(ρ A σ B V (7 V(H A I B + I A H B = (H A I C + I A H C V. (8 Here H S denotes the Hamiltonian for the system S {A,A,B,C}.. An equilibrium state exists. We assume that for any systems A and A there exist states γ A and γ A such that (γ A = γ A for all thermodynamically free operations between these two quantum systems. In the case where one admits an unbounded number of free states within the theory, this together with energy conservation essentially forces one to take γ A = 1 Z e βha, (9 at some temperature T = (k B β 1. However one may also consider scenarios in which the thermodynamic equilibrium state deviates from being a Gibbs state. Here we restrict our analysis to thermal Gibbs states. 3. Quantum coherences are not thermodynamically free. Since one is interested in quantifying the effects of coherence in thermodynamics, one must not view coherence as a free resource that can be injected into a system without being included in the accounting. We therefore assume that the thermodynamically free operations do not smuggle in coherences in the following sense: if has a microscopic description of the form 7 then the same operation is possible with σ B D(σ B and V W being some other energy conserving isometry. In other words no coherences in σ B are exploited for free. It can be shown this assumption has the mathematical consequence that (e itha ρ A e itha = e ith A (ρ A e ith A, (10 for any translation through a time interval t R, namely covariance under time-translations. The set of quantum operations defined by these physical assumptions are called thermal processes. It can be shown that for states block-diagonal in energy, the state transformations possible under thermal processes coincides with those of TOs. It is an open question as to whether there is a natural physical assumption that separates the two classes of operations in terms of their state interconversion power over all quantum states. Note that the third assumption only accounts for external coherences within the framework. The way in which we account for internal coherences in our analysis is to demand that the diagonal components (in the basis of the state are left invariant by the evolutions considered. Also note that if assumptions (1 and (3 hold then the isometry W can be taken to be equal to V. Proof of Observation 1 We find the conditions under which work can be deterministically extracted from coherence in a pure state. After energy block diagonalizing, the state can be written as D( Ψ Ψ = p ψ ψ, where ψ are pure eigenstates of energy. Suppose gives the maximum value of logp e β. Then we have W coh = inf [F α(d(ˆρ F α (Π(ˆρ] α ( 1 = inf log α α 1 [ pα e β(1 α e(1 αsα(ˆρ diag p α e β(1 α ], (11

8 where ˆρ diag = Π( ψ ψ is a fully dephased state in the energyeigenspace. Then we notice that S α (ˆρ diag > 0foranyα [0,, unless ˆρ diag isincoherent(i.e. nointernalcoherencefor. ThisleadstoF α (D(ˆρ F α (Π(ˆρ > 0 for any finite value of α. In the limit α, F (D(ˆρ F (Π(ˆρ = logp e β max,λ p λ e β > 0, unless ˆρ diag is incoherent. Here, λ are eigenvalues of ˆρ diag. Thus if a pure state does not contain internal coherence for, W coh F (D(ˆρ F (Π(ˆρ = 0. Conversely, if the state contains internal coherence for, F α (D(ˆρ F α (Π(ˆρ > 0 for all α [0,, thus positive work can be extracted. 8 Work extraction from a pure state coherence We consider work extraction from coherence in a two-qubit system with local energy difference ω 0 in each qubit, starting from a pure state of the form ψ = p p 1 ( p 11. Observation 1 says that p 1 should be large enough to extract work under a single-shot thermal operation. In this case, the condition from Observation 1 can be written as { p 1 e βω0 > p 0 = 1 p 1 p p 1 e βω0 > p e βω0. This leads to a necessary condition for extracting a positive amount of work W ext > 0 from coherence: p 1 > 1 1+e βω0 +e βω0 Thus if 0 < p 1 < (1+e βω0 +e βω0 1, we cannot extract work from coherenc,e even though the state definitely contains internal coherence of the form On the other hand, a sufficient condition for W ext > 0 can be obtained: p 1 > eβω0 1+e βω0. An example of the quantum Fisher (skew information imposing independent constraints from F α or A α We present an example showing that our asymmetry quantifiers give constraints on quantum thermodynamics independent from those due to the free energies F α or the coherence measures A α. Let us consider the transformation by a thermal process of the initial state ˆρ = to the final state ˆσ = with the Hamiltonian Ĥ = 3 n=0 nω n n. It can be checked that the free energies F α and coherence measures A α of the initial state ˆρ are larger than those of the final state ˆσ. Furthermore, each mode of coherence is decreased from 0.1 to However, the skew information values for α = 1/ are given by I 1/ (ˆρ,Ĥ = and I1/(ˆσ,Ĥ = 0.163; the quantum Fisher information values are I F (ˆρ,Ĥ = 0.843and IF(ˆσ,Ĥ = 0.959(all in units ofω. Thus a thermal process cannot transform ˆρ into ˆσ, but such a transformation is not disallowed by the restrictions given by F α or A α.

9 9 Trade-off relation between work and clock resources We first prove the following proposition. Proposition 1 (Work bound. For a given energy distribution p, the extractable work from coherence is upper bounded as follows: W coh k B T p logg, (1 where g is the dimension of the eigenspace of energy level. Proof. Note that W coh = inf α [F α(d(ˆρ F α (Π(ˆρ] F(D(ˆρ F(Π(ˆρ = k B T [S(Π(ˆρ S(D(ˆρ]. (13 Since both Π(ˆρ and D(ˆρ are energy-block diagonal, we can express Π(ˆρ =,λ pπ,λ,λ,λ and D(ˆρ =,λ pd,λ,λ,λ for λ = 1,,,g with g λ=1 pπ,λ = λ pd,λ = p. Then we have S(Π(ˆρ S(D(ˆρ = [ ] g p D,λ p log pd,λ pπ,λ log pπ,λ p p p p λ=1 (14 p logg, since S(ˆρ S(ˆσ logd for d-dimensional states ˆρ and ˆσ. Now we prove Theorem 1: W coh k B TN(logH b 1 1 I F (ˆρ,Ĥ N ω 0. (15 Proof. In an N-particle two-level system with energy difference ω 0, the degeneracy of the energy level is given by g = ( N n, where = ω0 n. By using the fact log ( N n N(logHb (n/n, we obtain W coh k B T ( N p log Nk B T(log p H b (n/n. (16 n Furthermore, we can express the binary entropy as H b (x = 1 1 log j=1 (1 x j j(j 1. For a given probability distribution p x and j 1 we have [ ] j p x (1 x j p x (1 x = (1 y j, x where y = 1 [1± ] (1 x +4Var x with x = x p xx and Var x = x p x(x x. Then we have x p x H b (x = 1 1 log x 1 1 log = H b (y. j=1 j=1 x p x (1 x j j(j 1 (1 y j j(j 1

10 10 By substituting this result into q. (16, we obtain ( W coh Nk B T(logH b 1 1± 1 Ē + 4Var Ĥ, Nω 0 N ω0 (17 where Ē = Ĥ ˆρ and VarĤ = (Ĥ Ē ˆρ. Note that H b is symmetric about x = 1/ and monotonically increasing for x 1/. We also note that 4VarĤ [ ] I F (ˆρ,Ĥ for every quantum state ˆρ. These observations lead to ( ( [ ] (1 H b 1± 1 Ē 4VarĤ Nω I H N ω0 b 1 F(ˆρ,Ĥ, which completes the proof. N ω0 We can numerically verify that log ( ( N n log N N/ Hb (n/n for every n and N up to N = 100 when we define ( N N/ := Γ(N+1 Γ(N/+1 for both even and odd numbers of N using the Gamma function Γ(z = x z 1 e x dx. The proof 0 for a general case has not been found. Note that when N 1, this bound approaches to the bound of Theorem. 1. We also show the tighter bound for N = case: ( I F W coh +(k B T log (ˆρ,Ĥ 4ω0 k B T log. (18 Proof. Suppose the state has probability p 0, p 1, and p for each energy level 0, ω 0 and ω 0. By using q. (16 for N =, we have W coh k B T(logp 1, since the state has a degeneracy in the energy-eigenspace only for = ω 0. In this case, energy variance VarĤ is given by which leads to the maximum value of p 1, VarĤ = ω 0 ( p 1 +p 1 4p +4p 4p 1 p, p max 1 = 1 VarĤ/ω 0, for a given value of VarĤ. Again, we can use 4VarĤ I F (ˆρ,Ĥ to get ( which is the desired inequality. W coh k B T(logp max 1 = k B T(log 1 I F(ˆρ,Ĥ 4ω 0. Proof of Theorem We prove the statement of Theorem : W coh +k B T ( I F (ˆρ,Ĥ k B T logd (n, (19 where = N ( (n with (n is the maximum energy difference of the nth subsystem. Proof. In this case, the degeneracy g of the energy is given by g = N d (n f, wheref = P( isaprobability(orfrequencyto havethe energy inthe N-particlesystem, since N = d(n is total possible numbers of. Then f can be considered as a probability distribution of a variable X N = N i=n n from the distribution of independent random variables of n for nth party. In our case, n is strictly bounded by

11 (n 1 n (n and it has the same probability P( d (n n = (n i = 1/d (n for every i = 1,,,d (n and zero for all other cases. Hoeffding s inequality [1], then shows that ] P(X N µ t exp [ t, ( N where µ := (X N = n = is given by Finally, Proposition 1 directly leads to ( d (n i=1 (n i and d (n = N ( (n. Using this, the upper bound of f f = P(X N = P(X N exp [ ( µ ]. 11 W coh k B T p logg = k B T ( N p log d (n f = k B T logd (n +k B T p logf k B T logd (n k BT p ( µ = k B T logd (n k BT VarĤ k BT (Ē µ ( k B T logd (n I F k B T (ˆρ,Ĥ, (0 where the last inequality is from the fact 4VarĤ I F (ˆρ,Ĥ. [1] W. Hoeffding, J. Am. Stat. Assoc. 58, 13 (1963.