next up previous
Next: Quantum Effects on Classical Integrals Up: Chapter 11 Previous: Choice of Basis Vectors

Replacement of Sums over All States with Sums over Eigenstates

Sums over States

Lectures 1-6 presented a demonstration of the powers of classical statistical mechanics. Our calculations were based on the use of ensembles, an ensemble being a list of all possible states of the system, together with the statistical weight assigned to each state. The list of allowed states and statistical weights is often given implicitly by listing a series of constraints: for the canonical ensemble, the constraints are fixed N, V, T. For the 1-atom ideal gas, the states of the system are specified by giving the position and momentum of the gas molecule. The particle position tex2html_wrap_inline919 is allowed to lie anywhere within V, while tex2html_wrap_inline923 may have any vector value.

The treatment leading to eq. 11.6 masked a fundamental difference between the sums used used in Lectures 8 and 9 and the sums used in all previous Lectures. In the earlier Lectures, the ensemble sum was taken over all states whatsoever of the system. In Lectures 8 and 9, the sum was taken over the system's energy eigenstates. These energy eigenstates are a complete set of states. However, in quantum mechanics, the adjective complete assumes a specific technical meaning, namely that is a set of states is complete if an arbitrary state of the system can written as a sum over the complete set of states. For any system, many allowed states are not included in the complete set of states, namely the mixed states, which are are linear combinations of the complete set of basis states. Note the fundamental difference between the classical and quantum calculations. In the classical calculation, the 'complete' set of states included every single state. In the quantum calculation, the 'complete' set of states included some states but not others.

As an example of the distinction between a complete set of state vectors and a complete set of basis vectors, consider the model spin system treated above. A complete set of (basis) states for this system is formed by the energy eigenstates tex2html_wrap_inline925 and tex2html_wrap_inline927 . An alternative complete set of (basis) states for the system is composed of the helicity states tex2html_wrap_inline929 and tex2html_wrap_inline931 . Any other state of the system may be written as a linear combination of the energy eigenstates or as a linear combination of the helicity states. By applying Gramm-Schmidt orthonormalization, any non-zero state tex2html_wrap_inline783 whatsoever of the system may be taken as a basis state; the orthogonality requirement then determines the other basis state. This is a two-dimensional system. No matter which (non-zero) state of the system is chosen to be one of the basis vectors, Gramm-Schmidt orthonormalization will yield two and only two basis vectors for this system. Since any single state of the system may be chosen as one of the two basis vectors, there is absolutely no fundamental physical distinction, without reference to the current choice of basis, in which any particular set may be said to be `pure'or `mixed'.

While the spin system has only two basis vectors, it has an infinite number of states. Limiting ourselves to normalized states, the complete list of all states of the system, including pure and mixed states, may be written


Here tex2html_wrap_inline935 and tex2html_wrap_inline937 are the basis vectors for the system, tex2html_wrap_inline939 and tex2html_wrap_inline941 are phase factors ( tex2html_wrap_inline943 ), and tex2html_wrap_inline945 and tex2html_wrap_inline947 are amplitudes, with tex2html_wrap_inline949 . There are two basis vectors, but there are a three-fold infinite set of states tex2html_wrap_inline783 of the system. (In Dirac's formalization of quantum mechanics[1], the direction but not the magnitude of tex2html_wrap_inline783 has physical significance, so the condition tex2html_wrap_inline949 would be lifted.)

If the canonical ensemble includes all states of the system, an average over a canonical ensemble for the two-level spin should have a sum over all of the states represented by eq. 11.10, not just a sum (like eqs. 11.5 or 11.9) over a pair of basis states. To write this average over a canonical ensemble, recognize that an arbitrary state tex2html_wrap_inline783 of the system is characterized by the amplitudes tex2html_wrap_inline959 and phases tex2html_wrap_inline961 of its eigenvector components. The pure states are those in which some one tex2html_wrap_inline959 is unity, while the other tex2html_wrap_inline959 all vanish. The phases tex2html_wrap_inline961 range freely over the interval tex2html_wrap_inline969 . The tex2html_wrap_inline959 are free to have any real value, subject to the restriction tex2html_wrap_inline973 . The phase factors absorb the sign of tex2html_wrap_inline959 ; the amplitudes are restricted to be positive semidefinite. A sum over all states of a quantum system as opposed to a sum over a complete set of states, may be expressed


so that the quantum ensemble average becomes






Inspection allows some simplification of these integrals. First extract the double sum tex2html_wrap_inline977 to outside the integrals. Each term of the double sum contains a factor


Nothing outside this factor, e.g., E, should depend on tex2html_wrap_inline961 or tex2html_wrap_inline983 . The self terms of the double sum yield factors tex2html_wrap_inline985 . The distinct terms of the double sum vanish, reducing the double sum to a single sum, namely




The integrals in eq. 11.14 need not be evaluated explicitly. The quantum averages tex2html_wrap_inline987 and tex2html_wrap_inline797 depend on J but not on the tex2html_wrap_inline993 . Except for the label j, the integrals


are the same in every term of the numerator sum and in every term of the denominator sum. Substituting eq. 11.15 into eq. 11.14,


While complicated in structure, the factors tex2html_wrap_inline997 above and below are constants, which may be cancelled, giving


for the ensemble average and


for the partition function. An ensemble average over all states of a quantum system thus reduces to an ensemble average over a complete set of basis states. Eq. 11.18 justifies our claim above that the partition function can be written as a sum over energy eigenstates. It is important to emphasize that the results of this section have nothing to do with the results of the previous section. In the previous section, we showed that tex2html_wrap_inline999 is independent of the choice of basis set. In this section, we showed that computing tex2html_wrap_inline999 over any choice of basis set gives the same result as computing tex2html_wrap_inline999 over all states of the system.

next up previous
Next: Quantum Effects on Classical Integrals Up: Chapter 11 Previous: Choice of Basis Vectors

Nicholas V Sushkin
Sun Jun 30 15:55:07 EDT 1996