Skip to main content
Chemistry LibreTexts

10.2: The Density Matrix and Density Operator

  • Page ID
    5253
  • \( \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}\)

    In general, the many-body wave function \(\Psi(q_1,...,q_{3N},t)\) is far too large to calculate for a macroscopic system. If we wish to represent it on a grid with just 10 points along each coordinate direction, then for \(N = 10^{23} \), we would need \(10^{10^{23}} \) total points, which is clearly enormous.

    We wish, therefore, to use the concept of ensembles in order to express expectation values of observables \(\langle A \rangle \) without requiring direct computation of the wavefunction. Let us, therefore, introduce an ensemble of systems, with a total of \(Z\) members, and each having a state vector \( { \vert\Psi^{(\alpha)}\rangle } \), \(\alpha = 1, \cdots , Z \). Furthermore, introduce an orthonormal set of vectors \(\langle \phi_k \vert\phi_j\rangle = \delta_{ij} \) ) and expand the state vector for each member of the ensemble in this orthonormal set:

    \[\vert\Psi^{(\alpha)}\rangle = \sum_k C_k^{(\alpha)}\vert\phi_k \rangle \nonumber \]

    The expectation value of an observable, averaged over the ensemble of systems is given by the average of the expectation value of the observable computed with respect to each member of the ensemble:

    \[ \langle A \rangle = {1 \over Z}\sum_{\alpha=1}^Z \langle \Psi^{(\alpha)}\vert A\vert\Psi^{(\alpha)}\rangle \nonumber \]

    Substituting in the expansion for \(\vert\Psi^{(\alpha)}\rangle \), we obtain

    \[\begin{align*} \langle A \rangle &= {1 \over Z}\sum_{k,l}C_k^{(\alpha)^*}C_l^{(\alpha)}\langle \phi_k \vert A\vert\phi_l \rangle \\[4pt] &= \sum_{k,l} \left({1 \over Z}\sum_{\alpha=1}^Z C_l^{(\alpha)}C_k^{(\alpha)^*}\right)\langle \phi_k\vert A\vert\phi_l\rangle \end{align*}\]

    Let us define a matrix

    \[\rho_{lk} = \sum_{\alpha=1}^Z C_l^{(\alpha)}C_k^{(\alpha)^*} \nonumber \]

    and a similar matrix

    \[\tilde{\rho}_{lk} = {1 \over Z}\sum_{\alpha=1}^Z C_l^{(\alpha)}C_k^{(\alpha)^*} \nonumber \]

    Thus, \( {\rho_{lk} }\) is a sum over the ensemble members of a product of expansion coefficients, while \( {\rho_{lk} }\) is an average over the ensemble of this product. Also, let \(A_{kl} = \langle \phi _k \vert A \vert \phi _l \rangle \). Then, the expectation value can be written as follows:

    \[\langle A \rangle = {1 \over Z}\sum_{k,l} \rho_{lk}A_{kl} = {1 \over Z} \sum _k (\rho A)_{kk} = {1 \over Z}{\rm Tr}(\rho A)= {\rm Tr}(\tilde{\rho}A) \nonumber \]

    where \( {\rho } \) and \(A\) represent the matrices with elements \( {\rho _{lk} }\) and \(A_{kl} \) in the basis of vectors \(\{\vert\phi_k\rangle \}\). The matrix \( {\rho _{lk} }\) is known as the density matrix. There is an abstract operator corresponding to this matrix that is basis-independent. It can be seen that the operator

    \[ \rho = \sum_{\alpha=1}^Z \vert\Psi^{(\alpha)}\rangle \langle \Psi^{(\alpha)}\vert \nonumber \]

    and similarly

    \[\tilde{\rho} = {1 \over Z}\sum_{\alpha=1}^Z \vert\Psi^{(\alpha)}\rangle \langle \Psi^{(\alpha)}\vert \nonumber \]

    have matrix elements \( {\rho _{lk} }\) when evaluated in the basis set of vectors \(\{\vert\phi_k\rangle \}\).

    \[\begin{align*} \langle \phi_l\vert\rho\vert\phi_k\rangle &= \sum_{\alpha=1}^Z \langle \phi _l \vert \Psi ^{(\alpha)} \rangle \langle \Psi ^{(\alpha)} \vert \phi _k \rangle \\[4pt] &= \sum_{\alpha=1}^Z C_l^{(\alpha)}C_k^{(\alpha)^*} \\[4pt] &= \rho_{lk} \end{align*}\]

    Note that \( {\rho} \) is a hermitian operator

    \[\rho^{\dagger} = \rho \nonumber \]

    so that its eigenvectors form a complete orthonormal set of vectors that span the Hilbert space. If \( {w _k }\) and \(\vert w_k \rangle \) represent the eigenvalues and eigenvectors of the operator \( {\tilde{\rho} } \), respectively, then several important properties they must satisfy can be deduced.

    Firstly, let \(A\) be the identity operator \(I \). Then, since \(\langle I \rangle = 1 \), it follows that

    \[1 = {1 \over Z}{\rm Tr}(\rho) = {\rm Tr}(\tilde{\rho}) = \sum_k w_k \nonumber \]

    Thus, the eigenvalues of \( {\tilde{\rho} } \) must sum to 1. Next, let \(A\) be a projector onto an eigenstate of \( {\tilde{\rho} } \), \(A=\vert w_k\rangle \langle w_k\vert \equiv P_k \). Then

    \[\langle P_k \rangle = {\rm Tr}(\tilde{\rho} \vert w_k\rangle \langle w_k\vert) \nonumber \]

    But, since \( {\tilde{\rho} } \) can be expressed as

    \[\tilde{\rho} = \sum_k w_k \vert w_k\rangle \langle w_k\vert \nonumber \]

    and the trace, being basis set independent, can be therefore be evaluated in the basis of eigenvectors of \( {\tilde{\rho} } \), the expectation value becomes

    \[\begin{align*} \langle P_k \rangle &= \sum_j \langle w_j \vert \sum_i w_i \vert w_i \rangle \langle w_i \vert w_k\rangle \langle w_k \vert w_j \rangle \\[4pt] &= \sum_{i,j} w_i \delta_{ij}\delta_{ik}\delta_{kj} \\[4pt] &={w_k} \end{align*}\]  

    However,

    \[\begin{align*} \langle P_k \rangle&= {1 \over Z} \sum_{\alpha=1}^Z \langle \Psi^{(\alpha)}\vert w_k \rangle \langle w_k\vert\Psi^{(\alpha)}\rangle \\[4pt] &= {1 \over Z}\sum_{\alpha=1}^Z\vert\langle \Psi^{(\alpha)}\vert w_k\rangle \vert^2 \geq 0 \end{align*}\]

    Thus, \( {w_k \ge 0 }\). Combining these two results, we see that, since \(\sum _k w_k = 1 \) and \( {w_k \ge 0 }\), \( {0 \le w_k \le 1 }\), so that \( {w_k }\) satisfy the properties of probabilities.

    With this in mind, we can develop a physical meaning for the density matrix. Let us now consider the expectation value of a projector \(\vert a_i\rangle \langle a_i\vert\equiv {\cal P}_{a_i} \) onto one of the eigenstates of the operator \(A\). The expectation value of this operator is given by

    \[\begin{align*} \langle {\cal P}_{a_i} \rangle &= {1 \over Z}\sum_{\alpha=1}^Z \langle \Psi^{(\alpha)} \vert P_{a_i} \vert \Psi^{(\alpha)}\rangle \\[4pt] &= {1 \over Z} \sum_{\alpha=1}^Z \langle \Psi^{(\alpha)} \vert a_i \rangle \langle a_i \vert \Psi ^{(\alpha)} \rangle \\[4pt] &= {1 \over Z}\sum_{\alpha=1}^Z \vert\langle a_i \vert\Psi^{(\alpha)}\rangle \vert^2 \end{align*}\]

    But \( { \vert\langle a_i\vert\Psi^{(\alpha)}\rangle \vert^2 \equiv P_{a_i}^{(\alpha)} }\) is just probability that a measurement of the operator \(A\) in the \(\alpha \) th member of the ensemble will yield the result \( {a_i } \). Thus,

    \[\langle {\cal P}_{a_i} \rangle = {1 \over Z}\sum_{\alpha=1}^P P_{a_i}^{(\alpha)} \nonumber \]

    or the expectation value of \(P_{a_i} \) is just the ensemble averaged probability of obtaining the value \( {a_i}\) in each member of the ensemble. However, note that the expectation value of \(P_{a_i}\) can also be written as

    \[\begin{align*} \langle {\cal P}_{a_i} \rangle &= {\rm Tr}(\tilde{\rho}{\cal P}_{a_i}) \\[4pt] &= {\rm Tr}(\sum_k w_k\vert w_k\rangle \langle w_k \vert a_i\rangle\langle a_i\vert) \\[4pt] &= \sum_{k,l}\langle w_l\vert w_k\vert w_k\vert w_k \rangle \langle w_k\vert a_i \rangle \langle a_i\vert w_l\rangle \\[4pt] &= \sum_{k,l} w_k \delta_{kl}\langle w_k a_i \rangle \langle a_i w_l \rangle \\[4pt] &= {\sum_k w_k \vert\langle a_i \vert w_k \rangle \vert^2 } \end{align*}\]

    Equating the two expressions gives

    \[{1 \over Z}\sum_{\alpha=1}^Z \langle P^{(\alpha)}_{a_i} \rangle =\sum_k w_k \vert\langle a_i\vert w_k \rangle \vert^2 \nonumber \]

    The interpretation of this equation is that the ensemble averaged probability of obtaining the value \( {a_i}\) if \(A\) is measured is equal to the probability of obtaining the value \( {a_i}\) in a measurement of \(A\) if the state of the system under consideration were the state \(\vert w_k \rangle \), weighted by the average probability \( {w_k} \) that the system in the ensemble is in that state. Therefore, the density operator \( {\rho}\) (or \( {\rho}\)) plays the same role in quantum systems that the phase space distribution function \(f({\bf\Gamma})\) plays in classical systems.


    This page titled 10.2: The Density Matrix and Density Operator is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Mark Tuckerman.