Generate a real -by- matrix with independent entries having the standard normal distribution. Take its QR decomposition with positive diagonal in the upper triangular matrix factor, . The orthogonal matrix has normalized Haar measure on the full orthogonal group . If a numerical factorization returns , set and return . The signs are nonzero almost surely: successively drawn Gaussian columns have probability zero of lying in the proper linear subspace spanned by earlier columns.
For correctness, every fixed orthogonal matrix preserves the standard Gaussian column density and column independence, so and have the same probability distribution. The positive-diagonal QR decomposition is unique: two decompositions would give an orthogonal matrix that is also an upper triangular matrix with positive diagonal, hence the identity. Therefore and has a left-invariant probability law. Uniqueness of normalized Haar measure on the compact group identifies that law. Each determinant sign has probability by reflection invariance.

Articles by others on the same topic (0)

There are currently no matching articles.