Gauss's Circle Problem


 Ambrose Turner
 1 years ago
 Views:
Transcription
1 Joseph Galante Gauss's Circle Problem Senior Thesis in completion of the B.A. Honors in Mathematics University of Rochester 1
2 1.0 Introduction and Description of the Problem Gauss's Circle problem is a simple counting question with surprisingly complex answers. Simply stated, the problem is to count the number of points with integer coordinates which are inside a circle of given radius centered at the origin. ( Lattice Points in a Circle [MW] ) Why is this interesting? Perhaps because the problem is intimately related to the number of ways to express an integer as the sum of two squares. Furthermore due to its geometric description we can use facts from basic geometry and complex analysis as well as number theory to understand the problem more throughly. We may write that the number of lattice points in a circle of radius R as N(R) = πr + E(R), where E(R) is some error term. Our goal in this paper to is to try to understand the error term. This problem is over 100 years old and a large amount of mathematical content has been built up around it, so we will reproduce and employ some of that machinery here. No real new work is being presented, only restatements of past advances which will be presented in a style so that the reader may pursue the theory at his/her leisure in the future. We will start by using counting methods to find the error term exactly in both R and generalized to R n. Then we will look at Gauss's upper bound on the error, Hardy's lower bound, and summarize further historical advances. Finally we will look at the beautiful connection between the Gauss circle problem and the Leibniz sum formula for π/4, but in order to do so, we will have to derive some facts about the connections between prime numbers and the sum of squares formula..0 Using Counting to Find N(R) Exactly We may use simple counting arguments to get an exact solution for N(R) in both R and more generally in R n. [FrGo], [Mit], and [KeSw] use more efficient counting
3 methods and attempt to program (1960's) computers to get numerical results. With today's modern computers, even inefficient implementations outstrip their complex setups, however it is still comforting to know that an exact solution exists..1 Solution in R Look at just the number of integer points in an interval about the origin. Notice that from 0 to R (excluding zero) there are R points and similarly from 0 to R (excluding zero) there are R points, where R denotes the usual greatest integer function. So, counting the origin, there are (.1.1) N 1 (R) = R + 1 points in the interval. Now the trick is simply to realize that the lattice points in the circle are logically arranged in these intervals. At each integer on the x axis inside the circle, there is an interval of radius R x, and from.1.1 we know how to count the number of points in this interval. The x's we are counting will range from R to R. This leads to sum R (.1.) N R = x= R R N 1 R x = R x 1 x= R which will give the exact solution in R. With the exact solution, we can now plot make a plot of the number of points in the circle verse the radius. The jagged curve is N (R), the smooth curve is the the area of the circle. This indicates that the error is not very large compared to the area. Later we will prove that this is so. (.1.3 Numbers of Points verse Radius) 3
4 . Generalized Solution in R n Its not that hard to continue this logic and generalize our formula for higher dimensions. In R n the problem becomes counting the number of points (x 1,..., x n ) with all the x i integers in the n sphere of radius R centered at the origin. However just as in.1 we realize that the points in the n sphere are arranged so that we can count them in (n 1) spheres of radius R x n formula: with x n ranging from R to R. This leads to a recursive R (..1) N n R = N n 1 R x with N 1 (r) = R + 1 x= R Just as in the planar case, we may write N n (R) = V n (R) + E n (R) where V n (R) is the volume of an n sphere of radius R. We will show later the error term does not outstrip the volume term for large values of R. This is interesting because then an approximate solution to this rather unusual looking recursive formula is easily found..3 Other Generalizations One may wonder about other generalizations as well. If we don't assume that the circle is centered at the origin, then our formula for N 1 becomes more complicated as we cannot use the symmetry about zero. The recursive piece of our formula becomes more complicated as well since we must account for how much each (n 1) sphere is shifted with respect to the origin. However such shiftings are insignificant for spheres with a large radius since most of the lattice points will be away from the boundary of the sphere, and shifting will only include or exclude a comparatively small number of points. Notice as well that the only real information we used about the circle was its equation x + y = R. If we have another convex shape which is symmetric about the x axis or y axis, then we can use N 1 and count points recursively again using its formula rather than that of the circle..4 Another Interpretation of N(r) There is another valuable way to think of N(R) which has a very number theoretic interpretation. N(R) is related to the sum of two squares function r(n) which counts the 4
5 number of ways to write an integer n as the sum of the squares of two integers. The first few values for r(n) are 1,4,4,0,4,8,0,0,4,4,8 corresponding to n = 0,1,...,10. How does this relate geometrically? Well the lattice points in the circle have coordinates (i, j) with i, j integers, and since they are in the circle then we must have that i +j R. The function N(R) will count all such points for R. But also for each n < R, r(n) will count the number of points with i +j = n. Adding up all the representations of n for each n < R will count all the lattice points in the circle which is also given by N(R). So then we get the identity for R an integer R (.4.1) N(R) = r n n=0 which we will use later in the paper. It is this relationship which makes the problem interesting to study since we may use concepts relating to area and geometry to get bounds on number theoretic functions and vice versa. 3.0 Gauss's Upper Bound on the Error We will now take a look bounding the error. Specifically wish to find the big O of the error, i.e., that there exists a constant C and an exponent such that for large value R we have E(R) < CR. Gauss found an elementary way to get 1. This proof was presented in [HiCo]. 3.1 Proof that E(r) = O(r) (3.1.1 A graphical representation of the proof) 5
6 Pick R to be sufficiently large. R must be larger than for this to work at all. Let A(R) denote the area of the squares intersecting the boundary of the circle. Then, (3.1.) E R = N R R A R We know that the maximum distance between any two points in the unit square is, hence all the squares intersecting the boundary of the circle are contained in the annulus of width with radii R+ and R. Let B(R) denote the area of the annulus. We have (3.1.3) B(R) = [(R+ ) (R ) ]π = 4 πr By construction we have that A(R) < B(R). So we have shown that E(R) < 4 πr, which is to say that E(R) = O(R). 3. Generalization to R n In n dimensions, we won't get E n (R) = O(R) from this proof style. The best we can get from this method is simply that E n (R) = O(R n 1 ), but this is alright since V n (R) = O(R n ). Once again pick R to be sufficiently large. R must be larger than n for this to work at all. Let A n (R) denote the volume of n cubes intersecting the boundary of the n sphere. Then (3..1) E n (R) = N n (R) V n (R) A n (R) where V n (R) is the volume of an n sphere of radius R. It is known ([MW]) that (3..) V n R = n/ R n n n/ We know that the maximum distance between any two points in the unit n cube is n, hence all the cubes intersecting the boundary of the n sphere are contained in the n 6
7 annulus of width n with radii R+ n and R n. Let B(R) denote the area of the annulus. So we have (3.3.3) B(R) = V n (R+ n) V n (R n) = n/ n n/ R n n R n n = O(R n 1 ) and also by construction we have that A(R) < B(R), so we have that E n (R) = O(R n 1 ) Why is this multidimensional interpretation important? Well recall that in two dimensions N(R) was related to r(k) which counted the number of ways to write an integer k as the sum of two squares. The n dimensional analog of the Gauss Circle Problem will then count the number of ways to write an integer as the sum of n squares. However more interesting phenomenon occurs when we add more squares. There is the so called Lagrange Four Square Theorem which states that every positive integer is the sum of four squares. This theorem is proved in [StSh] and [PM]. So by studying the Gauss Circle Problem in n dimensions we may gain some insight into sums of n squares and vice versa. While this is interesting, from this point forward in the paper, we will restrict ourselves to two dimensions. 4.0 Hardy's Lower Bound on the Error The great Hardy contributed a significant amount to the understanding of Gauss Circle Problem. In his paper On the Expression of a Number as the Sum of Two Squares [Har], he provides a lower bound of ½ on the possible for which E(R) < CR, provides an explicit analytic formula for the error term using Bessel functions, and offers generalizations of the problem to ellipses. We will examine Hardy's proof of the lower bound of ½ in detail, and summarize the last two results. Specifically, we will show that the error is Big Omega of ½, i.e. that there is a constant C and arbitrarily large values of R so that E(R) > CR 1/ is satisfied. 4.1 Useful Facts from Hardy's Other Works Hardy makes use of the following identities which he and Ramanujan had derived in the a paper entitled Dirichlet's Divisor Problem. We shall give them here without proof. 7
8 (4.1.1) e s u v = s u, v u, v Then we can rewrite as 1 s 4 u v 3/ for s = + i with > 0 (4.1.) f(s)= r n e s n = s 1 s r n s 4 n 3/ for s = + i with > 0 Notice that in this form it is easy to see that 4.1. is holomorphic everywhere except at πi k for k a positive integer, where the function has a branch point. We pick the principal branch for our work here. Hardy describes these points as algebraical infinities of order 3/ since when we approach πi k, we can get behavior like 1/x 3/. Hardy introduces the function (4.1.3) g s = n s n e and notes that this function is holomorphic everywhere except at the origin. He notes that at the origin, when 1, g (s) is of the form (4.1.4) s g s and when = 1, g (s) is of the form (4.1.5) log 1/s g 1 s and in both cases the g part is holomorphic at the origin. We also note that g (s) is a multiple branched function, so we must be careful to define which branch we are using. With this initial setup, we may now start to actually do the mathematics needed to get our desired lower bound. Our method of proof will be as follows. First we will define functions made from the f and g defined above which we understand the behavior of. Then we will relate our understanding of these new functions to that of the Gauss circle problem. Specifically we will look at the behavior at the poles. Finally we will show that the asymptotic behavior at the poles forces the error term to behave in the fashion we desire. 8
9 4. The Function F(s) s n (4..1) F(s) = f(s) πg 0 (s) = r n e Note that F(s) is holomorphic everywhere except at πi k for k a positive integer where it has an isolated singularities of the same nature as Also since g (s) is branching, so is F(s) and so we define it only for the principal branch. Now let us analyze the behavior of F when s = + πi k by letting approach 0 from above. The key here is to use identity 4.1. to get (4..) F( + πi k) = i k 1 i k r n i k 4 n 3/ i k n e Now for 0, the first and second terms goto constants, as does the last term. Furthermore, all the terms for which n k will also approach a constant as 0. So this leaves us with: (4..) F( + πi k) ~ i k r k i k 4 k 3/ ~ r k 4 1/ i 3/ 1/ k r k 1/ 3/4 i 1/ 3/ k 1/4 ~ 1/ e 1/4 i r k k 1/4 3/ by expanding, noting that i k 4 k ~4 i k, simplifying, and noting that 3/ grows faster than 1/. 4.3 The Connection to Gauss's Circle Problem We will now begin making connections with the Gauss circle problem. It is worth noting that in Hardy's proof, he uses the substitution x=r, so the equation N(r) = πr + E(r) becomes N( x) = πx+e( x). To avoid this confusion, we will adopt 9
10 Hardy's notation and use for our circle problem description for the rest of section 4. (4.3.1) R(x) = πx + P(x) where P(x) represents the error term. In light of 4.3.1, formula.4.1 relating the circle problem to r(n) becomes n (4.3.) P(n) = R(n) πn = r i n i=1 We now observe the following identity: s n (4.3.3) F(s)= r n e = = n i=1 n 1 s n r i n r i n 1 e i=1 s n P n P n 1 e = P 1 e s 1 P P 1 e s P 3 P e s 3... (remembering P(0)=0) = P 1 e s 1 e s P e s e s 3 P 3 e s 3 e s 4... = P n e s n e s n 1 = P n e s n where n = n n 1 (The rearrangement of terms is justified since the exponential forces absolute convergence.) We now find a clever way to rewrite the delta term by applying the mean value theorem twice. (Note, I'm somewhat convinced that Hardy's analysis left out a constant, so I'll include it in my analysis. However it ultimately doesn't make that much of a difference for what we are using this estimate for.) (4.3.4) n = n n 1 = ' n 1 where 1 is in (0,1) by the Mean Value Theorem (MVT). = ' n ' n ' n 1 = ' n ' ' n 1 by applying the MVT to the last two terms with 1 in (0,1) and in (0, 1 ) 10
11 s n We use n =e to get (4.3.5) e s n = s e s n 1 s e s n n 4 n s e s n 4 n 3/ We now examine the behavior of for s = + πi k for k a positive integer with approaching zero. We get: (4.3.6) e s n = s e s n O n e n n We now introduce the function G(s) and perform and analysis of it near poles and near the origin. n e s (4.3.7) G(s) = P n n where P(n) is the error term from the Gauss circle problem in We combine 4.3.3, 4.3.6, and and get (4.3.8) F(s) = P n e s n = s P n G s O e n n Using the Gauss's upper bound from section 3 to get P(n) / n = 1 / n n e and n n e dn~ 1 1 n as 0, we get ( ) F(s) = s G(s) / + O(1/ ) = s G(s)/ + o( 3/ ) Applying 4.. we find that (4.3.9) G(s) ~ F(s) / s ~ e 3/4 i r k 3/ 3/4 k 11
12 To summarize, gives the behavior for G(s) near s = + πi k for k a positive integer with approaching zero. Now let us look at what happens near the origin, i.e. when s 0. We approach the origin by s = with 0. From we have (4.3.10) e s n = s e s n n O s s n e O n and plugging this back into gives s (4.3.11) F(s) = G s O s P n n s e s n n 3/ e n O s P n e n =sg(s)/ + O(1) since the 0 and the rest of terms in the sum remain fixed. n 3/ In light of the fact that F(s) is holomorphic at the origin, then we may write (4.3.1) G(s) = O(1/s) = o(s 3/ ) where s = with Bounding P(n) We are now in a position to use the bounds we have found above for F(s) and G(s) to bound the behavior of P(n). In this section we complete the proof. We will introduce yet another function, the H function. P n Cn (4.4.1) H(s) = G(s) Cg 1/4 (s) = 1/4 n for some constant C > 0 to be determined. s n e In light of the given information about g (s) from 4.1.4, we may conclude that for approaching zero, we have (4.4.) g 1/4 ( + πi k) = (4.4.3) g 1/4 ( ) ~ π 3/ 3/ s 3/ g 1/4 s = o( 3/ ) 1
13 Then using our knowledge of the behavior of G(s) found in and 4.3.1, we can now understand the behavior of H(s) for approaching zero. Since both have order 3/ we have (4.4.4) H( + πi k) ~ (4.4.5) H( ) ~ C π 3/ e 3/4 i r k 3/ 3/4 k We can now prove our claim by contradiction. Suppose that for all n > N for sufficiently large N, we have that P(n) Cn 1/4 0. Then we have (4.4.6) H( + πi k) = N 1 P n Cn 1/4 O(1) + O(1) n P n Cn 1/4 n=n O(1) H( ) n P n Cn 1/4 n=n n P n Cn 1/4 n e i k n + n=n n e i e k n P n Cn 1/4 n i e k n e n (by our supposition that P(n) Cn 1/4 0) Now we combine the bounds in 4.4.4, 4.4.5, and to get, (4.4.7) e 3/4 i r k 3/ k C 3/ 3/4 or r k (4.4.8) C k 3/4 A similar argument (changing signs and so forth) gives that if we assume that for all n > N for sufficiently large N, we have that P(n) + Cn 1/4 0, then will also follow. We now derive contradictions. If k is so that r(k)=0, then we would have from that H( + πi k) ~ 0 and from we would get that H( ) O(1) as 0, which is a contradiction. 13
14 If k is so that r(k) 0, then we can pick our constant C to get to contradict by picking r k k 3/4 > C > 0. Thus our assumptions are false and we have that P(x) > Cx 1/4 and P(x) < Cx 1/4 or P(x) < Cx 1/4, or P(x) = (x 1/4 ). Rephrased in our original terminology, this says that E(r)= (r 1/ ), and hence we are done. 4.5 Hardy and Ramanujan's Other Findings As alluded to above, Hardy and Ramanujan made some other significant contributions to the Gauss Circle Problem. In section, we found a formula for N(r) using only counting arguments. Hardy however provides an analytic formula for N(r), or in his terminology R(x). Since analytic formulas are valuable, we will provide them here. r n (4.5.1) R(x) = x 1 x J 1 nx for x not an integer n where J 1 is denotes a Bessel function of order one. When x is an integer, we have (4.5.) R(x) = r(0) + r(1) + r() r(x), which is a restatement of.4.1. Hardy also examined what happens when we shift our geometric picture to an ellipse rather than a circle. Rather than having u +v = x, we would have u + uv+ v =x with,, and integers with > 0 and = 4 > 0. In summary, we get the an analogous statement to and (4.5.3) R(x) = x 1 r n x J 1 4 nx n for x not an integer (For x an integer, R(x) can be found using a simple counting arguments and recursive formulas, as done for the circle in section.) 14
15 5.0 Historical Advances in the Error In summary we have for E(R) CR that ½ < < 1. However more improved bounds have been found in the last 100 years. Much focus has been put on reducing the upper bound. Below is a table to summarize the findings so far. Its a testament to the difficulty of problem that after roughly 80 years of work, only an improvement of about has been made upon the upper bound. The newer proofs become rather long (0 pages plus) and make use of some of the more heavy machinery in analysis and number theory. Theta Approx Citation 46/ Huxley / / Cheng / Vinogradov 37/ Littlewood and Walfisz 194 / Sierpinski 1906, van der Corput 193 (5.0.1 Improvements in the upper bound for [MW]) For interest, the author programmed Mathematica to compute E(R) for the first 1000 integers and find the best to the curve R. Mathematica returned = , which fits reasonably well with the values in the table above, considering the small sample size. Below is a scatter plot of the error for the 1000 points sampled, as well as a precise plot of the error for R < 10. (5.0. E(R) versus R, for integer R) 15
16 (5.0.3 E(R) versus radius R) 6.0 r(n) = 4d 1 (n) 4d 3 (n) Next we will examine a valuable statement in number theory which relates the sum of squares function to divisor functions. This key fact will be the starting point of the beautiful identity which we shall prove in section 7. This proof is found Stein and Shakarchi's Complex Analysis in full detail. We will focus only on the number theoretic aspects and leave other statements requiring only complex analysis as lemmas. Our proof will make use of some facts about the Jacobi Theta functions. 6.1 Definitions (6.1.1) r(n) = the number of ways to write n as the sum of two squares of integers (6.1.) d 1 (n) = the number of divisors of n of the form 4k+1 (6.1.3) d 3 (n) = the number of divisors of n of the form 4k+3 (6.1.4) ( ) = e i n n= (6.1.5) C( ) = n= 1 cos n for in the upper half plane for in the upper half plane 6.. A useful identity For q = e πi with in the upper half plane we have (6..1) ( ) = q n 1 q n = n 1 = n = n 1, n ZxZ q n n 1 = r n q n n=0 16
17 since r(n) counts the number of pairs (n 1, n ) in which to write n = n 1 +n. The rearrangement of terms is justified since is in the upper half plane, so e πi < 1 and we have absolute convergence Another useful identity For q = e πi with in the upper half plane we have 1 (6.3.1) C( ) = n= cos n 1 q = = 1 4 n n= q n q n 1 q n Since is in the upper half plane, then q <1 and we have absolute convergence, so 1 q n q = n (6.3.) 4 q n 1 q n q n. Now using the fact that 1 q n =4 q n q 3n 1 q 4 n n 1 1 q =1 q n 1 q 4 n, we have that We use the geometric series expansion 1 1 q = 4 n m=0 q 4 nm to get that (6.3.3) q n 1 q 4 n = m=0 q n 4 m 1 = d 1 k q k, k=1 since d 1 counts the number of factors of the form 4m+1. A similar argument gives that (6.3.4) q 3 n 1 q 4 n = m=0 q n 4 m 3 = d 3 k q k k=1 Putting everything back together, we get for q = e πi with in the upper half plane (6.3.5) C( ) = 1 4 d 1 k d 3 k q k k=1 17
18 6.4 Outline of the proof that ( ) = C( ) Now if we had that ( ) = C( ), then it would follow that (6.4.1) 1 r n q n or (6.4.) r(n) = 4d 1 (n) 4d 3 (n) = 1 4 d 1 k d 3 k q k k=1 So our goal is simple, to show that ( ) = C( ). We will only outline the proof here as it doesn't involve much analysis directly related to the Gauss circle problem. The proof will involve lots of complex analysis and draw from several areas of the subject, so interested readers should consult [StSh]. Step 1) Show that ( ) has the following properties: ( ) ( ) = 1 q n 1 q n 1 for Im( ) > 0 and q = e πi (6.4.3.) ( 1/ ) = i for Im( ) > 0 ( ) (1 1/ ) ~ i ei /4 as Im( ) goes to infinity in the upper half plane Step ) Show that C( ) has the following properties: ( ) C( ) = C( +) (6.4.4.) C( ) = i/ C( 1/ ) ( ) C( ) 1 as Im( ) in the upper half plane ( ) C(1 ) ~ 4 i e i / as Im( ) in the upper half plane Step 3) Prove the theorem that if f is holomorphic in the upper half plane and satisfies i) f( ) = f( +); ii) f( 1/ ) = f( ); and, iii) f( ) is bounded, then f is constant. 18
19 (Note: This proof is rather messy and involves interesting domains and fractional linear transformations.) Step 4) Define the function f = C/ and show that f meets the conditions of the theorem above and conclude that f is constant and that f must be one. Then we are done. Having shown our desired relation, we may now prove an interesting relation of the Gauss circle problem to the Leibniz sum formula for π/ Leibniz Sum Formula for π/4 In this section we connect the fact that r(n) = 4d 1 (n) 4d 3 (n) back to the Gauss circle problem and the Leibniz sum formula for π/4. This proof was originally presented by Hilbert in [HiCo]. Recall the geometric interpretation of N(R) from section.4. N(R) will count the number of points inside the circle of radius R, but this is also the number of ways to write integers less than or equal to R as the sum of two squares of integers. We have found in.4.1 R that N(R) = r n. Now we apply the identity 6.0 to get n=0 (7.0.1) N(R) = or R (7.0.) ¼ ( N(R) 1 ) = R 1 4 d 1 n d 3 n R d 1 n d 3 n We now find an enlightening way to add the terms in first and second sums. The first term is the sum of all the divisors of the form 4k+1 for all numbers n R. So our factors look like 1,5,9,13... and will stop when we reach R. How many times will a given factor appear in the sum? Hilbert notes that each number appears as many times as a factor as there are multiples of it that are less than R. So for example, 1 will appear R times, 5 will appear R /5, 9 will appear R /9, and so on. So then we have that R (7.0.3) d 1 n = R R 5 R 9 R
20 R (7.0.4) d 3 n = R 3 R 7 R 11 R and adding them back together and rearranging we get (7.0.5) ¼ ( N(R) 1 ) = R R 3 R 5 R 7 R 9 R 11 R 13 R Note that our rearrangement is justified since these are only finite sums, since when the denominator of the fraction becomes larger than R, the greatest integer function will become zero, leaving only a finite number of nonzero terms. Now suppose we truncate the sum when the denominator is R, i.e. at the term R /R = R. All terms after that point will be less than R and will have alternating signs and go to zero, so at most the error from the truncation is O(R). (7.0.6) ¼ ( N(R) 1 ) = R R...± R O R 3 If we remove the brackets from the each of the remaining terms, each term can increase in value by at most (1 1/n) < 1, where n is the denominator of that term, and again the terms are alternating and go to zero, so the error is again at most O(R), which gives (7.0.7) ¼ ( N(R) 1 ) = R R 3 R 5 R 7...±R O R Dividing by R gives (7.0.7) 1 N R 1 4 R = ±1/ R O 1/ R 7 Now let R. Then we have that the error O(1/R) goes to zero and the series will converge by the alternating series test. We recognize the series as the Leibniz sum formula for π/4 and get 1 N R 1 (7.0.8) lim = R 4 R 4 or 0
21 N R (7.0.9) lim = R R Although this statement can be derived from facts in section 3, this proof highlights the deep connections of the Gauss circle problem to number theory. 8.0 Conclusion ( N(r)/r π) The Gauss Circle Problem is a deep problem with an easy statement. We showed that ideas as simple as counting lattice points inside a circle have surprisingly deep connections to the sum of squares function and to divisor functions which occur frequently in number theory. We found that a lot of interest is placed in the error term E(R) and that it is known that E(R) has a growth rate somewhere between (R 1/ ) and O(R). Finding the upper bound of O(R) was elementary, but the lower bound involved a good deal of work. Historically people have focused on refining the upper bound and over 100 years of progress have reduced it to only around Lastly, we started a proof connecting the sum of squares functions to divisor functions, and saw that as a beautiful consequence of this statement that we get the Leibniz sum formula for π/4 back out. The curious reader with appropriate background should now be able to consult the following sources for a more through analysis of the problem. 1
22 9.0 Appendix: Works Sited [CiCo] Cilleruello, J. & Cordoba, A. Trigonometric Polynomials and Lattice Points. Proceedings of the American Mathematical Society. Vol No. 4 (Aug. 199) pg [Cil93] Cilleruello, J. "The Distribution of Lattice Points on Circles." J. Number Th. 43, 198 0, [FrGo] Frasier, W & Gotlieb, C. A Calculation of the Number of Lattice Points in the Circle and Sphere. Mathematics of Computation. Vol 16, No 79. (July 196) pg 8 90 [Guy] Guy, R. K. "Gauß's Lattice Point Problem." F1 in Unsolved Problems in Number Theory, nd ed. New York: Springer Verlag, pp , [Har] Hardy, G. H. "On the Expression of a Number as the Sum of Two Squares." Quart. J. Math. 46, 63 83, [HiCo] Hilbert, D. and Cohn Vossen, S. Geometry and the Imagination. New York: Chelsea, pp , [Hux90] Huxley, M. N. "Exponential Sums and Lattice Points." Proc. London Math. Soc. 60, , [Hux93] Huxley, M. N. "Corrigenda: 'Exponential Sums and Lattice Points."' Proc. London Math. Soc. 66, 70, [Hux03] Huxley, M. N. "Exponential Sums and Lattice Points III." Proc. London Math. Soc. 87, , 003. [IwMo]Iwaniec, H & Mozzochi, C.J. On the Divisor and Circle Problems. Journal of Number Theory. 9. pg [KeSw] Keller, H.B. & Swenson, J.R. Experiments on the Lattice Problem of Gauss. Mathematics of Computation. Vol. 17, No. 83. (July 1963) pg 3 30
23 [Mit] Mitchell, W.C. The Number of Lattice Points in a k Dimensional Hypersphere. Mathematics of Computation. Vol. 0. No. 94. (April 1966) pg [MW] Weisstein, E. Mathworld. Gauss's Circle Problem. Sum of Squares Function. Hypersphere. Available Online. [NiZu] Niven, I & Zuckerman, H. Lattice Points in Regions. Proceedings of the American Mathematical Society. Vol 18. No.. (April 1967), pg [PM] PlanetMath.org Proof of Lagrange's Four Square Theorem. Available Online. [Shi] Shiu. P. Counting Sums of Two Squares: The Meissel Lehmer Method. Mathematics of Computation. Vol. 47. No (July 1986). pg [StSh] Stein, E. & Shakarchi, R. Complex Analysis. Princeton Lectures in Analysis. Chp. 10, 003 [Tit34] Titchmarsh, E. C. "The Lattice Points in a Circle." Proc. London Math. Soc. 8, , [Tit35] Titchmarsh, E. C. "Corrigendum. The Lattice Points in a Circle." Proc. London Math. Soc. 38, 555, [Tsa] Tsang. K. Counting Lattice Points in the Sphere. Bull. London Math. Soc. 3 (000) pg [WiAu] Wintner, Aurel. On the Lattice Problem of Gauss. American Journal of Mathematics. Vol. 63, No. 3. (July 1941),
24 Special Thanks: Special thanks to Professor Allan Greenleaf for providing valuable feedback for this thesis topic and reviewing the paper. Special thanks to Matjaz Kranjc, Dan Kneezel, and Megan Walter for making valuable editorial comments about this paper. Special thanks to Diane Cass for helping locate reference materials. Appendix: Notes on Mathematica The author used Mathematica to do a best fit curve to attempt to find an experimental value for error complexity. This notebook is available upon request from the author. 4
WHICH SCORING RULE MAXIMIZES CONDORCET EFFICIENCY? 1. Introduction
WHICH SCORING RULE MAXIMIZES CONDORCET EFFICIENCY? DAVIDE P. CERVONE, WILLIAM V. GEHRLEIN, AND WILLIAM S. ZWICKER Abstract. Consider an election in which each of the n voters casts a vote consisting of
More informationOPRE 6201 : 2. Simplex Method
OPRE 6201 : 2. Simplex Method 1 The Graphical Method: An Example Consider the following linear program: Max 4x 1 +3x 2 Subject to: 2x 1 +3x 2 6 (1) 3x 1 +2x 2 3 (2) 2x 2 5 (3) 2x 1 +x 2 4 (4) x 1, x 2
More informationFoundations of Data Science 1
Foundations of Data Science John Hopcroft Ravindran Kannan Version /4/204 These notes are a first draft of a book being written by Hopcroft and Kannan and in many places are incomplete. However, the notes
More informationHow many numbers there are?
How many numbers there are? RADEK HONZIK Radek Honzik: Charles University, Department of Logic, Celetná 20, Praha 1, 116 42, Czech Republic radek.honzik@ff.cuni.cz Contents 1 What are numbers 2 1.1 Natural
More informationANALYTIC NUMBER THEORY LECTURE NOTES BASED ON DAVENPORT S BOOK
ANALYTIC NUMBER THEORY LECTURE NOTES BASED ON DAVENPORT S BOOK ANDREAS STRÖMBERGSSON These lecture notes follow to a large extent Davenport s book [5], but with things reordered and often expanded. The
More informationTopics in Number Theory, Algebra, and Geometry. Ambar N. Sengupta
Topics in Number Theory, Algebra, and Geometry Ambar N. Sengupta December, 2006 2 Ambar N. Sengupta Contents Introductory Remarks........................... 5 1 Topics in Number Theory 7 1.1 Basic Notions
More informationPrime Number Races. Andrew Granville and Greg Martin. Table 1. The number of primes of the form 4n + 1and4n + 3uptox.
Prime Number Races Andrew Granville and Greg Martin. INTRODUCTION. There s nothing quite like a day at the races...the quickening of the pulse as the starter s pistol sounds, the thrill when your favorite
More informationHow to Use Expert Advice
NICOLÒ CESABIANCHI Università di Milano, Milan, Italy YOAV FREUND AT&T Labs, Florham Park, New Jersey DAVID HAUSSLER AND DAVID P. HELMBOLD University of California, Santa Cruz, Santa Cruz, California
More informationON THE DISTRIBUTION OF SPACINGS BETWEEN ZEROS OF THE ZETA FUNCTION. A. M. Odlyzko AT&T Bell Laboratories Murray Hill, New Jersey ABSTRACT
ON THE DISTRIBUTION OF SPACINGS BETWEEN ZEROS OF THE ZETA FUNCTION A. M. Odlyzko AT&T Bell Laboratories Murray Hill, New Jersey ABSTRACT A numerical study of the distribution of spacings between zeros
More informationThe Set Data Model CHAPTER 7. 7.1 What This Chapter Is About
CHAPTER 7 The Set Data Model The set is the most fundamental data model of mathematics. Every concept in mathematics, from trees to real numbers, is expressible as a special kind of set. In this book,
More informationA Course on Number Theory. Peter J. Cameron
A Course on Number Theory Peter J. Cameron ii Preface These are the notes of the course MTH6128, Number Theory, which I taught at Queen Mary, University of London, in the spring semester of 2009. There
More informationAnalytic Number Theory
Analytic Number Theory Donald J. Newman Springer Graduate Texts in Mathematics 77 Editorial Board S. Axler F.W. Gehring K.A. Ribet Springer New York Berlin Heidelberg Barcelona Hong Kong London Milan Paris
More informationMatthias Beck Gerald Marchesi Dennis Pixton Lucas Sabalka
Matthias Beck Gerald Marchesi Dennis Pixton Lucas Sabalka Version.5 Matthias Beck A First Course in Complex Analysis Version.5 Gerald Marchesi Department of Mathematics Department of Mathematical Sciences
More information1 Sets and Set Notation.
LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most
More informationWhat Is Number Theory?
Chapter 1 What Is Number Theory? Number theory is the study of the set of positive whole numbers 1, 2, 3, 4, 5, 6, 7,..., which are often called the set of natural numbers. We will especially want to study
More informationSet Theory. 2.1 Presenting Sets CHAPTER2
CHAPTER2 Set Theory 2.1 Presenting Sets Certain notions which we all take for granted are harder to define precisely than one might expect. In Taming the Infinite: The Story of Mathematics, Ian Stewart
More informationProgressions for the Common Core State Standards in Mathematics (draft)
Progressions for the Common Core State Standards in Mathematics (draft) cthe Common Core Standards Writing Team July Suggested citation: Common Core Standards Writing Team. (, July ). Progressions for
More informationIf A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C?
Problem 3 If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C? Suggested Questions to ask students about Problem 3 The key to this question
More informationSwitching Algebra and Logic Gates
Chapter 2 Switching Algebra and Logic Gates The word algebra in the title of this chapter should alert you that more mathematics is coming. No doubt, some of you are itching to get on with digital design
More informationSampling 50 Years After Shannon
Sampling 50 Years After Shannon MICHAEL UNSER, FELLOW, IEEE This paper presents an account of the current state of sampling, 50 years after Shannon s formulation of the sampling theorem. The emphasis is
More informationMathematics. Designing High School Mathematics Courses Based on the Common
common core state STANDARDS FOR Mathematics Appendix A: Designing High School Mathematics Courses Based on the Common Core State Standards Overview The (CCSS) for Mathematics are organized by grade level
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationTHE PROBLEM OF finding localized energy solutions
600 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 45, NO. 3, MARCH 1997 Sparse Signal Reconstruction from Limited Data Using FOCUSS: A Reweighted Minimum Norm Algorithm Irina F. Gorodnitsky, Member, IEEE,
More informationIEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 4, APRIL 2006 1289. Compressed Sensing. David L. Donoho, Member, IEEE
IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 4, APRIL 2006 1289 Compressed Sensing David L. Donoho, Member, IEEE Abstract Suppose is an unknown vector in (a digital image or signal); we plan to
More informationRevised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)
Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.
More informationAll of mathematics can be described with sets. This becomes more and
CHAPTER 1 Sets All of mathematics can be described with sets. This becomes more and more apparent the deeper into mathematics you go. It will be apparent in most of your upper level courses, and certainly
More informationA GRAPHTHEORETIC DEFINITION OF A SOCIOMETRIC CLIQUE *
Journal of Mathematical Sociology Gordon and Breach Science Publishers 1973 Vol. 3, pp 113126 Printed in Birkenhead, England A GRAPHTHEORETIC DEFINITION OF A SOCIOMETRIC CLIQUE * RICHARD D. ALBA Columbia
More informationMathematics. Routine Bank
S D C S SAN DIEGO CITY SCHOOLS MIDDLE LEVEL Instruction & Curriculum Mathematics Mathematics Routine Bank Middle Level Routines in Mathematics: Number Sense and Algebraic Thinking page 2 Middle Level Routines
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationAn Introduction to Regression Analysis
The Inaugural Coase Lecture An Introduction to Regression Analysis Alan O. Sykes * Regression analysis is a statistical tool for the investigation of relationships between variables. Usually, the investigator
More information