Uniform distribution of Galois conjugates and beta-conjugates of a Parry number near the unit circle and dichotomy of Perron numbers Jean-Louis Verger-Gaugry
To cite this version:
Jean-Louis Verger-Gaugry. Uniform distribution of Galois conjugates and beta-conjugates of a Parry number near the unit circle and dichotomy of Perron numbers. Uniform Distribution Theory, Math- ematical Institute of the Slovak Academy of Sciences, 2009, 3 (2), pp.157–190. hal-00341880
HAL Id: hal-00341880 https://hal.archives-ouvertes.fr/hal-00341880 Submitted on 26 Nov 2008
HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Uniform distribution of Galois conjugates and beta-conjugates of a Parry number near the unit circle and dichotomy of Perron numbers
Jean-Louis Verger-Gaugry
Institut Fourier, CNRS UMR 5582, Universit´ede Grenoble I, BP 74, 38402 Saint-Martin d’H`eres, France email: [email protected]
Abstract. Concentration and equi-distribution, near the unit circle, in Solomyak’s set, of the union of the Galois conjugates and the beta-conjugates of a Parry number β are characterized by means of the Erd˝os-Tur´an approach, and its improvements by i Mignotte and Amoroso, applied to the analytical function fβ (z) = −1+ i≥1 tiz associated with the R´enyi β-expansion dβ (1) = 0.t1t2 . . . of unity. Mignotte’s dis- crepancy function requires the knowledge of the factorization of the ParryP polyno- mial of β. This one is investigated using theorems of Cassels, Dobrowolski, Pinner and Vaaler, Smyth, Schinzel in terms of cyclotomic, reciprocal non-cyclotomic and non-reciprocal factors. An upper bound of Mignotte’s discrepancy function which arises from the beta-conjugates of β which are roots of cyclotomic factors is linked to the Riemann hypothesis, following Amoroso. An equidistribution limit theorem, following Bilu’s theorem, is formulated for the concentration phenomenon of conju- gates of Parry numbers near the unit circle. Parry numbers are Perron numbers. Open problems on non-Parry Perron numbers are mentioned in the context of the existence of non-unique factorizations of elements of number fields into irreducible Perron numbers (Lind).
2000 Mathematics Subject Classification: 11M99, 30B10, 12Y05.
Keywords: Parry number, Perron number, Pisot number, Salem number, numera- tion, beta-integer, beta-shift, zeroes, beta-conjugate, discrepancy, Erd˝os-Tur´an, Rie- mann hypothesis, Parry polynomial, factorization, equidistribution. 2 Jean-Louis Verger-Gaugry
Contents
1 Introduction ...... 2 2 Szeg˝o’sTheoremandnumeration ...... 4 3 Parry polynomials, Galois- and beta-conjugates in Solomyak’s set Ω for a Parry number β ...... 5 3.1 Erd˝os-Tur´an’s approach and Mignotte’s discrepancy splitting . 5 3.2 Factorizationandirreduciblefactors ...... 12 3.3 Cyclotomicfactors ...... 16 3.4 Non-cyclotomicfactors...... 20 3.5 RealpositiveconjugatesofaParrynumber ...... 22 3.6 An equidistribution limit theorem ...... 24 4 Examples...... 26 5 Arithmetics of Perronnumbers and non-Parrycase ...... 28
1 Introduction
A Perron number is either 1 or a real number β > 1 which is an algebraic integer such that all its Galois conjugates β(i) satisfy: β(i) < β for all i = 1, 2,...,d 1, if β is of degree d 1 (with β(0) = β).| Let| P be the set of Perron numbers.− This set P is partitioned≥ into two disjoint components whose frontier is badly known [V2]. This partitioning arises from the properties of the numeration in base β, i.e. of the β-shifts and the dynamical systems ([0, 1],Tβ) [Bl] [Fr1], where β runs over (1, + ), and where Tβ(x) = βx is the beta- transformation ( x , x and x denote∞ the integer part, resp.{ } the fractional part, resp. the smallest⌊ ⌋ { } integer⌈ greater⌉ than or equal to a real number x). Let us recall this dichotomy and fix some notations. Let β > 1 be a real number and assume throughout the paper that β is non-integer. The R´enyi β-expansion of 1 is by definition denoted by
+ ∞ i dβ(1) = 0.t1t2t3 . . . and correspondsto 1= tiβ− , (1.1) i=1 X 2 where t1 = β ,t2 = β β = βTβ(1) ,t3 = β β β = βTβ (1) ,... The digits t belong⌊ ⌋ to the⌊ { finite}⌋ alphabet⌊ ⌋ := ⌊0{, 1,{2,...,}}⌋ β⌊ 1 . ⌋β is said i Aβ { ⌈ − ⌉} to be a Parry number if dβ(1) is finite or ultimately periodic (i.e. eventually periodic); in particular, a Parry number β is said to be simple if dβ(1) is finite. A proof that Parry numbers are Perron numbers is given by Theorem 7.2.13 and Proposition 7.2.21 in Lothaire [Lo]. On the contrary a good proportion of Perron numbers are not Parry numbers, so that the dichotomy of P can be Conjugates of a Perron number and Erd˝os-Tur´an approach 3 stated as
P = P P , (1.2) P ∪ a where PP denotes the set of Parry numbers and Pa the set of Perron numbers which are not Parry numbers (a stands for aperiodic). The set PP is dense in (1, + ) [Pa], contains all Pisot numbers [B] [Bo2] [St] and Salem numbers of degree∞ 4 [Bo1], at least [Bo3] [V2]. Following [V2] the present note continues the exploration of this dichotomy by the Erd˝os-Tur´an approach applied to the collection := (fβ(z))β P of analytic functions B ∈
+ ∞ f (z) := t zi for β P,z C, (1.3) β i ∈ ∈ i=0 X with t = 1, canonically associated with the R´enyi expansions d (1) = 0 − β 0.t1t2t3 . . ., for which fβ(z) is a rational fraction if and only if β PP (Section 2); when β P the opposite of the reciprocal polynomial of the∈ numerator of ∈ P fβ(z), namely nβ∗ (X), is the Parry polynomial of β, a multiple of the minimal polynomial of β.
Section 3 explores the factorization of nβ∗ (X), the geometry and the equi- distribution of its roots near the unit circle when β is a Parry number. These roots are either Galois conjugates or beta-conjugates of β and comparison is made between these two collections of roots. The important points in this exploration are: (i) the discrepancy function as obtained by Mignotte [G] [Mt1] [Mt2] in a theorem which generalizes Erd˝os-Tur´an’s Theorem, its splitting and its properties following Amoroso [A2] [AM], how the beta-conjugates of β which are roots of unity, as roots of the irreducible cyclotomic factors of nβ∗ (X), are linked to the Riemann hypothesis (R.H.), (ii) the number of positive real (Galois- or beta-) conjugates of β when the degree of β is large, by comparison with Kac’s formula [K] [EK], (iii) upper bounds for the multiplicities of beta- conjugates, (iv) an equidistribution limit theorem in the same formulation as Bilu’s Theorem [Bi] for convergent sequences of Parry numbers (or Parry polynomials) with Haar measure on the unit circle as limit measure. Mignotte’s discrepancy function allows a much better strategy than Erd˝os- Tur´an’s discrepancy function in the Erd˝os-Tur´an approach of the Parry poly- nomial nβ∗ (X) since it is a subaddtive function on its factorizaton and enables to investigate the roles played by its factors, namely cyclotomic, reciprocal non-cyclotomic and non-reciprocal, term by term.
The factorization of the Parry polynomial nβ∗ (X) is itself a formidable chal- lenge because of the difficulty of determining the types of its factors, their multiplicities and the way it is correlated to the Rauzy fractal (central tile) (Barat, Berth´e, Liardet and Thuswaldner [B-T]). The problem of Lehmer of finding the smallest Mahler measure is essentially equivalent to the problem of 4 Jean-Louis Verger-Gaugry estimating the number of irreducible non-cyclotomic factors of nβ∗ (X) (Pinner and Vaaler [PV3]). Section 4 provides various examples on which Erd˝os-Tur´an’s and Mignotte’s discrepancy functions are computed. In Section 5 the case of Perron numbers which are not Parry numbers is evoked in the general context of the arithmetics of Perron numbers where non-unique factorizations on irreducible Perron num- bers may occur.
d 1 (i) Notations: N(β)= i=0− β is the algebraic norm of the algebraic number (0) β(= β ), of degree d 1; Pβ(X) is the minimal polynomial of the algebraic Q≥ m number β > 1, with positive leading coefficient; R∗(X) = X R(1/X) is the reciprocal polynomial of the polynomial R(X) (of degree m) and R(X) is said 1/2 m 2 reciprocal if R(X)= R∗(X); Q 2 = j=0 αj , resp. Q 1 = L(Q)= m || || | | || || αj , H(Q) = max0 j m αj , the 2-norm, resp. the 1-norm (or length), j=0 | | ≤ ≤ | | P resp. the height, of the polynomial Q(X) = m α Xj, α C; M(R) = P j=0 j j ∈ a m max 1, b denotes the Mahler measure of the polynomial R(X)= | R| j=0 { | j|} P a m (X b ) C[X] where a is the leading coefficient. D(z , r) denotes R Qj=0 − j ∈ R 0 C + theQ open disk centred at z0 of radius r > 0, D(z0, r) its closure. Log x (x > 0) denotes max Log x,∈0 . The constants implied by the Vinogradov { } symbol ‘ ’ are absolute and computable; when written ‘ ǫ’ for ǫ > 0, they depend upon≪ ǫ. ≪
2 Szeg˝o’s Theorem and numeration
Every analytical function fβ(z) with β > 1 (β N) obeys the dichotomy given by the following theorem ([Sg], [Di] p 324–7)6∈ since its coefficients belong to , which is finite. Aβ
n Theorem 2.1 (Szeg˝o). A Taylor series n 0 anz with coefficients in a finite subset S of C is either equal to ≥ P V (z) (i) a rational fraction U(z)+ zm+1 where U(z)= 1+ m b zi , 1 zp+1 − i=1 i p i − V (z)= i=0 eiz are polynomials with coefficients in S and mP 1,p 0 integers, or ≥ ≥ P
(ii) it is an analytic function defined on the open unit disk which is not continued beyond the unit circle (which is its natural boundary). Conjugates of a Perron number and Erd˝os-Tur´an approach 5
Let us recall the Conditions of Parry [Bl] [Fr1] [Lo] [Pa]. Let β > 1 and (ci)i 1 be the sequence of digits in β defined by ≥ A t1t2t3 . . . if dβ(1) = 0.t1t2 . . . is infinite, c1c2c3 . . . := ω (t1t2 ...tq 1(tq 1)) if dβ(1) is finite, = 0.t1t2 ...tq, − − where ()ω means that the word within ( ) is indefinitely repeated. We say that dβ(1) is finite if it ends in infinitely many zeros. A sequence (yi)i 0 of elements of (finite or not) is said admissible if and only if ≥ Aβ (y ,y ,y ,...) < (c c ,c ,...) for all j 0, j j+1 j+2 lex 1 2 3 ≥ n j where
3 Parry polynomials, Galois- and beta-conjugates in Solomyak’s set Ω for a Parry number β
3.1 Erd˝os-Tur´an’s approach and Mignotte’s discrepancy splitting
Assume that β > 1 is a Parry number (of degree d 2). Using the notations ≥ of Theorem 2.1, the rational fraction fβ(z) has U(z), resp. U(z)(1 zp+1)+ zm+1V (z), − as numerator, when β is a simple, resp. a non-simple, Parry number whose co- efficients are in Z and are of moduli in . Since f (1/β) = 0, this numerator, Aβ β 6 Jean-Louis Verger-Gaugry say n (z), can be factored as − β s q u cj γj δj n (z)= P ∗(z) Φ (z) κ∗(z) (g (z)) (3.1) − β β × nj × j × j j=1 j=1 j=1 Y Y Y where the polynomials Φnj (X) Z[X] are irreducible and cyclotomic, with n s q u cj γj δj n∗ (X) := P (X) Φ (z) (κ (z)) (g (z)) (3.2) β β − nj j j j=1 j=1 j=1 Y Y Y Its degree, denoted by dP , is m+p+1 with the notations of Theorem 2.1. In the m+p+1 m case of non-simple Parry numbers, we have: nβ∗ (β)=0= Tβ (1) Tβ (1) p+1 0 p+1 − if m 1 and nβ∗ (β)=0= Tβ (1) Tβ (1) = Tβ (1) 1 if m = 0 (pure periodicity)≥ where p + 1 is the period− length. Hence, for− non-simple Parry numbers: m+p+1 m+p m+p 1 n∗ (X)= X t X t X − . . . t X t β − 1 − 2 − − m+p − m+p+1 m m 1 m 2 X + t1X − + t2X − + . . . + tm 1X + tm (3.3) − − in the first case and p+1 p p 1 n∗ (X)= X t X t X − . . . t X (1 + t ) (3.4) β − 1 − 2 − − p − p+1 in the case of pure periodicity. For simple Parry numbers, the Parry polyno- mial is m m 1 m 2 X t1X − t2X − . . . tm 1X tm (3.5) − − − − − − with m 1. Since t1 = β , the Parry polynomial is a polynomial of small height which≥ has the basic⌊ property:⌋ β H(n∗ ) β (3.6) ⌊ ⌋≤ β ≤⌈ ⌉ with all coefficients having a modulus β except possibly only one for which the modulus would be equal to β : the≤⌊ coefficient⌋ of the monomial of degree m in (3.3) and the constant term⌈ in⌉ (3.4). If β is a simple Parry number, then the equality H(n∗ ) = β (3.7) β ⌊ ⌋ holds by (3.5). The polynomial nβ∗ (X) Pβ(X) Conjugates of a Perron number and Erd˝os-Tur´an approach 7 is called the complementary factor [Bo2]. It is a monic polynomial and some algebraic properties of nβ∗ (X) are known (Handelman [H]). A beta-conjugate of β is by definition the inverse ξ of a zero of fβ(z), or in other words a zero of the Parry polynomial, which is not a Galois conjugate of β (i.e. ξ = β(i) for i =1, 2,...,d 1). Saying that the Parry polynomial of β is irreducible6 is equivalent to saying− that β has no beta-conjugate. j Let := f(z)=1+ j∞=1 aj z 0 aj 1 be the convex set of functionsB analytic{ in the open unit disk|D(0≤, 1). Let≤ } P := ξ D(0, 1) f(ξ) = 0 for some f G { ∈ | ∈ B} 1 1 1 1 and − := ξ− ξ . The external boundary ∂ − of − is a curve whichG has a{ cusp| at z∈= G} 1, a spike on the negative realG axis,G which is the 1+√5 segment 2 , 1 , and is fractal at an infinite number of points (Figure 1; see Fig. 2− and 4 in− [So]). It defines two components in the complex plane, and inverses of zeros§ of all f are all necessarily within the bounded component 1 ∈B Ω := − D(0, 1). G ∪ Theorem 3.1 (Solomyak). The Galois conjugates (= β) and the beta-conjugates of all Parry numbers β belong to Ω, occupy it densely,6 and P Ω= . P ∩ ∅ Proof. By the following identity ∞ ∞ f (z) = 1+ t zi = ( 1+ βz) 1+ T j(1)zj , z < 1, (3.8) β − i − β | | i=1 j=1 X X 1 j j j j the zeros = β− of fβ(z) are those of 1+ j∞=1 Tβ (1)z ; but 1 + j∞=1 Tβ (1)z is a Taylor6 series which belongs to . We deduce the claim. B P P Let us show that a phenomenon of high concentration and equi-distribution of Galois conjugates (= β) and beta-conjugates of a Parry number β occur by clustering near the unit6 circle in Ω: from a “radial” viewpoint, using the 2- norm 2 and the 1-norm 1 of the Parry polynomial nβ∗ (X) (Theorem 3.2), and fromk·k an “angular” viewpointk·k by Mignotte’s Theorem 3.4 [Mt2]. Though densely distributed in Ω the conjugates of Parry numbers reach a very high concentration close to the unit circle with maximality on the unit circle itself. Section 3.6 formulates limit theorems for this concentration phenomenon. Theorem 3.2. Let β > 1 be a Parry number. Let ǫ> 0 and µǫ the proportion of roots of the Parry polynomial n∗ (X) of β, with d = deg(n∗ (X)) 1, β P β ≥ which lie in Ω outside the annulus D(0, (1 ǫ) 1) D(0, (1 ǫ)) . Then − − \ − 2 1 (i) µ Log n∗ Logβ , (3.9) ǫ ≤ ǫ d k βk2 − 2 P 8 Jean-Louis Verger-Gaugry Figure 1. Solomyak’s set Ω. 2 1 (ii) µ Log n∗ Log n∗ (0) . (3.10) ǫ ≤ ǫ d k βk1 − 2 β P 1 Proof. (i) Let µ1dP the number of roots of nβ∗ (X) outside D(0, (1 ǫ)− ) in Ω, except β (since β Ω). By Landau’s inequality [La] − 6∈ M(f) f for f(x) C[X] ≤k k2 ∈ applied to nβ∗ (X) we deduce µ1dP β(1 ǫ)− M(n∗ ) n∗ . − ≤ β ≤ k βk2 Hence, since Log(1 ǫ) ǫ, − − ≥ 1 Log n∗ 2 Logβ µ k βk . 1 ≤ ǫ d − d P P Let µ d the number of roots of n∗ (X) in D(0, 1 ǫ). Then 2 P β − µ2dP (1 ǫ)− M(n ) n = n∗ − ≤ β ≤k βk2 k βk2 by Landau’s inequality applied to nβ(X). We deduce 1 Log nβ∗ 2 µ2 k k . ≤ ǫ dP Since µǫ = µ1 + µ2, we deduce the inequality (3.9). Conjugates of a Perron number and Erd˝os-Tur´an approach 9 (ii) Applying Jensen’s formula we deduce 2π 1 iφ 1 Log nβ∗ (e ) dφ Log nβ∗ (0) = Log (3.11) 2π 0 − bi Z bi <1 | | | X| where (bi) is the collection of zeros of nβ∗ (z). We have 1 1 Log Log ǫ µ2dP . bi ≥ bi ≥ bi <1 bi <1 ǫ | X| | | | X| − | | iφ From (3.11), since maxφ [0,2π] nβ∗ (e ) nβ∗ 1 , we deduce ∈ ≤k k 1 µ2 Log nβ∗ 1 Log nβ∗ (0) . ≤ ǫ dP k k − Now the roots of nβ(z) inside D(0, 1 ǫ) are the roots of n∗ (z) outside the − β closed disk D(0, (1 ǫ) 1), including possibly β, so that their number is µ d − − 1 P or µ d + 1. Since n∗ (X) is monic, n (0) = 1. We apply Jensen’s formula 1 P β | β | to nβ(z) to deduce in a similar way 1 µ1 Log nβ 1 ≤ ǫ dP k k Since n = n∗ and that µ = µ + µ , we deduce (3.10). k βk1 k βk1 ǫ 1 2 Remark 3.3. The terminology “clustering near the unit circle” comes from the following fact: if (βi) is a sequence of Parry numbers, of Parry polynomials of respective degree dP,i which satisfies Log βi lim dP,i =+ and lim =0, (3.12) i + i + d → ∞ ∞ → ∞ P,i 1/2 then, since n∗ 2 (dP,i +1) βi , the proportion µǫ,i relative to βi satisfies k βi k ≤ ⌈ ⌉ 1 Log(d + 1) Log β µ P,i + ⌈ i⌉ ǫ,i ≤ ǫ d d P,i P,i by (3.9), what shows, for any real number ǫ> 0, that µ 0, i + . (3.13) ǫ,i → → ∞ The sufficient conditions (3.12) for having convergence of (µǫ,i)i to zero already cover a large range of examples [Bo3] [V2]. Let us notice that the conditions (3.12) do not imply that the corresponding sequence (d ) of the degrees of the minimal poly- • i i nomials Pβi (X) tends to infinity; on the contrary, this sequence may remain bounded, even stationary (cf. the family of Bassino’s cubic Pisot numbers in [V2]), 10 Jean-Louis Verger-Gaugry the family of Parry numbers (βi)i tends to infinity; it may remain bounded • or not (cf. Boyd’s family of Pisot numbers less than 2 in [V2]). Define the radial operator (r) : Z[X] R[X], → n n b R(X)= a (X b ) R(r)(X)= X j . n − j → − b j=0 j=0 j Y Y | | All the polynomials in the image of this operator have their roots on the unit circle. This operator leaves invariant cyclotomic polynomials. It has the prop- (r) (r) erty: P = (P ∗) for all polynomials P (X) Z[X] and is multiplicative: (r) (r) (r) ∈ (P1P2) = P1 P2 for P1(X), P2(X) Z[X]. The (angular) discrepancy relative to∈ the distribution of the (Galois- and beta-) conjugates of β near the unit circle in Ω is given by Erd˝os-Tur´an’s Theorem [ET] improved by Ganelius [G], Mignotte [Mt2] and Amoroso [A2] [AM], as follows. Theorem 3.4 (Mignotte). Let n n n 1 iφj R(X)= anX + an 1X − + . . . + a1X + a0 = an (X ρj e ), − − j=1 Y a =0, ρ ,ρ ,...,ρ > 0, n 6 1 2 n be a polynomial with complex coefficients, where φ [0, 2π) for j = j ∈ 1,...,n. For 0 α η 2π, put N(α, η) = Card j φj [α, η] . Let −1 ( 1)m ≤ ≤ ≤ { | ∈ } ∞ 2 k = 0 (2−m+1) =0.916 . . . be Catalan’s constant. Then P 1 η α 2 2π h˜(R) N(α, η) − (3.14) n − 2π ≤ k × n where 1 2π h˜(R)= Log+ R(r)(eiθ) dθ. (3.15) 2π | | Z0 h˜(R) Denote dis(R)= n . Let us call Mignotte’s discrepancy function the rhs of (3.14) so that 2π h˜(R) C dis(R) = · k × n 2π 2 with C = k = (2.619...) = 6.859.... The constant C, the same as in [G], is much smaller than 162 = 256, computed in [ET]. Mignotte shows that C cannot be less than (1.759...)2 = 3.094... and that dis(R) gives much smaller Conjugates of a Perron number and Erd˝os-Tur´an approach 11 numerical estimates (cf. example in Section 4) than the expression 1 L(R) Log n a a | 0 n| proposed by Erd˝os-Tur´an instead. Inp the following we investigate Mignotte’s discrepancy function (as in [A2]) but applied to the new class of polynomials R(r)(X) R(X) { | ∈ PP} obtained by the radial operation (r) from the set of Parry polynomials := n∗ (X) β P . PP { β | ∈ P } The angular control of the geometry of the beta-conjugates of a Parry number β with respect to the geometry of its Galois-conjugates, by rotating sectors of suitable opening angles in the unit disk [V2], is best for smallest possible estimates of the discrepancy function. Mignotte’s discrepancy function on C[X] 0 never takes the value zero for the simple reason that, in (3.14), the function\{ } (α, η) (η α)/2π is continuous and that (α, η) N(α, η)/n takes discrete values,→ so that− → (r) dis n∗β > 0 (3.16)