The characteristic polynomial of the rotation matrix isIts roots are , soFor example is an eigenvector for and for . At or the two eigenvalues coincide; these events have probability zero under the uniform distribution.
The difference of the two eigenvalues is , hence . Its expectation isFor , put . The set of angles satisfying consists of , and , of total length . Thus the full cumulative distribution function isDifferentiating on gives the probability density functionThis is the arcsine distribution, equivalently the beta distribution with both parameters . It has no atoms at either endpoint.
Apply the same characteristic polynomial calculation with replaced by . Pathwise,The real-valued processes give continuous lifts of these angles. The eigenvalues coincide whenever ; the exponential formulas remain valid at those times.
Here . For , and . Since standard Brownian motion has quadratic variation , Itô's formula givesThereforeThe squared diffusion coefficient is . Its sign depends on : one cannot replace by the nonnegative square root while retaining the same driving Brownian motion.
The characteristic function of gives . Taking real parts and using ,There is also a direct check from the stochastic differential equation. Its Itô integral has zero expectation because its integrand is bounded. Thus satisfies and , whose solution is the same expression.
Interpret the source's missing variable in the limit arrow as . We prove convergence in distribution by showing that the angle of the Brownian motion becomes uniform on the circle group.
Let . For every integer , its angular Fourier coefficients satisfyThese are precisely the Fourier coefficients of the uniform distribution on the unit circle. Thus expectations of every trigonometric polynomial converge to its uniform angular average. By the Stone-Weierstrass theorem, trigonometric polynomials approximate continuous functions on the unit circle uniformly. Given an approximation error , the discrepancy of expectations is at most the polynomial discrepancy plus . Taking and then proves weak convergence of probability measures to uniform angular measure.
The function is continuous on the unit circle, so the continuous mapping theorem and part (a)(ii) implyEquivalently, the limiting arcsine distribution has cumulative distribution function for , and probability density function for . This proves the limiting law rather than inferring it merely from the limiting mean.
- Generate an -by- real matrix with independent entries having the standard normal distribution.
- Compute a QR decomposition with an orthogonal matrix and an upper triangular matrix.
- Put and return . Then with having strictly positive diagonal.
The matrix is invertible almost surely. Indeed, successively sampled Gaussian columns have probability zero of lying in the proper linear subspace spanned by the previous columns. Thus the diagonal signs used above exist with probability one. Equivalently, apply the Gram-Schmidt process to the columns, always dividing each residual by its positive Euclidean norm; this produces directly.
To prove uniformity, fix . Each column of has density proportional to , so orthogonal transformations preserve its probability distribution. Column independence therefore gives .
The QR decomposition with positive diagonal is unique: if , then is both an orthogonal matrix and an upper triangular matrix, hence diagonal with entries . Its diagonal entries are positive, so it is the identity. It follows that the orthogonal factor of is . ThereforeBy uniqueness of normalized Haar measure on the compact group , the returned matrix has exactly the required probability distribution. Reflection invariance gives each determinant sign probability , so the algorithm samples both components of the orthogonal group. The positive-diagonal correction is essential when a numerical QR decomposition chooses its own signs.
Articles by others on the same topic
There are currently no matching articles.