Abstract
The grand canonical ensemble lies at the core of quantum and classical statistical mechanics. A small system thermalizes to this ensemble while exchanging heat and particles with a bath. A quantum system may exchange quantities represented by operators that fail to commute. Whether such a system thermalizes and what form the thermal state has are questions about truly quantum thermodynamics. Here we investigate this thermal state from three perspectives. First, we introduce an approximate microcanonical ensemble. If this ensemble characterizes the systemandbath composite, tracing out the bath yields the system’s thermal state. This state is expected to be the equilibrium point, we argue, of typical dynamics. Finally, we define a resourcetheory model for thermodynamic exchanges of noncommuting observables. Complete passivity—the inability to extract work from equilibrium states—implies the thermal state’s form, too. Our work opens new avenues into equilibrium in the presence of quantum noncommutation.
Introduction
Recently reignited interest in quantum thermodynamics has prompted informationtheoretic approaches to fundamental questions^{1,2,3,4}. The role of entanglement, for example, has been clarified with canonical typicality^{5,6,7,8}. Equilibriumlike behaviours have been predicted^{9,10,11,12} and experimentally observed in integrable quantum gases^{13,14}.
Thermodynamic resource theories offer a powerful tool for analysing fundamental properties of the thermodynamics of quantum systems. Heat exchanges with a bath are modelled with ‘free states’ and ‘free operations’^{15,16,17,18}. These resource theories have been extended to model exchanges of additional physical quantities, such as particles and angular momentum^{18,19,20,21,22}.
A central concept in thermodynamics and statistical mechanics is the thermal state. The thermal state has several important properties. First, typical dynamics evolve the system towards the thermal state. The thermal state is the equilibrium state. Second, consider casting statistical mechanics as an inference problem. The thermal state is the state that maximizes the entropy under constraints on physical quantities^{23,24}. Third, consider the system as interacting with a large bath. The systemandbath composite occupies a microcanonical state. Physical observables of the composite, such as the total energy and total particle number, have sharply defined values. The system’s reduced state is the thermal state. Finally, in a resource theory, the thermal state is the only completely passive state. No work can be extracted from any number of copies of the thermal state^{25,26}.
If a small system exchanges heat and particles with a large environment, the system’s thermal state is a grand canonical ensemble: e^{−β(H−μN)}/Z. The system’s Hamiltonian and particle number are represented by H and N. β and μ denote the environment’s inverse temperature and chemical potential. The partition function Z normalizes the state. The systemandbath dynamics conserves the total energy and total particle number. More generally, subsystems exchange conserved quantities, or ‘charges,’ Q_{j}, j=1, 2,…c. To these charges correspond generalized chemical potentials μ_{j}. The μ_{j}’s characterize the bath.
We address the following question. Suppose that the charges fail to commute with each other: [Q_{j}, Q_{k}]≠0. What form does the thermal state have? We call this state ‘the nonAbelian thermal state’ (NATS). Jaynes applied the principle of maximum entropy to this question^{24}. He associated fixed values v_{j} with the charges’ expectation values. He calculated the state that, on satisfying these constraints, maximizes an entropy. This thermal state has a generalized Gibbs form:
wherein the v_{j}’s determine the μ_{j}’s.
Our contribution is a mathematical, physically justified derivation of the thermal state’s form for systems whose dynamics conserve noncommuting observables. We recover the state (1) via several approaches, demonstrating its physical importance. We address puzzles raised in refs 21, 27 about how to formulate a resource theory in which thermodynamic charges fail to commute. Closely related, independent work was performed by Guryanova et al.^{28} We focus primarily on the nature of passive states. Guryanova et al., meanwhile, focus more on the resource theory for multiple charges and on tradeoffs amongst types of charge extractions.
In this paper, we derive the NATS’s form from a microcanonical argument. A simultaneous eigenspace of all the noncommuting physical charges might not exist. Hence, we introduce the notion of an approximate microcanonical subspace. This subspace consists of the states in which the charges have sharply defined values. We derive conditions under which this subspace exists. We show that a small subsystem’s reduced state lies, on average, close to γ_{v}. Second, we invoke canonical typicality^{7,8}. If the systemandbath composite occupies a random state in the approximate microcanonical subspace, we argue, a small subsystem’s state likely lies close to the NATS. Typical dynamics are therefore expected to evolve a wellbehaved system’s state towards the NATS. Third, we define a resource theory for thermodynamic exchanges of noncommuting conserved charges. We extend existing resource theories to model the exchange of noncommuting quantities. We show that the NATS is the only possible free state that renders the theory nontrivial: Work cannot be extracted from any number of copies of γ_{v}. We show also that the NATS is the only state preserved by free operations. From this preservation, we derive ‘second laws’ that govern state transformations. This work provides a wellrounded, and novelly physical, perspective on equilibrium in the presence of quantum noncommutation. This perspective opens truly quantum avenues in thermodynamics.
Results
Overview
We derive the NATS’s form via three routes: from a microcanonical argument; from a dynamical argument built on canonical typicality; and from complete passivity in a resource theory. Details appear in Supplementary Notes 1–3.
Microcanonical derivation
In statistical mechanics, the form e^{−β(H−μN)}/Z of the grand canonical ensemble is well known to be derivable as follows. The system of interest is assumed to be part of a larger system. Observables of the composite have fixed values v_{j}. For example, the energy equals E_{0}, and the particle number equals N_{0}. The microcanonical ensemble is the wholesystem state spread uniformly across these observables’ simultaneous eigenspace. Tracing out the environmental degrees of freedom yields the state e^{−β(H−μN)}/Z.
We derive the NATS’s form similarly. Crucially, however, we adapt the above strategy to allow for noncommuting observables. Observables might not have welldefined values v_{j} simultaneously. Hence a microcanonical ensemble as discussed above, suitable for commuting observables, may not exist. We overcome this obstacle by introducing an approximate microcanonical ensemble Ω. We show that, for every state satisfying the conditions of an approximate microcanonical ensemble, tracing out most of the larger system yields, on average, a state close to the NATS. We exhibit conditions under which an approximate microcanonical ensemble exists. The conditions can be satisfied when the larger system consists of many noninteracting replicas of the system. An important step in the proof consists of reducing the noncommuting case to the commuting one. This reduction relies on a result by Ogata (ref. 29, Theorem 1.1). A summary appears in Fig. 1.
Setup. Let denote a system associated with a Hilbert space , with a Hamiltonian H≡Q_{0,} and with observables (which we call ‘charges’) Q_{1}, Q_{2}, …, Q_{c}. The charges do not necessarily commute with each other: [Q_{j}, Q_{k}]≠0.
Consider N replicas of , associated with the compositesystem Hilbert space . We average each charge Q_{j} over the N copies:
The basic idea is that, as N grows, the averaged operators come increasingly to commute. Indeed, there exist operators that commute with each other and that approximate the averages (ref. 29, Theorem 1.1). An illustration appears in Fig. 2.
Derivation. Since the ’s commute mutually, they can be measured simultaneously. More importantly, the joint Hilbert space contains a subspace on which each has prescribed values close to v_{j}. Let denote the subspace. Perhaps unsurprisingly, because the ’s approximate the ’s, each state in has a nearly welldefined value of near v_{j}. If is measured, the distribution is sharply peaked around v_{j}. We can also show the opposite: every state with nearly welldefined values v_{j} of all ’s has most of its probability weight in .
These two properties show that is an approximate microcanonical subspace for the ’s with values v_{j}. The notion of the approximate microcanonical subspace is the first major contribution of our work. It captures the idea that for large N we can approximately fix the values of the noncommuting charges Q_{j}. An approximate microcanonical subspace is any subspace consisting of the wholesystem states whose average observables have nearly welldefined values v_{j}. More precisely, a measurement of any has a high probability of yielding a value near v_{j} if and only if most of the state’s probability weight lies in .
Normalizing the projector onto yields an approximate microcanonical ensemble, Ω. Tracing out every copy of but the yields the reduced state . The distance between and the NATS γ_{v} can be quantified by the relative entropy
Here is the von Neumann entropy. The relative entropy D is bounded by the trace norm , which quantifies the distinguishability of and γ_{v} (ref. 30):
Our second main result is that if Ω is an approximate microcanonical ensemble, then the average, over systems , of the relative entropy D between and γ_{v} is small:
The parameter vanishes in the manycopy limit. θ′ depends on the number c of charges, on the approximate expectation values v_{j}, on the eigenvalues of the charges Q_{j} and on the (small) parameters in terms of which approximates a microcanonical subspace.
Inequality (5) capstones the derivation. The inequality follows from bounding each term in equation (3), the definition of the relative entropy D. The entropy is bounded with θ. This bound relies on Schumacher’s Theorem, which quantifies the size of a highprobability subspace like with an entropy S(γ_{v})^{31}. We bound the second term in the D definition with θ′. This bound relies on the definition of : outcomes of measurements of the ’s are predictable up to parameters on which θ′ depends.
Finally, we present conditions under which the approximate microcanonical subspace exists. Several parameters quantify the approximation. The parameters are shown to be interrelated and to approach zero simultaneously as N grows. In particular, the approximate microcanonical subspace exists if N is great enough.
This microcanonical derivation offers a physical counterpoint to Jaynes’s maximumentropy derivation of the NATS’s form. We relate the NATS to the physical picture of a small subsystem in a vast universe that occupies an approximate microcanonical state. This vast universe allows the correspondence principle to underpin our argument. In the manycopy limit as N→∞, the principle implies that quantum behaviours should vanish, as the averages of the noncommuting charges Q_{j} come to be approximated by commuting ’s. Drawing on Ogata’s Theorem 1.1 (ref. 29), we link thermality in the presence of noncommutation to the physical correspondence principle.
Dynamical considerations
The microcanonical and maximumentropy arguments rely on kinematics and information theory. But we wish to associate the NATS with the fixed point of dynamics. The microcanonical argument, combined with canonical typicality, suggests that the NATS is the equilibrium state of typical dynamics. Canonical typicality enables us to model the universe’s state with a pure state in the approximate microcanonical subspace . If a large system occupies a randomly chosen pure state, the reduced state of a small subsystem is close to thermal^{5,6,7,8}.
Consider, as in the previous section, N copies of the system . By Ω, we denoted the composite system’s approximately microcanonical state. We denoted by the reduced state of the copy, formed by tracing out most copies from Ω. Imagine that the whole system occupies a pure state . Denote by the reduced state of the copy. is close to , on average, by canonical typicality^{7}:
The average 〈.〉 is over pure states . The trace norm is denoted by ; denotes the dimensionality of the Hilbert space of one copy of ; and denotes the dimensionality of the approximate microcanonical subspace .
We have bounded, using canonical typicality, the average trace norm between and . We can bound the average trace norm between and the NATS γ_{v}, using our microcanonical argument. (Supplementary equation (10) bounds the average relative entropy D between and γ_{v}. Pinsker’s inequality, Ineq. (4), lower bounds D in terms of the trace norm.) Combining these two tracenorm bounds via the triangle inequality, we bound the average distance between and γ_{v}:
If the whole system occupies a random pure state in , the reduced state of a subsystem is, on average, close to the NATS γ_{v}.
Sufficiently ergodic dynamics is expected to evolve the wholesystem state to a that satisfies Ineq. (7): suppose that the whole system begins in a pure state . Suppose that the system’s Hamiltonian commutes with the charges: [H, Q_{j}]=0 for all j=1, …, c. The dynamics conserves the charges. Hence, most of the amplitude of remains in for appreciable times. Over sufficient times, ergodic dynamics yields a state that can be regarded as random. Hence the reduced state is expected be close to for most longenough times t.
Exploring how the dynamics depends on the number of copies of the system offers promise for interesting future research.
Resource theory
A thermodynamic resource theory is an explicit characterization of a thermodynamic system’s resources, free states and free operations with a rigorous mathematical model. The resource theory specifies what an experimenter considers valuable (for example, work) and what is considered plentiful, or free (for example, thermal states). To define a resource theory, we specify allowed operations and which states can be accessed for free. We use this framework to quantify the resources needed to transform one state into another.
The first resource theory was entanglement theory^{32}. The theory’s free operations are local operations and classical communication. The free states are the states that can be easily prepared with local operations and classical communication, the separable states. Entangled states constitute valuable resources. One can quantify entanglement using this resource theory.
We present a resource theory for thermodynamic systems that have noncommuting conserved charges Q_{j}. The theory is defined by its set of free operations, which we call ‘nonAbelian thermal operations’ (NATO). NATO generalize thermal operations^{15,18}. How to extend thermodynamic resource theories to conserved quantities other than energy was noted in refs 18, 20, 21. The NATO theory is related to the resource theory in ref. 27.
We supplement these earlier approaches with two additions. First, a battery has a work payoff function dependent on chemical potentials. We use this payoff function to define chemical work. Second, we consider a reference system for a nonAbelian group. The reference system is needed to resolve the difficulty encountered in refs 21, 27: There might be no nontrivial operations which respect all the conservation laws. The laws of physics require that any operation performed by an experimenter commutes with all the charges. If the charges fail to commute with each other, there might be no nontrivial unitaries that commute with all of them. In practice, one is not limited by such a stringent constraint. The reason is that an experimenter has access to a reference frame^{33,34,35}.
A reference frame is a system W prepared in a state such that for any unitary on a system S which does not commute with the charges of S, some global unitary on WS conserves the total charges and approximates the unitary on S to arbitrary precision. The reference frame relaxes the strong constraint on the unitaries. The reference frame can be merged with the battery, in which the agent stores the ability to perform work. We refer to the composite as ‘the battery’. We denote its state by ρ_{W}. The battery has a Hamiltonian H_{W} and charges ${Q}_{{j}_{\text{w}}}$, described below.
Within this resource theory, the NATS emerges in two ways:

