Abstract. Michel Waldschmidt. Étienne Fouvry and. This is a joint work with Claude Levesque. November 6, On the Landau Ramanujan constant

Size: px
Start display at page:

Download "Abstract. Michel Waldschmidt. Étienne Fouvry and. This is a joint work with Claude Levesque. November 6, On the Landau Ramanujan constant"

Transcription

1 November 27, 208 Department of Mathematics, Ramakrishna Mission Vivekananda University (RKMVU), Belur Math, Howrah, Kolkata (India). Abstract The Landau Ramanujan constant is defined as follows : for N!, the number of positive integers apple N which are sums of two squares is asymptotically p N log N On the Landau Ramanujan constant Michel Waldschmidt Sorbonne Université, Institut de Mathématiques de Jussieu In a joint work with Etienne Fouvry and Claude Levesque, we replace the quadratic form 4 (X, Y )=X 2 + Y 2, which is the homogeneous version of the cyclotomic polynomial 4(t) =t 2 +, with other binary forms. /70 2/70 This is a joint work with Claude Levesque Étienne Fouvry Étienne Fouvry and Claude Levesque November 6, 207 Lecture on Representation of positive integers by binary cyclotomic forms Joint work with Claude Levesque, in progress Science Faculty, Mahidol University (Phrayathai campus), Bangkok (Thailand) Invited by Chatchawan Panraksa Representation of integers by cyclotomic binary forms. Acta Arithmetica, 84. (208), Dedicated to Rob Tijdeman. arxiv: [math.nt] Chatchawan Panraksa 3/70 4/70

2 November 6, 207 November 0-2, 207 : ICMMEDC 207 Mandalay (Myanmar) The Tenth International Conference on Science and Mathematics Education in Developing Countries. Claude Levesque Joint work with Claude Levesque : Representation of positive integers by binary cyclotomic forms Étienne Fouvry N.B. : The th International Conference on Mathematics and Mathematics Education in Developing Countries (ICMMEDC 208) took place in Vientiane (Laos), October 3 - November 4, /70 6/70 The Landau Ramanujan constant Online Encyclopedia of Integer Sequences [OEIS A064533] Decimal expansion of Landau-Ramanujan constant. C 4 = Edmund Landau Srinivasa Ramanujan The number of positive integers apple N which are sums of two squares is asymptotically C 4 N(log N) 2, where C 4 = 2 2 Y p 3 mod 4 2. p 2 Ph. Flajolet and I. Vardi, Zeta function expansions of some classical constants, Feb Xavier Gourdon and Pascal Sebah, Constants and records of computation. David E. G. Hare, digits of the Landau-Ramanujan constant. 7/70 8/70

3 The Landau Ramanujan constant References : B. C. Berndt, Ramanujan s notebook part IV, Springer-Verlag, 994 S. R. Finch, Mathematical Constants, Cambridge, 2003, pp G. H. Hardy, Ramanujan, Twelve lectures on subjects suggested by his life and work, Chelsea, 940. Institute of Physics, Constants - Landau-Ramanujan Constant Simon Plou e, Landau Ramanujan constant Eric Weisstein s World of Mathematics, Ramanujan constant Sums of two squares A prime number is a sum of two squares if and only if it is either 2 or else congruent to modulo 4. Identity of Brahmagupta : (a 2 + b 2 )(c 2 + d 2 )=e 2 + f 2 with Pierre de Fermat 607 (?) 665 e = ac bd, f = ad + bc. Brahmagupta /70 0 / 70 Sums of two squares If a and q are two integers, we denote by N a,q any integer satisfying the condition An integer m p N a,q =) p a mod q. can be written as m = 4 (x, y) =x 2 + y 2 if and only if there exist integers a 0, N 3,4 and N,4 such that m = 2 a N 2 3,4 N,4. Positive definite quadratic forms Let F 2 Z[X, Y ] be a positive definite quadratic form. There exists a positive constant C F such that, for N!, the number of positive integers m 2 Z, m apple N which are represented by F is asymptotically C F N(log N) 2. Paul Bernays P. Bernays, Über die Darstellung von positiven, ganzen Zahlen durch die primitiven, binären quadratischen Formen einer nicht quadratischen Diskriminante, Ph.D. dissertation, Georg-August-Universität, Göttingen, Germany, 92. / / 70

4 Paul Bernays ( ) 92, Ph.D. in mathematics, University of Göttingen, On the analytic number theory of binary quadratic forms (Advisor : Edmund Landau). 93, Habilitation, University of Zürich, On complex analysis and Picard s theorem, advisor Ernst Zermelo , Zürich ; work with Georg Pólya, Albert Einstein, Hermann Weyl , Göttingen, with David Hilbert. Studied with Emmy Noether, Bartel Leendert van der Waerden, Gustav Herglotz , Institute for Advanced Study, Princeton. Lectures on mathematical logic and axiomatic set theory. 936, ETH Zürich. With David Hilbert, Grundlagen der Mathematik (934 39) 2 vol. Hilbert Bernays paradox. Axiomatic Set Theory (958). Von Neumann Bernays Gödel set theory. 3 / 70 Specific binary forms Sums of cubes, biquadrates,... Notice that X 3 + Y 3 =(X + Y )(X 2 XY + Y 2 ) We start with the quadratic form 3 (X, Y )=X 2 + XY + Y 2 which is the homogeneous version of the cyclotomic polynomial 3(t) =t 2 + t +. Notice that Also 6(X, Y )= 3 (X, Y )=X 2 XY + Y 2 8(X, Y )=X 4 + Y 4. 4 / 70 The quadratic form x 2 + xy + y 2 A prime number is represented by the quadratic form x 2 + xy + y 2 if and only if it is either 3 or else congruent to modulo 3. Product of two numbers represented by the quadratic form x 2 + xy + y 2 : with (a 2 + ab + b 2 )(c 2 + cd + d 2 )=e 2 + ef + f 2 e = ac bd, f = ad + bd + bc. The quadratic cyclotomic field Q( p 3)=Q( 3 ), = 0 : a 2 + ab + b 2 = Norm Q( 3 )/Q(a 3 b). Loeschian numbers : m = x 2 + xy + y 2 An integer m can be written as m = 3 (x, y) = 6 (x, y) =x 2 + xy + y 2 if and only if there exist integers b 0, N 2,3 and N,3 such that m = 3 b N 2 2,3 N,3. The number of positive integers apple N which are represented by the quadratic form x 2 + xy + y 2 is asymptotically C 3 N(log N) 2, where C 3 = Y p 2 mod 3 2 p 2 5 / 70 6 / 70

