DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS

Size: px
Start display at page:

Download "DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS IN POWER SERIES FIELDS"

Transcription

1 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 a prime number and q = p s, where s is a positive integer. We consider the finite field F q with q elements. Then we introduce with an indeterminate T, the ring of polynomials F q [T ] and the field of rational functions F q (T ). We also consider the absolute value defined on F q (T ) by P/Q = T deg P deg Q for P, Q F q [T ], where T is a fixed real number greater than 1. By completing F q (T ) with this absolute value, we obtain a field, denoted by F(q), which is the field of formal power series in 1/T with coefficients in F q. Thus, if α is a non-zero element of F(q), we have α = k k 0 u k T k, where k 0 Z, u k F q, u k0 0 and α = T k0. Observe the analogy between the classical construction of the field of real numbers and this field of formal power series. The rôles of {±1}, Z, Q and R are played by F q, F q [T ], F q (T ) and F(q) respectively. Clearly the same construction as above can be made from an arbitrary base field K instead of F q. Then the resulting field is called the field of power series over K and will be denoted by F(K). We study here rational approximation to elements of F(K) which are algebraic over K(T ). We are concerned with the case of K having positive characteristic and mainly K = F q. For a presentation in a larger context and for more references, see [5]. Indeed the finiteness of the base field plays an essential rôle in many results and this makes the field F(q) particularly interesting Continued Fractions in Power Series Fields. As in the classical context of the real numbers, we have a continued fraction algorithm in F(K). For a general study on this subject and more references see [14]. If α F(K), then we can write α = a a a = [a 0, a 1, a 2,...], where a i K[T ]. The a i are called the partial quotients and we have deg a i > 0 for i > 0. This continued fraction expansion is finite if and only if α K(T ). As in the classical theory, we define recursively the two sequences of polynomials (x n ) n 0 and (y n ) n 0 by x n = a n x n 1 + x n 2 and y n = a n y n 1 + y n 2, with the initial conditions x 0 = a 0, x 1 = a 0 a 1 + 1, y 0 = 1 and y 1 = a 1. We have x n+1 y n y n+1 x n = ( 1) n, whence x n and y n are coprime polynomials. The rational x n /y n is called a convergent to α and we have x n /y n = [a 0, a 1, a 2,..., a n ]. 1

2 2 A. LASJAUNIAS Because of the ultrametric absolute value, we have α x n = x n+1 x n y n+1 = 1 y n y n+1 = 1 a n+1 y n 2. y n y n 1.3. A Subset of Algebraic Elements in F(q). Here we are concerned with elements in F(q) which are algebraic over F q (T ) and we introduce a special subset of algebraic elements. Let r = p t, where t 0 is an integer. We denote by H t (q) the subset of irrational elements α in F(q) such that there exist A, B, C, D F q [T ] with α = Aαr + B Cα r + D. (1) We put H(q) = t 0 H t (q). If t is the smallest non-negative integer such that α F(q) satisfies an equation of type (1), we will say that α is a hyperquadratic element of order t. With our definition, a hyperquadratic element of order zero is simply a quadratic element. We observe that elements of F(q) which are quadratic or cubic over F q (T ) belong to H 1 (q), since then 1, α, α p, α p+1 are linked over F q (T ). Note that if α H t (q), then by iteration in equation (1), α H kt (q) for all positive integers k. Moreover, H(q) contains also elements of arbitrarily large degree over F q (T ). Note that if K is a field of positive characteristic p but not necessarily finite, we will use the notation H(K) for the corresponding subset of algebraic elements in F(K). We recall that the analogue of Lagrange s theorem on quadratic real numbers holds in the context of power series over a finite field. For complements on quadratic elements, see [14]. Theorem 1. Let α F(q) be irrational. Then the sequence of partial quotients in the continued fraction expansion of α is ultimately periodic if and only if α H 0 (q). As we will see, the elements of the subset H(q) have special properties of rational approximation due to the form of equation (1). For these elements the sequence of the degrees of the partial quotients can be bounded, as for instance in the case of quadratic elements, or unbounded. To illustrate this, given a prime p, let us consider the element θ 1r of F(p) defined by the infinite expansion θ 1r = [T, T r, T r2,..., T rn,...], where r = p t and t 0. Because of the property of the Frobenius isomorphism, this element is indeed algebraic (quadratic if r = 1), satisfying the equation and it belongs to H(p). θ 1r = T + 1 θ1r r, 2. General Results 2.1. Mahler s Theorem. Diophantine approximation in the function field case was initiated by K. Mahler [10]. The starting point in the study of rational approximation to algebraic real numbers is a famous theorem of Liouville established in This theorem has been adapted by Mahler in the fields of power series with an arbitrary base field. Theorem 2 (Mahler, 1949). Let K be a field and α F(K) be an algebraic element over K(T ) of degree n > 1. Then there is a positive real number C such that α P Q C Q n (2)

