![]() | This article includes alist of references,related reading, orexternal links,but its sources remain unclear because it lacksinline citations. Please helpimprove this article byintroducing more precise citations.(September 2024) (Learn how and when to remove this message) |
Part of a series of articles about |
Quantum mechanics |
---|
Scientists |
Quantum statistical mechanics isstatistical mechanics applied toquantum mechanical systems. In quantum mechanics astatistical ensemble (probability distribution over possiblequantum states) is described by adensity operatorS, which is a non-negative,self-adjoint,trace-class operator of trace 1 on theHilbert spaceH describing the quantum system. This can be shown under variousmathematical formalisms for quantum mechanics.
From classical probability theory, we know that theexpectation of arandom variableX is defined by itsdistribution DX byassuming, of course, that the random variable isintegrable or that the random variable is non-negative. Similarly, letA be anobservable of a quantum mechanical system.A is given by adensely definedself-adjoint operator onH. Thespectral measure ofA defined by
uniquely determinesA and conversely, is uniquely determined byA. EA is aBoolean homomorphism from theBorel subsets ofR into thelatticeQ of self-adjoint projections ofH. In analogy with probability theory, given a stateS, we introduce thedistribution ofA underS which is the probability measure defined on the Borel subsets ofR bySimilarly, the expected value ofA is defined in terms of the probability distribution DA byNote that this expectation is relative to the mixed stateS which is used in the definition of DA.
Remark. For technical reasons, one needs to consider separately the positive and negative parts ofA defined by theBorel functional calculus for unbounded operators.
One can easily show:Thetrace of an operatorA is written as follows: Note that ifS is apure state corresponding to thevector, then:
Of particular significance for describing randomness of a state is the von Neumann entropy ofSformally defined by. Actually, the operatorS log2S is not necessarily trace-class. However, ifS is a non-negative self-adjoint operator not of trace class we define Tr(S) = +∞. Also note that any density operatorS can be diagonalized, that it can be represented in some orthonormal basis by a (possibly infinite) matrix of the formand we defineThe convention is that, since an event with probability zero should not contribute to the entropy. This value is an extended real number (that is in [0, ∞]) and this is clearly a unitary invariant ofS.
Remark. It is indeed possible that H(S) = +∞ for some density operatorS. In factT be the diagonal matrixT is non-negative trace class and one can showT log2T is not trace-class.
Theorem— Entropy is a unitary invariant.
In analogy withclassical entropy (notice the similarity in the definitions), H(S) measures the amount of randomness in the stateS. The more dispersed the eigenvalues are, the larger the system entropy. For a system in which the spaceH is finite-dimensional, entropy is maximized for the statesS which in diagonal form have the representationFor such anS, H(S) = log2n. The stateS is called the maximally mixed state.
Recall that apure state is one of the formfor ψ a vector of norm 1.
Theorem—H(S) = 0 if and only ifS is a pure state.
ForS is a pure state if and only if its diagonal form has exactly one non-zero entry which is a 1.
Entropy can be used as a measure ofquantum entanglement.
Consider an ensemble of systems described by a HamiltonianH with average energyE. IfH has pure-point spectrum and the eigenvalues ofH go to +∞ sufficiently fast, e−r H will be a non-negative trace-class operator for every positiver.
TheGibbs canonical ensemble is described by the stateWhere β is such that the ensemble average of energy satisfies
and
This is called thepartition function; it is the quantum mechanical version of thecanonical partition function of classical statistical mechanics. The probability that a system chosen at random from the ensemble will be in a state corresponding to energy eigenvalue is
Under certain conditions, the Gibbs canonical ensemble maximizes the von Neumann entropy of the state subject to the energy conservation requirement.[clarification needed]
For open systems where the energy and numbers of particles may fluctuate, the system is described by thegrand canonical ensemble, described by the density matrixwhere theN1,N2, ... are the particle number operators for the different species of particles that are exchanged with the reservoir. Note that this is a density matrix including many more states (of varying N) compared to the canonical ensemble.
The grand partition function is