arxiv: v1 [quant-ph] 7 Oct 2018

Transcription

1 Fluctuation Theorem for an Arbitrary Quantum Process Hyukjoon Kwon and M. S. Kim QOLS, Blackett Laboratory, Imperial College London, London SW7 2AZ, United Kingdom arxiv: v1 quant-ph] 7 Oct 2018 Fluctuation theorems are at the heart of thermodynamics. We introduce fluctuation theorems from a quantum information theoretic viewpoint by establishing a relationship between the transition amplitudes of a quantum channel and its recovery map. The reference state, which can be fully recovered by a rotated Petz recovery map, is utilised to define the complex-valued information exchange during the quantum process. We derive a quantum Crooks relation through the ratio between the entropy production amplitudes of the forward and backward recovery) quantum processes. The Jarzynski equality of the quantum process can be directly obtained from our fluctuation relation, and the generalised second law of thermodynamics is obtained in the form of the quantum relative entropy. Our fluctuation theorem can be applied to a various range of quantum processes to investigate quantum thermodynamics involving coherence and entanglement. I. INTRODUCTION Fluctuation theorem FTs) in classical thermodynamics establish the connection between the forward and backward processes when system s microscopic states have time-reversal symmetry. The Crooks fluctuation relation 1] states that the entropy production under non-equilibrium processes satisfies balanced equality and leads to a refined version of work statistics, known as the Jarzynski equality 2]. FTs derived from microscopic reversibility lead to macroscopic irreversibility 2]; the second law of thermodynamics. Classical FTs have been experimentally well-verified in microscopic systems 3 6], and it has been attempted to extend FTs to the quantum regime 7 9]. The fluctuation in a classical work has been tested in quantum systems10, 11], yet the difficulty in defining the quantum observable of work 12] made it wonder how to figure out the nonclassical characteristics of thermodynamic fluctuations. Quantum FTs QFTs) should be able to consider nonequilibrium quantum processes which are represented by quantum superpostions and coherences 13 27]. In the presence of coherence, quantum thermodynamic free energy 28 30] can be larger than its classical counterpart which only concerns with classical energetic values. The role of quantum coherences and correlations is noticed as a resource that can be utilised for work extraction31 33] or time referencing tasks 34, 35]. These nonclassical features stemming from quantum coherences not only affect thermodynamic quantities on average but also bring the outcome probability distributions differ from the classical theory. In particular, a no-go theorem 22] has recently been found that it is impossible to reconstruct a positive joint work distribution of a two-point measurement TPM), preserving the marginal distributions of the both first and second energy measurements, and this is equivalent to the measurements without disturbing a quantum system in a similar vein to the violation of macrorealism introduced by Leggett and Garg 36]. The no-go theorem implies that the negative work quasi-probability 14, 22] is an intrinsic characteristic of quantum statistics closely related to quantum contextuality 23]. Meanwhile, in quantum information theory, reversibility of a quantum process can be described by how closely a quantum state is recovered by a certain reverse process, known as the Petz recovery map 37]. In quantum thermodynamics there have been attempts to construct a framework for thermodynamic processes in the quantum regime28, 30, 38], while the time-reversal trajectory can be described in the form of the recovery map 25]. It has been studied that we can obtain the QFT between a quantum thermodynamic process and its time-reversal. The fluctuation relations for entanglement 39] and coherences 40] have also been proposed in a similar vein. However, the complete relationship between the FT and the Petz recovery map has yet to be discovered. In this paper, we introduce FTs from the quantum information theoretic point of view by establishing the connection between a quantum channel and its recovery map. We first establish the pure state fluctuation relation between the transition amplitudes of the forward and backward quantum processes via reference state rescaling. We introduce the transition amplitude of the TPM and a generalised quantum information exchange QIE) during the quantum process, based on the observation that for every quantum channel there exists a family of recovery maps which fully reinstate a given reference state. The QIE has a complex value so as the transition amplitude, while it becomes real when considering a covariant quantum process, which preserves timetranslation symmetry. We note that our transition amplitude keeps the marginalisation property by recovering the probabilities of the initial and final states. In our QFT, thevonneumann entropyandtheqieplayacentralrole replacing the Shannon entropy and heat respectively, in the entropy production during the quantum process. We show that the transition amplitudes of the entropy production obey balanced equality between the forward and backward processes for an arbitrary mixed state. Our result provides a unified framework to construct the statistical equality for general quantum processes bridging quantum information theory to thermodynamics.