5 Online Encyclopedia of Integer Sequences OEIS A30429 April 7-2, 208 : Roma (Italia) [OEIS A30429] Decimal expansion of an analog of the Landau-Ramanujan constant for Loeschian numbers. The first decimal digits of C 3 are C 3 = Lecture on Representation of integers by cyclotomic binary forms 4th Mini Symposium of the Roman Number Theory Association 7 / 70 8 / 70 Zeta function expansions of some classical constants, Feb Loeschian numbers which are sums of two squares An integer m is simultaneously of the forms m = 4 (x, y) =x 2 + y 2 and m = 3 (u, v) =u 2 + uv + v 2 Philippe Flajolet Bill Allombert Ilan Vardi C 3 = if and only if there exist integers a, b 0, N 5,2, N 7,2, N,2 and N,2 such that m = 2 a 3 b N 5,2 N 7,2 N,2 2N,2. The number of Loeschian integers apple N which are sums of two squares is asymptotically N(log N) 3/4, where = 3 4 p (log(2+ 3)) 4 4 (/4) Y p 5, 7, mod 2 2. p 2 9 / / 70

6 OEIS A30430 = [ OEIS A30430] Decimal expansion of an analog of the Landau-Ramanujan constant for Loeschian numbers which are sums of two squares. Cyclotomic polynomials Definition by induction : (t) =t, t n = Y d n d(t). = 3 4 p (log(2+ 3)) 4 4 Bill Allombert (/4) Y p 5, 7, mod 2 2 p 2 = For p prime, t p =(t )(t p + t p t + ) = (t) p (t), so p(t) =t p + t p t +. For instance 2(t) =t+, 3(t) =t 2 +t+, 5(t) =t 4 +t 3 +t 2 +t+. 2 / / 70 Cyclotomic polynomials Cyclotomic polynomials and roots of unity n(t) = tn Y d(t) d6=n d n For n, if is a primitive n th root of unity, n(t) = Y (t j ). gcd(j,n)= For instance 6(t) = The degree of function. 4(t) = t4 t 2 = t2 + = 2 (t 2 ), t 6 (t 3 )(t + ) = t3 + t + = t2 t + = 3 ( t). n(t) is '(n), where ' is the Euler totient For n, n(t) is the irreducible polynomial over Q of the primitive n th roots of unity, Let K be a field and let n be a positive integer. Assume that K has characteristic either 0 or else a prime number p prime to n. Then the polynomial n(t) is separable over K and its roots in K are exactly the primitive n th roots of unity which belong to K. 23 / / 70

7 Properties of For n n(t) 2 we have n(t) =t '(n) n(/t) Let n = 2 e 0 p e p er r where p,...,p r are di erent odd primes, e 0 0, e i for i =,...,r and r. Denote by R the radical of n, namely ( 2p p r if e 0, R = p p r if e 0 = 0. Then, Let n = 2m with m odd n(t) = R (t n/r ). 3. Then n(t) = m ( t). n() For n 2, we have n() =e (n), where the von Mangoldt function is defined for n as ( log p if n = p r with p prime and r ; (n) = 0 otherwise. In other terms we have ( p if n = p r with p prime and r ; n() = otherwise. 25 / / 70 n( ) For n 3, n( ) = ( if n is odd ; n/2() if n is even. Lower bound for n(t) For n 3, the polynomial n(t) has real coe cients and no real root, hence it takes only positive values (and its degree '(n) is even). For n 3 and t 2 R, we have n(t) 2 '(n). In other terms, for n 3, ( p if n = 2p r with p aprimeandr ; n( ) = otherwise. Hence n( ) = when n is odd or when n = 2m where m has at least two distinct prime divisors. Consequence : from n(t) =t '(n) n(/t) we deduce, for n 3 and t 2 R, n(t) 2 '(n) max{, t } '(n). 27 / / 70

8 n(t) 2 '(n) for n 3 and t 2 R Proof. Let n be a primitive n-th root of unity in C ; Generalization to CM fields n(t) =N Q( n)/q(t n )= Y (t ( n )), where runs over the embeddings Q( n )! C. We have t ( n ) =m( ( n )) > 0, K. Győry L. Lovász (2i)=m( ( n )) = ( n ) ( n )= ( n n ). Now (2i)=m( n )= n n 2 Q( n ) is an algebraic integer : 2 '(n) n(t) N Q( n)/q((2i)=m( n )). K. Győry & L. Lovász, Representation of integers by norm forms II, Publ. Math. Debrecen 7, 73 8, (970). K. Győry, Représentation des nombres entiers par des formes binaires, Publ. Math. Debrecen 24, , (977). 29 / / 70 Refinement (FLW) Let c n = inf t2r n (t). Refinement of the lower bound c n 2 '(n) : For n 3 Equality for n = 3 and n = 6. p! '(n) 3 c n. 2 For n apowerof2, c n =. Otherwise, if n has r distinct primes p,...,p r with p the smallest, then c n = c p p r p 2 r 2. The cyclotomic binary forms For n 2, define n(x, Y )=Y '(n) n(x/y ). This is a binary form in Z[X, Y ] of degree '(n). Consequence of the lower bound c n 2 '(n) : for n 3 and (x, y) 2 Z 2, Therefore, if n(x, y) 2 '(n) max{ x, y } '(n). n(x, y) =m, then max{ x, y } apple 2m /'(n). If max{ x, y } 3, then n is bounded : '(n) apple log m log(3/2) 3 / / 70

9 Binary cyclotomic forms (EF CL MW 208) Let m be a positive integer and let n, x, y be rational integers satisfying n 3, max{ x, y } 2 and n(x, y) = m.then max{ x, y } apple p 2 m /'(n), hence '(n) apple 2 log m. 3 log 3 These estimates are optimal, since for `, 3(`, 2`) =3`2. If we assume '(n) > 2, namely '(n) '(n) apple 4 log log m 4, then The sequence (a m ) m For each integer m, the set (n, x, y) 2 N Z 2 n 3, max{ x, y } 2, n(x, y) =m is finite. Let a m the number of its elements. The sequence of integers m such that a m starts with the following values of a m m a m which is best possible since 5(, 2) =. 33 / / 70 OEIS A29924 OEIS A Number of representations of integers by cyclotomic binary forms. The sequence (a m ) m starts with 0, 0, 8, 6, 8, 0, 24, 4, 6, 8, 8, 2, 40, 0, 0, 40, 6, 4, 24, 8, 24, 0, 0, 0, 24, 8, 2, 24, 8, 0, 32, 8, 0, 8, 0, 6, 32, 0, 24, 8, 8, 0, 32, 0, 8, 0, 0, 2, 40, 2, 0, 32, 8, 0, 8, 0, 32, 8, 0, 0, 48, 0, 24, 40, 6, 0, 24, 8, 0, 0, 0, 4, 48, 8, 2, 24,... Integers represented by cyclotomic binary forms. a m 6= 0 for m = 3, 4, 5, 7, 8, 9, 0,, 2, 3, 6, 7, 8, 9, 20, 2, 25, 26, 27, 28, 29, 3, 32, 34, 36, 37, 39, 40, 4, 43, 45, 48, 49, 50, 52, 53, 55, 57, 58, 6, 63, 64, 65, 67, 68, 72, 73, 74, 75, 76, 79, 80, 8, 82, 84, 85, 89, 90, 9, 93, 97, 98, 00, 0, 03, 04, 06, 08, 09,, 2, 3, 6, 7, 2, 22, / / 70