1
The NATS is the unique state from which work cannot be extracted, even if arbitrarily many copies are available. That is, the NATS is completely passive.

2
The NATS is the only state of S that remains invariant under the free operations during which no work is performed on S.
On proving the latter condition, we prove second laws for thermodynamics with noncommuting charges. These laws provide necessary conditions for a transition to be possible. In some cases, we show, the laws are sufficient. These second laws govern state transitions of a system ρ_{S}, governed by a Hamiltonian H_{S}, whose charges can be exchanged with the surroundings. We allow the experimenter to couple ρ_{S} to free states ρ_{R}. The form of ρ_{R} is determined by the Hamiltonian H_{R} and the charges attributable to the free system. We will show that these free states have the form of the NATS. As noted above, no other state could be free. If other states were free, an arbitrarily large amount of work could be extracted from them.
Before presenting the second laws, we must define ‘work’. In textbook examples about gases, one defines work as δW=p dV, because a change in volume at a fixed pressure can be translated into the ordinary notion of mechanical work. If a polymer is stretched, then δW=F dx, wherein x denotes the polymer’s linear displacement and F denotes the restoring force. If B denotes a magnetic field and M denotes a medium’s magnetization, δW=B dM. The definition of ‘work’ can depend on one’s ability to transform changes in thermodynamic variables into a standard notion of ‘work,’ such as mechanical or electrical work.
Our approach is to define a notion of chemical work. We could do so by modelling explicitly how the change in some quantity Q_{j} can be used to extract μ_{j} δQ_{j} work. Explicit modelling would involve adding a term to the battery Hamiltonian H_{W}. Rather than considering a specific work Hamiltonian or model of chemical work, however, we consider a work payoff function,
The physical situation could determine the form of this . For example, the μ_{j}’s could denote the battery’s chemical potentials. In such a case, would denote the battery’s total Hamiltonian, which would depend on those potentials.
We choose a route conceptually simpler than considering an explicit Hamiltonian and battery system, however. We consider equation (8) as a payoff function that defines the linear combination of charges that interests us. We define the (chemical) work expended or distilled during a transformation as the change in the quantum expectation value .
The form of is implicitly determined by the battery’s structure and by how charges can be converted into work. For our purposes, however, the origin of the form of need not be known. will uniquely determine the μ_{j}’s in the NATS. Alternatively, we could first imagine that the agent could access, for free, a particular NATS. This NATS’s form would determine the work function’s form. If the charges commute, the corresponding Gibbs state is known to be the unique state that is completely passive with respect to the observable (8).
In Supplementary Note 3, we specify the resource theory for noncommuting charges in more detail. We show how to construct allowable operations, using the reference frame and battery. From the allowable operations, we derive a zeroth law of thermodynamics.
Complete passivity and zeroth law. This zeroth law relates to the principle of complete passivity, discussed in refs 25, 26. A state is complete passive if an agent cannot extract work from arbitrarily many copies of the state. In the resource theory for heat exchanges, completely passive states can be free. They do not render the theory trivial because no work can be drawn from them^{17}.
In the NATO resource theory, we show, the only reasonable free states have the NATS’s form. The free states’ chemical potentials equal the μ_{j}’s in the payoff function , at some common fixed temperature. Any other state would render the resource theory trivial: from copies of any other state, arbitrarily much work could be extracted for free. Then, we show that the NATS is preserved by NATO, the operations that perform no work on the system.
The free states form an equivalence class. They lead to notions of temperature and chemical potentials μ_{j}. This derivation of the free state’s form extends complete passivity and the zeroth law from ref. 17 to noncommuting conserved charges. The derivation further solidifies the role of the NATS in thermodynamics.
Second laws. The free operations preserve the NATS. We therefore focus on contractive measures of states’ distances from the NATS. Contractive functions decrease monotonically under the free operations. Monotones feature in ‘second laws’ that signal whether NATO can implement a state transformation. For example, the αRényi relative entropies between a state and the NATS cannot increase.
Monotonicity allows us to define generalized free energies as
wherein β≡1/(k_{B}T) and k_{B} denotes Boltzmann’s constant. γ_{S} denotes the NATS with respect to the Hamiltonian H_{S} and the charges of the system S. The partition function is denoted by Z. Various classical and quantum definitions of the Rényi relative entropies D_{α} are known to be contractive^{17,36,37,38,39}. The free energies F_{α} decrease monotonically if no work is performed on the system. Hence the F_{α}’s characterize natural second laws that govern achievable transitions.
For example, the classical Rényi divergences are defined as
wherein p_{k} and q_{k} denote the probabilities of ρ_{S} and of γ_{S} in the basis. The D_{α}’s lead to second laws that hold even in the absence of a reference frame and even outside the context of the average work.
The F_{α}’s reduce to the standard free energy when averages are taken over large numbers. Consider the asymptotic (‘thermodynamic’) limit in which many copies of ρ_{S} are transformed. Suppose that the agent has some arbitrarily small probability ɛ of failing to implement the desired transition. ɛ can be incorporated into the free energies via a technique called ‘smoothing’^{17}. The average, over copies of the state, of every smoothed approaches F_{1} (ref. 17):
We have invoked the relative entropy’s definition
Note the similarity between the manycopy average F_{1} in equation (13) and the ordinary free energy, F=E−T S+∑_{j} μ_{j}N_{j}. The monotonic decrease of F_{1} constitutes a necessary and sufficient condition for a state transition to be possible in the presence of a reference system in the asymptotic limit.
In terms of the generalized free energies, we formulate second laws.
Proposition 1: in the presence of a heat bath of inverse temperature β and chemical potentials μ_{j}, the free energies F_{α}(ρ_{S}, γ_{S}) decrease monotonically:
wherein ρ_{S} and denote the system’s initial and final states. The system’s Hamiltonian and charges may transform from H_{S} and to and . The NATSs associated with the same Hamiltonians and charges are denoted by γ_{S} and . If
some NATO maps ρ_{S} to .
As in ref. 17, additional laws can be defined in terms of quantum Rényi divergences^{36,37,38,39}. This amounts to choosing, in Proposition 1, a definition of the Rényi divergence which accounts for the possibility that ρ_{S} and have coherences relative to the eigenbasis. Several measures are known to be contractive^{36,37,38,39}. They, too, provide a new set of second laws.
Extractable work: in terms of the free energies F_{α}, we can bound the work extractable from a resource state via NATO. We consider the battery W separately from the system S of interest. We assume that W and S occupy a product state. (This assumption is unnecessary if we focus on average work.) Let ρ_{W} and denote the battery’s initial and final states.
For all α,
Since ,
The lefthand side of Ineq. (18) represents the work extractable during one implementation of ρ_{S}→. Hence the righthand side bounds the work extractable during the transition.
Consider extracting work from many copies of ρ_{S} (that is, extracting work from ) in each of many trials. Consider the averageovertrials extracted work, defined as . The averageovertrials work extracted per copy of ρ_{S} is . This average work per copy has a high probability of lying close to the change in the expectation value of the system’s work function, , if n is large.
Averaging over the lefthand side of Ineq. (18) yields the average work extracted per instance of the transformation. The average over the righthand side approaches the change in F_{1} (equation (13)):
This bound is achievable with a reference system, as shown in refs 40, 41.
We have focused on the extraction of work defined by . One can extract, instead, an individual charge Q_{j}. The second laws do not restrict singlecharge extraction. But extracting much of one charge Q_{j} precludes the extraction of much of another charge, Q_{k}. In Supplementary Note 3, we discuss the tradeoffs amongst extractions of different charges Q_{j}.
Discussion
We have derived, via multiple routes, the form of the thermal state of a system that has noncommuting conserved charges. First, we regarded the system as part of a vast composite that occupied an approximate microcanonical state. Tracing out the environment yields a reduced state that lies, on average, close to a thermal state of the expected form. This microcanonical argument, with canonical typicality, suggests that the NATS is the fixed point of typical dynamics. Defining a resource theory, we showed that the NATS is the only completely passive state and is the only state preserved by free operations. These physical derivations buttress Jaynes’s informationtheoretic derivation from the principle of maximum entropy.
Our derivations also establish tools applicable to quantum noncommutation in thermodynamics. In the microcanonical argument, we introduced an approximate microcanonical state Ω. This Ω resembles the microcanonical ensemble associated with a fixed energy, a fixed particle number and so on but accommodates noncommuting charges. Our completepassivity argument relies on a littleexplored resource theory for thermodynamics, in which free unitaries conserve noncommuting charges.
We expect that the equilibrium behaviours predicted here may be observed in experiments. Quantum gases have recently demonstrated equilibriumlike predictions about integrable quantum systems^{11,13}.
From a conceptual perspective, our work shows that notions previously considered relevant only to commuting charges—for example, the microcanonical subspace—extend to noncommuting charges. This work opens fully quantum thermodynamics to analysis with familiar, but suitably adapted, technical tools.
Data availability
Data sharing is not applicable to this article, as no data sets were generated or analysed during this study.
Additional information
How to cite this article: Yunger Halpern, N. et al. Microcanonical and resourcetheoretic derivations of the thermal state of a quantum system with noncommuting charges. Nat. Commun. 7:12051 doi: 10.1038/ncomms12051 (2016).
References
 1
