Skip to content

Schmidt Decomposition as Linear Algebra

The Schmidt decomposition is the singular value decomposition of a bipartite coefficient matrix, translated back into tensor-product notation.

This page focuses on the finite-dimensional linear algebra. The physics-facing theorem, reduced states, entanglement criterion, and infinite-dimensional cautions live in Schmidt Decomposition.

Let HA\mathcal H_A and HB\mathcal H_B be finite-dimensional Hilbert spaces with orthonormal bases

{∣i⟩A}i=1dA,{∣j⟩B}j=1dB.\{\lvert i\rangle_A\}_{i=1}^{d_A}, \qquad \{\lvert j\rangle_B\}_{j=1}^{d_B}.

Every vector in the tensor product has an expansion

∣Ψ⟩=∑i=1dA∑j=1dBCij ∣i⟩A⊗∣j⟩B.\lvert\Psi\rangle = \sum_{i=1}^{d_A} \sum_{j=1}^{d_B} C_{ij}\, \lvert i\rangle_A\otimes\lvert j\rangle_B.

The numbers CijC_{ij} form a dA×dBd_A\times d_B matrix CC. Normalization of the vector is the Frobenius-norm condition

1=⟨Ψ∣Ψ⟩=∑i,j∣Cij∣2=Tr⁡(CC†).1 = \langle\Psi\vert\Psi\rangle = \sum_{i,j}\lvert C_{ij}\rvert^2 = \operatorname{Tr}(CC^\dagger).

This coefficient matrix depends on the chosen product bases. Its singular values do not depend on local unitary changes of basis.

Take the singular value decomposition of CC:

C=UΣV†.C=U\Sigma V^\dagger.

If the positive singular values are s1,…,sRs_1,\ldots,s_R, then

Cij=∑r=1RUirsrVjr∗.C_{ij} = \sum_{r=1}^{R} U_{ir}s_r V_{jr}^*.

Define vectors in the two Hilbert spaces by

∣ur⟩A=∑iUir∣i⟩A,∣vr⟩B=∑jVjr∗∣j⟩B.\lvert u_r\rangle_A = \sum_i U_{ir}\lvert i\rangle_A, \qquad \lvert v_r\rangle_B = \sum_j V_{jr}^*\lvert j\rangle_B.

Because the columns of UU and VV are orthonormal, the vectors {∣ur⟩A}\{\lvert u_r\rangle_A\} and {∣vr⟩B}\{\lvert v_r\rangle_B\} are orthonormal sets. Substituting the SVD into the product-basis expansion gives

∣Ψ⟩=∑i,j∑r=1RUirsrVjr∗∣i⟩A∣j⟩B=∑r=1Rsr(∑iUir∣i⟩A)(∑jVjr∗∣j⟩B)=∑r=1Rsr∣ur⟩A∣vr⟩B.\begin{aligned} \lvert\Psi\rangle &= \sum_{i,j} \sum_{r=1}^{R} U_{ir}s_r V_{jr}^* \lvert i\rangle_A\lvert j\rangle_B\\ &= \sum_{r=1}^{R} s_r \left(\sum_i U_{ir}\lvert i\rangle_A\right) \left(\sum_j V_{jr}^*\lvert j\rangle_B\right)\\ &= \sum_{r=1}^{R} s_r \lvert u_r\rangle_A\lvert v_r\rangle_B. \end{aligned}

This is the Schmidt decomposition. The Schmidt coefficients are the singular values of CC.

The factor Vjr∗V_{jr}^* in ∣vr⟩B\lvert v_r\rangle_B comes from the V†V^\dagger in the matrix SVD. It is a convention consequence of writing a bipartite vector with kets on both sides rather than with one side already dualized.

The important invariant statement is simple: local basis changes multiply CC by unitary matrices on the left and right, so the singular values are unchanged.

For example, an active local unitary

∣Ψ⟩↦(UA⊗UB)∣Ψ⟩\lvert\Psi\rangle \mapsto (U_A\otimes U_B)\lvert\Psi\rangle

changes the coefficient matrix as

C↦UACUBT.C\mapsto U_A C U_B^T.

Both UAU_A and UBTU_B^T are unitary, so the singular values of CC are invariant.

The Schmidt rank is the number of nonzero Schmidt coefficients:

