Salem Number
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a Salem number is a
real Real may refer to: Currencies * Brazilian real (R$) * Central American Republic real * Mexican real * Portuguese real * Spanish real * Spanish colonial real Music Albums * ''Real'' (L'Arc-en-Ciel album) (2000) * ''Real'' (Bright album) (2010) ...
algebraic integer In algebraic number theory, an algebraic integer is a complex number which is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficients ...
''α'' > 1 whose conjugate roots all have
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), an ...
no greater than 1, and at least one of which has absolute value exactly 1. Salem numbers are of interest in
Diophantine approximation In number theory, the study of Diophantine approximation deals with the approximation of real numbers by rational numbers. It is named after Diophantus of Alexandria. The first problem was to know how well a real number can be approximated by r ...
and
harmonic analysis Harmonic analysis is a branch of mathematics concerned with the representation of Function (mathematics), functions or signals as the Superposition principle, superposition of basic waves, and the study of and generalization of the notions of Fo ...
. They are named after
Raphaël Salem Raphaël Salem (Greek: Ραφαέλ Σαλέμ; November 7, 1898 in Salonika, Ottoman Empire (now Thessaloniki, Greece) – June 20, 1963 in Paris, France) was a Greek mathematician after whom are named the Salem numbers and Salem–Spencer sets ...
.


Properties

Because it has a root of
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), an ...
1, the minimal polynomial for a Salem number must be
reciprocal Reciprocal may refer to: In mathematics * Multiplicative inverse, in mathematics, the number 1/''x'', which multiplied by ''x'' gives the product 1, also known as a ''reciprocal'' * Reciprocal polynomial, a polynomial obtained from another pol ...
. This implies that 1/''α'' is also a root, and that all other roots have
absolute value In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), an ...
exactly one. As a consequence α must be a
unit Unit may refer to: Arts and entertainment * UNIT, a fictional military organization in the science fiction television series ''Doctor Who'' * Unit of action, a discrete piece of action (or beat) in a theatrical presentation Music * ''Unit'' (alb ...
in the ring of
algebraic integer In algebraic number theory, an algebraic integer is a complex number which is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficients ...
s, being of
norm Naturally occurring radioactive materials (NORM) and technologically enhanced naturally occurring radioactive materials (TENORM) consist of materials, usually industrial wastes or by-products enriched with radioactive elements found in the envir ...
 1. Every Salem number is a
Perron number In mathematics, a Perron number is an algebraic integer α which is real and exceeds 1, but such that its conjugate elements are all less than α in absolute value. For example, the larger of the two roots of the irreducible polynomial x^ -3x + 1 ...
(a real algebraic number greater than one all of whose conjugates have smaller absolute value).


Relation with Pisot–Vijayaraghavan numbers

The smallest known Salem number is the largest
real root In mathematics, a zero (also sometimes called a root) of a real-, complex-, or generally vector-valued function f, is a member x of the domain of f such that f(x) ''vanishes'' at x; that is, the function f attains the value of 0 at x, or equ ...
of Lehmer's polynomial (named after
Derrick Henry Lehmer Derrick Henry "Dick" Lehmer (February 23, 1905 – May 22, 1991), almost always cited as D.H. Lehmer, was an American mathematician significant to the development of computational number theory. Lehmer refined Édouard Lucas' work in the 1930s and ...
) :P(x) = x^ + x^9 -x^7 -x^6 -x^5 -x^4 -x^3 +x +1, which is about ''x'' = 1.17628: it is conjectured that it is indeed the smallest Salem number, and the smallest possible
Mahler measure In mathematics, the Mahler measure M(p) of a polynomial p(z) with complex coefficients is defined as M(p) = , a, \prod_ , \alpha_i, = , a, \prod_^n \max\, where p(z) factorizes over the complex numbers \mathbb as p(z) = a(z-\alpha_1)(z-\alph ...
of an irreducible non-cyclotomic polynomial. Lehmer's polynomial is a factor of the shorter 12th-degree polynomial, :Q(x) = x^ - x^7 - x^6 - x^5 + 1, all twelve roots of which satisfy the relationD. Bailey and D. Broadhurst
A Seventeenth Order Polylogarithm Ladder
/ref> :x^-1 = \frac Salem numbers can be constructed from
Pisot–Vijayaraghavan number In mathematics, a Pisot–Vijayaraghavan number, also called simply a Pisot number or a PV number, is a real algebraic integer greater than 1, all of whose Galois conjugates are less than 1 in absolute value. These numbers were discovered by Axel ...
s. To recall, the smallest of the latter is the unique real root of the cubic polynomial, : x^3 - x - 1, known as the ''
plastic number In mathematics, the plastic number (also known as the plastic constant, the plastic ratio, the minimal Pisot number, the platin number, Siegel's number or, in French, ) is a mathematical constant which is the unique real solution of the cubic ...
'' and approximately equal to 1.324718. This can be used to generate a family of Salem numbers including the smallest one found so far. The general approach is to take the minimal polynomial ''P''(''x'') of a Pisot–Vijayaraghavan number and its
reciprocal polynomial In algebra, given a polynomial :p(x) = a_0 + a_1x + a_2x^2 + \cdots + a_nx^n, with coefficients from an arbitrary field, its reciprocal polynomial or reflected polynomial,* denoted by or , is the polynomial :p^*(x) = a_n + a_x + \cdots + a_0x^n = ...
, ''P''*(''x''), and solve the equation, :x^n P(x) = \pm P^(x) \, for integral ''n'' above a bound. Subtracting one side from the other, factoring, and disregarding trivial factors will then yield the minimal polynomial of certain Salem numbers. For example, using the negative case of the above, :x^n(x^3-x-1) = -(x^3+x^2-1) then for ''n'' = 8, this factors as, :(x-1)(x^ + x^9 -x^7 -x^6 -x^5 -x^4 -x^3 +x +1) = 0 where the decic is Lehmer's polynomial. Using higher ''n'' will yield a family with a root approaching the
plastic number In mathematics, the plastic number (also known as the plastic constant, the plastic ratio, the minimal Pisot number, the platin number, Siegel's number or, in French, ) is a mathematical constant which is the unique real solution of the cubic ...
. This can be better understood by taking ''n''th roots of both sides, :x(x^3-x-1)^ = \pm (x^3+x^2-1)^ so as ''n'' goes higher, ''x'' will approach the solution of ''x''3 − ''x'' − 1 = 0. If the positive case is used, then ''x'' approaches the plastic number from the opposite direction. Using the minimal polynomial of the next smallest Pisot–Vijayaraghavan number gives, : x^n (x^4-x^3-1) = -(x^4+x-1) which for ''n'' = 7 factors as, :(x-1)(x^ -x^6 -x^5 -x^4 +1) = 0 a decic not generated in the previous and has the root ''x'' = 1.216391... which is the 5th smallest known Salem number. As ''n'' → infinity, this family in turn tends towards the larger real root of ''x''4 − ''x''3 − 1 = 0.


References

* Chap. 3. * * * {{DEFAULTSORT:Salem Number Algebraic numbers