Gemmer, J., Michel, M., Michel, M. & Mahler, G. Quantum Thermodynamics: Emergence of Thermodynamic Behavior within Composite Quantum Systems Springer (2009).
 2
Gogolin, C. & Eisert, J. Equilibration, thermalisation, and the emergence of statistical mechanics in closed quantum systems. Rep. Prog. Phys. 79, 056001 (2016).
 3
Goold, J., Huber, M., Riera, A., del Rio, L. & Skrzypczyk, P. The role of quantum information in thermodynamics—a topical review. J. Phys. A: Math. Theor. 49, 143001 (2016).
 4
Vinjanampathy, S. & Anders, J. Quantum thermodynamics. Preprint at http://arxiv.org/abs/1508.06099 (2015).
 5
Goldstein, S., Lebowitz, J. L., Tumulka, R. & Zanghí, N. Canonical typicality. Phys. Rev. Lett. 96, 050403 (2006).
 6
Gemmer, J., Michel, M. & Mahler, G. 18 Equilibrium Properties of Model Systems Springer (2004).
 7
Popescu, S., Short, A. J. & Winter, A. The foundations of statistical mechanics from entanglement: individual states versus averages. Nat. Phys. 2, 754–758 (2006).
 8
Linden, N., Popescu, S., Short, A. J. & Winter, A. Quantum mechanical evolution towards thermal equilibrium. Phys. Rev. E 79, 061103 (2009).
 9
