Article | Open | Published:

Quantum majorization and a complete set of entropic conditions for quantum thermodynamics

Nature Communicationsvolume 9, Article number: 5352 (2018) | Download Citation

Abstract

What does it mean for one quantum process to be more disordered than another? Interestingly, this apparently abstract question arises naturally in a wide range of areas such as information theory, thermodynamics, quantum reference frames, and the resource theory of asymmetry. Here we use a quantum-mechanical generalization of majorization to develop a framework for answering this question, in terms of single-shot entropies, or equivalently, in terms of semi-definite programs. We also investigate some of the applications of this framework, and remarkably find that, in the context of quantum thermodynamics it provides the first complete set of necessary and sufficient conditions for arbitrary quantum state transformations under thermodynamic processes, which rigorously accounts for quantum-mechanical properties, such as coherence. Our framework of generalized thermal processes extends thermal operations, and is based on natural physical principles, namely, energy conservation, the existence of equilibrium states, and the requirement that quantum coherence be accounted for thermodynamically.

Introduction

Irreversibility—the loss of order and the increase of disorder—is a fundamental and ubiquitous feature of physics that is typically described through thermodynamics and thermodynamic entropy. However, its scope goes above and beyond what one would ordinarily consider thermodynamic in nature. For example, the use of quantum entanglement within photonic quantum computing is subject to a form of irreversibility that need not be attached to either a particular energy scale or an equilibrium environment. Increasingly, a broader notion of irreversibility has been developed, that has been shown to include thermodynamic irreversibility as a special case, and has also allowed us to study intrinsically quantum mechanical order (such as entanglement or coherence) in contrast to classically ordered systems. Majorization is at the core of this development.

Majorization is a fundamental tool that finds application across a wide range of subjects from economics and statistics, to physics, chemistry, and pure mathematics1. At its core lies a notion of “deviations from uniformity”, and the theory ties together mathematical techniques in convexity, combinatorics, and mathematical statistics.

An example of its use is in statistical mechanics of a physical system with N energy levels. If we assume, for the sake of discussion, that the system is fully degenerate in energy, its thermal equilibrium state is described by the uniform probability distribution \({\mathbf{\gamma }} = \left( {\frac{1}{N}, \ldots ,\frac{1}{N}} \right)\) over the energy levels. Given any two other probability distributions \({\mathbf{p}} = (p_1, \ldots ,p_N)\) and \({\mathbf{q}} = (q_1, \ldots ,q_N)\), one might wish to say whether one is more or less out of equilibrium than the other. Majorization provides a concrete way of stating this. The distribution p is more ordered than q (or “p majorizes q”, written \({\mathbf{q}} \prec {\mathbf{p}}\)) if q = Dp for some doubly stochastic matrix D1. A crucial property of majorization is that it can be equivalently formulated in terms of a complete set of monotones. For example, it is well-known that \({\mathbf{q}} \prec {\mathbf{p}}\) if and only if \(\mathop {\sum}\nolimits_k f(p_k) \ge \mathop {\sum}\nolimits_k f(q_k)\) for all continuous real-valued convex functions f. Therefore, the value of any continuous convex function f on statistical distributions can never increase under doubly stochastic transformations. Such functions are therefore monotones that quantify the deviation from equilibrium; moreover, they constitute a complete set of monotones because the comparison of their values provides a sufficient condition for the existence of a doubly stochastic transformation.

Majorization also finds extensive use in various parts of quantum information theory, such as in entanglement theory2 and recent formulations of resource theories3. In particular, it has a central role in the recent thermodynamic frameworks using the quantum information theory3,4,5,6,7,8,9,10,11,12,13,14. In particular, it was found that state transformations with zero coherences in energy are fully characterized by thermo-majorization5 (see also earlier works15,16), which is a natural generalization of majorization4,17. However, it was shown in ref. 10 that such thermo-majorization results are insufficient for describing quantum coherence under thermal operations, and that novel coherence measures are required. Low temperature coherence regimes were shown to admit solvable analysis9, general coherence bounds were developed11, and a framework for coherence based on the concept of asymmetry under time-translations was proposed10,12. However, a complete specification of the structure of non-equilibrium quantum states was still lacking.

A natural question is therefore whether there exists a generalization of majorization (or thermo-majorization) that can accommodate such intrinsically quantum-mechanical orderings. Several candidate generalizations exist1,18,19, however, the one most relevant to our present work is called matrix majorization16, which is a specialization to linear algebra of ideas coming from the theory of statistical comparison (see ref. 20 and references therein). Given two matrices of real numbers A and \(B\), we say that A matrix-majorizes \(B\), and write \(B \prec _mA\), if and only if B = AX for some row stochastic matrix X. It is easy to see that this is a generalization of majorization: for the two-row matrices \(A = \left[ {\begin{array}{*{20}{c}} {\mathbf{p}} \\ {\mathbf{e}} \end{array}} \right]\) and \(B = \left[ {\begin{array}{*{20}{c}} {\mathbf{q}} \\ {\mathbf{e}} \end{array}} \right]\), with \({\mathbf{e}} \equiv (1,1,...,1)\), the relation \(B \prec _mA\) is equivalent to \({\mathbf{q}} \prec {\mathbf{p}}\). Similarly, other variants of majorization, like thermo-majorization, are special cases of matrix majorization. However, such an ordering is inherently classical, being ultimately based on stochasticity, as opposed to coherent quantum processes.

A key component of our work is to generalize matrix majorization in a natural way into the quantum-mechanical setting, and to provide applications to a number of topics. Our first contribution to this is to provide a complete entropic description of a fully quantum-mechanical form of majorization. We then outline the core features of the solution and discuss the inclusion of quantum-mechanical symmetries. Our final contribution is to define a natural framework for quantum thermodynamics that is based on three physical assumptions, provide a complete set of entropic conditions and discuss limiting thermodynamic regimes of the theory.

Results

Definition of quantum majorization

Our generalization of matrix majorization, which we call quantum majorization, defines a relation on bipartite quantum states, and consequently, due to the channel-state duality property of quantum theory, also defines a relation on quantum processes, i.e., completely positive and trace-preserving (CPTP) maps. Notice that notions equivalent to quantum majorization have previously been considered in refs. 21,22,23,24,25 in the contexts of quantum statistics and quantum information theory.

Definition 1: Let \(\rho ^{{\mathrm{AB}}} \in {\cal B}({\cal H}_{\mathrm{A}} \otimes {\cal H}_{\mathrm{B}})\) and \(\sigma ^{{\mathrm{AC}}} \in {\cal B}({\cal H}_{\mathrm{A}} \otimes {\cal H}_{\mathrm{C}})\) be two bipartite quantum states. We say that ρAB quantum majorizes σAC, and write \(\sigma ^{{\mathrm{AC}}} \prec _q\rho ^{{\mathrm{AB}}}\), if and only if there exists a CPTP map \({\cal E}:{\cal B}({\cal H}_{\mathrm{B}}) \to {\cal B}({\cal H}_{\mathrm{C}})\) such that \({\mathrm{id}} \otimes {\cal E}(\rho ^{{\mathrm{AB}}}) = \sigma ^{{\mathrm{AC}}}\).

Remark 1: The preorder \(\sigma ^{{\mathrm{AC}}} \prec _q\rho ^{{\mathrm{AB}}}\) is not symmetric with respect to the action of ε. It means that ρAB quantum majorizes σAC on B. However, in the remaining of this paper, it will be clear from the text that the action of \({\cal E}\) is on system \(B\).

It is clear from Definition 1 that ρA = σA is a necessary condition, called the compatibility condition, for the ordering of states to hold since \({\cal E}\) is trace-preserving, and when it holds the two states are said to be compatible. Moreover, in the special case that the marginals satisfy \(\rho ^{\mathrm{A}} = \sigma ^{\mathrm{A}} = \frac{1}{{d_{\mathrm{A}}}}1^{\mathrm{A}}\), we can express the bipartite states as the Choi matrices \(\rho ^{{\mathrm{AB}}} = {\mathrm{id}} \otimes {\cal D}\left( {\varphi _ + ^{{\mathrm{AA}^\prime} }} \right)\) and \(\sigma ^{{\mathrm{AC}}} = {\mathrm{id}} \otimes {\cal F}\left( {\varphi _ + ^{{\mathrm{AA}}^\prime }} \right)\), where \({\cal D}:{\cal B}({\cal H}_{{\mathrm{A}}^\prime }) \to {\cal B}({\cal H}_{\mathrm{B}})\) and \({\cal F}:{\cal B}({\cal H}_{{\mathrm{A}}^\prime }) \to {\cal B}({\cal H}_{\mathrm{C}})\) are two quantum processes (CPTP maps), and \(\phi _ + ^{{\mathrm{AA}}^\prime }\) is the projection on the maximally entangled state \(|\phi _ + ^{{\mathrm{AA}}^\prime }\rangle = \frac{1}{{\sqrt {d_{\mathrm{A}}} }}\mathop {\sum}\nolimits_{i = 1}^{d_{\mathrm{A}}} |ii\rangle\), where \(\{ |i\rangle \} _{i = 1}^{d_{\mathrm{A}}}\) is an orthonormal basis for A. Therefore, in this case the condition \({\mathrm{id}} \otimes {\cal E}(\rho ^{{\mathrm{AB}}}) = \sigma ^{{\mathrm{AC}}}\) becomes equivalent to the degradability of \({\cal D}\) into \({\cal F}\), that is, \({\cal F} = {\cal E} \circ {\cal D}\), and we denote it simply by \({\cal F} \prec _q{\cal D}\).

