Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T08:45:11Z http://mathoverflow.net/feeds/question/38680 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? Carl Weisman 2010-09-14T12:54:21Z 2010-09-15T00:19:48Z <p>I'm fearful about putting this forward, because it seems the answer should be elementary. Certainly, the Weak Approximation Theorem allows every system of simultaneous inequalities among archimedean absolute values to be satisfied. But equality combined with inequality?</p> http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d/38683#38683 Answer by Cam McLeman for Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? Cam McLeman 2010-09-14T13:09:24Z 2010-09-14T13:09:24Z <p>Yes. Take $$\alpha=\sqrt{2-\sqrt{2}}+i\sqrt{\sqrt{2}-1}.$$ Neither of the conjugates $$\sqrt{2+\sqrt{2}}\pm \sqrt{\sqrt{2}+1}$$ have absolute value 1. </p> <p>It is impossible, however, if $\mathbb{Q}(\alpha)/\mathbb{Q}$ is abelian, since then all automorphisms commute with complex conjugation.</p> <p>This was all stolen from Washington's Cyclotomic Fields book.</p> http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d/38684#38684 Answer by Victor Protsak for Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? Victor Protsak 2010-09-14T13:10:14Z 2010-09-14T13:10:14Z <p>Yes. E.g. consider the two complex roots of $x^2-(1-\sqrt{2})x+1.$ They are algebraic integers of degree 4 on the unit circle, but their algebraic conjugates are the roots of $x^2-(1+\sqrt{2})x+1$, so they are irrational real numbers. </p> http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d/38685#38685 Answer by KConrad for Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? KConrad 2010-09-14T13:32:11Z 2010-09-14T13:46:40Z <p>There was a similar question on math.stackexchange: <a href="http://math.stackexchange.com/questions/4323/are-all-algebraic-integers-with-absolute-value-1-roots-of-unity/4332#4332" rel="nofollow">http://math.stackexchange.com/questions/4323/are-all-algebraic-integers-with-absolute-value-1-roots-of-unity/4332#4332</a> and my answer below is partly taken from that. </p> <p>For any non-real algebraic number x inside C, its absolute value |x| is algebraic, so x/|x| is an algebraic number on the unit circle other than $\pm 1$. Most algebraic numbers do not have all their conjugates of equal absolute value, so it's quite easy to generate examples of what you ask for. </p> <p>There is a constraint on the minimal polynomial over Q of an algebraic number on the unit circle other than $\pm 1$. Let x be an algebraic number with absolute value 1. Then x and its complex conjugate x* = 1/x have the same minimal polynomial. Writing f(T) for the minimal polynomial of x over Q, with degree n, the polynomials T^nf(1/T) and f(T) are irreducible over Q with common root x*, so the polynomials are equal up to a scaling factor: T^nf(1/T) = cf(T). Setting T = 1, f(1) = cf(1). Assuming x is not rational (i.e., x is not 1 or -1), f has degree greater than 1, so f(1) is nonzero and thus c = 1. Therefore T^nf(1/T) = f(T), so f(T) has symmetric coefficients (the coefficients of $T^i$ and $T^{n-i}$ are equal). In particular, its constant term is 1. Moreover, the roots of f(T) come in reciprocal pairs (since 1 and -1 are not roots), so n is even.</p> <p>Partial conclusion: an algebraic number in C other than 1 or -1 which has absolute value 1 has even degree over Q and its minimal polynomial has constant term 1. In particular, if x is an algebraic <em>integer</em> then it must be a unit in the number field it generates. </p> <p>There are no examples of algebraic integers with degree 2 and abs. value 1 that are not roots of unity since a real quadratic field has no elements on the unit circle besides 1 and -1 and the units in an imaginary quadratic field are all roots of unity (and actually are only 1 and -1 except for Q(i) and Q(w)). Thus the smallest degree x could have over Q is 4 and there are examples with degree 4: the polynomial T^4 - 2T^3 - 2T + 1 has two roots on the unit circle and two real roots (one between 0 and 1 and the other greater than 1). In Victor's answer, the two quadratic polynomials he writes down have product T^4 - 2T^2 + T^2 - 2T + 1. In Cam's answer, the algebraic integers he writes down have minimal polynomial T^8 - 12T^6 + 6T^4 - 12T^2 + 1. Note these polynomials are all symmetric, as they must be by the argument I gave above.</p> <p>Fact: polynomials f(T) of even degree n = 2m with symmetric coefficients are the same as polynomials of the form f(T) = T^mg(T + 1/T), where g has degree m. (This is a nice little exercise by induction.) Moreover, roots of f on the unit circle other than 1 or -1 correspond in a 2-to-1 way to real roots of g in the interval (-2,2) by $e^{i\theta} \mapsto e^{i\theta} + e^{-i\theta} = 2\cos \theta$. (Note $e^{-i\theta}$ is also a root of $f$ on the unit circle and it leads to the same real root of $g$ since $\cos(-\theta) = \cos(\theta)$.) This is how you can <em>count</em> the number of different roots of $f(T)$ on the unit circle: convert it into $g(T)$ and count the real roots of $g(T)$ in $(-2,2)$ using sign changes. For example, taking for f(T) Lehmer's polynomial of degree 10 in cfranc's answer, the corresponding polynomial g(T) is T^5 + T^4 - 5T^3 - 5T^2 + 4T + 3. (Although f(T) has symmetric coefficients, there is no reason g(T) needs to have symmetric coefficients.) This polynomial g has all real roots and 4 of them are in (-2,2), so Lehmer's polynomial has 2*4 = 8 roots on the unit circle.</p> http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d/38686#38686 Answer by cfranc for Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? cfranc 2010-09-14T13:36:04Z 2010-09-14T14:27:27Z <p>Another nice example is Lehmer's number $\lambda \simeq 1.17628$, which is the largest real root of the monic irreducible polynomial $x^{10} + x^9 - x^7-x^6-x^5-x^4-x^3+x+1$. This polynomial has a second real root inside the unit circle, and the remaining roots lie on the unit circle. </p> <p>The Mahler measure of a monic irreducible polynomial is the absolute value of the product of the roots with norm $\geq 1$. The Mahler measure of an algebraic integer is the Mahler measure of its minimal polynomial. It is believed that Lehmer's number has minimal Mahler measure. For more on Lehmer's number check out this <a href="http://www.ams.org/notices/200903/rtx090300374p.pdf" rel="nofollow">"What is" paper</a>.</p> http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d/38688#38688 Answer by Vagabond for Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? Vagabond 2010-09-14T13:51:15Z 2010-09-14T16:43:25Z <p>One interesting set of example is Salem numbers. These are real algebraic integer all of whose conjugates has absolute value less than or equal to one and at least one of the conjugates lies on the unit circle. </p> <p>So you have a scenario of, one which flew over the cuckoo's nest, at least one in the edge and the rest are all in the nest (caged ?) .</p> <p><a href="http://en.wikipedia.org/wiki/Salem_number" rel="nofollow">http://en.wikipedia.org/wiki/Salem_number</a></p> <p>Also if all its conjugates lies on the unit circle then it has to be a root of unity, its known as Kronecker Theorem.</p> <p><a href="http://mathoverflow.net/questions/33169/good-effective-version-of-kroneckers-theorem" rel="nofollow">http://mathoverflow.net/questions/33169/good-effective-version-of-kroneckers-theorem</a> </p> http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d/38692#38692 Answer by Mark Sapir for Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? Mark Sapir 2010-09-14T15:18:53Z 2010-09-14T15:18:53Z <p>If $f(x)$ is a monic polynomial in ${\mathbb Z}[x]$ and all roots have absolute value 1 (i.e. lie on the circle $S^1$ of radius 1), then all roots are roots of unity (satisfy $x^k=1$). Indeed, if $x_1,...,x_n$ are the roots of $f$, then for every integer $k$, $x_1^k,...,x_n^k$ are all roots of some monic polynomial $f_k$ of degree $n$ over $\mathbb Z$. The coefficients of $f_k$ are (by Vieta's formulas) $\pm$ elementary symmetric polynomials of $x_1^k,...,x_n^k$. Since the absolute values of $x_i^k$ are 1, the coefficients of $f_k$ are bounded independently of $k$. Hence there are finitely many different polynomials $f_k$, so $x_i^k=x_i^l$ for some $k\ne l$ and $i=1,2,...,n$, hence $x_i^{l-k}=1$. Now if you take any algebraic number on $S^1$ which is not a root of unity, some of its conjugates will not belong $S^1$. </p> http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d/38744#38744 Answer by Gerry Myerson for Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? Gerry Myerson 2010-09-14T23:09:33Z 2010-09-14T23:09:33Z <p>One more example. Let $\alpha_1$ be the real, and $\alpha_2$ and $\alpha_3$ the nonreal, roots of $x^3-x-1$. Then the six numbers $\alpha_i/\alpha_j$, $i\ne j$, are a complete set of conjugates, exactly two of which ($\alpha_2/\alpha_3$ and $\alpha_3/\alpha_2$) lie on the unit circle. </p> http://mathoverflow.net/questions/38680/can-an-algebraic-number-on-the-unit-circle-have-a-conjugate-with-absolute-value-d/38750#38750 Answer by David Speyer for Can an algebraic number on the unit circle have a conjugate with absolute value different from 1? David Speyer 2010-09-15T00:09:45Z 2010-09-15T00:19:48Z <p>One more comment on this frequently answered question: Let $a_0 x^{2n} + a_1 x^{2n-1} + \cdots + a_{n} x^{n} + \cdots a_1 x + a_0$ be a palindromic polynomial with real coefficients and $2k$ isolated roots on the unit circle. Then any sufficiently small perturbation of this polynomial to another real palindromic polynomial also has $2k$ roots on the unit circle.</p> <p><strong>Proof:</strong> Notice that $e^{\pm i \theta}$ is a root of this polynomial if and only if $a_0 \cos (n \theta) + a_1 \cos ((n-1) \theta) + \cdots + a_{n/2-1} \cos \theta + a_0/2=0$. Write $f(\theta)$ for the right hand side of this equation. Our hypothesis is that $f$ has $k$ isolated roots, $\theta_1$, $\theta_2$, ..., $\theta_k$. Then we can find $\epsilon>0$ and disjoint intervals $(a_i, b_i)$ around each $\theta_i$ such that (1) We have $f((a_i, b_i)) \supseteq (-\epsilon, \epsilon)$. (2) On $(a_i, b_i)$, we have $|f'|&lt;\epsilon$ (3) Off of the $(a_i, b_i)$, we have $|f|>\epsilon/2$.</p> <p>Then, if our perturbation is small enough that $f$ and $f'$ change by less than $\epsilon/4$ everywhere, then the perturbed $f$ still has one root in each $(a_i, b_i)$, and no roots elsewhere. QED</p> <p>Why do I point this out? Take any of the above examples and perturb its coefficients slightly, while keeping them rational and palindromic. Then you get another example! This observation destroys most attempts to classify such polynomials by number theoretic criteria.</p>