What is the probability that the largest root of a polynomial is real?
Naturally enough, this depends on how one models a random polynomial. If we take polynomials of degree N which are constrained to have all of their roots to be of absolute value at most one (with respect to the normalized Lebesgue measure on ), then, as mentioned last time, the probability that the largest root is real is either in odd degree and in even degree. A priori, this seems surprisingly small. However, the roots of such polynomials are accumulating on the unit circle, and it’s easier for complex roots to be near the unit circle than real roots. So let’s instead consider the Kac model of polynomials , where the coefficients are chosen to be independent normals with mean zero. If you ask for the probability that the root whose absolute value is closest to one is real, then I suspect that the answer will be approximately . However, what about the largest root? The first observation is that the expected number of real roots is , so a the most naïve guess is that the probability that the largest root is real is approximately . If you like, you can pause here and guess whether you think this is too high, too low, or about right.
A useful observation is that, instead of considering the largest root, we can consider the smallest root. This is because the map is measure preserving and inverts the roots. On the other hand, the behavior of random Kac polynomials in large degree inside the unit circle starts to approximate the behavior of random power series
where the are all normally distributed with mean zero and standard deviation one. It’s easy to see that will have radius of convergence with probability one. So we might instead consider what the probability is that the smallest root of a random power series is real. However, in this case, it is quite elementary to see that this probability is strictly between zero and one. Quite explicitly, consider the subspace of power series such that the following inequality holds:
This region has positive measure (easy exercise). On the other hand, for all such power series, one can apply Rouché's theorem for the contour to see that and have the same number of zeroes inside this disc, and hence has exactly one root of absolute value less than . By the reflection principle, this root is real. It follows that the probability that the smallest root of is real is positive. Equally, one can consider the region:
and by applying Rouché along and comparing with , the corresponding will have exactly two roots inside this ball, and from the inequalities above it follows that neither of them will be real, and hence .
The same argument shows that if is the probability that the smallest (or largest) root of a Kac polynomial is real, then there are uniform (independent of ) estimates for all . Naturally enough, one should expect that converges to . This is true, and the rough idea is to show that, with probability approaching one (as ), one can apply Rouché’s theorem to deduce that the smallest root of is real if and only if the smallest roots of its truncation is real. The key idea here is that, for the truncation , most of the roots of will be uniformly distributed along the unit circle, and so the contribution of the relevant factor to will not be too small. Hence one can usually apply Rouché along the contour as long as there are no roots of of absolute value too close to .
The computations above also allow one to give effective gaps between and either zero or one (by estimating the measure of the corresponding regions as translates of ), although these estimates are not so sharp. Namely, the probability that the smallest root of a random power series is real is at least 0.256% and at most 99.999999999999917%. Some numerical data suggests, however, that the probability that the largest root of a random Kac polynomial (of large degree) will be real is approximately 52%. I have some undergraduates working with me this summer, and one of their projects will be to see if they can prove that the probability is really strictly larger than 50%, or at least to find a good an estimate as they can.
One may ask what happens for other ensembles of polynomials. One natural class to consider is the so-called binomial polynomials, where the are now normal with mean zero and variance . Here the previous argument doesn't (a priori) work. On the other hand, as Boris Hanin (a Steve Zelditch student from Northwestern who is leaving for a postdoc at MIT next year) pointed out to me, it actually does: to fix it, one should scale all the roots of the relevant polynomials by , and then there really is a limit distribution as , given by power series
where the normalized are normals with standard deviation one. Note that these power series have an infinite radius of convergence with probability one. The probability that the smallest root is real will once again be strictly between and . In order to prove convergence of (by applying Rouché’s theorem), one needs to know that the relevant 2-point correlation functions behave reasonably enough; I’m hoping to get Boris to work out and write down the details here. Numerically, the limit probability in this case is somewhere around 62%.
I speculated last time on some conjectural relationship between the space of real monic polynomials all of whose roots are at most one, and the space of random Kac polynomials of degree as goes to infinity. But now I wanted to point out a more direct an elementary relationship between ensembles of random real polynomials and our space . A gap probability is the probability that the eigenvalues/roots of some ensemble avoid some region of the corresponding parameter space. Let’s compute this for a very large gap. That is, let’s compute the probability that a random polynomial has all of its roots less than as .
Let's consider the Kac model of random polynomials
where the are chosen independently from a normal distribution with mean zero and standard deviation one. Hence we are asking: what is the probability that all the roots of have absolute value at most ? This is simply the integral
where is the space of polynomials (not necessarily monic) all of whose roots are at most . There is a map
given by with Jacobian . Hence we can write our quantity as an integral over , which turns out to be
We can now compute the integral over directly, and then scaling to in the usual way, we find that the probability that all the roots have absolute value is
Now suppose that . Then the integral over converges to the volume of , and we obtain an exact asymptotic that all the roots are (highly) concentrated at zero. In fact, one can do this computation with any probability measure which decays sufficiently at infinity.
Curiously enough, we can also ask (in the setting of random polynomials subject to some reasonable measure for each ) what the probability is that a random polynomial has real roots contingent on all the roots of that polynomial being less than . It turns out that, as , the answer in this case is simply the ratio of the volume of to (with ). This answer does not depend at all on . The explanation for this is that, having subjected the polynomials to the constraint that all the roots have absolute value at most for small , one is restricting to some tiny region where the measure is constant, and so it is converging to a scaled version of Lebesgue measure.