2 2 II. RECOVERY MAPS FOR A QUANTUM PROCESS We first briefly review basic concepts of quantum channels and their recovery maps. The general quantum channel acting on a quantum state ρ can be expressed by a completely positive trace-preserving CPTP) map. Using the Kraus representation, Nρ) = ω K ωρk ω, the adjoint map of N is defined as N A) := ω K ω AK ω satisfying TrNρ)A] = TrρN A)]. In terms of the adjoint map N and the reference state γ with evolution γ = Nγ), wecanconstructthecptpmap, the socalled Petz recovery map as follows: Definition 1 Petz recovery map). For a given reference state γ and CPTP map N, the Petz recovery map R γ is defined as R γ χ) := γ 1 2 N Nγ) 1 2 χnγ) 1 2 )γ 1 2, which has been generalised to the following form of the rotated recovery map 41] R t γ χ) := U γ, t R γ U Nγ),t )χ), where U τ,t ρ) := τ it ρτ it. The ordinary Petz recovery map is a special case with t = 0. Every recovery map is a CPTP map and the reference state fully recovers by the recovery map, i.e. R t γ N)γ) = γ; yet the full recovery of an arbitrary state is not possible in general, i.e., for a given N there will beaquantum stateρsuchthat R t γ N)ρ) ρ. The difference between an original and its recovered state is closely related to the monotonicity of the relative entropy under a CPTP map SNρ) Nγ)) Sρ γ). The equality = holds if and only if ρ is fully recovered by every rotated Petz recovery map 41], i.e., R t γ N)ρ) = ρ for t, ). Here, the relative entropybetweenthetwoquantumstatesρandσ isgivenby Sρ σ) = Trρlogρ logσ)]. Figure 1 shows the relationship between a quantum channel N and its recovery map R t γ. III. FLUCTUATION RELATIONS FOR THE RECOVERY MAPS The fluctuation relation establishes a direct connection between forward and backward processes in a standard TPM scheme. Here, we consider an arbitrary CPTP map N as a forward process, while its corresponding backward process would be the rotated Petz recovery map with a fully reversible reference state γ satisfying R t γ R t γ N)γ) = γ. In order to construct the fluctuation relation for the rotated Petz recovery map, we consider reference bases i using the eigenvalue decomposition of the reference state γ = i r i i i and its evolution under a CPTP map Nγ) = γ = k r k k k. We define FIG. 1: Rotated Petz recovery maps. Reference state γ is fully recovered by the Petz recovery map, i.e. R γ N)γ) = γ. The distances between the reference states γ or γ and ρ or Nρ) represent the relative entropy Sρ γ) or SNρ) γ). the transition amplitude of the forward and backward processes T := k N i j ) l and T t) := i R t γ k l ) j, Θ Θ respectively. Note that ) T = T lk ji and Tt) ) = T t)ji lk = i Θ Rt γ Θ) k l ) j, where taking a conjugate of the transition amplitude is equivalent to the transpose operation satisfying i j j i and k l l k. Taking conjugate of the transition amplitude or transposing with respect to the reference can be compared to the time-reversal operation in the thermodynamic FT. For example, in a harmonic oscillator system having a Hamiltonian H = p 2 /2m) + mω0x 2 2 /2 with x,p] = i, the transpose operation Θ with respect to the energy eigenstates is identical to the reflection in phase space p Θ p, which is exactly the time-reversal operation. We then obtain the following relation between the quantum process N and its Petz recovery map R t γ : Proposition 1 Connection between a CPTP map and its Petz recovery map). = e itlog T rj r k ) Tt) ) 1) For i = j and k = l, T kk ii = k N i i ) k = Ti k) has the meaning of transition probability from i to k under N, and we have the diagonal fluctuation relation Ti k) T t) k i) = r k r i, 2) regardless of t. On the other hand, a quantum state can have coherences i.e., superposition) between the eigenstates of the reference state. In order to extend our fluctuation relation, we consider the following decomposition