Fermi, E., Pasta, J. & Ulam, S. Studies of Nonlinear Problems I. Los Alamos Report LA1940 Los Alamos Scientific Laboratory (1955).
 10
Kinoshita, T., Wenger, T. & Weiss, D. S. A quantum Newton’s cradle. Nature 440, 900–903 (2006).
 11
Rigol, M., Dunjko, V., Yurovsky, V. & Olshanii, M. Relaxation in a completely integrable manybody quantum system: an Ab Initio study of the dynamics of the highly excited states of 1d lattice hardcore bosons. Phys. Rev. Lett. 98, 050405 (2007).
 12
Polkovnikov, A., Sengupta, K., Silva, A. & Vengalattore, M. Colloquium: nonequilibrium dynamics of closed interacting quantum systems. Rev. Mod. Phys. 83, 863–883 (2011).
 13
Langen, T. et al. Experimental observation of a generalized Gibbs ensemble. Science 348, 207–211 (2015).
 14
Langen, T., Geiger, R. & Schmiedmayer, J. Ultracold atoms out of equilibrium. Annu. Rev. Condens. Matter Phys. 6, 201–217 (2015).
 15
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–2753 (2000).
 16
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, 250404 (2013).
 17
Brandao, F. G. S. L., Horodecki, M., Ng, N. H. Y., Oppenheim, J. & Wehner, S. The second laws of quantum thermodynamics. Proc. Natl Acad. Sci. USA 112, 3275–3279 (2015).
 18