10 OEIS A Integers not represented by cyclotomic binary forms. a m = 0 for m =, 2, 6, 4, 5, 22, 23, 24, 30, 33, 35, 38, 42, 44, 46, 47, 5, 54, 56, 59, 60, 62, 66, 69, 70, 7, 77, 78, 83, 86, 87, 88, 92, 94, 95, 96, 99, 02, 05, 07, 0, 4, 5, 8, 9, 20, 23, 26, 3, 32, 34, 35, 38, 40, 4, 42, 43, 50,... Numbers represented by a cyclotomic binary form of degree 2 For N, the number of m apple N for which there exists n 3 and (x, y) 2 Z 2 with max( x, y ) 2 and m = n (x, y), is asymptotically! N N N (C 4 + C 3 ) + O (log N) 2 (log N) 3 4 (log N) 3 2 as N!. C 4 + C 3 = = / 70 Etienne Fouvry, Claude Levesque & M.W. ; Representation of integers by cyclotomic binary forms. Acta Arithmetica, 84. (208), Dedicated to Rob Tijdeman. arxiv: [math.nt] 38 / 70 Higher degree The situation for quadratic forms of degree 3 is di erent for several reasons. If a positive integer m is represented by a positive definite quadratic form, it usually has many such representations ; while if a positive integer m is represented by an irreducible binary form of degree d 3, it usually has few such representations. If F is a positive definite quadratic form, the number of (x, y) with F (x, y) apple N is asymptotically a constant times N, but the number of F (x, y) is much smaller. If F is an irreducible binary form of degree d 3, the number of (x, y) with F (x, y) apple N is asymptotically a constant times N 2 d, the number of F (x, y) is also asymptotically a constant times N 2 d. Higher degree A quadratic form has infinitely many automorphisms, an irreducible binary form of higher degree has a finite group of automorphisms. Stanley Yao Xiao S. Yao Xiao, On the representation of integers by binary quadratic forms. arxiv: / / 70

11 Sums of k th powers If a positive integer m is a sum of two squares, there are many such representations. Indeed, the number of (x, y) in Z Z with x 2 + y 2 apple N is asymptotic to N, while the number of values apple N taken by the quadratic form 4 is asymptotic to C 4 N/ p log N where C 4 is the Landau Ramanujan constant. Hence 4 takes each of these values with a high multiplicity, on the average ( /C 4 ) p log N. On the opposite, given an integer k 3, that a positive integer is a sum of two k th powers in more than one way (not counting symmetries) is rare for k = 3, extremely rare for k = 4, maybe impossible for k :thetaxicabnumber The smallest positive integer which is sum of two cubes in two essentially di erent ways : 729 = = Godfrey Harold Hardy : Frénicle de Bessy (605? 675) Srinivasa Ramanujan / / 70 The sequence of Taxicab numbers [OEIS A00235] Taxi-cab numbers: sums of 2 cubes in more than way. 729 = = , 404 = = ,... Another sequence of Taxicab numbers (Fermat) [OEIS A054] Hardy-Ramanujan numbers: the smallest number that is the sum of 2 positive integral cubes in n ways. T a () =2, T a (2) =729 = = , 729, 404, 3832, 20683, 32832, 3932, 40033, 46683, 64232, 65728, 0656, 0808, 34379, 49389, 65464, 7288, 9584, 26027, 2625, , 34496, , , , , 4390, , 53000, 53856, 55375, , 55844, ,... If n is in this sequence, then nk 3 also, hence this sequence is infinite. T a (3) = = = = , T a (4) = = = = = , T a (5) = , T a (6) = / / 70

12 Hardy and Wright, An Introduction of Theory of Numbers Fermat proved that numbers expressible as a sum of two positive integral cubes in n di erent ways exist for any n. Pierre de Fermat 607 (?) : C. S. Calude, E. Calude and M. J. Dinneen, With high probability, Cubefree taxicab numbers = = = The smallest cubefree taxicab number with three representations was discovered by Paul Vojta (unpublished) in 98 while he was a graduate student. Paul Vojta T a (6) = / / 70 Cubefree taxicab numbers Stuart Gascoigne and Duncan Moore (2003) : = = = = Taxicabs and Sums of Two Cubes If the sequence (a n ) of cubefree taxicab numbers with n representations is infinite, then the Mordell-Weil rank of the elliptic curve x 3 + y 3 = a n tends to infinity with n. [OEIS A080642] Cubefree taxicab numbers: the smallest cubefree number that is the sum of 2 cubes in n ways. J. H. Silverman, Taxicabs and Sums of Two Cubes, Amer. Math. Monthly, 00 (993), Joseph Silverman 47 / / 70

13 = = Sums of k th powers Leonhard Euler The smallest integer represented by x 4 + y 4 in two essentially di erent ways was found by Euler, it is = One conjectures that given k 5, if an integer can be written as x k + y k, there is essentially a unique such representation. But there is no value of k for which this has been proved. [OEIS A26284] Number of solutions to the equation x 4 + y 4 = n with x y > 0. An infinite family with one parameter is known for non trivial solutions to x 4 + x 4 2 = x x / / 70 Binary cyclotomic forms of higher degree The situation for binary cyclotomic forms is di erent when the degree is 2 or when it is > 2 also for the following reason. A necessary and su cient condition for a number m to be represented by one of the quadratic forms 3, 4, is given by acongruence. By contrast, consider the quartic binary form 8(X, Y )=X 4 + Y 4. On the one hand, an odd integer represented by 8 is of the form N,8 (N 3,8 N 5,8 N 7,8 ) 4. On the other hand, there are many integers of this form which are not represented by 8. [OEIS A00483] Numbers that are the sum of at most 2 nonzero 4th powers. 0,, 2, 6, 7, 32, 8, 82, 97, 62, 256, 257, 272, 337, 52, 625,... Quartan primes [OEIS A002645] Quartan primes: primes of the form x 4 + y 4, x > 0, y > 0. The list of prime numbers represented by 8 start with 2, 7, 97, 257, 337, 64, 88, 297, 247, 2657, 3697, 477, 472, 6577, 0657, 240, 4657, 4897, 5937, 656, 2887, 3856, 3904, 49297, 5472, 65537, 6567, 666, 66977, 8077, 83537, 83777, 8904, 0560, 07377, 967,... It is not known whether this list is finite or not. The largest known quartan prime is currently the largest known generalized Fermat prime: The digit ( ) / / 70

