In mathematics, a Salem number is a real algebraic integer α > 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 and harmonic analysis. They are named after Raphaël Salem.
Because it has a root of absolute value 1, the minimal polynomial for a Salem number must be reciprocal. 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 in the ring of algebraic integers, being of norm 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
Lehmer's polynomial is a factor of the shorter 12th-degree polynomial,
all twelve roots of which satisfy the relation
Salem numbers can be constructed from Pisot–Vijayaraghavan numbers. To recall, the smallest of the latter is the unique real root of the cubic polynomial,
known as the plastic number 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, 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,
so as n goes higher, x will approach the solution of x3 − 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 x4 − x3 − 1 = 0.
- Borwein (2002) p.16
- D. Bailey and D. Broadhurst, A Seventeenth Order Polylogarithm Ladder
- Borwein, Peter (2002). Computational Excursions in Analysis and Number Theory. CMS Books in Mathematics. Springer-Verlag. ISBN 0-387-95444-9. Zbl 1020.12001. Chap. 3.
- Boyd, David (2001), "Salem number", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- M.J. Mossinghoff. "Small Salem numbers". Retrieved 2016-01-07.
- Salem, R. (1963). Algebraic numbers and Fourier analysis. Heath mathematical monographs. Boston, MA: D. C. Heath and Company. Zbl 0126.07802.