Small Zeros of Quadratic Forms Mod P m
|
|
- Raymond Logan
- 5 years ago
- Views:
Transcription
1 International Mathematical Forum, Vol. 8, 2013, no. 8, Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal Code: 45142, Saudi Arabia aalhakami@jazanu.edu.sa Abstract. Let Q(x) Q(x 1,x 2,..., x n ) be a quadratic form over Z, be an odd rime, and Δ ( ( 1) n/2 det A Q / ). A solution of the congruence Q(x) 0 (mod m ) is said to be a rimitive solution if x i for some i. We rove that if this congruence has a rimitive solution then it has a rimitive solution with x max{6 1/n m[(1/2)+(1/n)], 2 2(n+1)/(n 2) 3 2/(n 2) }. Mathematics Subject Classification: 11D79, 11E08, 11H50, 11H55 Keywords: Quadratic forms, congruences, small solutions 1 Introduction Let Q(x) Q(x 1,x 2,..., x n ) 16i6j6n a ijx i x j be a quadratic form with integer coefficients and be an odd rime. Set x max x i. When n is even we let Δ (Q) ( ( 1) n/2 det A Q / ) if det A Q and Δ (Q) 0if det A Q, where ( /) denotes the Legendre-Jacobi symbol and A Q is the n n defining matrix for Q(x). Q(x) is called nonsingular (mod ) if det A Q. Consider the congruence Q(x) 0 (mod M), (1) where M is a ositive integer. The roblem of finding a small solution of (1) means finding a nonzero integral solution x such that x M δ for some ositive constant δ<1. The constant δ may deend on n, but not on M. Our interest in this aer is in finding a small rimitive solution of (1) in the case where M m, m 2, a solution x with gcd(x 1,..., x n,m)1. A rimitive solution is sought to rule out solutions of the tye y where y satisfies Q(y) 0 (mod ). For the quadratic form Q(x) x x 2 n,it is clear that any nonzero solution x of (1) must satisfy, max x i 1 n M 1/2. Thus δ 1/2 is the best ossible exonent for a small solution in general.
2 358 Ali H. Hakami Schinzel, Schlickewi and Schmidt [15] roved that (1) has a nonzero solution with x <M (1/2)+1/2(n 1) for n 3. Thus for any ε>0 we get a nonzero solution of (1) with x <M (1/2)+ε rovided n is sufficiently large. We note that the solution obtained by their method is not necessarily a rimitive solution. Indeed, when M m, m 2 they use a solution of the tye y with Q(y) 0 (mod ). Dealing with M, an odd rime, Heath-Brown [13] obtained a nonzero solution of (1) with x 1/2 log for n 4. His result was an imrovement on the result of [15] in this case. Wang Yuan [16],[17] and [18] generalized Heath-Brown s work to all finite fields. Cochrane, in a sequence of aers [1], [2] and [3] imroved this to x < max{2 19 1/2, }. An imrovement on Cochrane s result is given by Hakami [7, Theorem 1.3] and [10, Theorem 1] who obtained x < min{ 2/3, /2 }. Hakami [8, Theorem 1] and [9, Theorem 1] resectively, generalized Cochrane s method to find a rimitive solution of (1) with x for n 4 when M 2 and with x 3/2, for n 6 when M 3 where Q(y) is nonsingular (mod ). Final Cochrane and Hakami [6, Theorem 1] roved that x for n>1. For M q a roduct of two distinct rimes, we find Heath-Brown [11] obtained x M (1/2)+ε, for n>4 and ε>0. Later Cochrane [5] sharened this result to x M 1/2, for n>4. Our urose in this aer is to generalize (mod) methods for obtaining a small rimitive solution of Q(x) 0 (mod m ). (2) and more generally of obtaining a rimitive solution in a box B with B sufficiently large. Our main result is the following theorem. Theorem 1.1 For any quadratic form Q(x) with n even, n 4 and any odd rime ower m, m 2, there exists a rimitive solution of (2) with x max{6 1/n m[(1/2)+(1/n)], 2 2(n+1)/(n 2) 3 2/(n 2) }. Theorem 1.1 is an immediate consequence of Corollary 3.1. To rove Theorem 1.1 we shall use finite Fourier series over Z m, the ring of integers (mod m ). 2 Basic Identities and Lemmas Henceforth we shall assume that n is even, is an odd rime, and that Q(x) is a nonsingular quadratic form (mod ). Let e m(α) e 2πiα/m. Let V m
3 Quadratic forms 359 V m(q) be the set of zeros of Q contained in Z n and let m Q (y) be the quadratic form associated with inverse of the matrix for Q (mod ). For y Z n set m e m(x y) for y 0 φ(v m, y) V m m(n 1) for y 0 We abbreviate comlete sums over Z n m and Zn in the manner m x x mod m x 1 1 m x n1,. x mod x 1 1 x n1 The following lemma gives us a formula for φ(v,y). Lemma 2.1 Let n be is even ositive integer. For y Z n, ut y j y in case y. Then where φ(v,y) (mn/2) m j y i foralli δ j jn/2 ω j (y ), δ j { 1 if m j is even, Δ if m j is odd, (3) and 1, Q (y ), ω j (y ) 1, 1 Q (y ), 0, 1 Q (y ). The roof of Lemma 2.1 is given (with some work) in Carlitz [12], and in comlete detail in [11, Theorem 1]. Let α(x) be a comlex valued function defined on Z n with Fourier exansion α(x) y a(y)e m(x y) where a(y) mn x α(x)e m( x y). Then m by definition of φ(v,y),
4 360 Ali H. Hakami a(y) e m(y x) m α(x) a(0) V m + y 0 m a(0) V m + a(y) φ(v,y) y 0 a(0) [ φ(v,0)+ m(n 1)] + a(y) φ(v,y) y 0 a(0) m(n 1) + y a(y) φ(v,y) mn x α(x) m(n 1) + y a(y) φ(v,y). Thus by Lemma 2.1, m α(x) m x m x α(x)+ (mn/2) m y α(x)+ (mn/2) m a(y) δ j jn/2 j y i for all i y j y i for all i δ j jn/2 ω j (y ) a(y) ω j (y ). But by noticing that the inner sum y a(j y ) ω j (y ) can be written y j y i for all i y Q (y ) y Q (y ) a(y) ω j (y ) y (mod ) a( j y ) ( 1) a( j y ) ω j (y ) a( j y ) 1 y 1 Q (y ) y 1 Q (y ) a( j y ) 1 a( j y ), we obtain, Lemma 2.2 (The fundamental identity) For any comlex valued α(x)
5 Quadratic forms 361 as given above α(x) m m + mn/2 jn/2 δ j x (mod m ) j α(x) y i 1 Q (y ) a( j y ) j 1 y i 1 1 Q (y ) a( j y ), where δ j as we defined in (3): δ j 1when m j is even and δ j Δif m j is odd. 3 Proof of Theorem 1.1 when Δ + 1 Let B be the box of oints in Z n given by B {x Z n a i x i <a i + B i, 1 i n}, (4) where a i, B i Z and 1 B i m, 1 i n. Then B n i1 B i, the cardinality of B. View the box B in (4) as a subset of Z n and let α(x) χ B χ m B with Fourier exansion α(y) y a(y)e m(x y). Thus for any y Zn m, a( y) mn n sin 2 πb i y i / m sin 2 πy i / m where the term in the roduct is taken to be m i if y i 0. In articular n { ( ) } a(y) mn min Bi 2 m 2,. 2y i Consider the congruence (2): i1 i1 Q(x) 0 (mod m ). For later reference, we construct the following lemma which hel us on estimating the sum y i 1 a(j y). Lemma 3.1 Let B be any box of tye (4) and α(x) χ B χ B (x). Then we have a( j y) B 2B i jn. y i 1 B i >,
6 362 Ali H. Hakami Proof. First, y i 1 a( j y) y m x i 1 m x i 1 m x i 1 1 m α(x)e m( x j y) 1 mn α(x) y i e m( x j y) 1 α(x) mn m x i 1 x 0 (mod ) m jn y i 1 x i 1 x 0 (mod ) jn 1 jn u B v B u+v 0(mod ) n ] i1 B i ([ Bi e ( x y) mn α(x) ()n α(x) ) +1. (5) To verify the last inequality in (5) we count the number of solutions of the congruence u + v 0 (mod ), with u, v B. In fact for each choice of v, there are at most n i1 ([B i/ ]+ 1) ch-oices u. Thus the total number of solutions is less than or equal to n i1 ([B i/ ] + 1). Hence it follows from (5), 2 y i 1 a(y) jn n i1 We may slit the roduct in (6) such that n ([ ] ) Bi B i +1 i1 Then by this equality we therefore have y i 1 a( j y) B jn B i < B i ([ ] ) Bi B i +1. (6) B i > B i > B i 2B i. ( 2Bi ).
7 Quadratic forms 363 Our roof is comlete. Now we can roceed to estimate the error term in the fundamental identity which is given by Error mn/2 jn/2 δ j j y i 1 Q (y ) a( j y ) j 1 y i 1 1 Q (y ) a( j y ). By Lemma 3.1 we get Error mn/2 jn/2 ϕ(y) a( j y ) y i 1 (7) where Continuing from (7), ϕ(y) { j j 1 if Q (y), j 1 if 1 Q (y). Error mn/2 (jn/2) j B jn mn/2 1 B (jn/2)+j B i > B i > 2B i 2B i. (8) We now restrict our attention to the case where B is cube, that is, B i B, 1 i n. Say j 0 B< j 0+1 for some j 0 N, 1 j 0 <m. Then B m j j 0 j m j 0. Continuing from (8), we get Error mn/2 B 2n B 2 mn/2 j 0 2n 0 1 B (jn/2)+j + 1 nm nj mn/2 B (jn/2)+j j 0 (n/2)j j + mn/2 B 0 1 < 2n B 2 mn/2 [(n/2) 1]() 2+ mn/2 B 2 1 (jn/2)+j
8 364 Ali H. Hakami 2 n+1 B 2 m (n/2)+1 +2 mn/2 B 2n+1 B 2 m+(n/2) 1 +2mn/2 B. Proosition 3.1 Suose that m 2, n 4, neven. Then for any cube B centered at the origin, where α(x) B 2 m Error, Error 2n+1 B 2 +2 mn/2 B. } m+(n/2) 1 }{{}{{} Error 2 Error 1 We comare Error 1 and Error 2 in Proosition 3.1 to the main term B 2 / m. In order to make the left-hand side ositive, we make each error term less than 1/3 of the main term. For the error term Error 1, we need 2 n+1 B 2 < 1 B 2 (n/2) 1 > 3.2 n+1 m+(n/2) 1 3 m For the error term Error 2, >2 2(n+1)/(n 2) 3 2/(n 2). (9) 2 mn/2 B < 1 B 2 B > 3.2 (mn/2)+m 3 m B>6 1/n (m/2)+(m/n). (10) Collecting together the two criteria (9) and (10), we obtain Theorem 3.2 Suose that m 2, n 4, neven. Then for any cube B centered at the origin, if (9), (10) hold, then α(x) 1 B 2 3. m In articular V (B + B) B 3 m.
9 Quadratic forms 365 It remains to rove under the hyothesis of Theorem 3.2, the existence of rimitive solutions of the congruence (1). Recall x is called rimitive if gcd(x 1,..., x n,) 1. We shall write x for imrimitive oints. Thus we have to rove α(x) > α(x). x Corollary 3.1 Suose m 2, n>m, n even, >2 2(n+1)/(n 2) 3 2/(n 2) and B is a cube with B>6 1/n (m/2)+(m/n). Then B + B contains a rimitive solution of (2). Proof. As in the roof of Lemma 3.1 with j m 1, we have x α(x) α(x) < x i, 16i6n n ([ ] Bi B i i1 B n ([ Bi ] +1 < B2n n (1+ B B2n n (1 + ε)n, 1 u B v B u+v 0(mod) ) n ) +1 where ε< [(m/2)+(m/n)]+1. However according to Theorem 3.2 we have, ) n α(x) B 2 3 m. Hence it follows that α(x) -x B 2 3 m x α(x) B 2 3 m B2n n (1 + ε)n > 0, by our hyotheses on the size of. This comletes the roof. References [1] T. Cochrane,Small zeros of quadratic forms modulo, J. Number Theory, 33, no.3 (1989),
10 366 Ali H. Hakami [2] T. Cochrane, Small zeros of quadratic forms modulo, II, Proceedings of the Illinois Number Theory Conference, (1989), Birkhauser, Boston (1990), [3] T. Cochrane, Small zeros of quadratic forms modulo, III, J. Number Theory, 33, no. 1 (1991), [4] T. Cochrane, Small zeros of quadratic congruences modulo q, Mathematika, 37 (1990), no. 2, [5] T. Cochrane, Small zeros of quadratic congruences modulo q, II, J. Number Theory 50 (1995), no. 2, [6] T. Cochrane and A. Hakami, Small zeros of quadratic congruences modulo 2, II, Proceedings of the American Mathematical Society 140 (2012), no.12, [7] A. Hakami, Small zeros of quadratic congruences to a rime ower modulus, PhD thesis, Kansas State University, [8] A. Hakami,Small zeros of quadratic forms modulo 2, JP J. Algera, Number Theory and Alications, 17,no. 2, (2011), [9] A. Hakami, Small zeros of quadratic forms modulo 3, J. Advanvces and Alications in Mathematical Sciences 9 (2011), no. 1, [10] A. Hakami, On Cochrane s estimate for small zeros of quadratic forms modulo, Far East J. Math. Sciences,50 (2011), no. 2, [11] A. Hakami, Weighted quadratic artitions (mod m ), A new formula and new demonstration, Tamaking J. Math., 43, (2012), [12] L. Carlitz, Weighted quadratic artitions (mod r ), Math Zeitschr. Bd, 59, (1953), [13] D.R. Heath-Brown, Small solutions of quadratic congruences, Glasgow Math. J, 27 (1985), [14] D.R. Heath-Brown, Small solutions of quadratic congruences II, Mathematika, 38 (1991), no. 2, [15] A. Schinzel, H.P. Schlickewei and W.M. Schmidt, Small solutions of quadratic congruences and small fractional arts of quadratic forms, Acta Arithmetica, 37 (1980), [16] Y. Wang, On small zeros of quadratic forms over finite fields, Algebraic structures and number theory (Hong Kong, 1988), , World Sci. Publ., Teaneck, NJ, 1990.
11 Quadratic forms 367 [17] Y. Wang, On small zeros of quadratic forms over finite fields, J. Number Theory, 31 (1989) [18] Y. Wang, On small zeros of quadratic forms over finite fields II, A Chinese summary aears in Acta Math. Sinica 37 No.5 (1994), Acta Math. Sinica (N.S.) 9 no.4 (1993), Received: October, 2012
MATH 3240Q Introduction to Number Theory Homework 7
As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More informationON THE SET a x + b g x (mod p) 1 Introduction
PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result
More informationarxiv: v2 [math.nt] 9 Oct 2018
ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
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 informationDiophantine Equations and Congruences
International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,
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 informationOn Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.
On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4
More informationOn the irreducibility of a polynomial associated with the Strong Factorial Conjecture
On the irreducibility of a olynomial associated with the Strong Factorial Conecture Michael Filaseta Mathematics Deartment University of South Carolina Columbia, SC 29208 USA E-mail: filaseta@math.sc.edu
More informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationPARTITIONS AND (2k + 1) CORES. 1. Introduction
PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer we rove several new arity results for broken k-diamond artitions introduced in 2007
More informationApplicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS
Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi
More informationOn the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
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 informationWhen do Fibonacci invertible classes modulo M form a subgroup?
Calhoun: The NPS Institutional Archive DSace Reository Faculty and Researchers Faculty and Researchers Collection 2013 When do Fibonacci invertible classes modulo M form a subgrou? Luca, Florian Annales
More informationLARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS
LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS HELMUT MAIER AND MICHAEL TH. RASSIAS Abstract. We rove a modification as well as an imrovement
More informationWe collect some results that might be covered in a first course in algebraic number theory.
1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationCERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More informationCONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION
CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer, we rove arithmetic roerties modulo 5 7 satisfied by the function odn which denotes the
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More information#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS
#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt
More informationAlmost All Palindromes Are Composite
Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,
More informationA CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, (2002),. 3 7 3 A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO C. COBELI, M. VÂJÂITU and A. ZAHARESCU Abstract. Let be a rime number, J a set of consecutive integers,
More informationA CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN
A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over
More informationOn the Diophantine Equation x 2 = 4q n 4q m + 9
JKAU: Sci., Vol. 1 No. 1, : 135-141 (009 A.D. / 1430 A.H.) On the Diohantine Equation x = 4q n 4q m + 9 Riyadh University for Girls, Riyadh, Saudi Arabia abumuriefah@yahoo.com Abstract. In this aer, we
More informationt s (p). An Introduction
Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationDECIMATIONS OF L-SEQUENCES AND PERMUTATIONS OF EVEN RESIDUES MOD P
DECIMATIONS OF L-SEQUENCES AND PERMUTATIONS OF EVEN RESIDUES MOD P JEAN BOURGAIN, TODD COCHRANE, JENNIFER PAULHUS, AND CHRISTOPHER PINNER Abstract. Goresky and Klaer conjectured that for any rime > 13
More informationMA3H1 TOPICS IN NUMBER THEORY PART III
MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced
More informationON FREIMAN S 2.4-THEOREM
ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationVerifying Two Conjectures on Generalized Elite Primes
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 12 (2009), Article 09.4.7 Verifying Two Conjectures on Generalized Elite Primes Xiaoqin Li 1 Mathematics Deartment Anhui Normal University Wuhu 241000,
More informationJonathan Sondow 209 West 97th Street, New York, New York
#A34 INTEGERS 11 (2011) REDUCING THE ERDŐS-MOSER EQUATION 1 n + 2 n + + k n = (k + 1) n MODULO k AND k 2 Jonathan Sondow 209 West 97th Street, New York, New York jsondow@alumni.rinceton.edu Kieren MacMillan
More informationA construction of bent functions from plateaued functions
A construction of bent functions from lateaued functions Ayça Çeşmelioğlu, Wilfried Meidl Sabancı University, MDBF, Orhanlı, 34956 Tuzla, İstanbul, Turkey. Abstract In this resentation, a technique for
More informationWhen do the Fibonacci invertible classes modulo M form a subgroup?
Annales Mathematicae et Informaticae 41 (2013). 265 270 Proceedings of the 15 th International Conference on Fibonacci Numbers and Their Alications Institute of Mathematics and Informatics, Eszterházy
More information#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS
#A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom
More information#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.
#A6 INTEGERS 15A (015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I Katalin Gyarmati 1 Deartment of Algebra and Number Theory, Eötvös Loránd University and MTA-ELTE Geometric and Algebraic Combinatorics
More informationEötvös Loránd University Faculty of Informatics. Distribution of additive arithmetical functions
Eötvös Loránd University Faculty of Informatics Distribution of additive arithmetical functions Theses of Ph.D. Dissertation by László Germán Suervisor Prof. Dr. Imre Kátai member of the Hungarian Academy
More informationJacobi symbols and application to primality
Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime
More informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More informationPrime-like sequences leading to the construction of normal numbers
Prime-like sequences leading to the construction of normal numbers Jean-Marie De Koninck 1 and Imre Kátai 2 Abstract Given an integer q 2, a q-normal number is an irrational number η such that any reassigned
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More informationGAUSSIAN INTEGERS HUNG HO
GAUSSIAN INTEGERS HUNG HO Abstract. We will investigate the ring of Gaussian integers Z[i] = {a + bi a, b Z}. First we will show that this ring shares an imortant roerty with the ring of integers: every
More informationQuadratic Residues, Quadratic Reciprocity. 2 4 So we may as well start with x 2 a mod p. p 1 1 mod p a 2 ±1 mod p
Lecture 9 Quadratic Residues, Quadratic Recirocity Quadratic Congruence - Consider congruence ax + bx + c 0 mod, with a 0 mod. This can be reduced to x + ax + b 0, if we assume that is odd ( is trivial
More informationMersenne and Fermat Numbers
NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationInfinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally
Infinitely Many Quadratic Diohantine Equations Solvable Everywhere Locally, But Not Solvable Globally R.A. Mollin Abstract We resent an infinite class of integers 2c, which turn out to be Richaud-Degert
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationClass Numbers and Iwasawa Invariants of Certain Totally Real Number Fields
Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon
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 informationOn the smallest point on a diagonal quartic threefold
On the smallest oint on a diagonal quartic threefold Andreas-Stehan Elsenhans and Jörg Jahnel Abstract For the family x = a y +a 2 z +a 3 v + w,,, > 0, of diagonal quartic threefolds, we study the behaviour
More informationON THE LEAST QUADRATIC NON-RESIDUE. 1. Introduction
ON THE LEAST QUADRATIC NON-RESIDUE YUK-KAM LAU AND JIE WU Abstract. We rove that for almost all real rimitive characters χ d of modulus d, the least ositive integer n χd at which χ d takes a value not
More informationThe Fekete Szegő theorem with splitting conditions: Part I
ACTA ARITHMETICA XCIII.2 (2000) The Fekete Szegő theorem with slitting conditions: Part I by Robert Rumely (Athens, GA) A classical theorem of Fekete and Szegő [4] says that if E is a comact set in the
More informationA generalization of Scholz s reciprocity law
Journal de Théorie des Nombres de Bordeaux 19 007, 583 59 A generalization of Scholz s recirocity law ar Mark BUDDEN, Jeremiah EISENMENGER et Jonathan KISH Résumé. Nous donnons une généralisation de la
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationThe Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun
The Fibonacci Quarterly 44006, no., 11-130. PRIMALITY TESTS FOR NUMBERS OF THE FORM k m ± 1 Zhi-Hong Sun eartment of Mathematics, Huaiyin Teachers College, Huaian, Jiangsu 3001, P.R. China E-mail: zhsun@hytc.edu.cn
More informationYOUNESS LAMZOURI H 2. The purpose of this note is to improve the error term in this asymptotic formula. H 2 (log log H) 3 ζ(3) H2 + O
ON THE AVERAGE OF THE NUMBER OF IMAGINARY QUADRATIC FIELDS WITH A GIVEN CLASS NUMBER YOUNESS LAMZOURI Abstract Let Fh be the number of imaginary quadratic fields with class number h In this note we imrove
More informationCongruences modulo 3 for two interesting partitions arising from two theta function identities
Note di Matematica ISSN 113-53, e-issn 1590-093 Note Mat. 3 01 no., 1 7. doi:10.185/i1590093v3n1 Congruences modulo 3 for two interesting artitions arising from two theta function identities Kuwali Das
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More informationAN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES. 1. Introduction
J. Al. Math. & Comuting Vol. 20(2006), No. 1-2,. 485-489 AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES BYEONG-KWEON OH, KIL-CHAN HA AND JANGHEON OH Abstract. In this aer, we slightly
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationSome sophisticated congruences involving Fibonacci numbers
A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei
More informationDIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions
DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS ANG LI Abstract. Dirichlet s theorem states that if q and l are two relatively rime ositive integers, there are infinitely many rimes of the
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More informationf(r) = a d n) d + + a0 = 0
Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.
More informationPractice Final Solutions
Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written
More informationHOMEWORK # 4 MARIA SIMBIRSKY SANDY ROGERS MATTHEW WELSH
HOMEWORK # 4 MARIA SIMBIRSKY SANDY ROGERS MATTHEW WELSH 1. Section 2.1, Problems 5, 8, 28, and 48 Problem. 2.1.5 Write a single congruence that is equivalent to the air of congruences x 1 mod 4 and x 2
More informationPythagorean triples and sums of squares
Pythagorean triles and sums of squares Robin Chaman 16 January 2004 1 Pythagorean triles A Pythagorean trile (x, y, z) is a trile of ositive integers satisfying z 2 + y 2 = z 2. If g = gcd(x, y, z) then
More informationMAT 311 Solutions to Final Exam Practice
MAT 311 Solutions to Final Exam Practice Remark. If you are comfortable with all of the following roblems, you will be very well reared for the midterm. Some of the roblems below are more difficult than
More informationIdempotent Elements in Quaternion Rings over Z p
International Journal of Algebra, Vol. 6, 01, no. 5, 9-5 Idemotent Elements in Quaternion Rings over Z Michael Aristidou American University of Kuwait Deartment of Science and Engineering P.O. Box 333,
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 information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationMarch 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011
International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,
More informationHaar type and Carleson Constants
ariv:0902.955v [math.fa] Feb 2009 Haar tye and Carleson Constants Stefan Geiss October 30, 208 Abstract Paul F.. Müller For a collection E of dyadic intervals, a Banach sace, and,2] we assume the uer l
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationNew weighing matrices and orthogonal designs constructed using two sequences with zero autocorrelation function - a review
University of Wollongong Research Online Faculty of Informatics - Paers (Archive) Faculty of Engineering and Information Sciences 1999 New weighing matrices and orthogonal designs constructed using two
More informationPOINTS ON CONICS MODULO p
POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics
More informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More information6 Binary Quadratic forms
6 Binary Quadratic forms 6.1 Fermat-Euler Theorem A binary quadratic form is an exression of the form f(x,y) = ax 2 +bxy +cy 2 where a,b,c Z. Reresentation of an integer by a binary quadratic form has
More informationResearch Article New Mixed Exponential Sums and Their Application
Hindawi Publishing Cororation Alied Mathematics, Article ID 51053, ages htt://dx.doi.org/10.1155/01/51053 Research Article New Mixed Exonential Sums and Their Alication Yu Zhan 1 and Xiaoxue Li 1 DeartmentofScience,HetaoCollege,Bayannur015000,China
More informationBy Evan Chen OTIS, Internal Use
Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there
More informationAliquot sums of Fibonacci numbers
Aliquot sums of Fibonacci numbers Florian Luca Instituto de Matemáticas Universidad Nacional Autónoma de Méico C.P. 58089, Morelia, Michoacán, Méico fluca@matmor.unam.m Pantelimon Stănică Naval Postgraduate
More informationarxiv:math/ v1 [math.nt] 5 Apr 2006
arxiv:math/0604119v1 [math.nt] 5 Ar 2006 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS R. DE LA BRETÈCHE AND T.D. BROWNING Abstract. Given a suitable arithmetic function h : N R 0, and a binary
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More information