Schmidt decomposition explained

In linear algebra, the Schmidt decomposition (named after its originator Erhard Schmidt) refers to a particular way of expressing a vector in the tensor product of two inner product spaces. It has numerous applications in quantum information theory, for example in entanglement characterization and in state purification, and plasticity.

Theorem

Let

H _{1} and H _{2} be Hilbert spaces of dimensions n and m respectively. Assume n \geq m . For any vector w in the tensor product H _{1} ⊗ H _{2} , there exist orthonormal sets \{ u _{1,} \ldots, u _{m} \} \subset H _{1} and \{ v _{1,} \ldots, v _{m} \} \subset H _{2} such that $w=\; \backslash sum\_\; ^m\; \backslash alpha\; \_i\; u\_i\; \backslash otimes\; v\_i$, where the scalars \alpha _{i} are real, non-negative, and unique up to re-ordering.

Proof

The Schmidt decomposition is essentially a restatement of the singular value decomposition in a different context. Fix orthonormal bases

\{ e _{1,} \ldots, e _{n} \} \subset H _{1} and \{ f _{1,} \ldots, f _{m} \} \subset H _{2} . We can identify an elementary tensor e _{i} ⊗ f _{j} with the matrix e _{i} f ^{T} _{j} , where f ^{T} _{j} is the transpose of f _{j} . A general element of the tensor productw = \sum _{1} \beta _{ij} e _{i} ⊗ f _{j}

can then be viewed as the n × m matrix

M _{w} = (\beta _{ij} ) .

By the singular value decomposition, there exist an n × n unitary U, m × m unitary V, and a positive semidefinite diagonal m × m matrix Σ such that

M _{w} = U \begin{bmatrix} \Sigma \ 0 \end{bmatrix} V ^{*} .

Write

U = \begin{bmatrix} U _{1} & U _{2} \end{bmatrix} where U _{1} is n × m and we haveM _{w} = U _{1} \Sigma V ^{*} .

Let

\{ u _{1,} \ldots, u _{m} \} be the m column vectors of U _{1} , \{ v _{1,} \ldots, v _{m} \} the column vectors of \overline{V} , and \alpha _{1,} \ldots, \alpha _{m} the diagonal elements of Σ. The previous expression is thenM _{w} = \sum _{k=1} ^{m} \alpha _{k} u _{k} v ^{T} _{k} ,

Then

w = \sum _{k=1} ^{m} \alpha _{k} u _{k} ⊗ v _{k} ,

which proves the claim.

Some observations

Some properties of the Schmidt decomposition are of physical interest.

Spectrum of reduced states

Consider a vector

w of the tensor productH _{1} ⊗ H _{2}

in the form of Schmidt decomposition

w = \sum _{i} ^{m} \alpha _{i} u _{i} ⊗ v _{i.}

Form the rank 1 matrix

\rho = w w ^{*} . Then the partial trace of \rho , with respect to either system A or B, is a diagonal matrix whose non-zero diagonal elements are | \alpha ^{2} _{i|} . In other words, the Schmidt decomposition shows that the reduced states of \rho on either subsystem have the same spectrum.

Schmidt rank and entanglement

The strictly positive values

\alpha _{i} in the Schmidt decomposition of w are its Schmidt coefficients, or Schmidt numbers. The total number of Schmidt coefficients of w , counted with multiplicity, is called its Schmidt rank.

If

w can be expressed as a productu ⊗ v then w is called a separable state. Otherwise, w is said to be an entangled state. From the Schmidt decomposition, we can see that w is entangled if and only if w has Schmidt rank strictly greater than 1. Therefore, two subsystems that partition a pure state are entangled if and only if their reduced states are mixed states.

Von Neumann entropy

A consequence of the above comments is that, for pure states, the von Neumann entropy of the reduced states is a well-defined measure of entanglement. For the von Neumann entropy of both reduced states of

\rho is $-\backslash sum\_i\; |\backslash alpha\_i|^2\; \backslash log\backslash left(|\backslash alpha\_i|^2\backslash right)$, and this is zero if and only if \rho is a product state (not entangled).

Schmidt-rank vector

The Schmidt rank is defined for bipartite systems, namely quantum states

|\psi\rangle \in H _{A} ⊗ H _{B}

The concept of Schmidt rank can be extended to quantum systems made up of more than two subsystems.^[1]

Consider the tripartite quantum system:

|\psi\rangle \in H _{A} ⊗ H _{B} ⊗ H _{C}

There are three ways to reduce this to a bipartite system by performing the partial trace with respect to

H _{A,} H _{B} or H _{C} \begin{cases} \hat{\rho} _{A} = Tr _{A(|\psi\rangle\langle\psi|)\\ \hat{\rho}} _{B} = Tr _{B(|\psi\rangle\langle\psi|)\\ \hat{\rho}} _{C} = Tr _{C(|\psi\rangle\langle\psi|) \end{cases}}

Each of the systems obtained is a bipartite system and therefore can be characterized by one number (its Schmidt rank), respectively

r _{A,} r _{B} and r _{C} . These numbers capture the "amount of entanglement" in the bipartite system when respectively A, B or C are discarded. For these reasons the tripartite system can be described by a vector, namely the Schmidt-rank vector\vec{r} = (r _{A,} r _{B,} r _{C)}

The concept of Schmidt-rank vector can be likewise extended to systems made up of more than three subsystems through the use of tensors.

Example ^[2]

Take the tripartite quantum state

|\psi _{4,} \rangle = (1)/(2) ( | 0 , 0 , 0 \rangle + | 1 , 0 , 1 \rangle + | 2 , 1 , 0 \rangle + | 3 , 1 , 1 \rangle )

This kind of system is made possible by encoding the value of a qudit into the orbital angular momentum (OAM) of a photon rather than its spin, since the latter can only take two values.

The Schmidt-rank vector for this quantum state is

( 4 , 2 , 2 ) .

See also

• Singular value decomposition
• Purification of quantum state

Further reading

• Book: Pathak, Anirban . [{{Google books |plainurl=yes |id=cEPSBQAAQBAJ |page=92}} Elements of Quantum Computation and Quantum Communication ]. London . Taylor & Francis . 2013 . 978-1-4665-1791-2 . 92–98 .

Notes and References

1. Huber. Marcus. de Vicente. Julio I.. 2013-01-14. Structure of Multidimensional Entanglement in Multipartite Systems. Physical Review Letters. en. 110. 3. 030501. 10.1103/PhysRevLett.110.030501. 23373906. 1210.6876. 2013PhRvL.110c0501H. 44848143. 0031-9007.
2. Krenn. Mario. Malik. Mehul. Fickler. Robert. Lapkiewicz. Radek. Zeilinger. Anton. 2016-03-04. Automated Search for new Quantum Experiments. Physical Review Letters. en. 116. 9. 090405. 10.1103/PhysRevLett.116.090405. 26991161. 1509.02749. 2016PhRvL.116i0405K. 20182586. 0031-9007.