[Paper Review] A note on normal matrix ensembles at the hard edge

Yacin Ameur|arXiv (Cornell University)|Aug 21, 2018

Random Matrices and Applications7 references3 citations

TL;DR

This paper establishes a universal scaling limit for normal matrix ensembles at the hard edge by adapting quasipolynomials from the free boundary case to hard edge conditions. It proves that, under radial symmetry, the 1-point intensity function converges to $ H(z + \bar{z}) \cdot \mathbf{1}_{\mathbb{L}}(z) $, where $ H $ is the hard edge plasma function, confirming universality of the Bessel-type kernel in the hard edge regime.

ABSTRACT

We investigate how the theory of quasipolynomials due to Hedenmalm and Wennman works in a hard edge setting and obtain as a consequence a scaling limit for radially symmetric potentials.

Motivation & Objective

• To establish a universal scaling limit for normal matrix ensembles at the hard edge, extending known results from the free boundary case.
• To adapt the quasipolynomial method of Hedenmalm and Wennman to the hard edge setting with confined eigenvalues.
• To demonstrate that the 1-point intensity function converges to $ H(z + \bar{z}) \cdot \mathbf{1}_{\mathbb{L}}(z) $, where $ H $ is the hard edge plasma function.
• To show that this limiting intensity arises universally under radial symmetry, generalizing previous results on Ginibre-type ensembles.
• To provide a framework that may extend to non-radial potentials in future work.

Proposed method

• Adapt quasipolynomials from the free boundary case to satisfy hard edge boundary conditions via $ \bar{\partial} $-problem corrections.
• Construct weighted quasipolynomials $ w_{j,n}^{\sharp} $ as $ \chi_0 \cdot F_{j,n} \cdot e^{-nQ^{S}/2} $, where $ F_{j,n} $ are modified Hermite-type functions.
• Use $ L^2 $-minimal solutions to $ \bar{\partial} $-problems to correct quasipolynomials into actual orthogonal polynomials $ p_{j,n}^* $.
• Apply H"ormander's $ \bar{\partial} $-estimate with a modified weight $ \phi_n = \check{Q}_\tau + \frac{\alpha}{n}\log(1+|\zeta|^2) $ to control error terms.
• Establish $ L^2 $ and $ L^\infty $ estimates showing $ \|w_{j,n} - w_{j,n}^{\sharp}\|_{L^\infty(S \setminus X)} \leq C $, with error $ O(n^{-1/4}) $.
• Rescale about a boundary point via $ \zeta = z/\sqrt{n} $, and derive the limiting 1-point function as $ R_n(z) \to H(z + \bar{z}) \cdot \mathbf{1}_{\mathbb{L}}(z) $.

Experimental results

Research questions

• RQ1 Does the hard edge plasma function $ H(z + \bar{z}) \cdot \mathbf{1}_{\mathbb{L}}(z) $ appear universally in normal matrix ensembles at the hard edge?
• RQ2 Can the quasipolynomial method from the free boundary case be adapted to the hard edge setting with confinement?
• RQ3 What is the scaling limit of the 1-point intensity function for radially symmetric potentials at the hard edge?
• RQ4 How do $ \bar{\partial} $-problem corrections ensure convergence of quasipolynomials to orthogonal polynomials in the hard edge regime?
• RQ5 Under what conditions does the limiting point process converge locally uniformly to the determinantal field with kernel $ H(z + \bar{z}) \cdot \mathbf{1}_{\mathbb{L}}(z) $?

Key findings

• The 1-point intensity function $ R_n(z) $ converges locally uniformly to $ H(z + \bar{z}) \cdot \mathbf{1}_{\mathbb{L}}(z) $ as $ n \to \infty $, where $ H $ is the hard edge plasma function.
• The convergence is locally bounded on $ \mathbb{C} $ and locally uniform on $ \mathbb{C} \setminus i\mathbb{R} $, with error $ O(n^{-1/4} \log n) $.
• The limiting intensity arises from a sum of weighted quasipolynomials after rescaling, with the $ H $-function emerging naturally from the asymptotic analysis.
• The method establishes $ \|w_{j,n} - w_{j,n}^{\sharp}\|_{L^\infty(S \setminus X)} \leq C $, ensuring uniform control of the approximation error.
• The $ \bar{\partial} $-correction technique yields $ L^2 $-error bounds $ \leq C n^{-1/2} $, which are sufficient for convergence of the 1-point function.
• The result confirms universality of the hard edge kernel $ H(z + \bar{z}) \cdot \mathbf{1}_{\mathbb{L}}(z) $ under radial symmetry, extending prior results on the Ginibre ensemble.