Chapter 4 - Entanglement

Introduction

Quantum entanglement is the most uniquely quantum mechanical property of quantum systems. It is also believed to be responsible for the advantages that quantum computing systems have over classical computing systems. Entangled states puzzled the founders of quantum theory, including Einstein. For these reasons, it is not surprising that they have become a central part of many investigations into quantum theory and especially quantum information theory.

There are many open problems in this area of research. Some of the most basic and fundamental questions about entangled states are still unanswered. For example, given a mixed-state density matrix for a quantum system, with few exceptions we still do not know how to tell if the systems being described by that matrix are entangled or not. Also, although there are ways with which to quantify the entanglement in a system of particles, these quantities are notoriously difficult to calculate. Here again, with few exceptions, we do not know how to calculate the amount of entanglement in a system analytically.

What we do understand and what we can explain is the entanglement between bipartite systems that are describable by pure quantum states. In this chapter, we will first discuss entanglement for pure states of qubits. Extensions and generalizations will be discussed in later sections.

Entangled Pure States

Let us consider two quantum systems, one called A and the other B. Let us suppose their joint state of the entire system comprised of A and B, is a pure state. If the subsystems are independent and have never interacted, then the state of the system of the composite system of the two particles can be written as

	$\left\vert \Phi \right\rangle =\left\vert \psi \right\rangle _{A}\otimes \left\vert \phi \right\rangle _{B},$	(4.1)

where $\left\vert \psi \right\rangle _{A}\,\!$ is the state of particle A, and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert \phi\right\rangle_B\,\!} is the state of subsystem B. This tensor product structure is sometimes stated as a postulate of quantum mechanics as in Nielsen and Chuang's book. In this case the two particles are not correlated in any way, so they are said to be unentangled or separable. When a pure state cannot be written in this form it is said to be entangled.

For example, the most general form for a pure state of two qubits is given by Eq. (2.30).

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert{\psi}\right\rangle = \alpha_{00}\left\vert{00}\right\rangle + \alpha_{01}\left\vert{01}\right\rangle + \alpha_{10}\left\vert{10}\right\rangle + \alpha_{11}\left\vert{11}\right\rangle.}

Examples are given below of states which are entangled and thus cannot be written in the form of Eq. (4.1).

For two particles (or systems) to become entangled, they must interact with each other. This entanglement cannot increase, on average, by acting on an individual subsystem, or even both subsystems separately. Only joint measurements on both, or interactions between the two, can increase entanglement. Actions on an individual particle, without involving the other, are called local actions or local operations. For example, local unitary operations on individual particles can be written as

	$L=U_{A}\otimes U_{B},$	(4.2)

so that

	$L\left\vert \Phi \right\rangle =U_{A}\left\vert \psi \right\rangle _{A}\otimes U_{B}\left\vert \phi \right\rangle _{B}.$	(4.3)

Local unitary transformations will not change the entanglement of a system. Furthermore, local measurements, or local measurements combined with unitary transformations, cannot, on average, increase the entanglement between subsystems.

For later use, it is relevant to note that the density matrix for the composite system in Eq.(4.1) is

	${\begin{aligned}\rho _{ss}&=\left\vert \Phi \right\rangle \left\langle \Phi \right\vert \\&=(\left\vert \psi \right\rangle _{A}\otimes \left\vert \phi \right\rangle _{B})(_{A}\left\langle \psi \right\vert \otimes _{B}\!\!\left\langle \phi \right\vert )\\&=\left\vert \psi \right\rangle _{A}\left\langle \psi \right\vert \otimes \left\vert \phi \right\rangle _{B}\left\langle \phi \right\vert \\&=\rho _{A}\otimes \rho _{B},\end{aligned}}\,\!$	(4.5)

where $\rho _{A}=\left\vert \psi \right\rangle _{A}\left\langle \psi \right\vert \,\!$ and $\rho _{B}=\left\vert \phi \right\rangle _{B}\left\langle \phi \right\vert \,\!$ so the density operator of a product state is a product of density operators.

Bell States

