
In
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) (201 ...
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 coefficien ...
''α'' > 1 whose
conjugate roots all have
absolute value 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 ...
and
harmonic analysis
Harmonic analysis is a branch of mathematics concerned with the representation of functions or signals as the superposition of basic waves, and the study of and generalization of the notions of Fourier series and Fourier transforms (i.e. an e ...
. 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 set ...
.
Properties
Because it has a root of
absolute value 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 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'' (a ...
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 coefficien ...
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 (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 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 ...
)
:
which is about ''x'' = 1.17628: it is conjectured that it is indeed the smallest Salem number, and the smallest possible
Mahler measure of an irreducible non-cyclotomic polynomial.
Lehmer's polynomial is a factor of the shorter 12th-degree polynomial,
:
all twelve roots of which satisfy the relation
[D. Bailey and D. Broadhurst]
A Seventeenth Order Polylogarithm Ladder
/ref>
:
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 Ax ...
s. To recall, the smallest of the latter is the unique real root of the cubic polynomial,
:
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 cubi ...
'' 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,
:
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,
:
then for ''n'' = 8, this factors as,
:
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 cubi ...
. This can be better understood by taking ''n''th roots of both sides,
:
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,
:
which for ''n'' = 7 factors as,
:
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