3 DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS 3 for all P, Q K[T ] with Q 0. In the case of real numbers, it is well known that Liouville s theorem was the beginning of a long path, with the works of Thue, Siegel, Dyson and others, leading to the celebrated Roth s theorem which was established in This improvement can be transposed in fields of power series if the base field has characteristic zero, as shown by Uchiyama in In this case, the exponent n on the right hand side of the inequality (2) can be replaced by 2 + ɛ for all ɛ > 0. But this is not the case in positive characteristic and consequently the study of rational approximation to algebraic elements becomes somewhat more complex The Approximation Exponent. Let α F(K) be an irrational element. We define the approximation exponent of α by ( ), ν(α) = lim sup Q log α P/Q log Q where P and Q run over polynomials in K[T ] with deg(q) > 0. Using the continued fraction expansion α = [a 0, a 1,..., a n,...], since the convergents are the best rational approximations to α and since we have α x n = 1 a n+1 y n 2, y n it is clear that the approximation exponent can also be defined directly by As we have ν(α) = 2 + lim sup k deg y k = 1 i k deg a k+1 deg y k. deg a i, we see that ν(α) is directly connected to the growth of the sequence (deg a i ) i 1. Particularly if the sequence (deg a i ) i 1 is bounded, then ν(α) = 2, but this is clearly not a necessary condition. Observe that, because of Mahler s theorem, for all α F(q) algebraic over F q (T ) and of degree n > 1, we have ν(α) [2, n]. In the same paper [10] mentioned above, Mahler introduced, for a prime number p, the element θ 2r of F(p), defined by θ 2r = k 0 T rk, where r = p t and t > 0. He observes that this element satisfies θ 2r = 1 T + θr 2r and ν(θ 2r ) = r. Thus it is an algebraic element of degree r. With our notation, θ 2r belongs to H(p). Note that according to its continued fraction expansion, the element θ 1r H(p) introduced earlier satisfies ν(θ 1r ) = r + 1 and is therefore algebraic of degree r Osgood s Theorem. At the beginning of the 1970 s, C.F. Osgood [13] used differential algebra to study diophantine approximation in the function field case. We introduce on F(K) the ordinary formal differentiation, where (at n ) = ant n 1 if a K and n Z. Observe that if K has positive characteristic p, then the subfield of constants for this differentiation is the field of power series in T p over K. If α F(K) is algebraic of degree n over K(T ), then we have P (α) = 0, where P K[T ][X]. Differentiating this equation, we obtain α P X (α) + P T (α) = 0. Therefore α K(α, T ). Consequently there is an integer d with 0 d n 1

4 4 A. LASJAUNIAS such that α = Q(α), where Q K(T )[X] and deg X (Q) = d. If d 2, then we say that α satisfies a Riccati differential equation. Osgood was able to establish the following result. Theorem 3 (Osgood, 1974). Let K be a field of positive characteristic, and let α F(K) be an algebraic element over K(T ), of degree n > 1. If α does not satisfy a Riccati differential equation, then there is a positive real number C such that for all P, Q K[T ] with Q 0. α P Q C Q [n/2]+1 In the same paper [13], Osgood also introduced a new family of algebraic elements in F(p) with a maximal approximation exponent. If n > 1 is an integer coprime with p, then θ 3n F(p), defined by θ n 3n = T, is algebraic of degree n over F p (T ) and has ν(θ 3n ) = n. Observe that, if t is the order of p in (Z/nZ) and r = p t, then we have ( θ 3n = ) (r 1)/n θ3n r T and consequently θ 3n H(p) Diophantine Approximation in H(K). Later J.-F. Voloch, inspired by Osgood s work on diophantine approximation in positive characteristic, pointed out the importance of the algebraic equation (1) stated above. He first observed that if α H(K), then α satisfies a Riccati differential equation. He proved the following result [16]. Theorem 4 (Voloch, 1988). Let K be a field of positive characteristic. If α H(K) and has approximation exponent ν(α), then there is a positive real number C such that α P Q C Q ν(α) for all P, Q K[T ] with Q 0. Corollary. Let α H(K). Then ν(α) = 2 if and only if the sequence of partial quotients for α is bounded. Shortly afterwards, by studying more deeply rational approximation of elements in H(K), B. de Mathan obtained the following result [11] which contains Theorem 4. Theorem 5 (de Mathan, 1992). Let K be a field of positive characteristic. α H(K) and has approximation exponent ν(α), then lim inf Q Q ν(α) α P Q 0, and ν(α) Q Singularity of H(K). Later, by adapting the method used by Thue on rational approximation to algebraic real numbers, we proved the following result [7]. Theorem 6 (Lasjaunias and de Mathan, 1996). Let K be a field of positive characteristic, and let α F(K) be an algebraic element over K(T ) of degree n > 1. If α H(K), then for every ɛ > 0, there is a positive real number C such that for all P, Q K[T ] with Q 0. α P Q C Q [n/2]+1+ɛ If

