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.
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.
The two columns are orthogonal, with lengths one and two; equivalently . Ordering the singular values decreasingly requires swapping the right coordinate directions. One full singular value decomposition is
Both and are orthogonal matrices, and direct matrix multiplication gives . Hence
The spectral theorem for real symmetric matrices gives with an orthogonal matrix . Positive definiteness makes every eigenvalue positive. Define the matrix square root
It is symmetric, its square is , and for any nonzero vector ,
Thus it is also positive-definite, and its matrix inverse is .
Put . It is a symmetric matrix and a positive semidefinite matrix, while is also a positive semidefinite matrix. By the spectral theorem, choose an orthogonal matrix such that
The bounds follow directly from . Define the diagonal matrices
The columns of are mutually orthogonal, since . For each , set . These columns are orthonormal. At a zero , one has ; choose by completing the already prescribed columns to an orthonormal set of columns in . Such a completion exists because . This gives , including the zero columns.
Likewise, the Gram matrix of is . Normalize its nonzero columns and complete at its zero columns in , using . The resulting has orthonormal columns and . Combining the identities gives
This is a form of the cosine-sine decomposition. Completing the zero columns is essential: neither block was assumed to have full column rank.
Using the orthonormal columns of in the factorization gives
Multiplying by the orthogonal matrices and gives
Choose the nonnegative square roots of the eigenvalues of for the diagonal entries of , in nonincreasing order. Its assumed matrix inverse exists, so these entries are positive. The eigendecomposition gives
Hence has orthonormal columns. Also
Together with the orthogonal matrix and the nonnegative diagonal matrix , these are precisely the properties of a thin singular value decomposition.
Write ; the requested expression requires the positive even integer . Split the thin singular value decomposition after columns:
Here . Each column of a Gaussian random matrix is an orthogonally invariant random vector: its probability density function is proportional to , and an orthogonal matrix preserves both and volume. Thus , where , again has independent and identically distributed standard normal entries. In particular both displayed blocks have the Gaussian distributions needed below.
First prove a deterministic error bound for a randomized range finder. Put and suppose has full row rank. Its Moore-Penrose pseudoinverse is , so . The QR decomposition implies , hence
Multiplication by expresses the missed leading columns in terms of the trailing columns. Substitution into gives the exact identity
For any matrix , the spectral norm of is , because its product with its transpose is . Using submultiplicativity of the operator norm, the orthonormality of , and the contraction property of the orthogonal projection, we obtain
This estimate is deterministic and also covers rank-deficient ; if , its right-hand side vanishes.
Now use the paper's permitted singular value estimates. Apply the lower estimate to the tall matrix of size , rather than to its wide transpose. It gives
The upper estimate for , transposing if necessary, gives
Thus, with ,
Since , the deterministic estimate yields
This proves the requested conclusion under the explicitly authorized estimates.
The probabilistic qualification is necessary. A Gaussian random matrix does not always have all its singular values between the two endpoints printed in the hint. Already a example would require for every standard normal random variable , which fails with positive probability. The proof above holds on the event where the two block estimates hold. In a probabilistic formulation one supplies estimates for that event, usually allowing a positive margin in both endpoints; no failure probability is specified by the paper.
Nor can the requested inequality with one universal hold almost surely for every . For example, take , , with , and a sampling matrix
At , the sampled column space misses the first coordinate, so , whereas . Choose . Because has full column rank, its orthogonal projection depends continuously on near through . The strict violation persists in an open neighborhood of . The joint Gaussian probability density function is positive there, so that neighborhood has positive probability. This identifies the missing qualification without weakening the conditional calculation.
Write and . The Arnoldi decomposition and give
Because has orthonormal columns, it preserves the Euclidean norm. The generalized minimal residual method therefore reduces to the small linear least-squares problem
Use Givens rotations on the upper Hessenberg matrix to obtain a QR decomposition
where is an orthogonal matrix and is an upper triangular matrix. Then solve by backward substitution in a triangular system and form . The resulting minimum linear-system residual has Euclidean norm .
The small problem has a unique answer: if , the Arnoldi decomposition gives . The invertible matrix implies , and the orthonormality of then gives . Thus has full column rank and is nonsingular.
Set
Symmetry here means , so and . The bounded Hessian matrix and the fact that is an orthogonal matrix give
Thus the particle system is . On the configuration space with norm , its vector field has Lipschitz constant at most :
The Picard-Lindelöf theorem gives local existence and uniqueness. Linear growth and the Gronwall inequality give , which rules out escape to infinity in finite time and extends the solution to every .
The associated empirical measure is
Here each is a Dirac measure. The finite first absolute moment follows from . Pairing equal particle labels defines a coupling, so
Consequently
For the linear least-squares problem objective function, direct expansion with gives
Its gradient is , so the middle term equals .
Use the supplied thin singular value decomposition . Since , the linear map preserves the Euclidean norm. The square matrix is an orthogonal matrix, so . Consequently
Substitution into the expansion proves
Thus is a strongly convex function with modulus . This modulus is sharp: choose for an index attaining the smallest singular value. The Hessian matrix is , so the same conclusion says that its smallest eigenvalue is .
An isometry of the Euclidean plane is a map preserving all Euclidean distances, . Such a map of the whole plane is automatically bijective, and has the form with an orthogonal matrix.
The classification is identity, translations, rotations about a point, reflections in a line, and glide reflections. Here a glide reflection is a reflection followed by a nonzero translation parallel to its mirror. The cases preserving orientation have and are translations or rotations; the orientation-reversing cases have and are reflections or glide reflections. The identity is included by allowing a zero translation or rotation angle.
An isometry of the Euclidean plane is a map preserving all Euclidean distances, . Such a map of the whole plane is automatically bijective, and has the form with an orthogonal matrix.
The classification is identity, translations, rotations about a point, reflections in a line, and glide reflections. Here a glide reflection is a reflection followed by a nonzero translation parallel to its mirror. The cases preserving orientation have and are translations or rotations; the orientation-reversing cases have and are reflections or glide reflections. The identity is included by allowing a zero translation or rotation angle.
For a nonzero real vector , a Householder reflection is
Writing gives and , so . Thus a Householder matrix is an orthogonal matrix, and it reflects across the hyperplane perpendicular to .
For , choose , taking the sign to be when , and put . This is nonzero. Since , direct expansion gives and , so
Apply this construction successively to the trailing part of each column of , extending each reflection by an identity on earlier coordinates. Previously created zeros are preserved. If a trailing column vector is zero, use the identity there. The resulting product is orthogonal and is upper triangular, yielding the QR factorization even when is singular.
To solve , multiply by and use back substitution on when is nonsingular. If is singular, ; an upper triangular determinant is its diagonal product, so at least one diagonal entry is zero. In that case consistency and free variables require separate treatment.
The unshifted QR algorithm starts from , factors , and forms
Every iterate is related by an orthogonal similarity transformation to the previous one and hence to , with the same eigenvalues. Symmetry is preserved. For symmetric matrices with appropriate spectral separation, the iterates approach diagonal form: the off-diagonal entries decrease and the diagonal exposes the eigenvalues. Practical shifted QR accelerates convergence and uses deflation when off-diagonal couplings become negligible. With a shift , factor and set ; the same similarity identity still holds.
Universal diagonal convergence of unshifted QR would be too strong. For example admits the standard factorization , , so the iteration remains at rather than becoming diagonal, although its eigenvalues are . Such equal-modulus cases require a convergence qualification or treatment of a retained block. Similarity is unconditional; convergence to a useful limiting form is an additional algorithmic property.
Use the residual mean square
To justify its denominator, let , the orthogonal projection matrix onto the column space of . Then the residual is . The idempotent matrix has rank , so diagonalizing it with an orthogonal matrix gives
Consequently , making an unbiased estimator. If specifically asked for maximum likelihood estimation, maximizing over gives the alternative , which is biased downward by the factor .
For , the Householder transformation is
Let . Then and , since is the orthogonal projection matrix onto the span of . Hence and
Thus is a symmetric matrix and an orthogonal matrix. Geometrically it reverses the component parallel to and fixes the perpendicular hyperplane.
Apply part (b) to the first column of , using the identity if it is already the zero vector. This gives an orthogonal matrix for which has zeros below its first diagonal entry. At stage , apply a Householder transformation to rows of column , and extend it by the identity on the first coordinates. If that trailing column is zero, again use the identity. The transformation preserves zeros in earlier columns, since their trailing entries already vanish.
After at most stages,
is an upper triangular matrix. Each is symmetric and orthogonal, so with
we have and
No invertibility assumption was used, so the Householder QR decomposition also exists for singular matrices.
Using orthogonality,
Both norms are nonnegative, so taking square roots proves
Thus an orthogonal matrix is a Euclidean isometry fixing the origin.
A real square matrix is orthogonal when , equivalently when its columns form an orthonormal basis. Taking determinants gives , so
In particular it is invertible with inverse and preserves the Euclidean norm.
A Givens rotation acts as the identity except on coordinates , where its block can be written
The block has orthonormal columns because and their inner product is zero, so . For , choose , . The new coordinates are , eliminating the th entry. If both entries are zero, the identity already works.
For the specified vector, one suitable matrix is
Its rows are orthonormal, so it is orthogonal; in fact its determinant is one. The positive nonzero output component must be five because an orthogonal matrix preserves Euclidean norm.
The matrix is not unique. Left multiplication by any orthogonal matrix fixing the second coordinate vector preserves this output. For example arbitrary rotations of the first and third coordinates provide infinitely many alternatives.