3 3 of the transition amplitude for ψ N φ as Tψ φ) := φ N ψ ψ ) φ = Tψ φ), 3) where Tψ φ) := φ Π k NΠ i ψ ψ Π j ) Π l φ = i ψ ψ j l φ φ k T. Here, Π i = i i and Π k = k k are the projections onto the eigenstates of the reference states. The backward transition amplitude can be similarly defined using the Petz recovery map R t γ. Then by using Proposition 1, we can show the following relation between the forward and backward transition amplitudes: Theorem 1 Pure state fluctuation relation). The transition amplitude from ψ to φ under a CPTP map N and its backward process under R t γ obeys the following relation: Tψ φ) = T t) J γ,t φ ) J 1 γ,t ψ )), 4) where J τ,t is a reference-rescaling map converting ψ into τ 1/2+it ψ, which is a generalisation of the Gibbs rescaling map 25, 27]. Note that the reference-rescaling map J γ,t does not change the eigenstate of the reference state i, but only gives a weight proportional to r i, i.e., J γ,t i ) = ri i. This fact leads to the diagonal fluctuation relation Eq. 2) from Theorem 1. Now we are ready to write the general state trans- under the CPTP map N. Suppose that ρ = formation µ p µ ψ µ ψ µ is mapped to Nρ) = ν q ν φ ν φ ν by the CPTPmapN. Here {p µ, ψ µ } and{q ν, φ ν }arethe eigenvalue-decompositions of ρ and σ, respectively, and ψ µ and φ ν arenot necessarilyorthogonal. Inthis case, we note that the following joint transition amplitude p µ Tψ µ φ ν ) 5) lets us access the marginal probability distributions of the both initial and final states. More precisely, we observe that p µ Tψ µ φ ν ) = p µ or q ν ν or µ k or i µ,ν,j,l p µ Tψ µ φ ν ) = TrΠ i ρ] or Tr Π k Nρ)]. IV. QUANTUM CROOKS FLUCTUATION THEOREM A. Crooks fluctuation relation 6) The Crooks fluctuation theorem CFT) relates the work done on the system during a non-equilibrium process with the free energy difference. We construct the quantum version of CFT for a general quantum process by applying Theorem 1 to the joint transition amplitude given by Eq. 5). To this end, we define a general single-shot entropy production of the extended transition Tψ µ φ ν ) as δσ := δs δq, where the entropy change is given by δs := logq ν +logp µ. We define the information exchange during the quantum process δq as a QIE. Here we note that the QIE is complex δq = δq R +iδq I with δq R := log and δq I := log. This complex-valued QIE satisfies following relation { δq R +δq I = logr i / r k ) δq R δq I = logr j / r l ), and the detailed meaning of QIE will be discussed with relevant physical examples in the following sections. We are now ready to derive our main result quantum CFT of the entropy production between the transition amplitudes of the forward and backward processes. Using the joint transition amplitude p µ Tψ µ φ ν ), the probability to get σ amount of entropy production is given by Pσ) := µ,ν δ σ R log p µ Tψ µ φ ν ) pµ rk r l q ν ]) ) δ σ I log and P t) σ) can be similarly defined using the recovery map R t γ. Analogous to the classical CFT, we can establish the link between the forward and backward quantum processes. Theorem 2. The transition probability generating the entropy production σ by a CPTP map N is connected to generate σ by its reverse process R t/2 γ : where σ = σ R +iσ I. Pσ) P t/2) σ ) = eσr itσi, 7) Note that Pσ) and P t/2) σ ) in Eq. 7) cannot be interpreted as the probabilities since they are complexvalued unless t = 0. However, we point out that the imaginary part of the QIE only comes from the rotations U γ,t and U γ,t in the recovery map, and each does not have any effects to the eigenstates of γ or γ. Thus, the imaginary part of quantum CFT with t 0 can be interpreted to describe the fluctuation of coherences during the quantum process. In the following section, we will discuss when the imaginary part of QIE vanishes.

4 4 B. Covariant quantum process We first study the case in which the imaginary part of QIE vanishes. A simple choice would be considering a diagonal to diagonal transformation ρ = i p i i i to Nρ) = k q k k k, which can be referred as an incoherent process. In this case, δq I = 0 and the real part becomes δq R = log r k /r i ). Note that Tii kk is the transitionprobabilityfrom i to k andthe quantumcft can be written as Pσ) = i,k p itii kkδσ logp i r k /q k r i )) = P σ)e σ. More generally, we introduce a covariant quantum process with respect to a pair of references γ, γ) satisfying U γ, t N U γ,t = N. This covariant process has the physical meaning of translational symmetry as every rotation of t with respect to the reference state γ given by U γ,t leads to the effect of the same t after applying the quantum channel N, i.e. N U γ,t = U γ,t N see Fig. 2). By assuming the quantum channel N to be covariant, we obtain a simple and familiar relation as follows: Theorem 3 QFT for a covariant quantum process). Suppose that a covariant CPTP map N, satisfying U γ, t N U γ,t = N with respect to the reference state γ and its evolution γ = Nγ). Then R t γ = R γ for every t, and the imaginary part of the QIE vanishes. In this case, a real-valued entropy production σ by the forward process N is connected to its reverse process R γ as Pσ) P σ) = eσ. 8) Figure 2 describes how every rotated Petz recovery map is reduced into the ordinary Petz recovery map. The incoherent quantum process mentioned above is an example of covariant quantum processes. This type of incoherent processes, which map an incoherent state to another incoherent state, can be characterised as N incoh = D γ M D γ, where M is an arbitrary CPTP map, and D τ χ) = 1 t/2 lim dtu τ,t χ) is a decoheringoperationwith t t t/2 respect to the eigenstates of τ. More nontrivial covariant operations are noisy operations and thermal operations which will be discussed in the following section. C. Quantum Jarzynski equality and the second law Using the quantum version of the Crooks relation given by Eq. 7), it is straightforward to derive the quantum Jarzynski equality as e σ R itσ I = 1, 9) FIG. 2: Petz recovery maps for a covariant quantum process satisfying U γ, t N U γ,t = N. Note that all the rotated Petz recovery maps are equivalent, i.e. R t γ = R γ. for every t. where is the expectation over every transition given by the matrix p µ Tψ µ φ ν ). Note that both the transition amplitude and the quantum entropy production have complex values, so one may expect that we cannot obtain the second law non-increasing of the first-order moment from the quantum Jarzynski equality by directly applying Jensen s inequality. Interestingly, however, we can obtain the expectation of the entropy production σ = σ R = Sρ γ) SNρ) Nγ)) 0, 10) by using Eq. 6) and noting that σ I = 0. The last inequality is given by the monotonicity of the relative entropy under the CPTP map. This non-increasing of the first-order moment of the entropy production can be interpreted as the generalised second law of thermodynamics from the quantum FT in the form of the relative entropy difference. In particular, in the case of a covariant quantum process, a complete condition of reversibility is given by the equality condition of Eq.10), which can be deduced from Ref. 41]. Theorem 4 Reversibility of a covariant quantum process). For a covariant process N with respect to a reference state and its evolution γ, γ), Sρ γ) SNρ) Nγ)) logfρ,r γ N)ρ)), where Fρ,τ) = ρ τ 2 1 is the quantum fidelity. Furthermore, a transformation ρ N Nρ) is reversible by the Petz recovery map R γ, i.e. R γ N)ρ) = ρ, if and only if Sρ γ) = SNρ) Nγ)). Meanwhile, from the quantum Jarzynski equality given by Eq. 9), the expectation values of higher-order momenta should obey σr itσ I ) k = 0 k! k=1 for any value of t.