Quantum majorization hence generalizes classical stochasticity and captures the notion that the process \({\cal F}\) is in some sense “more disordered” than \({\cal D}\), since it can be obtained from \({\cal D}\) via \({\cal E}\). However, it does not say anything about \({\cal E}\), which can be a completely general quantum process. Typically, in resource theories, it is important to place some additional restrictions on allowed (or “free”) processes, and demand that \({\cal E}\) is a free operation of the theory. Many resource theories, such as entanglement theory, do not admit a simple specification, however, as we shall see shortly, in both the resource theories of asymmetry and thermodynamics, such a restriction of \({\cal E}\) to lie in a subset of free (symmetric or thermodynamic) processes can be made with a natural modification of our core result.

Characterization of quantum majorization

Given the two bipartite states ρAB and σAC, how can we determine whether ρAB quantum majorizes σAC? One simple and intuitive necessary condition, that follows from the data processing inequality, is that

$$S(A|B)_\rho \le S(A|C)_\sigma \;,$$
(1)

where \(S(A|B) = S(A,B) - S(B)\) is the conditional entropy, and \(S(\rho ) = - {\mathrm{T}}r[\rho\,{\mathrm{log}}\,\rho ]\) is the von-Neumann entropy. The intuition is that, if \(\sigma ^{{\mathrm{AC}}} \prec _q\rho ^{{\mathrm{AB}}}\), then information about system A is more accessible from system \(B\) than from system \(C\). Hence, the uncertainty of A given \(B\), i.e., \(S(A|B)\), can only be smaller than the uncertainty of A given \(C\), i.e., \(S(A|C)\). However, only one entropic condition is far from being sufficient to completely characterize quantum majorization.

In order to produce more necessary conditions, one can use a similar intuition to generate infinitely many necessary conditions that follows from the following observation (Fig. 1):

$$\sigma ^{{\mathrm{AC}}} \prec _q\rho ^{{\mathrm{AB}}} \Rightarrow \Phi \otimes {\mathrm{id}}\left( {\sigma ^{{\mathrm{AC}}}} \right) \prec _q\Phi \otimes {\mathrm{id}}\left( {\rho ^{{\mathrm{AB}}}} \right)$$
(2)

for any quantum process \(\Phi :{\cal B}({\cal H}_{\mathrm{A}}) \to {\cal B}({\cal H}_{{\mathrm{A}}\prime })\). Note that Φ is acting on system A while \({\cal E}\) in Definition 1 is acting on system \(B\). We therefore conclude that if \(\sigma ^{{\mathrm{AC}}} \prec _q\rho ^{{\mathrm{AB}}}\) then, for any quantum process Φ, we must have:

$$S(A{^\prime}|B)_{\Phi \otimes {\mathrm{id}}\left( {\rho ^{{\mathrm{AB}}}} \right)} \le S(A^\prime | C)_{\Phi \otimes {\mathrm{id}}\left( {\sigma ^{{\mathrm{AC}}}} \right)}\;.$$
(3)

While the conditions above are necessary, again they are not sufficient, and even in the purely classical case: there exist classical states ρAB and σAB such that \(\sigma ^{{\mathrm{AC}}}\not \prec _q\rho ^{{\mathrm{AB}}}\), even though the above equation holds of all Φ (and any dimensions of A′)26,27.

Fig. 1
Fig. 1

Quantum majorization. The condition of quantum majorization \(\sigma ^{{\mathrm{AC}}} \prec _q\rho ^{{\mathrm{AB}}}\) implies the infinite set of relations \((\Phi \otimes {\mathrm{id}})(\sigma ^{{\mathrm{AC}}}) \prec _q(\Phi \otimes {\mathrm{id}})\)\((\rho ^{{\mathrm{AB}}})\), where Φ is any CPTP map acting on system A (cfr. Eq. (2) in the main text). Theorem 1 provides a complete set of monotones for quantum majorization, expressed as entropic functions of the bipartite state and the channel Φ acting on it

On the other hand, in the following central result of our paper, we show that if one replaces the conditional (von-Neumann) entropy in (3) with the conditional min-entropy28, then the inequalities in (3) indeed provide, if all simultaneously satisfied, a sufficient condition for quantum majorization. Moreover, we can restrict Φ to be an entanglement breaking channel, and bound the dimension of system A′ to be no greater than the dimension of system C. Similar results, dubbed “reverse data-processing theorems,” have been obtained before18,25,27,29, although in a different framework involving extra ancillas and a classical reference system, while the present relations are fully quantum and do not need additional external systems.

The conditional min-entropy, \(H_{{\mathrm{min}}}(A|B)_\Omega\), of a bipartite state ΩAB, is defined as28

$$H_{{\mathrm{min}}}(A|B)_\Omega : = - {\mathrm{log}}\mathop {{{\mathrm{inf}}}}\limits_{\tau ^{\mathrm{B}} \ge 0} \{ {\mathrm{T}}r\left[ {\tau ^{\mathrm{B}}} \right]:1^{\mathrm{A}} \otimes \tau ^{\mathrm{B}} \ge \Omega ^{{\mathrm{AB}}}\} .$$
(4)

It is known to be a single-shot analog of the conditional (von-Neumann) entropy. This analogy is particularly motivated by the fully quantum asymptotic equipartition property30, which states that in the asymptotic limit of many copies of ΩAB, the smooth version of \(H_{\mathrm{min}}(A|B)\) approaches the conditional (von-Neumann) entropy. The conditional min-entropy has numerous applications in single-shot quantum information (e.g., ref. 30 and references therein), quantum hypothesis testing (e.g., refs. 19,27 and references therein), and quantum resource theories31.

Theorem 1: Let \(\rho ^{{\mathrm{AB}}} \in {\cal B}({\cal H}_{\mathrm{A}} \otimes {\cal H}_{\mathrm{B}})\) and \(\sigma ^{{\mathrm{AC}}} \in {\cal B}({\cal H}_{\mathrm{A}} \otimes {\cal H}_{\mathrm{C}})\) be two compatible bipartite quantum states. Let \(\{ M_j^{\mathrm{A}}\}\) be an arbitrary, but fixed, informationally complete POVM on system A. Denote the dimension of any system \(X\) as \(d_X \in {\Bbb N}\). The following are equivalent:

1. The state ρAB quantum majorizes σAC,

$$\sigma ^{{\mathrm{AC}}} \prec _q\rho ^{{\mathrm{AB}}}.$$
(5)

2. For any quantum process (CPTP linear map) \(\Phi :{\cal B}({\cal H}_{\mathrm{A}}) \to {\cal B}({\cal H}_{{\mathrm{A}}^\prime })\), with dA′ = dC,

$$H_{{\mathrm{min}}}(A^\prime |B)_{\Phi \otimes {\mathrm{id}}\left( {\rho ^{{\mathrm{AB}}}} \right)} \le H_{{\mathrm{min}}}(A^\prime |C)_{\Phi \otimes {\mathrm{id}}\left( {\sigma ^{{\mathrm{AC}}}} \right)}$$
(6)

3. Eq. (6) holds for any measure-and-prepare quantum channel \(\Phi :{\cal B}({\cal H}_{\mathrm{A}}) \to {\cal B}({\cal H}_{{\mathrm{A}}^\prime })\) of the form:

$$\Phi \left( {\eta ^{\mathrm{A}}} \right) = \mathop {\sum}\limits_{j = 1}^{d_{\mathrm{A}}^2} {{\mathrm{T}}r\left[ {M_j^{\mathrm{A}}\eta ^{\mathrm{A}}} \right]\omega _j^{{\mathrm{A}}\prime }\;} ,$$
(7)

while the states \(\{ \omega _j^{{\mathrm{A}}^\prime }\}\) can freely vary.

4. \(g(\rho ^{{\mathrm{AB}}},\sigma ^{{\mathrm{AC}}}) \ge 1\), where the the function g is defined by the following semidefinite programming:

$$g(\rho ^{{\mathrm{AB}}},\sigma ^{{\mathrm{AC}}}) = {\mathrm{max}}$$
$$\left\{ {\;y\;|\;\forall j\;y\sigma _j^{\mathrm{T}} \le {\mathrm{T}}r_{\mathrm{B}}\left[ {\tau ^{{\mathrm{CB}}}(I \otimes \rho _j)} \right],\;\tau ^{{\mathrm{CB}}} \ge 0,\;\tau ^{\mathrm{B}} \le I} \right\}$$
(8)

where

