An Estimate For Heilbronn s Exponential Sum
|
|
- Mabel Elizabeth Flowers
- 5 years ago
- Views:
Transcription
1 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 by S(a) = e( an 2 ), n=1 for any integer a corime to. It is imortant to note here that if n n (mod ), then n n (mod 2 ). Thus the summand in S(a) has eriod with resect to n, so that S(a) is a comlete sum to modulus. It was a favourite roblem of Heilbronn, and later of Davenort, to show that S(a) = o() as. Odoni [3] examined sums related to S(a), and showed that they are O( 1/2 ) in a suitable average sense. However his argument fails to give a non-trivial uer bound for an individual value of S(a). Indeed he shows how Weil s aroach leads only to the estimate S(a) = O( 3/2 ), which is worse than the trivial bound! We can now answer Heilbronn s question with the following theorem. Theorem 1 If is a rime and / a then S(a) 11/12, uniformly in a. As a corollary one can handle sums over arbitrary intervals. Corollary If is a rime and / a then / n e( an 2 ) 11/12 log, uniformly in a, for all M and for all N. In articular one sees, by Weyl s criterion, that the numbers n are uniformly distributed modulo 2 for large. 1
2 Since the deduction of the corollary is very straightforward we shall resent it here. We have / n e( an 2 ) = 1 r=1 s=1 1 1 {N + r=1 e( as 2 ) cosec( πr ) } max r e( r(s n) ) s=1 e( as 2 )e(rs ), on using the estimate e( rn { ) N, r, cosec( πr ), / r. Since N and we deduce that / n 1 cosec( πr ) log, r=1 e( an ) (log ) max 2 r s=1 e( as 2 )e(rs ). However, since s s (mod ), we have whence s=1 e( as 2 )e(rs + r)s ) = e((a 2 ), e( as 2 )e(rs ) = S(a + r) 11/12, by Theorem 1. This bound holds uniformly in r, of course, so that the corollary follows. We take this oortunity to record an estimate for a second sum which involves the distribution modulo 2 of n 1 rather than n. For / n we shall set q(n) = n 1 1. This has sometimes been called the Fermat quotient. Our result shows that q(n) is uniformly distributed modulo for 1 n <. 2
3 Theorem 2 For any integer a corime to we have / n uniformly for M, N 1. In articular uniformly for / a. n=1 e( aq(n) ) N 1/2 3/8, 1 e( aq(n) ) 7/8, The roof of Theorem 2 is quite straightforward, and we resent it here. We observe that q(mn) = q(m)n 1 + q(n), whence q(mn) q(m) + q(n) (mod ), for / mn. Thus { 0, n, χ(n) = e( aq(n) ), / n, is a non-rincial character to modulus 2, of order. The sum in Theorem 2 can therefore be written as χ(n), and the required result follows by an estimate of Burgess [1]. (Actually the result stated by Burgess contains a factor k 3/16+ε for characters to modulus k, but it is easy to remove the exonent ε when k = 2.) We now return to Theorem 1, with which we shall be concerned for the remainder of the aer. Our treatment begins with some elementary maniulations of a tye which would have been quite familiar to Heilbronn, which lead to the following result. Lemma 1 Let and write f(x) = X + X2 2 + X X 1 1 ZZ [X], Then there is a value of r for which S r = {k ZZ {0, 1} : f(k) = r}, N r = #S r. S(a) 3/4 N 1/4 r. 3
4 The trivial bound N r leads to the estimate S(a), so that nothing has been lost u to this oint. On the other hand, it is not so clear how any non-trivial estimate for N r may be obtained. It turns out that ideas from the work of Steanov [4] rovide the necessary tool. Steanov was concerned with roving Weil s theorem on the number of oints on a curve over a finite field, rather than bounding the number of zeros of a olynomial in one variable. The method shows strong links with ideas from transcendence theory, where one constructs an auxilliary olynomial which vanishes to high order at the oints of interest. The resemblance between f(x) and the function log(1 X) = X + X2 2 + X Q[[X]] serves as a guide during the argument. To construct the auxilliary olynomial one uses the fact that f satisfies a simle differential equation. This is exressed by the following lemma. Lemma 2 For any ositive integer r there exist olynomials q r (X) and h r (X) in ZZ [X], of degrees at most r + 1 and r 1 resectively, such that {X(1 X)} r ( d dx )r f(x) = q r (X) + (X X)h r (X). In effect the lemma converts f(x), which has large degree, into q r (X), which has small degree. As is usual in transendence roofs, we have also to show that our auxilliary olynomial does not vanish identically. This is accomlished in our case via the observation that f(x) is almost equal to a transcendental function, log(1 X), so that it cannot satisfy an algebraic relation. The following lemma exresses this rincile. Lemma 3 Let F (X, Y ) ZZ [X, Y ] have degree less than A with resect to X, and degree less than B with resect to Y. Then if F does not vanish identically we will have X / F (X, f(x)), roviding only that AB. This result is remarkably shar. Indeed if AB >, the olynomial F will have enough coefficients to ensure that X F (X, f(x)) is ossible. Secifically, one may note that the coefficients of F (X, f(x)) are linear functions of the coefficients of F (X, Y ). To make X F (X, f(x)) we must arrange that such linear functions vanish, and we have AB variables at our disosal. Hence if AB > a suitable olynomial F (X, Y ) can be found. With the hel of Lemmas 2 and 3, Steanov s method enables us to give the following bound for N r. Lemma 4 We have N r = O( 2/3 ) uniformly in r. 4
5 Theorem 1 now follows, via Lemma 1. After the original version of this aer was submitted, the referee kindly ointed out that Lemma 4 aears already in a aer of Mit kin [2]. Indeed Mit kin shows an analogous result for the olynomial as well. f(x) = 1 + X + X2 2! + X3 3! X 1 ( 1)! ZZ [X], 1 Preliminaries In this section we shall rove Lemma 1. We begin by writing so that S(a) = 1 + S 0 (a). Then S 0 (a) 2 = 1 S 0 (a) = e( an 2 ) 1 m,n=1 n=1 e( a(m n ) 2 ). When m n we set m n b (mod ) and m kb, n (k 1)b (mod ), so that b runs over the residues 1,..., 1 modulo and k runs similarly over the residues 2,..., 1. This yields 1 1 S 0 (a) 2 = ( 1) + = ( 1) + k b=1 k=2 e( ab {k (k 1) } 2 ) S(a{k (k 1) }). We now observe that k (k 1) = whence ( 1) l 1 ( )k l 1 f(k) (mod 2 ), l l=1 S 0 (a) 2 = ( 1) + N r S(a(1 r)). r=1 Cauchy s inequality then leads to the estimate S 0 (a) { Nr 2 }{ S(a(1 r)) 2 }. r=1 r=1 5
6 Here r N r is just the number of available integers k, namely 2. Moreover S 0 (a(1 r)) 2 = r=1 1 m,n=1 e( a(m n ) 2 ) r=1 e( ar(n m ) ). The inner sum vanishes unless n m, but this imlies that n m (mod ). Thus S 0 (a(1 r)) 2 = ( 1), so that r=1 Since max N r 1 we deduce that S 0 (a) ( 2)( 1) max N r. r S(a) 1 + 1/2 + 3/4 (max r as required for Lemma 1. 2 Steanov s Method N r ) 1/4 3/4 (max N r ) 1/4, r We shall begin by taking a olynomial Φ(X, Y, Z) ZZ [X, Y, Z], for which deg X Φ < A, deg Y Φ < B, deg Z Φ < C. The underlying idea is to arrange that the olynomial Ψ(X) = Φ(X, f(x), X ) has a zero of order at least D, say, at each oint k S r. We will therefore be able to conclude that DN r deg Ψ(X), roviding that Ψ does not vanish identically. We note that deg Ψ (deg X Φ) + (deg f)(deg Y Φ) + (deg X )(deg Z Φ) < A + ( 1)B + C, whence DN r A + (B + C), (1) roviding that Ψ does not vanish. In order for Ψ to have a zero of order at least D at a oint k we need d n Ψ(X) dx n = 0 for n < D. X=k Since k 0, 1 in our alication, this will be equivalent to {X(1 X)} n dn Ψ(X) dx n = 0. (2) X=k 6
7 For any term X a f(x) b X c we have {X(1 X)} n ( d dx )n {X a f(x) b X c } = X c {X(1 X)} n ( d dx )n {X a f(x) b }. We may now aly Leibnitz formula, using Lemma 2 together with the fact that {X(1 X)} g ( d dx )g X a either vanishes (if g > a) or is a olynomial of degree a + g. It follows that {X(1 X)} n ( d dx )n {X a f(x) b } is a linear combination of terms modulo X X, where and ˆq(X)q g1 (X)... q gl (X)f(X) b l 0 l min(b, n), deg q gi (X) g i + 1, (1 i l), deg ˆq(X) = a + n g 1... g l. Since X c X c (mod X X) we can now write {X(1 X)} n ( d dx )n {X a f(x) b X c } 0 β<b with deg P β (X) < A + 2n + C. Hence if P (X; a, b, c, n, r) = P β (X; a, b, c, n)f(x) β (mod X X), 0 β<b P β (X; a, b, c, n)r β we deduce that {X(1 X)} n dn dx n {Xa f(x) b X c } = P (k; a, b, c, n, r) X=k for any k S r. Here we use the observation that k k = 0 for any such k. We now write Φ(X, Y, Z) = a,b,c λ a,b,c X a f(x) b X c 7
8 and P n (X) = a,b,c λ a,b,c P (X; a, b, c, n, r), so that deg P n (X) < A + 2n + C and {X(1 X)} n dn dx n Φ(X, f(x), X ) = P n (k) X=k for any k S r. We shall arrange, by aroriate choice of the coefficients λ a,b,c, that P n (X) vanishes identically for n < D. This will ensure that (2) holds for k S r. Each olynomial P n (X) has at most A + 2n + C A + 2D + C coefficients, which are linear forms in the original λ a,b,c. Thus if D(A + 2D + C) < ABC (3) there will be a set of coefficents λ a,b,c, not all zero, for which the olynomials P n (X) vanish for all n < D. We must now consider whether Φ(X, f(x), X ) can vanish if Φ(X, Y, Z) does not. We shall write Φ(X, Y, Z) = c F c (X, Y )Z c, and take c 0 to be the smallest value of c for which F c (X, Y ) is not identically zero. It follows that Φ(X, f(x), X ) = X c 0 F c (X, f(x))x (c c0), c 0 c<c so that if Φ(X, f(x), X ) is identically zero we must have F c0 (X, f(x)) 0 (mod X ). This will contradict Lemma 3, roviding that AB, (4) as we now assume. Finally we conclude that (1) holds, subject to the conditions (3) and (4). One readily sees that a suitable choice of arameters is A = [ 2/3 ], B = C = [ 1/3 ], D = [ 1 3 2/3 ]. These are satisfactory if is large enough, and then (1) yields N r 2/3 as required for Lemma 4. 8
9 3 Proof of Lemmas 2 and 3 For the roof of Lemma 2 a simle induction argument suffices. For r = 1 we have X(1 X) d dx f(x) = X X, so that we may take q 1 (X) = 0 and h 1 (X) = 1. For the general case we differentiate the formula {X(1 X)} r ( d dx )r f(x) = q r (X) + (X X)h r (X) and multily by X(1 X) to obtain {X(1 X)} r+1 ( d dx )r+1 f(x) + r(1 2X){X(1 X)} r ( d dx )r f(x) = X(1 X)q r(x) X(1 X)h r (X) + (X X)X(1 X)h r(x). This allows us to set and q r+1 (X) = X(1 X)q r(x) X(1 X)h r (X) r(1 2X)q r (X) h r+1 (X) = X(1 X)h r(x) r(1 2X)h r (X). The required bounds for deg q r (X) and deg h r (X) then follow by induction. The roof of Lemma 3 is more difficult. We shall use the following auxilliary result. Lemma 5 Let F (X, Y ) ZZ [X, Y ]. Let deg X F = m 0 and deg Y F = n 1 and suose that m, n <. Then (1 X) m+1 ( d dx )m+1 F (X, f(x)) G(X, f(x)) (mod X 1 m ), for some G(X, Y ) ZZ [X, Y ] with deg X G m and deg Y G = n 1. In articular G does not vanish identically. with To rove this result it will suffice to show that (1 X) m+1 ( d dx )m+1 X a f(x) b G(X, f(x); a, b) (mod X 1 m ), (a m, b n) (5) deg X G(X, Y ; a, b) a, deg Y G(X, Y ; a, b) b 1, and such that the coefficient of X a Y b 1 in G(X, Y ; a, b) is non-zero. 9
10 In order to establish (5) we aly Leibnitz formula, observing that (1 X) k ( d dx )k X a is either identically zero (if k > a) or is a olynomial of degree a, and that (1 X) l ( d dx )l f(x) = (1 X) l ( d dx )l 1 {1 + X X 2 } = (1 X) l ( d 1 dx )l 1 { 1 X + O(X 1 )} for l 1. One can therefore see that = (1 X) l (l 1)! { (1 X) l + O(X l )} = (l 1)! + O(X l ) (6) deg X G(X, Y ; a, b) a, deg Y G(X, Y ; a, b) b, in (5). To check that deg Y G(X, Y ; a, b) b we use Leibnitz formula to write ( d m+1 dx )m+1 X a f(x) b = ( m + 1 )( d k dx )k X a ( d dx )m+1 k f(x) b and ( d dx )m+1 f(x) b = ( m + 1 k k 1,..., k b k 1,...,k b where k k b = m + 1 k and ( m + 1 k k 1,..., k b ) = ){( d dx )k 1 f(x)}... {( d dx )k b f(x)}, (m + 1 k)! k 1!... k b! is a multinomial coefficient. We now see that terms with k > a vanish identically. Moreover, if k a then m + 1 k m + 1 a > 0, so that k i > 0 for some index i. It follows that there will be no term involving f(x) b in (5). Finally we have to examine the coefficient of X a f(x) b 1, which arises in the above formulae from those terms in which recisely one of the k i is non-zero. Since k can be at most a if we are to have a non-zero contribution, we see, using (6), that the required coefficient is b a ( m + 1 k )( 1) k a! (m k)! (a k)! = b(m a)!a! 10 a ( 1) k ( m + 1 k )( m k m a ). (7)
11 It remains to determine whether or not this exression vanishes in ZZ. To this end we consider the exansion 1 X m+1 1 X = (1 X) 1 1 ( 1 X 1)m+1 (1 X) m = m+1 (1 X) 1 + { ( 1) m k ( m )( k 1 X )k }(1 X) m = m ( 1) m k ( m + 1 k )(1 X) m k = m ( 1) m k ( m + 1 m k ) ( 1) j ( m k k j )X j. j=0 Now the sum over k on the right of (7) is just the coefficient of X m a in the final exression above, aart from a factor ( 1) a. Moreover 1 X m+1 1 X = 1 + X Xm so that the coefficient of X m a is just 1. We can therefore conclude that b(m a)!a! a ( 1) k ( m + 1 k )( m k m a ) = ( 1)a b(m a)!a!. Since this is non-zero in ZZ for b, m < the lemma now follows. It remains to derive Lemma 3 from Lemma 5. We shall take a non-zero olynomial F (X, Y ) ZZ [X, Y ] with deg X F = m and deg Y F = n. Using induction on n we shall show that X (m+1)(n+1) / F (X, f(x)) roviding that (m + 1)(n + 1). This clearly suffices for Lemma 3. When n = 0 the result is obvious. Suose now that the result has been roved when n is relaced by n 1. If F is as above but X (m+1)(n+1) F (X, f(x)) then X (m+1)n (1 X) m+1 ( d dx )m+1 F (X, f(x)). In the notation of Lemma 5 this yields X (m+1)n G(X, f(x)), in view of the fact that (m + 1)n (m + 1). Moreover we will have deg X G = m m, and deg Y G = n 1. However we now have X (m +1)n G(X, f(x)), contradicting the induction hyothesis. It therefore follows that X (m+1)(n+1) / F (X, f(x)) as required for the induction ste. This comletes the roof of our assertion, and with it the roof of Lemma 3. 11
12 4 Acknowledgement This aer was reared while the author was a guest of the Mathematics Deartment of Oklahoma State University. Their suort is gratefully acknowledged. References [1] D.A. Burgess, On character sums and L-functions. II., Proc. London Math. Soc. (3), 13 (1963), [2] D.A. Mit kin, An estimate for the number of roots of some comarisons by the Steanov method, Mat. Zametki, 51 (1992), 52-58, 157. (Translated as Math. Notes, 51 (1992), ) [3] R.W.K. Odoni, Trigonometric sums of Heilbronn s tye, Math. Proc. Camb. Phil. Soc., 98 (1985), [4] S.A. Steanov, The number of oints of a hyerellitic curve over a rime field, Izv. Akad. Nauk SSSR Ser. Mat., 33 (1969),
On 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 information2 K. ENTACHER 2 Generalized Haar function systems In the following we x an arbitrary integer base b 2. For the notations and denitions of generalized
BIT 38 :2 (998), 283{292. QUASI-MONTE CARLO METHODS FOR NUMERICAL INTEGRATION OF MULTIVARIATE HAAR SERIES II KARL ENTACHER y Deartment of Mathematics, University of Salzburg, Hellbrunnerstr. 34 A-52 Salzburg,
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: 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 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 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 informationSums of independent random variables
3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where
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 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 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 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 informationOn Wald-Type Optimal Stopping for Brownian Motion
J Al Probab Vol 34, No 1, 1997, (66-73) Prerint Ser No 1, 1994, Math Inst Aarhus On Wald-Tye Otimal Stoing for Brownian Motion S RAVRSN and PSKIR The solution is resented to all otimal stoing roblems of
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 informationOn the Rank of the Elliptic Curve y 2 = x(x p)(x 2)
On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure
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 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 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 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 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 informationCharacteristics of Fibonacci-type Sequences
Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and
More informationA FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE
International Journal of Mathematics & Alications Vol 4, No 1, (June 2011), 77-86 A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE ARPAN SAHA AND KARTHIK C S ABSTRACT: In this aer, we rove a few lemmas
More informationSTRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2
STRONG TYPE INEQUALITIES AND AN ALMOST-ORTHOGONALITY PRINCIPLE FOR FAMILIES OF MAXIMAL OPERATORS ALONG DIRECTIONS IN R 2 ANGELES ALFONSECA Abstract In this aer we rove an almost-orthogonality rincile for
More information#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
#A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:
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 information16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes
Infinite Series 6. Introduction We extend the concet of a finite series, met in section, to the situation in which the number of terms increase without bound. We define what is meant by an infinite series
More informationReal Analysis 1 Fall Homework 3. a n.
eal Analysis Fall 06 Homework 3. Let and consider the measure sace N, P, µ, where µ is counting measure. That is, if N, then µ equals the number of elements in if is finite; µ = otherwise. One usually
More informationPositive decomposition of transfer functions with multiple poles
Positive decomosition of transfer functions with multile oles Béla Nagy 1, Máté Matolcsi 2, and Márta Szilvási 1 Deartment of Analysis, Technical University of Budaest (BME), H-1111, Budaest, Egry J. u.
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 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 informationNOTES. The Primes that Euclid Forgot
NOTES Eite by Sergei Tabachnikov The Primes that Eucli Forgot Paul Pollack an Enrique Treviño Abstract. Let q 2. Suosing that we have efine q j for all ale j ale k, let q k+ be a rime factor of + Q k j
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 generalizing happy numbers to fractional base number systems
On generalizing hay numbers to fractional base number systems Enriue Treviño, Mikita Zhylinski October 17, 018 Abstract Let n be a ositive integer and S (n) be the sum of the suares of its digits. It is
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 information16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes
Infinite Series 6.2 Introduction We extend the concet of a finite series, met in Section 6., to the situation in which the number of terms increase without bound. We define what is meant by an infinite
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 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 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 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 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 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 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 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 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 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 informationTHE DIOPHANTINE EQUATION x 4 +1=Dy 2
MATHEMATICS OF COMPUTATION Volume 66, Number 9, July 997, Pages 347 35 S 005-57897)0085-X THE DIOPHANTINE EQUATION x 4 +=Dy J. H. E. COHN Abstract. An effective method is derived for solving the equation
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 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 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 informationInequalities for finite trigonometric sums. An interplay: with some series related to harmonic numbers
Kouba Journal of Inequalities and Alications 6 6:73 DOI.86/s366-6-- R E S E A R C H Oen Access Inequalities for finite trigonometric sums. An interlay: with some series related to harmonic numbers Omran
More informationCommutators on l. D. Dosev and W. B. Johnson
Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Commutators on l D. Dosev and W. B. Johnson Abstract The oerators on l which are commutators are those not of the form λi
More information19th Bay Area Mathematical Olympiad. Problems and Solutions. February 28, 2017
th Bay Area Mathematical Olymiad February, 07 Problems and Solutions BAMO- and BAMO- are each 5-question essay-roof exams, for middle- and high-school students, resectively. The roblems in each exam are
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 informationTHE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT
THE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT ZANE LI Let e(z) := e 2πiz and for g : [0, ] C and J [0, ], define the extension oerator E J g(x) := g(t)e(tx + t 2 x 2 ) dt. J For a ositive weight ν
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 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 informationDistribution of Matrices with Restricted Entries over Finite Fields
Distribution of Matrices with Restricted Entries over Finite Fields Omran Ahmadi Deartment of Electrical and Comuter Engineering University of Toronto, Toronto, ON M5S 3G4, Canada oahmadid@comm.utoronto.ca
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 informationNUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:
NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two oerations defined on them, addition and multilication,
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 informationON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS
More informationUniformly best wavenumber approximations by spatial central difference operators: An initial investigation
Uniformly best wavenumber aroximations by satial central difference oerators: An initial investigation Vitor Linders and Jan Nordström Abstract A characterisation theorem for best uniform wavenumber aroximations
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 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 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 information