SR⁡(Ψ)=#{r:sr>0}.\operatorname{SR}(\Psi) = \#\{r:s_r>0\}.

Since the srs_r are the positive singular values of CC,

SR⁡(Ψ)=rank⁡C.\operatorname{SR}(\Psi) = \operatorname{rank}C.

Thus a bipartite pure state is product exactly when its coefficient matrix has rank one. The physics-facing rank invariant is developed in Schmidt Rank.

The reduced state on subsystem AA has matrix elements

(ρA)ii′=∑jCijCi′j∗.(\rho_A)_{ii'} = \sum_j C_{ij}C_{i'j}^*.

In matrix notation,

ρA=CC†.\rho_A=CC^\dagger.

The reduced state on subsystem BB has the same nonzero spectrum as C†CC^\dagger C. Depending on the coefficient-matrix convention, its displayed matrix may be the transpose of C†CC^\dagger C; the eigenvalues are unaffected.

Using C=UΣV†C=U\Sigma V^\dagger gives

CC†=UΣΣ†U†,CC^\dagger = U\Sigma\Sigma^\dagger U^\dagger,

so the nonzero eigenvalues of ρA\rho_A are

sr2.s_r^2.

The same nonzero eigenvalues occur for ρB\rho_B. This is the linear-algebra reason the squared Schmidt coefficients are the probabilities used in Entanglement Entropy.

If

∣Ψ⟩=∣α⟩A⊗∣β⟩B\lvert\Psi\rangle = \lvert\alpha\rangle_A\otimes\lvert\beta\rangle_B

with

∣α⟩A=∑iai∣i⟩A,∣β⟩B=∑jbj∣j⟩B,\lvert\alpha\rangle_A=\sum_i a_i\lvert i\rangle_A, \qquad \lvert\beta\rangle_B=\sum_j b_j\lvert j\rangle_B,

then

Cij=aibj.C_{ij}=a_i b_j.

The coefficient matrix is an outer product:

C=abT.C=ab^T.

It has rank one when both factors are nonzero. Conversely, if CC has rank one, it can be written as an outer product, and the bipartite vector factors. This is the linear-algebra core of the pure-state product criterion.

Example: Product State Hidden by the Basis

Section titled “Example: Product State Hidden by the Basis”

Consider

∣Ψ⟩=12(∣00⟩+∣01⟩).\lvert\Psi\rangle = \frac{1}{\sqrt2} \bigl( \lvert00\rangle+\lvert01\rangle \bigr).

In the computational product basis,

C=12(1100).C = \frac{1}{\sqrt2} \begin{pmatrix} 1 & 1\\ 0 & 0 \end{pmatrix}.

Then

CC†=(1000).CC^\dagger = \begin{pmatrix} 1 & 0\\ 0 & 0 \end{pmatrix}.

The singular values are 11 and 00. Therefore the Schmidt rank is one. Indeed,

∣Ψ⟩=∣0⟩A⊗12(∣0⟩B+∣1⟩B).\lvert\Psi\rangle = \lvert0\rangle_A \otimes \frac{1}{\sqrt2} \bigl( \lvert0\rangle_B+\lvert1\rangle_B \bigr).

The original expansion had two product-basis terms, but the state was still a product vector.

For

∣Φ+⟩=12(∣00⟩+∣11⟩),\lvert\Phi^+\rangle = \frac{1}{\sqrt2} \bigl( \lvert00\rangle+\lvert11\rangle \bigr),

the coefficient matrix is

C=12(1001).C = \frac{1}{\sqrt2} \begin{pmatrix} 1 & 0\\ 0 & 1 \end{pmatrix}.

The singular values are

s1=s2=12.s_1=s_2=\frac{1}{\sqrt2}.

Therefore the Schmidt rank is two, and

ρA=CC†=12I.\rho_A = CC^\dagger = \frac12 I.

The two equal singular values give one bit of bipartite entanglement entropy.

The Schmidt coefficients are unique up to ordering, because singular values are unique. The Schmidt vectors need not be unique.

If a singular value is nondegenerate, its left and right singular vectors are fixed up to opposite phase choices:

∣ur⟩A↦eiθ∣ur⟩A,∣vr⟩B↦e−iθ∣vr⟩B.\lvert u_r\rangle_A\mapsto e^{i\theta}\lvert u_r\rangle_A, \qquad \lvert v_r\rangle_B\mapsto e^{-i\theta}\lvert v_r\rangle_B.

