SIMULTANEOUS RATIONAL APPROXIMATION VIA RICKERT S INTEGRALS
|
|
- Noel Roderick Flowers
- 6 years ago
- Views:
Transcription
1 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS SARADHA AD DIVYUM SHARMA Abstract Using Rickert s contour integrals, we give effective lower bounds for simultaneous rational approximations to numbers in the sets { a ) ν, + a ) ν } { + a ) ν, + 2a ) ν } Here > a are integers, 0 < ν < is a rational number at least one of the radicals is irrational in each set The result is valid for all q where q denotes the denominator of the approximating rational number Introduction The method of Padé approximation has been widely used to obtain effective lower bounds for simultaneous rational approximations to algebraic numbers See for example [9], [2], [7], [8], [0] [5] In these papers hypergeometric polynomials were used as Padé approximants to transcendental functions of the form + ax) ν with a Z \ {0} ν Q + \ Rickert [] used contour integral representation for the Padé approximants to these transcendental functions to show the following result Let ) θ = /), θ 2 = + /) with 2 Then 2) max { θ p q, θ 2 p } 2 q for all integers p, p 2, q with q > 0 where > c q λ λ = + log2 + 24) log27 2 )/2) c = Mathematics Subject Classification J68, J82 Key words phrases Simultaneous approximation, Padé approximation, Contour integrals
2 2 SARADHA AD DIVYUM SHARMA This result leads to bounds for solutions to certain simultaneous Pelltype equations as soon as λ < 2 See [] for details By taking = 49 in the above result, he derives that ) max { 2 p q }, p 2 q > c 0 q λ 0 with c 0, λ 0 ) = 0 7, 9) for all integers p, p 2, q with q > 0 In [4], Bennett improved the value of λ in 2) asymptotically, ie for q q 0 where q 0 is effectively computable but not explicitly given In fact, this is a special case of a more general result [4, Theorem ]) proved by elaborating on the ideas of Chudnovsky [5] which included estimating more precisely the common denominators of the coefficients of the approximants As a result, he showed that ) holds with c 0, λ 0 ) =, 7955) for all integers p, p 2, q with q q 0, where q 0 is a large inexplicit constant In [], he made this result explicit with q 0 = c 0, λ 0 ) = 0 0, 86) This is a particular case of the following result [, Theorem 4] Let θ, θ 2 be given by ) Then max { θ p q, θ 2 p } 2 q > for all integers p, p 2, q with q > 0 where q λ λ = λ) = + log8 + 6) log8 2 )/64) Let a, be positive integers let 0 < ν < be a rational number Write ν = s/n with gcds, n) = Our aim in this paper is to extend the above result of Bennett for numbers θ, θ 2 ) where θ, θ 2 ) { a To state our results, we put ) ν, + a e 0 = p n ) ν ), + a p max{ordp n 2a )+ p,0} ) ν, + 2a ) ν )} 2, 4/, 68) if n = 2 4) e, e, e ) = 4,, 679) if n = 4 e 0, e 0 /2, ) otherwise
3 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS Theorem Let θ = a ) ν θ2 = + a ) ν with 6794e 2 a Assume that at least one of θ θ 2 is irrational Then 2) is valid with c = 0005 ae e λ = + log6 e + 2ae ) log27 2 a 2 )/6a e )) a ) ν + 2a ) ν ) 9ae ν ν 2 λ+ ) 2 a) Remark 2 Taking a = ν =, in Theorem, we get 2 4 Theorems 4 4 of [] ote that λ < 2 whenever if ν = /2 62 if ν = /4 Example By taking = 8, a = ν = /, we obtain λ 7, 58) 8264 Theorem Let θ = + a ) ν θ2 = + 2a ) ν with 867e 2 a Assume that at least one of θ θ 2 is irrational Then 2) is valid with λ = + log6 e + 6ae 2 + )) log27 a) 2a)/6a e )) c = ) ν ) )a 9ae ae e ν ν 2 λ+ ) 2 2a) Remark 4 Let θ θ 2 be algebraic numbers such that, θ, θ 2 are linearly independent over Q Then it is known by a celebrated theorem of Schmidt [2] that given ɛ > 0 there exists c = cθ, θ 2, ɛ) > 0 such that max { θ p q, θ 2 p } 2 q > c q λ with λ = 5 + ɛ, for all integers p, p 2, q with q > 0 By the classical theorem of Dirichlet on Diophantine approximation, it follows that such a result cannot hold for λ = 5 Thus Schmidt s result is optimal, but it is ineffective in the sense that c cannot be computed In Theorems, c is explicitly determined for the specified numbers θ, θ 2 ) Further, the exponent λ of q is found to be less than 2
4 4 SARADHA AD DIVYUM SHARMA Let θ θ 2 be either as in Theorem or Theorem, with ν = /2 Take = 0 2 write αi θ i = s i 0 with 0, s i positive integers α i square free for i =, 2 By the irrationality assumption on θ θ 2, at least one of the α i s exceeds We apply Theorems with q replaced by 0 q p i replaced by s i p i to get { s α max s p 0 0 q, s 2 α2 s } 2p 2 c 0 0 q > 0 q) λ This shows that max { α p q, α2 p } 2 q > c q λ with c = c/ λ 0 maxs, s 2 )) We give few values of a, 0, the corresponding α, α 2 λ in Tables 2 below for Theorems, respectively In all these cases c may be taken as 0 7 The values of a that we have chosen are taken from Table of [4] in which an asymptotic value of λ is given The values of λ given in the tables below are valid for all q Table Examples for Theorem a 0 α α 2 λ Table 2 Examples for Theorem a 0 α α 2 λ
5 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS 5 Remark 5 The main idea in the proofs of Theorems is to dilate with or without translating) the contour considered by Rickert for representing the Padé approximants as contour integrals See Lemma 42 Further, when ν =,, precise estimates for the coefficients of the approximants are used as in [] See Lemma To present our next result, we introduce some notation Let a 0 < a < a 2 be integers with one of them equal to zero Suppose that is a positive integer exceeding M = max a 0, a, a 2 ) For 0 j 2, put ξ j = + a ) ν j Denote by θ θ 2 the two values from ξ 0, ξ ξ 2, which are not equal to Define e = lcma a 0 )a 2 a 0 ), a a 0 )a 2 a ), a 2 a 0 )a 2 a )), e 2 = lcma a 0, a 2 a 0, a 2 a ), e = p max{ordpn/e2)+/p ),0}, p n e 4 = e e 2 e In the following theorem we show that, under certain conditions, one can obtain positive numbers c λ such that 2) holds for all integers p, p 2, q with q > 0 Although the method leads to explicit values of c, these values are very small we do not present them here We will only give the values of λ explicitly Theorem 6 Put G = G 0 = M + a a 0 ) a a 0 ) 2 2a 2 a 0 a ), 42+2M+a a 0 ) a a 0 ) 2 2a 2 +a 0 a if a ) a 0 a 2 a 42+2M+a 2 a ) a 2 a ) 2 a 2a 0 a 2 if a ) a 0 > a 2 a, G 2 = M + a 2 a ) a 2 a ) 2 a 2 2a 0 + a ), P = maxg 0, G, G 2 ), e 4 if ν = /2 D = 9e 4 /8 if ν = /4 e 4 /2 otherwise
6 6 SARADHA AD DIVYUM SHARMA Then 2) holds with λ = + provided the denominator is positive Examples logp D) log668 M) /D) ) By taking = 7 2, ν = /2 a 0, a, a 2 ) = 6, 0, 2), we obtain λ, 2425) ) By taking = , ν = /2 a 0, a, a 2 ) = 4, 0, 6), we obtain λ, 64) 8705 Remark 7 The proof of Theorem 6 depends on expressing the contour integral appearing in the Padé approximation as an infinite integral We connect this integral to the values of the classical Beta function, which are then estimated using Stirling s formula In Sections 2-6 we present several lemmas for the proofs of the theorems These lemmas deal with simultaneous rational approximation to algebraic numbers ) ν, aj Z, 0 < ν < + a j for 0 j m with m 2 one of the a j s equals zero theorems are obtained in Section 7 by specializing to m = 2 2 Approximating Forms The The lemma presented in this section is used to find effective lower bounds for simultaneous rational approximations to real numbers θ,, θ m by the construction of suitable independent approximation forms This is a mild variant of Lemma 2 from [] Lemma 2 Let θ,, θ m R Put θ 0 = Suppose that there are positive real numbers l, p, d, L, P, D, r 0 having the following property For each integer r r 0 0, there exist p ijr Q 0 i, j m), with non-zero determinant C r Z such that for all i, j = 0,, m, we have 5) 6) C r dd r, C r p ijr Z, p ijr pp r
7 7) SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS 7 m p ijr θ j l L r j=0 If L D >, then for all non-zero integer tuples p,, p m, q), q L 8) max where θ p q 9) χ =,, θ m p ) m q logp D) logl/d) > c q +χ, c = /2m + )pdp Dmax, 2ld)) χ ) Further for all q, we can take χ as in 9) where c = /2m + )pdp Dmax, 2ld)) χ W +χ ), W = [ ) r0 ] L + D D) r0, we have Remark 2 Our aim is to find χ as small as possible For this, we see from 9) that P D should be small L should be large The auxiliary parameters p, d l are introduced to facilitate this Proof of Lemma 2 Let p,, p m, q be integers with q L r0 D) Put p 0 = q δ = max θ p q,, θ m p ) m q Take where Then r = + [ ] logcq), logl/d) C = max, 2ld) L/D) r > Cq q L/D) r 0
8 8 SARADHA AD DIVYUM SHARMA Since L > D, this implies that r r 0 Therefore, by hypothesis, there exist numbers p ijr Q, 0 i, j m, with detp ijr ) 0, C r Z satisfying the conditions 5) 7) Then m m p ijr p j = q m p ijr θ j q p ijr θ j p j /q) j=0 j=0 j=0 0) qll r + m + )qpp r δ m Since detp ijr ) 0, there exists i such that p ijr p j j=0 is a nonzero rational number further, its denominator divides C r, which is dd r Therefore we get m ) p ijr p j dd r ) j=0 ote that L/D) r Cq 2ldq Comparing 0) ) we get implying that δ = m + )qpp r δ dd r ql L r 2dD r 2m + )pdqp D) r 2m + )pdqp DCq) χ c q +χ This proves the first part of the lemma If q < L r0 D) we apply 8) with q replaced by W q p i replaced by W p i, for i =,, m This gives the second part of the lemma Rickert s Contour Integral Let a 0 < a < < a m be integers, with one of them equal to zero Suppose that x > max a i Let r be a non-negative integer For 0 i m i = 0,, m, consider the contour integral 2) I i x, r, γ) = 2π γ + zx) r+ν z a i )Az)) r dz, where Az) = z a 0 ) z a m ) γ is a closed, counter-clockwise contour containing a 0,, a m, but not passing through any of them Then I i x) = I i x, r, γ) defines a function of x which is analytic near the origin The following lemma summarizes the results in Lemmas, 4 of []
9 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS 9 Lemma Let 0 i m Then ) I i x) has a zero of order at least m + )r at the origin 2) There are polynomials q ijr x) 0 j m) of degree at most r such that m I i x) = q ijr x) + a j x) ν j=0 Here, q ijr x) + a j x) ν is the residue of the integr in 2) at z = a j for j = 0,, m Also, det q ijrx)) 0 0 i,j m Thus for every i with 0 i m r 0, the polynomials q ijr x) are the Padé approximants to the function + a j x) ν, 0 j m The polynomials q ijr x) were given explicitly in [] as ) q ijr x) = h 0 ++h m= r ij, h l 0 r + ν h j ) x h j +a j x) r h j 0 l m, l j ril h l ) a j a l ) r il+h l, where r il = r + δ il where δ il is the Kronecker delta function We will now take x = / where is a natural number exceeding max a i 0 i m For 0 i, j m put ξ j = + a ) ν j q ijr = q ijr /) ote that one of the ξ i s, say ξ u is equal to For 0 i, j m, put if j = 0 θ j = ξ j if j u if u + j m ξ j q iur if j = 0 p ijr = q ij )r if j u q ijr if u + j m We approximate θ i s simultaneously by using Lemma 2 For this purpose, we need to determine the values of d, p, l, D, P, L occurring in Lemma 2 Thus we need to obtain upper bounds of the shape m given in Lemma 2 for C r, p ijr p ijr θ j This is equivalent to j=0
10 0 SARADHA AD DIVYUM SHARMA m finding such bounds for C r, q ijr q ijr ξ j as p i0r,, p imr ) is a j=0 permutation of q i0r,, q imr ) for all i, r 4 Determination of p P Let M = max a t Put R 0 = a a 0, R 0 t m 2 m = am a m for j = 2,, m, define aj a j R j = min, a ) j+ a j 2 2 Let 0 i, j m If j = m or R j = a j a j, take 2 a j a j if i = j T ji = a j 2a i + a j if i < j 2a i a j + a j if i > j If j = 0 or R j = a j+ a j, take 2 a j+ a j if i = j T ji = a j 2a i a j+ if i < j 2a i a j a j+ if i > j Further we define g ji = 2R j + M + R j ) ν ξ j T ji ν G j = 2m+ + M + R j ) m T ji Lemma 4 Condition 6) in Lemma 2 is satisfied by taking i=0 p = max g ji) P = max G j i,j j Proof Fix j with 0 j m Let γ j denote the circle of radius R j centered at a j Then 4) q ijr x) + a j x) ν = 2π + zx) r+ν z a i )Az)) dz r otice that, for z γ j, 5) + z + a j + R j + M + R j γ j
11 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS j z a i Az) r = z a j r+δ ji z a h r+δ hi Case : R r+δ ji j h=0 j a j a h R j ) r+δ hi h=0 Let R j = a j a j 2 In this case, z a i Az) r a j a j ) r+δ ji 2 m+)r+ By 4) 5), we get m h=j+ m h=j+ m h=j+ z a h r+δ hi a h a j R j ) r+δ hi j a j 2a h + a j ) r+δ hi h=0 2a h a j + a j ) r+δ hi q ijr g ji G r j Case 2: Let R j = a j+ a j 2 In this case z a i Az) r a j+ a j ) r+δ ji 2 m+)r+ m h=j+ Again, using 4) 5), we get This proves the lemma j a j 2a h a j+ ) r+δ hi h=0 2a h a j a j+ ) r+δ hi q ijr g ji G r j If the integers a j s are equally spaced, we deduce the following result Corollary 4 Let a 0,, a m satisfy a j+ a j = a j a j for all j =,, m Then condition 6) in Lemma 2 is satisfied by taking p = min θ + M + R ) ν m + 2) 2 + M + R) P = j 2 m+2 R m+ [m/2]!m [m/2])! 0 j m Here R = a a 0 2
12 2 SARADHA AD DIVYUM SHARMA Proof Since T ji 2R for all i, we get that 6) Further G j = g ji min 0 j m ξ j + M + R ) ν + M + R j ) ) m R m+ 2j 2h) 2h 2j) h=0 h=j+ The denominator in the above expression equals R m+ 2j)!2m 2j)! 2 m j!m j)! From the inequality ) 2t 4t t t + for the central binomial coefficient, it follows that ) ) 2j 2m 2j 4 m > j m j j + )m j + ) 4m+ m + 2) 2 Also min j!m j)! = [m/2]!m [m/2])! Therefore the denominator 0 j m of G j is at least This implies that 7) G j 2 m+2 R m+ [m/2]!m [m/2])! m + 2) 2 m + 2) 2 + M + R) 2 m+2 R m+ [m/2]!m [m/2])! The corollary follows from 6), 7) Lemma 4 ow we consider the case m = 2 in Corollary 4 In this case, we take the lemniscate used by Rickert as the contour get better values for p P Lemma 42 Suppose i) a 0, a, a 2 ) = a, 0, a), then condition 6) in Lemma 2 is satisfied by taking p = a ) ν a ) ν P = + 2a ) 2a
13 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS ii) a 0, a, a 2 ) = 0, a, 2a), then condition 6) in Lemma 2 is satisfied by taking p = ) ν )a P = ) )a 2a Proof In the first case, Az) = zz 2 a 2 ) Let γ be the lemniscate defined by Az) = 2a By taking z = at, this can be transformed to γ : tt 2 ) = 2 around, 0, This splits into three contours γ 0, γ γ 2 such that γ i is a contour around i not including the other two points Let γ i z) = γ iz/a) for 0 i 2 From 4) with x =, we get q ijr + a j ) ν = 2π + z ) r+ν z a i )zz 2 a 2 )) dz r γ j + z r+ν 2π z a i z z 2 a 2 ) dz r γ j Thus q ijr + a j ) ν 2πa r + at r+ν t a i a tt 2 ) r dt γ j ow we use some numerical calculations from the proof of [, Lemma 4] On γ 0, we have t a i a > 044 t / Also, γ 0 has length < 2775 Therefore 8) q i0r + a 0 ) ν a ) ν ) r + a ) r 2a ) r Similarly, on γ γ 2 we have t a i a > 054 t 2/
14 4 SARADHA AD DIVYUM SHARMA Further, the lengths of both γ γ 2 can be bounded by 496 Therefore, for j =, 2 we obtain q ijr + a j ) ν a ) ν ) r + 2a ) r 2a ) r which is also valid for j = 0 by 8) Thus we may take p = a ) ν a ) ν P = + 2a ) 2a Similarly, when a 0, a, a 2 ) = 0, a, 2a), we have Az) = zz a)z 2a) Taking γ j = γ j z a ) following the above argument, we get a p = ) ν )a P = ) )a 2a 5 Determination of l L Lemma 5 Condition 7) in Lemma 2 is satisfied by taking l = e + ) /2 L = 099m M) m+ + ) m+ M) sinπν) m m if r 00 Proof Following [4, Lemma, p 72], it is possible to write I i ) = )mr e πν e 2πν ) 2π m+)r Observe that x + + a i = x + ) + a Therefore 9) I i ) = π m+)r 0 0 x r+ν x + + a i ) m dx x + + a l ))r l=0 i x+) x + ) M ) x r+ν x + ) m+)r+ M Br + ν +, mr ν) π M) m+)r+ )m+)r+ dx
15 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS 5 where Bm, n) is the classical Beta function, see [6, Exercise 4, p 228] for the above assertion It is well known that 20) Br + ν +, mr ν) = πr + ν) νmr ν) ν) sinπν)m + )r)! πr + )!mr)! sinπν)m + )r)! since 0 < ν < If x 2 is an integer, then by Stirling s formula [, Formula 68], we have x + 05) log x x + 9 < log x! < x + 05) log x x + Using this, we obtain ) r + )!mr)! log m + )r)! r + 5) logr + ) + mr + 05) logmr) mr + r + 05) logmr + r) + 0 = r log + /r) + 5 logr + ) r log m mr + r + 05) log + /m) + 0 Hence, 2) r + )!mr)! m + )r)! e0 + /r) r r + ) 5 e + ) /2 ) r + ) 5/r r m r + /m) mr+r+05 m m + /m) m+ Combining 9) 2) using r + ) 5/r 099 for r 00, we get the assertion of the lemma For some special numbers a i the values of l L can be improved as shown in the lemma below Lemma 52 Suppose that the set S = {a 0,, a m } satisfies one of the following two properties: i) All the elements of S are non-negative ii) a i S if only if a i S Then condition 7) in Lemma 2 is satisfied by taking ) l = + ν m + ) m+ L = m + )m+ a 0 ) a m ) m + m m a m ) m m Proof We follow [, Lemma ] Let γ be a closed contour enclosing all the a i s, traced counter clockwise Then ) r + ν I i x, r, γ) = x h J ih, h h=m+)r
16 6 SARADHA AD DIVYUM SHARMA where J ih = 2π γ z h z a i )Az)) r dz Therefore ) I i, r, γ b h J ih h, h=m+)r where b h = ) r+ν h For h r, bh decreases as h increases Hence we have ) 22) I i, r, γ b m+)r J ih h h=m+)r Further, by induction on r it follows that ) ) b m+)r + ν m m r 2) m + m + ) m+ Let J i x) = x h J ih h=0 Suppose that x < /M that γ is a circle centered at the origin, with radius r satisfying M < r < x Arguing as in the proof of [, Lemma 2], we get that J i x) = 2π γ xz)z a i )Az)) r dz = Res z=/x xz)z a i )Az)) r = a i x)a/x) r Thus when property i) holds for S, the coefficients J ih of J i x) are all positive Taking x = / in the above expression, we obtain that 24) J i /) = a i )A) = J r ih h This is also true when property ii) holds for S a i is non-negative Further, when property ii) holds, we have A) = A ) ow suppose that a i is negative Then we get 25) J ih h = J i /) = a i )A) r h=0 h=0
17 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS 7 Hence from 22) 25), we find in both cases ) ) ) I i, r, γ + ν m m r m + m + ) m+ a i A) r which gives the values of l L as claimed Define 6 Determination of d D c = lcm{ 0 h m h i a h a i : 0 i m}, c 2 = lcm{ a l a t : 0 l < t m}, c = p n p max{ordpn/c 2)+/p ),0}, c 4 = c c 2 c Further, for k with k < n, let Sk) be the set of all primes p > nr + s, gcdp, nr) =, { r } > max nm k, k ) pk s mod n) p nm n Then it follows from [4, Lemma 42, p 728] that a denominator for p ijr can be taken as c 4 ) r c 2 rhn, r) where Hn, r) = k n, p Sk) k,n)= p Further, in [, Lemma ], Bennett used estimates from Prime umber Theory to show that H2, r) < 682/) r H4, r) < 679/4) r Using these results, we prove the following lemma Lemma 6 Let e e be given by 4) i) Condition 5) in Lemma 2 is satisfied by taking d = c 2 e c 4 if ν = /2 D = 9c 4 /8 if ν = /4 c 4 /2 otherwise ii) If m = 2 a 0, a, a 2 ) = a, 0, a) or 0, a, 2a), then condition 5) in Lemma 2 is satisfied by taking d = 2ae D = 4a e
18 8 SARADHA AD DIVYUM SHARMA Proof i) ote that e 2/) r if ν = /2 Hn, r) e /4) r if ν = /4 e otherwise Since a denominator for q ijr can be taken as c 4 ) r c 2 rhn, r) which is at most c 4 ) r c 2 5 r Hn, r), we can take d D as in the statement of the lemma ii) Observe that c = 2a 2, c 2 = 2a c = e 0 When ν,, we 2 4 bound the denominator of q ijr by c 4 ) r c 2 5 r e Let ν =, Hence 2 4 n = 2 or 4 Any summ in ) with m = 2 x = / is of the form j + a j ) r h j n h j hj! r a r iα+r iβ +h α+h β2 r iα +h α ) ) riα riβ where j = nr + ) nr + nh j )), 0 α, β 2, α, β not equal to j h α + h β + h j = r ij ote that 2 does not divide j ow, as in [], we get that divides riα j h α not exceed ) riβ h β h α h j! 2 ord 2h j!) Hn, r) ) Hence a denominator for the summ does h β Hn, r)2 2r+δ iα+δ ij n h j r a r+δ iα+δ iβ +δ ij h j 2Hn, r)4a ) r 2 r maxord 2n/a),0) Thus a denominator for q ijr can be taken as c 4 ) r c 2 Hn, r) Further, since n = 2 or 4, we have e 0 n Using the above bounds for Hn, r) we conclude that we may take d = 2ae D = 4a e 7 Proof of the Theorems For the proofs of the theorems we take m = 2 Then c i = e i for i 4 Proof of Theorem Let a 0, a, a 2 ) = a, 0, a), a 6794e 2 a Then by Lemmas 42i), 52 6ii), we can take p = a ) ν a ) ν, P = + 2a ) 2a,
19 SIMULTAEOUS RATIOAL APPROXIMATIO VIA RICKERT S ITEGRALS 9 l = 9ν ν2 ), L = 27 8 a) 4 2 a 2 ), 26) d = 2ae D = 4a e Thus L = 27 2 a 2 ) L/D > by the assumption on The values D 6a e of c χ are calculated from the expressions given by Lemma 2 In order that χ <, we require Thus χ < whenever P D 2 < L 9 2 a 2 ) > 2 a e 2 + 2a ) Since e 4/ a, the above quadratic inequality holds if 6794e 2 a This proves the theorem Proof of Theorem Let a 0, a, a 2 ) = 0, a, 2a), a Then by Lemmas 42ii), 52 6ii), we can take p = ) ν )a, P = ) )a 2a, l = 9ν ν2 ) 8 2a), L = a + 2a 2 ) d D as in 26) The values of c χ are calculated from the expressions given by Lemma 2 In this case, χ < whenever 9 2 a + 2a 2 ) > 2 a e ) )a which holds for 867e 2 a This completes the proof of the theorem Proof of Theorem 6 We apply Lemmas 4 6i) with m = 2 to get the values of P D as in the statement of the theorem From Lemma 5, for r 00 we get L = M) /2) 668 M) Thus by Lemma 2, the value of χ can be taken as logp D) log668 M) /D)
20 20 SARADHA AD DIVYUM SHARMA Acknowledgement We thank Professor R Tijdeman for his many useful suggestions References [] M Abramowitz I A Stegun, Hbook of Mathematical Functions: with Formulas, Graphs, Mathematical Tables, Dover Publications 964) [2] A Baker, Simultaneous rational approximations to certain algebraic numbers, Proc Camb Phil Soc 6 967), [] M A Bennett, Simultaneous approximation to pairs of algebraic numbers, Canad Math Soc Proc 5 995), [4] M A Bennett, Simultaneous rational approximation to binomial functions, Trans Amer Math Soc ), [5] G V Chudnovsky, On the method of Thue-Siegel, Ann Math II) 7 98), [6] E T Copson, An introduction to the theory of functions of a complex variable, Oxford University Press, London 95) [7] I Fel dman, An estimate of an incomplete linear form in several algebraic variables, Math otes 7 970), 4-49 [8] I Fel dman, Effective bounds for the number of solutions of certain Diophantine equations, Math otes 8 970), [9] K Mahler, Ein Beweis des Thue-Siegelschen Satzes über die Approximation algebraischen Zahlen für binomische Gleichungen, Math Ann 05 9), [0] C F Osgood, The simultaneous Diophantine approximation of certain kth roots, Proc Camb Phil Soc ), [] J H Rickert, Simultaneous rational approximations related Diophantine equations, Math Proc Camb Phil Soc 99), [2] W M Schmidt, Simultaneous approximation to algebraic numbers by rationals, Acta Math ), Saradha School of Mathematics Tata Institute of Fundamental Research Homi Bhabha Road, Mumbai India address: saradha@mathtifrresin Divyum Sharma School of Mathematics Tata Institute of Fundamental Research Homi Bhabha Road, Mumbai India address: divyum@mathtifrresin
NUMBER OF REPRESENTATIONS OF INTEGERS BY BINARY FORMS
NUMBER O REPRESENTATIONS O INTEGERS BY BINARY ORMS DIVYUM SHARMA AND N SARADHA Abstract We give improved upper bounds for the number of solutions of the Thue equation (x, y) = h where is an irreducible
More informationSIMULTANEOUS RATIONAL APPROXIMATION TO BINOMIAL FUNCTIONS
SIMULTAEOUS RATIOAL APPROXIMATIO TO BIOMIAL FUCTIOS Michael A. Bennett 1 Abstract. We apply Padé approximation techniques to deduce lower bounds for simultaneous rational approximation to one or more algebraic
More informationON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL. N. Saradha
Indian J Pure Appl Math, 48(3): 311-31, September 017 c Indian National Science Academy DOI: 101007/s136-017-09-4 ON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL N Saradha School of Mathematics,
More informationSquares in products with terms in an arithmetic progression
ACTA ARITHMETICA LXXXVI. (998) Squares in products with terms in an arithmetic progression by N. Saradha (Mumbai). Introduction. Let d, k 2, l 2, n, y be integers with gcd(n, d) =. Erdős [4] and Rigge
More informationOn a family of relative quartic Thue inequalities
Journal of Number Theory 120 2006 303 325 www.elsevier.com/locate/jnt On a family of relative quartic Thue inequalities Volker Ziegler Department of Mathematics, Graz University of Technology, Steyrergasse
More informationAlmost perfect powers in consecutive integers (II)
Indag. Mathem., N.S., 19 (4), 649 658 December, 2008 Almost perfect powers in consecutive integers (II) by N. Saradha and T.N. Shorey School of Mathematics, Tata Institute of Fundamental Research, Homi
More informationNOTES 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 informationPILLAI S CONJECTURE REVISITED
PILLAI S COJECTURE REVISITED MICHAEL A. BEETT Abstract. We prove a generalization of an old conjecture of Pillai now a theorem of Stroeker and Tijdeman) to the effect that the Diophantine equation 3 x
More informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
More informationAN ESTIMATE FOR THE LENGTH OF AN ARITHMETIC PROGRESSION THE PRODUCT OF WHOSE TERMS IS ALMOST SQUARE 1. INTRODUCTION
AN ESTIMATE FOR THE LENGTH OF AN ARITHMETIC PROGRESSION THE PRODUCT OF WHOSE TERMS IS ALMOST SQUARE SHANTA LAISHRAM ABSTRACT. Erdős conjectured that ( n(n + d (n + ( d = y in positive integers n,, d >,
More informationA parametric family of quartic Thue equations
A parametric family of quartic Thue equations Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the Diophantine equation x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3 + y 4 = 1, where c
More informationAlmost fifth powers in arithmetic progression
Almost fifth powers in arithmetic progression L. Hajdu and T. Kovács University of Debrecen, Institute of Mathematics and the Number Theory Research Group of the Hungarian Academy of Sciences Debrecen,
More informationNotes 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 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 informationARTIN S CONJECTURE AND SYSTEMS OF DIAGONAL EQUATIONS
ARTIN S CONJECTURE AND SYSTEMS OF DIAGONAL EQUATIONS TREVOR D. WOOLEY Abstract. We show that Artin s conjecture concerning p-adic solubility of Diophantine equations fails for infinitely many systems of
More informationRunge 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 informationOn the irreducibility of certain polynomials with coefficients as products of terms in an arithmetic progression
On the irreducibility of certain polynomials with coefficients as products of terms in an arithmetic progression Carrie E. Finch and N. Saradha 1 Introduction In 1929, Schur [9] used prime ideals in algebraic
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 informationBOUNDS FOR DIOPHANTINE QUINTUPLES. Mihai Cipu and Yasutsugu Fujita IMAR, Romania and Nihon University, Japan
GLASNIK MATEMATIČKI Vol. 5070)2015), 25 34 BOUNDS FOR DIOPHANTINE QUINTUPLES Mihai Cipu and Yasutsugu Fujita IMAR, Romania and Nihon University, Japan Abstract. A set of m positive integers {a 1,...,a
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 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 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 informationA 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 informationPOWER VALUES OF SUMS OF PRODUCTS OF CONSECUTIVE INTEGERS. 1. Introduction. (x + j).
POWER VALUES OF SUMS OF PRODUCTS OF CONSECUTIVE INTEGERS L. HAJDU, S. LAISHRAM, SZ. TENGELY Abstract. We investigate power values of sums of products of consecutive integers. We give general finiteness
More informationPower values of sums of products of consecutive integers
isid/ms/2015/15 October 12, 2015 http://www.isid.ac.in/ statmath/index.php?module=preprint Power values of sums of products of consecutive integers L. Hajdu, S. Laishram and Sz. Tengely Indian Statistical
More informationNORMAL 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 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 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 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 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 informationFRACTIONAL HYPERGEOMETRIC ZETA FUNCTIONS
FRACTIONAL HYPERGEOMETRIC ZETA FUNCTIONS HUNDUMA LEGESSE GELETA, ABDULKADIR HASSEN Both authors would like to dedicate this in fond memory of Marvin Knopp. Knop was the most humble and exemplary teacher
More informationGeneralized Lebesgue-Ramanujan-Nagell Equations
Generalized Lebesgue-Ramanujan-Nagell Equations N. Saradha and Anitha Srinivasan Dedicated to Professor T. N. Shorey on his 60th birthday 1 Prelude For any positive integer ν > 1, let P (ν) and ω(ν) denote
More informationUnit 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 informationThe 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 informationSQUARES IN BLOCKS FROM AN ARITHMETIC PROGRESSION AND GALOIS GROUP OF LAGUERRE POLYNOMIALS
SQUARES IN BLOCKS FROM AN ARITHMETIC PROGRESSION AND GALOIS GROUP OF LAGUERRE POLYNOMIALS N SARADHA AND T N SHOREY Abstract We investigate when a product of t 2 terms taken from a set of k successive terms
More informationON 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 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 informationWRONSKIANS 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 informationLecture 3. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 3 E- and G-functions 1 / 20
Lecture 3 Frits Beukers Arithmetic of values of E- and G-function Lecture 3 E- and G-functions 1 / 20 G-functions, definition Definition An analytic function f (z) given by a powerseries a k z k k=0 with
More informationA NOTE ON THE SIMULTANEOUS PELL EQUATIONS x 2 ay 2 = 1 AND z 2 by 2 = 1. Maohua Le Zhanjiang Normal College, P.R. China
GLASNIK MATEMATIČKI Vol. 47(67)(2012), 53 59 A NOTE ON THE SIMULTANEOUS PELL EQUATIONS x 2 ay 2 = 1 AND z 2 by 2 = 1 Maohua Le Zhanjiang Normal College, P.R. China Abstract. Let m,n be positive integers
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
More informationMath 75 Mini-Mod Due Dates Spring 2016
Mini-Mod 1 Whole Numbers Due: 4/3 1.1 Whole Numbers 1.2 Rounding 1.3 Adding Whole Numbers; Estimation 1.4 Subtracting Whole Numbers 1.5 Basic Problem Solving 1.6 Multiplying Whole Numbers 1.7 Dividing
More informationSOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS WITH EXCEPTIONALLY FEW ZEROS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 23, 1998, 429 452 SOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS WITH EXCEPTIONALLY FEW ZEROS Gary G. Gundersen, Enid M. Steinbart, and
More informationNUMBER 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 informationPrentice Hall: Algebra 2 with Trigonometry 2006 Correlated to: California Mathematics Content Standards for Algebra II (Grades 9-12)
California Mathematics Content Standards for Algebra II (Grades 9-12) This discipline complements and expands the mathematical content and concepts of algebra I and geometry. Students who master algebra
More informationOn 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 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 informationOn prime factors of integers which are sums or shifted products. by C.L. Stewart (Waterloo)
On prime factors of integers which are sums or shifted products by C.L. Stewart (Waterloo) Abstract Let N be a positive integer and let A and B be subsets of {1,..., N}. In this article we discuss estimates
More informationAlgebra 1 Correlation of the ALEKS course Algebra 1 to the Washington Algebra 1 Standards
Algebra 1 Correlation of the ALEKS course Algebra 1 to the Washington Algebra 1 Standards A1.1: Core Content: Solving Problems A1.1.A: Select and justify functions and equations to model and solve problems.
More informationTHE NUMBER OF DIOPHANTINE QUINTUPLES. Yasutsugu Fujita College of Industrial Technology, Nihon University, Japan
GLASNIK MATEMATIČKI Vol. 45(65)(010), 15 9 THE NUMBER OF DIOPHANTINE QUINTUPLES Yasutsugu Fujita College of Industrial Technology, Nihon University, Japan Abstract. A set a 1,..., a m} of m distinct positive
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 information#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 information250 G. ALKAUSKAS and A. DUBICKAS Baker and Harman [2] proved that the sequence [ο p ] (where p runs over the primes) contains infinitely many prime nu
Acta Math. Hungar. 105 (3) (2004), 249 256. PRIME AND COMPOSITE NUMBERS AS INTEGER PARTS OF POWERS G. ALKAUSKAS and A. DUBICKAS Λ (Vilnius) Abstract. We studyprime and composite numbers in the sequence
More informationINTRODUCTION TO TRANSCENDENTAL NUMBERS
INTRODUCTION TO TRANSCENDENTAL NUBERS VO THANH HUAN Abstract. The study of transcendental numbers has developed into an enriching theory and constitutes an important part of mathematics. This report aims
More informationMath 172 Problem Set 5 Solutions
Math 172 Problem Set 5 Solutions 2.4 Let E = {(t, x : < x b, x t b}. To prove integrability of g, first observe that b b b f(t b b g(x dx = dt t dx f(t t dtdx. x Next note that f(t/t χ E is a measurable
More informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More informationEXTENSIONS OF THE BLOCH PÓLYA THEOREM ON THE NUMBER OF REAL ZEROS OF POLYNOMIALS
EXTENSIONS OF THE BLOCH PÓLYA THEOREM ON THE NUMBER OF REAL ZEROS OF POLYNOMIALS Tamás Erdélyi Abstract. We prove that there are absolute constants c 1 > 0 and c 2 > 0 for every {a 0, a 1,..., a n } [1,
More informationON THE IRREDUCIBILITY OF THE GENERALIZED LAGUERRE POLYNOMIALS
ON THE IRREDUCIBILITY OF THE GENERALIZED LAGUERRE POLYNOMIALS M. Filaseta Mathematics Department University of South Carolina Columbia, SC 908 filaseta@math.sc.edu http://www.math.sc.edu/ filaseta/ T.-Y.
More informationAlgebra I Unit Report Summary
Algebra I Unit Report Summary No. Objective Code NCTM Standards Objective Title Real Numbers and Variables Unit - ( Ascend Default unit) 1. A01_01_01 H-A-B.1 Word Phrases As Algebraic Expressions 2. A01_01_02
More informationON POWER VALUES OF POLYNOMIALS. A. Bérczes, B. Brindza and L. Hajdu
ON POWER VALUES OF POLYNOMIALS ON POWER VALUES OF POLYNOMIALS A. Bérczes, B. Brindza and L. Hajdu Abstract. In this paper we give a new, generalized version of a result of Brindza, Evertse and Győry, concerning
More informationCollatz cycles with few descents
ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.
More informationJAN-HENDRIK EVERTSE AND KÁLMÁN GYŐRY
EFFECTIVE RESULTS FOR DIOPHANTINE EQUATIONS OVER FINITELY GENERATED DOMAINS: A SURVEY JAN-HENDRIK EVERTSE AND KÁLMÁN GYŐRY Abstract. We give a survey of our recent effective results on unit equations in
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 informationA Simple Proof that ζ(n 2) is Irrational
A Simple Proof that ζ(n 2) is Irrational Timothy W. Jones February 3, 208 Abstract We prove that partial sums of ζ(n) = z n are not given by any single decimal in a number base given by a denominator of
More informationTHE WORK OF EFIM ZELMANOV (FIELDS MEDAL 1994)
THE WORK OF EFIM ZELMANOV (FIELDS MEDAL 1994) KAPIL H. PARANJAPE 1. Introduction Last year at the International Congress of Mathematicians (ICM 94) in Zürich, Switzerland one of the four recipients of
More informationarxiv: v1 [math.nt] 9 Sep 2017
arxiv:179.2954v1 [math.nt] 9 Sep 217 ON THE FACTORIZATION OF x 2 +D GENERALIZED RAMANUJAN-NAGELL EQUATION WITH HUGE SOLUTION) AMIR GHADERMARZI Abstract. Let D be a positive nonsquare integer such that
More informationApollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings
Apollonian Circle Packings: Number Theory II. Spherical and Hyperbolic Packings Nicholas Eriksson University of California at Berkeley Berkeley, CA 942 Jeffrey C. Lagarias University of Michigan Ann Arbor,
More informationSOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM
Acta Arith. 183(018), no. 4, 339 36. SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM YU-CHEN SUN AND ZHI-WEI SUN Abstract. Lagrange s four squares theorem is a classical theorem in number theory. Recently,
More informationOn the Distribution of Multiplicative Translates of Sets of Residues (mod p)
On the Distribution of Multiplicative Translates of Sets of Residues (mod p) J. Ha stad Royal Institute of Technology Stockholm, Sweden J. C. Lagarias A. M. Odlyzko AT&T Bell Laboratories Murray Hill,
More informationContinued 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 informationAN EXTENSION OF A THEOREM OF EULER. 1. Introduction
AN EXTENSION OF A THEOREM OF EULER NORIKO HIRATA-KOHNO, SHANTA LAISHRAM, T. N. SHOREY, AND R. TIJDEMAN Abstract. It is proved that equation (1 with 4 109 does not hold. The paper contains analogous result
More informationDetermining 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 information18.S34 linear algebra problems (2007)
18.S34 linear algebra problems (2007) Useful ideas for evaluating determinants 1. Row reduction, expanding by minors, or combinations thereof; sometimes these are useful in combination with an induction
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 informationMATH 190 KHAN ACADEMY VIDEOS
MATH 10 KHAN ACADEMY VIDEOS MATTHEW AUTH 11 Order of operations 1 The Real Numbers (11) Example 11 Worked example: Order of operations (PEMDAS) 7 2 + (7 + 3 (5 2)) 4 2 12 Rational + Irrational Example
More informationTHE DIOPHANTINE EQUATION P (x) = n! AND A RESULT OF M. OVERHOLT. Florian Luca Mathematical Institute, UNAM, Mexico
GLASNIK MATEMATIČKI Vol. 37(57(2002, 269 273 THE IOPHANTINE EQUATION P (x = n! AN A RESULT OF M. OVERHOLT Florian Luca Mathematical Institute, UNAM, Mexico Abstract. In this note, we show that the ABC-conjecture
More informationNOTES ON ZHANG S PRIME GAPS PAPER
NOTES ON ZHANG S PRIME GAPS PAPER TERENCE TAO. Zhang s results For any natural number H, let P (H) denote the assertion that there are infinitely many pairs of distinct primes p, q with p q H; thus for
More informationE-SYMMETRIC NUMBERS (PUBLISHED: COLLOQ. MATH., 103(2005), NO. 1, )
E-SYMMETRIC UMBERS PUBLISHED: COLLOQ. MATH., 032005), O., 7 25.) GAG YU Abstract A positive integer n is called E-symmetric if there exists a positive integer m such that m n = φm), φn)). n is called E-asymmetric
More informationON THE FRACTIONAL PARTS OF LACUNARY SEQUENCES
MATH. SCAND. 99 (2006), 136 146 ON THE FRACTIONAL PARTS OF LACUNARY SEQUENCES ARTŪRAS DUBICKAS Abstract In this paper, we prove that if t 0,t 1,t 2,... is a lacunary sequence, namely, t n+1 /t n 1 + r
More informationResults 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 informationPRIME NUMBERS YANKI LEKILI
PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers: 1,2,..., These are constructed using Peano axioms. We will not get into the philosophical questions related to this and simply assume
More informationON THE LINEAR INDEPENDENCE OF THE SET OF DIRICHLET EXPONENTS
ON THE LINEAR INDEPENDENCE OF THE SET OF DIRICHLET EXPONENTS Abstract. Given k 2 let α 1,..., α k be transcendental numbers such that α 1,..., α k 1 are algebraically independent over Q and α k Q(α 1,...,
More informationarxiv: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 informationFourier series, Weyl equidistribution. 1. Dirichlet s pigeon-hole principle, approximation theorem
(October 4, 25) Fourier series, Weyl equidistribution Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 25-6/8 Fourier-Weyl.pdf]
More informationEquations in roots of unity
ACTA ARITHMETICA LXXVI.2 (1996) Equations in roots of unity by Hans Peter Schlickewei (Ulm) 1. Introduction. Suppose that n 1 and that a 1,..., a n are nonzero complex numbers. We study equations (1.1)
More informationAn Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch
An Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch Une Interprétation Algébrique de la Suite des Ordres de Multiplicité d une Branche Algébrique Proc. London Math. Soc. (2),
More information2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS
2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS B.M. Kim 1, Myung-Hwan Kim 2, and S. Raghavan 3, 1 Dept. of Math., Kangnung Nat l Univ., Kangwondo 210-702, Korea 2 Dept. of Math.,
More informationHomework #2 solutions Due: June 15, 2012
All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is
More informationarxiv: v2 [math.nt] 21 Jun 2017
THE THREE GAP THEOREM AND THE SPACE OF LATTICES JENS MARKLOF AND ANDREAS STRÖMBERGSSON Abstract. The three gap theorem (or Steinhaus conjecture) asserts that there are at most three distinct gap lengths
More informationAlgebra I Vocabulary Cards
Algebra I Vocabulary Cards Table of Contents Expressions and Operations Natural Numbers Whole Numbers Integers Rational Numbers Irrational Numbers Real Numbers Order of Operations Expression Variable Coefficient
More informationPRODUCTS OF CONSECUTIVE INTEGERS
PRODUCTS OF CONSECUTIVE INTEGERS MICHAEL A. BENNETT Abstract. In this paper, we deduce a number of results on the arithmetic structure of products of integers in short intervals. By way of example, we
More informationDIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS
DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationSeries 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 informationOn the norm form inequality F (x) h.
On the norm form inequality F (x) h. Jan-Hendrik Evertse 1) To Professor Kalman Győry on his 60-th birthday. Abstract. Let F Z[X 1,..., X n ] be a non-degenerate norm form of degree r. In his paper [17]
More informationOn 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 informationarxiv: v2 [math.nt] 4 Jun 2016
ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the
More informationPRODUCTS OF THREE FACTORIALS
PRODUCTS OF THREE FACTORIALS A. DUJELLA, F. NAJMAN, N. SARADHA AND T. N. SHOREY Abstract. We study a question of Erdős and Graham on products of three factorials being a square. 1. Introduction For any
More informationINTEGRAL ORTHOGONAL BASES OF SMALL HEIGHT FOR REAL POLYNOMIAL SPACES
INTEGRAL ORTHOGONAL BASES OF SMALL HEIGHT FOR REAL POLYNOMIAL SPACES LENNY FUKSHANSKY Abstract. Let P N (R be the space of all real polynomials in N variables with the usual inner product, on it, given
More information