5 5 V. APPLICATIONS TO QUATUM PROCESSES A. Noisy operation We first apply the QFT to a noisy operation given by Nρ) = Tr E Uρ 1 ] E )U, d E where d E is the dimension of the environmentt and U represents a unitary operation. Note that 1 d for a d- dimensional system is the fixed point of every noisy operation since N 1 d ) = 1 d. Thus we may choose the reference state to be γ = 1 d, then γ = 1 d = γ and N is obviously covariant with respect to the reference state. Now we consider a transformation from ρ = µ p µ ψ µ ψ µ to σ = ν q ν φ ν φ ν by a noisy operation. We can additionally choose the basis of the reference and its evolution to be { i } = { ψ µ } and { k } = { φ ν }, respectively because they span the Hilbert space of the system. In this case, we can obtain the diagonal FT Ps) = P s)e s with δσ = logq ν +logp µ = δs since r i = 1/d = r k for anyiandk. Thisrelationleadstothe single-shotentropy difference δs = logq ν +logp µ, which connects the transition probability of the forward and backward processes between the transition ψ µ N φ ν. Moreover, Eq. 10) implies that the entropy of a quantum state Sρ) = Trρlogρ = Sρ 1 d ) + logd is non-decreasing under a noisy operation, since s = SNρ) 1 d ) Sρ 1 d ) 0. B. Quantum thermodynamic process Now we apply our QFT to quantum thermodynamic processes. Analogous to classical thermodynamics, we can define the equilibrium state, as known as the Gibbs state by which the maximum von Neumann entropy can be obtained for a fixed mean energy. For a given system Hamiltonian H, the Gibbs state is defined as γ = Z 1 e βh, where Z = Tre βh with the inverse temperature β = k B T) 1. We demonstrate that the Gibbs state plays its role as the reference state of quantum thermodynamic processes, resulting in the heat and free energy consistently defined. Suppose that a system is interacting with a thermal bath γ B in equilibrium, and their Hamiltonians are given by H S and H B, respectively. The general thermal operation can be written as 25, 29, 30] Nρ S ) = Tr B UρS γ B )U ], with the condition of the energy conservation U,H S + H B ] = 0 when the system s Hamiltonian remains unchanged during the evolution, or more generally, UH S + H B )U = H S + H B. Analogous to a noisy operation, we can find a fixed point of thermal operations such that Nγ S ) = γ S when both γ S and γ S are in equilibrium. In this case r i = Z 1 S e βei and r k = Z 1 S e βẽk, where the FIG. 3: QIE δq) can be defined by the entropy difference δs) of the reference state γ during the quantum channel N. With respect to the reference, quantum work w = δǫ β 1 δq and the single-shot free energy δf = δǫ β 1 δs with the energy difference δǫ satisfy the quantum Jarzynski equality e βw δf) = 1. initial and final Hamiltonians of the system are given by H S = i E i i i and H S = kẽk k k, respectively. It is important to note that a general thermodynamic process is a covariant quantum operation with respect to the Gibbs state, which is related to time-translation symmetry 42] since U γ,t ρ) = e ihst ρe ihst is the timeevolution operation. In this case the imaginary part of QIE δq I vanishes and the real part of QIE is given by δq R = logr i / r k ) = βẽk E i ) + log Z S /Z S ) in terms of the energy difference of the system. Then for an arbitrary state transformation from ρ = µ p µ ψ µ ψ µ to Nρ) = ν q ν φ ν φ ν by a quantum thermal process, the single-shot entropy production can be written as δσ = logq ν +logp µ βẽk E i ) log Z S /Z S ). Now the physical meaning of QIE becomes clearer because Ẽk E i = Ẽl E j is the heat gain of the system from the bath. We also note that δf = Ẽk E i ) k B T logq ν +logp µ ) is a single-shot free energy difference, then we achieve the following thermodynamic FT. The quantum Jarzynski equality in this case can be written as e β F = Z S Z S, where F = E k B T S is the quantum thermodynamic free energy difference on average. Using Theorem 4, we observe that the quantum free energy difference is bounded by the recoverability of ρ by the reverse

