Representation of the Basic Laws of Thermodynamics in Quantum Mechanics

We propose a representation of the basic laws, namely the zeroth, first, second and third law, in quantum thermodynamics. The zeroth law is represented by some parameters ( Θ ’s) that specify respective quantum states. The parameters are the elements of thermodynamic state space Θ  . The introduction of such parameters is based on a probabilistic nature of quantum theory. A quantum analog of the first law can be established by utilizing these parameters. The notion of heat in quantum systems is clarified from the probabilistic point of view in quantum theory. The representation of the second law can be naturally described in terms of these parameters introduced for the respective quantum systems. In obtaining the representation of quantum thermodynamics, consistency between quantum theory and classical thermodynamics should have been preserved throughout our formulation of quantum thermodynamics. After establishing the representation of the second law, the third law is discussed briefly. The relationship between thermodynamic temperatures and the parameters in Θ  is also discussed.


Introduction
Thermodynamics is one of the theories which have high universality since thermodynamics as itself has been unchanged even if we now have a well-developed quantum theory.Classical thermodynamics has been well established by different approaches [1] [2] [3].Lieb and Yngvason made the mathematical structure transparent by axiomatic approach [3].Thermodynamics is a theory not only for classical but for quantum systems.Above all, the theoretical importance of thermodynamical consideration in quantum systems (quantum thermodynamics) is emphasized in text books [4] [5].When we consider the thermodynamics for quantum systems, the important is the change in entropy since entropy is a constant of motion under the unitary transformation generated by a system Hamiltonian [6] [7].A quantum heat engine has been investigated theoretically [8] [9].Bender et al. studied a quantum Carnot cycle by considering a single quantum mechanical particle confined in a quantum well [9].In their study, they found that the efficiency is equal to that of the Carnot cycle for classical case and proposed that the internal energy U plays the same role as temperature.It should be however mentioned that in quantum system one cannot describe thermodynamic equibria in terms of a parameter like a temperature as in classical system [3].This paper deals with the following questions that must be answered: Can thermodynamical laws refer to the variation of states of a system represented by the quantum states such as those states (eigenstates) of the Hamiltonian for a single quantum mechanical particle confined in a quantum well?If thermodynamical laws exist in quantum thermodynamic systems, how can they be expressed?To answer these questions, we need a representation which connects thermodynamic states and quantum states.
In classical thermodynamics, states are represented by points on a state space.
A typical example of the state space is just a collection of P (pressure) and V (volume), i.e., a P-V plane.In quantum mechanics, what space should be used in order to describe thermodynamic states for quantum systems?In quantum mechanics, quantum (pure) states are expressed by the elements of a complex Hilbert space  .However, the Hilbert space itself does not play the same role as the state space in classical thermodynamics since comparing one state vector with the others in  must be done by comparing the components of each vector.Thus we start with introducing a set Ψ  of the state vectors in  in order to obtain a suitable set which plays the same role as the state space in classical thermodynamics.That is, we introduce a set Θ  which plays the same role as the state space and derive a correspondence between Ψ  and Θ  .After that, we will show that the first law of quantum thermodynamics can be described by the elements in Θ  and the internal energy of a quantum system can be described as a function on Θ  .We will also discuss the relation between those parameters Θ's in Θ  and thermodynamic temperatures.
The first law of thermodynamics is a law of conservation of energy and states the equivalence of heat and work.We will discuss the equivalence between work and heat in quantum thermodynamics.We assume that the energy of a system (i.e., the internal energy) is given by the expectation value of the Hamiltonian H : , are justified and are ensured by the existence of respective parameters Θ and L .We will show that the internal energy of quantum system is generally expressed in terms of parameters Θ and L , respectively, describing the equivalence relation among quantum states and external parameters.Therefore, the first law of quantum thermodynamics can be uniquely represented by these parameters.Once establishing the representation of the first law, it is worth to investigate the remaining thermodynamical laws (the second and third laws) for a quantum system described by quantum states.
In this paper, we propose a representation of the thermodynamical laws for quantum system in terms of the respective parameters and develop a theory of quantum thermodynamics based on the axiomatic theory of classical thermodynamics by Lieb and Yngvason [3].In their formulation, the second law refers to the possible adiabatic transition of any two states in a state space.
This paper is organized as follows.In the next section, we present a brief review of classical thermodynamics.In Sec.