5 DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS 5 Using Osgood s theorem and introducing the hypothesis of a finite base field, Theorem 6 could be improved slightly [8]. Theorem 7 (Lasjaunias and de Mathan, 1998). Let α F(q) be an algebraic element over F q (T ) of degree n > 1. If α H(q), then there is a positive real number C such that α P Q C Q [n/2]+1 for all P, Q F q [T ] with Q Continued Fractions in H(q) In the middle of the 1970 s, L. Baum and M. Sweet studied diophantine approximation in F(2) by means of the continued fraction expansion. They gave different examples of algebraic continued fractions with bounded or unbounded partial quotients. Particularly, they proved the following result [2]. Theorem 8 (Baum and Sweet, 1976). Let α be the unique root in F(2) of the irreducible algebraic equation T x 3 + x + T = 0. Then the partial quotients of the continued fractions for α have degree 1 or 2. Note that this element satisfies the equation α = T/(T α 2 + 1) and therefore belongs to H(2). Ten years later, this important work by Baum and Sweet on algebraic continued fractions in F(2) was substantially extended by W. Mills and D. Robbins [12]. They first pointed out the rôle played by the shape of the equation. In arbitrary positive characteristic, they introduced the elements of the subset which we have denoted above by H(q). Moreover they developed an algorithm to obtain the continued fraction expansion for such elements. Thus they could describe explicitly the expansion for the cubic example introduced by Baum and Sweet. Also they could produce algebraic and nonquadratic elements in F(p) for all p 3, with all partial quotients of degree 1; see Example 1 in Section 3.3 below. Finally they proved the following: If α H(q) and deg(ad BC) < r 1 in (1), then the sequence of partial quotients is unbounded. In spite of the attempt made by Mills and Robbins, the possibility of describing the continued fraction expansion for all the elements in H(q) is still out of reach. Nevertheless an explicit description is possible for many examples and also for large subclasses Elements of Class IA. We will say that an element in H(q) is of class IA if AD BC F q in (1). The number θ 1r introduced above belongs to this subclass. Observe that according to the property first stated by Mills and Robbins, if α is of class IA and r > 1, then deg(ad BC) = 0 < r 1, and the sequence of partial quotients is unbounded. Such algebraic elements have been studied by W.M. Schmidt [14] and also independently by D. Thakur [15]. We have the following theorem and its corollary. Theorem 9 (Schmidt, 2000). The element α F(q) is algebraic of class IA if and only if there exist k 0, a j, b i F q [T ] with 1 j k and i 1, an integer l 1 and ɛ F q such that α = [a 1, a 2,..., a k, β], where β F(q) is defined by β = [b 1,..., b l, β l+1 ] with β l+1 F(q) and β r = ɛβ l+1. Consequently we have β = [b 1, b 2,..., b l,..., b n,...], where b l+i = ɛ ( 1)i b r i, i 1.

6 6 A. LASJAUNIAS Observe that the expansion for such an element is determined by the first k + l partial quotients. In the case r = 1, we obtain the classical periodic expansion for quadratic power series. By choosing the integer l and the polynomials b i for 1 i l, the explicit knowledge of the continued fraction expansion for these elements implies the following important corollary. Corollary (Thakur, Schmidt, ). Let µ be a rational real number with µ 2. Then there is an element α H(q) such that ν(α) = µ Expansions of Type (r, l, P, Q, R). In analogy to Lagrange s theorem on continued fractions for quadratic real numbers, it is reasonable to think that the subset of hyperquadratic power series corresponds to expansions generated in a particular way. In that direction we have the following result [6]. Theorem 10 (Lasjaunias, 2006). Let P, Q, R be polynomials in F q [T ], with P R 0 and deg Q < deg P < r. Let l 1 be an integer and (a 1,..., a l ) (F q [T ]) l be given, with deg a i > 0 for 1 i l. Then there is a unique infinite continued fraction expansion α = [a 1,..., a l, α l+1 ] F(q) satisfying Rα r = P α l+1 + Q. This element α is the unique root, in F(q) with α T, of the algebraic equation x = Axr + B Cx r + D, where A = Rx l, B = P x l 1 Qx l, C = Ry l and D = P y l 1 Qy l. Note that the elements considered in Section 3.1 have a tail expansion corresponding to this model with R = 1, P = ɛ and Q = Expansions of Type T 2 +u. In this section, we derive a family of expansions generated in the same way as in Theorem 10 for R = 1 and a special pair (P, Q). We have the following proposition; see [6] and also Example 2 below. Proposition 11 (Lasjaunias, 2006). Let r = p t for some integer t 1, let u, ɛ F q, and let k be an integer satisfying 1 k (p 1)/2. For any integer l 1, let Λ(l) = (λ 1,..., λ l ) (F q) l. Then there is a unique infinite continued fraction expansion α = [a 1,..., a l, α l+1 ] F(q) defined by and α r = (T 2 + u) k α l+1 + ɛ T 0 (x 2 + u) k 1 dx (a 1,..., a l ) = (λ 1 T,..., λ l T ). Let α = [a 1, a 2,..., a l,..., a n,...] be this expansion. If Λ(l) and ɛ are well chosen, then there is a sequence (λ n ) n 1 in F q and a sequence of positive integers (i(n)) n 1 such that a n = λ n A i(n), n 1, where the sequence (A i ) i 1 in F q [T ] is defined recursively by A 1 = T and [ A r ] i A i+1 = (T 2 + u) k, i 1. If 1 l 2k, then i(n) = v 2k+1 (2kn + l 2k) + 1, where v m (n) is the largest power of m dividing n. Note that this proposition is given in an incomplete way. Actually the existence of the sequence (λ n ) n 1 has only been proved in some particular cases; see Examples 1 and 2 below. This sequence is defined recursively from Λ(l) and ɛ. This

