Skip to main content
Chemistry LibreTexts

1.109: State Vectors and State Operators- Superpositions, Mixed States, and Entanglement

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

    This tutorial will use the concepts of state vector and state operator to examine superpositions and mixed states using the matrix formulation of quantum mechanics. The state vectors required are given immediately below. An unsubscripted spin arrow refers to spin in the z‐direction.

    \[ \begin{matrix} | \Psi \rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix} & \langle \uparrow | = \begin{pmatrix} 1 & 0 \end{pmatrix} & | \downarrow \rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix} & \langle \downarrow | = \begin{pmatrix} 0 & 1 \end{pmatrix} & | \uparrow_x \rangle = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 1 \end{pmatrix} & | \downarrow_x \rangle = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ -1 \end{pmatrix} & \langle \downarrow_x \rangle = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 & -1 \end{pmatrix} \end{matrix} \nonumber \]

    These same states are now defined using Mathcad syntax.

    \[ \begin{pmatrix} \text{Szu} = \begin{pmatrix} 1 \\ 0 \end{pmatrix} & \text{Szd} = \begin{pmatrix} 0 \\ 1 \end{pmatrix} & \text{Sxu} = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 1 \end{pmatrix} & \text{Sxd} = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ -1 \end{pmatrix} \\ \text{Szu}^T = \begin{pmatrix} 1 & 0 \end{pmatrix} & \text{Szd}^T = \begin{pmatrix} 0 & 1 \end{pmatrix} & \text{Sxu}^T = \begin{pmatrix} 0.707 & 0.707 \end{pmatrix} & \text{Sxd}^T = \begin{pmatrix} 0.707 & -0.707 \end{pmatrix} \end{pmatrix} \nonumber \]

    The identity and z‐ and x‐direction spin operators (in units of h/4π) will be used.

    \[ \begin{matrix} I = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} & \sigma_z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} & \sigma_x = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \end{matrix} \nonumber \]

    Dirac has said that the superposition principle is at the heart of quantum mechanics. He elaborated in The Physical Principles of Quantum Mechanics.

    The nature of the relationships which the superposition principle requires to exist between states of any system is of a kind that cannot be explained in terms of familiar physical concepts. One cannot in the classical sense picture a system being partly in each of two states and see the equivalence of this to the system being completely in some other state. There is an entirely new idea involved, to which one must get accustomed and in terms of which one must proceed to build up an exact mathematical theory, without having any detailed classical picture.

    N. David Mermin [American Journal of Physics 71, 29, (2003)] succinctly summarized Diracʹs statement when he wrote, ʺSuperpositions have no classical interpretation. They are sui generis, an intrinsically quantum‐mechanical construct...ʺ

    We now illustrate the properties of a superposition with a specific example. A spin system with spin up in the x‐direction is prepared using a Stern‐Gerlach apparatus. We see from the mathematics below that this system can also be considered to be an even superposition of spin up and spin down in the z‐direction.

    \[ \begin{matrix} | \uparrow_x \rangle = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 1 \end{pmatrix} = \frac{1}{ \sqrt{2}} \left[ \begin{pmatrix} 1 \\ 0 \end{pmatrix} + \begin{pmatrix} 0 \\ 1 \end{pmatrix} \right] = \frac{1}{ \sqrt{2}} \left[ | \uparrow \rangle + | \downarrow \rangle \right] = | \Psi \rangle & \Psi = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 1 \end{pmatrix} \end{matrix} \nonumber \]

    Subsequent spin measurements confirm what is expressed mathematically above. If the spin system is passed through a Stern‐Gerlach magnet oriented in the x‐direction, the beam bends in one direction, the direction associated with spin up in the x‐direction. However, if the system is passed through a Stern‐Gerlach magnet oriented in the z‐direction, it is split into two beams, one associated with spin up in the z‐direction and one associated with spin down in the z‐direction. The expectation values calculated below are consistent with these experimental results.

    \[ \begin{matrix} \Psi^T \sigma_x \Psi = 1 & \Psi^T \sigma_z \Psi = 0 \end{matrix} \nonumber \]

    The state operator is a more versatile quantum construct than the mathematically simpler state vector. It is the outer product of the state vector.

    \[ \begin{matrix} \hat{ \rho} = | \uparrow_x \rangle \langle \uparrow_x | = \frac{1}{2} \begin{pmatrix} 1 \\ 1 \end{pmatrix} \begin{pmatrix} 1 & 1 \end{pmatrix} = \frac{1}{2} \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} = | \Psi \rangle \langle \Psi | & \rho = \frac{1}{2} \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} \end{matrix} \nonumber \]

    Expectation values can also be calculate using the state operator.

    \[ \langle \Psi | \hat{A} | \Psi \rangle = \sum_{i} \langle \Psi | \hat{A} | i \rangle \langle i | \Psi \rangle = \sum_{i} \langle i | \Psi \rangle \langle \Psi | \hat{A} | i \rangle = Tr \left( \hat{ \rho}_{ \Psi} \hat{A} \right) ~ \text{where} ~ \sum_{i} | i \rangle \langle i | = Identity \nonumber \]

    \[ \begin{matrix} \text{tr} \left( \rho \sigma_x \right) = 1 & \text{tr} \left( \rho \sigma_z \right) = 0 \end{matrix} \nonumber \]

    It is not uncommon for people to look at the superposition

    \[ | \Psi \rangle = \frac{1}{ \sqrt{2}} \left[ |\Psi \rangle + | \Psi \rangle \right] \nonumber \]

    we are considering and think of it as a 50‐50 mixture of spin up and spin down in the z‐direction.

    However, a mixture cannot be represented by a state vector. A mixture must be represented by a state operator which is a weighted sum of the outer products of the vectors contributing to the mixture, as shown below.

    \[ \begin{matrix} \hat{ \rho}_{Mix} = \frac{1}{2} | \uparrow \rangle \langle \uparrow | + \frac{1}{2} | \downarrow \rangle \langle \downarrow | = \frac{1}{2} \left[ \begin{pmatrix} 1 \\ 0 \end{pmatrix} \begin{pmatrix} 1 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 1 \end{pmatrix} \begin{pmatrix} 0 & 1 \end{pmatrix} \right] = \frac{1}{2} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} & \rho_{ \text{mix}} = \frac{1}{2} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \end{matrix} \nonumber \]

    Measurement of the z‐direction spin gives the same results as above and might lead one to conclude that a superposition and a mixture cannot be distinguished experimentally. However, the x‐direction calculation shows that a superposition is not a classical mixture of spin states, because it is in disagreement with the experimental results presented above.

    \[ \begin{matrix} \text{tr} \left( \rho_{ \text{mix}} \sigma_z \right) = 0 & \text{tr} \left( \rho_{ \text{mix}} \sigma_x \right) = 0 \end{matrix} \nonumber \]

    Before moving on to composite systems and entanglement, a few additional features of the state operators for superpositions (pure states) and mixtures are illustrated.

    \[ \begin{matrix} \rho_{ \text{sup}} = \frac{1}{2} \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} & \rho_{ \text{mix}} = \frac{1}{2} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \end{matrix} \nonumber \]

    One rather obvious difference between these state operators is that the one representing a classical mixture is diagonal, while the one representing the superposition has off‐diagonal elements. The presence of off‐diagonal elements in a state operator is the signature of a quantum mechanical system.

    All valid state operators have unit traces; the sum of the diagonal elements equals unity.

    \[ \begin{matrix} \text{tr} \left( \rho_{ \text{sup}} \right) = 1 & \text{tr} \left( \rho_{ \text{mix}} \right) = 1 \end{matrix} \nonumber \]

    However, the trace of the square of the state operator distinguishes between a pure state and a mixture as shown below.

    \[ \begin{matrix} \text{tr} \left( \rho_{ \text{sup}}^2 \right) = 1 & \text{tr} \left( \rho_{ \text{mix}}^2 \right) = 1 \end{matrix} \nonumber \]

    Finally we show that ρmix cannot represent a superposition.

    \[ \frac{1}{2} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \neq \begin{pmatrix} a \\ b \end{pmatrix} \begin{pmatrix} a & b \end{pmatrix} = \begin{pmatrix} a^2 & ab \\ ab & b^2 \end{pmatrix} \nonumber \]

    Comparing the left and right sides we conclude that: a2 = b2 = 1/2 and ab = 0. These constraints are contradictory.

    Composite two‐particle entangled states are also superpositions. Below one of the Bell states is constructed. Bell states are maximally entangled superpositions of two‐particle states.

    \[ | \Psi \rangle = \frac{1}{ \sqrt{2}} \left[ | \uparrow_1 \rangle \otimes | \uparrow_2 \rangle + | \downarrow_1 \rangle \otimes | \downarrow_2 \rangle \right] = \frac{1}{ \sqrt{2}} \left[ \right] = \frac{1}{ \sqrt{2}} \left[ \begin{pmatrix} 1 \\ 0 \end{pmatrix} \otimes \begin{pmatrix} 1 \\ 0 \end{pmatrix} + \begin{pmatrix} 0 \\ 1 \end{pmatrix} \otimes \begin{pmatrix} 0 \\ 1 \end{pmatrix} \right] = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ 0 \\ 1 \end{pmatrix} \nonumber \]

    This is an entangled state because it cannot be factored as is shown below.

    \[ \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ 0 \\ 1 \end{pmatrix} \neq \begin{pmatrix} a_1 \\ a_2 \end{pmatrix} \otimes \begin{pmatrix} b_1 \\ b_2 \end{pmatrix} = \begin{pmatrix} a_1 b_1 \\ a_1 b_2 \\ a_2 b_1 \\ a_2 b_2 \end{pmatrix} \nonumber \]

    Comparing the left and right sides we conclude that: a1b1 = a2b2 = 1/sqrt(2) and a1b2 = a2b1 = 0. There are no values of a1, a2, b1 and b2 that satisfy these constraints.

    Because entangled wave functions are not separable the entangled particles represented by such wave functions do not have separate identities or individual properties. However, if the spin orientation of particle 1 is learned through measurement, the spin orientation of particle 2 is also immediately known no matter how far away it may be. Entanglement suggests nonlocal phenomena which in the words of Nick Herbert are ʺunmediated, unmitigated and immediate.ʺ

    Next we form the state operator of the two‐particle entangled state.

    \[ | \Psi \rangle \langle \Psi | = \frac{1}{2} \left[ | \uparrow_1 \rangle \otimes | \uparrow_2 \rangle + | \downarrow_1 \rangle \otimes | \downarrow_2 \rangle \right] \left[ \langle \uparrow_2 | \otimes \langle \uparrow_1 | + \langle \downarrow_2 | \otimes \langle \downarrow_1 | \right] \nonumber \]

    \[ \begin{matrix} | \Psi \rangle \langle \Psi | = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ 0 \\ 1 \end{pmatrix} \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 & 0 & 0 & 1 \end{pmatrix} = \frac{1}{2} \begin{pmatrix} 1& 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 1 \end{pmatrix} & \rho_{ \text{ent}} = \frac{1}{2} \begin{pmatrix} 1& 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 1 \end{pmatrix} \end{matrix} \nonumber \]

    The two‐spin entangled state is a pure state:

    \[ \begin{matrix} \text{tr} \left( \rho_{ \text{ent}} \right) = 1 & \text{tr} \left( \rho_{ \text{ent}}^2 \right) = 1 \end{matrix} \nonumber \]

    Next we demonstrate the correlation inherent in this entangled state. Spin measurements in the z‐ and x‐directions on the spins always yields the same result (highlighted below). Kronecker is Mathcadʹs command for tensor multiplication of matrices.

    \[ \begin{matrix} \text{SzSz = kronecker} \left( \sigma_z, ~ \sigma_z \right) & \text{tr} \left( \rho_{ \text{ent}} \text{SzSz} \right) = 1 & \text{SxSx = kronecker} \left( \sigma_x,~ \sigma_x \right) & \text{tr} \left( \rho_{ \text{ent}} \text{SxSx} \right) = 1 \end{matrix} \nonumber \]

    Initially the x‐direction measurement result may seem strange. However, it is easy to show that writing the entangled wave function in the x‐basis is identical to the z‐basis version.

    \[ \begin{matrix} | \uparrow_x \rangle = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 1 \end{pmatrix} & \langle \uparrow_x | = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 & 1 \end{pmatrix} & | \downarrow_x \rangle = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ -1 \end{pmatrix} & \langle \downarrow_x | = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 & -1 \end{pmatrix} \end{matrix} \nonumber \]

    \[ | \Psi \rangle = \frac{1}{ \sqrt{2}} \left[ | \uparrow_{x1} \rangle \otimes | \uparrow_{x2} \rangle + | \downarrow_{x1} \rangle \otimes | \downarrow_{x2} \rangle \right] = \frac{1}{2 \sqrt{2}} \left[ \right] = \frac{1}{2 \sqrt{2}} \left[ \begin{pmatrix} 1 \\ 1 \end{pmatrix} \otimes \begin{pmatrix} 1 \\ 1 \end{pmatrix} + \begin{pmatrix} 1 \\ -1 \end{pmatrix} \otimes \begin{pmatrix} 1 \\ -1 \end{pmatrix} \right] = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ 0 \\ 1 \end{pmatrix} \nonumber \]

    In spite of the strong correlation observed when the spins of both particles are measured in the same direction, spin measurements on the individual particles are completely random.

    \[ \begin{matrix} \text{SzI = kronecker} \left( \sigma_z,~ I \right) & \text{SxI = kronecker} \left( \sigma_x,~ I \right) & \text{ISz = kronecker} \left( I,~ \sigma_z \right) & \text{ISx = kronecker} \left( I,~ \sigma_x \right) \\ \text{tr} \left( \rho_{ \text{ent}} \text{SzI} \right) = 0 & \text{tr} \left( \rho_{ \text{ent}} \text{SxI} \right) = 0 & \text{tr} \left( \rho_{ \text{ent}} \text{ISx} \right) = 0 & \text{tr} \left( \rho_{ \text{ent}} \text{ISx} \right) = 0 \end{matrix} \nonumber \]

    This can be confirmed by expanding the state operator in the fashion shown below, and then ʺtracingʺ over the spin states of particle 1. The terms highlighted in blue survive the trace operation.

    \[ \begin{matrix} | \Psi \rangle \langle \Psi | = \frac{1}{2} \left[ \textcolor{blue}{ | \uparrow_1 \rangle | \uparrow_2 \rangle \langle \uparrow_2 | \langle \uparrow_1 | } + | \uparrow_1 \rangle | \uparrow_2 \rangle \langle \downarrow_2 | \langle \downarrow_1 | + | \downarrow_1 \rangle | \downarrow_2 \rangle \langle \downarrow_2 | \langle \uparrow_1 | + \textcolor{blue}{| \downarrow_1 \rangle | \downarrow_2 \rangle \langle \downarrow_2 | \downarrow_1 |} \right] \\ \rho_2 = \frac{1}{2} \left[ \langle \textcolor{red}{ \uparrow_1} | \Psi \rangle \langle \Psi | \textcolor{red}{ \uparrow_1} \rangle + \rangle \textcolor{red}{ \downarrow_1} | \Psi \rangle \langle \Psi | \textcolor{red}{ \downarrow_1} \rangle \right] = \frac{1}{2} \left[ | \textcolor{blue}{ \uparrow_2} \rangle \langle \textcolor{blue}{ \uparrow_2} | + | \textcolor{blue}{ \downarrow_2} \rangle \langle \textcolor{blue}{ \downarrow_2} \right] \end{matrix} \nonumber \]

    This yields the partial state operator of particle 2 and shows that it behaves like a classical mixture, consistent with the previous results.

    Now the calculations on the entangled state using the state operator will be repeated using the state vector.

    \[ \begin{matrix} \Psi_{ \text{ent}} = \frac{1}{ \sqrt{2}} \begin{pmatrix} 1 & 0 & 0 & 1 \end{pmatrix}^T \end{matrix} \nonumber \]

    \[ \begin{matrix} & \Psi_{ \text{ent}}^T \text{SzSz} \Psi_{ \text{ent}} = 1 & \Psi_{ \text{ent}}^T \text{SxSx} \Psi_{ \text{ent}} = 1 & \\ \Psi_{ \text{ent}}^T \text{SzI} \Psi_{ \text{ent}} = 0 & \Psi_{ \text{ent}}^T \text{ISz} \Psi_{ \text{ent}} = 0 & \Psi_{ \text{ent}}^T \text{SxI} \Psi_{ \text{ent}} = 0 & \Psi_{ \text{ent}}^T \text{ISx} \Psi_{ \text{ent}} = 0 \end{matrix} \nonumber \]

    Finally we calculate the expectation values when the spins are measured in different direction using both computational methods.

    \[ \begin{matrix} \text{SzSx = kronecker} \left( \sigma_z,~ \sigma_x \right) & \text{SxSz = kronecker} \left( \sigma_x,~ \sigma_z \right) \\ \text{tr} \left( \rho_{ \text{ent}} \text{SzSx} \right) = 0 & \text{tr} \left( \rho_{ \text{ent}} \text{SxSz} \right) = 0 \\ \Psi_{ \text{ent}}^T \text{SzSx} \Psi_{ \text{ent}} = 0 & \Psi_{ \text{ent}}^T \text{SxSz} \Psi_{ \text{ent}} = 0 \end{matrix} \nonumber \]

    Say the first spin is measured in the z‐direction and found to be spin‐up. This means the second spin is also spin‐up in the z‐direction, which is an even superposition of spin‐up and spin‐down in the x‐direction, giving an over all expectation value of zero.

    Ψent is one of the Bell states. For extensive calculations on it and the other three Bell states see ʺBell State Exercises.


    1.109: State Vectors and State Operators- Superpositions, Mixed States, and Entanglement is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?