Classical Thermodynamics
There are few approaches in thermodynamics [1] [2] [3].Lieb and Yngvason's approach is helpful to understand the logical structure of thermodynamics.If thermodynamical laws exist in quantum systems as well as in classical systems, there must be the same logical structure in both systems.According to their formulation, a structure of adiabatic accessibility on a state space (thermodynamic state space) is characterized by an entropy inequality, i.e., the second law of thermodynamics.In this section we present a brief review of classical thermodynamics due to Lieb and Yngvason [3].Thermodynamics is a theory which discusses a transition between equilibrium states.The second law refers to the feasible transitions in adiabatic process.
We start with introducing a formulation of the axiomatic thermodynamics proposed by Lieb and Yngvason [3].In their formulation, the second law of thermodynamics is represented by the entropy principle.
Entropy principle: There is a real-valued function on all states of all systems (including compound systems), called entropy and denoted by S .Entropy has the following properties: • Monotonicity : When X and Y are comparable states 1 , then • Additivity : If X and Y are states of some (possibly different) systems and if ( ) , X Y denotes the corresponding state in the composition of the two systems, then the entropy is additive for these states, i.e., ( ) ( ) ( ) • Extensivity : S is extensive, i.e., for each 0 t > and for each state X and its scaled copy tX , ( ) ( ).

S tX tS X =
It should be noted that entropy is determined by the physical (or thermodynamic) state of the system.In the entropy principle, X and Y (e.g., energy and volume) describe equilibrium states and are the elements of a state space (denoted by Γ ).A system is then represented by the state space Γ on which a relation "  " of adiabatic accessibility is defined.The definition of adiabatic accessibility is as follows: Adiabatic accessibility: A process whose only effect on the surroundings is exchange of energy with a mechanical source.This means that as a state arrives at new one, a state of surroundings is the same as before, in other words, the device returns to its initial state at the end of the process.
Lieb and Yngvason [3]  , with respect to the relation "  ".In this context, X and Y are comparable and these states are called comparable states.
Ch.Comparison hypothesis : The Ch holds for a state space Γ if any two states X and Y on the space are comparable states, i.e., X Y


or Y X  .
In the axiom A1, the symbol A ~ denotes that two states X and Y are adiabatic equivalent; It describes a situation where both of the relations, X Y  and Y X  , hold.It should be noted that the axioms, A3, A5 and A6, are defined on the product of state space × Γ Γ , where ( ) asserts that any two states on the same state space are comparable.Generally, the structure on the state space Γ is determined by the axioms (A1~A6) and the comparison hypothesis (Ch) under the condition of adiabatic accessibility.
Let us consider a meaning of the entropy principle.Let , , , , X X Y Y ′ ′ be the elements of the state space Γ .Imagine that we have a list of all possible pairs of states X , Y such that Y is adiabatic accessible from X .The foundation of thermodynamics and the essence of the second law are that this list, X and Y , such as X Y  , can be simply encoded by the entropy function S defined on a set of all states of systems (including compound systems).This means that Y is adiabatic accessible from X , i.e., X Y


if and only if

S X S Y ≤
(entropy inequality).The entropy function should be kept consistency with the structure of the state space Γ characterized by A1~A6 and Ch.Thus, we can characterize the structure based on the definition of adiabatic accessibility on the state space Γ by using the entropy inequality.Combining the axioms (A1~A6) and the Equation ( 2), one can describe the entropy principle for systems including a compound system.
Let us consider a compound system in which X , X ′ and Y , Y ′ are the states of system A and system B, respectively.In this case, the entropy principle is mathematically expressed as follows: Note that all states ( ) , in the process compensates for a loss, ( ) ( )