7 DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS 7 recursive definition is very complex in its general form and not yet properly described. If Λ(l) and ɛ are taken arbitrarily, then the sequence (λ n ) n 1 can only be defined up to a certain rank and consequently the expansion has the regular pattern given above only up to a certain rank. We give now three examples of expansions in F(p) with p 5 having the pattern described in this proposition. Example 1. Here r = p > 3, k = (p 1)/2, u = 4 and l = 2. The element α is defined by and α p = (T 2 + 4) (p 1)/2 α T 0 (x 2 + 4) (p 3)/2 dx a 1 = at, a 2 = at 2a + 1, where a F p and a(2a + 1) 0. This example was introduced by Mills and Robbins [12, pages ]. Observe here that the sequence (A i ) i 1 is constant and therefore all the partial quotients of the expansion for α are linear. We have a n = λ n T with λ n F p for n 1. More precisely, setting u k = 2(p k 1)/(p 1)+1 for k 0, we have a if n = u k, a/(2a + 1) if n = u k+1 p k, λ n = (2a + 1) ( 1)n u k if u k < n < u k+1 p k, 1 if u k+1 p k < n < u k+1. Such hyperquadratic power series, with all partial quotients of degree 1 and in particular linear, were studied with a different approach earlier; see [9]. Example 2. Here r = p > 3, k = 1, u = 1 and l = 1. The element α is defined by α p = (T 2 1)α 2 + T and a 1 = 3T. Here the expansion for α is described by a n = λ n A v3(2n 1)+1 with λ n F p for n 1. More precisely, set l 1 = 1. For n 1, set l 3n 1 = l n 1, l 3n = l n and l 3n+1 = l n + 1, as well as [ ] log(2n 1) k n = + 1 log 3 and δ n = ( 1) kn 2 ln. Then λ 1 = 3 and, for n 1, we have λ 3n 1 = λ n, λ 3n = δ 1 n and λ 3n+1 = δ n. Example 3. This last example is only a conjecture. The first conjecture about the continued fractions for this element was made by Mills and Robbins [12, page 404]. Then ten years later a more precise one was given by Buck and Robbins [3, page 343]. Here r = p = 13, k = 4, u = 8 and l = 6. The element α is the only root in F(13) of the algebraic equation x 4 T x 3 + x = 0. Although this element does not appear to be hyperquadratic, it is so; see [4, page 209] and also [1]. Indeed we have and α 13 = (T 2 + 8) 4 α T 0 (x 2 + 8) 3 dx (a 1,..., a 6 ) = (T, 12T, 7T, 11T, 8T, 5T ). Here the expansion for α should be such that a n = λ n A v9(4n 1)+1 with λ n F 13 for n 1. This is verified by observing the first terms by computer, but the sequence (λ n ) n 1 remains very complicated to describe; see [3, page 343].

