[McGill] [Math.Mcgill] [Back]

189-346 / 377B: Number Theory

Projects




The following gives a list of possible topics for your number theory project. You are also free to come up with your own choice of topic related to the course.

You should choose a project topic, and let me know what it is, before the week of the Spring break at the end of February. To avoid duplications, I will be posting your choices on the web, as they are made. Project topics will be assigned on a first-come, first serve basis: I expect that some of the more popular topics will be chosen first, so it is in your interest to make a fast decision!


The Miller-Rabin primality test: Explain the Miller-Rabin primality test and Miller's analysis of its complexity, based on the (generalized) Riemann hypothesis.

References:
Miller, Gary L. Riemann's hypothesis and tests for primality. Working papers presented at the ACM-SIGACT Symposium on the Theory of Computing (Albuquerque, N.M., 1975). J. Comput. System Sci. 13 (1976), no. 3, 300--317.
Carl Pomerance, Recent developments in primality testing, Mathematical Intelligencer 3, no. 3 (1981) 97-105.


Lenstra's factorization algorithm based on elliptic curves over finite fields.

Reference:
Lenstra, H. W., Jr. Factoring integers with elliptic curves. Ann. of Math. (2) 126 (1987), no. 3, 649--673.


Elliptic curve cryptosystems.
Reference.
Koblitz, Neal. A course in number theory and cryptography. Second edition. Graduate Texts in Mathematics, 114. Springer-Verlag, New York, 1994.


Shor's factorization algorithm based on "quantum computers". Recently a probabilistic algorithm was discovered for factoring integers in polynomial time on a quantum computer, a computing device which uses elementary particles to store information and exploits the peculiar properties of these particles (as described by quantum mechanics) to achieve a fast factorization algorithm. This discovery has caused alot of excitement among number theorists, theoretical computer scientists, and physicists, and represents a remarkable confluence of the three subjects. This would be a good topic for someone who already has some background in physics (and the rudiments of quantum mechanics in particular).

Reference:
Peter Shor, Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer, SIAM Journal on Computing Volume 26, Number 5 pp. 1484-1509.


Dirichlet's Theorem on primes in arithmetic progressions.
Reference.
Serre, J.-P. A course in arithmetic. Translated from the French. Graduate Texts in Mathematics, No. 7. Springer-Verlag, New York-Heidelberg, 1973.


The prime number theorem.
Reference.
Davenport, Harold. Multiplicative number theory. Second edition. Revised by Hugh L. Montgomery. Graduate Texts in Mathematics, 74. Springer-Verlag, New York-Berlin, 1980.


Continued fractions and ergodic theory.
Reference.
Khintchine, A. Ya. Continued fractions. Translated by Peter Wynn. P. Noordhoff, Ltd.,


Euler's calculation of zeta(2k) and its developments.
Reference
Dunham, William. Journey through genius. The great theorems of mathematics. Penguin Books, New York, 1991.

Koblitz, Neal. p-adic numbers, p-adic analysis, and zeta-functions. Second edition. Graduate Texts in Mathematics, 58. Springer-Verlag, New York-Berlin, 1984.

Iwasawa, Kenkichi. Lectures on p-adic L-functions. Annals of Mathematics Studies, No. 74. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1972.


The irrationality of zeta(3).
Reference.
van der Poorten, Alfred. A proof that Euler missed... Apery's proof of the irrationality of zeta(3). An informal report. Math. Intelligencer 1 (1978/79), no. 4, 195--203. Groningen 1963.


The theory of partitions.
Reference.
Andrews, George E. The theory of partitions. Reprint of the 1976 original. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 1998.


Schoof's algorithm for counting the number of points on an elliptic curve over a finite field.
Reference.
Schoof, Rene. Elliptic curves over finite fields and the computation of square roots mod p. Math. Comp. 44 (1985), no. 170, 483--494.


Computing the zeroes of the Riemann zeta-function.
Reference.
Turing, Alan. M. Some calculations of the Riemann zeta-function. Proc. London Math. Soc. (3) 3, (1953). 99--117.

Odlyzko, Andrew M. Analytic computations in number theory. Mathematics of Computation 1943--1993: a half-century of computational mathematics (Vancouver, BC, 1993), 451--463, Proc. Sympos. Appl. Math., 48, Amer. Math. Soc., Providence, RI, 1994.


p-adic numbers.
References.
Koblitz, Neal p-adic numbers, p-adic analysis, and zeta-functions. Second edition. Graduate Texts in Mathematics, 58. Springer-Verlag, New York-Berlin, 1984.

Gouvea, Fernando Q. p-adic numbers. An introduction. Second edition. Universitext. Springer-Verlag, Berlin, 1997.


Cubic and biquadratic reciprocity.
References.
Ireland, Kenneth; Rosen, Michael. A classical introduction to modern number theory. Second edition. Graduate Texts in Mathematics, 84. Springer-Verlag, New York, 1990.


Various proofs of quadratic reciprocity.
References.