14 Primes of the form x 2k + y 2k Primes of the form X 2 + Y 4 [OEIS A00233] primes of the form x 2 + y 2, [OEIS A002645] primes of the form x 4 + y 4, [OEIS A006686] primes of the form x 8 + y 8, [OEIS A00266] primes of the form x 6 + y 6, [OEIS A00267] primes of the form x 32 + y 32. John Friedlander Henryk Iwaniec However, it is known that there are infinitely many prime numbers of the form X 2 + Y 4. Friedlander, J. & Iwaniec, H. The polynomial X 2 + Y 4 captures its primes, Ann. of Math. (2) 48 (998), no. 3, [A02896] 53 / / 70 K. Mahler (933) Kurt Mahler Let F be a binary form of degree d 3 with nonzero discriminant. Denote by A F the area (Lebesgue measure) of the domain {(x, y) 2 R 2 F (x, y) apple }. For Z > 0 denote by N F (Z) the number of (x, y) 2 Z 2 such that 0 < F (x, y) apple Z. Then N F (Z) =A F Z 2 d + O(Z d ) as Z!. Kurt Mahler Über die mittlere Anzahl der Darstellungen grosser Zahlen durch binäre Formen, Acta Math. 62 (933), / / 70

15 C.L. Stewart - S.Y. Xiao Cam Stewart and Stanley Yao Xiao Let F be a binary form of degree d 3 with nonzero discriminant. There exists a positive constant C F > 0 such that the number of integers of absolute value at most N which are represented by F (X, Y ) is asymptotic to C F N 2 d + O(N d ) with d < d 2 Cam Stewart Stanley Yao Xiao C.L. Stewart and S. Yao Xiao, On the representation of integers by binary forms, arxiv: v2 57 / / 70 Cyclotomic binary forms of degree 4 (Joint work with Étienne Fouvry - in progress). 5(X, Y )=X 4 + X 3 Y + X 2 Y 2 + XY 3 + Y 4. 8(X, Y )=X 4 + Y 4. 2(X, Y )=X 4 X 2 Y 2 + Y 4. Also 0(X, Y )= 5 (X, Y )=X 4 X 3 Y + X 2 Y 2 XY 3 + Y 4. For n 2 {5, 8, 2}, the number of positive integers m apple N which can be written as m = n (x, y) is asymptotic to C n N 2. Numbers represented by two cyclotomic binary forms of degree 4 The number of integers apple N which are represented by two of the three quartic cyclotomic binary forms 5, 8 and 2 is bounded by O (N ). Consequence : the number of integers apple N which are represented by a cyclotomic binary form of degree 4 is asymptotic to C 4 N 2 + O (N ), where C 4 = C 5 + C 8 + C / / 70

16 Numbers represented by a cyclotomic binary form of degree d Numbers represented by a cyclotomic binary form of degree d Any prime number p is represented by a cyclotomic binary form : p(, ) =p. Given an integer d 2, we consider the set of positive integers m which can be written as m = n (x, y) with n d and (x, y) 2 Z 2 satisfying max( x, y ) 2. Let d 6. The number of integers m apple N which can be written m = n (x, y) with n d and (x, y) 2 Z 2 satisfying max( x, y ) 2 is asymptotic to with C d N 2 d + Od (N 2 d+2 ), C d = X n C n, where the sum is over the set of integers n such that '(n) =d and n is not congruent to 2 modulo 4. 6 / / 70 Isomorphic cyclotomic binary forms Recall that the cyclotomic polynomials 2n(t) = n ( t) for odd n 3. n(t) 2 Z[t] satisfy For n and n 2 positive integers with n < n 2, the following conditions are equivalent : () '(n )='(n 2 ) and the two binary forms n et n 2 are isomorphic. (2) The two binary forms n and n 2 represent the same integers. (3) n is odd and n 2 = 2n. Even integers not represented by Euler totient function The list of even integers which are not values of Euler ' function (i.e., for which C d = 0) startswith 4, 26, 34, 38, 50, 62, 68, 74, 76, 86, 90, 94, 98, 4, 8, 22, 24, 34, 42, 46, 52, 54, 58, 70, 74, 82, 86, 88, 94, 202, 206, 24, 28, 230, 234, 236, 242, 244, 246, 248, 254, 258, 266, 274, 278, 284, 286, 290, 298, 302, 304, 308, 34, 38,... [OEIS A005277] Nontotients: even n such that '(m) =n has no solution. 63 / / 70

17 Numbers represented by two cyclotomic binary forms of the same degree Aweakbutuniformbound Given two binary cyclotomic forms of the same degree and not isomorphic, and given > 0, for N!the number of positive integers apple N which are represented by these two forms is bounded by 8 >< O (N 3 d p d + ) for d = 4, 6, 8, For d 2 and N!, the number of m apple N for which there exists n d and (x, y) 2 Z 2 with max( x, y ) 2 and m = n (x, y) is bounded by 29N 2 d (log N).6. >: O d, (N d + ) for d / / 70 Further developments (work in progress) Representation of integers by other binary forms Representation of integers by the binary forms X n + Y n, X n Y n and F n (X, Y ), where Suggestion of Florian Luca (RNTA 208) Study the representation of integers by the polynomials Dickson polynomials of the first and second kind The sequence of Dickson polynomials of the first kind (D n ) n 0 (resp. second kind (E n ) n 0 )isdefinedby D n (X + Y, XY )=X n + Y n F n (X, Y )=X n + X n Y + + XY n + Y n. (resp. E n (X + Y, XY )=F n (X, Y )). Dickson polynomials : representation of integers by X n + Y n and X n Y n when x + y and xy are integers (x and y are quadratic integers). 67 / / 70

18 Cyclotomic Dickson polynomials For n 2, define n(x + Y, XY )= n (X, Y ). November 27, 208 Department of Mathematics, Ramakrishna Mission Vivekananda University (RKMVU), Belur Math, Howrah, Kolkata (India). Study the representation of integers by the polynomials n. Representation of integers by n(x, Y ) where x + y and xy are integers. Dickson polynomials are not homogeneous. Work in progress... On the Landau Ramanujan constant Michel Waldschmidt Sorbonne Université, Institut de Mathématiques de Jussieu 69 / / 70

Abstract. Roma Tre April 18 20, th Mini Symposium of the Roman Number Theory Association (RNTA) Michel Waldschmidt

Abstract. Roma Tre April 18 20, th Mini Symposium of the Roman Number Theory Association (RNTA) Michel Waldschmidt Roma Tre April 8 0, 08 4th Mini Symposium of the Roman umber Theory Association (RTA) Representation of integers by cyclotomic binary forms Michel Waldschmidt Institut de Mathématiques de Jussieu Paris