8 8 A. LASJAUNIAS 4. A Non-Hyperquadratic Example We conclude this brief survey with an example which is somewhat connected to Example 3 given earlier; see [12, page 404] and [3]. Indeed the quartic equation x 4 T x 3 + x = 0 has a unique root in F(p) for all primes p. We have discussed the case p = 13 but the case p = 3 is particularly interesting. The continued fraction expansion for the element θ 4 in F(3) is explicitly known. We have the following observation; see [3, 4] and [14, page 162]. Observation. Let Ω 0 =, Ω 1 = T and, for n 2, let Ω n be defined by Ω n = Ω n 1, T, Ω (3) n 2, T, Ω n 1, where the commas signify juxtaposition of sequences and Ω (3) is obtained by cubing each element of Ω. If we define Ω to be the infinite sequence beginning with Ω n for all n 1, then θ 4 has the continued fraction expansion θ 4 = [Ω ]. The knowledge of this expansion implies easily lim inf Q Q 2 θ 4 P Q = 0 and ν(θ 4) = 2. According to Theorem 4 above, this shows that θ 4 is not hyperquadratic. Nevertheless it is interesting to notice that, up to a change of variable, θ 4 is the square of a hyperquadratic element. Indeed we have θ 4 (T 2 ) = θ 2 13(T ), where θ 13 H(3) is the element introduced at the end of Section 1.3. This equality implies the regularity of the expansion described above; see [4]. References [1] A. Bluher, A. Lasjaunias. Hyperquadratic power series of degree four. Acta Arith., 124 (2006), [2] L. Baum, M. Sweet. Continued fractions of algebraic power series in characteristic 2. Ann. of Math., 103 (1976), [3] M. Buck, D. Robbins. The continued fraction expansion of an algebraic power series satisfying a quartic equation. J. Number Theory, 50 (1995), [4] A. Lasjaunias. Diophantine approximation and continued fraction expansions of algebraic power series in positive characteristic. J. Number Theory, 65 (1997), [5] A. Lasjaunias. A survey of diophantine approximation in fields of power series. Monatsh. Math., 130 (2000), [6] A. Lasjaunias. Continued fractions for hyperquadratic power series over a finite field (preprint). [7] A. Lasjaunias, B. de Mathan. Thue s theorem in positive characteristic. J. Reine Angew. Math., 473 (1996), [8] A. Lasjaunias, B. de Mathan. Differential equations and diophantine approximation in positive characteristic. Monatsh. Math., 128 (1999), 1 6. [9] A. Lasjaunias, J.-J. Ruch. On a family of sequences defined recursively in F q : II. Finite Fields Appl., 10 (2004), [10] K. Mahler. On a theorem of Liouville in fields of positive characteristic. Canad. J. Math., 1 (1949), [11] B. de Mathan. Approximation exponents for algebraic functions. Acta Arith., 60 (1992), [12] W. Mills, D. Robbins. Continued fractions for certain algebraic power series. J. Number Theory, 23 (1986), [13] C.F. Osgood. Effective bounds on the diophantine approximation of algebraic functions over fields of arbitrary characteristic and applications to differential equations. Indag. Math., 37 (1975), [14] W.M. Schmidt. On continued fractions and diophantine approximation in power series fields. Acta Arith., 95 (2000), [15] D. Thakur. Diophantine approximation exponents and continued fractions for algebraic power series. J. Number Theory, 79 (1999), [16] J.-F. Voloch. Diophantine approximation in positive characteristic. Period. Math. Hungar., 19 (1988),

9 DIOPHANTINE APPROXIMATION AND CONTINUED FRACTIONS 9 Institut de Mathématiques, Université Bordeaux I, 351 cours de la Libération, F Talence, France address: Alain.Lasjaunias@math.u-bordeaux1.fr

QUARTIC 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 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 information

Approximation exponents for algebraic functions in positive characteristic

Approximation 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 information

On Robbins example of a continued fraction expansion for a quartic power series over F 13

On 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 information

arxiv: v3 [math.nt] 15 Mar 2017

arxiv: 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 information

On Particular Families of Hyperquadratic Continued Fractions in Power Series Fields of Odd Characteristic

On 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 information

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

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 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 information

Finite Fields and Their Applications

Finite Fields and Their Applications Finite Fields and Their Applications 18 (2012) 26 34 Contents lists available at ScienceDirect Finite Fields and Their Applications www.elsevier.com/locate/ffa On the continued fraction expansion of the

More information

On the Littlewood conjecture in fields of power series

On 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 information

#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT

#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT #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 bugeaud@math.unistra.fr

More information

NUMBER FIELDS WITHOUT SMALL GENERATORS

NUMBER FIELDS WITHOUT SMALL GENERATORS NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse December 11, 2007 8 Approximation of algebraic numbers Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer

More information

Rational approximations to algebraic Laurent series with coefficients in a finite field

Rational approximations to algebraic Laurent series with coefficients in a finite field Rational approximations to algebraic Laurent series with coefficients in a finite field Alina Firicel To cite this version: Alina Firicel. Rational approximations to algebraic Laurent series with coefficients

More information

Factorization in Polynomial Rings

Factorization 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 information

Conference on Diophantine Analysis and Related Fields 2006 in honor of Professor Iekata Shiokawa Keio University Yokohama March 8, 2006

Conference 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 information

Chapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem

Chapter 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 information

P -adic root separation for quadratic and cubic polynomials

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 information

A Gel fond type criterion in degree two

A Gel fond type criterion in degree two ACTA ARITHMETICA 111.1 2004 A Gel fond type criterion in degree two by Benoit Arbour Montréal and Damien Roy Ottawa 1. Introduction. Let ξ be any real number and let n be a positive integer. Defining the

More information

