CircularOrthogonalMatrixDistribution

CircularOrthogonalMatrixDistribution[n] represents a circular orthogonal matrix distribution with matrix dimensions {n, n}.

Examples

Sample a random orthogonal matrix:

RandomVariate[CircularOrthogonalMatrixDistribution[3]]
(* {{...}, {...}, {...}} *)

Verify orthogonality:

m = RandomVariate[CircularOrthogonalMatrixDistribution[2]];
Chop[m . ConjugateTranspose[m]]
(* IdentityMatrix[2] *)

Please visit the official Wolfram Language Reference for more details.