S X S X′ ≥
. It means that it is sufficient to know the entropy of each part of the compound system in order to decide which transition is feasible due to the interactions between the two subsystems.
For later use we write the entropy principle [the statement (4)] in terms of U and V , where U , V denote the internal energy and the volume of a system, respectively.Putting ( ) , one obtains from the statement (4): if and only if , , , , .
It should be noted that the state of the compound system composed of system A and system B is described by ( ) only in the case where the volume is invariant during the process.The statement (5) makes sense in the case where X is an extensive variable.However, there exists a particular case in which X is an intensive variable.
One of the aims in this paper is to obtain a representation of entropy inequality for quantum system corresponding to the statement (4).

Quantum Thermodynamics
In order to obtain the representation of the zeroth, first, second, and third laws for quantum thermodynamics, we have to introduce a state space in order to describe thermodynamic states of quantum system.In the previous section, we have seen that the thermodynamic states of classical system denoted by capital Roman letters, , , X Y Z , etc. defined as the elements of state space Γ satisfy certain simple properties of the relation "  " (A1~A6) and the comparison hypothesis (Ch).From the mathematical point of view, we expect that the thermodynamic structure of quantum thermodynamics should also have the same structure as that of classical thermodynamics.
In order to develop a representation of quantum thermodynamics, we must introduce a thermodynamic state space for quantum system since in quantum theory, quantum system is described by the complex Hilbert space  and the states of quantum system are in general described by the elements in  : We start with discussing the existence and uniqueness of Θ for quantum state Ψ representing a quantum system.Let us introduce the propositions of quantum theory, Q1 and Q2: [5].
Q1.A state is characterized by the probabilities of the various outcomes of every conceivable test.
Q2.If a quantum system is prepared in such a way that it certainly yields a predictable outcome in a specified maximal test2 , the various outcomes of any other tests also have definite probabilities.In particular, these probabilities do not depend on the details of the procedure employed for preparing the quantum system.Therefore, the quantum system so prepared yields a specific outcome in the given maximal test.It should be noted that the quantum system prepared in such a way is said to be in a pure state.
Any complete orthogonal basis, i , 1, 2, , , i i =  , represents a realizable maximal test.Therefore one can obtain the definite probability i p for state i from a probability amplitude: [10] .
It should be noted that the definite probability is given by Now we introduce a lemma (L1) on the existence of parameter L1.There exist parameters , , Proof of L1.We treat a case for a label α .Other cases, , , β γ  , could be proved in the same way.From Equation (7), one can obtain a sequence { } In L1, we saw that there exists unique parameters Θ 's assigned for every state vector in However, in order to represent the zeroth law in terms of Θ 's, the elements in Θ  must be mathematically comparable each other.Thus, it is required to utilize the same maximal test in order to obtain the equivalence relation for the element j Θ from the corresponding equivalence relation for the state vector In order to prove the existence of the zeroth law and to discuss the parameter Θ , we have to introduce a proposition of quantum theory, Q3: Q3.Ψ describes the same state as c Ψ , where c is a complex number.
Here, we discuss the parameter Θ associated with the proposition Q3.Let us introduce a map :  since it is required that the set Ψ  is invariant under the scalar transformation f .Therefore, the set Θ  is also invariant under the scalar transformation, i.e., :  .This can be described in terms of their elements, i.e., Thermodynamically, this means that the parameter Θ is an intensive variable.
It should be noticed that the zeroth law is invariant under the scalar transformation of state vectors.
Let us derive the thermodynamic state space  , where L denotes a label of maximal test, L will be omitted when we consider a fixed L for the sake of simplicity.Now one can compare two quantum states in thermodynamic sense since those parameters Θ 's can be used to describe two or more systems being equivalent.This leads to the zeroth law of quantum thermodynamics.

The Zeroth Law of Quantum Thermodynamics
We are now in a position to discuss some consequences obtained by introducing the parameter j Θ to specify the corresponding thermodynamic states of quantum systems.It is clear from Equation ( 8) that the transitiveness law holds: If and , then .
We have established a representation of the zeroth law of quantum thermodynamics (equivalence relation among quantum states).The zeroth law can be expressed in terms of parameters in Θ  .