ON THE APPROXIMATION TO ALGEBRAIC NUMBERS BY ALGEBRAIC NUMBERS. Yann Bugeaud Université de Strasbourg, France

ON 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 information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 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 information

Maximal Class Numbers of CM Number Fields

Maximal 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 information

be a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n

be 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 information

Chapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem

Chapter 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 information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real 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 information

Some remarks on diophantine equations and diophantine approximation

Some remarks on diophantine equations and diophantine approximation Some remarks on diophantine equations and diophantine approximation Claude LEVESQUE and Michel WALDSCHMIDT Dedicated to professor Hà Huy Khoái. Abstract. We first recall the connection, going back to A.

More information

DIOPHANTINE PROBLEMS, POLYNOMIAL PROBLEMS, & PRIME PROBLEMS. positive ) integer Q how close are you guaranteed to get to the circle with rationals

DIOPHANTINE PROBLEMS, POLYNOMIAL PROBLEMS, & PRIME PROBLEMS. positive ) integer Q how close are you guaranteed to get to the circle with rationals DIOPHANTINE PROBLEMS, POLYNOMIAL PROBLEMS, & PRIME PROBLEMS CHRIS PINNER. Diophantine Problems. Given an arbitrary circle in R 2 and( positive ) integer Q how close are you guaranteed to get to the circle

More information

Math 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. 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 information

Moreover this binary operation satisfies the following properties

Moreover this binary operation satisfies the following properties Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................

More information

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

More information

On The Weights of Binary Irreducible Cyclic Codes

On The Weights of Binary Irreducible Cyclic Codes On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:

More information

ON THE DECIMAL EXPANSION OF ALGEBRAIC NUMBERS

ON 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 information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES 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 information

arxiv:math/ v3 [math.nt] 23 May 2008

arxiv:math/ v3 [math.nt] 23 May 2008 ON THE CONTINUED FRACTION EXPANSION OF A CLASS OF NUMBERS arxiv:math/0409233v3 [math.nt] 23 May 2008 DAMIEN ROY Au Professeur Wolfgang Schmidt, avec mes meilleurs vœux et toute mon admiration. 1. Introduction

More information

IRREDUCIBILITY CRITERIA FOR SUMS OF TWO RELATIVELY PRIME POLYNOMIALS

IRREDUCIBILITY 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 information

Lower bounds for resultants II.

Lower bounds for resultants II. Lower bounds for resultants II. [Page 1] Jan-Hendrik Evertse Abstract. Let F X, Y ), GX, Y ) be binary forms in Z[X, Y ] of degrees r 3, s 3, respectively, such that F G has no multiple factors. For each

More information

Fifteen problems in number theory

Fifteen problems in number theory Acta Univ. Sapientiae, Mathematica, 2, 1 (2010) 72 83 Fifteen problems in number theory Attila Pethő University of Debrecen Department of Computer Science and Number Theory Research Group Hungarian Academy

More information

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n The Diophantine equation xx + 1) x + m 1)) + r = y n Yu.F. Bilu & M. Kulkarni Talence) and B. Sury Bangalore) 1 Introduction Erdős and Selfridge [7] proved that a product of consecutive integers can never

More information

Unit equations in characteristic p. Peter Koymans

Unit equations in characteristic p. Peter Koymans Unit equations in characteristic p Peter Koymans Universiteit Leiden XXX th Journées Arithmétiques Caen, France, July 2017 Introduction Let K be a number field with unit group OK. For fixed a, b, c K consider

More information

Places of Number Fields and Function Fields MATH 681, Spring 2018

Places 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 information

NORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY

NORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion

More information

LINEAR 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. 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 information

Zero estimates for polynomials inspired by Hilbert s seventh problem

Zero 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 information

ON THE REPRESENTATION OF FIBONACCI AND LUCAS NUMBERS IN AN INTEGER BASES

ON THE REPRESENTATION OF FIBONACCI AND LUCAS NUMBERS IN AN INTEGER BASES ON THE REPRESENTATION OF FIBONACCI AND LUCAS NUMBERS IN AN INTEGER BASES YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE À Paulo Ribenboim, pour son quatre-vingtième anniversaire Abstract. Résumé. Nous

More information

Math 603, Spring 2003, HW 6, due 4/21/2003

Math 603, Spring 2003, HW 6, due 4/21/2003 Math 603, Spring 2003, HW 6, due 4/21/2003 Part A AI) If k is a field and f k[t ], suppose f has degree n and has n distinct roots α 1,..., α n in some extension of k. Write Ω = k(α 1,..., α n ) for the

More information

1 Adeles over Q. 1.1 Absolute values

1 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 information

SOLVING SOLVABLE QUINTICS. D. S. Dummit

SOLVING SOLVABLE QUINTICS. D. S. Dummit D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 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 information

MATH 117 LECTURE NOTES

MATH 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 information

Series of Error Terms for Rational Approximations of Irrational Numbers

