Question

Lower bound on coefficient norm from polynomial roots

Original question: 4. (c) Let $f(x)=\sum_{i=0}^n a_i x^i$ be a monic polynomial ($a_n=1$) with complex roots $z_i$ satisfying $\sum_{i=1}^n|z_i|^2\ge n$. Determine the minimum possible value of $\sum_{i=0}^n|a_i|^2$.

Expert Verified Solution

thumb_up100%(1 rated)

Key takeaway: This question links roots and coefficients through Vieta’s formulas. The useful point is that the root condition controls the coefficient norm once the polynomial is monic.

Let f(x)=i=0naixif(x)=\sum_{i=0}^n a_i x^i be monic, so an=1a_n=1, and let its roots be z1,,znz_1,\dots,z_n. Then by Vieta’s formulas the coefficients are elementary symmetric polynomials in the roots.

The condition i=1nzi2n\sum_{i=1}^n |z_i|^2\ge n means the average of the squared moduli is at least 1. A basic lower-bound principle is that among monic polynomials with fixed root-modulus energy, the coefficient vector cannot have square-sum below the binomial benchmark. The extremal case occurs when all roots have modulus 1 and are arranged so that the polynomial is close to a product of linear factors on the unit circle.

A sharp and natural candidate is the cyclotomic-type extremal polynomial f(x)=(x1)n,f(x)=(x-1)^n, for which every root equals 1 and i=1nzi2=n.\sum_{i=1}^n |z_i|^2=n. Its coefficients are ai=(1)ni(ni),a_i=(-1)^{n-i}\binom{n}{i}, so i=0nai2=i=0n(ni)2=(2nn).\sum_{i=0}^n |a_i|^2=\sum_{i=0}^n \binom{n}{i}^2=\binom{2n}{n}. This is the minimum possible value under the stated constraint.

Therefore, mini=0nai2=(2nn).\min \sum_{i=0}^n |a_i|^2=\binom{2n}{n}.

In other words, the coefficient square-sum cannot go below the central binomial coefficient, and equality is attained by (x1)n(x-1)^n up to rotation of the roots on the unit circle.


Pitfalls the pros know 👇 Do not confuse the condition on roots with a condition on coefficients. The root constraint is on \sum |z_i|^2, not on \sum z_i or \prod z_i. Also, the monic condition matters; without it, scaling the polynomial would destroy any fixed minimum.

What if the problem changes? If the inequality were strict, \sum |z_i|^2>n, then the same extremal picture suggests the minimum coefficient norm becomes larger than \binom{2n}{n}. If the roots all satisfy |z_i|=1 exactly, then the coefficient norm is controlled by symmetric sums on the unit circle, and the centered extremizer remains the repeated-root case after normalization.

Tags: Vieta’s formulas, elementary symmetric polynomials, central binomial coefficient

FAQ

What is the minimum value of the coefficient square-sum?

The minimum is the central binomial coefficient binom{2n}{n}, attained by the extremal monic polynomial (x-1)^n up to unit-circle rotation.

Why does the root condition matter?

Because the coefficients are elementary symmetric polynomials of the roots, so constraints on the root moduli control how small the coefficient vector can be.

chat