Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given an integer polynomial $P(x) = a_0 + a_1 x + \cdots + a_n x^n$, there ought to be a reasonable bound on the "complexity" of its possible irreducible integer polynomial factors that allows us to restrict to finitely many possible factors. This would allow us to use trial division to test the irreducibility of $P$ (although this is a pretty bad test of irreducibility).

As an example, in response to another math.SE question I gave a straightforward bound $$|x| \le \max\left(1, \left| \frac{a_0}{a_n} \right| + \cdots + \left| \frac{a_{n-1}}{a_n} \right|\right) = M$$

on the absolute value of the complex roots of $P$. This bound implies a horrible bound on the absolute values of the coefficients of an irreducible factor of degree $d$ (the $k^{th}$ coefficient has absolute value at most $a_n {d \choose k} M^k$), and I am wondering if it is possible to do substantially better.

Here's one precise form of this question. Given a polynomial $P \in \mathbb{Z}[x]$ of degree $n$ define its length $L(P)$ to be the sum of the absolute value of its coefficients.

What is the smallest exponent $e_{n,d}$ for which there exists a constant $c_{n, d}$ such that, for all $P \in \mathbb{Z}[X]$ of degree $n$ and all irreducible factors $Q$ of $P$ in $\mathbb{Z}[x]$ of degree $d$, we have the inequality $L(Q) \le c_{n, d} L(P)^{e_{n,d}}$?

share|cite|improve this question
David Boyd had a nice paper on such inequalities back in the 1970s or 80s. Sorry I can't be more specific, as I am away from my references. – Gerry Myerson Jan 5 '12 at 1:23
@Gerry D. Boyd's results were also discovered independently by others, e.g. M. Laugevin, C. Stewart, and M. Mignotte. These and other related results are presented in Chapter 4 of Mignotte's Mathematics for Computer Algebra - which should prove of interest to Qiaochu. – Bill Dubuque Jan 5 '12 at 2:17
I changed \text{max} to \max. It's a standard operator name in TeX. – Michael Hardy Jan 5 '12 at 3:03
@Bill, my recollection is that Boyd's paper (or at least part of it) was of the nature of a survey, not claiming originality for the results, but collecting many in one place. Mignotte's book is more recent and I wish I had remembered it to recommend it to Qiaochu. – Gerry Myerson Jan 5 '12 at 22:38

You are looking for Mignotte's bound, also known as Landau-Mignotte bound. I give the statement according to "Modern Computer Algebra" by von zur Gathen and Gerhard (2013 edition, Cor. 6.33) below:

Suppose that $f,g,h \in \mathbb{Z}[x]$ have degrees $\deg f = n \ge 1, \deg g = m, \deg h = k,$ and that $gh$ divides $f$ (in $\mathbb{Z}[x]$). Then $$ \lVert g \rVert_\infty \lVert h \rVert_\infty \le \lVert g \rVert_2 \lVert h \rVert_2 \le \lVert g \rVert_1 \lVert h \rVert_1 \le 2^{m+k} \lVert f \rVert_2 \le (n+1)^{1/2}2^{m+k} \lVert f \rVert_\infty $$ and $$ \lVert h \rVert_\infty \le \lVert h \rVert_2 \le 2^k \lVert f \rVert_2 \le 2^k \lVert f \rVert_1 \quad\text{and}\quad \lVert h \rVert_\infty \le \lVert h \rVert_2 \le (n+1)^{1/2}2^k \lVert f \rVert_\infty.$$ Note that $\lVert f \rVert_1 = L(f)$ is the length of $f$.

If I remember correctly, there are examples for which this bound is essentially sharp (that is, up to polylogarithmic factors). The authors mention the case $f = x^n-1$ and $h = \Phi_n$ the $n$-th cyclotomic polynomial, which has a coefficient bitlength of roughly $n$. Out of my head, I'm not sure if there is a comparably simple example where the size of the coefficients of $f$ is arbitrarily large.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.