Series of Error Terms for Rational Approximations of Irrational Numbers 2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee

More information

METRIC HEIGHTS ON AN ABELIAN GROUP

METRIC 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 information

Math 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2?

Math 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2? Math 59: Introduction to Analytic Number Theory How small can disck be for a number field K of degree n = r + r? Let K be a number field of degree n = r + r, where as usual r and r are respectively the

More information

Root separation for irreducible integer polynomials

Root 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 information

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: 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 information

(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y

(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y () Consider A = { q Q : q 2 2} as a subset of the metric space (Q, d), where d(x, y) = x y. Then A is A) closed but not open in Q B) open but not closed in Q C) neither open nor closed in Q D) both open

More information

Polynomial root separation. by Yann Bugeaud and Maurice Mignotte, Strasbourg

Polynomial 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 information

ELEMENTARY RESOLUTION OF A FAMILY OF QUARTIC THUE EQUATIONS OVER FUNCTION FIELDS

ELEMENTARY RESOLUTION OF A FAMILY OF QUARTIC THUE EQUATIONS OVER FUNCTION FIELDS ELEMENTARY RESOLUTION OF A FAMILY OF QUARTIC THUE EQUATIONS OVER FUNCTION FIELDS CLEMENS FUCHS*,, ANA JURASIĆ**, AND ROLAND PAULIN* Abstract. We consider and completely solve the parametrized family of

More information

SUMS OF VALUES OF A RATIONAL FUNCTION. x k i

SUMS OF VALUES OF A RATIONAL FUNCTION. x k i SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x

More information

On the Waring problem for polynomial rings

On the Waring problem for polynomial rings On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

THE REAL NUMBERS Chapter #4

THE REAL NUMBERS Chapter #4 FOUNDATIONS OF ANALYSIS FALL 2008 TRUE/FALSE QUESTIONS THE REAL NUMBERS Chapter #4 (1) Every element in a field has a multiplicative inverse. (2) In a field the additive inverse of 1 is 0. (3) In a field

More information

Continued fractions for complex numbers and values of binary quadratic forms

Continued fractions for complex numbers and values of binary quadratic forms arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties

More information

On the power-free parts of consecutive integers

On 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 information

ON A THEOREM OF TARTAKOWSKY

ON A THEOREM OF TARTAKOWSKY ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

Automatic Sequences and Transcendence of Real Numbers

Automatic 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 information

Algebraic matroids are almost entropic

Algebraic matroids are almost entropic accepted to Proceedings of the AMS June 28, 2017 Algebraic matroids are almost entropic František Matúš Abstract. Algebraic matroids capture properties of the algebraic dependence among elements of extension

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

Minimal polynomials of some beta-numbers and Chebyshev polynomials

Minimal polynomials of some beta-numbers and Chebyshev polynomials Minimal polynomials of some beta-numbers and Chebyshev polynomials DoYong Kwon Abstract We consider the β-expansion of 1 which encodes a rational rotation on R/Z under a certain partition Via transforming

More information

David Adam. Jean-Luc Chabert LAMFA CNRS-UMR 6140, Université de Picardie, France

David Adam. Jean-Luc Chabert LAMFA CNRS-UMR 6140, Université de Picardie, France #A37 INTEGERS 10 (2010), 437-451 SUBSETS OF Z WITH SIMULTANEOUS ORDERINGS David Adam GAATI, Université de la Polynésie Française, Tahiti, Polynésie Française david.adam@upf.pf Jean-Luc Chabert LAMFA CNRS-UMR

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

A Note on Jacobi Symbols and Continued Fractions

A Note on Jacobi Symbols and Continued Fractions Reprinted from: The American Mathematical Monthly Volume 06, Number, pp 52 56 January, 999 A Note on Jacobi Symbols and Continued Fractions A. J. van der Poorten and P. G. Walsh. INTRODUCTION. It is well

More information

TRANSCENDENTAL NUMBERS AND PERIODS. Contents

TRANSCENDENTAL NUMBERS AND PERIODS. Contents TRANSCENDENTAL NUMBERS AND PERIODS JAMES CARLSON Contents. Introduction.. Diophantine approximation I: upper bounds 2.2. Diophantine approximation II: lower bounds 4.3. Proof of the lower bound 5 2. Periods

More information

To Professor W. M. Schmidt on his 60th birthday

To 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 information

Notes on Equidistribution

Notes on Equidistribution otes on Equidistribution Jacques Verstraëte Department of Mathematics University of California, San Diego La Jolla, CA, 92093. E-mail: jacques@ucsd.edu. Introduction For a real number a we write {a} for

More information

On Normal Numbers. Theodore A. Slaman. University of California Berkeley

On Normal Numbers. Theodore A. Slaman. University of California Berkeley 1/24 On Normal Numbers Theodore A. Slaman University of California Berkeley Joint work with Verónica Becher, and in part with Pablo Heiber, Yann Bugeaud and Jan Reimann CApril 29, 2015 2/24 Émile Borel

