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
LoopWalks
5
Convergence of Matrix Moments
▶
5.1
Convergence in Expectation
5.2
Convergence in Probability
6
Weak Convergence
7
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
LoopWalks
5
Convergence of Matrix Moments
5.1
Convergence in Expectation
5.2
Convergence in Probability
6
Weak Convergence
7
Bibliography