6 6 process R γ ; F k B T log k B T log Z S /Z S ). ] Z S Fρ,R γ N)ρ)) Z S We generalise this result to involve work done on the system by extending the definition of work and free energy in a more general sense. Suppose that the QIE δq by a quantum process with reference state γ. During the same process the system gains the energy δǫ = Ẽk E i. Then a quantum work done on the system can be defined as w := δǫ β 1 δq with some balancing coefficient β. Furthermore, a generalised single-shot free energy can be defined as δf := δǫ β 1 δs. Figure 3 describes the conversion of quantum information into entropy for the reference state and the fluctuation relation for work and free energy exchange for a general quantum state. Here we derive the FT for quantum work e βw δf) = 1. In particular, when we consider a quantum thermodynamic process transforming a Gibbs state to another Gibbs state γ γ, we get the following fluctuation relation: PW)e βw P W) = Z S Z S = e β Feq, which leads to the classical work fluctuation relation e βw = e β Feq in terms of the equilibrium free energy F eq = k B T logz S. C. Coherence merging and self referencing of covariant quantum processes By using the fluctuation relation of a covariant quantum process, we can prove that the off-diagonal element of a density matrix satisfies the following coherence merging inequality: Theorem 5 Coherence merging bound for a covariant process). Nρ) Ω + ρ e δqr + Ω ρ, where Ω + = {i,j) δq R 0 and δq I = 0} and Ω = {i,j) δq R < 0 and δq I = 0}. The coherence merging inequality is a generalisation of coherence merging inequality in quantum thermodynamics 42], which provides restrictions on the evolution of each off-diagonal element under the covariant quantum process. We also note that we can reconstruct the resource theory of asymmetry/coherence under a covariant operation N satisfying U γ, t N U γ,t = N, which constructs a U1) asymmetry theory 43, 44] with respect to the generator logγ. In the language of the resource theory of coherences 45], the degree of coherence can be quantified as C γ ρ) := Sρ D γ ρ)), which is the relative entropy between a quantum state and its diagonalised state. In this case, even if γ does not operate as a fixed reference state i.e., Nγ) γ), we have freedom to choose a new reference state χ = D γ τ) and its evolution χ = Nχ) = N D γ )τ) = D γ N)τ) for an arbitrary quantum state τ. Especially when γ has a set of eigenvalues{ i } with non-degenerate eigenvalues, a QIE for the new reference can be defined as δq r i = log r j r r k r +ilog i r l l r j r, k where r i = i τ i and r k = k Nτ) k, respectively. Then a fluctuation relation for this new references can be written as e δs+δq R +itδq I = 1. 11) One interesting remark is that one can choose a reference state based on the target state ρ as χ = D γ ρ) then the first moments imply the monotonicity of the coherence measure C γ ρ) C γ Nρ)). D. Fluctuation of entanglement and coherent information by local measurements Finally, we apply the QFT to a stochastic entanglement generation by a local measurement on a pure quantum state, which has been studied in Ref. 40] and its generalisation in terms of the coherent information 47, 48]. Suppose that a pure bitartite state Ψ AB is measured by a local measurement, say on B and a local unitary operation is applied on the other party, say A based on the measurement outcome as M ω Ψ AB ) = V ω K ω ) Ψ AB, where V ω is a unitary operator acting on A and K ω is a generalised positive operator-valued measurementonb satisfying ω K ωk ω = 1. Theresulting state would be another bipartite pure state Φ ω AB

7 7 with some probability P ω to happen. Using the Schmidt decomposition of bipartite pure states, this process can be described as follows: Ψ AB = µ M rµ ψ µ ψ µ ω AB Pω Φ ω AB, where Φ ω AB = ν q ω ν φ ω ν φω ν AB. The quantum channel N for this process can be described as Ψ AB Ψ N ω P ω Φ ω AB Φ ω ω M ω, where ω M areorthogonalstateswhichindicatethemeasurement outcomes ω. During this process, the degree of entanglement change by a certain measurement outcome ω is given by E ω S = E S Φ ω AB ) E S Ψ AB ) where E S Ψ AB ) = STr B Ψ AB Ψ ) = STr A Ψ AB Ψ ) is the entanglement entropy with Sρ) = Trρ log ρ. Since the local unitary operation V ω does not change the entangle entropy of the pure bipartite system, the entanglement difference is determined by the entropy change of B under the local measurement K ω. When we investigate the local party of B, the process can be simplified as ρ M ω B {Pω,ρ ω B }, where ρ B = Tr A Ψ AB Ψ = µ p µ ψ µ B ψ µ and ρ ω B = Tr A Φ ω AB Φ ω = ν qω ν φ ω ν B φ ω ν, respectively. Now we take the reference state to be γ = 1A d A ρ B, the evolution of which is given by γ = Nγ) = 1A d A ω P ωρ ω B ω M ω, where d A is the dimension of the party A. Then we can apply the quantum Jarzynski equality for entanglement given by e logpµ+logpωqω ν ) = 1, 12) while the monotonicity of the first-order moment, S Ψ Ψ γ) SN Ψ Ψ ) γ) = S Ψ Ψ 1 A d A ρ B = E S Ψ AB ) ω ) S ω P ω E S Φ ω AB ) P ω Φ ω AB Φ ω ω M ω 1 A d A ω P ω ρ ω B ω M ω ) = ω P ω E ω S 0, leads to the non-increasing of entanglement by local measurements with local quantum feedbacks 46]. It is worth noting that Eq. 12) also holds for an arbitrary mixed bipartite state ρ AB and the monotonicity of the first-order moment becomes IA B) ρ ω P ω IA B) ρω, where IA B) ρ = Sρ B ) Sρ AB ) is the coherent information 47, 48]. In particular, this results can be utilised to investigate information fluctuation relation with feedback controls 49, 50], by which thermodynamic quantities such as quantum heat and work can be coherently combined to both quantum and classical information quantities involved in Maxwell s demon or Laundauer s erasure in a unified viewpoint. VI. DISCUSSIONS We have demonstrated that for every quantum process it is possible to construct the QFT with respect to a reference state by replacing microscopic reversibility in classical thermodynamics with the reference state recoverability. In this generalised QFT, every marginal probability distributions of a TPM is preserved by introducing the transition amplitude rather than transition probability. In our QFT, quantum information quantities of the system state and the reference state play an important role as entropy and the QIE in the entropy production during the quantum process. We have demonstrated that the ratio between the probabilities of entropy production by forward and backward quantum processes obeys a fluctuation relation in a similar form in the classical FT, yet this entropy production has a complex value in the QFT. Moreover, our work has shown that a covariant process provides only a real-valued QIE corresponding to classical physics. The observation of an imaginary valued QIE may imply the broken time-translational symmetry, yet finding the deeper physical meaning of it would be an interesting question to be answered in the future research. Our approach provides a unified understanding of the fluctuations of both thermodynamic and information theoretic quantities in a single framework for applications to a wide range of physics, besides important examples including thermodynamics and coherence and entangle-