More information

Diophantine Approximation and Transcendence in Finite Characteristic. Dinesh S. Thakur. 1 Exponents of Diophantine Approximation

Diophantine Approximation and Transcendence in Finite Characteristic. Dinesh S. Thakur. 1 Exponents of Diophantine Approximation Diophantine Equations Editor: N. Saradha Copyright c 2007 Tata Institute of Fundamental Research Publisher: Narosa Publishing House, New Delhi, India Diophantine Approximation and Transcendence in Finite

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Continued Fractions New and Old Results

Continued 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 information

Small zeros of hermitian forms over quaternion algebras. Lenny Fukshansky Claremont McKenna College & IHES (joint work with W. K.

Small zeros of hermitian forms over quaternion algebras. Lenny Fukshansky Claremont McKenna College & IHES (joint work with W. K. Small zeros of hermitian forms over quaternion algebras Lenny Fukshansky Claremont McKenna College & IHES (joint work with W. K. Chan) Institut de Mathématiques de Jussieu October 21, 2010 1 Cassels Theorem

More information

WRONSKIANS AND LINEAR INDEPENDENCE... f (n 1)

WRONSKIANS AND LINEAR INDEPENDENCE... f (n 1) WRONSKIANS AND LINEAR INDEPENDENCE ALIN BOSTAN AND PHILIPPE DUMAS Abstract We give a new and simple proof of the fact that a finite family of analytic functions has a zero Wronskian only if it is linearly

More information

Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields

Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary

More information

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R

More information

Power series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) a n z n. n=0

Power series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) a n z n. n=0 Lecture 22 Power series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) Recall a few facts about power series: a n z n This series in z is centered at z 0. Here z can

More information

SYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS

SYMMETRY 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 information

IN CUBIC SALEM BASE IN F q ((X 1 )) Faïza Mahjoub

IN 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 information

ON `-TH ORDER GAP BALANCING NUMBERS

ON `-TH ORDER GAP BALANCING NUMBERS #A56 INTEGERS 18 (018) ON `-TH ORDER GAP BALANCING NUMBERS S. S. Rout Institute of Mathematics and Applications, Bhubaneswar, Odisha, India lbs.sudhansu@gmail.com; sudhansu@iomaorissa.ac.in R. Thangadurai

More information

On a quantitative refinement of the Lagrange spectrum

On a quantitative refinement of the Lagrange spectrum ACTA ARITHMETICA 102.1 (2002) On a quantitative refinement of the Lagrange spectrum by Edward B. Burger Amanda Folsom Alexander Pekker Rungporn Roengpitya and Julia Snyder (Williamstown MA) 1. Introduction.

More information

Irrationality exponent and rational approximations with prescribed growth

Irrationality 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 information

Runge s theorem on Diophantine equations Martin Klazar

Runge s theorem on Diophantine equations Martin Klazar Runge s theorem on Diophantine equations Martin Klazar (lecture on the 7-th PhD conference) Ostrava, September 10, 2013 A (binary) Diophantine equation is an equation F (x, y) = 0, where F Z[x, y] is a

More information

Prime Numbers and Irrational Numbers

Prime Numbers and Irrational Numbers Chapter 4 Prime Numbers and Irrational Numbers Abstract The question of the existence of prime numbers in intervals is treated using the approximation of cardinal of the primes π(x) given by Lagrange.

More information

P -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS. Tomislav Pejković

P -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 information

Results and open problems related to Schmidt s Subspace Theorem. Jan-Hendrik Evertse

Results and open problems related to Schmidt s Subspace Theorem. Jan-Hendrik Evertse Results and open problems related to Schmidt s Subspace Theorem Jan-Hendrik Evertse Universiteit Leiden 29 ièmes Journées Arithmétiques July 6, 2015, Debrecen Slides can be downloaded from http://pub.math.leidenuniv.nl/

More information

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory D. R. Wilkins Copyright c David R. Wilkins 1997 2006 Contents 4 Introduction to Galois Theory 2 4.1 Polynomial Rings.........................

More information

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence

More information

On the β-expansion of an algebraic number in an algebraic base β. (Strasbourg)

On 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 information

Root separation for irreducible integer polynomials

Root 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 information

Part VI. Extension Fields

Part VI. Extension Fields VI.29 Introduction to Extension Fields 1 Part VI. Extension Fields Section VI.29. Introduction to Extension Fields Note. In this section, we attain our basic goal and show that for any polynomial over

More information

Splitting sets and weakly Matlis domains

Splitting sets and weakly Matlis domains Commutative Algebra and Applications, 1 8 de Gruyter 2009 Splitting sets and weakly Matlis domains D. D. Anderson and Muhammad Zafrullah Abstract. An integral domain D is weakly Matlis if the intersection

More information