/negationslash

## SURVEY ARTICLE: SEVENTY YEARS OF SALEM NUMBERS

## CHRIS SMYTH

Abstract. I survey results about, and recent applications of, Salem numbers.

## 1. Introduction

In this article I state and prove some basic results about Salem numbers, and then survey some of the literature about them. My intention is to complement other general treatises on these numbers, rather than to repeat their coverage. This applies particularly to the work of Bertin and her coauthors [9, 12, 14] and to the application-rich Salem number survey of Ghate and Hironaka [45]. I have, however, quoted some fundamental results from Salem's classical monograph [101].

Recall that a complex number is an algebraic integer if it is the zero of a polynomial with integer coefficients and leading coefficient 1. Then its (Galois) conjugates are the zeros of its minimal polynomial , which is the lowest degree polynomial of that type that it satisfies. This degree is the degree of the algebraic integer.

A Salem number is a real algebraic integer τ &gt; 1 of degree at least 4, conjugate to τ -1 , all of whose conjugates, excluding τ and τ -1 , have modulus 1. Then τ + τ -1 is a real algebraic integer &gt; 2, all of whose conjugates = τ + τ -1 lie in the real interval ( -2 2). Such numbers are easy to find: an , example is τ + τ -1 = 1 2 (3+ √ 5), giving ( τ + τ -1 -3 2 ) 2 = 5 4 , so that τ 4 -3 τ 3 + 3 τ 2 -3 τ +1 = 0 and τ = 2 1537 . . . . . We note that this polynomial is a socalled (self)-reciprocal polynomial: it satisfies the equation z deg P P z ( -1 ) = P z ( ). This means that its coefficients form a palindromic sequence: they read the same backwards as forwards. This holds for the minimal polynomial of every Salem number. It is simply a consequence of τ and τ -1 having the same minimal polynomial. Salem numbers are named after Rapha¨ el Salem, who, in 1945, first defined and studied them [100, Section 6].

2010 Mathematics Subject Classification. Primary 11R06.

Key words and phrases. Salem number.

Salem numbers are usually defined in an apparently more general way, as in the following lemma. It shows that this apparent greater generality is illusory.

/negationslash

Lemma 1 (Salem [101, p.26]) . Suppose that τ &gt; 1 is a real algebraic integer, all of whose conjugates = τ lie in the closed unit disc | z | ≤ 1 , with at least one on its boundary | z | = 1 . Then τ is a Salem number (as defined above).

↦

Proof. Taking τ ′ to be a conjugate of τ on | z | = 1, we have that τ ′ = τ ′-1 is also a conjugate τ ′′ say, so that τ ′-1 = τ ′′ . For any other conjugate τ 1 of τ we can apply a Galois automorphism mapping τ ′′ → τ 1 to deduce that τ 1 = τ -1 2 for some conjugate τ 2 of τ . Hence the conjugates of τ occur in pairs τ , τ ′ ′-1 . Since τ itself is the only conjugate in | z | &gt; 1, it follows that τ -1 is the only conjugate in | z | &lt; 1, and so all conjugates of τ apart from τ and τ -1 in fact lie on | z | = 1. /square

It is known that an algebraic integer lying with all its conjugates on the unit circle must be a root of unity (Kronecker [62]). So in some sense Salem numbers are the algebraic integers that are 'the nearest things to roots of unity'. And, like roots of unity, the set of all Salem numbers is closed under taking powers.

Lemma 2 (Salem [100, p.169]) . If τ is a Salem number of degree d , then so is τ n for all n ∈ N .

/negationslash

Proof. If τ is conjugate to τ ′ then τ n is conjugate to τ ′ n . So τ n will be a Salem number of degree d unless some of its conjugates coincide: say τ n 1 = τ n 2 with τ 1 = τ 2 . But then, by applying a Galois automorphism mapping τ 1 → τ , we would have τ n = τ n 3 say, where τ 3 = τ is a conjugate of τ , giving | τ n | &gt; 1 while | τ n 3 | ≤ 1, a contradiction. /square

↦

/negationslash

Which number fields contain Salem numbers? Of course one can simply choose a list of Salem numbers τ, τ ′ , τ ′′ , . . . say, and then the number field Q ( τ, τ ′ , τ ′′ , . . . ) certainly contains τ, τ ′ , τ ′′ , . . . . However, if one is interested only in finding all Salem numbers in a field Q ( τ ) for τ a given Salem number, we can be much more specific.

/negationslash

Proposition 3 (Salem [100, p.169]) . (i) A number field K is of the form Q ( τ ) for some Salem number τ if and only if K has a totally real subfield Q ( α ) of index 2 , and K = Q ( τ ) with τ + τ -1 = α , where α &gt; 2 is an irrational algebraic integer, all of whose conjugates = α lie in ( -2 2) , .

- (ii) Suppose that τ and τ ′ are Salem numbers with τ ′ ∈ Q ( τ ) . Then Q ( τ ′ ) = Q ( τ ) and, if τ ′ &gt; τ , then τ /τ ′ is also a Salem number in Q ( τ ) .
- (iii) If K = Q ( τ ) for some Salem number τ , then there is a Salem number τ 1 ∈ K such that the set of Salem numbers in K consists of the powers of τ 1 .
- Proof. (i) Suppose that K = Q ( τ ) for some Salem number τ . Then, defining α = τ + τ -1 , every conjugate α ′ of α is of the form α 1 = τ 1 + τ -1 1 , where τ 1 , a conjugaste of τ , either is one of τ ± 1 or has modulus 1. Hence α 1 is real, and so α is totally real with α &gt; 2 and all other conjugates of α in ( -2 2). Also, because , Q ( α ) is a proper subfield of Q ( τ ) and τ 2 -ατ +1 = 0 we have [ Q ( τ ) : Q ( α )] = 2.

/negationslash

Conversely, suppose that K has a totally real subfield Q ( α ) of index 2, and K = Q ( τ ), where α &gt; 2 is an irrational algebraic integer, all of whose conjugates = α lie in ( -2 2), and , τ + τ -1 = α . Then for every conjugate τ 1 of τ we have τ 1 + τ -1 1 = α 1 for some conjugate α 1 of α , and for every conjugate α 1 of α we have τ 1 + τ -1 1 = α 1 for some conjugate τ 1 of τ . If α 1 = α then τ 1 = τ ± 1 . Otherwise, α 1 ∈ ( -2 2) and so , | τ 1 | = 1. Furthermore, as α is irrational it does indeed have a conjugate α 1 ∈ -( 2 2) for which the corresponding , τ 1 has modulus 1. Hence τ is a Salem number.

- (ii) By (i) we can write τ ′ as τ ′ = p α ( ) + τq α ( ), where p z , q ( ) ( z ) ∈ Q [ z ] and α = τ + τ -1 . If τ ′ had lower degree than τ , say [ Q ( τ ) : Q ( τ ′ )] = k &gt; 1 then, for the d = [ Q ( τ ) : Q ] conjugates τ i of τ , k of the values p τ ( i + τ -1 i ) + τ q i ( τ i + τ -1 i ) would equal τ ′ and another k of them would equal τ ′ -1 . In particular, p τ ( i + τ -1 i ) + τ q i ( τ i + τ -1 i ) would be real for some nonreal τ i , giving q τ ( i + τ -1 i ) = 0 and hence, on applying a suitable automorphism, that q α ( ) = 0. Thus we would have τ ′ = p α ( ), a contradiction, since p α ( ) is totally real. So k = 1 and Q ( τ ′ ) = Q ( τ ).

↦

Since τ ′ ∈ Q ( τ ), it is a polynomial in τ . Therefore any Galois automorphism taking τ → τ -1 will map τ ′ to a real conjugate of τ ′ , namely τ ′± 1 . But it cannot map τ ′ to itself for then, as τ is also a polynomial in τ ′ , τ would be mapped to itself, a contradiction. So τ ′ is mapped to τ ′-1 by this automorphism. Hence τ τ ′ -1 is conjugate to its reciprocal. So the conjugates of τ τ ′ -1 occur in pairs x, x -1 . Again, because τ ′ is a polynomial in τ , any automorphism fixing τ

will also fix τ ′ , and so fix τ τ ′ -1 . Likewise, any automorphism fixing τ ′ will also fix τ .

Next consider any conjugate of τ τ ′ -1 in | z | &gt; 1. It will be of the form τ τ ′ 1 -1 1 , where τ ′ 1 is a conjugate of τ ′ and τ 1 is a conjugate of τ . For this to lie in | z | &gt; 1, we must either have | τ ′ 1 | &gt; 1 or | τ 1 | &lt; 1, i.e., τ ′ 1 = τ ′ or τ 1 = τ -1 . But in the first case, as we have seen, τ 1 = τ , so that τ τ ′ 1 -1 1 = τ τ ′ -1 , while in the second case τ ′ 1 = τ ′-1 , giving τ τ ′ 1 -1 1 = ττ ′-1 &lt; 1. Hence τ τ ′ -1 itself is the only conjugate of τ τ ′ -1 in | z | &gt; 1. It follows that all conjugates of τ τ ′ -1 apart from ( τ τ ′ -1 ) ± 1 must lie on | z | = 1, making τ τ ′ -1 a Salem number.

- (iii) Consider the set of all Salem numbers in K = Q ( τ ). Now the number of Salem numbers &lt; τ in K is clearly finite, as there are only finitely many possibilities for the minimal polynomials of such numbers. Hence there is a smallest such number, τ 1 say. For any Salem number, τ ′ say, in K we can choose a positive integer r such that τ r 1 ≤ τ ′ &lt; τ r +1 1 . But if τ r 1 &lt; τ ′ then, by (ii) and Lemma 2, τ τ ′ -r 1 would be another Salem number in K which, moreover, would be less than τ 1 , a contradiction. Hence τ ′ = τ r 1 .