$$\rho _j \equiv \frac{{{\mathrm{T}}r_{\mathrm{A}}\left[ {\left( {M_j^{\mathrm{A}} \otimes 1^{\mathrm{B}}} \right)\rho ^{{\mathrm{AB}}}} \right]}}{{{\mathrm{T}}r\left[ {M_j^{\mathrm{A}}\rho ^{\mathrm{A}}} \right]}}{\mathrm{and}}$$
$$\sigma _j \equiv \frac{{{\mathrm{T}}r_{\mathrm{A}}\left[ {\left( {M_j^{\mathrm{A}} \otimes 1^{\mathrm{C}}} \right)\sigma ^{{\mathrm{AC}}}} \right]}}{{{\mathrm{T}}r\left[ {M_j^{\mathrm{A}}\sigma ^{\mathrm{A}}} \right]}}.$$
(9)

The proof of the above theorem is postponed to Supplementary Note 1.

Remark 2: In the classical case, both \(\rho ^{{\mathrm{AB}}} = \mathop {\sum}\nolimits_{x,y} p_{xy}|x\rangle \langle x| \otimes |y\rangle \langle y| \equiv P\) and \(\sigma ^{{\mathrm{AC}}} = \mathop {\sum}\nolimits_{x,z} q_{xz}|x\rangle \langle x| \otimes |z\rangle \langle z| \equiv Q\) are diagonal, where P (and Q) is the matrix whose components are the probabilities pxy (qxz). Therefore, the relation \(\sigma ^{{\mathrm{AC}}} = {\mathrm{id}} \otimes {\cal E}\left( {\rho ^{{\mathrm{AB}}}} \right)\) can be expressed as Q = SP, where S is a column stochastic matrix, so that \(Q^{\mathrm{T}} \prec _mP^{\mathrm{T}}\) (The relation Q = SP is equivalent to \(Q^{\mathrm{T}} = P^{\mathrm{T}}S^{\mathrm{T}}\), with ST being a row stochastic matrix.). Dahl obtained in ref. 16 that P matrix-majorizes Q if and only if for all sub-linear functionals f, that can be written as a maximum of a finite number of linear functionals, the following holds:

$$\mathop {\sum}\limits_j f({\mathbf{p}}_j) \ge \mathop {\sum}\limits_k f({\mathbf{q}}_k)\;,$$
(10)

where pj and qk are the rows of P and Q, respectively. Since classically \(2^{ - H_{{\mathrm{min}}}(A|B)}\) is a sub-linear functional (see more details in the Supplementary Notes 1 and 4), our theorem above provides the same result for the classical case, with a slight improvement that f can be restricted to sub-linear functionals that can be written as a maximum of at most dC linear functionals.

Remark 3: The conditions in Eq. (6) are given in a form of monotones; i.e., functions that behave monotonically under certain operations (in our case under quantum majorization). In quantum resource theories monotones quantify resources as they do not increase under free operations. As we will see below, the conditional min-entropies that appear in Theorem 1 can be used to quantify asymmetry in the resource theory of quantum reference frames32, and athermality in quantum thermodynamics. Since Eq. (6) has to hold for any CPTP map \(\Phi :A \to A^{\prime}\) (or measurement-prepare channels with any set of density matrices \(\{ \omega _j^{{\mathrm{A}}^\prime }\}\)), quantum majorization is characterized in Theorem 1 by means of an infinite number of monotones. This can be related with the fact that here we consider exact transformations, and typically an exact (algebraic) solution to such an SDP feasibility problem is NP-hard. However, part 4 of the theorem demonstrates that the question of weather or not ρAB quantum majorizes ρAC can be solved efficiently using semidefinite programming. A discussion comparing the two formulations, i.e., one SDP versus infinite monotones, is presented the supplementary material Note 3.

If only system A is classical, that is the states \(\rho ^{{\mathrm{AB}}} = \mathop {\sum}\nolimits_i p_i\left| i \right\rangle \left\langle i \right| \otimes \rho _i\) and \(\sigma ^{{\mathrm{AC}}} = \mathop {\sum}\nolimits_i p_i\left| i \right\rangle \left\langle i \right| \otimes \sigma _i\) are classical-quantum states, we get that (5) is equivalent to

$$\sigma _i = {\mathcal{E}}(\rho _{i})$$
(11)

for all i such that pi > 0. This is a classic problem in quantum hypothesis testing, and the results presented here complement previous results in the same direction22,23,25,27,33,34,35. In particular, it can be shown (see Lemma 1 in the Supplementary Note 1) that Theorem 1 above implies the following corollary:

Corollary 1: There exists \({\cal E}\) satisfying (11) if and only if for any set of n density matrices \(\{ \omega _i^{\mathrm{A}}\} _{i = 1}^n\), we have \(H_{{\mathrm{min}}}(A|B)_\Omega \le H_{{\mathrm{min}}}(A|C)_\Omega\), where

$$\Omega ^{{\mathrm{ABC}}} = \frac{1}{n}\mathop {\sum}\limits_{i = 1}^n \omega _i^{\mathrm{A}} \otimes \rho _i^{\mathrm{B}} \otimes \sigma _i^{\mathrm{C}}\;.$$
(12)

The same relation holds if the uniform distribution 1/n is replaced with any other arbitrary distribution qi, with the only condition that qi > 0.

A complete set of entropic conditions for the resource theory of asymmetry

So far we considered the relation \(\sigma ^{{\mathrm{AC}}} = {\mathrm{id}} \otimes {\cal E}\left( {\rho ^{{\mathrm{AB}}}} \right)\) with arbitrary CPTP map \({\cal E}:{\cal B}({\cal H}_{\mathrm{B}}) \to {\cal B}({\cal H}_{\mathrm{C}})\). We now impose additional constraint on \({\cal E}\), requiring it to be G-covariant with respect to a compact group G. That is, \({\cal E}\) is G-covariant with respect to two unitary representations of G on systems \(B\) and \(C\), denoted, respectively, by \(\{ V_g\} _{g \in G}\) and \(\{ U_g\} _{g \in G}\), if

$$U_g{\cal E}(\rho )U_{g^{ - 1}} = {\cal E}(V_g\rho V_{g^{ - 1}})\quad \forall \;g \in G\;.$$
(13)

We write \(\sigma ^{{\mathrm{AC}}} \prec _q^G\rho ^{{\mathrm{AB}}}\), if \(\sigma ^{{\mathrm{AC}}} = {\mathrm{id}} \otimes {\cal E}\left( {\rho ^{{\mathrm{AB}}}} \right)\) with a G-covariant CPTP map \({\cal E}\).

Theorem 1 can be easily upgraded to accommodate G-covariant maps: the formal statement is given as Theorem 2 in Supplementary Note 5. Particularly, it can be shown that \(\sigma ^{{\mathrm{AC}}} \prec _q^G\rho ^{{\mathrm{AB}}}\) if and only if

$$H_{{\mathrm{min}}}(A^{\prime}|B)_{{\cal G}\left[ {\Phi \otimes {\mathrm{id}}\left( {\rho ^{{\mathrm{AB}}}} \right)} \right]} \le H_{{\mathrm{min}}}(A^{\prime}|C)_{{\cal G}\left[ {\Phi \otimes {\mathrm{id}}\left( {\sigma ^{{\mathrm{AC}}}} \right)} \right]}$$
(14)

for all CPTP entanglement breaking maps \(\Phi :{\cal B}({\cal H}_{\mathrm{A}}) \to {\cal B}({\cal H}_{{\mathrm{A}}^\prime })\) of the form (7). Here \({\cal G}:{\cal B}\left( {{\cal H}_{{\mathrm{A}}^\prime } \otimes {\cal H}_{\mathrm{C}}} \right) \to {\cal B}\left( {{\cal H}_{{\mathrm{A}}^\prime } \otimes {\cal H}_{\mathrm{C}}} \right)\) is the bipartite G-twirling map given by

$${\cal G}[\tau ^{{\mathrm{A}}^\prime C}] = {\int} dg\;(\overline U _g \otimes U_g)\;\tau ^{{\mathrm{A}}^\prime C}\;(\overline U _g^\dagger \otimes U_g^\dagger )\;,$$
(15)

where the over bar denotes the complex conjugation made with respect to an arbitrary but fixed orthonormal basis.

In the special case in which both \(\rho ^{{\mathrm{AB}}} = |0\rangle \langle 0|^{\mathrm{A}} \otimes \rho ^{\mathrm{B}}\) and \(\sigma ^{{\mathrm{AC}}} = |0\rangle \langle 0|^{\mathrm{A}} \otimes \sigma ^{\mathrm{C}}\) are product states, our theorem is simplified to the following statement: ρB can be converted to σC by a G-covariant map if and only if for any density matrix \(\eta ^{{\mathrm{A}}^\prime }\),

$$H_{{\mathrm{min}}}(A^\prime |B)_{{\cal G}[\eta ^{{\mathrm{A}}^\prime } \otimes \rho ^{\mathrm{B}}]} \le H_{{\mathrm{min}}}(A^\prime |C)_{{\cal G}[\eta ^{{\mathrm{A}}^\prime } \otimes \sigma ^{\mathrm{C}}]}\;.$$
(16)

