16
$\begingroup$

It is well known from this famous question that the roots of a random polynomial tend to be close to the unit circle. So I was wondering in a somewhat converse sense: for an irreducible polynomial, is it possible that many roots are collinear (on a line other than the real or the imaginary axis)?

Now, if we take for instance a Chebyshev polynomial $T_k(x^n-1)$, we get trivially $k$ roots on each of the $n$ rays from $O$ through each $n$th root of unity, see e.g. here for $k=5,n=7$ (left picture). But what if we want roots on a line which are not collinear with the origin, i.e. not proportional over $\mathbb R$? (And of course mere linear shifts should be excluded, like replacing in such a polynomial $x$ by $x-1$.)
We can easily get twice four of them on vertical lines, e.g. for the minimal polynomial of $ \dfrac{1+i}{\sqrt[4]{2}}+(\sqrt{2}+1)i $, which is $x^8+12 x^6+16 x^5+42 x^4+32 x^3+68 x^2+112 x+73$ (right picture).
enter image description here

This raises several questions (remember that it is all about irreducible polynomials, so we could talk as well of the Galois conjugates of a given algebraic number):
Assuming that the pattern has no rotational symmetry and taking the word 'line' to exclude both axis,

1. Is it possible to have more than 4 roots on a line?
2. Can a line with 4 or more roots be other than horizontal or vertical? If so, which slopes can occur?
3. Is it even possible to have exactly 3 of the roots on a line?

EDIT: Q1 and Q3 => Yes by Ilya Bogdanov's comments. So Q2 remains, and I've added Q4:

4. Is it possible that the roots make up a $p\times q$ grid where $p$, the number of rows, is not a power of $2$?

Note that there can be patterns with only one line of 4 collinear roots, e-g. the minimal polynomial of $\sqrt{2}+i+ \dfrac{i}{\sqrt[4]{2}} $ , viz. ${ {4 x^8-16 x^6+32 x^5+84 x^4-192 x^3-40 x^2-112 x+353}}$: enter image description here

For Q1, it might be possible to find constructions by some sort of "bifurcation" in a sense similar to what happens with the logistic map, but I am not very sure about that. If at all, I'd conjecture that for any [edit: vertical] line, the number of roots it contains always is a power of 2.

EDIT: Q4 has a positive answer. (And so has Q2.) Based on the construction of Jeremy Rouse in the related question, we have e.g. $$x^{18}+6x^{15}+54x^{14}-54x^{13}+24x^{12}+378x^{11}+189x^{10}\\ -1672x^9+5184x^8+162x^7-11649x^6+13824x^5\\ +28944x^4-80904x^3+138240x^2-86400x+44992$$ whose roots come in a nice $3\times 6$ pack as displayed here: enter image description here

$\endgroup$
11
  • $\begingroup$ If you have some $\xi$ such that its minimal polynomial $P(x)$ has several collinear roots, you may choose some non-real $\eta$ whose minimal polynomial remains irreducible in the splitting field of $P$; then the minimal polynomial of $\eta\xi$ also has the same number of roots lying on the line rotated by $\arg\eta$ (and scaled by $|\eta|$). $\endgroup$ Sep 26 '15 at 11:01
  • $\begingroup$ Also, you may see that the minimal polynomial of $\sqrt2+i/(\root4\of 2+\root4\of 3+\root4\of5+\root4\of7)$ has quite more collinear roots... $\endgroup$ Sep 26 '15 at 11:06
  • $\begingroup$ Do you mean polynomial with integer coefficients? (Otherwise just choose the roots)? $\endgroup$
    – joro
    Sep 26 '15 at 11:16
  • $\begingroup$ As for Q3, why not take three real roots of an irreducible degree 3 polynomial and shif them by $i\sqrt n$? You may then rotate them if you wish. $\endgroup$ Sep 26 '15 at 11:19
  • $\begingroup$ @joro yes, of course I mean irreducible over the integers. $\endgroup$
    – Wolfgang
    Sep 26 '15 at 11:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.