Horodecki, M. & Oppenheim, J. Fundamental limitations for quantum and nano thermodynamics. Nat. Commun. 4, 2059 (2013).
 19
Vaccaro, J. A. & Barnett, S. M. Information erasure without an energy cost. Proc. R. Soc. A 467, 1770–1778 (2011).
 20
Yunger Halpern, N. & Renes, J. M. Beyond heat baths: generalized resource theories for smallscale thermodynamics. Phys. Rev. E 93, 022126 (2016).
 21
Yunger Halpern, N. Beyond heat baths II: Framework for generalized thermodynamic resource theories. Preprint at http://arxiv.org/abs/1409.7845 (2014).
 22
Weilenmann, M., Krämer, L., Faist, P. & Renner, R. Axiomatic relation between thermodynamic and informationtheoretic entropies. Preprint at http://arxiv.org/abs/1501.06920 (2015).
 23
Jaynes, E. T. Information theory and statistical mechanics I. Phys. Rev. 106, 620–630 (1957).
 24
Jaynes, E. T. Information theory and statistical mechanics II. Phys. Rev. 108, 171–190 (1957).
 25
Pusz, W. & Woronowicz, S. L. Passive states and KMS states for general quantum systems. Comm. Math. Phys. 58, 273–290 (1978).
 26