Therefore, the quantities \(H_{{\mathrm{min}}}(A^{\prime}|B)_{{\cal G}[\eta ^{{\mathrm{A}}^\prime } \otimes \rho ^{\mathrm{B}}]}\), for varying reference state ηA′, provide a complete set of asymmetry monotones for the resource theory of asymmetry36,37,38,39,40. In other words, for any given state ηA′, the functions \(H_{{\mathrm{min}}}(A^{\prime}|B)_{{\cal G}[\eta ^{{\mathrm{A}}^\prime } \otimes \rho ^{\mathrm{B}}]}\) provide a single-copy characterization of the G-asymmetry content of state ρB. That is to say, even though asymmetry is not a state function in itself (as it is not totally ordered), it can still be completely described in terms of a complete set of such state functions. We are now ready to discuss the application of this result to quantum thermodynamics.

A complete set of entropic conditions for quantum thermodynamics

While thermodynamics in macroscopic, equilibrium, and classical regimes is well understood41, there is the fundamental question of how one can extend thermodynamic notions into non-equilibrium, finite-sized systems42,43,44, and in particular systems displaying highly non-classical properties such as quantum coherence, contextuality, and entanglement45,46,47,48,49. One particular approach to this problem3,4,5,6,7,8,9,10,11,12,13,14 has been to utilize tools and concepts developed in the study of entanglement, which is understood within the framework of resource theories. A resource theory provides a way to quantify physical characteristics that are not simply given by Hermitian observables, and is defined once we specify a set of free states, as those that do not have the properties one wishes to study, together with set of free operations, that are compatible with the set of free states in the sense that their action on any free state always yields another free state.

This approach of analyzing thermodynamics in terms of its process structure (instead of starting with problematic terms such as “heat” or “work” or “entropy”) turns out to have a long and successful history dating back to the 1909 seminal work of Carathéodory50. Other notable accounts were obtained in 1964 by Giles51 and more recently in 1999 by Lieb and Yngvason52, who provided a thorough analysis in terms of adiabatic accessibility. Moreover, it has recently been shown in13 that the thermodynamic structure of incoherent quantum states obtained from an information-theoretic perspective coincides with the phenomenological analysis in ref. 52, which demonstrates the soundness of the resource theoretic approach.

In thermodynamics, a preferred class of states are singled out as free states from the condition of complete passivity53,54. In the simplest case, the Gibbs state \(\frac{1}{Z}e^{ - \beta H}\), with \(\beta = (kT)^{ - 1}\) and \(Z = {\mathrm{T}}r[e^{ - \beta H}]\), is the only quantum state that can be freely admitted without trivializing the theory energetically. More generally, in the presence of additional additive conserved charges \(\{ X_1, \ldots X_n\}\), such as angular momenta and particle numbers, this can be extended (under certain assumptions on external constraints41,55,56,57,58,59,60,61) to the generalized Gibbs state

$$\gamma ^{\mathrm{A}} = \frac{1}{{\cal Z}}e^{ - \beta (H^{\mathrm{A}} - \mathop {\sum}\limits_k \mu _kX_k^{\mathrm{A}})},$$
(17)

with {μk} being Lagrange multiplier constants for the conserved quantities and \({\cal Z} = {{\mathrm{T}}}r[e^{ - \beta (H^{\mathrm{A}} - \mathop {\sum}\nolimits_k \mu _kX_k^{\mathrm{A}})}]\). In the case that we just have a single additional number operator N, the constant is the usual chemical potential41.

Generalized thermal processes

Our thermodynamic framework is an extension of the resource theory of thermal operations (TOs)4,5,7 to a set of transformations that contains TOs as a proper subset. It is an extension in two ways: firstly, it makes a weaker assumption about the underlying microscopic process, and secondly it is defined in terms of a collection of distinguished thermodynamic observables, such as those in the generalized Gibbs ensemble, and not just in terms of energy. We elaborate on the relation between the two classes in Supplementary Note 8. We shall refer to these free transformations as generalized thermal processes (abbreviated to TPs), and they are specified by the following three physical assumptions:

  • A1. Microscopic conservation: Each input quantum system and output quantum system has a Hamiltonian H, and a collection of distinguished observables \(X_1, \ldots X_n\). The total energy and the observables {Xk} are conserved microscopically in any free process, and moreover [H,Xk] = 0 for all \(k = 1, \ldots ,n\).

  • A2. Equilibrium preservation: For every (input or output) system A, an equilibrium free state exists that is stable under the class of free processes.

  • A3. Incoherence: The free processes do not require any sources of quantum coherence between eigenbases of conserved quantities.

The microscopic conservation assumption ensures that every quantum system A has a well-defined Hamiltonian HA at the initial time and some other Hamiltonian HA′ at the final time. It also allows for an arbitrary set of additional conserved charges, as discussed. More precisely, any TP map \({\cal E}\) on A admits a Stinespring dilation onto some larger system \(B\) such that

$${\cal E}(\rho ^{\mathrm{A}}) = {\mathrm{T}}r_{\mathrm{C}}V(\rho ^{\mathrm{A}} \otimes \sigma ^{\mathrm{B}})V^\dagger$$
(18)

where \(B\) is some other quantum system defining the thermal environment. The microscopic conservation assumption implies that the isometry V obeys

$$V(H^{\mathrm{A}} \otimes 1^{\mathrm{B}} + 1^{\mathrm{A}} \otimes H^{\mathrm{B}}) = (H^{{\mathrm{A}}^\prime } \otimes 1^{\mathrm{C}} + 1^{{\mathrm{A}}^\prime } \otimes H^{\mathrm{C}})V$$
$$V(X_k^{\mathrm{A}} \otimes 1^{\mathrm{B}} + 1^{\mathrm{A}} \otimes X_k^{\mathrm{B}}) = (X_k^{{\mathrm{A}}^\prime } \otimes 1^{\mathrm{C}} + 1^{{\mathrm{A}}^\prime } \otimes X_k^{\mathrm{C}})V$$
(19)

for all \(k = 1, \ldots n\), which defines the microscopic energy conservation and the conservation of the charges. Note that we also allow the input system and output to differ, which may occur due to the presence of strong-couplings that affect factorizability into independent subsystems. It is also important to emphasize that we do not assume or require microscopic control of V. It is only the total process \({\cal E}\) that is experimentally relevant. The particular set of observables are determined by the physical context and we shall refer to them as the thermodynamic observables for the system.

The equilibrium preservation assumption says that for every system A there is a state \(\rho _ \ast ^{\mathrm{A}}\), such that \({\cal E}(\rho _ \ast ^{\mathrm{A}}) = \rho _ \ast ^{\mathrm{A}}\) for all TPs \({\cal E}\). However (A1) singles out a set of distinguished observables \(\{ H^{\mathrm{A}},X_1^{\mathrm{A}}, \ldots ,X_n^{\mathrm{A}}\}\) that microscopically are additively conserved. The fact that \(\rho _ \ast ^{\mathrm{A}}\) is a free state of the theory implies58,59,60 that the only form of \(\rho _ \ast ^{\mathrm{A}}\) that can yield a non-trivial resource theory in these observables is one for which \(\log\rho _ \ast ^{\mathrm{A}}\) is a linear combination of the observables—namely it must be a generalized Gibbs state γA as defined in (17), at some fixed temperature T = ()−1 and Lagrange multipliers \(\mu _1, \ldots ,\mu _n\). Therefore the free states of the theory are defined uniquely by these parameters.

The final assumption on incoherence is a statement of non-classicality within the theory and requires us to provide an explicit accounting for coherence resources. It is known for thermal operations that if the only coherences present are within energy eigenspaces then the resultant theory is essentially classical, and is described by thermo-majorization5. However, coherences between energy eigenspaces behave differently and do not have such a classical description10. Therefore one must carefully account for these coherences thermodynamically. The precise formulation of this requirement in the case of energy is that if any free process \({\cal E}\) is discussed in Supplementary Note 6, and has the consequence that any \({\cal E}\) can be represented as

$${\cal E}(\rho ) = {\mathrm{T}}r_{\mathrm{C}}V(\rho ^{\mathrm{A}} \otimes \sigma ^{\mathrm{B}})V^\dagger$$
(20)

where V is a conserving interaction, and σB is an external state incoherent in the energy eigenbases and obeys \(\sigma ^{\mathrm{B}} = \mathop {{\mathrm{lim}}}\nolimits_{\tau \to \infty } \frac{1}{\tau }{\int}_0^\tau {\mathrm{d}}tU_{\mathrm{B}}(t)\sigma ^{\mathrm{B}}U_{\mathrm{B}}^\dagger (t)\). This captures the notion that \({\cal E}\) is realized without consuming any coherent resources from the external degrees of freedom in \(B\). At the level of quantum operations on S, this implies that we have the following symmetry property for all free operations

$$U^\prime (t){\cal E}(\rho ^{\mathrm{A}})U^\prime (t)^\dagger = {\cal E}(U(t)\rho ^{\mathrm{A}}U (t)^\dagger)$$
(21)

where \(U(t) = {\mathrm{exp}}[ - itH^{\mathrm{A}}]\) and \(U^\prime (t) = {\mathrm{exp}}[ - itH^{{\mathrm{A}}^\prime }]\) are respectively free evolution of the input/output system for an interval of time t. The operation \({\cal E}\) is said to be covariant under time-translation. The more general case of multiple conserved charges is discussed below.