8 8 ment fluctuations. Acknowledgments and the KIST Institutional Program 2E P025). MSK ackowledges the Royal Society and Samsung grant for support. The authors thank David Jennings for helpful discussions. This work is supported by EPSRC EP/KO3480) 1] G. E. Crooks, Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences, Phys. Rev. E 60, ). 2] C. Jarzynski, Nonequilibrium Equality for Free Energy Differences, Phys. Rev. Lett. 78, ). 3] J.Liphardt, S.Dumont,S.B.Smith,I.TinocoJr., andc. Bustamante, Equilibrium Information from Nonequilibrium Measurements in an Experimental Test of Jarzynski s Equality, Science 296, ). 4] D. Collin, F. Ritort, C. Jarzynski, S. B. Smith, I. Tinoco Jr, and C. Bustamante, Verification of the Crooks fluctuation theorem and recovery of RNA folding free energies, Nature 437, ). 5] V. Blice, T. Speck, L. Helden, U. Seifert, and C. Bechinger, Thermodynamics of a Colloidal Particle in a Time-Dependent Nonharmonic Potential, Phys. Rev. Lett. 96, ). 6] O.-P. Saira, Y. Yoon, T. Tanttu, M. Mttnen, D. V. Averin, and J. P. Pekola, Test of the Jarzynski and Crooks Fluctuation Relations in an Electronic System, Phys. Rev. Lett. 109, ). 7] M. Esposito, U. Harbola, and S. Mukamel, Nonequilibrium fluctuations, fluctuation theorems, and counting statistics in quantum systems, Rev. Mod. Phys. 81, ). 8] M. Campisi, P. Hänggi, and P. Talkner, Quantum fluctuation relations: Foundations and applications, Rev. Mod. Phys. 83, ). 9] P. H anggi and P. Talkner, The other QFT, Nat. Phys. 11, ). 10] T. B. Batalhão, A. M. Souza, L. Mazzola, R. Auccaise, R. S. Sarthour, I. S. Oliveira, J. Goold, G. De Chiara, M. Paternostro, and R. M. Serra, Experimental Reconstruction of Work Distribution and Study of Fluctuation Relations in a Closed Quantum System, Phys. Rev. Lett. 113, ). 11] S. An, J.-N. Zhang, M. Um, D. Lv, Y. Lu, J. Zhang, Z.- Q. Yin, H. T. Quan, and K. Kim, Experimental test of the quantum Jarzynski equality with a trapped-ion system, Nat. Phys. 11, ). 12] P. Talkner, E. Lutz, and P. Hãnggi, Fluctuation theorems: Work is not an observable, Phys. Rev. E 75, R) 2007). 13] T. Albash, D. A. Lidar, M. Marvian, and P. Zanardi, Fluctuation theorems for quantum processes, Phys. Rev. E 88, ). 14] A. E. Allahverdyan, Nonequilibrium quantum fluctuations of work, Phys. Rev. E 90, ). 15] P. Solinas and S. Gasparinetti, Full distribution of work done on a quantum system for arbitrary initial states, Phys. Rev. E 92, ). 16] C. Jarzynski, H. T. Quan, and S. Rahav, Quantum- Classical Correspondence Principle for Work Distributions, Phys. Rev. X 5, ). 17] J. Goold, M. Huber, A. Riera, L. del Rio, and P. Skrzypczyk, The role of quantum information in thermodynamicsa topical review, J. Phys. A 49, ). 18] Á. M. Alhambra, L. Masanes, J. Oppenheim, and C. Perry, Fluctuating Work: From Quantum Thermodynamical Identities to a Second Law Equality, Phys. Rev. X 6, ). 19] P. Talkner and P. Hänggi, Aspects of quantum work, Phys. Rev. E 93, ). 20] J. J. Alonso, E. Lutz, and A. Romito, Thermodynamics of Weay Measured Quantum Systems, Phys. Rev. Lett. 116, ). 21] J. J. Park, S. W. Kim, V. Vedral, Fluctuation Theorem for Arbitrary Quantum Bipartite Systems, arxiv: ] M. Perarnau-Llobet, E. Bäumer, K. V. Hovhannisyan, M. Huber, and A. Acín, No-Go Theorem for the Characterization of Work Fluctuations in Coherent Quantum Systems, Phys. Rev. Lett. 118, ). 23] M. Lostaglio, Quantum Fluctuation Theorems, Contextuality, and Work Quasiprobabilities, Phys. Rev. Lett. 120, ). 24] K. Funo and H. T. Quan, Path Integral Approach to Quantum Thermodynamics, Phys. Rev. Lett. 121, ). 25] J. Åberg, Fully Quantum Fluctuation Theorems, Phys. Rev. X 8, ). 26] G. Manzano, J. M. Horowitz, and J. M. R. Parrondo, Quantum Fluctuation Theorems for Arbitrary Environments: Adiabatic and Nonadiabatic Entropy Production, Phys. Rev. X 8, ). 27] Z. Holmes, S. Weidt, D. Jennings, J. Anders, F. Mintert, Coherent fluctuation relations: from the abstract to the concrete, arxiv: ] M. Lostaglio, D. Jennings, and T. Rudolph, Description of Quantum Coherence in Thermodynamic Processes Requires Constraints Beyond Free Energy, Nat. Commun. 6, ). 29] P. Ćwiiński, M. Studziński, M. Horodecki, and J. Oppenheim, Limitations on the Evolution of Quantum Coherences: Towards Fully Quantum Second Laws of Thermodynamics, Phys. Rev. Lett. 115, ). 30] F. G. S. L. Brandão, M. Horodecki, N. H. Y. Ng, J. Oppenheim, and S. Wehner, The second laws of quantum thermodynamics, Proc. Natl. Acad. Sci. U.S.A. 112, ). 31] J. Åberg, Catalytic Coherence, Phys. Rev. Lett. 113, ). 32] M. Perarnau-Llobet, K. V. Hovhannisyan, M. Huber, P.