Lenard, A. Thermodynamical proof of the Gibbs formula for elementary quantum systems. J. Stat. Phys. 19, 575 (1978).
 27
Lostaglio, M., Jennings, D. & Rudolph, T. Thermodynamic resource theories, noncommutativity and maximum entropy principles. Preprint at http://arxiv.org/abs/1511.04420 (2015).
 28
Guryanova, Y., Popescu, S., Short, A. J., Silva, R. & Skrzypczyk, P. Thermodynamics of quantum systems with multiple conserved quantities. Nat. Commun. 7, 12049 (2016).
 29
Ogata, Y. Approximating macroscopic observables in quantum spin systems with commuting matrices. J. Funct. Anal. 264, 2005–2033 (2013).
 30
Hiai, F., Ohya, M. & Tsukada, M. Sufficiency, KMS condition and relative entropy in von Neumann algebras. Pacific J. Math. 96, 99–109 (1981).
 31
Schumacher, B. Quantum coding. Phys. Rev. A 51, 2738–2747 (1995).
 32
Horodecki, R., Horodecki, P., Horodecki, M. & Horodecki, K. Quantum entanglement. Rev. Mod. Phys. 81, 865–942 (2009).
 33
Aharonov, Y. & Susskind, L. Charge superselection rule. Phys. Rev. 155, 1428–1431 (1967).
 34
