Binary quadratic forms and sums of triangular numbers
|
|
- Alyson Sullivan
- 5 years ago
- Views:
Transcription
1 Binary quadratic forms and sums of triangular numbers Zhi-Hong Sun( ) Huaiyin Normal University Notation: Z the set of integers, N the set of positive integers, [x] the greatest integer not exceeding x, ( m a ) the Legendre-Jacobi- Kronecker symbol, ord p m the nonnegative integer α such that p α m but p α+ m, (a, b) the greatest common divisor of a and b, (a, b, c) the form ax + bxy + cy, [a, b, c] the equivalence class containing the form (a, b, c), H(d) the form class group of discriminant d, h(d) the class number of discriminant d, R(K, n) the number of representations of n by the class K. My papers on the topic: [SW] Z.H. Sun, K.S. Williams, On the number of representations of n by ax + bxy + cy, Acta Arith. (006), 0-7.
2 [SW] Z.H. Sun and K.S. Williams, Ramanujan identities and Euler products for a type of Dirichlet series, Acta Arith. (006), [S] Z.H. Sun, The expansion of k= ( q ak )( q bk ), Acta Arith. 34(008), -9. [S] Z.H. Sun, On the number of representations of n by ax(x )/ + by(y )/, J. Number Theory 9(009), [S3] Z.H. Sun, Binary quadratic forms and sums of triangular numbers, Acta Arith. 46(0), [S4] Z.H. Sun, On the number of representations of n by ax +by(y )/, ax +by(3y )/ and ax(x )/ + by(3y )/, Acta Arith. 47(0), [S5] Z.H. Sun, Constructing x for primes p = ax + by, Advan. in Appl. Math. 48(0), 06-0.
3 . Basic concepts of binary quadratic forms A nonsquare integer d with d 0, (mod 4) is called a discriminant. For a, b, c Z, ax + bxy + cy = (a, b, c) is called a binary quadratic form with discriminant d = b 4ac. If gcd(a, b, c) =, we say that the form (a, b, c) = ax +bxy+ cy is primitive. Suppose a, b, c Z, a, c > 0 and d = b 4ac < 0. If a < b a < c or 0 b a = c, we say that (a, b, c) is a reduced form. The number of primitive reduced forms with discriminant d < 0 is called the class number of discriminant d. We denote it by h(d). Let d < 0 be a discriminant. It is well known that h(d) = d = 3, 4, 7, 8,,, 6, 9, 7, 8, 43, 67, 63 (3 numbers), 3
4 and h(d) = d = 5, 0, 4, 3, 35, 36, 40, 48, 5, 5, 60, 64, 7, 75, 88, 9, 99, 00,, 5, 3, 47, 48, 87, 3, 35, 67, 403, 47. (9 numbers) Let p be an odd prime. By the theory of binary quadratic forms, there are unique positive integers x and y such that p = 4k + = x + 4y, p = 8k +, 3 = x + y, p = 3k + = x + 3y = (L + 7M )/4, p = 0k +, 9 = x + 5y, p = 4k +, 7 = x + 6y, p = 7k +,, 4 = x + 7y, p = 40k +, 9,, 9 = x + 0y, p = 30k +, 9 = x + 5y. Let ax +bxy +cy be a primitive reduced form with h(b 4ac) = or. By genus theory, those primes p represented by ax + bxy + cy can be characterized by congruence conditions. 4
5 Two forms (a, b, c) and (a, b, c ) are equivalent ((a, b, c) (a, b, c )) if and only if there exist integers α, β, γ and δ with αδ βγ = such that the substitution x = αx + βy, y = γx + δy transforms (a, b, c) to (a, b, c ). The substitutions x = Y, y = X and x = X + ky, y = Y imply (a, b, c) (c, b, a) (a, ak + b, ak + bk + c). We denote the equivalence class of (a, b, c) by [a, b, c]. If (a, b, c) (a, b, c ), it is easy to see that gcd(a, b, c) = gcd(a, b, c ). Thus, (a, b, c) is primitive if and only if (a, b, c ) is primitive. It is also known that equivalent forms have the same discriminant. The equivalence classes of primitive, integral, binary quadratic forms of discriminant d form a finite abelian group under Gaussian composition, called the form class group. We denote this group by H(d) and its order is h(d). Lagrange: Every (primitive) form of discriminant d < 0 is equivalent to exactly one (primitive) reduced form of discriminant d. 5
6 Lagrange: If (a, b, c) (a, b, c ), then n is represented by (a, b, c) if and only if n is represented by (a, b, c ). Gauss: If (a, b, c) (a, b, c ), then {(x, y) Z : n = ax + bxy + cy } = {(x, y) Z : n = a x + b xy + c y }. For a, b, c Z with a, c > 0 and b 4ac < 0 we define R([a, b, c], n) = {(x, y) Z : n = ax + bxy + cy }, R ([a, b, c], n) = {(x, y) Z : n = ax + bxy + cy, (x, y) = }. Since [a, b, c] = [a, b, c], for K H(d) we have R(K, n) = R(K, n). If R(K, n) > 0, we say that n is represented by K. Theorem.. Let d be a discriminant, n N and a, b, c Z with b 4ac = d. Then R([a, b, c], n) = R ( n ) [a, b, c], m m N,m n 6
7 and R ([a, b, c], n) = m N,m n µ(m)r ( [a, b, c], where µ(n) is the Möbius function. n ), m. Formulas for N(n, d) For a discriminant d the conductor of d is the largest positive integer f = f(d) such that d/f 0, (mod 4). If f(d) =, we say that d is a fundamental discriminant. For discriminant d < 0 let w(d) = if d < 4, 4 if d = 4, 6 if d = 3. For n N and discriminant d < 0 define N(n, d) = K H(d) R(K, n). 7
8 Let d < 0 be a discriminant with conductor f. Let d 0 = d/f and n N. When (n, d) =, Dirichlet proved the following formula for N(n, d): (.) N(n, d) = w(d) k n ( d0 In 997 Kaplan and Williams showed that this is also true under the weaker condition (n, f) =. Taking n = in (.) we find N(, d) = w(d). k ). Sun and Williams obtained the complete formula for N(n, d), which improved the Huard- Kaplan-Williams formula. 8
9 Theorem. ([SW, 006]). Let d be a discriminant with conductor f. Let d 0 = d/f and n N. If (n, f ) is not a square, then N(n, d) = 0. If (n, f ) = m for m N, then N(n, d) w(d) = m p m = ( d 0 p )= m p m ( p ( d/m p )) + ( ) ord pn ( p ( d 0 p )= ( d/m )) p ( n + ord p m k n m ( ) d0 where in the products p runs over all distinct primes. ), k 9
10 When h(d) =, N(n, d) = R([, 0, d ], n) if d, 4 R([,, d ], n) if d. 4 Example.: d = 8, f =, d 0 = 7, h(d) =, R([, 0, 7], n) = N(n, 8) 0 if 4 n, ( 7 ) if n, = k k n ( 7 ) if 4 n. k k n 4 If for any n, n N with (n, n ) =, we have f(n n ) = f(n )f(n ), we say that f(n) is a multiplicative function. Theorem. ([SW, 006]). Let d be a discriminant. Then N(n, d)/w(d) is a multiplicative function of n N. 0
11 Theorem.3 ([SW]). Let d be a discriminant with conductor f and d 0 = d/f. Let s be a complex number with Re(s) >. Then the Dirichlet series N(n,d)/w(d) n= n s converges absolutely and n= = p f N(n, d)/w(d) p f n s ( p α p ( s) p s + pαp( s) ( p ( d 0 p )) ( p s )( ( d 0 p )p s ) ( p s )( ( d 0 p )p s ), where p runs over all primes and α p = ord p f. )
12 Example.: n= R([, 0, 7], n) n s = s + s ( s ) p,9, (mod 4) p 3,5,3 (mod 4) 7 s ( p s ) p s, where p runs over all primes satisfying the condition under the product. 3. Formulas for R(K, p t ) and R (K, p t ) Theorem 3. ([SW]. Let d be a discriminant with conductor f, and let p be a prime such that p f. Let t be a nonnegative integer and K H(d). Let I be the identity in H(d).
13 (i) If ( d p ) =, then R(K, p t ) = { w(d) if t and K = I, 0 otherwise.. (ii) If p d, then R(K, p t ) w(d) if t and K = I, = or if t and p is represented by K, 0 otherwise. (iii) Suppose ( d p ) = so that p is only represented by some class A and the inverse A in H(d). Let m be the order of A in H(d). If K is not a power of A, then R(K, p t ) = 0. If k, t 0 {0,,..., m } with t 0 t (mod m), then 3
14 R(A k, p t ) 0 if m and k t, w(d) ([ t ] ) + if t = 0 S k,m, m/(, m) w(d) [ t ] otherwise, m/(, m) where S k,m = {r k r < m, k r} {r m k r < m, k r} if m, {r min{k, m k} r < m, k r} {r max{k, m k} r < m, k r} if m. Theorem 3. ([SW]). Let d be a discriminant with conductor f. Let K H(d) and t N. Let p be a prime such that p f. (i) If ( d p ) =, then R (K, p t ) = 0. 4
15 (ii) If ( d p ) = 0, then p is represented by unique A H(d) and we have R (K, p t ) = { w(d) if t = and K = A, 0 otherwise. (iii) If ( d p ) =, then p is represented by some A H(d) and we have R (K, p t ) 0 if K A t, A t, = w(d) if K {A t, A t } and A t A t, w(d) if K = A t = A t. Theorem 3.3 ([SW]) Let d be a discriminant with conductor f. Let p be a prime such that ( d p ) = 0, and p f. Then p is represented by some class A H(d). For t N and K H(d) we have R(K, p t+ )+R(K, p t ) = R(AK, p t )+R(A K, p t ). 5
16 4. Multiplicative functions involving R(K, n) Theorem 4. ([SW]). Let d be a discriminant. If n, n,..., n r (r ) are pairwise prime positive integers and K H(d), then R(K, n n n r ) = w(d) r and K K K r =K R(K, n ) R(K r, n r ) R (K, n n n r ) = w(d) r K K K r =K R (K, n ) R (K r, n r ), where the summations are taken over all K,..., K r H(d) such that K K K r = K. Example 4. If (n, n ) = and K H(d), then R(K, n n ) = R(A, n )R(A K, n ). w(d) A H(d) 6
17 Definition 4.. Let d be a discriminant and n N. Let H(d) = {A k Ak r r 0 k < h,..., 0 k r < h r } with h h r = h(d). For K = A k Ak r r H(d) and M = A m Am r r H(d) we define and F (M, n) = w(d) [K, M] = k m h K H(d) + + k rm r h r cos π[k, M] R(K, n). Theorem 4.. n N. Let d be a discriminant and (i) If M H(d), then F (M, n) is a multiplicative function of n. (ii) If K H(d), then R(K, n) = w(d) h(d) M H(d) cos π[k, M] F (M, n). 7
18 Theorem 4.3 ([SW]). Let d be a discriminant such that H(d) is cyclic and h(d) 6 (h(d) {, 3, 5, 6} implies H(d) is cyclic). Let I be the principal class in H(d). Let A be a generator of H(d) and n N. Recall that w(d) = or according as d > 0 or d < 0. (i) If h(d) =, 3, then F (A, n) = (R(I, n) R(A, n))/w(d) is a multiplicative function of n. (ii) If h(d) = 4, then F (A, n) = (R(I, n) R(A, n))/w(d), F (A, n) = (R(I, n) + R(A, n) R(A, n))/w(d) are multiplicative functions of n. 8
19 (iii) If h(d) = 5, then F (A, n) = (R(I, n) + R(A, n) R(A, n)) / w(d), F (A, n) = (R(I, n) R(A, n) + R(A, n)) / w(d) are multiplicative functions of n. (iv) If h(d) = 6, then F (A, n) = (R(I, n) + R(A, n) R(A, n) R(A 3, n))/w(d), F (A, n) = (R(I, n) R(A, n) R(A, n) + R(A 3, n))/w(d), F (A 3, n) = (R(I, n) R(A, n) + R(A, n) R(A 3, n))/w(d) are multiplicative functions of n. 9
20 5. Formulas for F (A, p t ) when h(d) =, 3, 4 For K H(d) define R(K) = {n N : R(K, n) > 0}. Thus, n R(K) if and only if R(K, n) > 0. Theorem 5. Let d be a discriminant with conductor f and d 0 = d/f. Suppose h(d) = and H(d) = {I, A} with A = I. For n N let F (A, n) = (R(I, n) R(A, n)). Let p be a w(d) prime and let t be a nonnegative integer. If p f, then ( + ( )t ) if ( d 0 p ) =, if p d 0 and p R(I), F (A, p t ) = ( ) t if p d 0 and p R(A), t + ( ) t (t + ) if p d 0 and p R(I), if p d 0 and p R(A). Theorem 5. Let d be a discriminant with conductor f and d 0 = d/f. Suppose h(d) = 3 and H(d) = {I, A, A } with A 3 = I. For n N let F (A, n) = (R(I, n) R(A, n)). Let p be w(d) a prime and let t be a nonnegative integer. 0
21 If p f, then F (A, p t ) = if p d 0, ( + ( )t ) if ( d 0 p ) =, t + if p d 0 and p R(I), if p R(A) and 3 t, 0 if p R(A) and 3 t, if p R(A) and 3 t. Theorem 5.3 Let d be a discriminant with conductor f and d 0 = d/f. Suppose h(d) = 4 and H(d) = {I, A, A, A 3 } with A 4 = I. Let F (A, n) = w(d) (R(I, n) R(A, n)) and F (A, n) = w(d) (R(I, n)+r(a, n) R(A, n)) for n N. Let p be a prime such that p f and let t be a nonnegative integer. Then
22 F (A, p t ) = and + ( ) t if ( d 0 p ) =, if p d 0 and p R(I), t + if p d 0 and p R(I), ( ) t if p d 0 and p R(A ), ( ) t (t + ) if p d 0 and p R(A ), ( ) t/ if p R(A) and t, 0 if p R(A) and t F (A, p t ) + ( ) t if ( d 0 p ) =, = if p d 0, t + if p d 0 and p R(I) R(A ), ( ) t (t + ) if p R(A).
23 6. The method of determining R(K, n) If n = p t p t r r is the standard factorization of n, then for K H(d), F (K, n) = F (K, p t ) F (K, p t r r ). Hence, by Theorems we can determine R(K, n) for K H(d), where H(d) is cyclic and h(d) =, 3, 4. Let d be a discriminant. If H(d) = {I, A}, then { R(I, n) + R(A, n) = N(n, d), and so R(I, n) R(A, n) = w(d)f (A, n) R(I, n) = (N(n, d) + w(d)f (A, n)), R(A, n) = (N(n, d) w(d)f (A, n)). If H(d) = {I, A, A }, then R(A, n) = R(A, n) = R(A, n). We have { R(I, n) + R(A, n) = N(n, d), R(I, n) R(A, n) = w(d)f (A, n) 3
24 and so R(I, n) = (N(n, d) + w(d)f (A, n)), 3 R(A, n) = (N(n, d) w(d)f (A, n)). 3 Similarly, if H(d) = {I, A, A, A 3 }, then R(I, n) = (F (I, n) + F (A, n) + F (A, n))w(d)/4, R(A, n) = R(A 3, n) = (F (I, n) F (A, n))w(d)/4, R(A, n) = (F (I, n) F (A, n) + F (A, n))w(d)/4, where F (I, n) = N(n, d)/w(d). Let d be a discriminant and H (d) = {K : K H(d)}. Then H (d) = H(d) = C C, where C is a cyclic group of order. 4
25 Theorem 6. ([S3]). Let d < 0 be a discriminant with conductor f, d 0 = d/f and H (d) =. Let K H(d) and n N with R(K, n) > 0. Then (n, f ) = m for some m N and R(K, n) = w ( d ) n m ( + ord p ( d m ). 0 p )= related reference: N. A. Hall, The number of representations function for binary quadratic forms, Amer. J. Math. 6 (940), Euler called a positive integer n a convenient number if it satisfies the following criterion: Let m be an odd number such that (m, n) = and m = x + ny with (x, y) =. If the equation m = x + ny has only one solution with x, y 0, then m is a prime. 5
26 Euler listed 65 convenient numbers as follows:,, 3, 4, 7 h( 4n) =, 5, 6, 8, 9, 0,, 3, 5, 6, 8,, 5, 8, 37, 58 h( 4n) =,, 4, 30, 33, 40, 4, 45, 48, 57, 60, 70, 7, 78, 85, 88, 93, 0,, 30, 33, 77, 90, 3, 53 h( 4n) = 4, 05, 0, 65, 68, 0, 40, 73, 80, 3, 330, 345, 357, 385, 408, 46, 50, 760 h( 4n) = 8, 840, 30, 365, 848 h( 4n) = 6. He was interested in convenient numbers because they helped him find large primes. Gauss observed that a positive integer n is a convenient number if and only if H ( 4n) =. In 973 it was known that Euler s list is complete except for possibly one more n. 6
27 7. Formulas for t n (a, b) triangular numbers: x(x ) = ( ) x (x Z) For a, b, n N let t n (a, b) = { x, y : n = ax(x )/ + by(y )/, x, y N}. For our convenience we also define t 0 (a, b) = and t n (a, b) = 0 for n N. Let ψ(q) = Then clearly (7.) k= ψ(q a )ψ(q b ) = + q k(k )/ ( q < ). n= t n (a, b)q n ( q < ). Ramanujan conjectured and Berndt proved that (7.) qψ(q)ψ(q 7 ( ) 8 q n ) = ( q < ), n qn n= where ( m k ) is the Legendre-Jacobi-Kronecker symbol. 7
28 According to Berndt, (7.) is of extreme interest, and it would appear to be very difficult to prove it without the addition theorem for elliptic integrals. By (7.), (7.) is equivalent to (7.3) t n (, 7) = k n+, k ( k K.S. Williams and Z.H. Sun proved (7.3) and so (7.) by using the theory of binary quadratic forms. 7 ). Theorem 7. ([S, 009]) Let a, b, n N. Then 4t n (a, b) = R([a, a, a + b a + b ], n ) R([a, 0, b], n + a + b ) if 4 a + b, 4 R([a, a, a + b a + b ], 4n + ) if 4 a + b, R([4a, 4a, a + b], 8n + a + b) if a + b. 8
29 Theorem 7. ([S3,0]. Let a, b, n N. (i) If 8 a, 8 b and 4 (a + b), then t n (a, b) = R([a, 0, b], 8n + a + b). 4 (ii) If a, 8 b 4 and 4 (a + b/4), then t n (a, b) = R([a, 0, b/4], 8n + a + b). 4 Theorem 7.3 ([SW, 006]). Let n N. If n + = 3 α n 0 (3 n 0 ), then t n (3, 5) = + ( )α ( n 0 3 ) If n + = 3 α n 0 (3 n 0 ), then t n (, 5) = ( )α ( n 0 3 ) k n+, k k n+, k ( k 5 ( k 5 ). ). 9
30 Theorem 7.4 ([S]) For n N and b {5, 3, 37}, t n (, b) = k 4n+ b+ ( b k ). Theorem 7.5 ([S3]). {6, 0,,, 8, 58}. Let n N and b (i) If b {6, 0,, 58}, then t n (, b) = t n (, b/) = k 8n+b+ ( b k 8n++ b ), k ( b k ). (ii) If b {, 8}, then t n (, b) = t n (4, b/4) = k 8n+b+ ( k k 8n+4+ b 4 b/4 ), ( k b/4 ). 30
31 Theorem 7.6. Let n N. If 4n + 3 = 5 α n (5 n ), then t n (, 45) = k n 9 ( ) k ( k 5 ) if 9 n and n ± (mod 5), ( ) k ( k 5 ) k n if 3 n and n ± (mod 5), 0 otherwise. Theorem 7.7. Let n N, a {, 3}, b {7,, 9, 3, 59} and 4n+(a+3b/a)/ = 3 β n 0 (3 n 0 ). Then t n (a, 3b/a) > 0 if and only if ord q n 0 for every prime q with ( 3b q ) = and n 0 (mod 3) if b {, 59} and β a+ (mod ), (mod 3) otherwise. Moreover, if t n (a, 3b/a) > 0, then t n (a, 3b/a) = ( 3b p )=( + ord pn 0 ). 3
32 In [S,S3], t n (a, b) was determined for 38 values of (a, b). related references: A. Berkovich and H. Yesilyurt, Ramanujan s identities and representation of integers by certain binary and quaternary quadratic forms, Ramanujan J. 0 (009), M.D. Hirschhorn, The number of representations of a number by various forms, Discrete Math. 98(005),
33 8. The expansion of k= ( q ak )( q bk ) k= = + Theorem 8. ([S, 008]). Let a, b N and q R with q <. Then ( q ak )( q bk ) n= ( R(a + b, (a b), 36(a + b); 4n + a + b) R(4(a + b), (a b), 9(a + b); 4n + a + b) ) q n. In the case a + b = 4, the result was given in [SW]. 9. Constructing x and x for primes p = ax + by 33
34 . (Gauss, 85; Cauchy proved) If p (mod 4) is a prime and p = x + y with x (mod 4), then x ( (p )/) (mod p). (p )/4 (Chowla, Dwork and Evans, 986) ( (p )/) p ( + x p ) (p )/4 x (mod p ). (Cosgrave, Dilcher, 00) ( (p )/ (p )/4 ( ) ) x p x p ( 8x 3 + pq p() 8 p (q p () E p 3 ) ) (mod p 3 ), where q p () = ( p )/p and E n is the Euler number. 34
35 . (Jacobi, 87) If p (mod 3) is a prime and 4p = L + 7M with L (mod 3), then L ( (p )/3) ( (p )/) (mod p). (p )/3 (p )/6 Gauss: L ( p 3 )! 3 (mod p). (Evans, 985, unpublished; Yeung, 989, JNT) ( (p )/3 (p )/3 ) L + p L (mod p ). (Cosgrave, Dilcher, 00) ( (p )/3 (p )/3 ( L + ) pl p + )( L p B p ( 3 ) ) (mod p 3 ). Z.H.Sun: Let {U n } be given by U 0 = and U n = ( ) n n k=0 k Uk (n ). Then B p ( 3 ) 6U p 3 (mod p). 35
36 3. (Stern, 846) If p (mod 8) is a prime and so p = x + y with x (mod 4), then x ( ) p 8 ( p ) p (mod p) (Eisenstein, 848) If p 3 (mod 8) is a prime and so p = x + y with x (mod 4), then x ( ) p 3 8 ( p ) p 3 (mod p) (Cauchy) If p (mod 0) is a prime and so p = x + 5y, then 4x (p )( p ) p 3(p ) (mod p)
37 6. (Jacobi, 87) If p (mod 7) is a prime and so p = x + 7y with x (mod 7), then x (3(p ) ) 7 p (mod p) (Eisenstein, 848) If p (mod 7) is an odd prime and so p = x + 7y with x 3 (mod 7), then x (3(p ) ) 7 p (mod p) (Eisenstein, 848) If p 4 (mod 7) is a prime and so p = x + 7y with x 5 (mod 7), then x (3(p 4) ) 7 p 4 (mod p). 7 37
38 9. Let p, 3, 4, 5, 9 (mod ) be a prime and so 4p = x + y. (i) (Jacobi, 87) If p = n + and x (mod ), then x ( 3n n )( 6n )/( 4n 3n n ) (mod p). (ii) (Lee, 00) If p = n+3 and x (mod ), then x ( 3n + )( 6n + )/( 4n + ) (mod p). n 3n n (iii) (Lee, 00) If p = n+4 and x 7 (mod ), then x ( 3n + )( 6n + )/( 4n + ) (mod p). n 3n n (iv) (Lee, 00) If p = n+5 and x 8 (mod ), then x ( )( )/( ) 3n+ 6n+ 4n+ n 3n+ n (mod p). (v) (Lee, 00) If p = n+6 and x 5 (mod ), then x ( )( )/( ) 3n+ 6n+4 4n+3 n 3n+ n+ (mod p). 38
39 0. (Z. H. Sun, 0, Adv. in Appl. Math.) For a, b, n N let λ(a, b; n) Z be given by q k= ( q ak ) 3 ( q bk ) 3 = n= λ(a, b; n)q n ( q < ). () Suppose ab and p is an odd prime such that p a, b, p ab + and p = ax + by with x, y Z. Let n = ((ab + )p a b)/8. Then ( ) a+b x+b+ (4ax p) = λ(a, b; n + ). () Let a, b N with (a, b) =. Let p be an odd prime such that p ab, ab+ and p = x +aby with x, y Z. Let n = (a + b)(p )/8. If a, b, 8 b and 8 p, then ( ) y (4x p) = λ(a, b; n + ). In 89 Klein and Fricke showed that λ(, ; (p + 3)/4) = 4x p for primes p = x + y (mod 4) with x. 39
40 In his lost notebook Ramanujan conjectured that λ(, 7; p) = 4x p for primes p = x + 7y,, 4 (mod 7). In 985 Stienstra and Beukers proved that λ(, 3; (p + )/) = λ(, 6; p) = 4x p for primes p = x + 3y (mod 3). Example 9. Let p > 5 be a prime. Then λ(, ; (3p + 5)/8) = ( ) (4x y p) for p = x + y (mod 8), λ(, 5; (3p + )/4) = ( ) x (4x p) for p = x + 5y, 9 (mod 0), { 0 if p, 9 (mod 30), λ(3, 5; p) = 4x p if p = x + 5y, { 0 if p 7, 3 (mod 30), λ(3, 5; p) = p x if p = 3x + 5y. 40
41 0. Ramanujan s conjectures on Euler products for a type of Dirichlet series For k =,,..., let q m= = n= ( q km )( q (4 k)m ) φ k (n)q n ( q < ). Ramanujan conjectured that the Dirichlet series φ k (n) n= n s (k =,, 3, 4, 6, 8, ) have Euler products and gave the explicit Euler products in the cases k =,, 3. Unfortunately his formulae for k =, 3 are wrong. In 98 Rangachari outlined the proofs of the formulae for k =,, 3 using class field theory and modular forms. But Rangachari s formulae for k =, 3 are also wrong and his proofs are neither clear nor elementary. So it remains to correct the results and to give elementary proofs of them. 4
42 Let d < 0 be a discriminant with h(d) = 3. Suppose that I is the principal class and A is a generator of H(d). We recall that F (A, n) = (R(I, n) R(A, n)) is a multiplicative function of n. Define L(A, s) = n= F (A, n) n s (Re(s) > ). Theorem 0. ([SW]). Let d < 0 be a discriminant with h(d) = 3. Let f be the conductor of d and H(d) = {I, A, A } with A 3 = I. Let s C with Re(s) >. If d 9, 4, then L(A, s) = p d p f p s p R(I) p d ( d p )= p s ( p s ) p R(A) p d where p runs over all primes. + p s + p s, 4
43 Theorem 0.. Let s C with Re(s) >. Then φ (n), φ (n), φ 6 (n) are multiplicative functions. Moreover, n= φ (n) n s = 3 s ( p 3 )= p s p=x +xy+3y + p s + p s p=x +xy+6y 3 ( p s ), n= φ (n) n s = s p,6,7,8,0 (mod ) p p=3x +xy+4y + p s + p s p=x +y ( p s ) p s 43
44 and n= = φ 6 (n) n s p 5 (mod 6) p s p=x +7y ( p s ) p=4x +xy+7y + p s + p s, where p runs over all primes. Let d < 0 be a discriminant such that H(d) = {I, A, A, A 3 } with A 4 = I. Then F (A, n) = (R(I, n) R(A, n)) is multiplicative. Define L(A, s) = n= F (A, n) n s. 44
45 Theorem 0.3. Let d < 0 be a discriminant such that H(d) = {I, A, A, A 3 } with A 4 = I. Let f be the conductor of d and s C with Re(s) >. If d 0, 5, then L(A, s) = ( d p )= p d,p f p R(A ) p d p R(A ) p s p d,p f p R(I) + p s p d p R(I) ( + p s ) where p runs over all primes. p s ( p s ) p d p R(A) + p s, 45
46 Theorem 0.4. Let s C with Re(s) >. Then φ 3 (n), φ 4 (n), φ 8 (n) and φ (n) are multiplicative functions. Moreover, n= φ 3 (n) n s = + 7 s p 3,5,6 (mod 7) p 3 p,8, (mod ) + p s p=x +xy+6y ( p s ) p=4x +xy+4y 7 p s ( + p s ), 46
47 n= = n= = φ 4 (n) n s + 5 s p 3,7(mod 0) p=4x +5y 5 φ 8 (n) n s p 5,7 (mod 8) p=x +3y p,3,7,9(mod 0) p s + p s p=x +0y ( p s ) ( + p s ), p s p 3 (mod 8) ( p s ) + p s p=4x +4xy+9y ( + p s ), 47
48 n= = φ (n) n s p 3(mod 4) p 3 p=x +36y p s ( p s ) where p runs over all primes. p 5 (mod ) p=4x +9y + p s ( + p s ),. The number of representations of n by ax + by(y )/, ax + by(3y )/ and ax(x )/ + by(3y )/ Let r(n = f(x, y)) = { x, y Z : n = f(x, y)}. In 008 Z.H. Sun ([S]) determined r(n = (3x x)/+b(3y y)/) for b =,, 5. 48
49 In 0, using some results for binary quadratic forms Z.H. Sun ([S4]) determined r(n = x + by(y )/) in the cases b =,, 3, 4, 5, 6, 8, 9, 0,, 4, 5, 6,, 9, 30, 35, 39, 5, 65, 95, r(n = x + b(3y y)/) in the cases b =,, 3, 4, 5, 7, 8, 3, 7 and r(n = (x x)/ + b(3y y)/) in the cases b =,, 3, 5, 7, 0,, 4, 5, 9, 6, 3, 34, 35, 55, 59, 9, 5, 9, 455. For example, we have r ( n = x y(y ) ) + b = for b = 3, 5,, 9, r ( n = x y(3y ) + b for b = 5, 7, 3, 7 k 8n+b ) = k 4n+b ( b k ( 6b k ) ) 49
50 and r ( n = x(x ) y(3y ) +b for b = 7,, 9, 3, 59. ) = k n+ b+3 ( 3b k ) There are huge similar results conjectured by R.S. Melham in his preprint Analogues of Jacobi s two-square theorem. R.S. Melham, Analogues of Jacobi s two-square theorem: an informal account, Integers 0(00),
On the number of representations of n by ax 2 + by(y 1)/2, ax 2 + by(3y 1)/2 and ax(x 1)/2 + by(3y 1)/2
ACTA ARITHMETICA 1471 011 On the number of representations of n by ax + byy 1/, ax + by3y 1/ and axx 1/ + by3y 1/ by Zhi-Hong Sun Huaian 1 Introduction For 3, 4,, the -gonal numbers are given by p n n
More informationAdvances 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 informationp-regular functions and congruences for Bernoulli and Euler numbers
p-regular functions and congruences for Bernoulli and Euler numbers Zhi-Hong Sun( Huaiyin Normal University Huaian, Jiangsu 223001, PR China http://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers,
More informationThe genera representing a positive integer
ACTA ARITHMETICA 102.4 (2002) The genera representing a positive integer by Pierre Kaplan (Nancy) and Kenneth S. Williams (Ottawa) 1. Introduction. A nonsquare integer d with d 0 or 1 (mod 4) is called
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationLegendre polynomials and Jacobsthal sums
Legendre olynomials and Jacobsthal sums Zhi-Hong Sun( Huaiyin Normal University( htt://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of ositive integers, [x] the greatest integer
More informationPolygonal Numbers, Primes and Ternary Quadratic Forms
Polygonal Numbers, Primes and Ternary Quadratic Forms Zhi-Wei Sun Nanjing University Nanjing 210093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun August 26, 2009 Modern number theory has
More informationZhi-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 informationSummary Slides for MATH 342 June 25, 2018
Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.
More informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationarxiv: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 informationPredictive criteria for the representation of primes by binary quadratic forms
ACTA ARITHMETICA LXX3 (1995) Predictive criteria for the representation of primes by binary quadratic forms by Joseph B Muskat (Ramat-Gan), Blair K Spearman (Kelowna, BC) and Kenneth S Williams (Ottawa,
More informationColloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.
Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized
More informationRamanujan-type congruences for overpartitions modulo 16. Nankai University, Tianjin , P. R. China
Ramanujan-type congruences for overpartitions modulo 16 William Y.C. Chen 1,2, Qing-Hu Hou 2, Lisa H. Sun 1,2 and Li Zhang 1 1 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 300071, P.
More informationJournal of Combinatorics and Number Theory 1(2009), no. 1, ON SUMS OF PRIMES AND TRIANGULAR NUMBERS. Zhi-Wei Sun
Journal of Combinatorics and Number Theory 1(009), no. 1, 65 76. ON SUMS OF PRIMES AND TRIANGULAR NUMBERS Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China
More informationClass Field Theory. Steven Charlton. 29th February 2012
Class Theory 29th February 2012 Introduction Motivating examples Definition of a binary quadratic form Fermat and the sum of two squares The Hilbert class field form x 2 + 23y 2 Motivating Examples p =
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
More informationArithmetic Properties for Ramanujan s φ function
Arithmetic Properties for Ramanujan s φ function Ernest X.W. Xia Jiangsu University ernestxwxia@163.com Nankai University Ernest X.W. Xia (Jiangsu University) Arithmetic Properties for Ramanujan s φ function
More informationON UNIVERSAL SUMS OF POLYGONAL NUMBERS
Sci. China Math. 58(2015), no. 7, 1367 1396. ON UNIVERSAL SUMS OF POLYGONAL NUMBERS Zhi-Wei SUN Department of Mathematics, Nanjing University Nanjing 210093, People s Republic of China zwsun@nju.edu.cn
More informationMATH 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 informationA mod p 3 analogue of a theorem of Gauss on binomial coefficients
A mod p 3 analogue of a theorem of Gauss on binomial coefficients Dalhousie University, Halifax, Canada ELAZ, Schloß Schney, August 16, 01 Joint work with John B. Cosgrave Dublin, Ireland We begin with
More informationGauss and Riemann versus elementary mathematics
777-855 826-866 Gauss and Riemann versus elementary mathematics Problem at the 987 International Mathematical Olympiad: Given that the polynomial [ ] f (x) = x 2 + x + p yields primes for x =,, 2,...,
More informationZhi-Wei Sun. Department of Mathematics Nanjing University Nanjing , P. R. China
A talk given at National Cheng Kung Univ. (2007-06-28). SUMS OF SQUARES AND TRIANGULAR NUMBERS, AND RADO NUMBERS FOR LINEAR EQUATIONS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093,
More informationSome 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 informationMath 314 Course Notes: Brief description
Brief description These are notes for Math 34, an introductory course in elementary number theory Students are advised to go through all sections in detail and attempt all problems These notes will be
More informationFive 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 informationQuadratic Forms and Congruences for l-regular Partitions Modulo 3, 5 and 7. Tianjin University, Tianjin , P. R. China
Quadratic Forms and Congruences for l-regular Partitions Modulo 3, 5 and 7 Qing-Hu Hou a, Lisa H. Sun b and Li Zhang b a Center for Applied Mathematics Tianjin University, Tianjin 30007, P. R. China b
More informationProjects 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 informationElementary Number Theory Review. Franz Luef
Elementary Number Theory Review Principle of Induction Principle of Induction Suppose we have a sequence of mathematical statements P(1), P(2),... such that (a) P(1) is true. (b) If P(k) is true, then
More informationSuper congruences involving binomial coefficients and new series for famous constants
Tal at the 5th Pacific Rim Conf. on Math. (Stanford Univ., 2010 Super congruences involving binomial coefficients and new series for famous constants Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.
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 informationPrimes of the Form x 2 + ny 2
Primes of the Form x 2 + ny 2 Steven Charlton 28 November 2012 Outline 1 Motivating Examples 2 Quadratic Forms 3 Class Field Theory 4 Hilbert Class Field 5 Narrow Class Field 6 Cubic Forms 7 Modular Forms
More informationarxiv: v1 [math.nt] 22 Jan 2019
Factors of some truncated basic hypergeometric series Victor J W Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an 223300, Jiangsu People s Republic of China jwguo@hytceducn arxiv:190107908v1
More informationAMBIGUOUS FORMS AND IDEALS IN QUADRATIC ORDERS. Copyright 2009 Please direct comments, corrections, or questions to
AMBIGUOUS FORMS AND IDEALS IN QUADRATIC ORDERS JOHN ROBERTSON Copyright 2009 Please direct comments, corrections, or questions to jpr2718@gmail.com This note discusses the possible numbers of ambiguous
More informationSOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ω(q) AND ν(q) S.N. Fathima and Utpal Pore (Received October 13, 2017)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 47 2017), 161-168 SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ωq) AND νq) S.N. Fathima and Utpal Pore Received October 1, 2017) Abstract.
More informationTATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple
TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive
More informationIntroduction 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 informationPrimes - Problem Sheet 5 - Solutions
Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices
More informationElementary Number Theory MARUCO. Summer, 2018
Elementary Number Theory MARUCO Summer, 2018 Problem Set #0 axiom, theorem, proof, Z, N. Axioms Make a list of axioms for the integers. Does your list adequately describe them? Can you make this list as
More informationRamanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3
Ramanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3 William Y.C. Chen 1, Anna R.B. Fan 2 and Rebecca T. Yu 3 1,2,3 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 300071,
More informationApéry Numbers, Franel Numbers and Binary Quadratic Forms
A tal given at Tsinghua University (April 12, 2013) and Hong Kong University of Science and Technology (May 2, 2013) Apéry Numbers, Franel Numbers and Binary Quadratic Forms Zhi-Wei Sun Nanjing University
More informationIdeal Composition in Quadratic Fields: from Bhargava to Gauss
Ideal Composition in Quadratic Fields: from Bhargava to Gauss Duncan Buell Department of Computer Science and Engineering University of South Carolina Clemson, 10 Oct 010 DAB Page 1 Composition in Quadratic
More information#A22 INTEGERS 17 (2017) NEW CONGRUENCES FOR `-REGULAR OVERPARTITIONS
#A22 INTEGERS 7 (207) NEW CONGRUENCES FOR `-REGULAR OVERPARTITIONS Shane Chern Department of Mathematics, Pennsylvania State University, University Park, Pennsylvania shanechern@psu.edu Received: 0/6/6,
More informationBalanced subgroups of the multiplicative group
Balanced subgroups of the multiplicative group Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Based on joint work with D. Ulmer To motivate the topic, let s begin with elliptic curves. If
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationMath 3320 Problem Set 10 Solutions 1
Math 3320 Problem Set 10 Solutions 1 1. For the form Q(x,y)=x 2 +xy+y 2 do the following things: (a) Draw enough of the topograph to show all the values less than 100 that occur in the topograph. You do
More informationCONSECUTIVE NUMBERS WITHTHESAMELEGENDRESYMBOL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 130, Number 9, Pages 503 507 S 000-9939(0)06600-5 Article electronically ublished on Aril 17, 00 CONSECUTIVE NUMBERS WITHTHESAMELEGENDRESYMBOL ZHI-HONG
More informationA Few Primality Testing Algorithms
A Few Primality Testing Algorithms Donald Brower April 2, 2006 0.1 Introduction These notes will cover a few primality testing algorithms. There are many such, some prove that a number is prime, others
More informationOn the Representations of xy + yz + zx
On the Representations of xy + yz + zx Jonathan Borwein and Kwok-Kwong Stephen Choi March 13, 2012 1 Introduction Recently, Crandall in [3] used Andrews identity for the cube of the Jacobian theta function
More informationMath Circles: Number Theory III
Math Circles: Number Theory III Centre for Education in Mathematics and Computing University of Waterloo March 9, 2011 A prime-generating polynomial The polynomial f (n) = n 2 n + 41 generates a lot of
More informationCONGRUENCES MODULO 2 FOR CERTAIN PARTITION FUNCTIONS
Bull. Aust. Math. Soc. 9 2016, 400 409 doi:10.1017/s000497271500167 CONGRUENCES MODULO 2 FOR CERTAIN PARTITION FUNCTIONS M. S. MAHADEVA NAIKA, B. HEMANTHKUMAR H. S. SUMANTH BHARADWAJ Received 9 August
More informationarxiv: v1 [math.co] 8 Sep 2017
NEW CONGRUENCES FOR BROKEN k-diamond PARTITIONS DAZHAO TANG arxiv:170902584v1 [mathco] 8 Sep 2017 Abstract The notion of broken k-diamond partitions was introduced by Andrews and Paule Let k (n) denote
More informationJournal of Number Theory
Journal of Number Theory 133 2013) 437 445 Contents lists available at SciVerse ScienceDirect Journal of Number Theory wwwelseviercom/locate/jnt On Ramanujan s modular equations of degree 21 KR Vasuki
More informationRamanujan-type congruences for broken 2-diamond partitions modulo 3
Progress of Projects Supported by NSFC. ARTICLES. SCIENCE CHINA Mathematics doi: 10.1007/s11425-014-4846-7 Ramanujan-type congruences for broken 2-diamond partitions modulo 3 CHEN William Y.C. 1, FAN Anna
More informationGUO-NIU HAN AND KEN ONO
HOOK LENGTHS AND 3-CORES GUO-NIU HAN AND KEN ONO Abstract. Recently, the first author generalized a formula of Nekrasov and Okounkov which gives a combinatorial formula, in terms of hook lengths of partitions,
More informationA PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES
A PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES MATTHEW S. MIZUHARA, JAMES A. SELLERS, AND HOLLY SWISHER Abstract. Ramanujan s celebrated congruences of the partition function p(n have inspired a vast
More informationElementary Evaluation of Certain Convolution Sums Involving Divisor Functions
Elementary Evaluation of Certain Convolution Sums Involving Divisor Functions James G. Huard, 1 Zhiming M. Ou, 2 Blair K. Spearman, 3 and Kenneth S. Williams 4 1 Introduction Let σ m (n) denote the sum
More informationCLASS FIELD THEORY NOTES
CLASS FIELD THEORY NOTES YIWANG CHEN Abstract. This is the note for Class field theory taught by Professor Jeff Lagarias. Contents 1. Day 1 1 1.1. Class Field Theory 1 1.2. ABC conjecture 1 1.3. History
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationIntroduction to Information Security
Introduction to Information Security Lecture 5: Number Theory 007. 6. Prof. Byoungcheon Lee sultan (at) joongbu. ac. kr Information and Communications University Contents 1. Number Theory Divisibility
More informationNew Congruences for Broken k-diamond Partitions
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.5.8 New Congruences for Broken k-diamond Partitions Dazhao Tang College of Mathematics and Statistics Huxi Campus Chongqing University
More informationON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS
ON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS ANDREJ DUJELLA AND ZRINKA FRANUŠIĆ Abstract. It this paper, we study the problem of determining the elements in the rings of integers of quadratic
More informationCongruences of Restricted Partition Functions
Rose-Hulman Institute of Technology Rose-Hulman Scholar Mathematical Sciences Technical Reports (MSTR) Mathematics 6-2002 Congruences of Restricted Partition Functions Matthew Culek Amanda Knecht Advisors:
More informationNew modular relations for the Rogers Ramanujan type functions of order fifteen
Notes on Number Theory and Discrete Mathematics ISSN 532 Vol. 20, 204, No., 36 48 New modular relations for the Rogers Ramanujan type functions of order fifteen Chandrashekar Adiga and A. Vanitha Department
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 informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationMATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.
MATH 3330 ABSTRACT ALGEBRA SPRING 2014 TANYA CHEN Dr. Gordon Heier Tuesday January 14, 2014 The Basics of Logic (Appendix) Definition. A statement is a declarative sentence that is either true or false.
More informationTHE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n =
THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO 1. Introduction and Statement of Results If H( n) denotes the Hurwitz-Kronecer class
More informationELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS
Bull Aust Math Soc 81 (2010), 58 63 doi:101017/s0004972709000525 ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS MICHAEL D HIRSCHHORN and JAMES A SELLERS (Received 11 February 2009) Abstract
More informationThe Mass Formula for Binary Quadratic Forms
The Mass Formula for Binary Quadratic Forms by John Paul Cook A well-documented question from classical number theory pertains to the different representations of an integer k by a binary quadratic form.
More informationBINARY QUADRATIC DIOPHANTINE EQUATIONS
BINARY QUADRATIC DIOPHANTINE EQUATIONS These equations have the form: a xx x 2 + a xy xy + a yy y 2 + a x x + a y y + a 0 = 0... (1) where a xx, a xy, a yy, a x, a y and a 0 are integers and solutions
More informationMATH 361: NUMBER THEORY TENTH LECTURE
MATH 361: NUMBER THEORY TENTH LECTURE The subject of this lecture is finite fields. 1. Root Fields Let k be any field, and let f(x) k[x] be irreducible and have positive degree. We want to construct a
More informationPart IX. Factorization
IX.45. Unique Factorization Domains 1 Part IX. Factorization Section IX.45. Unique Factorization Domains Note. In this section we return to integral domains and concern ourselves with factoring (with respect
More informationarxiv: v5 [math.nt] 22 Aug 2013
Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
More informationQuasi-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 informationCourse 2316 Sample Paper 1
Course 2316 Sample Paper 1 Timothy Murphy April 19, 2015 Attempt 5 questions. All carry the same mark. 1. State and prove the Fundamental Theorem of Arithmetic (for N). Prove that there are an infinity
More information(k, l)-universality OF TERNARY QUADRATIC FORMS ax 2 + by 2 + cz 2
#A20 INTEGERS 18 (2018) (k, l)-universality OF TERNARY QUADRATIC FORMS ax 2 + by 2 + cz 2 Lerna Pehlivan Department of Mathematics and Statistics, Acadia University, Wolfville, Nova Scotia, Canada lerna.pehlivan@acadiau.ca
More informationOn Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers
A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University
More informationARITHMETIC CONSEQUENCES OF JACOBI S TWO SQUARES THEOREM. Michael D. Hirschhorn (RAMA126-98) Abstract.
ARITHMETIC CONSEQUENCES OF JACOBI S TWO SQUARES THEOREM Michael D. Hirschhorn RAMA126-98) Abstract. There is a well-known formula due to Jacobi for the number r 2 n) of representations of the number n
More informationCONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)
CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit, and Yee introduced partition
More informationGroups in Cryptography. Çetin Kaya Koç Winter / 13
http://koclab.org Çetin Kaya Koç Winter 2017 1 / 13 A set S and a binary operation A group G = (S, ) if S and satisfy: Closure: If a, b S then a b S Associativity: For a, b, c S, (a b) c = a (b c) A neutral
More informationOutline. Some Review: Divisors. Common Divisors. Primes and Factors. b divides a (or b is a divisor of a) if a = mb for some m
Outline GCD and Euclid s Algorithm AIT 682: Network and Systems Security Topic 5.1 Basic Number Theory -- Foundation of Public Key Cryptography Modulo Arithmetic Modular Exponentiation Discrete Logarithms
More informationOutline. AIT 682: Network and Systems Security. GCD and Euclid s Algorithm Modulo Arithmetic Modular Exponentiation Discrete Logarithms
AIT 682: Network and Systems Security Topic 5.1 Basic Number Theory -- Foundation of Public Key Cryptography Instructor: Dr. Kun Sun Outline GCD and Euclid s Algorithm Modulo Arithmetic Modular Exponentiation
More informationPrime Numbers and Irrational Numbers
Chapter 4 Prime Numbers and Irrational Numbers Abstract The question of the existence of prime numbers in intervals is treated using the approximation of cardinal of the primes π(x) given by Lagrange.
More informationON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE
ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE AMANDA FURNESS Abstract. We examine relative class numbers, associated to class numbers of quadratic fields Q( m) for m > 0 and square-free. The relative
More informationMath 2070BC Term 2 Weeks 1 13 Lecture Notes
Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic
More informationFOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2
FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued
More informationArithmetic Statistics Lecture 3
Arithmetic Statistics Lecture 3 Álvaro Lozano-Robledo Department of Mathematics University of Connecticut May 28 th CTNT 2018 Connecticut Summer School in Number Theory PREVIOUSLY... We can define an action
More informationjoint with Katherine Thompson July 29, 2015 The Wake Forest/Davidson Experience in Number Theory Research A Generalization of Mordell to Ternary
to to joint with Katherine Thompson The Wake Forest/Davidson Experience in Number Theory Research July 29, 2015 cknowledgements to Thanks to UG and to the organizers. Special thanks to Dr. Jeremy Rouse,
More informationArithmetic Consequences of Jacobi s Two-Squares Theorem
THE RAMANUJAN JOURNAL 4, 51 57, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Arithmetic Consequences of Jacobi s Two-Squares Theorem MICHAEL D. HIRSCHHORN School of Mathematics,
More informationA talk given at the City Univ. of Hong Kong on April 14, ON HILBERT S TENTH PROBLEM AND RELATED TOPICS
A talk given at the City Univ. of Hong Kong on April 14, 000. ON HILBERT S TENTH PROBLEM AND RELATED TOPICS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 10093 People s Republic of China
More informationSome Open Problems Arising from my Recent Finite Field Research
Some Open Problems Arising from my Recent Finite Field Research Gary L. Mullen Penn State University mullen@math.psu.edu July 13, 2015 Some Open Problems Arising from myrecent Finite Field Research July
More informationPARTITION IDENTITIES AND RAMANUJAN S MODULAR EQUATIONS
PARTITION IDENTITIES AND RAMANUJAN S MODULAR EQUATIONS NAYANDEEP DEKA BARUAH 1 and BRUCE C. BERNDT 2 Abstract. We show that certain modular equations and theta function identities of Ramanujan imply elegant
More informationOn products of quartic polynomials over consecutive indices which are perfect squares
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 513, Online ISSN 367 875 Vol. 4, 018, No. 3, 56 61 DOI: 10.7546/nntdm.018.4.3.56-61 On products of quartic polynomials over consecutive indices
More informationRepresented Value Sets for Integral Binary Quadratic Forms and Lattices
Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 2007 Represented Value Sets for Integral Binary Quadratic Forms and Lattices A. G. Earnest Southern Illinois
More informationSome new representation problems involving primes
A talk given at Hong Kong Univ. (May 3, 2013) and 2013 ECNU q-series Workshop (Shanghai, July 30) Some new representation problems involving primes Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.
More informationINFINITELY MANY CONGRUENCES FOR BROKEN 2 DIAMOND PARTITIONS MODULO 3
INFINITELY MANY CONGRUENCES FOR BROKEN 2 DIAMOND PARTITIONS MODULO 3 SILVIU RADU AND JAMES A. SELLERS Abstract. In 2007, Andrews and Paule introduced the family of functions k n) which enumerate the number
More information