Propriedades de distribuição de matriz
As estatísticas de menor dimensão derivadas das matrizes aleatórias desempenham papéis importantes na caracterização de conjuntos de matriz. Em várias situações limites, as distribuições destas estatísticas colapsam em diferentes classes de universalidade. MatrixPropertyDistribution fornece um acesso conveniente para fazer amostras e calcular a aproximação numérica dessas propriedades derivadas.
Faça uma amostra dos dois maiores valores próprios de um conjunto unitário de Gauss.

dist = MatrixPropertyDistribution[With[{spectrum = Eigenvalues[x]},
{Max[spectrum], RankedMax[spectrum, 2]}],
x \[Distributed] GaussianUnitaryMatrixDistribution[50]];

RandomVariate[dist]

Visualize a distribuição conjunta dos maiores valores próprios com base no resultado da amostragem.

sample = RandomVariate[dist, 10^4];

Faça uma amostra do determinante de matrizes de um conjunto ortogonal de Gauss e compara a distribuição empírica com a expressão de forma fechada.

dist = MatrixPropertyDistribution[Det[x],
x \[Distributed] GaussianOrthogonalMatrixDistribution[2]];
dets = RandomVariate[dist, 10^6];

Aproxime a média do determinante através de amostragem pelo método Monte Carlo e compare-o com o valor real.

{N@Mean[dist], Integrate[x detpdf[x], {x, -Infinity, Infinity}]}