9 9 Skrzypczyk, N. Brunner, and A. Acín, Extractable Work from Correlations, Phys. Rev. X 5, ). 33] K. Korzekwa, M. Lostaglio, J. Oppenheim, and D. Jennings, The extraction of work from quantum coherence, New J. Phys. 18, ). 34] G. Gour, D. Jennings, F. Buscemi, R. Duan, I. Marvian, Quantum majorization and a complete set of entropic conditions for quantum thermodynamics, arxiv: ] H. Kwon, H. Jeong, D. Jennings, B. Yadin, and M. S. Kim, ClockWork Trade-Off Relation for Coherence in Quantum Thermodynamics, Phys. Rev. Lett. 120, ). 36] A. J. Leggett and A. Garg, Quantum mechanics versus macroscopic realism: Is the flux there when nobody looks?, Phys. Rev. Lett. 54, ). 37] D. Petz, Sufficient subalgebras and the relative entropy of states of a von Neumann algebra, Commun. Math. Phys. 105, ). 38] F. G. S. L. Brandão, M. Horodecki, J. Oppenheim, J. M. Renes, and R. W. Spekkens, Resource Theory of Quantum States Out of Thermal Equilibrium, Phys. Rev. Lett. 111, ). 39] Á. M. Alhambra, L. Masanes, J. Oppenheim, and C. Perry, Entanglement fuctuation theorems, arxiv: ] B. Morris and G. Adesso, Quantum coherence fluctuation relations, arxiv: ] M. Junge, R. Renner, D. Sutter, M. M. Wilde, and A. Winter, Universal Recovery Maps and Approximate Sufficiency of Quantum Relative Entropy, arxiv: ; M. M. Wilde, From Classical to Quantum Shannon Theory, arxiv: ] M. Lostaglio, K. Korzekwa, D. Jennings, and T. Rudolph, Quantum Coherence, Time-Translation Symmetry, and Thermodynamics, Phys. Rev. X 5, ). 43] I. Marvian and R. W. Spekkens, The theory of manipulations of pure state asymmetry: I. Basic tools, equivalence classes and single copy transformations, New J. Phys. 15, ). 44] I. Marvian and R. W. Spekkens, Extending Noethers theorem by quantifying the asymmetry of quantum states, Nat. Commun. 5, ). 45] T. Baumgratz, M. Cramer, and M. B. Plenio, Quantifying Coherence, Phys. Rev. Lett. 113, ). 46] G. Vidal, Entanglement monotones, J. Mod. Opt. 47, ). 47] B. Schumacher and M. A. Nielsen, Quantum data processing and error correction, Phys. Rev. A 54, ). 48] M. Horodecki, J. Oppenheim, and A. Winter, Partial quantum information, Nature 436, ). 49] T. Sagawa and M. Ueda, Generalized Jarzynski Equality under Nonequilibrium Feedback Control, Phys. Rev. Lett. 104, ). 50] M. Naghiloo, J. J. Alonso, A. Romito, E. Lutz, and K.W. Murch, Information Gain and Loss for a Quantum Maxwells Demon, Phys. Rev. Lett. 121, ). Appendix A: Proof of quantum fluctuation relation We first prove Proposition 1: = e itlog T rj r k ) Tt) ). Proof. Suppose that quantum channel N has a Kraus representation Nρ) = ω K ωρk ω. Then the matrix element of a rotated Petz recovery map R t γ is given by Tt) ) = j R t γ l k ) i ) = j N l k ) i e itlog ri r l ) = j K ω r l k K ω i e itlog ri r l r j r k k r l ω ) = k N i j ) l e itlog ri r l r j r k = e itlog ri r l )T, which completes the proof. This directly leads to the following: Tψ φ) = i ψ ψ j l φ φ k T = i ψ ψ j l φ φ k = = rj r k e itlog rj r k ) ) j ψ ψ i k φ φ l e itlog e itlog rj r k ) T t) φ ψ ) r i r. j Finally, by taking summation over {}, Tψ φ) = = Tψ φ) ) Tt) ) t) T e itlog rj r ) k T t) φ ψ ) = T t) J γ,t φ ) J 1 γ,t ψ )) leads to Theorem 1.

