The Schmidt decomposition states that every finite-dimensional bipartite pure state has
where , , and the two displayed families are orthonormal. The integer is the Schmidt rank.
To prove it, choose product bases and write
Apply the singular value decomposition . Absorbing the columns of and the complex conjugates of the columns of into new orthonormal bases gives the stated sum, with the nonzero singular values as the Schmidt coefficients. Equivalently, are the common nonzero eigenvalues of the two reduced density matrices, so .
Let be the singular system of a compact operator. Since for and for , the truncated operator has the finite singular value decomposition
Consequently
so .
For completeness, on and . These are self-adjoint orthogonal projectors, and hence
Thus all four Penrose equations hold, which verifies the formula independently of the singular expansion.
This statement is also always true. The same singular value decomposition gives
The statement is true without an additional rank assumption. If is a singular value decomposition, then
Choose an orthonormal eigenbasis of and set , . Part (a) shows that the form an orthonormal eigenbasis of . If and have these vectors as columns, then they are unitary and
This is the singular value decomposition.
Use singular value decomposition to choose unitary matrices satisfying
The neutral currents remain flavour diagonal because the same unitary matrix occurs on both sides of each bilinear. The charged current contains the mismatch
and becomes
A general unitary by matrix has nine real parameters. Independent rephasings of the six quark fields remove five phases because one common baryon-number phase changes nothing. The Cabibbo-Kobayashi-Maskawa matrix therefore has four physical parameters: three mixing angles and one CP-violating phase.
Because is a real symmetric positive-definite matrix, the finite-dimensional spectral theorem supplies an orthonormal eigenbasis with
Its eigendecomposition is also its singular value decomposition. If , then
so
The operator norms satisfy and . Therefore the worst-case relative perturbation bound is
The ratio is the spectral condition number of a positive-definite matrix. A large ratio means that data noise aligned with an eigenvector for the smallest eigenvalue is strongly amplified, so the inverse problem is ill conditioned.
Let be coordinate projection and set
This finite matrix is computable from the matrix entries of . Compute its singular value decomposition
and define the unitary polar factor of a finite compression
This is a unitary operator on , including when is singular.
Put . Since strongly and is unitary,
The continuous functional calculus for positive matrices therefore gives
The polar identity now yields
Also strongly, and hence
In particular the weak convergence required in part (c) holds. The construction uses only a finite block of the given matrix and a finite singular value decomposition, so it is an algorithm realizing all the assumptions of part (c).
Use a singular value decomposition . Then
Each nonzero singular value contributes , while each zero one contributes zero. Thus
using the Moore-Penrose inverse.
Using the signs chosen above, explicit multiplication gives
Thus the nonzero cases obey . This relates the right singular vectors and left singular vectors in a singular value decomposition. For example, if and , then with .
Throughout Question 2(a) and 2(b), write , , and . Then the supplied full singular value decomposition can also be written , with and an orthogonal matrix.
The Euclidean norm is invariant under an orthogonal matrix, so the full singular value decomposition gives
The second term is independent of ; the first attains its unique minimum zero because is an invertible matrix. The linear least squares solution is therefore
Here is the Moore-Penrose inverse, and the fitted vector is the orthogonal projection onto the image of a linear map defined by .
With the singular value decomposition supplied, forming costs arithmetic operations, diagonal scaling costs , and multiplication by costs . Since ,
One need not form , or to calculate . Computing the needed thin singular value decomposition first has standard dense cost ; explicitly forming an entire orthogonal completion can require additional work when is much larger than .
For , and are square orthogonal matrices. Multiply the linear system successively by , and to obtain
With the singular value decomposition already supplied, compute , divide by , then form . The two dense matrix-vector products each cost arithmetic operations in Big O notation, and the diagonal scaling costs . Thus
If the singular value decomposition first has to be computed, its usual dense cost is ; that is a separate setup cost and can be reused for further right-hand sides.
Retain the first terms in the singular value decomposition:
The Eckart-Young-Mirsky theorem says that this truncated singular value decomposition is a best low-rank approximation in the spectral norm. The remaining singular values of the difference are , together with zeros, so
For the displayed matrix has matrix rank exactly , since every retained singular value is positive. For , the only matrix of matrix rank zero is the zero matrix, and the same formula gives error .
The singular value decomposition gives
Therefore , counting multiplicities. These are the nonnegative square roots: zero singular values must be included if is singular. Strict positivity requires full rank, which the question does not assume.
Write the lower bidiagonal matrix entries as and . Its columns and have disjoint supports if , so has no entries outside the three central diagonals. More explicitly,
This proves both symmetry and the tridiagonal matrix structure.
A full real singular value decomposition is
where has only diagonal entries, with . These are the singular values. The number of positive singular values is the matrix rank. The columns of are right singular vectors and those of are left singular vectors, giving orthonormal input and output coordinate systems.
The nullspace is the vector subspace . A full real singular value decomposition is
where are orthogonal matrices and for , with for . We may order . The columns of form an orthonormal basis of the input space , and the columns of form one of the output space . The positive singular values number exactly the matrix rank.
A real singular value decomposition has the form , where and are orthogonal matrices, and is a rectangular diagonal matrix with entries . These entries are the singular values. Their squares are the eigenvalues of , omitting the additional zero eigenvalues when . The positive singular values number exactly the matrix rank.
Use the singular value decomposition and the orthogonal invariance of the Euclidean norm. Put and . Since precisely are positive,
The second sum is independent of and cannot be removed. The first sum vanishes exactly when for , while are arbitrary. Thus every least-squares solution is
The unavoidable linear-system residual is the component of orthogonal to the column space of :
The minimum-norm least-squares solution sets all and equals , where is the Moore-Penrose inverse. The squared minimum, rather than the minimum itself, is the second sum in the first display.
Let and be the columns of the orthogonal matrices and in the singular value decomposition. Multiplying by the rectangular diagonal matrix retains its nonzero diagonal entries:
The families and are orthonormal, hence in particular orthogonal. Each summand is a rank-one outer product, and the remaining terms vanish because their singular values are zero.