Total: 1
For arbitrary noncommutative polynomials in independent GUE matrices, we prove that the empirical eigenvalue measure converges weakly in probability to the Brown measure of the corresponding polynomial in free semicircular variables. We also prove convergence of the entire eigenvalue set in Hausdorff distance and convergence of the spectral radius, both in probability. Equivalently, these matrix conclusions hold for arbitrary $*$-polynomials in independent complex Ginibre matrices. Independently, we prove that the support of the Brown measure of every polynomial in free semicircular variables equals its operator spectrum. The proof of weak convergence combines a criterion based on the second moment of the Brown measure with complex Gaussian rotation and convexity. The support theorem uses linearization and rigidity of matrix Dyson equations. We also prove absolute continuity for nonconstant polynomials without adjoints in free circular variables. A matrix Dyson equation recovers Brown measures of arbitrary semicircular polynomials through regularized logarithmic potentials. For drift-corrected nondegenerate elliptic free random walks, it yields quantitative convergence of potentials in the interior of the limiting domain and weak convergence of Brown measures to that of free multiplicative Brownian motion.