Arxiv:1902.05349V2 [Math.NT] 30 Apr 2021 Leri Nee Rae Hn1 Ecall We 1

arXiv:1902.05349v2 [math.NT] 30 Apr 2021 leri nee rae hn1 ecall We 1. than greater integer algebraic β n ope leri ubr.I atclr ecnie h digits the consider we particular, In com the numbers. investigate algebraic we complex article, and this In numbers. irrational algebraic 5 ojcue htalagbacirtoa ubr r omln normal are numbers irrational algebraic all that conjectured [5] hni ssilukonwehrtedgt1apasifiieymn times many infinitely appears 1 digit the whether unknown still is it then plcto ongtv n oainlbt xaso 5 results main of Proof expansion beta 4 rotational and negative to Application 3 results Main 2 Introduction 1 Contents ntne if instance, β Let Introduction 1 ocalled so , saPsto ae ubr enwrcl h ento fPstadSale and Pisot of definition the recall now We number. Salem or Pisot a is ∗ . opeino h ro fTerm2 Theorem of proof the of Completion 4.4 . rlmnre o h ro fTerm24...... 2.4 between Theorem . Relation of . proof the 2.4 4.3 for Theorem Preliminaries to 2.1 Theorem 4.2 of Reduction 4.1 e od n phrases and words Key > β e oe onsfrtenme fdgtecagsi h case the in exchanges digit of number the for bounds lower new ue 2] hr h aei us-io rqaiSlmnu quasi-Salem or quasi-Pisot a is base the Akiy by where expansion [20], beta Surer which rotational numbers, of numb algebraic digits Salem the complex investigate and of expansions numbers digit Pisot the of to generalization quasi-P a numbers, algebraic gives of which class new a define we Moreover, nti ril,w netgt the investigate we article, this In h ii xhne nterttoa eaexpansions beta rotational the in exchanges digit The eara ubr n[9,Rey nrdcdterepresentatio the Rényi introduced [19], In number. real a be 1 b β ≥ epnin.Ltl skono h iisof digits the on known is Little -expansions. sa nee,te the then integer, an is 2 . aieKaneko Hajime β epnin,nneodgt,Pstnmes ae numbers Salem numbers, Pisot digits, nonzero -expansions, Y R and Y fagbacnumbers algebraic of R − 1 β 12 ...... β epnin fra leri ubr.I atclr egi we particular, In numbers. algebraic real of -expansions β epnincicdswt h sa base- usual the with coincides -expansion io ubr(ep ae ubr ftecnuae of conjugates the if number) Salem (resp. number Pisot a ∗ . and Abstract 14 ...... 1 1 aooKawashima Makoto m n alm[]adzt-xaso by zeta-expansion and [3] Caalim and ama mber. stnmesadqaiSlmnumbers, quasi-Salem and numbers isot ie e siain npriua,we particular, In estimation. new gives β epnin fagbacnmes For numbers. algebraic of -expansions where r.Ormto sapial also applicable is method Our ers. mesi base- in umbers lxt ftedgtepnin freal of expansions digit the of plexity of β saPsto ae number. Salem or Pisot a is β epnin ntecs where case the in -expansions so elnmesi base in numbers real of ns ntebase- the in ubr.Let numbers. m b oee,if However, . 9 ...... b 8 ...... xaso.Borel expansion. b xasosof expansions β ve b ean be ≥ 3, β 8 4 1 except itself have moduli less than 1 (resp. if the conjugates of β except itself have absolute values not greater than 1 and there exists a conjugate of β with absolute value 1). We introduce the notation throughout this article as follows. We denote the set of nonnegative integers

(resp. positive integers) by Z≥0 (resp. N). We denote the integral and fractional parts of a real number x by x and x , respectively. We denote by x the minimal integer not less than x and use the Landau ⌊ ⌋ { } ⌈ ⌉ symbol O and the Vinogradov symbols , with their usual meaning. We denote the algebraic closure ≫ ≪ of the rational number field by Q and fix an embedding Q ֒ C. For an algebraic number β, we denote → the conjugates of β by β for 1 i [Q(β): Q] with β = β. We assume that β is the complex conjugate i ≤ ≤ 1 2 of β if β / R. Moreover, let Z ( Q) be the set of algebraic integers. ∈ ⊂ For an algebraic number α, we denote by α the value max σ(α) , where σ runs thorough the σ | | embeddings of Q(α) to C. Let β > 1 be a real number. The β-transformation T : [0, 1] [0, 1) is defined by β −→ T (x) := βx , β { } for x [0, 1]. Let ξ be a real number with 0 ξ 1. If β = b Z, we also assume ξ < 1. For n N, we ∈ ≤ ≤ ∈ ∈ put t (β; ξ) := βT n−1(ξ) . Then we have t (β; ξ) Z [0,β). The β-expansion of ξ is defined by n ⌊ β ⌋ n ∈ ∩ ∞ −n ξ = tn(β; ξ)β . n=1 X In the case where ξ is a general nonnegative real number, then using a suitable integer R 0 with ≥ β−R [0, 1), we define the β-expansion of ξ by ∈ ∞ ∞ −n R −R −n (1) ξ = tn(β; ξ)β := β tn(β; β ξ)β . n=1 n=1X−R X For a positive integer N, the number of digit exchanges γ(β, ξ; N) and the number of nonzero digits ν(β, ξ; N) are defined by

γ(β, ξ; N) := Card n N n N,t (β, ξ) = t (β, ξ) , { ∈ | ≤ n 6 n+1 } ν(β, ξ; N) := Card n N n N,t (β, ξ) =0 , { ∈ | ≤ n 6 } respectively, where Card denotes the cardinality. It is easily seen that we have the following relations among γ(β, ξ; N) and ν(β, ξ; N): 1 (2) ν(β, ξ; N) γ(β, ξ; N)+ O(1). ≥ 2

R´enyi [19] showed for any β > 1 that there exists a unique Tβ-invariant measure pβ on [0, 1] which

is absolutely continuous with respect to the Lebesgue measure on [0, 1]. In particular, pβ is ergodic. We recall the β-normality of ξ [0, 1]. Let S := Z [0,β). Let 1 k<ℓ. For ξ [0, 1], we define the finite ∈ ∩ ≤ ∈ word wk,ℓ(β, ξ) by w (β, ξ) := t (β, ξ)t (β, ξ) t (β, ξ), k,ℓ k k+1 ··· ℓ for any ξ [0, 1]. For any word v = v v of length k, we define the cylinder set [v] by ∈ 1 ··· k [v] := ξ [0, 1] w (β, ξ)= v . β { ∈ | 1,k } A word v is called admissible if [v] is not empty. Recall that ξ [0, 1] is β-normal if β ∈ 1 lim Card n N wn,n+k−1(β, ξ)= v = pβ([v]β). N→∞ N { ≤ | }

2 for any admissible finite word v of arbitrary length k. Adamczewski and Bugeaud [1] introduced a hypothesis on β-normality as follows: Let β > 1 and ξ [0, 1] be algebraic numbers. Then ξ is β-normal ∈ or ξ has ultimately periodic β-expansion. −1 −1 Suppose that ξ is β-normal. Then the sequences (N γ(β, ξ; N))N≥1 and (N ν(β, ξ; N))N≥1 con- verge to positive values. The lower bounds for the number of digit exchanges of algebraic numbers were studied in [6], [7], [8], [13] and [14], which gives partial results on the β-normality of algebraic numbers. In particular, Bugeaud [7] proved the following: Let β be a Pisot or Salem number and ξ an algebraic number with t (β, ξ) = t (β, ξ) for infinitely many n. Then there exist effectively computable positive n 6 n+1 numbers C1(β, ξ) and C2(β, ξ), depending only on β and ξ, such that

(logN)3/2 (3) γ(β, ξ; N) C (β, ξ) , ≥ 1 (loglogN)1/2 for any N C (β, ξ). In particular, combining (2) and (3), we have ≥ 2 C (β, ξ) (logN)3/2 (4) ν(β,ξ,N) 1 , ≥ 3 (loglogN)1/2 for any suﬃciently large N. Lower bound (4) was improved in [15] and [16] as follows:

Theorem 1.1. ( [16, Theorem 2.2] ) Let β be a Pisot or Salem number and ξ an algebraic number with

[Q(β, ξ): Q(β)] = D. Suppose there exists a sequence t = (tn)n∈Z≥0 of integers satisfying the following two assumptions: (i) There exists a positive integer B such that, for any n Z , ∈ ≥0 0 t B. ≤ n ≤

Moreover, there exist infinitely many n such that tn > 0. (ii) We have ∞ −n ξ = tnβ . n=0 X Then there exist effectively computable positive constants C3 = C3(β,ξ,B) and C4 = C4(β,ξ,B), depending only on β, ξ and B, such that, for any integer N with N C , ≥ 4 N 1/D λ(Γ(t; N)) C , ≥ 3 (logN)1/D where Γ(t) := n Z t =0 and λ(Γ(t; N)) := Card([0,N] Γ(t)). { ∈ ≥0 | n 6 } ∩ We note that the theorem above is also applicable to general representations of algebraic real numbers ξ by infinite series in base-β. It is natural to conjecture that an analogy of Theorem 1.1 holds also for the number of digit exchanges in beta expansion. Consider the case where β = b is a integer greater than 1. If the minimal polynomial of algebraic irrational ξ satisfies certain assumptions, then it is known for any sufficiently large N that γ(β, ξ; N) N 1/d, where d = [Q(ξ): Q] (see [13] and [14]). ≫ The main results of this article give analogy of Theorem 1.1 for more general Pisot and Salem numbers β. Moreover, our method is also applicable to more general class of algebraic numbers, quasi-Pisot numbers and quasi-Salem numbers, which we define in Section 2. Thus, our main results also give new lower bounds for the number of digit exchanges and the number of nonzero digits of more general numerical representation. In fact, we also consider asymptotic behaviour of the digits in negative beta expansion and rotational beta expansion in Section 3. We prove our main results in Section 4.

3 2 Main results

To state our main results, we introduce quasi-Pisot and quasi-Salem numbers as follows: For a complex number z, we denote its complex conjugate by z. Let β be an algebraic integer with β > 1. We say | | β is a quasi-Pisot number (resp. quasi-Salem number) if β < 1 for any β / β, β (resp. β 1 | i| i ∈ { } | i| ≤ for any β / β, β and there exists 1 j [Q(β): Q] satisfying β = 1). For instance, any rational i ∈ { } ≤ ≤ | j | integer b with b 2 is a quasi-Pisot number. Any quadratic algebraic integer β with β > 1 and β / R | |≥ | | ∈ is a quasi-Pisot number. If β is a negative real number such that β is a Pisot number (resp. Salem − number), then β is a quasi-Pisot number (resp. quasi-Salem number). See also example 3.3 for another example of quasi-Pisot numbers. For examples of complex quasi-Salem number β, see [9]. For instance, two zeros β, β of X8 X7 + X6 X4 + X2 X + 1 with β > 1 are quasi-Salem numbers. − − − | | We give lower bounds for the digit exchanges in the representations of complex algebraic numbers by infinite series in base-β in the case where β is a quasi-Pisot or quasi-Salem number. Theorem 2.1. Let β be a quasi-Pisot or quasi-Salem number and ξ an algebraic number with D = [Q(β, ξ): Q(β)]. Let S be a finite subset of Z[β] with 0 S. Moreover, if S Z, then suppose that ∈ 6⊂ β R and there exists a quadratic algebraic integer α Q(β) such that S is a finite subset of the ring of 6∈ ∈ integers of Q(α). ∞ Let R 0 and t = (t ) be a sequence of elements of S satisfying ξ = t β−n. Assume ≥ n n≥1−R n n=1−R there exist π, A , A ,...,A Z[β] with π =0, A =0 satisfying the following: X 0 1 D ∈ 6 D 6 (i) A ξD + A ξD−1 + + A =0, D D−1 ··· 0 (β 1)D−kA (ii) − k Z[β] for 1 k D, π ∈ ≤ ≤ (β 1)DβnA (iii) − 0 / Z[β] for all n N. π ∈ ∈

Then there exist effectively computable positive numbers C5 and C6 such that N 1/D γ(t; N) := Card n N n N,t = t C , { ∈ | ≤ n 6 n+1}≥ 5 logN for all N C . ≥ 6 Remark 2.2. Let ξ be an algebraic number such that D A ξn = 0, where A ,...,A Z[β] and n=0 n 0 D ∈ A = 0. Assume that (i), (ii), and (iii) in Theorem 2.1 holds with some π Z[β] 0 . Let ρ be any D P 6 ∈ \{ } D n element in Z[β]. Then ξ +ρ also satisfies the same assumptions. In fact, putting P (X)= n=0 AnX := D A (X ρ)n, we see that P (ξ + ρ) = 0. Moreover, π, A ,..., A fulfill (i), (ii), and (iii). Hence, it n=0 n − 0 D P suffices to prove Theorem 2.1 in the case of R = 0, by considering ξ +ρ with ρ = 0 t β−fn Z[β] P − n=1−R n ∈ when R 1. f g ≥ P Remark 2.3. Suppose that the assumption on Theorem 2.1 holds and R = 0. Then we have Card n N t = t = . Suppose on the contrary that we have Card n N t = t < . { ∈ | n 6 n+1} ∞ { ∈ | n 6 n+1} ∞ Then there exist t S and N Z satisfying t = t for all n>N . Then we have ∈ 1 ∈ ≥0 n 1 N1 N1 ∞ tβ−N1 (5) ξ = t β−n + tβ−n = t β−n + . n n β 1 n=1 1 n=1 X n=XN +1 X − By equality (5), we have D = [Q(β, ξ): Q(β)] = 1. Then by assumptions (i) and (ii), we obtain A A = A ξ Z[β], 1 Z[β]. 0 − 1 ∈ π ∈

4 Combining (5) and the above relations, we have

(β 1)βN1 A A − 0 = 1 (β 1)βN1 ξ π − π · − N1 A tβ−N1 = 1 (β 1)βN1 t β−n + Z[β], − π · − n β 1 ∈ n=1 ! X − which contradicts assumption (iii).

Theorem 2.4. Let β be a quasi-Pisot or quasi-Salem number and η an algebraic number with D = [Q(β, η): Q(β)]. Let S be a ﬁnite subset of Z[β] with 0 S. Moreover, if S Z, then suppose that ∈ 6⊂ β R and there exists a quadratic algebraic integer α Q(β) such that S is a ﬁnite subset of the ring of 6∈ ∈ integers of Q(α). ∞ −n Let s = (sn)n≥0 be a sequence of elements of S satisfying η = n=0 snβ . Assume there exist B Q(β) and B ,...,B Z[β] with B =0 satisfying the following: 0 ∈ 1 D ∈ D 6 P

D k (6) Bkη =0, kX=0 (7) B βn / Z[β] for all n N. 0 ∈ ∈

Then there exist eﬀectively computable positive numbers C7 and C8 such that

N 1/D (8) λ(s; N) := Card n Z n

Example 2.5. Let β be a Pisot or Salem number. Let p be a prime number which is coprime to β(β 1) ∞ −−n and unramiﬁed in Q(β). Let D be a positive integer. We consider the β-expansion n=1 tn(β, ξ)β O −1/D of the number ξ := p . We see that [Q(β, ξ): Q(β)] = D. In fact, let Q be a prime ideal P ⊂ O (β)P over p and the local ring of Q at . using Eisenstein irreducibility criterion for polynomials, we R O (β) P get that the polynomial XD p is irreducible in Q(β)[X]. Thus, pXD 1 is irreducible in [X], and − − R so irreducible in Q(β)[X] by Gauss’s lemma. By putting A XD + + A := pXD 1 and π := p, D ··· 0 − assumptions (i), (ii) and (iii) in Theorem 2.1 are satisﬁed. Thus, we obtain

N 1/D γ(β, ξ; N) , ≫ log N for any suﬃciently large N.

3 Application to negative and rotational beta expansion

Let (X, ,µ,T ) be an ergodic measure-preserving system on a compact metric space X with sigma-algebra B of Borel sets in X. Then x X is called T -generic if B ∈ 1 N−1 lim f(T nx)= fdµ, N→∞ N n=0 X X Z

5 for any continuous function f on X. If(X, ,µ,T ) = ([0, 1], ,p ,T ), then x is T -generic if and only if B B β β β x is β-normal. Ito and Sadahiro [12] introduced the negative beta expansions of real numbers, which gives a numeration system where the base is a negative real number. The negative beta expansion is defined in terms of the iteration of the map T :[ β/(β + 1), 1/(β + 1)] [ β/(β + 1), 1/(β + 1)) defined by −β − → − β β g T (x)= βx + , −β − β +1 − β +1 where β > 1 is a real number. Applyingg the theorem by Li and Yorke [18], Ito and Sadahiro [12] verified that there exists a unique T−β-invariant measure p−β which is absolutely continuous with respect to the

Lebesgue measure, and so p−β is ergodic. g We now introduce a modified negative beta expansion studied by Liao and Steiner [17]. Let T−β : [0, 1] (0, 1] be defined by T (x) := 1 βx , where T is conjugate to T through the conjugacy → −β −{ } −β −β function f(x) = (β + 1)−1 x. The ( β)-expansion of ξ [0, 1] is defined as − − g∈ ∞ x = t ( β; ξ)( β)−n, n − − n=1 X where t ( β; ξ)= βT n−1(ξ) +1 Z [1, 1+ β]. In the case where ξ is a general real number, using a n − ⌊ −β ⌋ ∈ ∩ suitable integer R 0 with ( β)−R [0, 1], we define the ( β)-expansion of ξ in the same way as (1). ≥ − ∈ − For more general numeration systems of real numbers related to beta expansion, see for instance [10, 11]. As an analogy of the hypothesis on β-normality stated in Section 1, it is natural to conjecture that if β > 1 and ξ R are algebraic numbers, then ξ is T -generic or the ( β)-expansion of ξ is ultimately ∈ −β − periodic. We consider the number of digit exchanges γ( β, ξ; N) defined by − γ( β, ξ; N) := Card n N n N,t ( β, ξ) = t (β, ξ) . − { ∈ | ≤ n − 6 n+1 } Example 3.1. Let β be a Pisot or Salem number. Let p be a prime number which is coprime

to β(β 1) and unramiﬁed in Q . Let D be a positive integer. We consider the ( β)-expansion − O (β) − ∞ t (β, ξ)β−n of ξ, where ξ is a unique zero of the polynomial pXD + pXD−1 + + pX 1 with n=1 n ··· − 0 <ξ< 1. In the same way as Example 2.5, we see that P N 1/D γ( β, ξ; N) , − ≫ log N for any suﬃciently large N.

Akiyama and Caalim [3] defined a rotational beta expansion, which is a natural generalization of beta expansion for the complex plane. We introduce a special version of this expansion. Let β be a complex number with β R and β > 1. Let τ , τ C 0 with τ /τ R. Denote F := xτ + yτ x 6∈ | | 1 2 ∈ \{ } 1 2 6∈ { 1 2 | ∈ [ 1/2, 1/2), y [ 1/2, 1/2) . Let F be the closure of F . Define a map T = T : F F by − ∈ − } β,τ1,τ2 → (9) T (z) := βz δ(z), − where δ(z) is a unique element in Zτ + Zτ satisfying βz δ(z) F . We denote by S = S(β, τ , τ ) the 1 2 − ∈ 1 2 set of digits δ(z) with z F . Note that S is a finite set. Then the rotational β expansion, or simply ∈ β-expansion, of ξ F is defined by ∈ ∞ −n ξ = dnβ , n=1 X

6 where d = d (β, τ , τ ; ξ)= δ(βT n−1(z)) S. In the case where ξ is a general complex number, using n n 1 2 ∈ a suitable nonnegative integer R with β−Rξ F , we deﬁne the rotational β expansion of ξ in the same ∈ way as (1). We deﬁne the number of digit exchanges in the rotational beta expansion of ξ by

γ(ξ; N)= γ(β, τ , τ , ξ; N) := Card n N n N, d (β, τ , τ ; ξ) = d (β, τ , τ ; ξ) . 1 2 { ∈ | ≤ n 1 2 6 n+1 1 2 }

Akiyama and Caalim [3] gave a sufficient condition for β, τ1, τ2 that (F,T ) has a unique absolutely continuous invariant probability measure pβ = pβ,τ1,τ2 on F , and pβ is equivalent to the Lebesgue measure on F . Surer [20] also investigated a numerical system of complex numbers called zeta-expansion. We introduce a special version of this numerical system. Let again β be a complex number with β R and 6∈ β > 1. Set τ := 1 and τ := β. Then we have F = x yβ x [ 1/2, 1/2), y [ 1/2, 1/2) | | 1 2 − { − | ∈ − ∈ − } and βF = β 2x + βy x [ 1/2, 1/2), y [ 1/2, 1/2) . It is remarkable that if ξ F , then we {−| | | ∈ − ∈ − } ∈ have δ(z) Z because the imaginary parts of β and β coincide, where δ(z) is defined by (9). Then the ∈ − zeta-expansion of ξ C is defined by ∈ ∞ ξ = d (β, 1, β; ξ)β−n. n − n=1X−R Example 3.2. Let β be a quasi-Pisot or quasi-Salem number. Let p be a prime number which is coprime to β(β 1) and unramified in Q . Let D be a positive integer. We consider the zeta-expansion − O (β) of ξ, where ξ is a zero of the polynomial pXD + pXD−1 + + pX 1. In the same way as Example 2.5, ··· − we see that N 1/D γ(β, 1, β; ξ) , − ≫ log N for any sufficiently large N because the digits of zeta-expansions are rational integers.

We give an example of the digit exchanges for a rotational beta expansion whose digits are not generally rational integers.

Example 3.3. Let ζ := e2πi/7 be the primitive 7-th root of unity. For an integer a 2, we put 7 ≥ ζa 1 ξ := ζ(1−a)/2 7 − . a 7 ζ 1 7 − Then we have ξ = sin(πa/7) R. Deﬁne the multiplicative group C := ζm1 ξm2 ξm3 m ,m ,m Z . a ± sin(π/7) ∈ { 7 2 3 | 1 2 3 ∈ } Note that C is called the group of cyclotomic units of Q(ζ7) and C is a ﬁnite index subgroup of the units group of Z[ζ ] (see Section 8 in [21]). Let m ,m ,m be positive integers with 1 m 6 and 7 1 2 3 ≤ 1 ≤

(10) m2log(1.247) + m3log(0.554) < 0.

Put β := ζm1 ξm2 ξm3 C. Let σ Gal(Q(ζ )/Q) with σ (ζ )= ζi for 1 i 6. Remark σ (ξ )= ξ ξ−1 7 2 7 ∈ i ∈ 7 i 7 7 ≤ ≤ i a ia i and

ξ =1.8019377358 ..., ξ =2.24697960372 ..., | 2| | 3| σ (ξ ) =1.24697960372 ..., σ (ξ ) =0.55490813208 ..., | 2 2 | | 2 3 | σ (ξ ) =0.445041867911 ..., σ (ξ ) =0.8019377358 .... | 3 2 | | 3 3 | By the above equalities and (10), we obtain

β = σ (β) > 1, σ (β) = σ (β) < σ (β) = σ (β) < 1. | | | 6 | | 3 | | 4 | | 2 | | 5 |

7 · Thus the number β is a quasi-Pisot number and Q(ζ7)= Q(β). Using the Legendre symbol 7 , we put 7 a a α := ζ (Gauss sum). Then α is an imaginary quadratic integer. Let Q (resp. Q 7 ) be 7 7 O (α) O (ζ ) a=1 X the ring of integers of Q(α) (resp. Q(ζ7)). We consider rotational β-expansion, where τ1, τ2 are elements of Q Z[β] with τ /τ R. Then the set S of the digits in the rotational β expansion satisﬁes the O (α) ∩ 1 2 6∈ assumptions of Theorem 2.1.

Let p be a prime number which is coprime to β(β 1) and unramiﬁed in Q 7 . Let D be a − O (ζ ) positive integer. Then, by the same arguments in Example 2.5, the polynomial pXD 1 is irreducible in − Q(ζ )[X]. Put ξ := p−1/D, π := p, A := p, A = ... = A = 0 and A := 1. Then the numbers 7 D D−1 1 0 − ξ,π,AD,...,A0 satisfy assumptions (i), (ii) and (iii) in Theorem 2.1. Hence, we obtain that

N 1/D γ(β, τ , τ ; ξ) , 1 2 ≫ log N for any suﬃciently large N.

Akiyama and Caalim [2] introduced a rotational beta expansion in Rm, which is a natural generalization of the rotational expansion in C. The rotational beta expansion in Rm is deﬁned in terms of a map T (z)= βMz for z Rm, where β > 1 is a real number and M is an orthogonal matrix of order m. It is ∈ a future work to investigate the uniformity of the digits in the rotational beta expansion of elements of Rm.

4 Proof of main results

4.1 Reduction of Theorem 2.1 to Theorem 2.4

By Remark 2.2, we may assume that R = 0. Firstly, we reduce Theorem 2.1 to Theorem 2.4. Deﬁne the sequence v = (v(m)) Z of nonnegative integers by v(0) = 1+ N , v(1) < v(2) < and m∈ ≥0 − 0 ··· n N t = t = v(m) m N . { ∈ | n 6 n+1} { | ∈ } Denote t (= t ) by x(m) for any m N. Note that x(1) = t = 0. We see v(m) 1+v(m−1) ∈ N0 6 ∞ ∞ v(m) −n −n ξ = tnβ = tnβ n=1 m=1 X X n=1+Xv(m−1) ∞ v(m) = x(m) β−n m=1 X n=1+Xv(m−1) ∞ 1 β−v(m)+v(m−1) = x(m)β−1−v(m−1) − 1 β−1 m=1 − X ∞ 1 = x(m)(β−v(m−1) β−v(m)) β 1 − − m=1 X ∞ ∞ 1 1 = x(1)β−v(0) + (x(m + 1) x(m))β−v(m) = s β−n, β 1 − β 1 n m=1 ! n=0 − X − X

8 where the sequence (sn)n∈Z≥0 of integers is deﬁned by

x(1) if n = v(0),

sn = x(m + 1) x(m) if there exists m N satisfying n = v(m),  − ∈ 0 otherwise.  Putting S := a b a,b S , we see that β and S satisfy the assumptions of Theorem 2.4. In fact, if { − | ∈ } S Z, then S is a ﬁnite subset in the ring of integers of Q(α), where α is denoted in the assumption 6⊂ e e of Theorem 2.1. Note that (s ) Z is bounded and s S for any n 0. Putting η = (β 1)ξ and n n∈ ≥0 n ∈ ≥ − B = A (β 1)e D−kπ−1 for 0 k D, we get that η, B (0 k D) satisfy (6) and (7) by assumptions k k − ≤ ≤ k ≤ ≤ (i), (ii) and (iii) of Theorem 2.1. Since x(1) = 0, we see n eN s =0 = v(0) n N t = t , 6 { ∈ | n 6 } { }∪{ ∈ | n 6 n+1} and so we reduced the proof of Theorem 2.1 to the proof of Theorem 2.4.

4.2 Preliminaries for the proof of Theorem 2.4

In what follows, the implied constants in the symbols , and the constants C , C ,... are effectively ≫ ≪ 9 10 computable positive ones. If necessarily, changing ηβN with suitable nonnegative integer N by η, we may assume that s = 0. Let Γ := n N s =0 and λ(Γ; N) := Card n Z s =0, n 0, | |≥ 9 {| | | ∈ O\{ }} by ρ(k; m) . ∈ O For any integer k with 0 k D, we define the set kΓ of integers by ≤ ≤ 0 if k =0, kΓ= { }  m + + m m ,...,m Γ if 1 k D. { 1 ··· k | 1 k ∈ } ≤ ≤ Note that if m / kΓ we have ρ(k; m) = 0. Moreover, 1Γ = Γ, 0 Γ and 0Γ Γ DΓ. For a ∈ ∈ ⊂ ⊂ ···⊂ positive interger N, put λ(kΓ; N) = Card(kΓ [0,N)). By the definition of kΓ, we have ∩ Card m Z m

D ∞ −m YR = Bk β ρ(k; m + R), m=1 kX=1 X

9 where R Z . We prove that Y = 0. By equality (6), we have ∈ ≥0 R 6 D D ∞ k −m 0= Bkη = B0 + Bk β ρ(k; m). m=0 kX=0 Xk=1 X Multiplying βR to the above equality, we obtain

D ∞ D ∞ R −m+R R −m 0= B0β + Bk β ρ(k; m)= B0β + Bk β ρ(k; m + R). m=0 Xk=1 X Xk=1 mX=−R By the above equalities,

D 0 (13) Y = B βR B β−mρ(k; m + R). R − 0 − k Xk=1 mX=−R In particular, Y is an algebraic number. If Y = 0 then, by (13) and B Z[β] for 1 k D, we have R R k ∈ ≤ ≤ B βR Z[β], which contradicts (7). Hence, we conclude Y = 0. 0 ∈ R 6 Lemma 4.1. There exist positive integers C , C satisfying Y > R−C10 for all R C . 10 11 | R| ≥ 11 Proof. Put d = deg β and denote the set of embeddings of Q(β) into C by σ ,...,σ . We describe { 1 d} σ (x)= x for all x Q(β) and denote the complex conjugate of σ by σ if β / R. 1 ∈ 1 2 ∈ Let 2 i d if β R (resp. 3 i d if β / R). Recall that ρ(k; m) Z[β] for any 1 k D and ≤ ≤ ∈ ≤ ≤ ∈ ∈ ≤ ≤ m Z . By (13), we have ∈ ≥0 D 0 σ (Y ) σ (B βR) + σ (B ) σ (β−m) σ (ρ(k; m + R)) | i R | ≤ | i 0 | | i k | | i || i | Xk=1 mX=−R D 0 B + σ (B ) T k(R + m + 1)k ≤ | 0| | i k | kX=1 mX=−R (14) (R + 1)D+1. ≪ Note that in the above second inequality, we use σ (β) 1 and (11). Take a positive integer J satisfying | i |≤ JB Z. By equality (13) and B Z[β] for k =1,...,D, we have JY Z. 0 ∈ k ∈ R ∈

If β R, then we have ∈ d 1 JY σ (JY ) Y (R + 1)(d−1)(D+1), ≤ | R| | i R | ≪ | R| i=2 Y by (14). In the case of β / R, also using (14), we have ∈ d 1 JY 2 σ (JY ) Y 2(R + 1)(d−2)(D+1). ≤ | R| | i R | ≪ | R| i=3 Y In both cases, there exist positive integers C , C satisfying Y > R−C10 for all R C , which 10 11 | R| ≥ 11 completes the proof of Lemma 4.1.

Let N be a positive integer. We put B C = | D|C , 12 2 β 9 | | and y := Card R Z R < N, Y C . N { ∈ ≥0 | | R|≥ 12}

10 Lemma 4.2. For all suﬃciently large integer N, we have

y logN + λ(Γ; N)D. N ≪ Proof. Put K = (D + 1)log N , where log x = (log x)/(log β ). Then by the deﬁnition of y , ⌈ |β| ⌉ |β| | | N we have

y K + y = K + 1 N ≤ N−K+1 0≤R≤N−K |YRX|≥C12 1 N−K K + YR . ≤ C12 | | RX=0 We estimate the upper bound for N−K Y . By the deﬁnition of Y , we obtain R=0 | R| R N−K P N−K D ∞ Y B β−mρ(k; m + R) | R|≤ | k | m=1 RX=0 RX=0 Xk=1 X D ∞ N−K = B β−mρ(k; m + R) | k| | | m=1 Xk=1 X RX=0 D = B z (k), | k| N Xk=1 where z (k) = ∞ N−K β−mρ(k; m + R) . To obtain the assertion of Lemma 4.2, it is enough to N m=1 R=0 | | prove P P (15) z (k) λ(Γ; N)D for all 1 k D. N ≪ ≤ ≤ Put S (k) = K−1 β −m N−K ρ(k; m + R) and S (k) = ∞ β −m N−K ρ(k; m + R) . Note 1 m=1 | | R=0 | | 2 m=K | | R=0 | | that by the deﬁnition of z (k), we have z (k)= S (k)+ S (k). First, we estimate the upper bound for P NP N 1 2 P P S1(k) as follows:

K−1 N−1 ∞ N−1 S (k) β −m ρ(k; R) β −k ρ(k; R) 1 ≤ | | | |≤ | | | | m=1 X RX=0 Xk=0 Xk=0 N−1 N−1 ρ(k; R) s s ≪ | |≤ | m1 ··· mk | R=0 R=0 m1,...,mk∈Γ X X m1+···X+mk =R (16) = s s T k 1 | m1 ··· mk |≤ m1,...,mk∈Γ m1,...,mk∈Γ m1+···X+mk

Note that (16) is obtained by inequality (11). Second, we estimate the upper bound for S2(k) as follows:

11 Note that in inequality (18), we use (11). If N 1, we have ≫ m +1+ N D 1+ β (20) | | for any m 1. m + N ≤ 2 ≥ Then combining (19) and (20), we obtain

4.3 Relation between YR and YR−1 For a positive integer N, we put τ(N) = τ := Card((D 1)Γ; N) and deﬁne the sequence of integers − (i(h)) by [0,N) (D 1)Γ =: 0= i(1) <

τ (22) Card Ih = N, h=1 Xτ (23) yN (h)= yN . hX=1 Lemma 4.3. Let h, R be integers satisfying 1 h τ and R (i(h),i(h + 1)). Then we have ≤ ≤ ∈ B 1 Y = D ρ(D; R)+ Y . R−1 β β R

Proof. Firstly, since (i(h),i(h+1)) (D 1)Γ = , we have (i(h),i(h+1)) kΓ= for 1 k D 1 ∩ − ∅ ∩ ∅ ≤ ≤ − and

(24) ρ(k; R)=0for1 k D 1. ≤ ≤ −

By the deﬁnition of YR−1, we have

D ∞ Y = B β−mρ(k; m + R 1) R−1 k − m=1 kX=1 X D D ∞ = B β−1ρ(k; R)+ B β−mρ(k; m + R 1) k k − m=2 kX=1 Xk=1 X D ∞ B = D ρ(D; R)+ B β−m−1ρ(k; m + R) β k m=1 kX=1 X B = D ρ(D; R)+ β−1Y . β R

Note that in above third equality, we use equality (24), which completes the proof of Lemma 4.3.

12 Lemma 4.4. Let N 1. Put C =1+ D + C . Let h and R be integers with 1 h τ and ≫ 13 10 ≤ ≤

(25) i(h)+3C13log|β|N

Then we have

′ ′ (26) R max R R < R, Y ′ C 2C log N. − { | | R |≥ 12}≤ 13 |β| Proof. Let N be a suﬃciently large integer such that (20) holds. Taking R with (25), we see by the

deﬁnition of YR that

D ∞ Y B β−mρ(k; m + R) | R|≤ | k| | | m=1 Xk=1 X D ∞ B β −m(m + R + 1)D ≪ | k| | | m=1 Xk=1 X D ∞ B β −m(m + N)D ≤ | k| | | k=1 m=1 X∞ X β −m(m + N)D ≪ | | m=1 X ∞ 1+ β m β −1(N +1)D β −m | | . ≤ | | | | 2 m=0 X Then by the above inequalities, we have for any N 1 that ≫ (27) Y

Recall that C10 and C11 are the positive integers deﬁned in Lemma 4.1. By the above inequality and Lemma 4.1, we have

β S+1

′ ′ R := max R R < R, Y ′ C . 1 { | | R |≥ 12}

13 Then we have R m′ (i(h),i(h + 1)) and − ∈

BD ′ 1 Y ′ = ρ(D; R m )+ Y ′ . R−m −1 β − β R−m First we assume that BD Y ′ C = | |C . | R−m |≥ 12 2 β 9 | | Then we have R R m′ and R R m′ 2C log N, which implies (26). 1 ≥ − − 1 ≤ ≤ 13 |β| In the case of Y ′ < C , using β > 1 and (28), we get that | R−m | 12 | |

BD ′ 1 Y ′ ρ(D; R m ) Y ′ | R−m |≥ β − − β R−m

B | D|C C = C . ≥ β 9 − 12 12 | | Therefore, we deduce R R m +1 2C log N, − 1 ≤ ≤ 13 |β| which completes the proof of Lemma 4.4.

4.4 Completion of the proof of Theorem 2.1

We shall show by Lemma 4.4 that there exists a constant C satisfying the following: if N 1, then 14 ≫

CardIh (29) yN (h) , ≥ $C14log|β|N %

for any 1 h τ. In fact, take C with C > 4C . If CardI 4C log N, then (29) follows from ≤ ≤ 14 14 13 h ≥ 13 |β| Lemma 4.4. In the case of CardIh < 4C13log|β|N, we get (29) because the right-hand side is equal to 0. Using relations (23), (29), (22) and (21), we obtain

τ τ CardIh yN = yN (h) 1 ≥ C14log|β|N − ! hX=1 hX=1 N N τ λ(Γ; N)D−1. ≥ C14log|β|N − ≥ C14log|β|N − Then by Lemma 4.2, we have

D N D−1 C15 logN + λ(Γ; N) yN λ(Γ; N) . ≥ ≥ C14log|β|N − By the inequality above, we conclude for any N 1 that ≫ D N (1 + C15)λ(Γ; N) , ≥ 2C14log|β|N which completes the proof of Theorem 2.1.

Acknowledgements

The authors would like to thank Professor Shigeki Akiyama for useful comments on rotational beta expansion. The authors are grateful to Professor Paul Surer for useful information on zeta-expansion. The ﬁrst author was supported by JSPS KAKENHI Grant Numbers 15K17505 and 19K03439.

14 References

[1] B. Adamczewski and Y. Bugeaud, Dynamics for β–shifts and Diophantine approximation, Ergod Th. & Dynam. Sys. 27 (2007), pp. 1695–1711.

[2] S. Akiyama and J. Caalim, Invariant measure of rotational beta expansion and Tarski’s plank prob- lem, Discrete Comput. Geom. 57 (2017), pp. 357–370.

[3] S. Akiyama and J. Caalim, Rotational beta expansion: Ergodicity and Soﬁcness, J, Math. Soc. Japan 69 (2017), pp. 397–415.

[4] D. H. Bailey, J. M. Borwein, R. E. Crandall, C. Pomerance, On the binary expansions of algebraic numbers, J. Th´eor. Nombres Bordeaux 16 (2004), pp. 487–518.

[5] E.´ Borel, Sur les chiffres décimaux de √2 et divers problèmes de probabilités en chaˆıne, C. R. Acad. Sci. Paris 230 (1950), pp. 591–593.

[6] Y. Bugeaud, On the b-ary expansion of an algebraic number, Rend. Semin. Mat. Univ. Padova 118 (2007), pp. 217–233.

[7] Y. Bugeaud, On the β-expansion of an algebraic number in an algebraic base β, Integers 9 (2009), pp. 215–226.

[8] Y. Bugeaud and J. -H. Evertse, On two notions of complexity of algebraic numbers, Acta Arith. 133 (2008), pp. 221–250.

[9] P. Drungilas, J. Jankauskas, J. Siurys,ˇ On Littlewood and Newman polynomial multiples of Borwein polynomials, Math. Comp. 87 (2018), pp. 1523–1541.

[10] B. Faller. Contribution to the ergodic theory of piecewise monotone continuous maps, PhD Thesis, Ecole´ Polytechnique F´ed´erale de Lausanne, 2008.

[11] P. G´ora, Invariant densities for generalized β-maps, Ergod Th. & Dynam. Sys. (2007) 27, pp. 1583– 1598.

[12] S. Ito and T. Sadahiro. Beta-expansions with negative bases, Integers 9 (A22) (2009), pp. 239–259.

[13] H. Kaneko, On the binary digits of algebraic numbers, J. Aust. Math. Soc. 89 (2010), pp. 233–244.

[14] H. Kaneko, On the number of digit changes in base-b expansions of algebraic numbers, Unif. & Distrib. Theory. (2012), 7, pp. 141–168.

[15] H. Kaneko, On the beta-expansions of 1 and algebraic numbers for Salem number beta, Ergod Th. & Dynam. Sys. (2015), 35, pp. 1243–1262.

[16] H. Kaneko, On the number of nonzero digits in the beta-expansions of algebraic numbers, Rend. Sem. Mat. Univ. Padova, Vol. 136 (2016), pp. 205–223.

[17] L. Liao and W. Steiner, Dynamical properties of the negative beta-transformation, Ergod Th. & Dynam. Sys. (2012), 32, pp. 1673–1690.

[18] T-Y. Li and J. Yorke. Ergodic transformations from an interval into itself, Trans. Amer. Math. Soc. (1978) 235, pp. 183–192.

15 [19] A. R´enyi, Representations for real numbers and their ergodic properties, Acta Math. Acad. Sci. Hung. 8 (1957), pp. 477–493.

[20] P. Surer. Representations for complex numbers with integer digits, Res. Number Theory. 6, Article number, 47 (2020)

[21] L. C. Washington, Introduction to cyclotomic ﬁelds; second edition, Graduate Texts in Mathematics 83, Springer.

Hajime Kaneko Institute of Mathematics, University of Tsukuba, 1-1-1 Tennodai, Tsukuba, Ibaraki, 305-8571, JAPAN; Research Core for Mathematical Sciences University of Tsukuba, 1-1-1 Tennodai, Tsukuba, Ibaraki, 305-8571, JAPAN [email protected]

Makoto Kawashima Faculty of Production Engineering, Nihon University, 2-11-1 Shinsakae, Narashino, Chiba, 275-, 8576, Japan [email protected]