If several singular values are equal, there is a larger unitary freedom inside the degenerate Schmidt subspace. The state is unchanged, but the displayed Schmidt basis is not unique.

  • Treating the coefficient matrix as basis-independent. The matrix changes under local basis changes; its singular values do not.
  • Forgetting the complex conjugate in the second Schmidt basis when translating C=UΣV†C=U\Sigma V^\dagger into kets.
  • Counting product-basis terms instead of computing matrix rank or singular values.
  • Confusing Schmidt coefficients srs_r with reduced-state eigenvalues sr2s_r^2.
  • Applying the bipartite coefficient-matrix derivation to multipartite states without qualification.
  • Applying pure-state Schmidt language directly to mixed density operators.
  • Treating degenerate Schmidt vectors as unique.
  • E. Schmidt, “Zur Theorie der linearen und nichtlinearen Integralgleichungen. I. Teil,” Mathematische Annalen 63, 433-476, 1907.
  • R. A. Horn and C. R. Johnson, Matrix Analysis, 2nd ed., Cambridge University Press, 2012.
  • G. H. Golub and C. F. Van Loan, Matrix Computations, 4th ed., Johns Hopkins University Press, 2013.
  • M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2010.
  • J. Watrous, The Theory of Quantum Information, Cambridge University Press, 2018.
  1. Write the coefficient matrix for
∣Ψ⟩=15(2∣00⟩+∣11⟩)\lvert\Psi\rangle = \frac{1}{\sqrt5} \bigl( 2\lvert00\rangle+\lvert11\rangle \bigr)

and find its Schmidt coefficients.

Solution

The coefficient matrix is

C=15(2001).C = \frac{1}{\sqrt5} \begin{pmatrix} 2 & 0\\ 0 & 1 \end{pmatrix}.

It is already diagonal with nonnegative entries, so the Schmidt coefficients are

s1=25,s2=15.s_1=\frac{2}{\sqrt5}, \qquad s_2=\frac{1}{\sqrt5}.
  1. Show from the coefficient matrix that
12(∣00⟩+∣01⟩)\frac{1}{\sqrt2} \bigl( \lvert00\rangle+\lvert01\rangle \bigr)

is a product state.

Solution

The coefficient matrix is

C=12(1100).C = \frac{1}{\sqrt2} \begin{pmatrix} 1 & 1\\ 0 & 0 \end{pmatrix}.

It has rank one, so the Schmidt rank is one. Explicitly,

12(∣00⟩+∣01⟩)=∣0⟩A⊗12(∣0⟩B+∣1⟩B).\frac{1}{\sqrt2} \bigl( \lvert00\rangle+\lvert01\rangle \bigr) = \lvert0\rangle_A \otimes \frac{1}{\sqrt2} \bigl( \lvert0\rangle_B+\lvert1\rangle_B \bigr).
  1. For
C=12(111−1),C = \frac12 \begin{pmatrix} 1 & 1\\ 1 & -1 \end{pmatrix},

compute CC†CC^\dagger and the Schmidt coefficients.

Solution

Compute

CC†=14(111−1)(111−1)=12I.CC^\dagger = \frac14 \begin{pmatrix} 1 & 1\\ 1 & -1 \end{pmatrix} \begin{pmatrix} 1 & 1\\ 1 & -1 \end{pmatrix} = \frac12 I.

The eigenvalues of CC†CC^\dagger are 1/21/2 and 1/21/2, so the Schmidt coefficients are

s1=s2=12.s_1=s_2=\frac{1}{\sqrt2}.
  1. Suppose a normalized bipartite vector has coefficient matrix of rank RR. What is its Schmidt rank?
Solution

The Schmidt rank equals the number of positive singular values of the coefficient matrix. That number is the matrix rank. Therefore

SR⁡(Ψ)=R.\operatorname{SR}(\Psi)=R.
  1. If the Schmidt coefficients are s1,…,sRs_1,\ldots,s_R, what are the nonzero eigenvalues of ρA\rho_A?
Solution

Since ρA=CC†\rho_A=CC^\dagger and the singular values of CC are srs_r, the nonzero eigenvalues of ρA\rho_A are

s12,…,sR2.s_1^2,\ldots,s_R^2.