1
Empirical Distributions
2
Random Matrices
▶
2.1
Random Matrices
3
SemicircleDistribution
▶
3.1
Semicircle Probability Density Function
3.2
To Extended Nonnegative Reals
3.3
Semicircle Distribution
3.4
Transformations
3.5
Moments
4
Convergence of Matrix Moments
▶
4.1
Convergence in Expectation
4.2
Convergence in Probability
5
Weak Convergence
6
Bibliography
Dependency graph
Formalizing Wigner’s Semicircle Law
Haoyan Jiang, Richard Oh, Fred Rajasekaran, Kiran Sun, Paul Yoon
1
Empirical Distributions
2
Random Matrices
2.1
Random Matrices
3
SemicircleDistribution
3.1
Semicircle Probability Density Function
3.2
To Extended Nonnegative Reals
3.3
Semicircle Distribution
3.4
Transformations
3.5
Moments
4
Convergence of Matrix Moments
4.1
Convergence in Expectation
4.2
Convergence in Probability
5
Weak Convergence
6
Bibliography