Kitaev, A., Mayers, D. & Preskill, J. Superselection rules and quantum protocols. Phys. Rev. A 69, 052326 (2004).
 35
Bartlett, S. D., Rudolph, T. & Spekkens, R. W. Reference frames, superselection rules, and quantum information. Rev. Mod. Phys. 79, 555–609 (2007).
 36
Hiai, F., Mosonyi, M., Petz, D. & Bény, C. Quantum fdivergences and error correction. Rev. Math. Phys. 23, 691–747 (2011).
 37
MüllerLennert, M., Dupuis, F., Szehr, O., Fehr, S. & Tomamichel, M. On quantum Rényi entropies: a new generalization and some properties. J. Math. Phys. 54, 122203 (2013).
 38
Wilde, M. M., Winter, A. & Yang, D. Strong converse for the classical capacity of entanglementbreaking and Hadamard channels via a sandwiched Rényi relative entropy. Commun. Math. Phys. 331, 593–622 (2014).
 39
Jaksic, V., Ogata, Y., Pautrat, Y. & Pillet, C.A. in Quantum Theory from Small to Large Scales: Lecture Notes of the Les Houches Summer School Vol. 95, eds Fröhlich J., Manfred S., Vieri M., De Roeck W., Cugliandolo L. F. Oxford Univ. Press (2012).
 40