The simplest examples of entangled states are the entangled states of two two-state systems. There are four different versions of what is known as the "maximally entangled state" of two qubits. The "maximally" will be explained below. These four different versions are called Bell states and are

	${\begin{aligned}\left\vert \psi _{+}\right\rangle &={\frac {1}{\sqrt {2}}}(\left\vert 01\right\rangle +\left\vert 10\right\rangle ),\\\left\vert \psi _{-}\right\rangle &={\frac {1}{\sqrt {2}}}(\left\vert 01\right\rangle -\left\vert 10\right\rangle ),\\\left\vert \phi _{+}\right\rangle &={\frac {1}{\sqrt {2}}}(\left\vert 00\right\rangle +\left\vert 11\right\rangle ),\\\left\vert \phi _{-}\right\rangle &={\frac {1}{\sqrt {2}}}(\left\vert 00\right\rangle -\left\vert 11\right\rangle ).\end{aligned}}$	(4.6)

These are an orthonormal set of states and are all able to be obtained from each other by acting on one particle alone or both individual particles with unitary transformations, i.e. acting with local unitary transformations. For example, consider the local unitary transformation $\mathbb {I} \otimes \sigma _{3}\,\!$ acting on $\left\vert \phi _{-}\right\rangle \,\!$. The result is $\left\vert \phi _{+}\right\rangle \,\!$. Acting with $\sigma _{1}\otimes \mathbb {I} \,\!$ on $\left\vert \psi _{+}\right\rangle \,\!$ gives $\left\vert \phi _{+}\right\rangle \,\!$, etc.

These states certainly cannot be written in the form

$\left\vert \Phi \right\rangle =\left\vert \psi \right\rangle _{A}\otimes \left\vert \phi \right\rangle _{B}.\,\!$

If they could, then, letting Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert \psi\right\rangle_A=\alpha_0\left\vert 0\right\rangle+\alpha_1\left\vert 1\right\rangle\,\!} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert \psi\right\rangle_B=\beta_0\left\vert 0\right\rangle+\beta_1\left\vert 1\right\rangle\,\!} , and notice that the general form is

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \left\vert \psi\right\rangle_A\otimes\left\vert \phi\right\rangle_B &= (\alpha_0\left\vert 0\right\rangle+\alpha_1\left\vert 1\right\rangle)\otimes(\beta_0\left\vert 0\right\rangle+\beta_1\left\vert 1\right\rangle), \\ &= \alpha_0\beta_0\left\vert 00\right\rangle +\alpha_1\beta_0\left\vert 10\right\rangle + \alpha_0\beta_1\left\vert 01\right\rangle +\alpha_1\beta_1\left\vert 11\right\rangle, \end{align} }	(4.7)

so the coefficient of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert 00\right\rangle\,\!} times the coefficient of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert 11\right\rangle\,\!} minus the coefficient of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert 01\right\rangle\,\!} times the coefficient of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert 10\right\rangle\,\!} is zero. This is not true for any of the Bell states. Therefore they cannot be written as a tensor product of two 1-particle states. So, for any 2-particle state,

	$\left\vert \Psi \right\rangle =\alpha _{00}\left\vert 00\right\rangle +\alpha _{01}\left\vert 01\right\rangle +\alpha _{10}\left\vert 10\right\rangle +\alpha _{11}\left\vert 11\right\rangle ,$	(4.8)

the state is separable, or unentangled, if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha_{00}\alpha_{11} - \alpha_{01}\alpha_{10} = 0\,\!} . Otherwise it is entangled.

Entangled Mixed States

The state, Eq.(4.1) is not entangled, so it is called separable. More precisely it is referred to as a simply separable state. In general, a state is separable if its density matrix can be written in the form

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_s = \sum_i p_i \rho_A^{(i)} \otimes \rho_B^{(i)}, }	(4.9)

where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_A^{(i)}\,\!} Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\rho_B^{(i)})\,\!} is a valid density matrix for subsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\,\!} Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (B)\,\!} , and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_ip_i =1, \; p_i\geq 0\,\!} . An entangled state is one that cannot be written in the form of Eq.(4.9).

For a pure state, the situation is simpler. A pure state is entangled if and only if it cannot be written in the form of Eq.(4.1). In other words a pure state is entangled if it cannot be written as the product of two states of the individual subsystems.

Reduced Density Operators and the Partial Trace

The Bell states are maximally entangled states. To understand this, one may consider the fact that these states are pure states, but that information about the individual particles in the system is lacking. In this section, a more precise meaning of this statement is given.

