1. Introduction
Classical thermodynamics and quantum thermodynamics rely on very different paradigms. Classical thermodynamics is based on a fundamental fact that we do not have access to microscopic degrees of freedom of a macroscopic system. Measurements reveal an average over space and time since our clocks and rules are not able to follow the underlying complex dynamics of the system. This is referred to here as low ability of controlling the system at hand, also known as coarse graining, and it constitutes the well-known thermodynamic limit from which the thermodynamic variables emerge [
1]. Leaving such limit and diving towards smaller and smaller scales where fluctuations become important, we still expect classical thermodynamics to hold on average, and statistical mechanics can be employed in order to properly describe the system [
2,
3,
4,
5].
Diving even deeper, we enter the realm of quantum mechanics, where thermodynamics acquires a different flavor. Here, the focus is often on systems with a few degrees of freedom, subject to a high level of control. By this we mean that in order to compute or measure thermodynamic quantities in this regime we do need to know the state of the system and, most of the times, also the state of the environment. In contrast to classical thermodynamics, we can perform sharp measurements in the quantum realm. It is under this context that information theory starts playing a crucial role [
6,
7,
8,
9] in the sense that thermodynamic quantities are operationally defined in terms of informational ones [
9].
Here, we propose a new route towards quantum thermodynamics, which at the same time aims to keep the spirit of classical thermodynamics. From the point of view of thermodynamics, the quantum state caries too much information, introducing a redundancy that should be eliminated, in the same spirit that in classical thermodynamics, the complete knowledge of the positions and velocities of all particles constituting the system is redundant and washed away by the average process discussed above (see
Figure 1 for an illustration). There is a fundamental principle in physics, named gauge invariance, that does precisely this [
10]. The basic idea behind this principle is that physical quantities are invariant under certain symmetry transformations of the system.
The main goal of the present work is to build a gauge group for quantum thermodynamics that is able to remove the aforementioned redundant information stored in a quantum system and then define the relevant physical quantities, like work and heat, based on the gauge invariance principle. In other words, we propose a new framework, based on the gauge principle, from which quantum thermodynamic quantities emerge.
It is important to observe that there is a crucial difference between the gauge symmetry of classical and quantum field theories, and the one we identify behind thermodynamics. In the former case, the
fundamental gauge transformations take us from potentials (e.g., vector potential in electrodynamics) to physically meaningful quantities such as scattering amplitudes [
10]. As already mentioned, in our theory, the gauge takes us from information theory to the thermodynamic quantities. In other words, the principle of gauge invariance is employed here exactly to wash away information which is “too detailed”. However, this redundancy is not fundamental, as in the case of classical and quantum field theories, but is redundant only in the context of thermodynamics and not, for instance, in the context of information theory. That is why we speak about an
emergent gauge theory.
Figure 2 illustrates this idea.
Although our theory is built with reference to mean energy, which is always unambiguously defined, it provides a general framework to define every thermodynamic quantity. As an application, we infer conclusions relevant for the first law of quantum thermodynamics. In particular, we construct notions of invariant work and heat. Moreover, our framework allows us to clarify the role of quantum coherences, because the resulting gauge-invariant notion of heat covers delocalized energy, thus being present even in closed quantum systems. Note that in classical thermodynamics, when a system is taken out of equilibrium, energy fluxes (in the form of heat) can be generated inside the system. Thus, the concept of heat in closed classical systems is well-known [
1], even in relativistic systems [
11]. In the context of quantum thermodynamics, the notion of heat in closed systems contains some subtleties —as well as the notion of work— but it is not a new issue and has been considered in terms of the generation of quantum coherences in the energy eigenbasis (see Refs. [
12,
13,
14,
15], just to mention a few). However, it is important to observe here that our theory goes far beyond such results. It is just a coincidence that these earlier definitions agree with our theory. Actually, as such notions naturally emerge from the gauge group proposed here, our results put these earlier definitions under the umbrella of gauge symmetry. Note that the more frequently adopted approach, in which heat does not exist in closed quantum systems, does not agree with our theory in general, as explained in detail in the text.
The paper is organized as follows. The next section is devoted to the definition of the emergent thermodynamic gauge, where it is explicitly built and motivated. Based on the gauge invariance principle, the new definitions of average work and heat are presented in
Section 3 and
Section 4, respectively. After presenting illustrative examples in
Section 5, we finish with a discussion in
Section 6, where we also outline some consequences of our approach for the statistical definitions of work and heat.
2. Emergent Thermodynamic Gauge
In field theories, the potentials do not have physical meaning in the sense that they cannot be measured. The gauge transformations enter here as fundamental symmetries of the system, coming from the redundancy in the description of the relevant degrees of freedom. Considering thermodynamics, carriers of quantum information—the physical states of the system—play the same role as the potentials do, while thermodynamic quantities are considered as the physically relevant ones. The gauge, in this sense, is not fundamental since all thermodynamic quantities emerge from a microscopic description by a process of coarse graining. The gauge emerges from this process. At the same time, the microscopic description is physically meaningful, and experimentally accessible. Though, not from the perspective of standard thermodynamics.
The main goal of this section is to propose a gauge formalism that is able to extract relevant information from a quantum state of the system. Relevant only in the context of thermodynamics. Therefore, the primary connection between the gauge theory proposed here and the one in field theories is that in both cases, the gauge invariance principle is employed to eliminate redundant information.
To be precise, let be a (possibly time-dependent) Hamiltonian of our system, and let be a density matrix describing it, which, considered in its entity, is here ascribed to the domain of information theory. In the present analysis, we restrict the attention to these two fundamental objects, however, the developed formalism can easily be extended to include more observables, such as the total number of particles.
In a thermodynamic, coarse-grained description, we are only interested in a particular set of quantities, such as the mean energy which is essential for the first law of thermodynamics
In our notation, the mean energy is a functional depending on the density matrix, with the latter being a function of time.
The next crucial quantity is work associated with a given process that takes place during the time interval
, defined as [
16]
We add a subscript “u”, derived from a word “usual”, to emphasize the fact that we start the discussion with standard notions met in quantum thermodynamics. Later on, we construct gauge transformations which lead us to the corresponding invariant quantities, later being denoted with the subscript “inv”.
From now one we shall use the dot to denote time derivatives, so that the integrand in (
2) becomes
. The functional
, even though we do not write that explicitly, depends on the time derivative of the Hamiltonian. We omit this dependence because the Hamiltonian does not belong to the set of dependent variables of the theory.
Furthermore, we consider an associated functional
which is the usual notion of heat [
16,
17]. This functional apparently depends on the time derivative of the density matrix. However, due to energy conservation
, the heat defined in (
3) can be expressed solely by
.
In fundamental physics, gauge is realized as an action of a gauge group. Elements of this group act on variables describing a given theory (potentials). In our parallel, the role of the potentials is played by the carriers of quantum information, namely, the density matrix
. Therefore, emergent gauge transformations need to be represented as (some) unitary matrices
acting as follows
The emergent gauge is allowed to be time-dependent, the same way as the standard one in field theories depends on space and time. As a consequence, the time derivative of the density matrix transforms as
again resembling familiar transformation patterns.
From a more operational perspective we can think about the transformation (
4) as about a choice of a (time-dependent) basis in which we wish to describe the state of the system. On the other hand, the eigenbasis of the Hamiltonian plays the role of a fixed reference frame. Therefore, a more general transformation rule in which together with (
4) the Hamiltonian is being “covariantly” transformed as
, is not the route followed here. While such a transformation not only preserves the mean energy but, more importantly, resembles Lorentz transformations in Special and diffeomorphisms in General Relativity, the resulting theory assuming invariance with respect to it is void. This happens because the associated gauge group contains all unitary transformations, simply being too large. As we will convince ourselves soon, the gauge group stemming from (
4) is more gentle.
We now observe that, in field theories, only the quantities which are
gauge-invariant are considered as being measurable and physically meaningful. Within our framework of the emergent gauge in thermodynamics, we adopt the same philosophy, namely, we require thermodynamically meaningful quantities to be invariant with respect to the proposed emergent gauge defined in Equation (
4). Clearly, not all unitary transformations can be allowed to render the emergent gauge transformations, as otherwise the theory would be trivial. To select a desired set of transformations we will build on the primary notion of our framework, namely, the mean energy which has to be unambiguously gauge-invariant. We therefore define:
Definition 1 (Emergent thermodynamic gauge)
. Unitary transformations are admissible gauge transformations if they preserve the mean energy, independently of a particular state of the system, i.e., for all . Such a definition splits the state space into equivalence classes, under the mean energy. Inside each element of this set, all the density operators lead to the same mean energy, although they can hold very different informational meanings. That is precisely the sense in which we say that the gauge is emergent and not a fundamental one. It is based on our lack of control over the system and not on a fundamental redundancy in the description of the system. This is very natural when we talk about quantum systems since, in general, we are only able to perform a limited set of measurements and the complete reconstruction of the density matrix is not practical. For instance, in the experiment described in Ref. [
18], although dealing with a closed quantum system, quantum state tomography is prohibitive due to the dimension of the Hilbert space, and only energy measurements are allowed. If we consider continuous quantum systems, not even sharp energy measurements are allowed and energy measurements encompass a finite size energy window.
By virtue of the above definition we are in position to explicitly construct the gauge. The invariance of the mean energy of any state requires that
independently of
, which simply means that the unitary operations need to commute with the Hamiltonian, i.e.,
. Therefore, thermodynamic gauge transformations are simply unitary channels which commute with the Hamiltonian. It is important to observe that our emergent gauge is not equivalent to the well-known thermal operations employed in the resource theory of thermodynamics as free transformations [
19,
20]. The gauge group we built involves trivial thermal operations in which there is no interaction between the system and a potentially present bath. Consequently, the bath can be traced out, as it plays no role in defining the gauge process. The emergent gauge rather forms a very particular subclass of the latter operations which, importantly, are not attributed to additional physical interpretation.
While exploring the structure of the gauge, we first assume that we work with a d-dimensional system. Then, , with representing the set of unitary matrices. In fact, unitaries which commute with , by definition form a subgroup of . In this way we again obtain a very close contact with the fundamental gauge in field theories, as this subgroup can be called the emergent gauge group.
Now, since the Hamiltonian is Hermitian, we can conveniently parametrize all the members of the emergent gauge group. To this end we express the Hamiltonian as
where
p is the number of its distinct eigenvalues,
is the multiplicity of each
, such that
, and
. For the sake of clarity, we assume that the degeneracy of the Hamiltonian does not change in time, however, below and whenever appropriate, we pinpoint the consequences of an alternative scenario. A detailed mathematical account of the latter is left for future work.
Every complex
matrix
M commutes with (
7) if and only if it is of the form
where each
is an
block with arbitrary matrix elements. The constraint
therefore enforces
with
. From a topological point of view, the emergent gauge group is isomorphic to
As long as the degeneracy of
does not change in time, the above structure remains intact. If this is not the case, it just means that the topological structure in Equation (
10) does change as well. Moreover, we observe that even in the non-degenerate case, i.e., when
and
, the group is more than just a d-fold tensor product of trivial phases just being
elements. For example, all time-dependent unitary operations generated by
belong to
.
On the group there is an invariant Haar measure induced from that on . Therefore, the group averaging allows one to assign to each relevant quantity its gauge-invariant version:
Definition 2 (Gauge-invariant quantities)
. Given a functional , its counterpart invariant with respect to the emergent gauge is where is given in (9) and is the Haar measure on the group defined in Equation (10). It is important to remember that the Haar measure is normalized, i.e.,
. When the degeneracy of
is not fixed, this normalized measure just needs to be replaced by an appropriate (still normalized) functional measure
where
is a counterpart of (
10), with all
and
p being time-dependent.
Before proceeding to a particularly relevant case of work and heat, let us point out that there is a natural class of quantities which are gauge-invariant by construction. These are all quantities solely defined on the equilibrium manifold, or even on a family of instantaneous equilibrium operators , with being the inverse temperature. Also, other states which solely depend on the Hamiltonian, e.g., the microcanonical state, are preserved.
As a final comment, it is important to make it clear that we have two transformations here. First, we have the unitary transformations that are elements of the gauge group . These are only symmetry transformations, not dynamical processes. Their role is to identify the set of states, at every instant of time, that cannot be distinguished by measuring thermodynamic variables. The other set of transformations are the physical processes, which can be any completely positive and trace preserving map, including adiabatic (reversible) transformations. These are the ones governing the time evolution of the physical system. Therefore, our theory applies to both equilibrium and non-equilibrium transformations.
4. Gauge-Invariant Heat
Taking the invariant notion of work together with primordial invariance of the energy, the gauge-invariant notion of heat immediately follows from energy conservation. The explicit form of the heat is given below, after the role of quantum coherence is discussed in light of our findings.
We represent the invariant heat as consisting of two independent contributions,
, where the usual heat has already been defined in (
3), while the
coherent heat is now defined as
The quantity
has very frequently appeared in the literature as a natural definition of heat [
16,
17,
21,
22]. It is important to note that this term is zero for any closed evolution since
via the von Neumann equation. Therefore, such a definition of heat is associated only with the energy exchanged between the system under consideration and some other system, like and environment for instance. However, as mentioned earlier, thermodynamics is a theory about closed systems and well-defined notions of heat in closed systems are established both for classical and quantum systems. While in classical systems heat is associated with the energy transferred to the fast oscillating modes of the system (in a normal mode description) [
1], in quantum systems, it is linked with the uncertainty in the energy measurement, which is caused by the generations of quantum coherences in the energy eigenbasis [
12,
13]. Therefore, adiabatic transformations are those that do not allow for the generations of coherences, implying
and all the energy transferred to the system being equal to the invariant notion of work. In this case, the usual notion of work clearly coincides with the invariant one proposed here.
Indeed, the additional term , the presence of which distinguishes the invariant heat with respect to the usual one, contains only contributions from the coherences. This fact can be seen after writing it in the energy eigenbasis.
Let and be the set of time-dependent energy eigenstates and eigenvalues, respectively. For simplicity, we for a moment assume that the Hamiltonian is non-degenerate, i.e., all . Qualitatively, however, the same results can be obtained without this assumption. Since we are talking about work, heat and thermodynamics in general, the energy eigenbasis seems to be the most appropriate one. At any instant of time, the density matrix of the system can be represented in this basis as .
In
Appendix A we show that
depends only on the differences
and, consequently, all the terms containing the diagonal coefficients of the density matrix,
, do vanish. This is a universal result stating that the development of internal coherences are part of the heat. This result provides a gauge flavor to earlier definitions of heat in closed quantum systems [
12,
13,
14,
15]. It is important to mention here that, although these studies consider heat and work in the context of quantum coherences, their definitions are not mathematically or physically equivalent to ours. All of these references considered distinct set of transformations or distinct physical motivations in order to define their notions of thermodynamic quantities. Our work builds a symmetry group that is able to implement a sort of (information) coarse-graining procedure from which the thermodynamic quantities uniquely emerge.
In terms of the covariant derivative introduced earlier, we can rewrite the heat simply as
which, again, takes the same form as the usual definition of heat, but with the covariant derivative replacing the standard one.
It is interesting to observe that work and (total) heat are independent of the coherences in the energy eigenbasis, contrary to the standard quantum definitions. The average total energy can be written as , while the invariant work takes the form and the heat is written as . Such results are intuitively expected and are fully compatible with our classical notions of work and heat, in agreement with the strategy adopted while proposing the gauge-invariant theory of quantum thermodynamics. This does not imply that the coherences play no role in the transfer of energy. The generation of coherences are related to the rate at which energy is being transferred to the system in the form of work and/or heat, thus affecting all thermodynamic processes, including work extraction and the efficiency of heat engines. We will come back to this discussion while presenting some examples in the next section.
5. Applications
As explained in the last section, deviations between the two approaches appear together with quantum effects. This can be seen in the examples discussed in this section, where the role of coherences is being exposed.
Let us first discuss a single qubit, described by the Hamiltonian
, undergoing a non-unitary evolution described by the generalized amplitude damping or the phase damping channels. These processes can be described by Lindblad master equations of the general form
with
being the non-unitary part of the dynamics (dissipator).
For the dephasing channel the dissipator is given by
with
being the
s-th Pauli matrix, while
represents the decoherence rate. The generalized amplitude damping is described by the dissipator
where
and
are the usual spin ladder operators while
stands for the mean excitation number of the bath mode with frequency
.
stands for the inverse temperature while
is the decoherence rate.
Since the Hamiltonian is already diagonal we take
, implying that
. This leads to the following result for the invariant work
for both channels. Of course,
if
is time independent. Note that the above calculations do not assume any specific form of the driving. What matters is the power, i.e, the rate of energy transfer which is, as expected, influenced by the generation of coherences.
Let us now move to the invariant heat. Since
is time independent, we have
, resulting in
For the case of the dephasing channel we obtain . There is no heat in this case due to the fact that the coherences are destroyed by the decoherence process induced by the action of the bath. The final state is diagonal in the energy eigenbasis and there is no energy flux from the system to the environment (the interaction Hamiltonian is diagonal). Therefore, all the energy transferred to the system by the driving must be in the form or work.
In the case of the generalized amplitude damping the invariant heat takes the form , with being the instantaneous energy flux. In this case, the final state of the system is also diagonal. However, beyond the decoherence process induced by the bath, there is also an energy exchange between the system and the environment. This energy is the heat.
Since the dephasing channel only involves the exchange of phase information between the system and the environment, while the amplitude damping is characterized by energy exchange, the above results agree with what is expected from classical thermodynamics. It is therefore important to stress that our gauge-invariant approach agrees with the standard one in cases which are consistently described from a point of view of classical thermodynamics, but may differ when this is not the case.
Let us now consider the unitary evolution of an externally driven single qubit whose Hamiltonian can be written as
, where
is a time-dependent driven frequency. In this case we will have coherences being generated during the evolution. In the appendix we show that the invariant heat is directly linked with the generations of coherences while the invariant work comes from the changes in the eigenenergies of the system.
Figure 3 shows (see
Appendix B for details) the invariant heat and work, along with the relative entropy of coherence. The latter quantity is a well-behaving measure of quantum coherence defined as [
23]
where
is the density operator with the off-diagonal (in the the energy eigenbasis) elements removed, while
S stands for the von Neumann entropy.
Note that this example is in deep contrast with the usual understanding met in quantum thermodynamics, where it is assumed that a unitary evolution does not involve heat [
16,
17,
21,
22]. However, as mentioned, this is in perfect agreement with the notion of heat introduced for closed systems and the definition of quantum adiabatic processes [
12,
13]. Therefore, our results provide a firm physical ground—the gauge invariance principle—upon which we can justify why heat in closed quantum systems is linked with the delocalization of energy, explaining its oscillations for a closed evolution, where coherences change in time.
As our last example, let us consider a driven LMG model [
24]
where
,
is a constant while
denotes the
i-th component of the angular momentum operator, whose value is
j [so the dimension of the associated Hilbert space is
]. This choice has two advantages. First, the intensity of the squeezing parameter
is in the interval
, which assures that the energy spectrum is not degenerated and we also avoid the critical points of the model. Secondly, we can consider situations from a very slow driving, when
, to sudden quenches, when
. The details of the numerical calculations are given in
Appendix B and in
Figure 4 we present the invariant heat as well as the quantum coherence, considering distinct values of
.
This example shows how the heat scales with the generation of coherences. As we can see, as time passes, we transition from an adiabatic transformation of the Hamiltonian (too slow to create coherences) towards a regime where coherences are indeed generated and we also observe the increase in the generation of heat. In this regime, transitions between energy eigenstates are inevitably induced by the fast changes in the Hamiltonian and such transitions are associated with heat.
Beyond the fundamental relevance, the above results are important for the thermodynamic analysis of heat engines. For instance, let us consider an Otto cycle consisting of four stages, two non-unitaries (equilibration with thermal baths) and two controlled unitary transformations. In general, heat is associated with the non-unitary dynamics while all the energy transferred to/from the system during the unitary transformations is regarded as work. Since the efficiency is defined as the ratio between the extracted work and the heat absorbed from the hot bath, under the present approach, where part of the energy during the unitary stages is heat, the efficiency of the engine will decrease as we increase the speed at which these transformations are performed (see
Figure 4). This is in complete agreement with the expected behavior of a heat engine, since fast processes take us far from equilibrium and, thus, more entropy must be produced and the engine efficiency must decrease, in accord with the second law of thermodynamics. Our theory naturally encompasses such behavior.
6. Discussion
Concerning the first law of thermodynamics, the usual notions of heat and work are based on the Clausius theorem. Heat is associated with the change in the thermodynamic entropy while work is linked with the changes in some externally controlled parameter. Such notions cannot be simply extended to the quantum world, thus leading to several definitions of work and heat that are, in general, nonequivalent, but operationally well-defined [
25]. The theory proposed here leads to gauge-invariant definitions of thermodynamic quantities, in particular, heat and work that are not solely related with the change in the information entropy. Work is associated with the eigenvalues of the Hamiltonian while heat is connected with the change in the eigenbasis of the Hamiltonian, thus being deeply linked with energy delocalization. This implies that we can have heat even in a closed quantum system, which is in sharp contrast with the usual notions of quantum heat [
16,
17,
21,
22]. However, we must remember that such a notion is well-understood in classical physics, where heat is associated with energy transferred to the degrees of freedom that are averaged out due to the coarse-grained nature of macroscopic measurements [
1]. In quantum physics, things are trickier and, when considering closed systems, heat is usually associated with transitions (generation of coherences) in the energy eigenbasis [
12,
13]. In the adopted perspective, coherences in the energy eigenbasis indicate that the energy variance does not vanish and this uncertainty is here interpreted as heat. Therefore, our work shows that this notion naturally emerges from the framework of gauge invariance, a physical principle lying in the basis of all modern physics.
Regarding the notion of statistical work (and heat), the most considered definition is based on the two-point measurement [
26,
27]. This protocol has been considered both theoretically [
21,
26,
28] and experimentally [
18,
29,
30,
31,
32,
33,
34] in distinct contexts within quantum thermodynamics. Although widely accepted, such scheme does not take into account the coherences, which are destroyed by the measurements. Therefore, statistical work is gauge-invariant by construction. Fully quantum fluctuation theorems were developed in order to take into account this contribution [
35,
36,
37,
38,
39,
40]. A naturally arising question is to scrutinize or generalize/modify the fluctuation theorems from the perspective of the invariant work and heat presented in this work. The implications of such definitions for the irreversible entropy production will certainly deepen our understanding of quantum coherence in non-equilibrium thermodynamics.
Another question that can be addressed under this theory is the local thermalization of closed quantum many-body systems and how this is linked with the eigenstate thermalization hypothesis [
41] and irreversible entropy production [
21].
Perhaps the most important and broad message of the current work is relevant for all aspects of quantum technologies associated with operational principles behind potential quantum engines, batteries or refrigerators. Our approach might in the future allow for the delineation of the boundaries between controlled quantum systems and their thermodynamic behavior, forming a bridge between classical and quantum thermodynamics, which starts in the latter paradigm and expands towards the former one.