The three physical assumptions specify the set of generalized thermal processes, and it is readily seen that it contains the set of thermal operations. In the case when the only conserved quantity is H, there is no particular physical reason to choose one set of operations over the other. However, in the case of multiple conserved charges \(X_1, \ldots ,X_n\), the use of TPs has an advantage in that it allows one to handle generalized Gibbs ensemble scenarios more easily. The details of system \(B\) are, in general, not observed thermodynamical degrees of freedom, and with an explicit microscopic specification, such as with thermal operations, subtleties arise in the case of additional charges. Particularly, subtleties arise if one wishes to have non-trivial μk Lagrange multipliers in the generalized Gibbs ensemble (17) and also satisfy the microscopic conservation assumption. The formulation here simply avoids this by not demanding a specific form for the microscopic state \(\tilde \sigma ^{\mathrm{B}}\) in the definition of the free processes. The incoherence assumption only constrains the microscopic details to the extent that there are no observable effects of coherence at the level of the process \({\cal E}\).

In the Supplementary Note 7, we show that our core result on quantum majorization can be adapted to the setting of generalized thermal processes to fully describe the state interconversion structure. This is obtained by establishing the following lemma, which is proved in the Supplementary Note 6.

Lemma 1: Consider two sets of thermodynamic observables \(\{ H^{\mathrm{S}},X_1^{\mathrm{S}}, \ldots ,X_n^{\mathrm{S}}\}\) for quantum system S = A and quantum systems S = A′. Then, the set of all quantum processes from A into A′ defined by (A1-A3) coincides with the set of all γ-preserving processes on A that are covariant under the group G generated by the thermodynamic observables on A and A′.

State conversions under thermal processes

Since TPs are G-covariant we may make use of our earlier results on G-covariant state interconversion of a collection of states \(\{ \rho _i^{\mathrm{A}}\}\) into \(\{ \sigma _i^{\mathrm{B}}\}\). We first consider the case where energy is the only distinguished thermodynamic observable that is conserved microscopically. Combining the G-covariant version of Theorem 1 with the above lemma we get the following theorem (see Supplementary Note 7 for more details).

Theorem 2: Let A and A′ be two quantum systems, with the respective Hamiltonians HA and HA′ being the only thermodynamic observables, and let 0 < q < 1 be an arbitrary but fixed number. The state transformation \(\rho ^{\mathrm{A}} \to \sigma ^{{\mathrm{A}}^\prime }\) is possible under generalized thermal processes at a temperature (kBβ)−1 if and only if for all reference frame systems R with the same dimension as of A′ and with Hamiltonian \(H^{\mathrm{R}} = - (H^{{\mathrm{A}}^\prime })^{\mathrm{T}}\), and for all pairs of states \({\mathbf{\eta }} = (\eta _1^{\mathrm{R}},\eta _2^{\mathrm{R}})\), we have

$$S_{\mathbf{\eta }}(\rho ^{\mathrm{A}}) \le S_{\mathbf{\eta }}(\sigma ^{{\mathrm{A}}\prime })\;,$$
(22)

where \(S_{\mathbf{\eta }}(\rho ^{\mathrm{A}}): = H_{{\mathrm{min}}}(R|A)_\Omega\) and

$$\Omega ^{{\mathrm{RA}}} = \langle q\eta _1^{\mathrm{R}} \otimes \rho ^{\mathrm{A}} + (1 - q)\eta _2^{\mathrm{R}} \otimes \gamma ^{\mathrm{A}}\rangle \;.$$
(23)

Here, \(\gamma ^{\mathrm{A}} = {\mathrm{exp}}[ - \beta H^{\mathrm{A}}]/Z\) is the Gibbs state on A, and \(\langle \omega ^{{\mathrm{RA}}}\rangle \equiv \mathop {{{\mathrm{lim}}}}\nolimits_{\tau \to \infty } 1/\tau {\int}_0^\tau {\mathrm{d}}t\;U(t)\omega ^{{\mathrm{RA}}}U^\dagger (t)\) is the channel that maps any state of RA to its time-averaged version, and \(U(t) = {\mathrm{exp}}[ - it(H^{\mathrm{R}} \otimes 1^{\mathrm{A}} + 1^{\mathrm{R}} \otimes H^{\mathrm{A}})]\) is the unitary time-evolution under the Hamiltonian for the composite system RA.

It is important to note that these conditions can be greatly reduced. In particular one can simply consider \(q = \frac{1}{2}\) alone, however, in some cases it is useful to choose different values and so we give the general case here. Also, it readily seen that the state \(\eta _2^{\mathrm{R}}\) can be chosen to be block-diagonal in the energy eigenbasis, while \(\eta _1^{\mathrm{R}}\) can be restricted to reference frame states that have the same modes of coherence as ρA12,37.

Time-energy constraints on state conversions

Next, we show that the necessary and sufficient condition found in Theorem 2 has an interesting physical interpretation; loosely speaking, it implies that a state conversion is possible in quantum thermodynamics, if and only if it does not lead to any net increase in work or time-information.

A key obstacle in quantum thermodynamics is that to determine the existence of the transformation \(\rho ^{\mathrm{A}} \to \sigma ^{{\mathrm{A}}^\prime }\), one needs to consider two different types of physical properties of states: (i) properties related to their energy distribution, which leads to conditions such as thermo-majorization62, and (ii) properties related to the coherence in the energy eigen-basis. Roughly speaking, one needs to check that the initial state ρA has (at least) as much as free energy and coherence as the desired final state σA′.

It is not possible in general to quantify both of these simultaneously in a measurement scheme. Coherences in energy are precisely the time-dependent components of a quantum system and thus one encounters an obstacle of complementarity between time and energy measurements. Physically these two aspects can be viewed as “clock” and “work” regimes of a quantum system. Theorem 2 gets around this complementarity by allowing the reference system R to act simultaneously as a “clock/work reference”. In other words, one can interpolate smoothly between the two regimes via the different choices of quantum states ηR. This is illustrated schematically in Fig. 2.

Fig. 2
Fig. 2

Time-energy constraints for thermal processes. The entropic conditions for a state transformation \(\rho ^{\mathrm{A}} \to \sigma ^{{\mathrm{A}}^\prime }\) under TPs are defined with respect to a quantum reference frame R and two states \(\eta _1^{\mathrm{R}}\) and \(\eta _2^{\mathrm{R}}\). The schematic vertical axis denotes states block-diagonal in energy (e.g., an energy eigenstate \(\eta _e = |E\rangle \langle E|\)), while the horizontal axis denotes states with maximal time-dependent oscillations—‘clock’ states ηC of R. When \(\eta _1^{\mathrm{R}}\) is confined to being incoherent (the vertical axis) we recover thermo-majorization. For R being macroscopic and \(\eta _1^{\mathrm{R}} = \eta _{\mathrm{C}}\), we obtain a Page–Wootters clock constraint on the thermodynamic transformation. Varying \(\eta _1^{\mathrm{R}}\) smoothly interpolates between the time constraints and energy constraints

To see this better, we first consider the case where either the input or output state is incoherent in the energy eigenbasis. This regime is described by an essentially classical stochastic energy condition. The following result is shown in the Supplementary Note 4.

Corollary 2: Let A and A′ be two quantum systems, with respective Hamiltonians HA and HA′ being the only thermodynamic observables. Let ρA and σA′ be quantum states on the input and output systems, respectively. If either \([\rho ^{\mathrm{A}},H^{\mathrm{A}}] = 0\) or \([\sigma ^{{\mathrm{A}}^\prime },H^{{\mathrm{A}}^\prime }] = 0\), then the state transformation \(\rho ^{\mathrm{A}} \to \sigma ^{{\mathrm{A}}^\prime }\) is possible under generalized thermal processes at a temperature T = ()−1 if and only if \([\sigma ^{{\mathrm{A}}^\prime },H^{{\mathrm{A}}^\prime }] = 0\) and ρA thermo-majorizes σA′.

This recovers previous results5 on quantum thermodynamics for the case of one of the states having no coherences between energy eigenspaces. Moreover, in the case of incoherent input ρA, the use of a coherent reference state ηR does not yield any additional constraint. Specifically, \(\Omega ^{{\mathrm{RA}}} = q\left\langle {\eta _1^{\mathrm{R}}} \right\rangle \otimes \rho ^{\mathrm{A}} + \left( {1 - q} \right)\)\(\left\langle {\eta _2^{\mathrm{R}}} \right\rangle \otimes \gamma ^{\mathrm{A}}\), and so the coherence of states \(\eta _1^{\mathrm{R}}\) and \(\eta _2^{\mathrm{R}}\) is irrelevant. The only relevant constraints in state transformation \(\rho ^{\mathrm{A}} \to \sigma ^{{\mathrm{A}}^\prime }\) are constraints related to the energy distribution of states.