/square

The statements (ii) and (iii) above in fact represent a slight strengthening of Salem's results, as they do not assume that all Salem numbers in K have degree [ K : Q ].

We now show that the powers of Salem numbers have an unusual property.

Proposition 4 (Essentially Salem [100], reproduced in [101]) . For every Salem number τ and every ε &gt; 0 there is a real number λ &gt; 0 such that the distance ‖ λτ n ‖ of λτ n to the nearest integer is less than ε for all n ∈ N .

The result's first explicit appearance seems to be in Boyd [17], who credits Salem. A proof comes from an easy modification the proof in [100, pp 164-166].

Proof. We consider the standard embedding of the algebraic integers Z ( τ ) as a lattice in R d defined for k = 0 1 , , . . . , d -1 by the map

$$\tau ^ { k } & \mapsto ( \tau ^ { k }, \tau ^ { - k }, \text{Re} \, \tau ^ { k } _ { 2 }, \text{Im} \, \tau ^ { k } _ { 2 }, \text{Re} \, \tau ^ { k } _ { 3 }, \text{Im} \, \tau ^ { k } _ { 3 }, \dots, \text{Re} \, \tau ^ { k } _ { d / 2 }, \text{Im} \, \tau ^ { k } _ { d / 2 } ), \\ \cdot \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots$$

↦

where τ ± 1 , τ ± 1 j ( j = 2 , . . . , d/ 2) are the conjugates of τ . As this is a lattice of full dimension d , we know that for every ε ′ &gt; 0 there are lattice points in the 'slice' { ( x , . . . , x 1 n ) ∈ R n : | x i | &lt; ε ′ ( i = 2 , . . . , d ) } . Such a lattice

point corresponds to an element λ τ ( ) of Z ( τ ) with conjugates λ i satisfying | λ i | &lt; √ 2 ε ′ ( i = 2 , . . . , d ).

Next, consider the sums

$$\sigma _ { n } = \lambda ( \tau ) \tau ^ { n } + \lambda ( \tau ^ { - 1 } ) \tau ^ { - n } + \lambda ( \tau _ { 2 } ) \tau _ { 2 } ^ { n } + \lambda ( \tau _ { 2 } ^ { - 1 } ) \tau _ { 2 } ^ { - n } + \dots \lambda ( \tau _ { d / 2 } ) \tau _ { d / 2 } ^ { n } + \lambda ( \tau _ { d / 2 } ^ { - 1 } ) \tau _ { d / 2 } ^ { - n },$$

where λ x ( ) ∈ Z [ x ]. Since σ n is a symmetric function of the conjugates of τ it is rational. As it is an algebraic integer, it is in fact Since all terms λ τ ( -1 ) τ -n , λ τ ( 2 ) τ n 2 , λ τ ( -1 2 ) τ -n 2 , . . . , λ τ ( d/ 2 ) τ n d/ 2 , λ τ ( -1 d/ 2 ) τ -n d/ 2 are &lt; √ 2 ε ′ in modulus, we see that d/ 2 d/ 2 , , a rational integer.

$$\ e u u \sigma, \ w \prec \sigma \infty \ e u u \sigma \\ | \sigma _ { n } - \lambda ( \tau ) \tau ^ { n } | & < ( d - 1 ) \sqrt { 2 } \varepsilon ^ { \prime }. \\ \ e u u \sigma \infty \sqrt { \varepsilon } \infty \quad \ e u u \sigma \infty \ e u u \sigma \end{pmatrix}$$

Hence, choosing ε ′ = ε/ (( d -1) √ 2), we have ‖ λτ n ‖ ≤ | σ n -λ τ ( ) τ n | &lt; ε . /square

In fact, this property essentially characterises Salem (and Pisot) numbers among all real numbers. Recall that a Pisot number is an algebraic integer greater than 1 all of whose conjugates, excluding itself, all lie in the open unit disc | z | &lt; 1. Pisot [95] proved that if λ and τ are real numbers such that

$$\left ( \begin{array} { c } 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1
 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\
 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1\\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 | \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 2 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 3 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 6 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 4 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 5 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 9 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 8 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 7 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ & 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1</ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1'); 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1$$

for all integers n ≥ 0 then τ is either a Salem number or a Pisot number and λ ∈ Q ( τ ). The denominator in this result was later improved by Cantor [31] to 2 eτ ( τ +1)(2+ √ log λ ), and then by Decomps-Guilloux and GrandetHugot [33] to e τ ( +1) (2 + 2 √ log λ ). However, Vijayaraghavan [117] proved that for each ε &gt; 0 there are uncountably many real numbers α &gt; 1 such that ‖ α n ‖ &lt; ε for all n ≥ 0. To be compatible with (1), it is clear that such α that are not Pisot or Salem numbers must be large (depending on ε ). Specifically, if α &gt; (2 eε ) -1 2 / then there is no contradiction to (1). Furthermore, Boyd [17] proved that if the bound B in (1) is replaced by 10 B then τ can be transcendental.

For more results concerning the distribution of the fractional parts of λτ n for τ a Salem number, see Dubickas [36], Za¨ ımi [118, 119, 120], and Bugeaud's monograph [29, Section 2.4].

## 2. A smallest Salem number?

Define the polynomial L z ( ) by

$$L ( z ) & = z ^ { 1 0 } + z ^ { 9 } - z ^ { 7 } - z ^ { 6 } - z ^ { 5 } - z ^ { 4 } - z ^ { 3 } + z + 1. \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon$$

This is the minimal polynomial of the Salem number τ 10 = 1 176 . . . . , discovered by D. H. Lehmer [63] in 1933 (i.e., before Salem numbers had been defined!). Curiously, the polynomial L ( -z ) had appeared a year earlier in

Reidemeister's book [96] as the Alexander polynomial of the ( -2 3 7) pret-, , zel knot. Lehmer's paper seems to be the first where what is now called the Mahler measure of a polynomial appears: the Mahler measure M P ( ) of a monic one-variable polynomial P is the product ∏ i max(1 , | α i | ) over the roots α i of the polynomial. For a survey of Mahler measure see [112]; for its multivariable generalisation, see Boyd [21] and Bertin and Lal´ ın [13].

Lehmer also asked whether the Mahler measure of any nonzero noncyclotomic irreducible polynomial with integer coefficients is bounded below by some constant c &gt; 1. This is now commonly referred to as 'Lehmer's problem' or (inaccurately) as 'Lehmer's conjecture' - see [112]. If indeed there were such a bound, then certainly Salem numbers would be bounded away from 1, but this would not immediately imply that there is a smallest Salem number (but see the end of Section 3.1). However, the 'strong version' of 'Lehmer's conjecture' states that one can take c = τ 10 , implying that there is indeed a smallest Salem number, namely τ 10 . A consequence of this strong version is the following.

Conjecture 5. Suppose that d ∈ N and α , α , . . . , α 1 2 d are real numbers with α 1 ∈ (2 , τ 10 + τ -1 10 ) and α , α , . . . , α 2 3 d ∈ -( 2 2) , . Then ∏ d i =1 ( x + α i ) ∈ Z [ x ] .

/negationslash

(Note that τ 10 + τ -1 10 = 2 026 . . . . .) For if there were α , α , . . . , α 1 2 d in the intervals stated with ∏ d i =1 ( x + α i ) ∈ Z [ x ], then the algebraic integer τ &gt; 1 defined by τ + τ -1 = α 1 would be a Salem number less than τ 10 .

## 3. Construction of Salem numbers

3.1. Salem's method. Salem [101, Theorem IV, p.30] found a simple way to construct infinite sequences of Salem numbers from Pisot numbers. Now if P z ( ) is the minimal polynomial of a Pisot number, then, except possibly for some small values of n , the polynomials S n,P, ± 1 ( z ) = z n P z ( ) ± z deg P P z ( -1 ) factor as the minimal polynomial of a Salem number, possibly multiplied by some cyclotomic polynomials. In particular, for P z ( ) = z 3 -z -1, the minimal polynomial of the smallest Pisot number, S 8 ,P, -1 = ( z -1) L z ( ). Salem's construction shows that every Pisot number is the limit on both sides of a sequence of Salem numbers. (The construction has to be modified slightly when P is reciprocal; this occurs only for certain P of degree 2.)

Boyd [18] proved that all Salem numbers could be produced by Salem's construction, in fact with n = 1. It turns out that many different Pisot numbers can be used to produce the same Salem number. These Pisot numbers can be much larger than the Salem number they produce. In particular, on taking P z ( ) = z 3 -z -1 and ε = -1, the minimal polynomial of the

smallest Pisot number θ 0 = 1 3247 . . . . , Salem's method shows that there are infinitely many Salem numbers less than θ 0 . This fact motivates the next definition, due to Boyd.

Salem numbers less than 1 3 are called . small . A list of 39 such numbers was compiled by Boyd [18], with later additions of four each by Boyd [20] and Mossinghoff [86], making 47 in all - see [87]. (The starred entries in this list are the four Salem numbers found by Mossinghoff. They include one of degree 46.) Further, it was determined by Flammang, Grandcolas and Rhin [43] that the table was complete up to degree 40. This was extended up to degree 44 by Mossinghoff, Rhin and Wu [88] as part of a larger project to find small Mahler measures. Their result shows that if Conjecture 5 is false then any counterexample to that conjecture must have degree d ≥ 23.

In [22] Boyd showed how to find, for a given n ≥ 2, ε = ± 1 and real interval [ a, b ], all Salem numbers in that interval that are roots of S n,P,ε ( z ) = 0 for some Pisot number having minimal polynomial P z ( ). In particular, of the four new small Salem numbers that he found, two were discovered by this method. The other two he found in [22] are not of this form: they are roots only of some S 1 ,P,ε ( z ) = 0.

Boyd and Bertin [10, 11] investigated the properties of the polynomials S 1 ,P, ± 1 ( z ) in detail. For a related, but interestingly different, way of constructing Salem numbers, see Boyd and Parry [26].

Let T denote the set of all Salem numbers (Salem's notation). (It couldn't be called S , because that is used for the set of all Pisot numbers. The notation S here is in honour of Salem, however: Salem [98] had proved the magnificent result that the Pisot numbers form a closed subset of the real line.) Salem's construction shows that the derived set (set of limit points) of T contains S . Salem [101, p.31] wrote 'We do not know whether numbers of T have limit points other than S '. Boyd [18, p. 327] conjectured that there were no other such limit points, i.e., that the derived set of S ∪ T is S . (Not long before, he had conjectured [19] that S ∪ T is closed - a conjecture that left open the possibility that some numbers in T could be limit points of T .)

Salem's construction shows that every Pisot number is a limit from below of Salem numbers. So if the derived set of S ∪ T is indeed S , then any limit point of Salem numbers from above is also a limit point of Salem numbers from below. Hence Boyd's conjecture implies that there must be a smallest Salem number.

3.2. Salem numbers and matrices. One strategy that has been used to try to solve Lehmer's Problem is to attach some combinatorial object (knot, graph, matrix,. . . ) to an algebraic number (for example, to a Salem number). But it is not clear whether the object could throw light on the (e.g.) Salem number, or, on the contrary, that the Salem number could throw light on the object.

Typically, however, such attachment constructions seem to work only for a restricted class of algebraic numbers, and not in full generality. For example, McKee, Rowlinson, and Smyth considered star-like trees as the objects for attachment. this was extended by McKee and Smyth to more general graphs [73] and then to integer symmetric matrices [74, 75]. (These can be considered as generalisations of graphs: one can identify a graph with its adjacency matrix - an integer symmetric matrix having all entries 0 or 1, with only zeros on the diagonal.) The main tool for their work was the following classical result, which deserves to be better known.

Theorem 6 (Cauchy's Interlacing Theorem - for a proof see for instance [41]) . Let M be a real n × n symmetric matrix, and M ′ be the matrix obtained from M by removing the i th row and column. Then the eigenvalues λ , . . . , λ 1 n of M and the eigenvalues µ , . . . , µ 1 n -1 of M ′ interlace, i.e.,

$$\lambda _ { 1 } \leq \mu _ { 1 } \leq \lambda _ { 2 } \leq \mu _ { 2 } \leq \dots \leq \mu _ { n - 1 } \leq \lambda _ { n }.$$

We say that an n × n integer symmetric matrix M is cyclotomic if all its eigenvalues lie in the interval [ -2 2]. , It is so-called because then its associated reciprocal polynomial

$$P _ { M } ( z ) & = z ^ { n } \det \left ( ( z + z ^ { - 1 } ) I - M \right ) \\ \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \ \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \ & \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \ome }$$

has all its roots on | z | = 1 and so (Kronecker again) is a product of cyclotomic polynomials. Here I is the n × n identity matrix.

The cyclotomic graphs are very familiar.

Theorem 7 ( J.H. Smith [109]) . The connected cyclotomic graphs consist of the (not necessarily proper) induced subgraphs of the Coxeter graphs ˜ A n ( n ≥ 2) , ˜ D n ( n ≥ 4) , ˜ E 6 , ˜ E 7 , ˜ E 8 , as in Figure 1.

(These graphs also occur in the theory of Lie algebras, reflection groups, Lie groups, Tits geometries, surface singularities, subgroups of SU ( 2 C ) (McKay correspondence),. . . ).

McKee and Smyth [74] describe all the cyclotomic matrices, of which the cyclotomic graphs form a small subset. They prove in [75] that the strong version of Lehmer's conjecture is true for the set of polynomials P M :

Figure 1. The Coxeter graphs ˜ E , E , E , A 6 ˜ 7 ˜ 8 ˜ n ( n /greaterorequalslant 2) and ˜ D n ( n /greaterorequalslant 4). (The number of vertices is 1 more than the index.)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0195v3-figure-3a1c4f19-5c3d-4a57-9fa2-ce0b42a68a84.jpg)

