How a family of shrinking curves explains where certain polynomial zeros gather
This paper studies a one-parameter family of closed curves in the complex plane and shows that they are the limiting home for the zeros of a family of Laguerre polynomials in a delicate, “critical” regime. Each curve γ_t is defined by the equation |z e^{1−z}| = e^{−t} with |z| ≤ 1. The real parameter t≥0 controls how much the curve shrinks toward the origin. The authors approach the same geometric family from three points of view: an electrostatic equilibrium problem, a dual hydrodynamic model, and a random matrix model.
The concrete mathematical question is about the scaled, varying Laguerre polynomials L^{(α_n)}_n(n z) when the sequence α_n behaves so that α_n/n → −1. In that critical case the zeros of these polynomials do not spread out arbitrarily. Instead they concentrate, in the limit n→∞, on the curve γ_t. The parameter t encodes the exponential rate at which the α_n get close to the negative integers; different rates produce different curves γ_t, and the extreme case t → ∞ makes the curve shrink to the single point z=0.
Several explicit formulas are given. The limiting density of zeros along γ_t can be written in a simple closed form (displayed in the paper) and the curves themselves satisfy Re(z − log z) = t + 1, which is equivalent to the defining equation above. A key technical tool is the Schwarz function of the curve, the complex function S(z,t) that gives the reflection ¯z = S(z,t) for points z on the curve. The authors show S(z,t) can be written in terms of the principal branch of the Lambert W function (the function W that solves W e^W = z). In this formulation a classical symmetry condition from potential theory (the so-called S-property) appears as the Schwarz reflection symmetry of S.
The three viewpoints reinforce one another. From electrostatics, the limiting zero distribution is an equilibrium measure for a line conductor in an external field, and the authors compute the associated self-energy; for these curves the self-energy equals t+1. From the random matrix side, a variant of the Penner matrix model with potential W(z)=z+log z leads in a critical ’t Hooft limit to the same scaled Laguerre polynomials, so the same curves appear as saddle-point supports. The paper also discusses a conformal map from the inside of γ_t onto the disk of radius e^{−t} and records the harmonic moments of the curves.