#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT
|
|
- Anabel Parrish
- 5 years ago
- Views:
Transcription
1 #A5 INTEGERS 8A (208) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT Yann Bugeaud IRMA, UMR 750, Université de Strasbourg et CNRS, Strasbourg, France Tomislav Pejković Department of Mathematics, Faculty of Science, University of Zagreb, Zagreb, Croatia Received: 4/6/7, Revised: /6/7, Accepted: /23/8, Published: 3/6/8 Abstract Let p be a prime number and µ > 2 a real number. We establish that the irrationality exponent of the p-adic number P + pbµic is equal to µ. This provides us with explicit examples of p-adic numbers with any prescribed irrationality exponent. To Je Shallit on his sixtieth birthday. Introduction The irrationality exponent µ( ) of an irrational real number is the supremum of the real numbers µ such that a b < b µ has infinitely many solutions in rational numbers a/b. It follows from the theory of continued fractions that µ( ) is at least 2. Furthermore, for any given real number µ > 2, it is easy to construct explicitly continued fraction expansions of real numbers µ with irrationality exponent µ. However, if one requires additional properties, like for example µ being in the middle third Cantor set, this is less straightforward. This question was solved recently in [5], also by means of the theory of continued fractions. The main goal of this paper is to consider the analogous problem for p-adic numbers (here, and throughout the paper, p denotes a prime number), that is, to construct explicit examples of p-adic numbers with prescribed irrationality exponent and only digits 0 and in their Hensel expansion.
2 INTEGERS: 8A (208) 2 A natural idea is to translate the argument of [5] to the p-adic setting. Unfortunately, this does not seem to work, since there is no full analogue of the theory of continued fractions in p-adic fields. Admittedly, it is possible to express a p-adic number as a continued fraction, but, unlike in the real case, one cannot read o from this expansion all the best rational approximations to. Recall that to determine the exact value of the irrationality exponent of requires, on the one hand, to bound it from below, that is, to find an infinite sequence of very good rational approximations to (this is often an easy step) and, on the other hand, to establish that only finitely many very good rational approximations to are outside this sequence (this is usually much more delicate). In most of the cases in the real setting, this delicate step requires a precise description of the continued fraction expansion of. For a reduced rational number a/b, let H(a/b) = max{ a, b } denote its height. The irrationality exponent µ( ) of an irrational p-adic number is the supremum of the real numbers µ such that a b p < H(a/b) µ has infinitely many solutions in rational numbers a/b. If a reduced rational number a/b is such that a/b p is smaller than p, then the ultrametric inequality implies a/b p = p and thus quantities like max{ a p, b p } and min{ a p, b p } would be constant which renders them useless for our work. This is why H(a/b) as defined above is used as a measure of size for a rational approximation a/b to, also in the p-adic setting. As in the real setting, we have µ( ) > 2; see for example Section 9.3 of [4]. Our main result is the following theorem. Theorem. Let p be a prime number. Let c := (c i ) i>0 be a sequence of positive integers such that c i+ > 2c i for i large enough. Then the irrationality exponent of the p-adic number is equal to c := +X p ci c := lim sup i!+ c i+ c i. In particular, for any real number µ > 2, we have µ + X p bµi c = µ. Theorem is the p-adic analogue of a result stated in the Introduction of [6].
3 INTEGERS: 8A (208) 3 It follows from Theorems B and 6 of [], whose proofs rest on a p-adic version of Schmidt Subspace Theorem, that all the p-adic numbers c defined in Theorem are transcendental, since their Hensel expansions have small block complexity. For every real number µ > 2, the Hausdor dimension of the set of p-adic numbers with irrationality exponent µ is equal to 2/µ; see Theorem 6.9 of [2]. This implies the existence of p-adic numbers with any prescribed irrationality exponent. As far as we are aware, explicit examples of p-adic numbers with irrationality exponent equal to µ were not known for µ < (3+ p 5)/2 (for larger values of µ, we can use the argument described in [8] in the real setting). Of course, it is clear that P + pbµi c is a good candidate for having irrationality exponent µ, but this was proved only for µ > (3 + p 5)/2. Our strategy is the following. We work in the field of power series and consider the continued fraction expansion of P + X ci and its convergents. Replacing X by p we deduce good and very good rational approximations to the p-adic number c. We are then in a position to apply Lemma 2 below to complete the proof of Theorem. Note that we do not employ as technical terms the attributes very good and good for approximations. They are used for sequences of rational approximations which give either the best possible lower bound on the irrationality exponent or a lower bound greater than two. We believe that this usage helps with the intuitive understanding of the exposition. In the following section, we establish an auxiliary lemma that will be useful for bounding from above the irrationality exponent of a (p-adic) number. In the last section we introduce continued fractions in the field of rational power series and use them to prove Theorem. We keep the notation of Theorem throughout this paper. 2. Bounding the Irrationality Exponent From Above Using the infinite family of rational approximations kx p ci, k > 0, to c, we easily get that µ( c ) > c. Let us give a detailed proof. Since lim sup i!+ c i+ /c i = c and lim i!+ c i = +, we have lim sup i!+ c i+ c i + = c.
4 INTEGERS: 8A (208) 4 Let > 0 and choose a subsequence (c ij ) j>0 such that i 0 >, c i0 > 2c i0, and c ij+ > c, for j > 0. c ij + Then we have Therefore, X ij H p c` = `=0 i j X `=0 p c` < p ci j +, for j > 0. c i X j p c` `=0 = p X ij ci j + < H p `=0 c i j + p c` c ij + < H X ij c` c+. p `=0 It follows that µ( c ) > c and since > 0 was arbitrary, we conclude that µ( c ) > c. This proves Theorem when c is infinite. From now on, we assume that c is finite. Establishing that µ( c ) 6 c is more delicate. The basic idea is the existence of many very good rational approximations to c, which impedes the existence of even better rational approximations. As auxiliary tools, we need the following two elementary lemmas, whose proofs rest on triangle inequalities. Lemma. Let be in Q p. Let #, 2 (, +) be real numbers and P, Q, m, n integers such that Q and n are nonzero, m/n and P/Q are reduced and distinct. If P/Q p 6 H(P/Q) # and m/n p 6 H(m/n), then H(m/n) 6 2 H(P/Q) or H(m/n) > 2 H(P/Q)#. () Proof. Using the fact that P n Qm 6 2 H(P/Q) H(m/n) and the non-archimedean nature of the p-adic absolute value, we get 2 H(P/Q) H(m/n) 6 P n Qm Qn = P p Q m n p 6 max { P/Q p, m/n p } 6 max{h(p/q) #, H(m/n) }, thus If we have /2 6 max{h(p/q) # H(m/n), H(P/Q) H(m/n) } H(P/Q) # H(m/n) 6 H(P/Q) H(m/n), i.e., H(m/n) 6 H(P/Q) #/,
5 INTEGERS: 8A (208) 5 then If, on the other hand, we have H(m/n) 6 2 H(P/Q). H(P/Q) # H(m/n) > H(P/Q) H(m/n), i.e., H(m/n) > H(P/Q) #/, then H(m/n) > 2 H(P/Q)#. Therefore, () always holds. Lemma 2. For 2 Q p, let (# k ) k>0 be a sequence of real numbers such that lim inf k!+ # k > and let (P k /Q k ) k>0 be a sequence of distinct rational numbers such that P k Q = H(P k/q k ) # k k p holds for k > 0. Let be a real number with > + lim sup k!+ log H(P k+ /Q k+ ) (# k ) log H(P k /Q k ). (2) Then there exist only finitely many rational numbers m/n outside the sequence (P k /Q k ) k>0 which satisfy In particular, we have n µ( ) 6 max lim sup k!+ m n p 6 H(m/n). (3) # k, + lim sup k!+ log H(P k+ /Q k+ ) o. (4) (# k ) log H(P k /Q k ) Proof. Excluding, if necessary, at most finitely many elements from the sequence (P k /Q k ) k>0, we can assume without loss of generality that for some > 0 and all k > 0, we have # k > +. Suppose that (2) is fulfilled and that there are infinitely many rational numbers m/n not in (P k /Q k ) k>0 such that (3) holds. For such a rational number m/n with H(m/n) large enough, let k 0 be the largest positive integer such that 2 H(Pk0 /Q k0 ) < H(m/n). Then Lemma implies that which gives 2 H(P k 0 /Q k0 ) # k 0 6 H(m/n) 6 2 H(Pk0+/Q k0+), 6 log 2 + log H(P k 0+/Q k0+). (# k0 ) log H(P k0 /Q k0 )
6 INTEGERS: 8A (208) 6 From our assumption and the fact that (H(P k /Q k )) k>0 is unbounded, the last inequality would have to hold for infinitely many positive integers k 0. This is in contradiction with (2). We stress that exact analogues of Lemmas and 2 hold in the real setting. Example. Let c > 2 be a real number. Lemma 2 can be applied to c := P + pbcic and the p-adic numbers k = P k pbcic, k > 2, to show that µ( c ) 6 c when c k+ c > + lim sup k!+ (c )c k = + c c. This implies that µ( c ) = c when c 2 3c + > 0, that is, for c > (3 + p 5)/2 = However, besides ( k ) k>0, we can also take into consideration the following very good rational approximations to c defined for k > 2 by X p bcic + p bckc + p bck+ c bc kc + p 2(bck+ c bc k c) + k k = kx = p bcic p bck c + p. bck+ c bc k c It is not di cult to show that H( k ) = k p ck, H( k ) p ck+ c k +c k, c k p p ck+ H( k ) c, c k p p 2ck+ +c k H( k ) (2c2 c)/(c 2 c+), H( k ) < H( k ) < H( k+ ) for k large enough. Here, all the constants implicit in can be made explicit and depend only on p and c. If we now apply Lemma 2 with the union of the two sequences ( k ) k>2 and ( k ) k>2, we get after some calculation that µ( c ) 6 c for c > Nevertheless, in order to prove that µ( c ) = c for all c > 2, we require many more good rational approximations to c. To find them, looking for repetitions and completing by periodicity is not su cient. We need an additional idea. 3. Proof of Theorem In order to construct very good rational approximations to our p-adic number, we first need to work with continued fractions in the field of power series. The field of rational power series Q((X )) is the completion of Q(X) with respect to the
7 INTEGERS: 8A (208) 7 non-archimedean absolute value k k defined on Q(X) by kxk = e. Instead of e, we can fix any real number greater than. If ˆ 2 Q((X )) and ˆ 6= 0, then we can write ˆ = P + k=k 0 a k X k, where k 0 2 Z, a k 2 Q and a k0 6= 0. More information on this subject can be found in [] and [7]. An element of Q(X) can be expressed as a finite continued fraction [S 0, S,..., S n ] := S 0 + S S n where each partial quotient S i is a rational polynomial. This expression is unique if we require that the degree deg S i is positive for i > 0. Beside some basic facts from the theory of continued fractions (see e.g. [4]), our main tool is the so-called Folding Lemma; see [9, 2, 3, 0] and Chapter 6 of [3]. Throughout this paper, for a word! w = a, a 2,..., a h, we denote by w the word a h, a h,..., a and by w the word a h, a h,..., a. Lemma 3 (Folding Lemma). Let r, s, t be in Q[X] with t non-constant. Write r/s = [a 0, a,..., a h ], where a i 2 Q[X] for 0 6 i 6 h and denote by! w the word a,..., a h. Then, we have r s + ( )h ts 2 = [a 0,! w, t, w ] = [a 0,! w, t,,, 0, w ]. When using the Folding Lemma, we will usually immediately make the substitution [..., a, 0, b,...] = [..., a + b,...], which can be easily checked. The irrationality exponent of an irrational number does not change when multiplying it or adding to it any nonzero rational number. Thus if necessary, we can omit finitely many terms in c and multiply this number with p, so that c i+ > 2c i holds for all i > 0. This results in no loss of generality and will be assumed during the proof of Theorem. Starting from X c0 = [0, X c0, ] and successively applying Lemma 3 first with t = X c 2c0 and then with t = X c2 2c, we obtain and X c0 + X c = X c0 + ( ) 2 (X c 2c0 X 2c0 ) = [0, X c0,, X c 2c0, X c0 ] X c0 + X c + X c2 = X c0 + X c + ( ) 4 (X c2 2c X 2c ) = [0, X c0,, X c 2c0, X c0, X c2 2c,,, X c0, X c 2c0,, X c0 ].
8 INTEGERS: 8A (208) 8 Continuing this process indefinitely with t = X c k+ 2c k for k >, we arrive at the continued fraction expansion ˆ c = +X X ci = [a 0, a, a 2,...] = [0, X c0,, X c 2c0, X c0, X c2 2c,, X c0, X c 2c0,, X c0, X c3 2c2,, X c0 2,...] 2 Q((X )). We need to justify the convergence of the continued fraction expansion in (5) since there are partial quotients of degree 0, namely those which are equal to. The following facts are established by an easy induction and, therefore, we give only an outline of their proofs. Proposition. Let ˆ c 2 Q((X )) be the sum of the infinite series in (5). Then the following statements hold. (i) No two consecutive elements in the sequence (a i ) i>0 are equal to. (ii) For i > 0, if a i 6=, then a i is a monic integer polynomial and deg a i >. (iii) If i 3 or 8 (mod 2), then a i = X c 2c0. If i 3 2 k or 9 2 k (mod 3 2 k+ ) for some k > 2, then a i = X c k 2c k. If i does not satisfy any of these congruences, then a i 2 {, X c0, X c0, X c0 2}. (iv) Set P n /Q n = [a 0, a,..., a n ], where P n, Q n 2 Z[X] for n > 0. Then, for any n >, either deg Q n < deg Q n or deg Q n = deg Q n < deg Q n+. The polynomials P n (for n > ) and Q n are monic, thus Q n (/p) 6= 0. (5) (v) deg P n = deg Q n = nx deg a i for n > 2, i=2 nx deg a i for n >, i= deg Q n deg P n = c 0 > 0.
9 INTEGERS: 8A (208) 9 (vi) P 3 2k 2 = Q 3 2k 2 kx X ci, Q 3 2k 2 = X c k, for k >. (6) (vii) The sequence (P n /Q n ) n>0 converges to ˆ c in Q((X )). Sketch of the proof. Statements (i) and (ii) are easy and (iii) requires only careful attention to the indices when observing the repeated application of the Folding Lemma. The claim in (iv) follows from (i) and (ii) using the recurrence relation satisfied by P n and Q n, namely P 0 = 0, P =, P n = a n P n + P n 2, Q 0 =, Q = X c0, Q n = a n Q n + Q n 2, for n > 2 (7) The same identities are used to prove (v), while (vi) follows immediately from the Folding Lemma. The well-known identity P n+ Q n P n Q n+ = ( ) n, n > 0, (8) follows inductively from (7). Applying (8) for n consecutive indices gives P n+ = + + ( ) n. (9) Q n+ Q 0 Q Q Q 2 Q n Q n+ From (iv), we have kq i Q i k < kq i Q i+ k, so the infinite series +X ( ) i (Q i Q i+ ) converges in Q((X )) and the partial sums of this series are convergents of the continued fraction in (5). But (vi) now shows that lim n!+ P n /Q n = ˆ c so that (vii) is proved as well. Note that we have also proved (cf. (v)) that c P n = kq n Q n+ k = e 2 P n i= deg ai deg an+. (0) Q n We prove an auxiliary result on the growth of denominators of partial quotients. Recall that c i+ c = lim sup. i!+ c i
10 INTEGERS: 8A (208) 0 Proposition 2. The polynomials Q n defined in Proposition satisfy log n lim = 0, n!+ deg Q n () deg Q n+ deg Q n+ lim inf =, lim sup = c n!+ deg Q n n!+ deg Q n. (2) Proof. From (iv) in Proposition, we deduce that deg Q n > deg Q n 2 + for n > 2. Iterating this gives deg Q n > bn/2c for n > and () holds. The first equality in (2) is obvious if we take into account (v) from Proposition and the fact that deg a i 2 {0, } for infinitely many i. If n = 3 2 k 2 for some k >, then deg Q n+ deg Q n = c k+ c k c k = c k+ c k. (3) For an integer n > 5 not of this form, let k be the positive integer such that 3 2 k 6 n < 3 2 k+ 2. Then, by (vi), (v) and (iii) of Proposition, we get deg Q n > deg Q 3 2k = c k+ c k > c k and deg Q n+ 6 deg Q n + d, where Hence, d 6 max{c i 2c i : 0 6 i 6 k}, (c := 0). deg Q n+ 6 + d 6 + c i/c i c i/c i 2 6 c i, (4) deg Q n c k c k /c i 2 2c i for some i 2 {,..., k}. Since c > 2, we get c/2 6 c (3) and (4) implies the second equality in (2). and the combination of The following proposition uses the symmetric structure of the continued fraction expansion of ˆ c (obtained by means of repeated applications of the Folding Lemma) in order to express the convergents of this continued fraction expansion in terms of certain convergents with smaller indices. Proposition 3. Let n and k be positive integers such that 3 2 k 6 n < 3 2 k+ 2. Set m = 3 2 k 2 and l = 3 2 k+ 3 n. Then, P n Q n = Xck+ 2ck P m (P m Q l Q m P l ) P l X c k+ 2c kqm (P m Q l Q m P l ) Q l. (5)
11 INTEGERS: 8A (208) Proof. Since 0 6 l k 3, we can write for l < 3 2 k 3, where This gives Setting P m Q m = (U l/v l )P l+ + P l (U l /V l )Q l+ + Q l, U l V l = [w l ], w l = a l+2,..., a m. U l V l = we deduce from the Folding Lemma that We also have Q l P m P l Q m. (6) Q l+ P m + P l+ Q m S l T l = [0, w l, X c k+ 2c k, w l ], S l T l = V l U l + ( ) l X c k+ 2c ku 2 l = Xck+ 2ck U l V l + ( ) l X c k+ 2c ku 2 l. (7) P n Q n = (T l/s l )P l+ + P l (T l /S l )Q l+ + Q l. (8) Note that the fractions that appear in (6) and (7) are reduced. Now we substitute (6) into (7) and (7) in (8) and use the fact that P l+ Q l P l Q l+ = ( ) l. Simplifying the expression, we obtain (5). Again, the fractions in (5) are reduced. If l = 3 2 k 3 = m, then S l /T l = [0, X c k+ 2c k ] and (8) gives (5) directly. Now we make the formal substitution X 7! /p and define the quantities c = +X p ci 2 Q p, A n = p deg Qn P n (/p), B n = p deg Qn Q n (/p), n > 0. The next proposition summarizes properties of c and the sequences (A n ) n>0 and (B n ) n>0. Proposition 4. For the p-adic number c and the sequences (A n ) n>0 and (B n ) n>0 defined above, the following hold: (i) The numbers A n and B n are integers satisfying p c0 A n, p c0+ - A n, B n (mod p).
12 INTEGERS: 8A (208) 2 (ii) For every n > 0, the integers A n and B n are relatively prime. The sequence (A n /B n ) n>0 converges in Q p to c and c A n B = p deg(qnqn+) = p 2 P n i= deg ai deg an+. (9) n p (iii) The height of A n /B n satisfies 2n 2 pdeg Qn 6 H(A n /B n ) 6 n 2 p deg Qn, n >. Proof. (i) This follows directly from (iv) and (v) of Proposition. (ii) From (8), we get for n > 0 that A n+ B n A n B n+ = ( ) n p deg Qn+deg Qn+, (20) which implies that the sequence (A n /B n ) n>0 is a Cauchy sequence and thus converges in Q p. From A 3 2k 2 c = B 3 2k 2 +X i=k+ p ci, we deduce that lim n!+ A n /B n = c. Now (9) follows from A n+ B n+ = pdeg(q0q) B 0 B p deg(qq2) B B ( ) n pdeg(qnqn+) B n B n+, similarly as (0) was obtained from (9). The identity (20) also shows that A n and B n are always relatively prime since any common divisor would be a power of p and (i) asserts that B n is never divisible by p. Note that (9) implies that no two elements of the sequence (A n /B n ) n>0 are identical, in view of (iv) of Proposition. (iii) We have seen that A n and B n are always relatively prime. From the definition of these numbers, it is clearly su cient to prove that max{ P n (/p), Q n (/p) } belongs to the interval [/(2n 2 ), n 2 ]. We first show that P n (/p) 6 n 2. More precisely, we prove by induction on k > 0 that for 3 2 k 2 6 n < 3 2 k+ 2 the inequality P n (/p) 6 2 2k holds. This can be easily checked for k = 0. Suppose the statement holds for all k < K, where K >, and let n with 3 2 K 2 6 n < 3 2 K+ 2.
13 INTEGERS: 8A (208) 3 If n = 3 2 K 2, we obtain a much stronger result directly from (6) P n (/p) < p p 6 2, Q n(/p) = /p c K 6 /2. For n = 3 2 K, we have a n (/p) = p 2c K c K+, so P n (/p) 6 a n (/p)p n (/p) + P n 2 (/p) K K. Finally, if 3 2 K 6 n < 3 2 K+ 2, we use Proposition 3 which gives P n (/p) < p 2c K c K K K + 2 2K 2 < 2 2K. Analogously, we prove that Q n (/p) 6 n 2. Furthermore, (8) shows that thus max{ P n (/p)q n (/p), P n (/p)q n (/p) } > /2, max{ P n (/p), Q n (/p) } > 2 max{ P n (/p), Q n (/p) } > 2n 2. and We are now armed to complete the proof of Theorem. Since log c A n /B n p log H(A n /B n ) log c A n /B n p log H(A n /B n ) Proposition 2 gives lim sup n!+ log c A n /B n p log H(A n /B n ) 6 (deg Q n + deg Q n+ ) log p 3 log n + deg Q n log p > (deg Q n + deg Q n+ ) log p 2 log n + deg Q n log p = = + deg Qn+ deg Q n log n deg Q n 3 log p +, deg Qn+ + deg Q n log n 2 deg Q n log p +, log c A n /B n p = c and lim inf = 2. n!+ log H(A n /B n ) In order to apply Lemma 2 to c and (A n /B n ) n>0, we need to evaluate the right-hand side of (2). Using the results of Proposition 4, we get lim sup n!+ log H(A n+ /B n+ ) log c A n /B n p log H(A n /B n ) 6 lim sup n!+ 6 lim sup n!+ 2 log(n + ) + deg Q n+ log p (deg Q n + deg Q n+ ) log p 2 log n deg Q n log p 2 log(n+) deg Q n+ + log p 2 log n deg Q n+ + log p =,
14 INTEGERS: 8A (208) 4 where we used () in the last step. Bound (4) from Lemma 2 finally implies that µ( c ) 6 c and thus µ( c ) = c. This finishes the proof of Theorem. As a final remark, we show that not only the best approximations to c, but also the second best ones, can be written explicitly as series. The best approximations P 3 2k 2/Q 3 2k 2 to the associated power series ˆ c are obtained by cutting o its continued fraction expansion before the first appearance of large partial quotients, or alternatively, by deleting the terms that follow X c k = X bckc in P + X ci. These approximations of ˆ c in Q((X )) correspond to the approximations k of c 2 Q p defined in Example. The next best sequence of approximations is (P 9 2 k /Q 9 2 k ) k>2 and, as the following lemma shows, it actually corresponds to the sequence ( k ) k>2 of p-adic numbers introduced in Example. Proposition 5. For k > 2, we have k P 9 2 k X = Q 9 2 k X ci + X c k X c k c k+. (2) Proof. This is an immediate consequence of Proposition 3 where n = 9 2 k, so that m = 3 2 k 2 and l = 3 2 k 2. Since P m, Q m, P l, Q l are now explicitly given by (6), inserting their values into (5) gives (2). Acknowledgements: T.P. was supported by the Croatian Science Foundation under the project no References [] B. Adamczewski and Y. Bugeaud, On the complexity of algebraic numbers. I. Expansions in integer bases, Ann. of Math. 65 (2007) [2] V. I. Bernik and M. M. Dodson, Metric Diophantine Approximation on Manifolds, Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, 999. [3] J. Borwein, A. van der Poorten, J. Shallit, and W. Zudilin, Neverending Fractions: An Introduction to Continued Fractions, Cambridge University Press, 204. [4] Y. Bugeaud, Approximation by Algebraic Numbers, Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, [5] Y. Bugeaud, Diophantine approximation and Cantor sets, Math. Ann. 34 (2008), [6] Y. Bugeaud, D. Krieger, and J. Shallit, Morphic and automatic words: maximal blocks and Diophantine approximation, Acta Arith. 49 (20), [7] A. Lasjaunias, A survey of Diophantine approximation in fields of power series, Monatsh. Math. 30 (2000),
15 INTEGERS: 8A (208) 5 [8] J. Levesley, C. Salp and S. L. Velani, On a problem of K. Mahler: Diophantine approximation and Cantor sets, Math. Ann. 338 (2007), [9] M. Mendès France, Sur les fractions continues limitées, Acta Arith. 23 (973), [0] A.J. van der Poorten and J. Shallit, Folded continued fractions, J. Number Theory 40 (992), [] W. M. Schmidt, On continued fractions and Diophantine approximation in power series fields, Acta Arith. 95 (2000), [2] J. O. Shallit, Simple continued fractions for some irrational numbers, J. Number Theory (979), [3] J. O. Shallit, Simple continued fractions for some irrational numbers, II, J. Number Theory 4 (982),
P -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationarxiv: v1 [math.nt] 3 Jun 2016
Absolute real root separation arxiv:1606.01131v1 [math.nt] 3 Jun 2016 Yann Bugeaud, Andrej Dujella, Tomislav Pejković, and Bruno Salvy Abstract While the separation(the minimal nonzero distance) between
More informationQUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias
QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS Alain Lasjaunias 1991 Mathematics Subject Classification: 11J61, 11J70. 1. Introduction. We are concerned with diophantine approximation
More informationP -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS. Tomislav Pejković
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 20 = 528 2016): 9-18 P -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS Tomislav Pejković Abstract. We study p-adic root separation for quadratic and cubic
More informationRoot separation for irreducible integer polynomials
Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella 1 Introduction The height H(P ) of an integer polynomial P (x) is the maximum of the absolute values of its coefficients.
More informationDIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS
DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS A. LASJAUNIAS Avec admiration pour Klaus Roth 1. Introduction and Notation 1.1. The Fields of Power Series F(q) or F(K). Let p be
More informationRoot separation for irreducible integer polynomials
Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella Abstract We establish new results on root separation of integer, irreducible polynomials of degree at least four. These
More informationOn the digital representation of smooth numbers
On the digital representation of smooth numbers Yann BUGEAUD and Haime KANEKO Abstract. Let b 2 be an integer. Among other results, we establish, in a quantitative form, that any sufficiently large integer
More informationON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS. Yann Bugeaud Université de Strasbourg, France
GLASNIK MATEMATIČKI Vol. 44(64)(2009), 323 331 ON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS Yann Bugeaud Université de Strasbourg, France Abstract. Let n be a positive integer. Let ξ
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS
Fizikos ir matematikos fakulteto Seminaro darbai, Šiaulių universitetas, 8, 2005, 5 13 ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS Boris ADAMCZEWSKI 1, Yann BUGEAUD 2 1 CNRS, Institut Camille Jordan,
More informationOn the rational approximation to the Thue Morse Mahler number. Yann BUGEAUD
On the rational approximation to the Thue Morse Mahler number Yann BUGEAUD Abstract. Let (t k ) k 0 be the Thue Morse sequence on {0,1} defined by t 0 = 0, t k = t k and t k+1 = 1 t k for k 0. Let b be
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationMETRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS
METRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS YANN BUGEAUD, LINGMIN LIAO, AND MICHA L RAMS Abstract Denote by { } the fractional part We establish several new metrical
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More informationApproximation exponents for algebraic functions in positive characteristic
ACTA ARITHMETICA LX.4 (1992) Approximation exponents for algebraic functions in positive characteristic by Bernard de Mathan (Talence) In this paper, we study rational approximations for algebraic functions
More informationGENERALIZED PALINDROMIC CONTINUED FRACTIONS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 48, Number 1, 2018 GENERALIZED PALINDROMIC CONTINUED FRACTIONS DAVID M. FREEMAN ABSTRACT. In this paper, we introduce a generalization of palindromic continued
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationp-adic Analysis Compared to Real Lecture 1
p-adic Analysis Compared to Real Lecture 1 Felix Hensel, Waltraud Lederle, Simone Montemezzani October 12, 2011 1 Normed Fields & non-archimedean Norms Definition 1.1. A metric on a non-empty set X is
More informationSYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS
SYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS J MC LAUGHLIN Abstract Let fx Z[x] Set f 0x = x and for n 1 define f nx = ff n 1x We describe several infinite
More informationRECENT RESULTS ON LINEAR RECURRENCE SEQUENCES
RECENT RESULTS ON LINEAR RECURRENCE SEQUENCES Jan-Hendrik Evertse (Leiden) General Mathematics Colloquium, Delft May 19, 2005 1 INTRODUCTION A linear recurrence sequence U = {u n } n=0 (in C) is a sequence
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON THE DIOPHANTINE EQUATION xn 1 x 1 = y Yann Bugeaud, Maurice Mignotte, and Yves Roy Volume 193 No. 2 April 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 193, No. 2, 2000 ON
More informationOn repdigits as product of consecutive Lucas numbers
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 5 102 DOI: 10.7546/nntdm.2018.24.3.5-102 On repdigits as product of consecutive Lucas numbers
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationOn the power-free parts of consecutive integers
ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the
More informationZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n
ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never
More informationIrrationality exponent and rational approximations with prescribed growth
Irrationality exponent and rational approximations with prescribed growth Stéphane Fischler and Tanguy Rivoal June 0, 2009 Introduction In 978, Apéry [2] proved the irrationality of ζ(3) by constructing
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationbe a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n
Rend. Lincei Mat. Appl. 8 (2007), 295 303 Number theory. A transcendence criterion for infinite products, by PIETRO CORVAJA and JAROSLAV HANČL, communicated on May 2007. ABSTRACT. We prove a transcendence
More informationarxiv: v3 [math.nt] 15 Mar 2017
Noname manuscript No. (will be inserted by the editor) On a two-valued sequence and related continued fractions in power series fields Bill Allombert, Nicolas Brisebarre and Alain Lasjaunias arxiv:1607.07235v3
More informationContinued Fractions New and Old Results
Continued Fractions New and Old Results Jeffrey Shallit School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada shallit@cs.uwaterloo.ca https://www.cs.uwaterloo.ca/~shallit Joint
More informationON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS
ON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS by A. Lasjaunias Abstract.In 1986, Mills and Robbins observed
More informationOn Robbins example of a continued fraction expansion for a quartic power series over F 13
Journal of Number Theory 28 (2008) 09 5 www.elsevier.com/locate/jnt On Robbins example of a continued fraction expansion for a quartic power series over F 3 Alain Lasjaunias C.N.R.S.-UMR 5465, Université
More informationCombinatorics, Automata and Number Theory
Combinatorics, Automata and Number Theory CANT Edited by Valérie Berthé LIRMM - Université Montpelier II - CNRS UMR 5506 161 rue Ada, F-34392 Montpellier Cedex 5, France Michel Rigo Université de Liège,
More informationContinued Fractions New and Old Results
Continued Fractions New and Old Results Jeffrey Shallit School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada shallit@cs.uwaterloo.ca https://www.cs.uwaterloo.ca/~shallit Joint
More informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More informationOn the β-expansion of an algebraic number in an algebraic base β. (Strasbourg)
On the β-expansion of an algebraic number in an algebraic base β Yann BUGEAUD (Strasbourg) Abstract. Let α in (0, 1] and β > 1 be algebraic numbers. We study the asymptotic behaviour of the function that
More informationOn Particular Families of Hyperquadratic Continued Fractions in Power Series Fields of Odd Characteristic
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.8.3 On Particular Families of Hyperquadratic Continued Fractions in Power Series Fields of Odd Characteristic Alain Lasjaunias
More informationNumération : mathématiques et informatique
Numération : mathématiques et informatique Rencontre organisée par : Boris Adamczewski, Anne Siegel and Wolfgang Steiner 23-27 mars 2009 Tanguy Rivoal On the binary expansion of irrational algebraic numbers
More informationTHE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p
THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p EVAN TURNER Abstract. This paper will focus on the p-adic numbers and their properties. First, we will examine the p-adic norm and look at some of
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationOn approximation of real, complex, and p-adic numbers by algebraic numbers of bounded degree. by K. I. Tsishchanka
On approximation of real, complex, and p-adic numbers by algebraic numbers of bounded degree by K. I. Tsishchanka I. On approximation by rational numbers Theorem 1 (Dirichlet, 1842). For any real irrational
More informationConference on Diophantine Analysis and Related Fields 2006 in honor of Professor Iekata Shiokawa Keio University Yokohama March 8, 2006
Diophantine analysis and words Institut de Mathématiques de Jussieu + CIMPA http://www.math.jussieu.fr/ miw/ March 8, 2006 Conference on Diophantine Analysis and Related Fields 2006 in honor of Professor
More informationApproximation of complex algebraic numbers by algebraic numbers of bounded degree
Approximation of complex algebraic numbers by algebraic numbers of bounded degree YANN BUGEAUD (Strasbourg) & JAN-HENDRIK EVERTSE (Leiden) Abstract. To measure how well a given complex number ξ can be
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationOn Schmidt s Subspace Theorem. Jan-Hendrik Evertse
On Schmidt s Subspace Theorem Jan-Hendrik Evertse Universiteit Leiden Winter school on Lang s and Vojta s conjectures March 3, 2014, CIRM, Luminy Slides can be downloaded from http://www.math.leidenuniv.nl/
More informationIRREDUCIBILITY CRITERIA FOR SUMS OF TWO RELATIVELY PRIME POLYNOMIALS
IRREDUCIBILITY CRITERIA FOR SUMS OF TWO RELATIVELY PRIME POLYNOMIALS NICOLAE CIPRIAN BONCIOCAT, YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE Abstract. We provide irreducibility conditions for polynomials
More informationON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 151 158 ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARTŪRAS DUBICKAS Abstract. We consider the sequence of fractional parts {ξα
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationChapter Two The transcendence of e and π.
Chapter Two The transcendence of e and π. The fantasy calculation at the end of the last lecture, a fantasy because the linear combination of the intermediate series I n did not vanish it is a positive
More informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
More informationPolynomial root separation. by Yann Bugeaud and Maurice Mignotte, Strasbourg
Polynomial root separation by Yann Bugeaud and Maurice Mignotte, Strasbourg Abstract. We discuss the following question: How close to each other can be two distinct roots of an integer polynomial? We summarize
More informationThe p-adic numbers. Given a prime p, we define a valuation on the rationals by
The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,
More informationChakravala - a modern Indian method. B.Sury
Chakravala - a modern Indian method BSury Indian Statistical Institute Bangalore, India sury@isibangacin IISER Pune, India Lecture on October 18, 2010 1 Weil Unveiled What would have been Fermat s astonishment
More informationZero estimates for polynomials inspired by Hilbert s seventh problem
Radboud University Faculty of Science Institute for Mathematics, Astrophysics and Particle Physics Zero estimates for polynomials inspired by Hilbert s seventh problem Author: Janet Flikkema s4457242 Supervisor:
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationPACKING POLYNOMIALS ON SECTORS OF R 2. Caitlin Stanton Department of Mathematics, Stanford University, California
#A67 INTEGERS 14 (014) PACKING POLYNOMIALS ON SECTORS OF R Caitlin Stanton Department of Mathematics, Stanford University, California ckstanton@stanford.edu Received: 10/7/13, Revised: 6/5/14, Accepted:
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationON THE MAILLET BAKER CONTINUED FRACTIONS
ON THE MAILLET BAKER CONTINUED FRACTIONS BORIS ADAMCZEWSKI, YANN BUGEAUD Abstract. We use the Schmidt Subspace Theorem to establish the transcendence of a class of quasi-periodic continued fractions. This
More informationSOME PÓLYA-TYPE IRREDUCIBILITY CRITERIA FOR MULTIVARIATE POLYNOMIALS NICOLAE CIPRIAN BONCIOCAT, YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE
SOME PÓLYA-TYPE IRREDUCIBILITY CRITERIA FOR MULTIVARIATE POLYNOMIALS NICOLAE CIPRIAN BONCIOCAT, YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE Abstract. We provide irreducibility criteria for multivariate
More informationA CONSTRUCTION FOR ABSOLUTE VALUES IN POLYNOMIAL RINGS. than define a second approximation V 0
A CONSTRUCTION FOR ABSOLUTE VALUES IN POLYNOMIAL RINGS by SAUNDERS MacLANE 1. Introduction. An absolute value of a ring is a function b which has some of the formal properties of the ordinary absolute
More informationReport on some recent advances in Diophantine approximation
Report on some recent advances in Diophantine approximation Michel Waldschmidt Université Pierre et Marie Curie Paris 6, UMR 7586 IMJ Institut de Mathématiques de Jussieu, 4, Place Jussieu, Paris, F 75005
More informationMaterial covered: Class numbers of quadratic fields, Valuations, Completions of fields.
ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups
More informationOn the Littlewood conjecture in fields of power series
Advanced Studies in Pure Mathematics 49, 2007 Probability and Number Theory Kanazawa 2005 pp. 1 20 On the Littlewood conjecture in fields of power series Boris Adamczewski and Yann Bugeaud Abstract. Let
More informationTHE SUM OF DIGITS OF n AND n 2
THE SUM OF DIGITS OF n AND n 2 KEVIN G. HARE, SHANTA LAISHRAM, AND THOMAS STOLL Abstract. Let s q (n) denote the sum of the digits in the q-ary expansion of an integer n. In 2005, Melfi examined the structure
More informationChapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem
Chapter 6 Approximation of algebraic numbers by rationals Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer Verlag 1980, Chap.II, 1,, Chap. IV, 1 L.J. Mordell,
More informationAutomatic Sequences and Transcendence of Real Numbers
Automatic Sequences and Transcendence of Real Numbers Wu Guohua School of Physical and Mathematical Sciences Nanyang Technological University Sendai Logic School, Tohoku University 28 Jan, 2016 Numbers
More informationThe Real Number System
MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a well-defined collection of objects, with well-defined meaning that there is a specific description from which we can tell precisely
More informationSTRONG NORMALITY AND GENERALIZED COPELAND ERDŐS NUMBERS
#A INTEGERS 6 (206) STRONG NORMALITY AND GENERALIZED COPELAND ERDŐS NUMBERS Elliot Catt School of Mathematical and Physical Sciences, The University of Newcastle, Callaghan, New South Wales, Australia
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationThe Completion of a Metric Space
The Completion of a Metric Space Let (X, d) be a metric space. The goal of these notes is to construct a complete metric space which contains X as a subspace and which is the smallest space with respect
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationReversals and palindromes in continued fractions
Theoretical Computer Science 380 (007) 0 37 www.elsevier.com/locate/tcs Reversals and palindromes in continued fractions Boris Adamczewski a, Jean-Paul Allouche b, a CNRS, Université Claude Bernard Lyon,
More informationGenerating Functions of Partitions
CHAPTER B Generating Functions of Partitions For a complex sequence {α n n 0,, 2, }, its generating function with a complex variable q is defined by A(q) : α n q n α n [q n ] A(q). When the sequence has
More informationChapter Four Gelfond s Solution of Hilbert s Seventh Problem (Revised January 2, 2011)
Chapter Four Gelfond s Solution of Hilbert s Seventh Problem (Revised January 2, 2011) Before we consider Gelfond s, and then Schneider s, complete solutions to Hilbert s seventh problem let s look back
More informationON THE EXPANSIONS OF REAL NUMBERS IN TWO INTEGER BASES
Ann. Inst. Fourier, Grenoble Working version August 5, 2018 arxiv:1512.06935v3 [math.nt] 12 Dec 2016 ON THE EXPANSIONS OF REAL NUMBERS IN TWO INTEGER BASES by Yann BUGEAUD and Dong Han KIM (*) Abstract.
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationOn prime factors of subset sums
On prime factors of subset sums by P. Erdös, A. Sárközy and C.L. Stewart * 1 Introduction For any set X let X denote its cardinality and for any integer n larger than one let ω(n) denote the number of
More informationA Short Proof of the Transcendence of Thue-Morse Continued Fractions
A Short Proof of the Transcendence of Thue-Morse Continued Fractions Boris ADAMCZEWSKI and Yann BUGEAUD The Thue-Morse sequence t = (t n ) n 0 on the alphabet {a, b} is defined as follows: t n = a (respectively,
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More informationA Geometric Proof that e is Irrational and a New Measure of its Irrationality
A Geometric Proof that e is Irrational and a New Measure of its Irrationality Jonathan Sondow. INTRODUCTION. While there exist geometric proofs of irrationality for 2 [2], [27], no such proof for e, π,
More informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
More informationSome Results Concerning Uniqueness of Triangle Sequences
Some Results Concerning Uniqueness of Triangle Sequences T. Cheslack-Postava A. Diesl M. Lepinski A. Schuyler August 12 1999 Abstract In this paper we will begin by reviewing the triangle iteration. We
More informationDISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k
DISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k RALF BUNDSCHUH AND PETER BUNDSCHUH Dedicated to Peter Shiue on the occasion of his 70th birthday Abstract. Let F 0 = 0,F 1 = 1, and F n = F n 1 +F
More informationTo Professor W. M. Schmidt on his 60th birthday
ACTA ARITHMETICA LXVII.3 (1994) On the irreducibility of neighbouring polynomials by K. Győry (Debrecen) To Professor W. M. Schmidt on his 60th birthday 1. Introduction. Denote by P the length of a polynomial
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More information8 The Gelfond-Schneider Theorem and Some Related Results
8 The Gelfond-Schneider Theorem and Some Related Results In this section, we begin by stating some results without proofs. In 1900, David Hilbert posed a general problem which included determining whether
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationLINEAR FORMS IN LOGARITHMS
LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More informationIN CUBIC SALEM BASE IN F q ((X 1 )) Faïza Mahjoub
PUBLICATIONS DE L INSTITUT MATHÉMATIQUE Nouvelle série, tome 100(114) (2016), 279 285 DOI: 10.2298/PIM1614279M PURELY PERIODIC -EXPANSIONS IN CUBIC SALEM BASE IN F q ((X 1 )) Faïza Mahjoub Abstract. Let
More information1. multiplication is commutative and associative;
Chapter 4 The Arithmetic of Z In this chapter, we start by introducing the concept of congruences; these are used in our proof (going back to Gauss 1 ) that every integer has a unique prime factorization.
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationNOTES ON IRRATIONALITY AND TRANSCENDENCE
NOTES ON IRRATIONALITY AND TRANSCENDENCE Frits Beukers September, 27 Introduction. Irrationality Definition.. Let α C. We call α irrational when α Q. Proving irrationality and transcendence of numbers
More information