namely, if M is not a cyclotomic matrix, then P M has Mahler measure at least τ 10 = 1 176 . . . . , the smallest known Salem number. In fact they show that the smallest three known Salem numbers are all Mahler measures of P M for some integer symmetric matrix M , while the fourth-smallest known Salem number is not.

Most constructions of families of Salem numbers produce a monic reciprocal integer polynomials having roots τ &gt; 1, 1 /τ &lt; 1 and all other roots on the unit circle. The final stage of the construction requires that each polynomial be expressed as a product of irreducible factors. Then, by Kronecker's Theorem [62], the irreducible factor having 1 /τ as a root must also have τ as a root, and any other factors must be cyclotomic polynomials. For τ to be a Salem number, the first-mentioned factor must also have a root of modulus 1. To determine its degree, it is usually necessary to determine the degrees of the cyclotomic factors. One method, used by Smyth [111] and McKee and Yatsyna [78] (see also Beukers and Smyth [15]), is to make use of the fact [111, Lemma 2.1] that every root of unity ω is conjugate to one of ω 2 , -ω 2 or -ω . A second method is to use results of Mann [70] on sums of roots of unity. This method was used by Gross, Hironaka and McMullen [46] for polynomials coming from modified Coxeter diagrams, and by Brunotte and Thuswaldner [27] for polynomials coming from star-like trees.

For other construction methods for Salem numbers see Lakatos [63, 64, 65] and also [71, 72, 73, 76, 77, 110, 111]. In particular, in [63, 65] Lakatos shows that Salem numbers arise as the spectral radius of Coxeter transformations of certain oriented graphs containing no oriented cycles.

3.3. Traces of Salem numbers. McMullen [80, p.230] asked whether there are any Salem numbers of trace less than -1. McKee and Smyth [71, 72] found examples of Salem numbers of trace -2, and indeed showed that there are Salem numbers of every trace. It is known [111] that the smallest degree of a Salem number of trace -1 is 8, and there are Salem

numbers of trace -1 for every even degree at least 8. Recently McKee and Yatsyna [78] have shown that there are Salem numbers of trace -2 for every even degree at least 38.

If τ has degree d ≥ 10 then its trace is known to be at least at least /floorleft 1 -d/ 9 /floorright - see [72]. Conversely, Salem numbers having trace -T ≤ -2 must have degree d ≥ /floorleft 2 1 + 9 2 T /floorright (corrected from [72, p. 35]). For -T = -2 this bound is attained, it having been shown in [71] that there are two Salem numbers of trace -2 and degree 20. For a summary of the status of even degrees 20 &lt; d &lt; 38 for which there are known to be or not to be Salem numbers of degree d and trace -2, see [78, Section 3].

All of these lower bounds for the degree of a Salem number of given negative trace make use of the fact that, for a Salem number τ , the number τ +1 /τ +2 is a totally positive algebraic integer. Thus known lower bounds of the type trace( α ) &gt; λd ′ for totally positive algebraic integers α of degree d ′ ≥ 5 can be used. Specifically, one readily deduces that, from such an inequality, a Salem number of degree d ≥ 10 has trace at least /floorleft 1 -(1 -λ/ 2) d /floorright , and a Salem number of trace -T ≤ -2 has degree at least 2 /floorleft T 2 -λ /floorright + 2. (The results quoted above are for λ = 16 9.) /

For -T = -3 the above bound gives d ≥ 28, later improved by Flammang [42] to d ≥ 30. In the other direction El Omani, Rhin and Sac- ´ p´e E e [90] have recently found Salem number examples of trace -3 and degree 34. Their computations strongly suggest that 34 is in fact the smallest degree for Salem numbers of trace -3. Recently Liang and Wu [68] have shown that a Salem number of trace -4 must have degree at least 40, and a Salem number of trace -5 must have degree at least 50.

For an interesting survey of the trace problem for totally positive algebraic integers see Aguirre and Peral [1].

## 3.4. Distribution modulo 1 of the powers of a Salem number. Let

τ &gt; 1 be a Salem number of degree d . Salem [101, Theorem V, p.33] proved that although the powers τ n mod 1 of τ are everywhere dense on (0 1), , they are not uniformly distributed on this interval. In fact, the asymptotic distribution function of τ n mod 1 is that of a sum 2 ∑ d/ 2 -1 j =1 cos θ j , where the θ j are independent random variables uniformly distributed on [0 , π ]. In the simplest case, d = 4, a routine calculation shows that for x ∈ [0 , 1]

$$& \text{Prob} ( \tau ^ { n } \bmod 1 \leq x ) = \\ & \frac { 1 } { 2 } + \frac { \arcsin ( \frac { x + 1 } { 2 } ) + \arcsin ( \frac { x } { 2 } ) + \arcsin ( \frac { x - 1 } { 2 } ) + \arcsin ( \frac { x - 2 } { 2 } ) } { \pi }.$$

In particular, Prob(1 / 4 ≤ τ n mod 1 ≤ 3 / 4) = 0 4134038362, significantly . less than 1 / 2.