More information

AN EASY GENERALIZATION OF EULER S THEOREM ON THE SERIES OF PRIME RECIPROCALS

AN EASY GENERALIZATION OF EULER S THEOREM ON THE SERIES OF PRIME RECIPROCALS AN EASY GENERALIZATION OF EULER S THEOREM ON THE SERIES OF PRIME RECIPROCALS PAUL POLLACK Abstract It is well-known that Euclid s argument can be adapted to prove the infinitude of primes of the form 4k

More information

Representation of integers by cyclotomic binary forms

Representation of integers by cyclotomic binary forms ACTA ARITHMETICA Online First version Representation of integers by cyclotomic binary forms by Étienne Fouvry Orsay), Claude Levesque Québec) and Michel Waldschmidt Paris) Dedicated to Robert Tijdeman

More information

Representing numbers as the sum of squares and powers in the ring Z n

Representing numbers as the sum of squares and powers in the ring Z n Representing numbers as the sum of squares powers in the ring Z n Rob Burns arxiv:708.03930v2 [math.nt] 23 Sep 207 26th September 207 Abstract We examine the representation of numbers as the sum of two

More information

GAPS IN BINARY EXPANSIONS OF SOME ARITHMETIC FUNCTIONS, AND THE IRRATIONALITY OF THE EULER CONSTANT

GAPS IN BINARY EXPANSIONS OF SOME ARITHMETIC FUNCTIONS, AND THE IRRATIONALITY OF THE EULER CONSTANT Journal of Prime Research in Mathematics Vol. 8 202, 28-35 GAPS IN BINARY EXPANSIONS OF SOME ARITHMETIC FUNCTIONS, AND THE IRRATIONALITY OF THE EULER CONSTANT JORGE JIMÉNEZ URROZ, FLORIAN LUCA 2, MICHEL

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory 21.8.2013 Overview The course discusses properties of numbers, the most basic mathematical objects. We are going to follow the book: David Burton: Elementary Number Theory What

More information

THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany

THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany #A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,

More information

arxiv:math/ v1 [math.nt] 9 Aug 2004

arxiv:math/ v1 [math.nt] 9 Aug 2004 arxiv:math/0408107v1 [math.nt] 9 Aug 2004 ELEMENTARY RESULTS ON THE BINARY QUADRATIC FORM a 2 + ab + b 2 UMESH P. NAIR Abstract. This paper examines with elementary proofs some interesting properties of

More information

Almost fifth powers in arithmetic progression

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

#A14 INTEGERS 18A (2018) COMPUTATIONAL REDISCOVERY OF RAMANUJAN S TAU NUMBERS

#A14 INTEGERS 18A (2018) COMPUTATIONAL REDISCOVERY OF RAMANUJAN S TAU NUMBERS #A14 INTEGERS 18A (2018) COMPUTATIONAL REDISCOVERY OF RAMANUJAN S TAU NUMBERS Yuri Matiyasevich 1 St.Petersburg Department of Steklov Institute of Mathematics St.Petersburg, Russia https://logic.pdmi.ras.ru/

More information

On the Rank of the Elliptic Curve y 2 = x 3 nx

On the Rank of the Elliptic Curve y 2 = x 3 nx International Journal of Algebra, Vol. 6, 2012, no. 18, 885-901 On the Rank of the Elliptic Curve y 2 = x 3 nx Yasutsugu Fujita College of Industrial Technology, Nihon University 2-11-1 Shin-ei, Narashino,

More information

ON THE GAPS BETWEEN VALUES OF BINARY QUADRATIC FORMS

ON THE GAPS BETWEEN VALUES OF BINARY QUADRATIC FORMS Proceedings of the Edinburgh Mathematical Society (2011) 54, 25 32 DOI:10.1017/S0013091509000285 First published online 1 November 2010 ON THE GAPS BETWEEN VALUES OF BINARY QUADRATIC FORMS JÖRG BRÜDERN

More information

#A77 INTEGERS 16 (2016) EQUAL SUMS OF LIKE POWERS WITH MINIMUM NUMBER OF TERMS. Ajai Choudhry Lucknow, India

#A77 INTEGERS 16 (2016) EQUAL SUMS OF LIKE POWERS WITH MINIMUM NUMBER OF TERMS. Ajai Choudhry Lucknow, India #A77 INTEGERS 16 (2016) EQUAL SUMS OF LIKE POWERS WITH MINIMUM NUMBER OF TERMS Ajai Choudhry Lucknow, India ajaic203@yahoo.com Received: 3/20/16, Accepted: 10/29/16, Published: 11/11/16 Abstract This paper

More information

Projects on elliptic curves and modular forms

Projects on elliptic curves and modular forms Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master

More information

ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS

ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS L. HAJDU 1, SZ. TENGELY 2 Abstract. In this paper we continue the investigations about unlike powers in arithmetic progression. We provide sharp

More information

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil

More information

This theorem allows us to describe all integer solutions as follows:

This theorem allows us to describe all integer solutions as follows: On the Diophantine equation a 3 + b 3 + c 3 + d 3 = 0 by RACHEL GAR-EL and LEONID VASERSTEIN (University Park, PA) Introduction. The equation a 3 + b 3 + c 3 + d 3 = 0 (1) has been studied by many mathematicians

More information

Introduction to Number Theory

Introduction to Number Theory INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,

More information

On the representation of primes by polynomials (a survey of some recent results)

On the representation of primes by polynomials (a survey of some recent results) On the representation of primes by polynomials (a survey of some recent results) B.Z. Moroz 0. This survey article has appeared in: Proceedings of the Mathematical Institute of the Belarussian Academy

More information

Section X.55. Cyclotomic Extensions

Section X.55. Cyclotomic Extensions X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered

More information

Diophantine Equations and Hilbert s Theorem 90

Diophantine Equations and Hilbert s Theorem 90 Diophantine Equations and Hilbert s Theorem 90 By Shin-ichi Katayama Department of Mathematical Sciences, Faculty of Integrated Arts and Sciences The University of Tokushima, Minamijosanjima-cho 1-1, Tokushima

More information

Three cubes in arithmetic progression over quadratic fields

Three cubes in arithmetic progression over quadratic fields Arch. Math. 95 (2010), 233 241 c 2010 Springer Basel AG 0003-889X/10/030233-9 published online August 31, 2010 DOI 10.1007/s00013-010-0166-5 Archiv der Mathematik Three cubes in arithmetic progression

More information

Divisibility of class numbers of imaginary quadratic fields whose discriminant has only two prime factors

Divisibility of class numbers of imaginary quadratic fields whose discriminant has only two prime factors Divisibility of class numbers of imaginary quadratic fields whose discriminant has only two prime factors by Dongho Byeon and Shinae Lee Abstract. Let g and n 1 be integers. In this paper, we shall show

