1. Introduction
Polynomials are fundamental and ubiquitous across many mathematical fields. They assist in determining solutions to equations, identifying how many solutions exist, understanding the influence of critical points on the geometric distribution of values, characterizing the traits of geometric curves, and more. The role of polynomials in the progression of mathematics has been profound since ancient times. From the Babylonian study of quadratic equations to the Greek geometric approach to cubics and quartics, the journey of understanding polynomials has been long and intricate [
1]. With the emergence of complex numbers during the Renaissance, polynomials began to reveal even more fascinating properties. The 18th and 19th centuries bore witness to a series of ground breaking discoveries in the analytical theory of polynomials, especially in the context of their complex roots. This period saw luminaries like Gauss, Cauchy, Riemann and others whose contributions expanded our understanding of polynomials and proved pivotal in establishing foundational theorems that connected topology, algebra, and complex analysis. This confluence of ideas laid the groundwork for the myriad applications and deeper investigations of polynomials in the modern era. One of the most captivating sub-fields within the larger field of complex analysis is what now goes by the name of the geometric and analytical exploration of complex polynomials. Historically, its foundations were solidified in the early 20th century, setting a distinctive trajectory that diverged from a purely algebraic analysis. Novel generalizations of polynomials with applications to diverse fields of science continue to be developed [
2].
When one delves into the realm of theory of polynomials from a complex function viewpoint, it transforms into a geometric spectacle, often characterized as the study of the “landscape” of zeros within the complex plane. For this reason, the field is often referred to as the geometry of zeros of polynomials in the complex plane.
Pioneers like Morris Marden, with his seminal work
Geometry of Zeros of Polynomials [
3], played a pivotal role in establishing a distinct niche area within complex analysis. While his contributions are monumental, the field has further been enriched by works like
Topics in Polynomials: Extremal Problems, Inequalities, and Zeros by Milovanovic et al. [
4] and the comprehensive survey
Analytic Theory of Polynomials by Rahman and Schmeisser [
5].
A recurring theme in the study of polynomials is the dynamic nature of zeros. As one alters some or all coefficients, the zeros dance across the complex plane. This dance, the shifting locations of zeros in response to changes in the coefficients, is captured by the continuity theorem. The study of the roots and zeros of polynomials is an important topic in mathematics with applications in a variety of fields, including physics, engineering, and computer science [
4,
5,
6,
7]. The study of things like the distribution of zeros and critical points, geometry of polynomials, different norms of polynomials, bounds of roots, extremal problems, and such other things have received tremendous research focus over the years both in polynomial theory and the theory of random polynomials [
4,
5,
8,
9,
10,
11]. One important measure of the distribution of roots is the variance of the roots, which gives information about how spread out the roots are. The notion of variance provides a natural and potential tool for analyzing the distribution of roots and exploring their behavior. However, despite its potential importance, the variance of the roots of a polynomial is a less commonly studied topic in the theory of polynomials. The variance of the number of real roots of random polynomials has been extensively [
7,
12] studied in the context of random polynomials, but little to no studies exist on the variance of the zeros themselves. An extensive search across various databases showed us only the following result about the bounds of variance for monic polynomials with only real zeros [
13]:
Theorem 1. Let the roots of the nth degree monic polynomial equationbe all real and positive. Let and , respectively, denote the smallest and largest root of the polynomial. Then,where In this paper, compared to [
13], we prove a more general result about the exact variance of the zeros of a general polynomial with only real roots. We also explore the relationship between the variance of the zeros and critical points of a polynomial as well as their average moduli. By measuring the distance of the zeros from their barycenter, the notion of variance captures the circular symmetry of the zeros distribution or the deviation thereof. We explore the behavior of the variance and mean deviation for zeros on the unit circle and discuss their implications. We further use an inequality due to de Bruijn and Vieta’s formula for the product of zeros to derive bounds for the sum of the moduli of zeros and the average of the squares of the moduli of zero for a polynomial. Finally, we propose a conjecture regarding the relationship between the real parts of the zeros and the real parts of the critical points. Our results have implications for the study of complex analysis and the distribution of roots of polynomials.
Because of the absence of the any recent results on the variance of roots of a polynomial, we will first perform a brief survey of some classical results that have a bearing on the results we develop. We, however, emphasize the variance of the roots themselves should not be confused with the variance of the number of real roots, for which there are a plethora of results in the literature. It is important to note that the expression for variance involves the moduli of roots. For polynomials of degree four or lower, there are formulas—like the quadratic formula for degree two, Cardano’s formula for degree three, and Ferrari’s formula for degree four—that allow us to find the roots explicitly and then compute their moduli. For polynomials of a degree greater than 4, it is not possible to calculate the sum of the moduli of the zeros of general complex polynomials of degrees higher than 4 in terms of the coefficients in a closed form. This makes the study of the variance for general polynomials a very significant problem. The theorems developed in this paper can be effectively utilized for Olympiad training, particularly for enhancing problem-solving skills in algebra and inequalities. As demonstrated in [
14], a solid understanding of polynomial behavior is crucial for success in mathematics competitions, and our results provide a foundational tool-set for such applications.
Survey of Classical Results on Average Distances of Critical Points and Zeros
Let
be a polynomial of degree
n with zeros
and critical points
By Vieta’s formulae, it immediately follows:
We also have the following result [
5]:
Theorem 2. The moduli of imaginary parts of the zeros and the critical points satisfy the following: Remark 1. The geometry of the complex plane and the fundamental properties of entire functions play a crucial role in the relationship between zeros and critical points, and this relationship does not extend in the same way to the real parts of these values. Another reason is that complex roots occur in conjugate pairs.
We have the following theorem by de Bruijn [
15].
Theorem 3. Let be a polynomial of degree with zeros and critical points . Then for Therefore, for , we have the following result:
Theorem 4. Let be a polynomial of degree with zeros and critical points . Then The remainder of the paper is organized as follows. In
Section 2, we present some results concerning the average moduli of critical points for the uniform distribution of zeros. In
Section 3, we discuss some results regarding the variance of zeros, while
Section 4 explores the expected variance for the uniform distribution of zeros. In
Section 5, we present a theorem about the variance of the zeros of polynomials with real zeros. In
Section 6, we calculate the bounds for the average of squares of the moduli of zeros using a de Bruijn’s inequality and Vieta’s formula for the product of zeros. In
Section 7, we present a relationship between the variance of zeros and critical points. Finally, we present a conjecture regarding a possible relation between the moduli of zeros and critical points.
2. Average of Moduli of Critical Points for Uniform Distribution of Roots
Theorem 5. Letbe the average of the moduli of the imaginary parts of the critical point of the polynomial and the roots be independently, uniformly, and randomly chosen over the unit disc , then for Proof. Since
are identically, uniformly, and randomly distributed over the unit circle, the joint distribution of their
x and
y coordinates is given by
The distribution of the random variable
Y corresponding to the imaginary parts of zeros is given by:
Hence, the expected value of
can be written as
Now, we have from Theorem 2:
Taking expectations on both sides of Inequality (
10) and using Equation (
9), we have:
Employing Markov inequality [
16,
17], we have:
which establishes the claim of the theorem. □
Theorem 6. Letbe the average of the moduli of the critical points of a polynomial of degree n with zeros chosen independently, uniformly, and randomly over the unit disc . Then,for . Proof. Let
W be the random variable corresponding to the moduli of the zeros of
Since
are independently, identically, and randomly chosen over the unit disc
, the
pdf of
can be written as:
Hence, upon taking expectations, we have:
Using Theorem 4, we have:
where the last inequality follows from the fact that
for all
i. Taking expectations yields
Finally, employing Markov’s inequality, we have:
for
. This establishes the Theorem 6. □
3. Variance of Zeros of a Polynomial
3.1. Variance and Mean Deviation Bounds
Let us consider a complex polynomial of degree
n:
where
are complex coefficients. Let the roots of this polynomial be denoted by
. Define the variance of the roots to be the quantity
We have the following theorem.
Theorem 7. Let be a complex polynomial of degree n, where are complex coefficients with . Denote the roots of as . Define the mean of the roots as . Then, we have the following results:
(a). The variance of the roots is given by: (b). The mean deviation of the roots is bounded aswhere . Proof. We have the mean of the zeros of
is given by:
and the variance of the zeros is
We observe that the square of the deviation can be written as:
where
denotes the real part of
z and
denotes the complex conjugate of
z.
Using Expressions (
26) in (
25), the expression for variance becomes:
Since , we have .
Hence, the expression for the variance simplifies to:
We define another quantity similar to mean deviation as:
where as before,
is the complex mean of the zeros of the polynomial
.
Employing the fact that for any real-valued random variable
X:
we immediately obtain:
We recall that the Cauchy bound
given by:
then from Equations (
28) and (
32), we have:
and
From the Equation (
28) and Inequality (
31), we note that if the roots are on the unit circle, then we have the following:
and
This completes the proof of Theorem 7. □
Remark 2. Based on the value of variance for zeros on the unit circle, we make the following observation:
- (i).
From (35), we observe the minimum variance of 0 occurs when all the roots are the same, or in other words, when all the roots coincide at a single point on the unit circle. - (ii).
If we assume the roots are all on the unit circle, then for all i. Therefore, . So, the maximum variance occurs when the second term in the formula for is as small as possible. From (35), we see that the second term in is
This term is based on the coefficients and of the polynomial, which determines the location of the roots. If all roots are on the unit circle, would be the negative sum of the roots. The maximum variance would occur when this term is zero or close to zero, i.e., when the sum of the roots is zero. In this case, for the roots to sum to zero, they should be symmetrically distributed around the origin in the complex plane.
3.2. Variance for Quadratic Polynomials
Consider a quadratic polynomial
with roots
and
. The variance (
) of the roots can be defined as the average of the sum of squares of the deviations of each root from the mean of the roots. In this case, the mean of the roots is
; hence, the variance is given by:
Simplifying Equation (
38), we get:
Using the identity
and apply it to
and
, we obtain:
Using Vieta’s formulae, which state that
and
for a quadratic equation
, we can substitute into the above expression to obtain:
where
is the discriminant of the quadratic equation, often denoted as
D. Substituting this into the equation for
gives
4. Expected Variance for Uniform Distribution of Roots
Theorem 8. Let the zeros of the polynomial be uniformly distributed over the unit disc . Then, we have: Proof. We observe that the squared modulus of the center of mass of zeros can be written as:
Taking expectation on both side of Equation (
44), we have:
As for the the quantity
where
, we can use the fact that the roots are uniformly distributed over the unit disc to calculate its expected value. We can write
and
, where
and
are the magnitudes of the roots, and
and
are their arguments. Then, we have:
Since the roots are uniformly distributed over the unit disc, the magnitudes
and
are independent and uniformly distributed over the interval
. The difference
is also uniformly distributed over the interval
. Therefore, the expected value of
is given by:
Therefore, from the Equation (
45), we have:
It follows from Equation (
50),
Since
is non-negative, we conclude that as
n goes to infinity,
, and hence
, both approach 0. We now observe from Equation (
22) that the expression for variance can also be recast as:
Thus, for a uniform distribution on the zeros over a unit disc, we have the variance is given as follows:
This completes the proof. □
Remark 3. It is worth-noting from Equation (53), that approaches as , under the assumptions of the Theorem (8). 5. Variance of Polynomials with Real Roots
Theorem 9. For a polynomial with only real roots, the variance of the roots is given by: Proof. Given a polynomial in the form
we can apply the substitution
to obtain a new polynomial
The coefficients
in the polynomial
can be expressed in terms of the
coefficients by substituting
into the polynomial
, yielding
Expanding the
terms and collecting terms on the R.H.S of Equation (
55), we find expressions for
,
, and
:
The variance
of the roots of a polynomial with only real roots can be expressed as:
where
and
are coefficients obtained by translating the polynomial so that its sum of roots is zero.
Using the identity
and the Vièta’s formula for the sum of roots taken two at a time, we have:
which yields the expression for
.
Simplifying the expression in (
56) we get:
□
6. Calculating Bounds Using de Bruijn Inequality and the Product of Roots
6.1. Bounds Using de Bruijn Inequality
Here, we use the following inequality due to de Bruijn [
18] to derive some bounds for the sum of the moduli of zeros of a polynomial.
Theorem 10. Let be the roots of a polynomial . Then, a bound for is given by: Proof. In the proof of the above bound, we shall be using the following result by de Bruijn as a lemma. □
Lemma 1 (de Bruijn’s Inequality). If is an n-tuple of real numbers and is an n-tuple of complex numbers, then Equality holds if and only if for , where λ is a complex number such that is a non-negative real number.
As a straightforward corollary, if all
for
are taken to be 1, then the given inequality would simplify to:
which shows that
With
for all
, the de Bruijn inequality becomes:
We can now find a bound for
for the roots of the polynomial as follows. Expanding the square in the left-hand side, we obtain:
In order to find a bound for the mean of the moduli of the roots, consider a polynomial
. We have from Vieta’s formulae:
and
From inequality (
60), we have:
Hence, a bound for
is given by
That establishes Lemma (1)
6.2. Bound Using the Products of Roots
Theorem 11. For any polynomial , the lower bound of the average moduli of roots is given by: Proof. For any polynomial
we may note that
So, if
is the root min minimum modulus, then
so that
□
7. Relation between the Variances of Zeros and Critical Points
Theorem 12. For any complex polynomial we have the following:
(a). The variance of the critical points is related to the variance of the zeros and the coefficients through the inequality: (b). The variance of the critical points can never exceed the variance of the zeros.
Proof. Let
be a polynomial of degree
n with zeros
and critical points
. We define the variance of the critical points as:
where
is the mean of the critical points.
Also,
where
Now,
, and
Since
, we have
From the expression
we have:
Since
we conclude:
which establishes the theorem. □
8. Real Part Conjecture
Here is a possible relation between the moduli of zeros and critical points:
for some constant
that depends on
n, the degree of the polynomial.
The intuition here is that the real parts of the zeros provide an upper bound on the real parts of the critical points. The reason we need to add a constant is that for higher-degree polynomials, the zeros can be quite spread out, so we need to account for the possibility of critical points appearing in the gaps between zeros.
9. Conclusions
In this paper, we have presented some novel results and new techniques for the relatively underinvestigated problems concerning the variance of the zeros of polynomials. Significantly, we have derived exact results for the variance of the roots of polynomials with only real roots. The research fills a gap in the existing literature by exploring the variance of the zeros themselves, not just the number of real roots, which has been extensively studied. The paper also investigates the relationship between the variance of the zeros and critical points of a polynomial, as well as their average moduli, utilizing tools like de Bruijn’s inequality and some other lesser known classical inequalities while extending the results to some random polynomials using the Markov inequality from theory of probability. Among the things investigated in this paper, the chief things to mention are the average of the moduli of the critical points for the uniform distribution of the roots; the variance and mean deviation bounds and the expected variance for the uniform distribution of the roots and variance of polynomials with real roots; and the relation between the variances of the zeros and critical points. The findings provide valuable insights into the distribution of zeros and the structural characteristics of polynomials, besides providing novel directions for new explorations in the distribution of the zeros of polynomials.
10. Future Research
Building upon the novel findings in this paper, future research holds exciting possibilities to push the boundaries of understanding zero variance and its diverse implications. While the current work focuses on polynomials with real roots, venturing into the realm of complex roots would paint a broader picture, potentially uncovering connections with root location theorems and demanding specialized techniques from complex analysis. Furthermore, extending the analysis beyond univariate polynomials to encompass the intricate world of multivariate settings could involve harnessing tensor decompositions, exploring geometric nuances of higher-dimensional zero sets, and adapting tools from algebraic geometry.
Beyond uniform root distributions, delving into diverse scenarios with weighted distributions, specific polynomial families with known root behavior, or random models with controlled coefficient dependencies could reveal fascinating insights. Additionally, deepening our understanding of the interplay between zero variance and other structural characteristics like degree, coefficient ratios, and root clustering patterns holds immense potential.
From a computational standpoint, developing efficient algorithms for calculating zero variance or related quantities for general polynomials could pave the way for applications in signal processing, optimization, and approximation theory, where root distribution plays a pivotal role. Integrating tools from probability theory and random matrix theory into the analysis of zero variance in random polynomial ensembles could offer invaluable insights into typical behavior and asymptotic properties for large degrees or specific coefficient distributions.
Furthermore, exploring the potential connection between zero variance and the stability of polynomial roots under perturbations could have significant implications for control theory, numerical analysis, and understanding the sensitivity of solutions to data changes.