10 10 Appendix B: Proof of the quantum Crooks fluctuation relation Proof. We provide the proof of Theorem 2 as follows: Pσ)e σr+itσi pµ rk r l qν ]e itlog = p µ Tψ µ φ ν ) e log µ,ν ]) ) pµ rk r l δ σ R log δ σ I log q ν = q ν e itlog Tψ µ φ ν ) r µ,ν k r l ]) ) pµ rk r l δ σ R log δ σ I log q ν = Tt/2) ] q ν φ ν ψ µ ) µ,ν ]) ) pµ rk r l δ σ R log δ σ I log q ν = µ,ν δ = P t/2) σ ), q ν Tt/2) φ ν ψ µ ) ji lk σ R log pµ rk r l q ν ]) ) δ σ I log where the third equality comes from Theorem 1 and entropy production by the backward process T t/2) φ ν ψ µ ) is given by δ σ = log qν rir j values of t. p µ rk r l ] +ilog rj r k for any Appendix C: Proofs for covariant quantum processes We first show that if a quantum channel N is covariant with respect to the reference state, i.e. U γ, t N U γ,t = N, thenallofitsrotatedpetzrecoverymapsr t γ arethesame with R γ. Note that U γ,t and U γ, t are unitary processes, therefore the adjoint map N satisfies N = U γ, t N U γ,t ) = U γ,t N U γ, t. Therefore, the rotated Petz recovery map is given by R t γχ) = U γ, t R γ U γ,t )χ) ] = U γ, t γ 1 2 N γ 1 2 U γ,t χ) γ )γ 2 ] = γ 1 2 U γ, t N U γ,t ) γ 1 2 χ γ 1 2 ) γ 1 2 = γ 1 2 N γ 1 2 χ γ 1 2 )γ 1 2 = R γ χ), since U γ,t commutes with γ. Now we prove the remaining part of Theorem 3. In terms of the elements of a transition matrix, every covariant quantum process obeys T e itlog rj r ) k = T. Multiplying the both side by e itσi followed by the integration over t leads to T δ σ I log ) = T δσ I). C1) Therefore, the probability distribution of entropy production is given by Pσ R +iσ I ) = Pσ R )δσ I ) and the quantum CFT with real values of σ is given by Pσ) P σ) = eσ, where the parameter t is omitted since every rotated recovery map is identical to the Petz recovery map R γ. Theorem 4 can be directly proven by the relationship between the relative entropy and reversibility of a quantum channel 41] Sρ γ) SNρ) Nγ)) dtg 0 t)log ] Fρ,R t/2 γ N)ρ)), where g 0 t) = π/2)coshπt) + 1] 1 satisfying dtg 0t)dt = 1. The righthand side of the above inequality becomes logfρ,r γ N)ρ))] since R t/2 γ = R γ for a covariant quantum process. Also, the equality condition Sρ γ) = SNρ) Nγ)) is achieved if and only if ρ = R t/2 γ N)ρ) for every t 41], which is equivalent to ρ = R γ N)ρ) for covariant quantum processes. Appendix D: Proof of coherence merging bound Finally, we prove the bound for coherence merging Theorem 5) under a covariant quantum process. By the previous arguments, T has a non-vanishing value only

11 11 if q I = log ri r l = 0. Then we have Nρ) = ρ T i,j ρ T + ρ T Ω + Ω = r k r l ρ Ω + Ω + ρ r k r l ] + Tt) ρ T Ω Tt) Ω + ρ e qr + Ω ρ, ] + ρ Ω T by using that both T and rir q R = log j. Tt) are less then 1 and