More information

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China J. Number Theory 16(016), 190 11. A RESULT SIMILAR TO LAGRANGE S THEOREM Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn http://math.nju.edu.cn/

More information

Andrzej Schinzel 80: an outstanding scientific career

Andrzej Schinzel 80: an outstanding scientific career 1 / 18 Andrzej Schinzel 80: an outstanding scientific career Kálmán Győry Short biography 2 / 18 Professor Andrzej Schinzel world-famous number theorist, old friend of Hungarian mathematicians. Born on

More information

arxiv: v5 [math.nt] 23 May 2017

arxiv: v5 [math.nt] 23 May 2017 TWO ANALOGS OF THUE-MORSE SEQUENCE arxiv:1603.04434v5 [math.nt] 23 May 2017 VLADIMIR SHEVELEV Abstract. We introduce and study two analogs of one of the best known sequence in Mathematics : Thue-Morse

More information

arxiv: v1 [math.nt] 3 Jun 2016

arxiv: v1 [math.nt] 3 Jun 2016 Absolute real root separation arxiv:1606.01131v1 [math.nt] 3 Jun 2016 Yann Bugeaud, Andrej Dujella, Tomislav Pejković, and Bruno Salvy Abstract While the separation(the minimal nonzero distance) between

More information

198 VOLUME 46/47, NUMBER 3

198 VOLUME 46/47, NUMBER 3 LAWRENCE SOMER Abstract. Rotkiewicz has shown that there exist Fibonacci pseudoprimes having the forms p(p + 2), p(2p 1), and p(2p + 3), where all the terms in the products are odd primes. Assuming Dickson

More information

CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker

CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES Reinier Bröker Abstract. We give an algorithm that constructs, on input of a prime power q and an integer t, a supersingular elliptic curve over F q with trace

More information

THE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS*

THE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS* THE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS* CLAYTON PETSCHE Abstract. Given a number field k and a non-archimedean place v of k, we give a quantitative lower bound on the height of non-torsion algebraic

More information

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

More information

THE LIND-LEHMER CONSTANT FOR 3-GROUPS. Stian Clem 1 Cornell University, Ithaca, New York

THE LIND-LEHMER CONSTANT FOR 3-GROUPS. Stian Clem 1 Cornell University, Ithaca, New York #A40 INTEGERS 18 2018) THE LIND-LEHMER CONSTANT FOR 3-GROUPS Stian Clem 1 Cornell University, Ithaca, New York sac369@cornell.edu Christopher Pinner Department of Mathematics, Kansas State University,

More information

POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv: v1 [math.nt] 27 Dec 2018

POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv: v1 [math.nt] 27 Dec 2018 POLYNOMIAL SOLUTIONS TO PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS arxiv:1812.10828v1 [math.nt] 27 Dec 2018 J. MC LAUGHLIN Abstract. Finding polynomial solutions to Pell s equation

More information

History of Mathematics

History of Mathematics History of Mathematics Paul Yiu Department of Mathematics Florida Atlantic University Summer 2011 6A: Fermat: Beginning of modern number theory (2) Fermat s little theorem Given a prime p, and any geometric

More information

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1 MATH 4400 SOLUTIONS TO SOME EXERCISES 1.1.3. If a b and b c show that a c. 1. Chapter 1 Solution: a b means that b = na and b c that c = mb. Substituting b = na gives c = (mn)a, that is, a c. 1.2.1. Find

More information

Why Should I Care About Elliptic Curves?

Why Should I Care About Elliptic Curves? Why Should I Care About? Edray Herber Goins Department of Mathematics Purdue University August 7, 2009 Abstract An elliptic curve E possessing a rational point is an arithmetic-algebraic object: It is

More information

The 1729 K 3 surface Ken Ono and Sarah Trebat-Leder

The 1729 K 3 surface Ken Ono and Sarah Trebat-Leder Ono and Trebat-Leder Res. Number Theory (2016)2:26 DOI 10.1007/s40993-016-0058-2 R E S E A R C H Open Access The 1729 K 3 surface Ken Ono and Sarah Trebat-Leder * Correspondence: strebat@emory.edu Department

More information

On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px

On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px International Journal of Algebra, Vol. 3, 2009, no. 8, 401-406 On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px Angela J. Hollier, Blair K. Spearman and Qiduan Yang Mathematics, Statistics

More information

ON THE SEMIPRIMITIVITY OF CYCLIC CODES

ON THE SEMIPRIMITIVITY OF CYCLIC CODES ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic

More information

of Classical Constants Philippe Flajolet and Ilan Vardi February 24, 1996 Many mathematical constants are expressed as slowly convergent sums

of Classical Constants Philippe Flajolet and Ilan Vardi February 24, 1996 Many mathematical constants are expressed as slowly convergent sums Zeta Function Expansions of Classical Constants Philippe Flajolet and Ilan Vardi February 24, 996 Many mathematical constants are expressed as slowly convergent sums of the form C = f( ) () n n2a for some

More information

SOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p

SOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p MATHEMATICS OF COMPUTATION Volume 79, Number 269, January 2010, Pages 535 544 S 0025-5718(09)02294-7 Article electronically published on July 22, 2009 SOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p NICOLAS

More information

ON A FAMILY OF ELLIPTIC CURVES

ON A FAMILY OF ELLIPTIC CURVES UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic

More information

A Natural Extension of the Pythagorean Equation to Higher Dimensions

A Natural Extension of the Pythagorean Equation to Higher Dimensions A Natural Extension of the Pythagorean Equation to Higher Dimensions Marc Chamberland Department of Mathematics and Statistics Grinnell College Grinnell, Iowa 50112 August 25, 2008 Abstract. The Pythagorean

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

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

arxiv: v1 [math.nt] 2 Jul 2009

arxiv: v1 [math.nt] 2 Jul 2009 About certain prime numbers Diana Savin Ovidius University, Constanţa, Romania arxiv:0907.0315v1 [math.nt] 2 Jul 2009 ABSTRACT We give a necessary condition for the existence of solutions of the Diophantine

More information

Two Diophantine Approaches to the Irreducibility of Certain Trinomials

Two Diophantine Approaches to the Irreducibility of Certain Trinomials Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;

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

Diophantine quadruples and Fibonacci numbers

Diophantine quadruples and Fibonacci numbers Diophantine quadruples and Fibonacci numbers Andrej Dujella Department of Mathematics, University of Zagreb, Croatia Abstract A Diophantine m-tuple is a set of m positive integers with the property that

More information

EXAMPLES OF MORDELL S EQUATION