The First Law of Quantum Thermodynamics
The first law of thermodynamics is the law of conservation of energy and it assures equivalence between heat and work.It is written as where dU is a small change in the internal energy of a system, d Q ′ is the heat transferred to the system and d W ′ is the work done on the system.Though Equation ( 10) is for classical system, we will show the same expression holds for quantum system.
We consider a quantum system described by Hamiltonian H .Here we only assume that the internal energy of the system, U , is given by the pure state expectation value of Hamiltonian H :3 where i p denotes a definite probability having the outcome i E in a specified maximal test for the quantum system.Since the internal energy ( 11) can be expressed as ( ) , we can obtain the representation of the first law of quantum thermodynamics in terms of Θ 's and L's in Let us consider a small change in the internal energy.Differentiating Equation ( 11) formally, we obtain ( ).
This indicates that the change in U is originated from the two independent source, i.e., an outcome i E and a definite probability i p .The two terms in the right-hand side of Equation ( 12) can be identified with the respective terms of Equation (10) for the expression of the first law of thermodynamics.The first ∑ is a consequence of the change in probabilities.We shall see that it corresponds to the heat flow into the system.This implies that the effect of heat transfer is to change the definite probabilities of the various outcome of i E .shows that change in the internal energy partially comes from the change in outcome.We shall show below that this corresponds to the work done on the system, i.e., d W ′ .It must be emphasized that the validity of Equation ( 12) is ensured by Equations ( 13) and (19), i.e., existence of parameters, Θ and L , as will be shown shortly.

The second term
In order to understand that the second term corresponds to d W ′ , we first note that the work done on the system is related to the variation of an external parameter (work coordinate) and the outcome should depend on the size (volume) of the system: ( ) The work done on the system is due to the change of the volume of the system.Accordingly, without loss of generality we ascribe the change of the volume to the change of the work coordinate denoted by L : the energy of state i , i.e., outcome i E , which is the eigenvalue of the system's Hamiltonian H , depends thus on the work coordinate L : ( ) This expression states that one can identify the work coordinate L with the label of a maximal test introduced in the last section.Since i E is a function of L , we can write that the change in the outcome i E is expressed in terms of the work coordinate:
In Sec. 3, it was shown that ( ) This indicates that i p is a function of Θ .Thus we can write Equation (14) as ( ) A change in the internal energy of the system is generally related to a "force" defined by so that Equation (15) and hence Equation ( 14) can be expressed as This indicates that the term the system and it is generally expressed by 4 ( ) where the definite probability i p can then be replaced by the probability function ( ) It is important to notice that Equation (18) expresses the work d W ′ with respect to the change in L (work coordinate) in a quasi-static process.Hence, the invariance of an external parameter L implies 0 d W ′ = .
Thereby we have dU d Q ′ = .Then the term ∑ corresponds to the change in the internal energy of the system that occurs when no work is done; this is what we understand as heat flow.
It should be emphasized that the heat entering the system, d Q ′ , is expressed in terms of the variation of ( ) while the work done on the system, d W ′ , is expressed in terms of the variation of we can write i dp as ( ) In general, unitary operator generated by the Hamiltonian of a system does not change the definite probability i p .Therefore, the term i i E dp representing the heat cannot be explained by the Hamiltonian itself.In the present theory, the effect of heat is expressed as a change in the definite probabilities having various outcomes i E in the maximal test.It should be noted that an adiabatic process is characterized by the case where 0 i dp = in the definition of heat, see Equation (20).After all, the representation for the heat in the present theory is consistent with a well-known adiabatic equivalence and the first law of thermodynamics for quantum systems can be represented by the elements in ,L Θ
As a consequence of the previous section (see the proof of L1) and the discussion above, the following corollaries, C1 and C2, can be drawn: C1.The internal energy U is specified by the parameter Θ and L : ( ) Proof of C1.Once a maximal test is chosen for a fixed L , respective outcome i E ( ) 1, 2, i =  for the system is uniquely determined and the definite probability i p is then described as ( ) x i Θ = by the proof of L1.Therefore, it is clear that the internal energy is specified by the parameters Θ and L . We note that C1 states the internal energy U can be specified by the parameters, Θ and L .We will omit L in ( ) for simplicity when we consider a fixed L .
Proof of C2.By the proof of L1, no change in the probability function implies that the absolute values of the expansion coefficients i a 's remain the same.This implies i p remains constant.Thus d Q ′ is equal to zero throughout the operation (during the process). In the statement of C2, the consequence of adiabatic equivalence is as follows: if the system is isolated, the absolute values of the expansion coefficients i a 's would remain constant [11].It should be noticed that the notion of heat arises only when the state (internal energy) of a system changes, where dU d W ′ ≠ . As in classical thermodynamics, heat in quantum systems is also defined as a form of energy movement.Once the internal energy of a quantum system is well defined, heat is also well defined.The notion of heat in quantum systems will be discussed further in a separate paper [12].