More generally, Akiyama and Tanigawa [3] gave a quantitative description of how far the sequence τ n mod 1 is from being uniformly distributed. They show, for τ a Salem number of degree 2 d ′ ≥ 8 and A N ( { τ n } , I ) being the number of n ≤ N for which the fractional part { τ N } lies in a subinterval I of [0 , 1], that lim N →∞ 1 N A N ( { τ n } , I ) exists and satisfies

$$\left | \lim _ { N \to \infty } \frac { 1 } { N } A _ { N } ( \{ \tau ^ { n } \}, I ) - | I | \right | \leq 2 \zeta \left ( \frac { 1 } { 2 } ( d ^ { \prime } - 1 ) \right ) ( 2 \pi ) ^ { 1 - d ^ { \prime } } | I |. \\ \intertext { t \dots } \left | \tau \right | \colon \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \cdots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau \right | \dots \right | \tau
}$$

Here | I | is the length of I . Note that this difference tends to 0 as d ′ →∞ , so that { τ n } is more nearly uniformly distributed mod 1 for τ of large degree. See also [34].

- 3.5. Sumsets of Salem numbers. Dubickas [35] shows that a sum of m ≥ 2 Salem numbers cannot be a Salem number, but that for every m ≥ 2 there are m Salem numbers whose sum is a Pisot number and also m Pisot numbers whose sum is a Salem number.
- 3.6. Galois group of Salem number fields. Lalande [66] and Christopoulos and McKee [32] studied the Galois group of a number field defined by a Salem number. Let τ be a Salem number of degree 2 n , K = Q ( τ ) and L be its Galois closure. Then it is known that G := Gal( L/ Q ) ≤ C n 2 /multicloseright S n . Conversely, if K is a real number field of degree 2 n &gt; 2 with exactly 2 real embeddings, and, for its Galois closure L , that G ≤ C n 2 /multicloseright S n , then Lalande proved that K is generated by a Salem number.

Now, for a Salem number τ , let K ′ = Q ( τ + τ -1 ), L ′ be its Galois closure and N ⊂ G be the fixing group of L ′ . Then Christopoulos and McKee showed that G is isomorphic to N /multicloseright Gal( L / ′ Q ), where N is isomorphic to either C n 2 or C n -1 2 . The latter case is possible only when n is odd.

Amoroso [4] found a lower bound, conditional on the Generalised Riemann Hypothesis, for the exponent of the class group of such number fields L .

- 3.7. The range of polynomials Z [ τ ] . P. Borwein and Hare [16] studied the 'spectrum' of values a 0 + a τ 1 + · · · + a τ n n when the a i ∈ {-1 1 , } , n ∈ N and τ is a Salem number. They showed that if τ was a Salem number defined by being the zero of a polynomial of the form z m -z m -1 -z m -2 -·· ·-z 2 -z +1 for some m ≥ 4 , then this spectrum is discrete. They also asked [16, Section 7]
- · Are these the only Salem numbers with this spectrum discrete?

- · Are the only τ where this spectrum is discrete and M τ ( ) &lt; 2 necessarily Salem numbers or Pisot numbers?

Feng [40] remarked that it follows from Garsia [44, Lemma 1.51] that, given a Salem number τ and m ∈ N there exists c &gt; 0 and k ∈ N (depending on τ and m ) such that for each n ∈ N there are no nonzero numbers ξ = ∑ n -1 i =0 a τ i i with a i ∈ Z , | a i | ≤ m and | ξ | &lt; c n k . He asks whether, conversely, if τ is any non-Pisot number in (1 , m + 1) with this property, then must τ necessarily be a Salem number?

Hare and Mossinghoff [49] show, given a Salem number τ &lt; 1 2 (1+ √ 5) of degree at most 20, that some sum of distinct powers of -τ is zero, so that -τ satisfies some Newman polynomial.

- 3.8. Other Salem number studies. Salem [100], [101, p. 35] proved that every Salem number is the quotient of two Pisot numbers.

For connections between small Salem numbers and exceptional units, see Silverman [108].

Dubickas and Smyth [37] showed that any line in C containing two nonreal conjugates of a Salem number cannot contain the Salem number itself.

Akiyama and Kwon [2] constructed Salem numbers satisfying polynomials whose coefficients are nearly constant.

For generalisations of Salem numbers, see Bertin [7, 8], Cantor [30], Kerada [59], Meyer [85], Samet [102], Schreiber [105] and Smyth [110]. Note the correction made to [102] in [110]. See also Section 4.1 below for 2-Salem numbers.

## 4. Salem numbers outside Number Theory

The survey of Ghate and Hironaka [45] contains many applications of Salem numbers, for the period up to 1999. Only a few of the applications they describe are briefly recalled here, in subsections 4.1, 4.2 and 4.3. Otherwise, I concentrate on developments since their paper appeared.

For some of these applications, the restriction that Salem numbers should have degree at least 4 can be dropped: the results also hold for reciprocal Pisot numbers, whose minimal polynomials are x 2 -ax +1 for a ∈ N , n ≥ 3. Some authors include these numbers in the definition of Salem numbers. Accordingly, I will allow these numbers to be (honorary!) Salem numbers in this section.

(Note, however, that for τ such a 'quadratic Salem number', the fractional parts of the sequence { τ n } n ∈ N tend to 1 as n →∞ , whereas for true Salem numbers this sequence is dense in (0 1), as stated , in Section 3.4.

Furthermore, neither Proposition 3(ii) nor (iii) would hold, since the proof of Lemma 3(ii) depends on a Salem number having a nonreal conjugate. Indeed, for the example Salem number τ = 2 1537 . . . . in the introduction, the field Q ( τ ) contains the Salem numbers τ n ( n = 1 2 , , . . . ), with τ the smallest Salem number in this field. However, Q ( τ ) also contains the 'quadratic Salem number' τ + τ -1 = 1 2 (3 + √ 5), which is not a power of τ .)

4.1. Growth of groups. For a group G with finite generating set S = S -1 , we define its growth series F G,S ( x ) = ∑ ∞ n =0 a x n n , where a n is the number of elements of G that can be represented as the product of n elements of S , but not by fewer. For certain such groups, F G,S ( x ) is known to be a rational function. Then expanding F G,S ( x ) out in partial fractions leads to a closed formula for the a n . See [45, Section 4] for a detailed description, including references. See also [5].

In particular, let G be a Coxeter group generated by reflections in d ≥ 3 geodesics in the upper half plane, forming a polygon with angles π/p i ( i = 1 2 , , . . . , d ), where ∑ i π/p i &lt; π . Taking S to be the set of these reflections, it is known (Cannon and Wagreich, Floyd and Plotnick, Parry) that then the denominator of F G,S ( x ) - call it ∆ p 1 ,p 2 ,...,p d ( x ) - is the minimal polynomial of a Salem number, τ say, possibly multiplied by some cyclotomic polynomials. Then the a n grow exponentially with growth rate lim n →∞ a n +1 /a n = τ . Hironaka [53] proved that among all such ∆ p 1 ,p 2 ,...,p d ( x ), the lowest growth rate was achieved for ∆ p 1 ,p 2 ,p 3 ( x ), which is Lehmer's polynomial L x ( ), with growth rate τ 10 = 1 176 . . . . .

/negationslash

To generalise a bit, define a real 2-Salem number to be an algebraic integer α &gt; 1 which has exactly one conjugate α ′ = α outside the closed unit disc, and at least one conjugate on the unit circle. Then all conjugates of α apart from α ± 1 and α ′ ± 1 have modulus 1. Zerht and Zerht-Liebensd¨rfer o [121] give examples of infinitely many cocompact Coxeter groups ('Coxeter Garlands') in H 4 with the property that their growth function has denominator

$$D _ { n } ( z ) & = p _ { n } ( z ) + n q _ { n } ( z ) \\ & = z ^ { 1 6 } - 2 z ^ { 1 5 } + z ^ { 1 4 } - z ^ { 1 3 } + z ^ { 1 2 } - z ^ { 1 0 } + 2 z ^ { 9 } - 2 z ^ { 8 } + 2 z ^ { 7 } - z ^ { 6 } + z ^ { 4 } - z ^ { 3 } + z ^ { 2 } - 2 z + 1 \\ & \quad + n z ( - 2 z ^ { 1 4 } + z ^ { 1 2 } + z ^ { 1 0 } + z ^ { 9 } + 2 z ^ { 7 } + z ^ { 5 } + z ^ { 4 } + z ^ { 2 } - 2 ),$$

which, if irreducible, would be the minimal polynomial of a 2-Salem number.

Umemoto [115] showed that D t 1 ( ) is irreducible , 1 and also produced infinitely many cocompact Coxeter groups whose growth rate is a 2-Salem number of degree 18. The growth rate in these examples is the larger of the two 2-Salem conjugates that are outside the unit circle. This is compatible with a conjecture of Kellerhals and Perren [58] that the growth rate of a Coxeter group acting on hyperbolic n -space should be a Perron number (an algebraic integer α whose conjugates different from α are all of modulus less than | α | .) This has been verified for n = 3 for so-called generalised simplex groups by Komori and Umemoto [61].

For some other recent papers on non-Salem growth rates see [56], [57], [60].

- 4.2. Alexander Polynomials. A result of Seifert tells us that a polynomial P ∈ Z [ x ] is the Alexander polynomial of some knot iff it is monic and reciprocal, and P (1) = ± 1. In particular, Hironaka [53] showed that ∆ p ,p 1 2 ,...,p d ( -x ) is the Alexander polynomial of the ( p , p 1 2 , . . . , p d , -1) pretzel knot. Hence, from the result of the previous section, we see that Alexander polynomials are sometimes Salem polynomials (albeit in -x ).