On the other hand, if both the input-output states ρA and σA′ contain coherence, then by choosing reference states \(\eta _1^{\mathrm{R}}\) which contain coherence, we obtain new additional coherence constraints, i.e., constraints independent of thermo-majorization. Note that coherence with respect to energy eigenbasis is equivalent to symmetry-breaking (asymmetry) with respect to time-translations generated by the system Hamiltonian. In other words, coherence of states ρA and σA′ is related to how well time t can be estimated from states \(\rho ^{\mathrm{A}}(t) = e^{ - iH_{\mathrm{A}}t}\rho ^{\mathrm{A}}e^{iH_{\mathrm{A}}t}\) and \(\sigma ^{{\mathrm{A}}^\prime }(t) = e^{ - iH_{{\mathrm{A}}^\prime }t}\sigma ^{{\mathrm{A}}^\prime }e^{iH_{{\mathrm{A}}^\prime }t}\).

The TPs are both covariant under time-translation and preserve the Gibbs state. In the Supplementary Note 6, we will show that the converse is also true (i.e. a covariant Gibbs preserving map is a TP). Therefore, previously discussed measures, such as those that are based on Renyi divergences of the form \(A_\alpha (\rho ^{\mathrm{A}}) = S_\alpha (\rho ^{\mathrm{A}}||\langle \rho ^{\mathrm{A}}\rangle)\), behaves monotonically under TPs, and provide independent thermodynamic constraints beyond thermo-majorization10. One can also use constraints on modes of coherence12,37 and the Fisher Information63, to derive other independent measures of athermality. However, the set of conditional min-entropy measures obtained here is complete and therefore sufficient to imply the monotonicity of all of these measures.

In the Supplementary Note 4, we show that the entropic conditions with \(\eta _1^{\mathrm{R}}\) being incoherent in energy leads to thermo-majorization, and captures the degree to which the system A is ordered in energy. Since in quantum systems one has complementarity between time and energy one might expect that the case of \(\eta _1^{\mathrm{R}}\) being highly coherent in energy might therefore capture the degree to which A is ordered in some temporal sense.

This turns out to be the case, although since time forms a continuous one-parameter group there are technical obstacles to making this statement precise. However, as we show in the Supplementary Note 9, one can in general make finite precision approximations and model time evolution for any finite dimensional quantum system (which can be assumed to have an energy spectrum of rational numbers and thus has periodic dynamics under its Hamiltonian) with the discrete group \({\Bbb Z}_N\), for some sufficiently large N and with t = . Here ε > 0 is the minimal time interval that can be resolved. The representation of this discrete group on A is given by \(n \mapsto U_\varepsilon ^{\mathrm{A}}(n): = {\mathrm{exp}}[ - {\mathrm{in}}\varepsilon H^{\mathrm{A}}]\) and so the system is modeled as evolving in discrete time steps. Under these approximations, one can replace microscopic conservation assumption with a slightly weaker version described in Supplementary Note 9, and the interconversion conditions can be repeated for \(G = {\Bbb Z}_N\) instead.

We define clock-times as the discrete instances \(t = 0,\varepsilon , \ldots ,n\varepsilon , \ldots ,(N - 1)\varepsilon\) for the joint system \({\cal H}_R \otimes {\cal H}_{\mathrm{A}}\). As shown in the Supplementary Note 10, there exist reference frame systems R that can provide a perfect classical encoding of the clock times into quantum states \(\{ |0^{\mathrm{R}}\rangle,|1^{\mathrm{R}}\rangle, \ldots ,|N - 1^{\mathrm{R}}\rangle\}\), and for which \(U_\varepsilon ^{\mathrm{R}}(n)|0^{\mathrm{R}}\rangle = |n^{\mathrm{R}}\rangle\) for any n. Moreover, these clock states are built from uniform superpositions in the energy eigenstates of R, and so are in a sense “maximally” coherent in energy. Given this, we can now demonstrate the claimed complementarity between time and energy and how it relates to the state of the reference R. We choose \(\eta _1^{\mathrm{R}} = |0\rangle^{\mathrm{R}}\) and consider the limit q→1, which corresponds to the condition of time-translation covariance alone. For this one can show that

$$\Omega ^{{\mathrm{RA}}} = \frac{1}{N}\mathop {\sum}\limits_{k = 0}^{N - 1} \left| k \right\rangle \left\langle k \right|^{\mathrm{R}} \otimes \rho ^{\mathrm{A}}(n),$$
(24)

where \(\rho ^{\mathrm{A}}(n): = U_\varepsilon ^{\mathrm{A}}(n)\rho ^{\mathrm{A}}(U_\varepsilon ^{\mathrm{A}}(n))^\dagger\) is the state of the system A at the nth clock time for the joint system. Now, since ΩRA is a classical-quantum state, we have that64,65

$$H_{{\mathrm{min}}}(R|A)_\Omega = - {\mathrm{log}}\,p_{{\mathrm{guess}}},$$
(25)

where pguess is the optimal Helstrom guessing probability for the ensemble of states \(\{ (\frac{1}{N},\rho ^{\mathrm{A}}(n))\} _{n = 0}^{N - 1}\) on A. This implies that \(2^{ - H_{{\mathrm{min}}}(R|A)_\Omega }\) is the optimal guessing probability of the clock time t =  for the joint system, given the single copy of ρA. Monotonicity of \(H_{{\mathrm{min}}}(R|A)_\Omega\) under the thermal processes therefore implies monotonicity of the clock time guessing probability for the system. Phrased differently, the time-translation covariance property of thermal processes implies that the ability of the thermodynamic system A to act a quantum clock66 can never increase. This demonstrates how the reference frame system R functions to define both time and energy constraints on the state interconversion for the system A.

We note that this result connects with foundational work by Page and Wootters67, who considered how one can have dynamics in a universe that is covariant in time. They proposed a conditional probability formalism, which mirrors our present set up and relies on covariant measurements with \(P(X^{\mathrm{R}} = x|Y^{\mathrm{A}} = y)\), the probability that some observable XR has a sharp value given a measurement of YA yielding a particular result. These relational expressions were shown to describe dynamics within the time-translation invariant global state, such as ΩRA here.

We note that the condition in Theorem 2 that \(H^{\mathrm{R}} = - (H^{\mathrm{A}})^{\mathrm{T}}\) can be understood in the context of global time-translation covariance. Formally, it says that the free evolution of the reference system R is via the representation dual to the time-translation action on A. More physically, it says that the joint Hamiltonian \(H^{{\mathrm{RA}}} = H^{\mathrm{R}} \otimes 1^{\mathrm{A}} + 1^{\mathrm{R}} \otimes H^{\mathrm{A}}\) admits a non-trivial eigenspace with zero total energy in which coherent dynamics on A can be fully encoded. This should be compared with the Wheeler de Witt equation \(H_{{\mathrm{tot}}}|\Psi \rangle= 0\) in quantum gravity, which also ensures global covariance under time-translations for the universe68.

Multiple conserved charges

Finally, we can state the necessary and sufficient conditions for the case of having additional, additively conserved observables \(\{ X_1, \ldots ,X_n\}\). In this case assumption (A3) follows a similar argument to the one for energy, and the auxiliary system can be assumed to be in a state σB for which \(\sigma ^{\mathrm{B}} = e^{ - isX_k^{\mathrm{B}}}\sigma ^{\mathrm{B}}e^{isX_k^{\mathrm{B}}}\), for all \(s \in {\Bbb R}\) and for any thermodynamic observable \(X_k^{\mathrm{B}}\). Ranging over all the observables, this condition can be expressed more compactly as \(\sigma ^{\mathrm{B}} = U(g)\sigma ^{\mathrm{B}}U^\dagger (g)\), for all unitary transformations U(g) in the Lie group G generated by the observables \(\{ H^{\mathrm{B}},X_1^{\mathrm{B}}, \ldots ,X_n^{\mathrm{B}}\}\). Note that this condition is equivalent to \(\sigma ^{\mathrm{B}} = {\int}_G dg\;U(g)\sigma ^{\mathrm{B}}U^\dagger (g)\), where dg is the uniform (Haar) measure over this group. Therefore, this assumption, together with (A1) imply that the process is covariant with respect to group G, i.e., \({\cal U}_g \circ {\cal E} = {\cal E} \circ {\cal U}_g\), where \({\cal U}_g(\rho ^{\mathrm{A}}): = U(g)\rho ^{\mathrm{A}}U^\dagger (g)\). In other words, the process is covariant under the symmetry group action generated by the thermodynamic observables on the input/output systems. Our main result on the thermodynamic structure of states under TPs is as follows.

Theorem 3: [Generalized thermal processes] Let A and A′ be two quantum systems, with thermodynamic observables \(\{ H^{\mathrm{A}},X_1^{\mathrm{A}} \ldots ,X_n^{\mathrm{A}}\}\) and \(\{ H^{{\mathrm{A}}^\prime },X_1^{{\mathrm{A}}^\prime }, \ldots X_n^{{\mathrm{A}}^\prime }\}\), respectively, and fix 0 < q < 1. The state transformation \(\rho ^{\mathrm{A}} \to \sigma ^{{\mathrm{A}}^\prime }\) is possible under generalized thermal processes at a temperature (kBβ)−1 and at fixed Lagrange multipliers \(\mu _1, \ldots \mu _n\), if and only if for all reference frame systems R of equal dimension to A′ with thermodynamic observables \(H^{\mathrm{R}} = - (H^{{\mathrm{A}}^\prime })^{\mathrm{T}}\) and \(\{ X_k^{\mathrm{R}} = - (X_k^{{\mathrm{A}}^\prime })^{\mathrm{T}}\} _{k = 1}^n\), and for all pairs of states \({\mathbf{\eta }} = (\eta _1,\eta _2)\) we have \(S_{\mathbf{\eta }}(\rho ^{\mathrm{A}}) \le S_{\mathbf{\eta }}(\sigma ^{{\mathrm{A}}^\prime })\), where \(S_{\mathbf{\eta }}(\rho ^{\mathrm{A}}): = H_{{\mathrm{min}}}(R|A)_\Omega\) and