The Second Law and Entropy
In this section we will give a definition of entropy to describe the entropy principle (namely, the second law of thermodynamics) for quantum systems.
The entropy principle states that the adiabatic accessibility of any two states is described by an entropy inequality.Here we should refer to the adiabatic process since the second law treated here is defined for the process.The process is characterized by 0 d Q ′ = .This is ensured when ( ) remains unchanged throughout the process (see C1 and argument below).In other words, adiabatic process is a process such that We note that this general definition for entropy can describe all types of entropy functions including well known Boltzmann, Gibbs, and Shannon entropies.The entropy S defined by the map ( 22) is clearly a state quantity and ensures that S can be defined for all states in terms of Θ .
In order to obtain a representation of the second law in terms of Θ for quantum systems, however, it must be shown that determining a parameter Θ as a state variable means to determine an internal energy U as a state quantity.
We have already shown that U is specified by Θ 's and L 's (i.e., the elements of ,L Θ  ) as described in C1 and can be expressed by a function , whereby α Θ specifies the internal energy U .Therefore, U can be labeled as U α .As in the same way, respective internal energies, , , U U β γ  , can be specifically specified by , , Since the existence of correspondence between an internal energy U and a parameter Θ was established by L2, we can obtain one-to-one correspondence between ( )

S X and
( ) S Θ .This keeps consistency between an entropy function defined in the entropy principle and the statement (22).Put U instead of X in the statement (1) in Sec. 2 and we finally obtain a representation of the second law of quantum thermodynamics in terms of Θ : This describes the entropy principle for quantum system.It should be noted that each Θ can depend on different values of L .Thus, Eq. ( 23) is able to give the information as to a complete structure in ,L Θ  , which enables us to compare Θ 's that depend on different values of L 's in a context of adiabatic accessibility (recall that one can compare state vectors when L 's are fixed).We should note that two quantum states represented by Θ Θ .We note that this statement is useful when one considers the heat transfer between quantum systems, e.g., thermal contact.We will discuss thermal contact in a separate paper [12].Now we consider a relation between parameter Θ and thermodynamic temperature T .We start with introducing thermodynamic temperature T that is defined as a partial derivative of entropy S with respect to U : ( ) where U and V denote the internal energy and volume (work coordinate) of a system, respectively [2] [3].In the definition (25), differentiability of the entropy function S may be ensured by a concavity of the entropy function. 5  Here, we introduce a corollary C3: C3.There exists a one-to-one correspondence between T and Θ .
Proof of C3.From the definition of thermodynamic temperature (25), the value of T is defined for the respective values of U owing to a uniqueness of the differential coefficient of a concave function S .Let E be a value of internal energy U ( ) E = .By C1, the value E has one-to-one correspondence with the value of Θ .Therefore, thermodynamic temperature T can be determined by the parameter Θ in Θ  introduced in Sec. 3.  This corollary establishes the consistency between the parameter Θ and thermodynamic temperature T .Let us consider the partial derivative in the right-hand side of Equation (25).We note that a value of T is determined by Θ and L .This implies that an internal energy plays the same role as temperature in quantum system (see C1).This agrees with the proposition of Bender et al. [9].Equation ( 25) is useful to obtain the relation between thermodynamic temperature and quantum states characterized by Θ .This is also useful to obtain a structure in the thermodynamic state space Θ  .
In this section, we have established the representation of the second law in terms of the entropy S for quantum systems as a function of parameter Θ , so that one can define thermodynamic temperature T as a function of a state parameter Θ : ( ) T T = Θ .

The Third Law
Let us briefly discuss the third law of thermodynamics for quantum systems.The third law requires quantum states [1].Therefore, it must take into account the probabilistic nature of quantum theory.The probability function ( ) A relation between thermodynamic temperature and concavity of the entropy function is discussed by Lieb and Yngvason [3].

Ψ
, etc. Here, Greek letter (subscript) denotes the label of respective states of quantum system.In the following, we use a symbol Ψ  for quantum state space and a symbol Θ  (instead of Γ in classical case) to represent thermodynamic state space for quantum system.Our aim in this section is to show the relation between Ψ  and Θ  in order to obtain the representation of quantum thermodynamics.To define the state space for quantum thermodynamics, namely thermodynamic state space in quantum systems, we have to establish the relation between Ψ  and Θ  .In this section we shall introduce a thermodynamic state space Θ  and obtain the representation of the zeroth law of quantum thermodynamics.We first define a set Ψ  as a quantum state space : includes those elements which are linear combinations of the elements in Ψ  ; e.g., c is a complex number (a relative phase between Ψ  and ζ Ψ ).The importance of this statement is well recognized in quantum theory[5].All state vectors are thus found in the set Ψ  and they represent respective quantum states of the system.Now we would like to relate each element of thermodynamic states in Θ the representation of the zeroth law associated with the property of A1 for quantum thermodynamics, we introduce a set Θ  as a thermodynamic state space.It should be noted that the elements in comparable each other in a context of the zeroth law of classical thermodynamics.As will be shown below, introducing these parameters Θ's enables us to compare the quantum states in Ψ  in thermodynamic sense.
this requirement, it is ensured that those elements in Θ  are comparable each other and the Ch holds for j Θ 's once entropy is defined as a function of Θ .Therefore, the zeroth law of quantum thermodynamics can be uniquely established for quantum systems by making use of parameters j Θ 's.

Θ
correspond to respective state vectors in Ψ  .It should be noted that in order to obtain the corresponding equivalence relation for these elements j from the equivalence relation for j the same maximal test.In other words, when we compare the quantum states, those vectors in Ψ  representing the states must be comparable and hence their components must be described by the same complete orthogonal basis.Adopting this requirement, it is ensured that the elements in Θ  are comparable each other and can specify the respective states of quantum system.Though Θ  should be written as L Θ,


, where superscripts indicate the labels of respective systems.The equivalence relation among quantum states is described by , respectively.In this relation, a symbol  means that the state in the left-hand side is equivalent to the state in the right-hand side.Later this relation (8) reaffirm the zeroth law of thermodynamics.Proof of the zeroth law.Let A α Θ and B β Θ be the elements of A Θ  and B Θ  , respectively.By L1, it is clear that A B α β

∑
relates to the change in the outcome i dE .This term

4
We note that Equation (18) is a quantum analog of the expression d W PdV ′ = − in classical case.
It should be noted that adiabatic process allows to change a value of L since it only affects work d W ′ .This is consistent with adiabatic process defined by Lieb and Yngvason[3].Let us define an entropy function as a map from the set lemma (L2) is established: L2.There exists U specified by each element of ,L Θ  .Proof of L2.Without loss of generality, one can consider a fixed maximal test, where outcome of the maximal test is uniquely determined: The internal energy is represented by ( ) . It should be noted that each Θ can depend on different values of L. This is the entropy principle expressed in terms of Θ 's for a quantum compound system.The statement (24) means that ( )