Let us first consider a tool which will be useful, the partial trace. The partial trace is the trace over one of the subsystems (particle states) in a composite system. Let us suppose that the density matrix for a composite system is given by

	$\rho _{ss}=\rho _{A}\otimes \rho _{B}.\,\!$	(4.10)

The partial trace is the trace over one of the subsystems. For example the trace over subsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B\,\!} is

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{Tr}_B(\rho_{ss}) = \rho_A\mbox{Tr}(\rho_B) = \rho_A, \,\!}	(4.11)

since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{Tr}(A\otimes B) =\mbox{Tr}(A)\mbox{Tr}(B)\,\!} and the trace of a density matrix is one. The matrix Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_A\,\!} is called the reduced density operator, or reduced density matrix. However, this is a special case. The density matrix for a composite system of two (or more) subsystems cannot be written in this form except in very special circumstances -- when the two subsystems have never interacted and there are no correlations between them.

For the cases where the two subsystems are entangled, there are at least two ways to calculate the partial trace. One is to write the matrix form of the state in terms of sum of tensor products of Pauli matrices. (See Appendix E - Density Operator: Extensions, Sec. Two-State Example: Bloch Sphere.) The other is to realize that the trace can be calculated by summing the projections onto the diagonal elements of the subsystem over which you are tracing. For example, for a general Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2\times 2\,\!} density matrix Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_2\,\!} , the trace is

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{Tr}(\rho_2) = \mbox{Tr}(\left\vert 0\right\rangle\left\langle 0\right\vert\rho_2 +\left\vert 1\right\rangle\left\langle 1\right\vert\rho_2) = \left\langle 0\right\vert\rho_2\left\vert 0\right\rangle + \left\langle 1\right\vert\rho_2\left\vert 1\right\rangle. }	(4.12)

For the general case, let us consider a density matrix for a bipartite system, $\rho \,\!$. Let the subsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\,\!} have Greek letters as indices and let the subsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B\,\!} have Latin indices. Then

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \rho &= \sum_{\alpha,\beta,i,j} \rho_{\alpha\beta,ij} \left\vert \alpha i\right\rangle\left\langle\beta j\right\vert \\ &= \sum_{\alpha,\beta,i,j} \rho_{\alpha\beta,ij} \left\vert \alpha\right\rangle_A \otimes \left\vert i\right\rangle_{B \; A}\!\left\langle\beta \right\vert \otimes{}_B\!\left\langle j\right\vert \\ &= \sum_{\alpha,\beta,i,j} \rho_{\alpha\beta,ij} \left\vert\alpha\right\rangle_{A \; A}\!\left\langle\beta\right|\otimes\left| i\right\rangle_{B \; B}\!\left\langle j\right|. \end{align} }	(4.13)

To calculate the reduced density matrix of subsystem $A\,\!$ by tracing over subsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B\,\!} , the trace over Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B\,\!} is taken by computing

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \rho_A &= \mbox{Tr}_B(\rho) \\ &= \sum_{k} {}_B\!\left\langle k\right\vert\rho\left\vert k\right\rangle_B \\ &= \sum_{k} \sum_{\alpha,\beta,i,j} {}_B\!\left\langle k\right\vert \left(\rho_{\alpha\beta,ij} \left\vert\alpha\right\rangle_{A\; A}\!\left\langle\beta\right\vert\otimes\left\vert i\right\rangle_{B\; B}\!\left\langle j\right\vert\right) \left\vert k\right\rangle_B \\ &= \sum_{k} \sum_{\alpha,\beta,i,j}\rho_{\alpha\beta,ij} \left\vert\alpha\right\rangle_{A\; A}\!\left\langle\beta\right\vert\delta_{ki}\delta_{jk} \\ &= \sum_{\alpha,\beta,k} \rho_{\alpha\beta,kk} \left\vert\alpha\right\rangle_{A\; A}\!\left\langle\beta\right\vert \\ \end{align} }	(4.14)

For the partial trace of a $4\times 4\,\!$ density matrix Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho\,\!} over the subsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B\,\!} ,

	${\mbox{Tr}}_{B}(\rho )={}_{B}\left\langle 0\right\vert \rho \left\vert 0\right\rangle _{B}+{}_{B}\left\langle 1\right\vert \rho \left\vert 1\right\rangle _{B},$	(4.15)