Indeed, Silver and Williams [107], in their study of Mahler measures of Alexander polynomials, found families of links whose Alexander polynomials had Mahler measure equal to a Salem number. The first family l ( q ) was obtained [107, Example 5.1] from the link 7 2 1 by giving q full righthanded twists to one of the components as it passed through the other component (the trivial knot). The Mahler measure of the Alexander polynomials of these links produced a decreasing sequence of Salem numbers for q = 1 2 , , . . . , 11. For q = 10 the Salem number 1.18836. . . (the secondsmallest known) was produced, with minimal polynomial

$$x ^ { 1 8 } - x ^ { 1 7 } + x ^ { 1 6 } - x ^ { 1 5 } - x ^ { 1 2 } + x ^ { 1 1 } - x ^ { 1 0 } + x ^ { 9 } - x ^ { 8 } + x ^ { 7 } - x ^ { 6 } - x ^ { 3 } + x ^ { 2 } - x + 1,$$

while q = 11 gave the Salem number M L x ( ( )) = 1 17628 . . . . . For q &gt; 11 Salem numbers were not produced. The second example was obtained in a similar way [107, Example 5.8], using the link formed from the knot 5 1 by an adding the trivial knot encircling two strands of the knot, and then giving these strands q full right-hand twists. For increasing q ≥ 3 this gave a monotonically increasing sequence of Salem numbers tending to the

1 In fact, one can show that D n ( z ) is irreducible for all n ≥ 1. A sketch is as follows: comparison with the table [87] shows that neither root of D n ( z ) in | z | &gt; 1 can be a Salem number. Then putting z = e it , the fact that e -8 it p n ( e it ) /q n ( e it ) is real and &gt; 0 for small t &gt; 0 shows that D n ( z ) has no cyclotomic factors. (Selberg [106, p. 705] remarks that he has always found a sketch of a proof much more informative than a complete proof.)

smallest Pisot number θ 0 = 1 3247 . . . . . These Salem numbers are equal to the Mahler measure M x ( 2( q +1) ( x 3 -x -1) + x 3 + x 2 -1). Furthermore, M x ( n ( x 3 -x -1) + x 3 + x 2 -1) is also a Salem number for n ≥ 9 and odd. Silver (private communication) has shown that these Salem numbers are also Mahler measures of Alexander polynomials: 'Putting an odd number of half-twists in the rightmost arm of the pretzel knot produces 2-component links rather than knots. Their Alexander polynomials have two variables. However, setting the two variables equal to each other produces the so-called 1-variable Alexander polynomials, and indeed the 'odd' sequence of Salem polynomials . . . results.'

- 4.3. Lengths of closed geodesics. It is known that there is a bijection between the set of Salem numbers and the set of closed geodesics on certain arithmetic hyperbolic surfaces. Specifically, the length of the geodesic is 2 log τ , where τ is the Salem number corresponding to the geodesic. Thus there is a smallest Salem number iff there is a geodesic of minimal length among all closed geodesics on all arithmetic hyperbolic surfaces. See Ghate and Hironaka [45, Section 3.4] and also Maclachlan and Reid [79, Section 12.3] for details.
- 4.4. Arithmetic Fuchsian groups. Neumann and Reid [89, Lemmas 4.9, 4.10] have shown that Salem numbers are precisely the spectral radii of hyperbolic elements of arithmetic Fuchsian groups. See also [45], [79, pp. 378-380] and [67, Theorem 9.7].

The following result is related.

Theorem 8 ( Sury [114] ) . The set of Salem numbers is bounded away from 1 iff there is some neighbourhood U of the identity in SL ( 2 R ) such that, for each arithmetic cocompact Fuchsian group Γ , the set Γ ∩ U consists only of elements of finite order.

A Fuchsian group is a subgroup Γ of PSL ( 2 R ) that acts discontinuously on the upper half-plane H (i.e., for z ∈ H no orbit Γ z has an accumulation point).

## 4.5. Dynamical systems.

- 4.5.1. For given β &gt; 1, define the map T β : [0 , 1] → [0 , 1) by T x β = { βx } , the fractional part of βx . Then from x = /floorleft βx /floorright β + T β x β we obtain the identity x = ∑ ∞ n =1 /floorleft βT n -1 β x /floorright β n , the (greedy) β -expansion of x [93].

Klaus Schmidt [103] showed that if the orbit of 1 is eventually periodic for all x ∈ Q ∩ [0 , 1) then β is a Salem or Pisot number. He also conjectured

that, conversely, for β a Salem number, the orbit of 1 is eventually periodic. This conjecture was proved by Boyd [23] to hold for Salem numbers of degree 4. However, using a heuristic model in [25], his results indicated that while Schmidt's conjecture was likely to also hold for Salem numbers of degree 6, it may be false for a positive proportion of Salem numbers of degree 8. As Boyd points out, the basic reason seems to be that, for β a Salem number of degree d , this orbit corresponds to a pseudorandom walk on a d -dimensional lattice. Under this model, but assuming true randomness, the probability of the walk intersecting itself is 1 for d ≤ 6, but is less than 1 for d &gt; 6. Recently, computational degree-8 evidence relating to Boyd's model was compiled by Hichri [51], [52].

Hare and Tweddle [50, Theorem 8] give examples of Pisot numbers for which the sequences of Salem numbers from Salem's construction that tend to the Pisot number from above have eventually periodic orbits. See also [24].

For a survey of β -expansions when β is a Pisot or Salem number, see [48]. See also Vaz, Martins Rodrigues, and Sousa Ramos [116].

- 4.5.2. Lindenstrauss and Schmidt [69, Theorem 6.3] showed that there exists 'a connection between two-sided beta-shifts of Salem numbers and the nonhyperbolic ergodic toral automorphisms defined by the companion matrices of their minimal polynomials. However, this connection is much more complicated and tenuous than in the Pisot case' - see [104] and [69, Theorem 6.1].
- 4.6. Surface automorphisms. A K3 surface is a simply-connected compact complex surface X with trivial canonical bundle. The intersection form on H 2 ( X, Z ) makes it into an even unimodular 22-dimensional lattice of signature (3 , 19); see [84, p.17]. Now let F : X → X be an automorphism of positive entropy of a K3 surface X . Then McMullen [80, Theorem 3.2] has proved that the spectral radius λ F ( ) (modulus of the largest eigenvalue) of F acting by pullback on this lattice is a Salem number. More specifically, the characteristic polynomial χ F ( ) of the induced map F ∗ | H 2 ( X, R ) → H 2 ( X, R ) is the minimal polynomial of a Salem number multiplied by k ≥ 0 cyclotomic polynomials. Since χ F ( ) has degree 22, the degree of λ F ( ) is at most 22. (If X is projective, X has Picard group of rank at most 20, and so λ F ( ) has degree at most 20.)

It is an interesting problem to describe which Salem numbers arise in this way. McMullen [80] found 10 Salem numbers of degree 22 and trace -1, also having some other properties, from which he was able to construct

from each of these Salem numbers a K3 surface automorphism having a Siegel disc. (These were the first known examples having Siegel discs.) Gross and McMullen [47] have shown that if the minimal polynomial S x ( ) of a Salem number of degree 22 has | S ( -1) | = | S (1) | = 1 (which they call the unramified case) then it is the characteristic polynomial of an automorphism of some (non-projective) K3 surface X . (If the entropy of F is 0 then this characteristic polynomial is simply a product of cyclotomic polynomials.) It is known (see [80, p.211] and references given there) that the topological entropy h F ( ) of F is equal to log λ F ( ), so is either 0 or the logarithm of a Salem number.

For each even d ≥ 2 let τ d be the smallest Salem number of degree d . McMullen [82, Theorem 1.2] has proved that if F : X → X is an automorphism of any compact complex surface X with positive entropy, then h F ( ) ≥ log τ 10 = log(1 176 . . . . ) = 0 162 . . . . . Bedford and Kim [6] have shown that this lower bound is realised by a particular rational surface automorphism. McMullen [83] showed that it was realised for a non-projective K3 surface automorphism, and later [84] that it was realised for a projective K3 surface automorphism. He showed that the value log τ d was realised for a projective K3 surface automorphism for d = 2 4 6 8 10 or 18, but not for , , , , d = 14, 16, or 20. (The case d = 12 is currently undecided.)

Oguiso [92] remarked that, as for K3 surfaces (see above), the characteristic polynomial of an automorphism of arbitrary compact K¨hler surface is a also the minimal polynomial of a Salem number multiplied by k ≥ 0 cyclotomic polynomials. This is because McMullen's proof for K3 surfaces in [80] is readily generalised. In another paper [91] he proved that this result also held for automorphisms of hyper-K¨hler manifolds. Oguiso [92] also cona structed an automorphism F of a (projective) K3 surface with λ F ( ) = τ 14 . Here the K3 surface was projective, contained an E 8 configuration of rational curves, and the automorphism also had a Siegel disc.

Reschke [97] studied the automorphisms of two-dimensional complex tori. He showed that the entropy of such an automorphism, if positive, must be a Salem number of degree at most 6, and gave necessary and sufficient conditions for such a Salem number to arise in this way.

/negationslash

- 4.7. Salem numbers and Coxeter systems. Consider a Coxeter system ( W,S ), consisting of a multiplicative group W generated by a finite set S = { s , . . . , s 1 n } , with relations ( s s i j ) m ij = 1 for each i, j, where m ii = 1 and m ij ≥ 2 for i = . The j s i act as reflections on R n . For any w ∈ W let λ w ( ) denote its spectral radius. This is the modulus of the largest eigenvalue of its