$$\Omega ^{{\mathrm{RA}}} = {\int}_G dg{\kern 1pt} {\kern 1pt} U(g)(q\eta _1^{\mathrm{R}} \otimes \rho ^{\mathrm{A}} + (1 - q)\eta _2^{\mathrm{R}} \otimes \gamma ^{\mathrm{A}})U(g)^\dagger$$
(26)

where {U(g)} is the symmetry group generated by the additively conserved observables \(\{ H^{\mathrm{R}} \otimes 1^{\mathrm{A}} + 1^{\mathrm{R}} \otimes H^{\mathrm{A}},X_k^{\mathrm{R}} \otimes 1^{\mathrm{A}} + 1^{\mathrm{R}} \otimes X_k^{\mathrm{A}};{\kern 1pt} {\kern 1pt} k = 1, \ldots ,n\}\) on the composite system RA, with group parameters g, and \(\gamma ^{\mathrm{A}} = {\mathrm{exp}}[ - \beta (H^{\mathrm{A}} - \mathop {\sum}\nolimits_k \mu _kX_k^{\mathrm{A}})]/{\cal Z}\), being the generalized Gibbs ensemble on A.

This result is a fully covariant statement that is based on minimal assumptions, namely microscopic conservation, equilibrium preservation and incoherence, which reduces to Theorem 2 in the case of no additional thermodynamic observables beyond the system’s energy.

Discussion

In this work, we have considered a generalization of majorization for quantum processes, found a necessary and sufficient condition for this notion of majorization in terms of entropic quantities, and demonstrated some of its applications in the context of the resource theories of asymmetry and quantum thermodynamics. In particular, we derived a complete set of entropic conditions for state transformations in both of these resource theories. In contrast to the previous results, which are only applicable to restricted families of states (such as incoherent states) our approach can be applied to all states. Furthermore, these results can be generalized to the case of approximate transformations in which we only require transformations up to an epsilon smoothing. However, the approximate case requires additional tools and is left for future work.

Since our entropic monotones provide a full characterization of the resource, it is interesting to study their operational interpretations. We discussed some of these interpretations in the context of clocks. Another possible interpretation could be provided by the results of ref. 69, which relates the smoothed entropy \(H_{{\mathrm{max}}}^\varepsilon (R|A^{\prime})\) to the minimal work cost to perform a quantum process. The duality relation between min and max entropies tells us that, where \(C\) purifies the state on RA′, and so this suggests a potential interpretation of our results in terms of generalized work costs on a purifying environment.

We also introduced a new framework for quantum thermodynamics based on the notion of generalized thermal processes, which extends thermal operations, and is based on natural physical principles. This explicitly handles coherences and is the first framework of its kind for which a complete set of state conditions has been derived.

Data availability

The authors declare that all the data supporting the findings of this study are within the paper and its supplementary information files.

Additional information

Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

