6.2: The Interchange Rule
- Page ID
- 6365
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Before turning to statistical mechanics, let us review the quantal “interchange rule”. The wavefunction for a system of three particles is a function of three variables: ψ(xA, xB, xC). [The symbol x represents whatever is needed to specify the state: For a spinless particle in one dimension x represents the coordinate x or, if you are working in momentum space, the coordinate p. For a particle with spin moving in three dimensions, x represents (x, y, z, mz), or perhaps (px, py, pz, mx).] If the three particles are identical, then the wavefunction must be either symmetric under the interchange of any pair of variables
\[ \psi\left(\mathbf{x}_{A}, \mathbf{x}_{B}, \mathbf{x}_{C}\right)=+\psi\left(\mathbf{x}_{B}, \mathbf{x}_{A}, \mathbf{x}_{C}\right)=+\psi\left(\mathbf{x}_{B}, \mathbf{x}_{C}, \mathbf{x}_{A}\right), \quad \text { etc. },\]
or else antisymmetric under the interchange of any pair of variables,
\[ \psi\left(\mathbf{x}_{A}, \mathbf{x}_{B}, \mathbf{x}_{C}\right)=-\psi\left(\mathbf{x}_{B}, \mathbf{x}_{A}, \mathbf{x}_{C}\right)=+\psi\left(\mathbf{x}_{B}, \mathbf{x}_{C}, \mathbf{x}_{A}\right), \quad \text { etc. }\]
The foregoing assertion is an empirical rule that cannot be derived from any of the other principles of quantum mechanics. (Indeed there is currently considerable interest in anyons, hypothetical particles that obey all the principles of quantum mechanics except the interchange rule.) The rule holds for all quantal states, not just energy eigenstates. It holds for interacting as well as for non-interacting particles. And the rule has a number of surprising consequences, both within the domain of quantum mechanics and atomic physics, and, as well shall soon see in detail, within the domain of statistical mechanics.
The sign of the interchange symmetry, either + or −, is governed only by the type of particle involved: for pions it is always +, for electrons it is always −. Particles for which the sign is always + are called bosons, and those for which it is always − are called fermions. It is an experimental fact that particles with integral spin s are bosons and those with half integral spin s are fermions.
6.2.1 Problems
6.1 The interchange rule in another representation
Full information about the state of three identical spinless particles is contained not only in the configurational wave function ψ(xA, xB, xC) but also in the momentum space wave function
\[ \tilde{\psi}\left(\mathbf{p}_{A}, \mathbf{p}_{B}, \mathbf{p}_{C}\right)=\frac{1}{(2 \pi \hbar)^{9 / 2}} \int d^{3} x_{A} \int d^{3} x_{C} \psi\left(\mathbf{x}_{A}, \mathbf{x}_{B}, \mathbf{x}_{C}\right) e^{-i\left(\mathbf{p}_{A} \cdot \mathbf{x}_{A}+\mathbf{p}_{B} \cdot \mathbf{x}_{B}+\mathbf{p}_{C} \cdot \mathbf{x}_{C}\right) / \hbar}.\]
Show that if one representation is symmetric (or antisymmetric), then the other one is as well.
6.2 Symmetrization
Show that for any function f(x, y, z), the function
\[ f_{S}(x, y, z)=f(x, y, z)+f(x, z, y)+f(z, x, y)+f(z, y, x)+f(y, z, x)+f(y, x, z)\]
is symmetric under the interchange of any pair of variables. How many such pairs are there? Is there a similar algorithm for building up an antisymmetric function from any garden-variety function?