arxiv:math/ v1 [math.nt] 5 Apr 2006
|
|
- Sabina Williamson
- 5 years ago
- Views:
Transcription
1 arxiv:math/ v1 [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 form F Z[x 1,x 2 ], we investigate the average order of h as it ranges over the values taken by F. A general uer bound is obtained for this quantity, in which the deendence uon the coefficients of F is made comletely exlicit. 1. Introduction This aer is concerned with the average order of certain arithmetic functions, as they range over the values taken by binary forms. We shall say that a nonnegative sub-multilicative function h belongs to the class MA, B if there exists a constant A such that h l A l for all rimes and all l N, and there is a function B = Bε such that for any ε > 0 one has hn Bn ε for all n N. Let F Z[x 1,x 2 ] be a non-zero binary form of degree d, such that the discriminant discf is non-zero. Such a form takes the shae Fx 1,x 2 = x d1 1 xd2 2 Gx 1,x 2, 1.1 for integers d 1,d 2 {0,1}, and a non-zero binary form G Z[x 1,x 2 ] of degree d d 1 d 2. Moreover, we may assume that discg 0 and G1,0G0,1 0. Given a function h MA,B and a binary form F as above, the rimary goal of this aer is to bound the size of the sum SX 1,X 2 ;h,f := h Fn 1,n 2, 1 n 2 X 2 1 n 1 X 1 for given X 1,X 2 > 0. For certain choices of h and F it is ossible to rove an asymtotic formula for this quantity. When h = τ is the usual divisor function, for examle, Greaves [3] has shown that there is a constant c F > 0 such that SX,X;τ,F = c F X 2 logx 1+o1, as X, when F is irreducible of degree d = 3. This asymtotic formula has been extended to irreducible quartic forms by Daniel [2]. When d 5 there are no binary forms F for which an asymtotic formula is known for SX,X;τ,F. In order to illustrate the main results in this article, however, we shall derive an uer bound for SX,X;τ,F of the exected order of magnitude. The rimary aim of this work is to rovide general uer bounds for the sum SX 1,X 2 ;h,f, in which the deendence uon the coefficients of the form F is made comletely exlicit. We will henceforth allow the imlied constant in any estimate to deend uon the degree of the olynomial that is under consideration. Any further deendences will be indicated by an aroriate subscrit Mathematics Subject Classification. 11N37 11N32. 1
2 2 R. DE LA BRETÈCHE AND T.D. BROWNING Before introducing our main result, we first need to introduce some more notation. We shall write F for the maximum modulus of the coefficients of a binary integral form F, and we shall say that F is rimitive if the greatest common divisor of its coefficients is 1. These definitions extend in an obvious way to all olynomials with integer coefficients. Given any m N, we set 1 { F m := ϕm # n 1,n 2 0,m] 2 : gcdn 1,n 2,m = 1 Fn 1,n 2 0mod m }, 1.2 where ϕ is the usual Euler totient function. The arithmetic function F is multilicative, and has already layed an imortant role in the work of Daniel [2]. Finally, we define ψn := 1+ 1, 1.3 n and We are now ready to reveal our main result. F := ψ discf. 1.4 Theorem 1. Let h MA,B, δ 0,1 and let X 1,X 2 > 0. Let F Z[x 1,x 2 ] be a non-zero rimitive binary form of the shae 1.1. Then there exist ositive constants c = ca,b and C = CA,B,d,δ such that d< min{x 1,X 2} SX 1,X 2 ;h,f A,B,δ c FX 1 X 2 E for min{x 1,X 2 } Cmax{X 1,X 2 } δd F δ, where F is given by 1.4 and G h 1 E := d ih i=1,2 X i We shall see shortly that the condition > d ensures that G < in 1.5. Our initial motivation for establishing a result of the tye in Theorem 1 arose in a rather different context. It turns out that Theorem 1 lays an imortant role in the authors recent roof of the Manin conjecture for the growth rate of rational oints of bounded height on a certain Iskovskih surface [1]. The recise result that we make use of is the following, which will be established in the subsequent section. Corollary 1. Let h MA,B and let X 1,X 2 > 0. Let F Z[x 1,x 2 ] be a non-zero binary form of the shae 1.1. Then we have h Fn 1,n 2 A,B,ε F ε X 1 X 2 E +max{x 1,X 2 } 1+ε, n 2 X 2 n 1 X 1 for any ε > 0, where E is given by 1.5. An insection of the roof of Corollary 1 reveals that it is ossible to relace the term X 1+ε by XlogX Ad 1, where X = max{x 1,X 2 }. Moreover, it would not be difficult to extend the estimates in Theorem 1 and Corollary 1 to the more general class of arithmetic functions M 1 A,B,ε considered by Nair and Tenenbaum [7]. It is now relatively straightforward to use Theorem 1 to deduce good uer bounds for SX, X; h, F for various well-known multilicative functions h. For examle, on taking h = τ in Theorem 1, and aealing to work of Daniel [2, 7] on the behaviour of the Dirichlet series n=1 F nn s, it is ossible to deduce the following result, which is new for d 5.
3 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 3 Corollary 2. Let F Z[x 1,x 2 ] be an irreducible binary form of degree d. Then we have SX,X;τ,F F X 2 logx. The rimary ingredient in our work is a result due to Nair [6]. Given an arithmetic function h MA,B, and a suitable olynomial f Z[x], Nair investigates the size of the sum TX;h,f := h fn, 1 n X for given X > 0. Nair s work has since been generalised in several directions by Nair and Tenenbaum [7]. In order to resent the version of Nair s result that we shall emloy, we first need to introduce some more notation. Given any olynomial f Z[x] and any m N, let fm := #{nmod m : fn 0mod m}. It is well-known that f is a multilicative function. On recalling the definition 1.2 of G, for any binary form G Z[x 1,x 2 ] and any rime, we may therefore record the equalities { G = Gx,1 if G1,0, 1.6 Gx,1 +1 if G1,0. One may clearly swa the roles of the first and second variables in this exression. It follows from these equalities that G < for any rime > degg, as claimed above. Given a ositive integer d and a rime number, we shall denote by F d the class of olynomials f Z[x] of degree d, which have no reeated roots and do not have as a fixed rime divisor. Note that a olynomial has no reeated roots if and only if its discriminant is non-zero. Moreover, recall that a olynomial f Z[x] is said to have fixed rime divisor if fn for all n Z. It will be convenient to abbreviate fixed rime divisor to fd throughout this aer. When f has degree d and is rimitive, then any fd of f satisfies d. Indeed, there are at most d roots of f modulo. We shall write Fd := F d. We are now ready to reveal the version of Nair s result that we shall emloy. Theorem 2. Let h MA,B, let f Fd and let δ 0,1. Then there exists a constant C = CA,B,d,δ such that TX;h,f A,B,δ X 1 f fmhm, m for X C f δ. X 1 m X A few remarks are in order here. First and foremost this is not quite the main result in [6, 4]. In its resentform, Theorem 2 essentiallyamounts to a secial case of a very general result due to Nair and Tenenbaum [7, Eqn. 2]. Following our convention introduced above, the imlied constant in this estimate is comletely indeendent of the coefficients of f, deending only uon the choices of A,B,δ and d. This uniformity will rove crucial in our deduction of Theorem 1. Theorem 2 is
4 4 R. DE LA BRETÈCHE AND T.D. BROWNING in fact already imlicit in the original work of Nair [6], and is a major ste on the way towards his uer bound TX;h,f A,B,δ,discf X 1 f h f ex, 1.7 X for X C f δ. As indicated, there is now an imlicit deendence uon the discriminant of the olynomial f. This arises in assing from the term hm fm m m to the term ex h f. We take this oortunity to correct an aarent oversight in recent work of Heath-Brown [4]. Here, a secial case of Nair s result is used [4, Lemma 4.1], in which the deendence of the imlied constant uon the olynomial s discriminant does not seem to have been accurately recorded. This leads to roblems in the roof of [4, Lemma 4.2], and in articular the estimation of the sum S 0 m, since the relevant discriminant will now vary with the choice m. Similar remarks aly to the estimation of Sd,d in [4, Lemma 6.1]. The roof of these two estimates can now be easily reaired: the first by aealing to Theorem 2 instead of 1.7, and the second via a straightforward alication of Theorem 1. Acknowledgement. Part of this work was undertaken while the second author was visiting the Université de Paris-Sud, the hositality and financial suort of which is gratefully acknowledged. X 2. Preliminaries We begin this section by establishing Corollary 1. Now it is trivial to see that F ε F ε, since the discriminant of a form can always be bounded in terms of the maximum modulus of its coefficients, and we have ψn 2 ωn ε n ε, for any ε > 0. Moreover, it will suffice to establish the result under the assumtion that F is rimitive. Indeed, if k is a common factor of the coefficients of F, then it may extracted and absorbed into the factor F ε, since hab B,ε a ε hb for h MA,B. Let us take δ = ε in the statement of Theorem 1. Suose first that min{x 1,X 2 } Cmax{X 1,X 2 } dε F ε. Then since E ε X 1 X 2 ε in 1.5, we easily deduce that SX 1,X 2 ;h,f A,B,ε F ε max{x 1,X 2 } 1+ε. This is satisfactory for Corollary 1. In the alternative case, Theorem 1 gives a satisfactory contribution from those n for which n 1 n 2 0. The contribution from n 1 = 0 is h F0,n 2 h F0,1 hn d 2 B,ε F ε X2 1+ε, n 2 X 2 n 2 X 2 since h MA,B, which is also satisfactory. On arguing similarly for the contribution from n 2 = 0, we therefore comlete the roof of Corollary 1. We now collect together the reliminary facts that we shall need in our roof of Theorem 1. Let F Z[x] be a non-zero binary form of degree d. Here, as throughout our work, any boldface lowercase letter x will mean an ordered air x 1,x 2. If
5 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 5 [α 1,β 1 ],...,[α d,β d ] P 1 C are the d roots of F in C, then the discriminant of F is defined to be discf := α i β j α j β i 2. 1 i<j d It will be convenient to record the following well-known result. Lemma 1. Let M GL 2 Z. Then we have discfmx = detm dd 1 discf. Weshallalsorequiregooduerboundsforthequantity f l, foranyrimitive olynomial f Z[x] and any rime ower l. The following result may be found in unublished work of Stefan Daniel, the roof of which we rovide here for the sake of comleteness. Lemma 2. Let d N, let be a rime, and let f Z[x] be a olynomial of degree d such that does not divide all of the coefficients of f. Then we have for any l N. f l min { d l 1,2d 3 1 1/dl}, Proof. The uer bound f l d l 1 is trivial. The second inequality is easy when d = 1, or when divides all of the coefficients of f aart from the constant term, in which case f l = 0. Thus we may roceed under the assumtion that d 2 and does not divide all of the coefficients in the non-constant terms. We have f l = 1 l amod l bmod l e lafb = l j=0 1 j amod j a bmod j e jafb, where e q z = e 2πiz/q, as usual. But then the roof of [8, Theorem 7.1] imlies that each inner sum is bounded by d 3 1 1/dj in modulus, when j 1. Hence l f l 1+d /dj d 3 1 1/dl 1 1 j=1 The result then follows, since d 2 by assumtion. 1 1/d 1. The remainder of this section concerns the class of rimitive olynomials f Z[x] which have a fd. The following result is self-evident. Lemma 3. Let be a rime number and let f Z[x] be a rimitive olynomial which has as a fd. Then there exists an integer e 0 and olynomials q,r Z[x], such that fx = x xqx+rx, 2.1 where qx = e j=0 a jx j for integers 0 a j < such that a e 0. Our next result examinesthe effect ofmaking the changeofvariablesx x+k, for integers 0 k <. Lemma 4. Let be a rime number and let f Z[x] be a rimitive olynomial of the shae 2.1. Then for each 0 k <, there exists ν k Z such that: 1 0 ν k e.
6 6 R. DE LA BRETÈCHE AND T.D. BROWNING 2 f k x = ν k 1 fx+k Z[x] is a rimitive olynomial. 3 Suose that f k has as a fd, and is written in the form 2.1 for suitable olynomials q k,r k. Then e 1 and degq k e +1. Proof. Without loss of generality we may assume that k = 0. Consider the identity fx = x 1 x 1 1qx+rx, and let b j be the j-th coefficient of rx. It is not hard to see that the coefficient of x j+1 in fx/ is equal to a j +1 a j j +b j+1 j+1, 2.2 where we have introduced the convention that a j = 0 for each negative index j. Let ν 0 be the -adic order of the greatest common divisor of the coefficients of the olynomial fx/, and write f 0 x = fx ν0+1. It is clear that f 0 is a rimitive olynomial with integer coefficients. Moreover, if e 0 denotes the smallest index j for which a j 0 in qx, then it is not hard to deduce from 2.2 that ν 0 e 0. In articular we have 0 ν 0 e. This is enough to establish the first two arts of the lemma. It remains to consider the ossibility that f 0 has as a fd. Suose first that ν 0 < e 0. Then f 0 x g 0 x mod, with ν 0 g 0 x = b l l ν0 x l. l=0 If g 0 has as a fd, then one may write it in the form 2.1 for suitable q 0,r 0 Z[x]. But then 0 degq 0 ν 0 < e 0 e, which is satisfactory for the final art of the lemma. Suose now that ν 0 = e 0. Then f 0 x g 0 x mod, with g 0 x = a e0 x e0+1 + e 0 l=0 b l l ν0 x l. Arguing as above, if g 0 has as a fd, then one may write it in the form 2.1 for suitable q 0,r 0 Z[x] such that 0 degq 0 = e 0 +1 e+1. This therefore comletes the roof of Lemma 4. Our final result combines Lemmas 3 and 4 in order to show that there is always a linear change of variables that takes a olynomial with fd into a olynomial which doesn t have as a fd. Lemma 5. Suose that f Z[x] is a rimitive olynomial that takes the shae 2.1 and has non-zero discriminant. Then there exists a non-negative integer δ e, and ositive integers µ 0,...,µ δ with µ 0 + +µ δ e+1 2, 2.3
7 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 7 such that the olynomial g k0,...,k δ x = fδ+1 x+ δ k δ + +k 1 +k 0 µ0+ +µ δ belongs to F d, for any k 0,...,k δ Z [0,. 2.4 Proof. Our argument will be by induction on the degree e of q. We begin by noting that the degree of f is reserved under any linear transformation of the shae x ax+b, rovided that a 0. Similarly, in view of Lemma 1, the discriminant will not vanish under any such transformation. Thus it suffices to show that there exists a non-negative integer δ e, and ositive integers µ 0,...,µ δ, such that 2.3 holds and the olynomial 2.4 has integer coefficients but doesn t have as a fd. Let k 0 be any integer in the range 0 k 0 <. Then it follows from Lemma 4 that there exists ν 0 Z such that 0 ν 0 e and f k0 x = ν0 1 fx+k 0 is a rimitive olynomial with integer coefficients. If e < 1 then the final art of this result imlies that f k0 does not contain as a fd, and so must belong to F d. In this case, therefore, the statement of Lemma 5 holds with δ = 0, µ 0 = ν and g k0 = f k0. This clearly takes care of the inductive base e = 0, since then δ = 0 and µ 0 = 1. Suose now that e 1 and f k0 contains as a fd. Then f k0 can be written in the form 2.1 for suitable olynomials q,r such that degq = e e + 1. We may therefore aly the inductive hyothesis to conclude that there exists a non-negative integer δ e, and ositive integers µ 0,...,µ δ with µ 0 + +µ δ e +1 2, 2.5 such that the olynomial f k0 δ +1 x+ δ k δ + +k 1 +k 0 µ 0 + +µ δ = fδ +2 x+ δ +1 k δ + +k 0 +k 0 µ 0 + +µ δ +ν0+1 belongs to F d, for any k 0,k 0,...,k δ Z [0,. Let δ = δ +1, let k i = k i+1 for i 0, and write µ 0 = ν 0 +1, µ i = µ i 1, for i 1. Then it follows that g k0,...,k δ x F d, in the notation of 2.4, for any k 0,...,k δ Z [0,. Moreover, we clearly have δ e +1 e +2 e, and 2.5 gives µ 0 + +µ δ e e+1 e 2 +e+1 e+1 2. Thus 2.3 also holds, which therefore comletes the roof of Lemma 5. Suose that f Z[x] is a rimitive olynomial that takes the shae 2.1 for some rime, but which does not have q as a fd for any rime q <. Then for any a Z, the linear olynomial δ+1 x+a runs over a comlete set of residue classes modulo q as x does. Thus it follows from the statement of Lemma 5 that g k0,...,k δ q F q d, for any k 0,...,k δ Z [0,, where the intersection is over all rimes q.
8 8 R. DE LA BRETÈCHE AND T.D. BROWNING 3. Proof of Theorem 1 We are now ready to roceed with the roof of Theorem 1. Suose that X 2 X 1 1, and let F Z[x] be a rimitive form of the shae 1.1, Let d = d d 2 and d = d d 1 d 2. We may therefore write Gx = a j x d j 1 x j 2, d j=0 for a j Z such that gcda 0,...,a d = 1 and a 0 a d 0. We begin this section by recording the following easy result. Lemma 6. Let be a rime. Then we have discf for any gcda 0,a 1. Moreover, if d 2 = 1, then we have discf for any a 0. Proof. The first fact follows on observing that the reduction of F modulo has x 2 2 as a factor if gcda 0,a 1. If d 2 = 1, then the same conclusion holds rovided only that a 0. The statement of the lemma is now obvious. We intend to aly Theorem 2, for which we shall fix one of the variables at the outset. Let q m := gcda 0,a 1 m,...,a d m d, for any m N, and define f n2 x := xd1 Gx,n 2 q n2. Then it is clear that f n2 is a rimitive olynomial of degree d with integer coefficients. Moreover, we have SX 1,X 2 ;h,f n d 2 2 q n 2 fn2 n n 2 X 2 h 1 n 1 X 1 h We now want to aly Theorem 2 to estimate the inner sum. For this we must deal with the ossibility that f m contains a fd. Since f m is rimitive of degree d, the only ossible fds are the rimes d. Suose that f m has 1 < < r as fds. We shall combine a reeated alication of Lemma 5 with the observation made at the close of 2. This leads us to the conclusion that there exist non-negative integers δ 1,...,δ r d 2, together with ositive integers m 1,...,m r d 2, such that for any β modulo δ1+1 g β x := f n 2 δ1+1 1 r δr+1 α := δ1+1 1 δr+1 r m1 1 mr r x+β Fd,. It will be convenient to write 1 δr+1 r, γ := m1 1 mr Then it follows from Lemma 1 that αx+β d 1 Gαx+β,n 2 Fαx+β,n2 discg β = disc = disc γq n2 γq n2 n d2 = r. α d n d 2d2 2 γ 2 q 2 n 2 2 d 1 discf. 3.2 Note that α d rd 1 d d2 and γ d rd2 d d3. In articular there are just O1 choices for β modulo α, and hγ B 1.
9 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 9 Our investigation so far has therefore led us to the inequality 1 n 1 X 1 h f n2 n 1 B α βmod α 1 n 1 X 1 h g β n 1, 3.3 in 3.1, with g β Fd. It will now suffice to aly Theorem 2 to estimate the inner sum, which we henceforth denote by UX 1. Note that g β f n2 n d 2 F X2 d F. Hence it follows from Theorem 2 that for any δ 0,1 we have UX A,B,δ X 1 g β X 1 m X gβ mhm, 3.4 m for X A,B,δ X2 δd F δ. In estimating the right hand side of 3.4, we shall find that the result is largely indeendent of the choice of β. To simlify our exosition, therefore, it will be convenient to write g = g β in what follows. We begin by estimating the sum over m that aears in 3.4. On combining the sub-multilicativity of h with the multilicativity of g, we see that 1 m X gmhm m X 1+ gh + g l h l l. 3.5 l 2 We must therefore examine the behaviour of the function g l at various rime owers l. This is a rather classic toic and the facts that we shall use may all be found in the book of Nagell [5], for examle. Now an alication of Lemma 2 reveals that g l min { d l 1,2d 3 1 1/d l }, for any l N, since does not divide all of the coefficients of g. Moreover, it is well-known that g l d, if discg or if l = 1. In view of the fact that h l min{a l,b lε }, for any ε > 0, we therefore deduce that l 1 g l h l l d 1 l d h l l 1 l +2d 3 l>d for any rime discg. When discg we obtain g l h l l d h l l B,ε 21 ε. l 2 l 2 h l 1 1/d l l A,B 1. Now 3.2 imlies that ψ discg ψ αn 2 discf F ψn 2, where ψ is given by 1.3 and F is given by 1.4. Drawing our arguments together, therefore, we have so far shown that there is a constant c 1 = c 1 A,B such that 1 m X gmhm m A,B c1 F ψn 2 c1 d< X discg 1+ gh in 3.5. Suose now that > d > d. Then one has g = fn2. We claim that q n2 rovided that n 2 discf. But this follows immediately from the fact that gcda 0,...,a d = 1. Hence we have g = xd 1Gx,n2 = xd 1Gx,1 = Gx,1 +d 1, 3.6,
10 10 R. DE LA BRETÈCHE AND T.D. BROWNING rovided that > d and n 2 discf. We may therefore conclude that there is a constant c 2 = c 2 A,B > c 1 such that gmhm m 1 m X A,B c2 F ψn 2 c2 1+ Gx,1h d< X X 1+ d 1h. We now turn to the size of the roduct over that aears in 3.4, for which we shall use the relation 3.6 for any rime such that > d and n 2 discf. Thus there is a constant c 3 = c 3 A,B such that Let 1 g X E 1 := d< X 1 1 Gx,1 d< X n 2 discf c3 F ψn 2 c3 1 Gx,1 d< X and set c 4 = c 2 +c 3. Then we have shown that X n 2 discf 1 Gx,1 X 1 X 1+ Gx,1h 1 d 1 UX 1 A,B,δ c4 F ψn 2 c4 X 1 E 1 1 d 1 1 d d 1h in 3.4, rovided that X 1 A,B,δ X δd 2 F δ. This latter inequality holds by the assumtion made in the statement of Theorem 1. Once substituted into 3.1 and 3.3, we may conclude that SX 1,X 2 ;h,f A,B,δ c4 F X 1E 1 V d2 X 2, 3.7, where V d2 X 2 = ψn 2 c4 hn d2 2 q n 2. 1 n 2 X 2 We shall estimate V 0 X 2 and V 1 X 2 with a further alication of Theorem 2. To begin with we note that for any rime we have {, if a0 and a q = 1, 1, if a 0. When 2 a 0 and a 1 it is clear that q has 2 as a factor. Lemma 6 imlies that this can only haen when discf. Suose first that d 2 = 0. Then the arithmetic function n ψn c4 hq n satisfies the conditions of Theorem 2. Alying this result with the olynomial fx = x, as we clearly may, it therefore follows that there is a constant c 5 = c 5 A
11 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 11 such that V 0 X 2 A X 2 X 2 a 0 X 2 A c5 F X 2 A c5 F X X 2 a 0 X 2 X 2 a X 2 a 0 X 2 a X 2 a 0 1+ h 1+ hq X 2 a 0, 1+ h for X 2 A,B 1. Recall the identities 1.6. Then on inserting this bound into 3.7, we therefore obtain the exected bound in Theorem 1 since Gx,1 G 1, and X 2 a 0 1+ h d< X 1 d< X 1 d< X 1 1+ Gx,1h δ d< X 1 1+ G h. Here we have used the elementary fact that there are at most δ 1 rimes such that a 0 and > a δ 0. Let us now turn to the case d 2 = 1. In articular it follows from Lemma 6 that discf when a 0. Now the function n ψn c4 hnq n again verifies the conditions of Theorem 2. Thus we deduce that there exists a constant c 6 = c 6 A such that V 1 X 2 A c6 F X 2 c6 F X 2 X 2 X 2 1 d 2 1 d 2 X 2 a 0 1+ d 2h 1+ d 2h On inserting this into 3.7, we easily derive the desired uer bound. This comletes the roof of Theorem 1 when X 2 X 1 1. The treatment of the case in which X 1 X 2 1 is handled in recisely the same way, by changing the order of summation at the outset. References [1] R. de la Bretèche and T.D. Browning, Manin s conjecture for a certain Iskovskih surface. In rearation, [2] S. Daniel, On the divisor-sum roblem for binary forms. J. Reine Angew. Math , [3] G. Greaves, On the divisor-sum roblem for binary cubic forms. Acta Arith , [4] D.R. Heath-Brown, Linear relations amongst sums of two squares. Number theory and algebraic geometry, , London Math. Soc. Lecture Note Ser. 303 CUP, [5] T. Nagell, Introduction to number theory. 2nd ed., Chelsea, [6] M. Nair, Multilicative functions of olynomial values in short intervals. Acta Arith ,
12 12 R. DE LA BRETÈCHE AND T.D. BROWNING [7] M. Nair and G. Tenenbaum, Short sums of certain arithmetic functions. Acta Math , [8] R.C. Vaughan, The Hardy Littlewood method. 2nd ed., CUP, Université Paris-Sud, Bâtiment 425, Orsay Cedex address: School of Mathematics, University of Bristol, Bristol BS8 1TW address:
An 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 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 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 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 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 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 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 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 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 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 informationOn Erdős and Sárközy s sequences with Property P
Monatsh Math 017 18:565 575 DOI 10.1007/s00605-016-0995-9 On Erdős and Sárközy s sequences with Proerty P Christian Elsholtz 1 Stefan Planitzer 1 Received: 7 November 015 / Acceted: 7 October 016 / Published
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 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 informationPRIME NUMBERS YANKI LEKILI
PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers:,2,..., These are constructed using Peano axioms. We will not get into the hilosohical questions related to this and simly assume the
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 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 informationRAMANUJAN-NAGELL CUBICS
RAMANUJAN-NAGELL CUBICS MARK BAUER AND MICHAEL A. BENNETT ABSTRACT. A well-nown result of Beuers [3] on the generalized Ramanujan-Nagell equation has, at its heart, a lower bound on the quantity x 2 2
More informationON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES
C O L L O Q U I U M M A T H E M A T I C U M VOL. * 0* NO. * ON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES BY YOUNESS LAMZOURI, M. TIP PHAOVIBUL and ALEXANDRU ZAHARESCU
More informationI(n) = ( ) f g(n) = d n
9 Arithmetic functions Definition 91 A function f : N C is called an arithmetic function Some examles of arithmetic functions include: 1 the identity function In { 1 if n 1, 0 if n > 1; 2 the constant
More informationSmall Zeros of Quadratic Forms Mod P m
International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 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
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 informationMATH 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 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 informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
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 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 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 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 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 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 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 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 informationIMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES
IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists
More informationBEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO
BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO ANDREW GRANVILLE, DANIEL M. KANE, DIMITRIS KOUKOULOPOULOS, AND ROBERT J. LEMKE OLIVER Abstract. We determine for what
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 informationSQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015
SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015 1. Squarefree values of olynomials: History In this section we study the roblem of reresenting square-free integers by integer olynomials.
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 informationJARED DUKER LICHTMAN AND CARL POMERANCE
THE ERDŐS CONJECTURE FOR PRIMITIVE SETS JARED DUKER LICHTMAN AND CARL POMERANCE Abstract. A subset of the integers larger than is rimitive if no member divides another. Erdős roved in 935 that the sum
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 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 informationπ(x) π( x) = x<n x gcd(n,p)=1 The sum can be extended to all n x, except that now the number 1 is included in the sum, so π(x) π( x)+1 = n x
Math 05 notes, week 7 C. Pomerance Sieving An imortant tool in elementary/analytic number theory is sieving. Let s begin with something familiar: the sieve of Ertatosthenes. This is usually introduced
More informationON THE RESIDUE CLASSES OF (n) MODULO t
#A79 INTEGERS 3 (03) ON THE RESIDUE CLASSES OF (n) MODULO t Ping Ngai Chung Deartment of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts briancn@mit.edu Shiyu Li Det of Mathematics,
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 informationTHE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4
THE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4 PAUL POLLACK Abstract For all rimes 5, there is a rime quadratic nonresidue q < with q 3 (mod 4 For all rimes 3, there is a rime
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 informationNumber Theory Naoki Sato
Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO
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 informationarxiv:math/ v2 [math.nt] 21 Oct 2004
SUMS OF THE FORM 1/x k 1 + +1/x k n MODULO A PRIME arxiv:math/0403360v2 [math.nt] 21 Oct 2004 Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu
More informationTAIL OF A MOEBIUS SUM WITH COPRIMALITY CONDITIONS
#A4 INTEGERS 8 (208) TAIL OF A MOEBIUS SUM WITH COPRIMALITY CONDITIONS Akhilesh P. IV Cross Road, CIT Camus,Taramani, Chennai, Tamil Nadu, India akhilesh.clt@gmail.com O. Ramaré 2 CNRS / Institut de Mathématiques
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
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 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 informationOn the Square-free Numbers in Shifted Primes Zerui Tan The High School Attached to The Hunan Normal University November 29, 204 Abstract For a fixed o
On the Square-free Numbers in Shifted Primes Zerui Tan The High School Attached to The Hunan Normal University, China Advisor : Yongxing Cheng November 29, 204 Page - 504 On the Square-free Numbers in
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 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 informationGaps in Semigroups. Université Pierre et Marie Curie, Paris 6, Equipe Combinatoire - Case 189, 4 Place Jussieu Paris Cedex 05, France.
Gas in Semigrous J.L. Ramírez Alfonsín Université Pierre et Marie Curie, Paris 6, Equie Combinatoire - Case 189, 4 Place Jussieu Paris 755 Cedex 05, France. Abstract In this aer we investigate the behaviour
More information1 Integers and the Euclidean algorithm
1 1 Integers and the Euclidean algorithm Exercise 1.1 Prove, n N : induction on n) 1 3 + 2 3 + + n 3 = (1 + 2 + + n) 2 (use Exercise 1.2 Prove, 2 n 1 is rime n is rime. (The converse is not true, as shown
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 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 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 informationarxiv: v1 [math.nt] 11 Jun 2016
ALMOST-PRIME POLYNOMIALS WITH PRIME ARGUMENTS P-H KAO arxiv:003505v [mathnt Jun 20 Abstract We imrove Irving s method of the double-sieve [8 by using the DHR sieve By extending the uer and lower bound
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 informationThe density of rational points on non-singular hypersurfaces, I
The density of rational points on non-singular hypersurfaces, I T.D. Browning 1 and D.R. Heath-Brown 2 1 School of Mathematics, Bristol University, Bristol BS8 1TW 2 Mathematical Institute,24 29 St. Giles,Oxford
More informationUniversity of Bristol - Explore Bristol Research. Peer reviewed version. Link to published version (if available): 10.
Booker, A. R., & Pomerance, C. (07). Squarefree smooth numbers and Euclidean rime generators. Proceedings of the American Mathematical Society, 45(), 5035-504. htts://doi.org/0.090/roc/3576 Peer reviewed
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 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 informationCongruences and Exponential Sums with the Euler Function
Fields Institute Communications Volume 00, 0000 Congruences and Exonential Sums with the Euler Function William D. Banks Deartment of Mathematics, University of Missouri Columbia, MO 652 USA bbanks@math.missouri.edu
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 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 informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationAsymptotically exact heuristics for prime divisors of the sequence {a k +b k } k=1
arxiv:math/03483v [math.nt] 26 Nov 2003 Asymtotically exact heuristics for rime divisors of the sequence {a k +b k } k= Pieter Moree Abstract Let N (x count the number of rimes x with dividing a k + b
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 informationarxiv: v1 [math.nt] 4 Nov 2015
Wall s Conjecture and the ABC Conjecture George Grell, Wayne Peng August 0, 018 arxiv:1511.0110v1 [math.nt] 4 Nov 015 Abstract We show that the abc conjecture of Masser-Oesterlé-Sziro for number fields
More informationTHE SLIDING-SUM METHOD FOR SHORT EXPONENTIAL SUMS. 1. Introduction
THE SLIDING-SUM METHOD FOR SHORT EXPONENTIAL SUMS ÉTIENNE FOUVRY, EMMANUEL KOWALSKI, AND PHILIPPE MICHEL Abstract. We introduce a method to estimate sums of oscillating functions on finite abelian grous
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 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 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 informationJEAN-MARIE DE KONINCK AND IMRE KÁTAI
BULLETIN OF THE HELLENIC MATHEMATICAL SOCIETY Volume 6, 207 ( 0) ON THE DISTRIBUTION OF THE DIFFERENCE OF SOME ARITHMETIC FUNCTIONS JEAN-MARIE DE KONINCK AND IMRE KÁTAI Abstract. Let ϕ stand for the Euler
More informationarxiv: v2 [math.nt] 26 Dec 2012
ON CONSTANT-MULTIPLE-FREE SETS CONTAINED IN A RANDOM SET OF INTEGERS arxiv:1212.5063v2 [math.nt] 26 Dec 2012 SANG JUNE LEE Astract. For a rational numer r > 1, a set A of ositive integers is called an
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 informationThe Euler Phi Function
The Euler Phi Function 7-3-2006 An arithmetic function takes ositive integers as inuts and roduces real or comlex numbers as oututs. If f is an arithmetic function, the divisor sum Dfn) is the sum of the
More informationarxiv: v4 [math.nt] 11 Oct 2017
POPULAR DIFFERENCES AND GENERALIZED SIDON SETS WENQIANG XU arxiv:1706.05969v4 [math.nt] 11 Oct 2017 Abstract. For a subset A [N], we define the reresentation function r A A(d := #{(a,a A A : d = a a }
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 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 informationARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER
#A43 INTEGERS 17 (2017) ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.edu
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 informationErnie Croot 1. Department of Mathematics, Georgia Institute of Technology, Atlanta, GA Abstract
SUMS OF THE FORM 1/x k 1 + + 1/x k n MODULO A PRIME Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu Abstract Using a sum-roduct result
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 informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.
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 informationCongruences and exponential sums with the sum of aliquot divisors function
Congruences and exonential sums with the sum of aliquot divisors function Sanka Balasuriya Deartment of Comuting Macquarie University Sydney, SW 209, Australia sanka@ics.mq.edu.au William D. Banks Deartment
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 informationMAS 4203 Number Theory. M. Yotov
MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
Ramanuan J. 40(2016, no. 3, 511-533. CONGRUENCES INVOLVING g n (x n ( n 2 ( 2 0 x Zhi-Wei Sun Deartment of Mathematics, Naning University Naning 210093, Peole s Reublic of China zwsun@nu.edu.cn htt://math.nu.edu.cn/
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 informationElementary Number Theory
Elementary Number Theory WISB321 = F.Beukers 2012 Deartment of Mathematics UU ELEMENTARY NUMBER THEORY Frits Beukers Fall semester 2013 Contents 1 Integers and the Euclidean algorithm 4 1.1 Integers................................
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 informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More information