References

  1. 1.

    Marshall, A. W., Olkin, I. & Arnold, B. C. Inequalities: Theory of Majorization and Its Applications (Springer Series in Statistics, Springer, New York, 2011).

  2. 2.

    Nielsen, M. A. Conditions for a class of entanglement transformations. Phys. Rev. Lett. 83, 436 (1999).

  3. 3.

    Gour, G., Mueller, M. P., Narasimhachar, V., Spekkens, R. W. & Halpern, N. Yunger The resource theory of informational nonequilibrium in thermodynamics. Phys. Rep. 583, 1–58 (2015).

  4. 4.

    Janzing, D., Wocjan, P., Zeier, R., Geiss, R. & Beth, T. Thermodynamic cost of reliability and low temperatures: tightening Landauer’s principle and the second law. Int. J. Theor. Phys. 39, 2717 (2000).

  5. 5.

    Horodecki, M. & Oppenheim, J. Fundamental limitations for quantum and nanoscale thermodynamics. Nat. Commun. 4, 2059 (2013).

  6. 6.

    Aberg, J. Truly work-like work extraction via a single-shot analysis. Nat. Commun. 4, 1925 (2013).

  7. 7.

    Brandão, F. G. S. L., Horodecki, M., Oppenheim, J., Renes, J. M. & Spekkens, R. W. Resource theory of quantum states out of thermal equilibrium. Phys. Rev. Lett. 111, 240404 (2013).

  8. 8.

    Brandão, F. G. S. L., Horodecki, M., Ng, N. H. Y., Oppenheim, J. & Wehner, S. The second laws of quantum thermodynamics. PNAS 112, 3275 (2015).

  9. 9.

    Narasimhachar, V. & Gour, G. Low-temperature thermodynamics with quantum coherence. Nat. Commun. 6, 7689 (2015).

  10. 10.

    Lostaglio, M., Jennings, D. & Rudolph, T. Description of quantum coherence in thermodynamic processes requires constraints beyond free energy. Nat. Comm. 6, 6383 (2015).

  11. 11.

    Cwiklinski, P., Studzinski, M., Horodecki, M. & Oppenheim, J. Limitations for thermodynamical processing of coherences. Phys. Rev. Lett. 115, 210403 (2015).

  12. 12.

    Lostaglio, M., Korzekwa, K., Jennings, D. & Rudolph, T. Quantum coherence, time-translation symmetry and thermodynamics. Phys. Rev. X 5, 021001 (2015).

  13. 13.

    Weilenmann, M., Kramer, L., Faist, P. & Renner, R. Axiomatic relation between thermodynamic and information-theoretic entropies. Phys. Rev. Lett. 117, 260601 (2016).

  14. 14.

    Korzekwa, K., Lostaglio, M., Oppenheim, J. & Jennings, D. The extraction of work from quantum coherence. New J. Phys. 2, 023045 (2016).

  15. 15.

    Ruch, E. & Mead, A. The principle of increasing mixing character and some of its consequences. Theor. Chim. Acta 41, 95–117 (1976).

  16. 16.

    Dahl, G. Matrix majorization. Linear Algebra Appl. 288, 53 (1999).

  17. 17.

    Renes, J. M. Relative submajorization and its use in quantum resource theories. J. Math. Phys. 57, 122202 (2016).

  18. 18.

    Buscemi, F. Fully quantum second-law-like statements from the theory of statistical comparisons. Preprint at arXiv:1505.00535 (2015).

  19. 19.

    Buscemi, F. & Gour, G. Quantum relative Lorenz curves. Phys. Rev. A. 95, 012110 (2017).

  20. 20.

    Torgersen, E. Comparison of Statistical Experiments. Encyclopedia of Mathematics and Its Applications 36 (Cambridge Univ. Press, Cambridge, 1992).

  21. 21.

    Shmaya, E. Comparison of information structures and completely positive maps. J. Phys. A 38, 9717 (2005).

  22. 22.

    Chefles, A. The quantum blackwell theorem and minimum error state discrimination. Preprint at arXiv:0907.0866 (2009).

  23. 23.

    Buscemi, F. Comparison of quantum statistical models: equivalent conditions for sufficiency. Commun. Math. Phys. 310, 625–647 (2012).

  24. 24.

    Buscemi, F., Datta, N. & Strelchuk, S. Game-theoretic characterization of antidegradable channels. J. Math. Phys. 55, 92202 (2014).

  25. 25.

    Jenová, A. Comparison of quantum channels and statistical experiments. In Proc. IEEE International Symposium on Information Theory (ISIT) 2249–2253 (IEEE, Colorado, 2016).

  26. 26.

    Körner, J. & Marton, K. Comparison of two noisy channels. Top. Inf. Theory 16, 411–423 (1977).

  27. 27.

    Buscemi, F. Degradable channels, less noisy channels, and quantum statistical morphisms. Probl. Inf. Transm. 53, 201 (2016).

  28. 28.

    Renner, R. Security of quantum key distribution. Int. J. Quant. Info. 6, 1–127 (2008).

  29. 29.

    Buscemi, F. Reverse data-processing theorems and computational second laws. Pre-print at arXiv:1607.08335 (2016).

  30. 30.

    Tomamichel, M. Quantum Information Processing with Finite Resources—Mathematical Foundations. Springer Briefs in Mathematical Physics (Springer Science and Business Media, Berlin, 2016).

  31. 31.

    Gour, G. Quantum resource theories in the single-shot regime. Phys. Rev. A. 95, 062314 (2017).

  32. 32.

    Bartlett, S. D., Rudolph, T. & Spekkens, R. W. Reference frames, superselection rules, and quantum information. Rev. Mod. Phys. 79, 555 (2007).

  33. 33.

    Alberti, P. M. & Uhlmann, A. A problem relating to positive linear maps on matrix algebras. Rep. Math. Phys. 18, 163–176 (1980).

  34. 34.

    Chefles, A., Jozsa, R. & Winter, A. On the existence of physical transformations between sets of quantum states. Int. J. Quant. Info. 2, 11–21 (2004).

  35. 35.

    Heinosaari, T., Jivulescu, M. A., Reeb, D. & Wolf, M. Extending quantum operations. J. Math. Phys. 53, 102208 (2012).

  36. 36.

    Gour, G., Marvian, I. & Spekkens, R. W. Measuring the quality of a quantum reference frame: the relative entropy of frameness. Phys. Rev. A. 80, 012307 (2009).

  37. 37.

    Marvian, I. & Spekkens, R. W. Modes of asymmetry: the application of harmonic analysis to symmetric quantum dynamics and quantum reference frames. Phys. Rev. A. 90, 062110 (2014).

  38. 38.

    Marvian, I. & Spekkens, R. W. Extending Noether’s theorem by quantifying the asymmetry of quantum states. Nat. Commun. 5, 3821 (2014).

  39. 39.

    Marvian, I. Symmetry, Asymmetry and Quantum Information. PhD thesis, University of Waterloo. https://uwspace.uwaterloo.ca/handle/10012/7088 (2012).

  40. 40.

    Aberg, J. Catalytic coherence. Phys. Rev. Lett. 113, 150402 (2014).

  41. 41.

    Callen, H. Thermodynamics and An Introduction to Thermostatistics 2nd edn (John Wiley & Sons, New Jersey, 1985).

  42. 42.

    Jarzynski, C. Nonequilibrium equality for free energy differences. Phys. Rev. Lett. 78, 2690 (1997).

  43. 43.

    Crooks, G. E. Entropy production fluctuation theorem and the nonequilibrium work relation for free energy differences. Phys. Rev. E 60, 2721 (1999).

  44. 44.

    Campisi, M., Hänggi, P. & Talkner, P. Colloquium. Quantum fluctuation relations: foundations and applications. Rev. Mod. Phys. 83, 771–791 (2011).

  45. 45.

    Goold, J., Huber, M., Riera, A., del Rio, L. & Skrzypczyk, P. The role of quantum information in thermodynamics—a topical review. J. Phys. A 49, 143001 (2016).

  46. 46.

    Vinjanampathy, S. & Anders, J. Quantum thermodynamics. Contemp. Phys. 57, 545 (2016).

  47. 47.

    Partovi, M. Verschraenkung versus Stosszahlansatz: disappearance of the thermodynamic arrow in a high-correlation environment. Phys. Rev. E 77, 021110 (2008).

  48. 48.

    del Rio, L., Aberg, J., Renner, R., Dahlsten, O. & Vedral, V. The thermodynamic meaning of negative entropy. Nature 474, 61 (2011).

  49. 49.

    Jennings, D. & Rudolph, T. Entanglement and the thermodynamic arrow of time. Phys. Rev. E 81, 061130 (2010).

  50. 50.

    Carathéodory, C. Untersuchungen über die Grundlagen der Thermodynamik. Math. Ann. 67, 355–386 (1909).

  51. 51.

    Giles, R. Mathematical Foundations of Thermodynamics (Pergamon, Oxford, 1964).

  52. 52.

    Lieb, E. H. & Yngvason, J. The physics and mathematics of the second law of thermodynamics. Phys. Rept 310, 1–96 (1999).

  53. 53.

    Pusz, W. & Woronowicz, S. L. Passive states and KMS states for general quantum systems. Comm. Math. Phys. 58, 273 (1978).

  54. 54.

    Lenard, A. Thermodynamical proof of the Gibbs formula for elementary quantum systems. J. Stat. Phys. 19, 575 (1978).

  55. 55.

    Balian, R. & Balazs, N. L. Equiprobability, inference, and entropy in quantum theory. Ann. Phys. 179, 97 (1987).

  56. 56.

    Vaccaro, J. A. & Barnett, S. M. Information erasure without an energy cost. Proc. R. Soc. A 467, 1770–1778 (2011).

  57. 57.

    Halpern, N. Yunger Beyond heat baths II: framework for generalized thermodynamic resource theories. J. Phys. A 51, 094001 (2018).

  58. 58.

    Lostaglio, M., Jennings, D. & Rudolph, T. Thermodynamic resource theories, non-commutativity and maximum entropy principles. New J. Phys. 19, 043008 (2017).

  59. 59.

    Yunger Halpern, N., Faist, O., Oppenheim, J. & Winter, A. Microcanonical and resource-theoretic derivations of the thermal state of a quantum system with noncommuting charges. Nat. Comm. 7, 12051 (2016).

  60. 60.

    Guryanova, Y., Popescu, S., Short, A. J., Silva, R. & Skrzypczyk, P. Thermodynamics of quantum systems with multiple conserved quantities. Nat. Commun. 7, 12049 (2016).

  61. 61.

    Cassidy, A. C., Clark, C. W. & Rigol, M. Generalized thermalization in an integrable lattice system. Phys. Rev. Lett. 14, 140405 (2011).

  62. 62.

    Ruch, E., Schranner, R. & Seligman, T. H. Generalization of a theorem by Hardy, Littlewood, and Pólya, J. Math. Anal. Appl. 76, 222 (1980).

  63. 63.

    Kwon, H., Jeong, H., Jennings, D., Yadin, B. & Kim, M. S. Clock-work trade-off relation for coherence in quantum thermodynamics. Phys. Rev. Lett. 120, 150602 (2018).

  64. 64.

    König, R., Renner, R., & Schaffner, C. The Operational Meaning of Min- and Max-Entropy. IEEE Trans. Info. Theory 55, 4337 (2009).

  65. 65.

    Vitanov, A., Dupuis, F., Tomamichel, M. & Renner, R. Chain Rules for Smooth Min- and Max-Entropies. IEEE Trans. Info. Theory 59, 2603–2612 (2013).

  66. 66.

    Peres, A. Measurement of time by quantum clocks. Am. J. Phys. 48, 552 (1980).

  67. 67.

    Page, D. & Wootters, W. Evolution without evolution: dynamics described by stationary observables. Phys. Rev. D. 27, 2885 (1983).

  68. 68.

    DeWitt, C., Wheeler, J. A. & Rencontres, B. Lectures in Mathematics and Physics 242–307 (Benjamin, New York, 1968).

  69. 69.

    Faist, P., Dupuis, F., Oppenheim, J. & Renner, R. The minimal work cost of information processing. Nat. Commun. 6, 7669 (2015).

Download references

Acknowledgements

G.G. would like to thank Rob Spekkens for pointing out ref. 34, and for many discussions on classical matrix majorization. We would also like to thank Eric Chitambar, Philippe Faist, Mark Girard, Kamil Korzekwa, and Matteo Lostaglio for useful discussions, and to Nicole Yunger Halpern for many comments on the first version. We also thanks for an anonymous referee who provided the simplified proof for Lemma 5 of the current version. F.B. acknowledges support from JSPS KAKENHI, Grant nos. 26247016 and 17K17796. G.G. acknowledges support from the Natural Sciences and Engineering Research Council of Canada (NSERC), D.J. is funded by the Royal Society.

Author information

Affiliations

  1. Department of Mathematics and Statistics, University of Calgary, Calgary, AB, T2N 1N4, Canada

    • Gilad Gour
  2. Institute for Quantum Science and Technology, University of Calgary, Calgary, AB, T2N 1N4, Canada

    • Gilad Gour
  3. Department of Physics, University of Oxford, Oxford, OX1 3PU, UK

    • David Jennings
  4. Department of Physics, Imperial College London, London, SW7 2AZ, UK

    • David Jennings
  5. Department of Mathematical Informatics, Nagoya University, Chikusa-ku, Nagoya, 464-8601, Japan

    • Francesco Buscemi
  6. Institute for Quantum Computing, Baidu Inc., 100193, Beijing, China

    • Runyao Duan
  7. Centre for Quantum Software and Information, Faculty of Engineering and Information Technology, University of Technology Sydney, Sydney, NSW, 2007, Australia

    • Runyao Duan
  8. Departments of Physics & Electrical and Computer Engineering, Duke University, Durham, NC, 27708, USA

    • Iman Marvian

Authors

  1. Search for Gilad Gour in:

  2. Search for David Jennings in:

  3. Search for Francesco Buscemi in:

  4. Search for Runyao Duan in:

  5. Search for Iman Marvian in:

Contributions

G.G. and D.J. conceived and developed the presented idea. Some of these ideas were conceived independently by F.B. who later on joined the project and helped both in developing the theory further, and in the writing of the paper. R.D. conceived the idea that the problem of quantum majorization can be solved with semidefinite programming and helped with the initial computations. I.M. helped with many discussions and with the revisions of the manuscript. All authors discussed the results and contributed to the final manuscript.

Competing interests

The authors declare no competing interests.

Corresponding author

Correspondence to Gilad Gour.

Electronic supplementary material

About this article

Publication history

Received

Accepted

Published

DOI

https://doi.org/10.1038/s41467-018-06261-7

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.