Åberg, J. Catalytic coherence. Phys. Rev. Lett. 113, 150402 (2014).
 41
Korzekwa, K., Lostaglio, M., Oppenheim, J. & Jennings, D. The extraction of work from quantum coherence. N. J. Phys. 18, 023045 (2016).
Acknowledgements
We thank David Jennings, Tim Langen, Elliott Lieb (who pointed us to ref. 29), Matteo Lostaglio, Shelly Moram, Joseph M. Renes and Terry Rudolph for interesting conversations. We thank the authors of refs 27,28 for their community spirit. Much of this paper was developed at ‘Beyond i.i.d. in Information Theory 2015,’ hosted by BIRS. A.W.’s work was supported by the EU (STREP ‘RAQUEL’), the ERC (AdG ‘IRQUAT’), the Spanish MINECO (grant FIS201340627P) with the support of FEDER funds, as well as by the Generalitat de Catalunya CIRIT, project 2014SGR966. J.O. is supported by an EPSRC Established Career Fellowship, the Royal Society and FQXi. N.Y.H. was supported by an IQIM Fellowship and NSF grant PHY0803371. The Institute for Quantum Information and Matter (IQIM) is an NSF Physics Frontiers Center supported by the Gordon and Betty Moore Foundation. P.F. acknowledges support from the European Research Council (ERC) via grant No. 258932, from the Swiss National Science Foundation through the National Centre of Competence in Research ‘Quantum Science and Technology’ (QSIT), and by the European Commission via the project ‘RAQUEL.’ This work was partially supported by the COST Action MP1209.
Author information
Affiliations
Contributions
All authors contributed to all aspects of this work.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Supplementary information
Supplementary Information
Supplementary Notes 13 and Supplementary References. (PDF 382 kb)
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Cite this article
Yunger Halpern, N., Faist, P., Oppenheim, J. et al. Microcanonical and resourcetheoretic derivations of the thermal state of a quantum system with noncommuting charges. Nat Commun 7, 12051 (2016). https://doi.org/10.1038/ncomms12051
Received:
Accepted:
Published:
Further reading

Fluctuations of work in realistic equilibrium states of quantum systems with conserved quantities
SciPost Physics Proceedings (2020)

Noncommuting conserved charges in quantum manybody thermalization
Physical Review E (2020)

The fourth law of thermodynamics: steepest entropy ascent
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (2020)

The first law of general quantum resource theories
Quantum (2020)

Probing thermalization in quenched integrable and nonintegrable FermiHubbard models
Physical Review A (2020)
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.