action on R n . Then McMullen [81, Theorem 1.1] shows that when λ w ( ) &gt; 1 then λ w ( ) ≥ τ 10 = 1 176 . . . . . This could be interpreted as circumstantial evidence for τ 10 indeed being the smallest Salem number.

The Coxeter diagram of ( W,S ) is the weighted graph whose vertices are the set S , and whose edges of weight m ij join s i to s j when m ij ≥ 3. Denoting by Y a,b,c the Coxeter system whose diagram is a tree with 3 branches of lengths a , b and c , joined at a single node, McMullen also showed that the smallest Salem numbers of degrees 6, 8 and 10 coincide with λ w ( ) for the Coxeter elements of Y 3 3 4 , , , Y 2 4 5 , , and Y 2 3 7 , , respectively. In particular, λ w ( ) = τ 10 for the Coxeter elements of Y 2 3 7 , , .

4.8. Dilatation of pseudo-Anosov automorphisms. For a closed connected oriented surface S having a pseudo-Anosov automorphism that is a product of two positive multi-twists, Leininger [67, Theorem 6.2] showed that its dilatation is at least τ 10 . This follows from McMullen's work on Coxeter systems quoted above. The case of equality is explicitly described (in particular, S has genus 5). (However, on surfaces of genus g there are examples of pseudo-Anosov automorphisms having dilatations equal to 1+ O (1 /g ) as g →∞ . These are not Salem numbers when g is sufficiently large.)

4.9. Bernoulli convolutions. Following Solomyak [113], let λ ∈ (0 , 1), and Y λ = ∑ ∞ n =0 ± λ n , with the ± chosen independently '+' or ' -' each with probability 1 2 . Let ν λ ( E ) be the probability that Y λ ∈ E , for any Borel set E . So it is the infinite convolution product of the means 1 2 ( δ -λ n + δ λ n ) for n = 0 1 2 , , , . . . , ∞ , and so is called a Bernoulli convolution . Then ν λ ( E ) satisfies the self-similarity property

$$\nu _ { \lambda } ( E ) = \frac { 1 } { 2 } \left ( \nu _ { \lambda } ( S _ { 1 } ^ { - 1 } E ) + \nu _ { \lambda } ( S _ { 2 } ^ { - 1 } E ) \right ),$$

/negationslash where S x 1 = 1 + λx and S x 2 = 1 -λx . It is known that the support of ν λ is a Cantor set of zero length when λ ∈ (0 , 1 2 ), and the interval [ -(1 -λ ) -1 , (1 -λ ) -1 ] when λ ∈ ( 1 2 , 1). When λ = 1 2 , ν λ is the uniform measure on [ -2 2]. Now the Fourier transform ˆ ( , ν λ ξ ) of ν λ is equal to ∏ ∞ n =0 cos( λ ξ n ). Salem [102, p. 40] proved that if λ ∈ (0 , 1) and 1 /λ is not a Pisot number, then lim ξ →∞ ˆ ( ν λ ξ ) = 0. This contrasts with an earlier result of Erd˝s that if o λ = 1 2 and 1 /λ is a Pisot number, then ˆ ( ν λ ξ ) does not tend to 0 as ξ →∞ . Furthermore Kahane [54] (as corrected in [94, p. 10]) proved that if 1 /λ is a Salem number then for each ε &gt; 0

$$\lim _ { \xi \to \infty } \sup _ { \xi \to \infty } | \hat { \nu } _ { \lambda } ( \xi ) | \, | \xi | ^ { \varepsilon } = \infty.$$

The only property of Salem numbers used in the proof of (2) is Proposition 4. Now consider the set S a,γ of all λ ∈ ( a, 1) such that ∫ ∞ -∞ | ˆ ( ν λ ξ ) | 2 | ξ | 2 γ dξ &lt; ∞ . Then Peres, Schlag and Solomyak [94, Proposition 5.1] use this set, Lemma 2 and (2), to give a sufficient condition for the set T of Salem numbers to be bounded away from 1. Specifically, they prove that if there exist some γ &gt; 0 and a &lt; 1 such that S a,γ is a so-called residual set (i.e., it is the intersection of countably many sets with dense interiors), then 1 is not a limit point of T .

/negationslash

Concerning the behaviour of ˆ ( ν λ ξ ) as ξ →∞ , where 1 /λ = θ &gt; 1 is an algebraic integer: if θ has another conjugate θ ′ = θ outside the unit circle, then Bufetov and Solomyak [28, Corollary A.3] recently proved that ˆ ( ν λ ξ ) is bounded by a negative power of log ξ as ξ →∞ . On the other hand, it is a result of Erd˝s [38] that when o θ is a Pisot number then lim sup ξ →∞ ˆ ( ν λ ξ ) is positive, showing that such a bound is not possible for Pisot numbers. Bufetov and Solomyak ask, however, whether a bound of that kind might hold for Salem numbers (the only remaining undecided case for an algebraic integer θ &gt; 1).

Recently Feng [39] has also studied ν λ when 1 /λ is a Salem number, proving that then the corresponding measure ν λ is a multifractal measure satisfying the multifractal formalism in all of the increasing part of its multifractal spectrum.

For two very readable surveys of Bernoulli convolutions, including connections with Salem numbers, see Kahane's 'Reflections on Paul Erd˝s . . . ' o article [55] and the much longer survey by Peres, Schlag and Solomyak [94] referred to above.

Acknowledgements. This paper is an expanded version of a talk that I gave at the meeting 'Growth and Mahler measures in geometry and topology' at the Mittag-Leffler Institute, Djursholm, Sweden, in July 2013. I would like to thank the organisers Eriko Hironaka and Ruth Kellerhals for the invitation to attend the meeting, and to thank them, the Institute staff and fellow participants for making it such a stimulating and pleasant week.

I also thank David Boyd, Yann Bugeaud, Nigel Byott, Eriko Hironaka, Aleksander Kolpakov, James McKee, Curtis McMullen, Andrew Ranicki, Georges Rhin, Dan Silver, Joe Silverman, Boris Solomyak, Timothy Trudgian and especially the referee for their very helpful comments and corrections on earlier drafts of this survey.

## References

- [1] Aguirre, Juli´n ; Peral, Juan Carlos. The trace problem for totally positive algea braic integers. With an appendix by Jean-Pierre Serre. London Math. Soc. Lecture Note Ser., 352 , Number theory and polynomials, 1-19, Cambridge Univ. Press, Cambridge, 2008.
- [2] Akiyama, Shigeki ; Kwon, Do Yong, Constructions of Pisot and Salem numbers with flat palindromes. Monatsh. Math. 155 (2008), no. 3-4, 265-275.
- [3] Akiyama, Shigeki ; Tanigawa, Yoshio, Salem numbers and uniform distribution modulo 1. Publ. Math. Debrecen 64 (2004), no. 3-4, 329-341.
- [4] Amoroso, Francesco, Une minoration pour l'exposant du groupe des classes d'un corps engendr´ e par un nombre de Salem. Int. J. Number Theory 3 (2007), no. 2, 217-229.
- [5] Bartholdi, Laurent; Ceccherini-Silberstein, Tullio G., Salem numbers and growth series of some hyperbolic graphs. Geom. Dedicata 90 (2002), 107-114.
- [6] Bedford, Eric; Kim, Kyounghee, Periodicities in linear fractional recurrences: degree growth of birational surface maps. Michigan Math. J. 54 (2006), no. 3, 647-670.
- [7] Bertin, M. J., K-nombres de Pisot et de Salem. Advances in number theory (Kingston, ON, 1991), 391-397, Oxford Sci. Publ., Oxford Univ. Press, New York, 1993.
- [8] , K-nombres de Pisot et de Salem. Acta Arith. 68 (1994), no. 2, 113-131.
- [9] , Quelques nouveaux r´sultats sur les nombres de Pisot et de Salem. Number e theory in progress, Vol. 1 (Zakopane-Ko´ scielisko, 1997), 1-9, de Gruyter, Berlin, 1999.
- [10] Bertin, M.-J.; Boyd, David W., Une caract´risation de certaines classes de nombres e de Salem. C. R. Acad. Sci. Paris S´r. I Math. e 303 (1986), no. 17, 837-839.
- [11] ; , A characterization of two related classes of Salem numbers. J. Number Theory 50 (1995), no. 2, 309-317.
- [12] Bertin, M.-J.; Decomps-Guilloux, A.; Grandet-Hugot, M.; Pathiaux-Delefosse, M.; Schreiber, J.-P., Pisot and Salem numbers. Birkh¨user Verlag, Basel, 1992. a
- [13] Bertin, Marie-Jos´; Lal´ ın, Matilde , Mahler measure of multivariable polynomials. e Women in numbers 2: research directions in number theory, 125-147, Contemp. Math., 606 , Amer. Math. Soc., Providence, RI, 2013.
- [14] Bertin, Marie-Jos´; Pathiaux-Delefosse, Martine, Conjecture de Lehmer et petits e nombres de Salem. Queen's Papers in Pure and Applied Mathematics, 81 . Queen's University, Kingston, ON, 1989.
- [15] Beukers, F. ; Smyth, C. J. Cyclotomic points on curves. Number theory for the millennium, I (Urbana, IL, 2000), 67-85, A K Peters, Natick, MA, 2002.
- [16] Borwein, Peter; Hare, Kevin G., Some computations on the spectra of Pisot and Salem numbers. Math. Comp. 71 (2002), no. 238, 767-780.
- [17] Boyd, David W., Transcendental numbers with badly distributed powers. Proc. Amer. Math. Soc. 23 (1969), 424-427.
- [18] , Small Salem numbers. Duke Math. J. 44 (1977), no. 2, 315-328.
- [19] , Pisot sequences which satisfy no linear recurrence. Acta Arith. 32 (1977), no. 1, 89-98.
- [20] , Pisot and Salem numbers in intervals of the real line. Math. Comp. 32 (1978), no. 144, 1244-1260.
- [21] , Speculations concerning the range of Mahler's measure. Canad. Math. Bull. 24 (1981), no. 4, 453-469.
- [22] , Families of Pisot and Salem numbers. Seminar on Number Theory, Paris 1980-81 (Paris, 1980/1981), 19-33, Progr. Math., 22 , Birkh¨user, Boston, Mass., a 1982.
- [23] , Salem numbers of degree four have periodic expansions. Th´orie des nome bres (Quebec, PQ, 1987), 57-64, de Gruyter, Berlin, 1989.