EXAMPLES OF MORDELL S EQUATION EXAMPLES OF MORDELL S EQUATION KEITH CONRAD 1. Introduction The equation y 2 = x 3 +k, for k Z, is called Mordell s equation 1 on account of Mordell s long interest in it throughout his life. A natural

More information

arxiv: v1 [math.nt] 28 Jul 2017

arxiv: v1 [math.nt] 28 Jul 2017 A diophantine problem on biquadrates revisited arxiv:1707.09129v1 [math.nt] 28 Jul 2017 Ajai Choudhry Abstract In this paper we obtain a new parametric solution of the problem of finding two triads of

More information

SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS

SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS STEVEN H. WEINTRAUB ABSTRACT. We present a number of classical proofs of the irreducibility of the n-th cyclotomic polynomial Φ n (x).

More information

Elliptic curves and modularity

Elliptic curves and modularity Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given

More information

Decomposing Bent Functions

Decomposing Bent Functions 2004 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 49, NO. 8, AUGUST 2003 Decomposing Bent Functions Anne Canteaut and Pascale Charpin Abstract In a recent paper [1], it is shown that the restrictions

More information

1. multiplication is commutative and associative;

1. multiplication is commutative and associative; Chapter 4 The Arithmetic of Z In this chapter, we start by introducing the concept of congruences; these are used in our proof (going back to Gauss 1 ) that every integer has a unique prime factorization.

More information

#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz

#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz #A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS Lindsey Reinholz Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. reinholz@interchange.ubc.ca

More information

On a Sequence of Nonsolvable Quintic Polynomials

On a Sequence of Nonsolvable Quintic Polynomials 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 1 (009), Article 09..8 On a Sequence of Nonsolvable Quintic Polynomials Jennifer A. Johnstone and Blair K. Spearman 1 Mathematics and Statistics University

More information

The Riemann Hypothesis

The Riemann Hypothesis The Riemann Hypothesis Matilde N. Laĺın GAME Seminar, Special Series, History of Mathematics University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin March 5, 2008 Matilde N. Laĺın

More information

Arithmetic Progressions Over Quadratic Fields

Arithmetic Progressions Over Quadratic Fields Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that

More information

Sums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA

Sums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Sums and products Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA International Number Theory Conference in Memory of Alf van der Poorten, AM 12 16 March, 2012 CARMA, the University of Newcastle

More information

Rank-one Twists of a Certain Elliptic Curve

Rank-one Twists of a Certain Elliptic Curve Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give

More information

NON-NEGATIVE INTEGER LINEAR CONGRUENCES. 1. Introduction We consider the problem of finding all non-negative integer solutions to a linear congruence

NON-NEGATIVE INTEGER LINEAR CONGRUENCES. 1. Introduction We consider the problem of finding all non-negative integer solutions to a linear congruence NON-NEGATIVE INTEGER LINEAR CONGRUENCES JOHN C. HARRIS AND DAVID L. WEHLAU arxiv:math/0409489v1 [math.nt] 24 Sep 2004 Abstract. We consider the problem of describing all non-negative integer solutions

More information

ERIC LARSON AND LARRY ROLEN

ERIC LARSON AND LARRY ROLEN PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant

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

Identities Inspired by the Ramanujan Notebooks Second Series

Identities Inspired by the Ramanujan Notebooks Second Series Identities Inspired by the Ramanujan Notebooks Second Series by Simon Plouffe First draft August 2006 Revised March 4, 20 Abstract A series of formula is presented that are all inspired by the Ramanujan

More information

The Number of Rational Points on Elliptic Curves and Circles over Finite Fields

The Number of Rational Points on Elliptic Curves and Circles over Finite Fields Vol:, No:7, 008 The Number of Rational Points on Elliptic Curves and Circles over Finite Fields Betül Gezer, Ahmet Tekcan, and Osman Bizim International Science Index, Mathematical and Computational Sciences

More information

On squares in Lucas sequences

On squares in Lucas sequences On squares in Lucas sequences A. Bremner N. Tzanakis July, 2006 Abstract Let P and Q be non-zero integers. The Lucas sequence {U n (P, Q)} is defined by U 0 = 0, U 1 = 1, U n = P U n 1 QU n 2 (n 2). The

More information

Constructing Tower Extensions of Finite Fields for Implementation of Pairing-Based Cryptography

Constructing Tower Extensions of Finite Fields for Implementation of Pairing-Based Cryptography Constructing Tower Extensions of Finite Fields for Implementation of Pairing-Based Cryptography Naomi Benger and Michael Scott, 1 School of Computing, Dublin City University, Ireland nbenger@computing.dcu.ie

More information

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM

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

On symmetric square values of quadratic polynomials

On symmetric square values of quadratic polynomials ACTA ARITHMETICA 149.2 (2011) On symmetric square values of quadratic polynomials by Enrique González-Jiménez (Madrid) and Xavier Xarles (Barcelona) 1. Introduction. In this note we are dealing with the

More information

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same

More information

Acta Academiae Paedagogicae Agriensis, Sectio Mathematicae 31 (2004) 19 24

Acta Academiae Paedagogicae Agriensis, Sectio Mathematicae 31 (2004) 19 24 Acta Academiae Paedagogicae Agriensis, Sectio Mathematicae 31 (2004) 19 24 PRIMITIVE DIVISORS OF LUCAS SEQUENCES AND PRIME FACTORS OF x 2 + 1 AND x 4 + 1 Florian Luca (Michoacán, México) Abstract. In this

More information

arxiv: v2 [math.nt] 29 Jul 2017

arxiv: v2 [math.nt] 29 Jul 2017 Fibonacci and Lucas Numbers Associated with Brocard-Ramanujan Equation arxiv:1509.07898v2 [math.nt] 29 Jul 2017 Prapanpong Pongsriiam Department of Mathematics, Faculty of Science Silpakorn University

More information

University of Southern California, Los Angeles, University of California at Los Angeles, and Technion Israel Institute of Technology, Haifa, Israel

University of Southern California, Los Angeles, University of California at Los Angeles, and Technion Israel Institute of Technology, Haifa, Israel IRREDUCIBLE POLYNOMIALS WHICH ARE LOCALLY REDUCIBLE EVERYWHERE Robert Guralnick, Murray M. Schacher and Jack Sonn University of Southern California, Los Angeles, University of California at Los Angeles,

More information

On Anti-Elite Prime Numbers

On Anti-Elite Prime Numbers 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 10 (2007), Article 07.9.4 On Anti-Elite Prime Numbers Tom Müller Institut für Cusanus-Forschung an der Universität und der Theologischen Fakultät Trier

More information

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 ACTA ARITHMETICA LXXXII.1 (1997) On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 by P. G. Walsh (Ottawa, Ont.) 1. Introduction. Let d denote a positive integer. In [7] Ono proves that if the number

More information

POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS

POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. London Math. Soc. 67 (2003) 16 28 C 2003 London Mathematical Society DOI: 10.1112/S002461070200371X POLYNOMIAL SOLUTIONS OF PELL S EQUATION AND FUNDAMENTAL UNITS IN REAL QUADRATIC FIELDS J. MCLAUGHLIN

More information

CONSTRUCTING GALOIS 2-EXTENSIONS OF THE 2-ADIC NUMBERS

CONSTRUCTING GALOIS 2-EXTENSIONS OF THE 2-ADIC NUMBERS CONSTRUCTING GALOIS 2-EXTENSIONS OF THE 2-ADIC NUMBERS CHAD AWTREY, JIM BEUERLE, AND JADE SCHRADER Abstract. Let Q 2 denote the field of 2-adic numbers, and let G be a group of order 2 n for some positive

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

An Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x]

An Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x] An Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x] Mark Kozek 1 Introduction. In a recent Monthly note, Saidak [6], improving on a result of Hayes [1], gave Chebyshev-type estimates

More information

SOLVING THE PELL EQUATION VIA RÉDEI RATIONAL FUNCTIONS

SOLVING THE PELL EQUATION VIA RÉDEI RATIONAL FUNCTIONS STEFANO BARBERO, UMBERTO CERRUTI, AND NADIR MURRU Abstract. In this paper, we define a new product over R, which allows us to obtain a group isomorphic to R with the usual product. This operation unexpectedly

More information

1, for s = σ + it where σ, t R and σ > 1

1, for s = σ + it where σ, t R and σ > 1 DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,

More information

Hypersurfaces and the Weil conjectures

Hypersurfaces and the Weil conjectures Hypersurfaces and the Weil conjectures Anthony J Scholl University of Cambridge 13 January 2010 1 / 21 Number theory What do number theorists most like to do? (try to) solve Diophantine equations x n +

More information

Fermat numbers and integers of the form a k + a l + p α

Fermat numbers and integers of the form a k + a l + p α ACTA ARITHMETICA * (200*) Fermat numbers and integers of the form a k + a l + p α by Yong-Gao Chen (Nanjing), Rui Feng (Nanjing) and Nicolas Templier (Montpellier) 1. Introduction. In 1849, A. de Polignac

More information

INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES

INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES SZ. TENGELY Abstract. In this paper we provide bounds for the size of the integral points on Hessian curves H d : x 3 + y 3

More information

2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS

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

Advances in Applied Mathematics 48(2012), Constructing x 2 for primes p = ax 2 + by 2

Advances in Applied Mathematics 48(2012), Constructing x 2 for primes p = ax 2 + by 2 Advances in Applied Mathematics 4(01, 106-10 Constructing x for primes p ax + by Zhi-Hong Sun School of Mathematical Sciences, Huaiyin Normal University, Huaian, Jiangsu 3001, P.R. China E-mail: zhihongsun@yahoo.com

More information

On an identity of Gessel and Stanton and the new little Göllnitz identities

On an identity of Gessel and Stanton and the new little Göllnitz identities On an identity of Gessel and Stanton and the new little Göllnitz identities Carla D. Savage Dept. of Computer Science N. C. State University, Box 8206 Raleigh, NC 27695, USA savage@csc.ncsu.edu Andrew

More information

Five peculiar theorems on simultaneous representation of primes by quadratic forms

Five peculiar theorems on simultaneous representation of primes by quadratic forms Five peculiar theorems on simultaneous representation of primes by quadratic forms David Brink January 2008 Abstract It is a theorem of Kaplansky that a prime p 1 (mod 16) is representable by both or none

More information

THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY

THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY M. A. KENKU 1. Introduction Let N be an integer ^ 1. The affine modular curve Y 0 (N) parametrizes isomorphism classes of pairs (E ; C N ) where E is an

More information

ON POWER VALUES OF POLYNOMIALS. A. Bérczes, B. Brindza and L. Hajdu

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

LINEAR FORMS IN LOGARITHMS

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

On Distance Sets in the Triangular Lattice

On Distance Sets in the Triangular Lattice On Distance Sets in the Triangular Lattice Tanbir Ahmed Department of Computer Science and Software Engineering Concordia University, Montréal, Canada ta ahmed@cs.concordia.ca David Jacob Wildstrom Department

More information

A Diophantine System Concerning Sums of Cubes

A Diophantine System Concerning Sums of Cubes 1 2 3 47 6 23 11 Journal of Integer Sequences Vol. 16 (2013) Article 13.7.8 A Diophantine System Concerning Sums of Cubes Zhi Ren Mission San Jose High School 41717 Palm Avenue Fremont CA 94539 USA renzhistc69@163.com

More information

Generalized Lebesgue-Ramanujan-Nagell Equations

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

SQUARE PATTERNS AND INFINITUDE OF PRIMES

SQUARE PATTERNS AND INFINITUDE OF PRIMES SQUARE PATTERNS AND INFINITUDE OF PRIMES KEITH CONRAD 1. Introduction Numerical data suggest the following patterns for prime numbers p: 1 mod p p = 2 or p 1 mod 4, 2 mod p p = 2 or p 1, 7 mod 8, 2 mod

More information

Sets and Infinity. James Emery. Edited: 2/25/ Cardinal Numbers 1. 2 Ordinal Numbers 6. 3 The Peano Postulates for the Natural Numbers 7

Sets and Infinity. James Emery. Edited: 2/25/ Cardinal Numbers 1. 2 Ordinal Numbers 6. 3 The Peano Postulates for the Natural Numbers 7 Sets and Infinity James Emery Edited: 2/25/2017 Contents 1 Cardinal Numbers 1 2 Ordinal Numbers 6 3 The Peano Postulates for the Natural Numbers 7 4 Metric Spaces 8 5 Complete Metric Spaces 8 6 The Real

More information

Some congruences for Andrews Paule s broken 2-diamond partitions

Some congruences for Andrews Paule s broken 2-diamond partitions Discrete Mathematics 308 (2008) 5735 5741 www.elsevier.com/locate/disc Some congruences for Andrews Paule s broken 2-diamond partitions Song Heng Chan Division of Mathematical Sciences, School of Physical

More information

RAMANUJAN, TAXICABS, BIRTHDATES, ZIPCODES, AND TWISTS. Ken Ono. American Mathematical Monthly, 104, No. 10, 1997, pages

RAMANUJAN, TAXICABS, BIRTHDATES, ZIPCODES, AND TWISTS. Ken Ono. American Mathematical Monthly, 104, No. 10, 1997, pages RAMANUJAN, TAXICABS, BIRTHDATES, ZIPCODES, AND TWISTS Ken Ono American Mathematical Monthly, 04, No. 0, 997, pages 92-97. It is well known that G. H. Hardy travelled in a taxicab numbered 729 to an English

More information