12.2: Notating Multiple Particle States
- Page ID
- 56877
\( \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 we go further, we need to refine our notation so that we can keep track of two different particles. We can construct a two-particle state by putting together two states for each individual particle with:
\[\left|\psi_{1}\right\rangle \otimes\left|\phi_{2}\right\rangle\tag{12.3}\]
The ⊗ operator indicates that we’re putting these two states together to form a composite state. It’s sometimes called a “direct product”, but it’s not really all that much like multiplication. Really, it just means that we’re making some composed state that combines particle 1 in state \(|\psi\rangle\) and particle 2 in state \(|\phi\rangle\). The subscript indicates which particle we’re talking about; the rest of the stuff inside the ket indicates the state of that particular particle.
For simplicity, we will often omit the ⊗ symbol in the “direct product”, and just write the two states next to each other, e.g.
\[\left|\psi_{1}\right\rangle\left|\phi_{2}\right\rangle\tag{12.4}\]
Again, this does not mean that we’re multiplying two ket vectors, which is something we can’t do. Instead, it means that we’re composing the states. If these were spin states, we would not represent this with two column vectors. Instead, we’d represent it with a single four-row column vector; the first two rows have the column vector representation of whatever state the first particle is in, and the second two rows have the column vector representation of whatever state the second particle is in.
If an operator operates on this state, it only affects the state for the particle it is an operator for. That is, if “spin-z for particle 2” is the observable we’re talking about, then the operator \(\hat{S}_{z 2}\) only operates on (in this example) the state \(\left|\phi_{2}\right\rangle\). Indeed, you can treat \(\left|\phi_{1}\right\rangle\) as if it were a constant:
\[\hat{S}_{z 2}\left|\psi_{1}\right\rangle\left|\phi_{2}\right\rangle=\left|\psi_{1}\right\rangle \hat{S}_{z 2}\left|\phi_{2}\right\rangle\tag{12.5}\]
As an example, suppose that particle 1 is in the state \(|+z\rangle\) and particle 2 is in the state \(|-z\rangle\). If we apply the \(\hat{S}_{z 2}\) operator to this state, we get:
\[\begin{aligned}
\hat{S}_{z 2}\left|+z_{1}\right\rangle\left|-z_{2}\right\rangle &=\left|+z_{1}\right\rangle \hat{S}_{z 2}\left|-z_{2}\right\rangle \\
&=\left|+z_{1}\right\rangle\left(\frac{-\hbar}{2}\right)\left|-z_{2}\right\rangle \\
&=\left(-\frac{\hbar}{2}\right)\left|+z_{1}\right\rangle\left|-z_{2}\right\rangle
\end{aligned}\tag{12.6}\]
Here, we have taken advantage of the fact that \(\left|-z_{2}\right\rangle\) is an eigenstate of \(\hat{S}_{z 2}\), and replaced the action of the operator with a simple multiplication by the eigenvalue.
There will be some operators (e.g. the forthcoming exchange operator) that don’t operate on just one of the two particles, but on both at the same time.
Similarly, with inner products, bra versions of a state only “stick” to ket versions of a state on the straight side of the bra-ket notation if they are states for the same particle. Thus, suppose we had a composite state:
\[|\xi\rangle=\left|\psi_{1}\right\rangle\left|\phi_{2}\right\rangle\tag{12.7}\]
The corresponding bra vector is:
\[\langle\xi|=\left\langle\psi_{1}\right|\left\langle\phi_{2}\right|\tag{12.8}\]
Normalization of this state is then expressed as:
\[\begin{aligned}
\langle\xi \mid \xi\rangle &=\left(\left\langle\psi_{1}\left|\left\langle\phi_{2}\right|\right)\left(\left|\psi_{1}\right\rangle\left|\phi_{2}\right\rangle\right)\right.\right.\\
&=\left\langle\psi_{1} \mid \psi_{1}\right\rangle\left\langle\phi_{2} \mid \phi_{2}\right\rangle \\
&=1
\end{aligned}\tag{12.9}\]
We’ve rearranged states here a bit. We moved the \(\left|\psi_{1}\right\rangle\) from after the \(\left\langle\phi_{2}\right|\) to before it. This should make you a little nervous; we’ve seen that with matrices and other things that aren’t simple numbers, multiplication is not necessarily commutative. However, again, in this case, when it comes to inner products, a state for a different particle can be treated as a constant with respect to inner products for the first particle. As such, it’s entirely legitimate to move \(\left|\psi_{1}\right\rangle\) into, out of, and through inner products on particle 2 (at least in the case of the simple composed states we’re talking about here).