- [24] , The beta expansion for Salem numbers. Organic mathematics (Burnaby, BC, 1995), 117-131, CMS Conf. Proc., 20, Amer. Math. Soc., Providence, RI, 1997.
- [25] , On the beta expansion for Salem numbers of degree 6. Math. Comp. 65 (1996), no. 214, 861-875, S29-S31.
- [26] Boyd, David W.; Parry, Walter, Limit points of the Salem numbers. Number Theory (Banff, AB, 1988), 27-35, de Gruyter, Berlin, 1990.
- [27] Brunotte, Horst; Thuswaldner, J¨ rg M., Salem numbers from a class of star-like o trees. arXiv:1501.05557v1 [Math.NT] 22 Jan 2015.
- [28] Bufetov, Alexander I.; Solomyak, Boris, On the modulus of continuity for spectral measures in substitution dynamics. Adv. Math. 260 (2014), 84129.
- [29] Bugeaud, Yann . Distribution modulo one and Diophantine approximation. Cambridge Tracts in Mathematics, 193. Cambridge University Press, Cambridge, 2012.
- [30] Cantor, David G. On sets of algebraic integers whose remaining conjugates lie in the unit circle. Trans. Amer. Math. Soc. 105 (1962), 391-406.
- [31] , On power series with only finitely many coefficients (mod 1): solution of a problem of Pisot and Salem. Acta Arith. 34 (1977/78), no. 1, 43-55.
- [32] Christopoulos, Christos; McKee, James, Galois theory of Salem polynomials. Math. Proc. Cambridge Philos. Soc. 148 (2010), no. 1, 47-54.
- [33] Decomps-Guilloux, Annette; Grandet-Hugot, Marthe, Nouvelles caractrisations des nombres de Pisot et de Salem. Acta Arith. 50 (1988), no. 2, 155-170.
- [34] Doche, Christophe; Mend` es France, Michel; Ruch, Jean-Jacques, Equidistribution modulo 1 and Salem numbers. Funct. Approx. Comment. Math. 39 (2008), part 2, 261-271.
- [35] Dubickas, Art¯ras, Arithmetical properties of powers of algebraic numbers. Bull. u London Math. Soc. 38 (2006), no. 1, 70-80.
- [36] , Sumsets of Pisot and Salem numbers. Expo. Math. 26 (2008), no. 1, 85-91.
- [37] Dubickas, Art¯ras; Smyth, Chris, On the lines passing through two conjugates of u a Salem number. Math. Proc. Cambridge Philos. Soc. 144 (2008), no. 1, 29-37.
- [38] Erd˝ os, Paul, On a family of symmetric Bernoulli convolutions. Amer. J. Math. 61 (1939), 974976.
- [39] Feng, De-Jun, Multifractal analysis of Bernoulli convolutions associated with Salem numbers. Adv. Math. 229 (2012), no. 5, 3052-3077.
- [40] , On the topology of polynomials with bounded integer coefficients. Preprint.
- [41] Fisk, Steve, A very short proof of Cauchy's interlace theorem for eigenvalues of Hermitian matrices, Amer. Math. Monthly, 112 (2005), No. 2, p. 118. Also arXiv:math/0502408 http://arxiv.org/abs/math/0502408 .
- [42] Flammang, V. Trace of totally positive algebraic integers and integer transfinite diameter. Math. Comp. 78 (2009), no. 266, 1119-1125.
- [43] Flammang, V.; Grandcolas, M.; Rhin, G., Small Salem numbers. Number theory in progress, Vol. 1 (Zakopane-Ko´ scielisko, 1997), 165-168, de Gruyter, Berlin, 1999.
- Garsia, A.M., Arithmetic properties of Bernoulli convolutions, Trans. Amer. Math.
- [44] Soc. 102 (1962), 409-432.
- [45] Ghate, Eknath; Hironaka, Eriko, The arithmetic and geometry of Salem numbers. Bull. Amer. Math. Soc. (N.S.) 38 (2001), no. 3, 293-314.
- [46] Gross, Benedict H.; Hironaka, Eriko; McMullen, Curtis T. Cyclotomic factors of Coxeter polynomials. J. Number Theory 129 (2009), no. 5, 1034-1043.
- [47] Gross, Benedict H.; McMullen, Curtis T., Automorphisms of even unimodular lattices and unramified Salem numbers. J. Algebra 257 (2002), no. 2, 265-290.
- [48] Hare, Kevin G., Beta-expansions of Pisot and Salem numbers. Computer algebra 2006, 67-84, World Sci. Publ., Hackensack, NJ, 2007.
- [49] Hare, Kevin G. ; Mossinghoff, Michael J., Negative Pisot and Salem numbers as roots of Newman polynomials. Rocky Mountain J. Math. 44 (2014), no. 1, 113-138.
- [50] Hare, Kevin G. ; Tweedle, David, Beta-expansions for infinite families of Pisot and Salem numbers. J. Number Theory 128 (2008), no. 9, 2756-2765.

- [51] Hichri, Hachem, On the beta expansion of Salem numbers of degree 8. LMS J. Comput. Math. 17 (2014), no. 1, 289-301.
- [52] , Beta expansion for some particular sequences of Salem numbers. Int. J. Number Theory 10 (2014), no. 8, 2135-2149.
- [53] Hironaka, Eriko, The Lehmer polynomial and pretzel links. Canad. Math. Bull. 44 (2001), no. 4, 440-451. Erratum: ibid. 45 (2002), no. 2, 231.
- [54] Kahane, J.-P. Sur la distribution de certaines s´ries al´atoires. Colloque de Th´orie e e e des Nombres (Univ. Bordeaux, Bordeaux, 1969), 119-122. Bull. Soc. Math. France, M´ em. No. 25, Soc. Math. France Paris, 1971.
- [55] , Bernoulli convolutions and self-similar measures after Erd˝s, in 'Reflections o on Paul Erd˝s on his birth century', (K. Alladi, S. Krantz, eds.), Notices Amer. o Math. Soc. 62 (2015), no. 2, 136-140.
- [56] Kellerhals, Ruth, Cofinite hyperbolic Coxeter groups, minimal growth rate and Pisot numbers. Algebr. Geom. Topol. 13 (2013), no. 2, 1001-1025.
- [57] Kellerhals, Ruth ; Kolpakov, Alexander, The minimal growth rate of cocompact Coxeter groups in hyperbolic 3-space. Canad. J. Math. 66 (2014), no. 2, 354-372.
- [58] Kellerhals R.; Perren G., On the growth of cocompact hyperbolic Coxeter groups, European J. Combin. 32 (2011), no. 8, 1299-1316.
- [59] Kerada, Mohamed, Une caract´ erisation de certaines classes d'entiers alg´briques e g´ en´ralisant les nombres de Salem. Acta Arith. e 72 (1995), no. 1, 55-65.
- [60] Kolpakov, Alexander, Deformation of finite-volume hyperbolic Coxeter polyhedra, limiting growth rates and Pisot numbers. European J. Combin. 33 (2012), no. 8, 1709-1724.
- [61] Komori, Yohei; Umemoto, Yuriko, On the growth of hyperbolic 3-dimensional generalized simplex reflection groups. Proc. Japan Acad. Ser. A Math. Sci. 88 (2012), no. 4, 62-65.
- [62] Kronecker, Leopold, Zwei S¨tse ¨ber Gleichungen mit ganzzahligen Coefficienten, a u J. Reine Angew. Math. 53 (1857), 173-175. See also Werke. Vol. 1, 103-108, Chelsea Publishing Co., New York, 1968.
- [63] Lakatos, Piroska, Salem numbers, PV numbers and spectral radii of Coxeter transformations. C. R. Math. Acad. Sci. Soc. R. Can. 23 (2001), no. 3, 71-77.
- [64] , A new construction of Salem polynomials. C. R. Math. Acad. Sci. Soc. R. Can. 25 (2003), no. 2, 47-54.
- [65] , Salem numbers defined by Coxeter transformation. Linear Algebra Appl. 432 (2010), no. 1, 144-154.
- [66] Lalande, Franck, Corps de nombres engendr´s par un nombre de Salem. Acta Arith. e 88 (1999), no. 2, 191-200.
- [67] Leininger, Christopher J., On groups generated by two positive multi-twists: Teichm¨ller curves and Lehmer's number. Geom. Topol. u 8 (2004), 1301-1359.
- [68] Liang, Yanhua ; Wu, Qiang. The trace problem for totally positive algebraic integers. J. Aust. Math. Soc. 90 (2011), no. 3, 341-354.
- [69] Lindenstrauss, Elon; Schmidt, Klaus, Symbolic representations of nonexpansive group automorphisms. Probability in mathematics. Israel J. Math. 149 (2005), 227-266.
- [70] Mann, Henry B. On linear relations between roots of unity. Mathematika 12 (1965), 107-117.
- [71] McKee, James; Smyth, Chris, Salem numbers of trace -2 and traces of totally positive algebraic integers. Algorithmic number theory, 327-337, Lecture Notes in Comput. Sci., 3076 , Springer, Berlin, 2004.
- [72] ; , There are Salem numbers of every trace. Bull. London Math. Soc. 37 (2005), no. 1, 25-36.
- [73] ; , Salem numbers, Pisot numbers, Mahler measure, and graphs. Experiment. Math. 14 (2005), no. 2, 211-229.

- [74] ; , Integer symmetric matrices having all their eigenvalues in the interval [2 , 2]. J. Algebra 317 (2007), no. 1, 260-290.
- [75] ; , Integer symmetric matrices of small spectral radius and small Mahler measure. Int. Math. Res. Not. IMRN 2012, no. 1, 102-136.
- [76] ; , Salem numbers and Pisot numbers via interlacing. Canad. J. Math. 64 (2012), no. 2, 345-367.
- [77] McKee, J. F.; Rowlinson, P.; Smyth, C. J., Salem numbers and Pisot numbers from stars. Number theory in progress, Vol. 1 (Zakopane-Ko´ scielisko, 1997), 309-319, de Gruyter, Berlin, 1999.
- [78] McKee, J. F.; Yatsyna, P., Salem numbers of trace -2 and a conjecture of Estes and Guralnick. Preprint 2015.
- [79] Maclachlan, Colin; Reid, Alan W., The arithmetic of hyperbolic 3-manifolds. Graduate Texts in Mathematics, 219 . Springer-Verlag, New York, 2003.
- [80] McMullen, Curtis T., Dynamics on K3 surfaces: Salem numbers and Siegel disks. J. Reine Angew. Math. 545 (2002), 201-233.
- [81] , Coxeter groups, Salem numbers and the Hilbert metric. Publ. Math. Inst. Hautes ´ tudes Sci. No. E 95 (2002), 151-183.
- [82] , Dynamics on blowups of the projective plane. Publ. Math. Inst. Hautes ´ tudes Sci. No. E 105 (2007), 49-89.
- [83] , K3 surfaces, entropy and glue. J. Reine Angew. Math. 658 (2011), 1-25.
- [84] , Automorphisms of projective K3 surfaces with minimum entropy. Preprint.
- [85] Meyer, Yves, Algebraic numbers and harmonic analysis. North-Holland Mathematical Library, Vol. 2 . North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1972.
- [86] Mossinghoff, Michael J., Polynomials with small Mahler measure. Math. Comp. 67 (1998), no. 224, 1697-1705, S11-S14.
- [87] , List of small Salem numbers.
- http://www.cecm.sfu.ca/ ∼ mjm/Lehmer/lists/SalemList.html
- [88] Mossinghoff, Michael J.; Rhin, Georges; Wu, Qiang, Minimal Mahler measures. Experiment. Math. 17 (2008), no. 4, 451-458.
- [89] Neumann, Walter D.; Reid, Alan W., Arithmetic of hyperbolic manifolds. Topology '90 (Columbus, OH, 1990), 273-310, Ohio State Univ. Math. Res. Inst. Publ., 1 , de Gruyter, Berlin, 1992.
- [90] S. El Otmani; G. Rhin; J.-M. Sac- ´ p´e, A Salem number with degree 34 and trace E e 3. J. Number Th. (to appear 2015).
- [91] Oguiso, Keiji, Salem polynomials and birational transformation groups for hyperK¨ ahler manifolds. (Japanese) S¯gaku u 59 (2007), no. 1, 1-23. English translation: Salem polynomials and the bimeromorphic automorphism group of a hyper-K¨hler a manifold. Selected papers on analysis and differential equations, Amer. Math. Soc. Transl. Ser. 2, 230 (2010), 201-227.
- [92] , The third smallest Salem number in automorphisms of K3 surfaces. Algebraic geometry in East Asia-Seoul 2008, 331-360, Adv. Stud. Pure Math., 60 , Math. Soc. Japan, Tokyo, 2010.
- [93] Parry, W., On the β -expansions of real numbers. Acta Math. Acad. Sci. Hungar. 11 (1960), 401-416.
- [94] Peres, Yuval; Schlag, Wilhelm ; Solomyak, Boris. Sixty years of Bernoulli convolutions. Fractal geometry and stochastics, II (Greifswald/Koserow, 1998), 39-65, Progr. Probab., 46 , Birkhuser, Basel, 2000.
- [95] Pisot, Charles, R´partition (mod 1) des puissances successives des nombres r´els. e e Comment. Math. Helv. 19 (1946), 153-160.
- [96] Reidemeister, K., Knot theory. Translated from the German by Leo F. Boron, Charles O. Christenson and Bryan A. Smith. BCS Associates, Moscow, Idaho, 1983.

- [97] Reschke, Paul, Salem numbers and automorphisms of complex surfaces. Math. Res. Lett. 19 (2012), no. 2, 475-482.
- [98] Salem, R., A remarkable class of algebraic integers. Proof of a conjecture of Vijayaraghavan. Duke Math. J. 11 (1944), 103-108.
- [99] , Sets of uniqueness and sets of multiplicity. II. Trans. Amer. Math. Soc. 56 (1944), 32-49.
- [100] , Power series with integral coefficients. Duke Math. J. 12 (1945), 153-172.
- [101] , Algebraic numbers and Fourier analysis. D. C. Heath and Co., Boston, Mass., 1963.
- [102] Samet, P. A., Algebraic integers with two conjugates outside the unit circle. I: Proc. Cambridge Philos. Soc. 49 (1953), 421-436; II: ibid 50 (1954), 346.
- [103] Schmidt, Klaus, On periodic expansions of Pisot numbers and Salem numbers. Bull. London Math. Soc. 12 (1980), no. 4, 269-278.
- [104] , Algebraic coding of expansive group automorphisms and two-sided betashifts. Monatsh. Math. 129 (2000), no. 1, 37-61.
- [105] Schreiber, Jean-Pierre, Sur les nombres de Chabauty-Pisot-Salem des extensions alg´briques de e Q p . C. R. Acad. Sci. Paris S´r. A-B e 269 (1969), A71-A73.
- [106] Selberg, Atle, Collected papers. Vol. I. Springer-Verlag, Berlin, 1989.
- [107] Silver, Daniel S.; Williams, Susan G., Mahler measure of Alexander polynomials. J. London Math. Soc. (2) 69 (2004), no. 3, 767-782.
- [108] Silverman, Joseph H., Small Salem numbers, exceptional units, and Lehmer's conjecture. Symposium on Diophantine Problems (Boulder, CO, 1994). Rocky Mountain J. Math. 26 (1996), no. 3, 1099-1114.
- [109] Smith, John H., Some properties of the spectrum of a graph. Combinatorial Structures and their Applications (Proc. Calgary Internat. Conf., Calgary, Alta., 1969) pp. 403-406 Gordon and Breach, New York, 1970.
- [110] Smyth, C. J., Generalised Salem numbers. Groupe de travail en th´orie analytique e et ´l´mentaire des nombres, 1986-1987, 130-135, Publ. Math. Orsay, e e 88-01 , Univ. Paris XI, Orsay, 1988.
- [111] , Salem numbers of negative trace. Math. Comp. 69 (2000), no. 230, 827-838.
- [112] , The Mahler measure of algebraic numbers: a survey. Number theory and polynomials, 322-349, London Math. Soc. Lecture Note Ser., 352 , Cambridge Univ. Press, Cambridge, 2008.
- [113] Solomyak, Boris, On the random series ∑ ± λ n (an Erd˝s problem). Ann. of Math. o (2) 142 (1995), no. 3, 611-625.
- [114] Sury, B., Arithmetic groups and Salem numbers. Manuscripta Math. 75 (1992), no. 1, 97-102.
- [115] Umemoto, Yuriko, The growth function of Coxeter dominoes and 2-Salem numbers. Algebr. Geom. Topol. 14 (2014), no. 5, 2721-2746.
- [116] Vaz, Sandra; Martins Rodrigues, Pedro; Sousa Ramos, Jos´, Pisot and Salem nume bers in the β -transformation. Iteration theory (ECIT '06), 168-179, Grazer Math. Ber., 351 , Institut f¨r Mathematik, Karl-Franzens-Universit¨t Graz, Graz, 2007. u u
- [117] Vijayaraghavan, T., On the fractional parts of powers of a number. IV. J. Indian Math. Soc. (N.S.) 12, (1948). 33-39.
- [118] Za¨ ımi, Toufik, On integer and fractional parts of powers of Salem numbers. Arch. Math. (Basel) 87 (2006), no. 2, 124-128.
- [119] , An arithmetical property of powers of Salem numbers. J. Number Theory 120 (2006), no. 1, 179-191.
- [120] , Comments on the distribution modulo one of powers of Pisot and Salem numbers. Publ. Math. Debrecen 80 (2012), no. 3-4, 417-426.
- [121] Zehrt, Thomas; Zehrt-Liebend¨rfer, Christine, The growth function of Coxeter garo lands in H 4 . Beitr. Algebra Geom. 53 (2012), no. 2, 451-460.

School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh, EH9 3JZ, Scotland

E-mail address : c.smyth@ed.ac.uk
Chris Smyth
Survey article: Seventy years of Salem numbers
I survey results about, and recent applications of, Salem numbers.