which leaves the part of the matrix corresponding to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\,\!} alone, and projects the Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B\,\!} part onto the two diagonal elements and then adds those. Now let us calculate the partial trace of a Bell state, for example $\left\vert \psi _{+}\right\rangle \,\!$, assuming the first state is the Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\,\!} state and the second Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B\,\!} ,

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \mbox{Tr}_B(\left\vert\psi_+ \right\rangle\left\langle \psi_+\right\vert) &= {}_B\left\langle 0\right\vert (\left\vert\psi_+ \right\rangle\left\langle\psi_+\right\vert)\left\vert 0\right\rangle_B + {}_B\left\langle 1\right\vert (\left\vert\psi_+\right\rangle\left\langle \psi_+\right\vert)\left\vert 1\right\rangle_B, \\ &= {}_B\left\langle 0\right\vert\left(\frac{1}{2}(\left\vert 01\right\rangle +\left\vert 10\right\rangle) (\left\langle 01\right\vert +\left\langle 10\right\vert)\right)\left\vert 0\right\rangle_B \\ & \;\; + {}_B\left\langle 1\right\vert\left(\frac{1}{2}\left(\left\vert 01\right\rangle +\left\vert 10\right\rangle\right) (\left\langle 01\right\vert +\left\langle 10\right\vert)\right)\left\vert 1\right\rangle_B \\ &=\frac{1}{2}(\left\vert 1\right\rangle_A\left\langle 1\right\vert) +\frac{1}{2}(\left\vert 0\right\rangle_A\left\langle 0\right\vert), \end{align} }	(4.16)

which can be written simply as

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{Tr}_B(\left\vert \psi_+\right\rangle \left\langle \psi_+\right\vert ) = \rho_A = \left(\begin{array}{cc} 1/2 & 0 \\ 0 & 1/2 \end{array}\right). }	(4.17)

This is quite an interesting and significant find. The density matrix for the whole system of two qubits is in a pure state indicating maximal knowledge. However, the reduced density matrix, representing our knowledge of one of the individual particles, is completely, or maximally mixed, indicating minimal knowledge. This means that the two particles or subsystems, taken together, are in a definite state, a pure state, whereas taken separately, they contain as little information as possible. This indicates entanglement since the two states together make up a definite pure state, but separately the two states contain as little information as possible.

It is important to note that for a pure state, the trace over subsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\,\!} produces the same result as the trace over subsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B\,\!} . In other words, for a pure state Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_p\,\!} ,

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{Tr}_A(\rho_p) = \mbox{Tr}_B(\rho_p). \,\!}	(4.18)

How Entangled Is It?

Due to the previous discussion, there is a definite notion of maximal entanglement for pure states. From the determinant condition, there is a method for identifying unentangled pure states. One question is, how entangled is it if it is not separable, nor maximally entangled? There are now many ways of defining measures of entanglement which will be explored in a later section and an appendix. Here, a common way of measuring the entanglement for pure states is given which is based on the partial trace of a pure state.

Let us consider the extreme cases. First, we found that if the states are Bell states, then the partial trace of the bipartite system of two qubits will yield a density operator for the subsystem which is maximally entangled. Due to the fact that the trace of the density operator is always one, it should be clear that the partial trace of a separable pure state gives a pure state density operator. Notice that the purity of the partial density operator provides a candidate for a measure of entanglement. Before we discuss this further, let us note the following important result, called the Schmidt decomposition.

Schmidt Decomposition For any pure state density operator of a bipartite system, with constituents A and B say,

	Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\vert \Psi\right\rangle_{AB} = \sum_{ij} a_{ij}^\prime\left\vert\psi_i^\prime\right\rangle_A\otimes\left\vert\phi_j^\prime\right\rangle_B. \,\!}	(4.19)

can always be put in the form

	$\left\vert \Psi \right\rangle _{AB}=\sum _{i}a_{i}\left\vert \psi _{i}\right\rangle _{A}\otimes \left\vert \phi _{i}\right\rangle _{B}.\,\!$	(4.20)

In this case it is clear that the reduced density operator is the same for each subsystem and thus the purity of the reduced density operator can be used as a measure of entanglement.

Extensions and Open Problems

Continue to Chapter 5 - Quantum Information: Basic Principles and Simple Examples