Guide To Courses - Part II
Guide To Courses - Part II
2024-25
GUIDE TO COURSES
IN PART II
This Guide to Courses is intended to supplement the more formal descriptions contained
in the booklet Schedules of Lecture Courses and Form of Examinations.
These and other Faculty documents for students taking the Mathematical Tripos are
available from the undergraduate pages on the Faculty’s website at https://www.maths.
cam.ac.uk/undergrad/
2 Structure of Part II
The structure of Part II may be summarised as follows:
There are two types of lecture courses, labelled C and D. C-courses are all 24 lectures, D-courses
may be 16 or 24 lectures. This year there are 10 C-courses and 27 D-courses. There is in addition
a Computational Projects course (CATAM).
C-courses are intended to be straightforward, whereas D-courses are intended to be more challeng-
ing.
There is no restriction on the number or type of courses you may present for examination.
The examination consists of four papers, with questions on the courses spread as evenly as possible
over the four papers subject to:
◦ each C-course having four Section I (‘short’) questions and two Section II (‘long’) questions;
◦ each 24-lecture D-course having no Section I questions and four Section II questions;
◦ each 16-lecture D-course having no Section I questions and three Section II questions.
Only six questions from Section I may be attempted on each paper.
Each Section I question is marked out of 10 with one beta quality mark, while each Section II
question is marked out of 20 with one quality mark, alpha or beta. Thus each C-course and 24-
lecture D-course carries 80 marks and a number of quality marks, while each 16-lecture D-course
carries 60 marks and a number of quality marks. The Computational Projects course carries 150
marks and no quality marks.
1
3 Distribution of Questions on the Examination Papers
The distribution of Section II (‘long’) questions on the examination papers is as follows:
Number Theory * *
Topics in Analysis * *
Coding and Cryptography * *
Automata and Formal Languages * *
Statistical Modelling * *
Mathematical Biology * *
Further Complex Methods * *
Classical Dynamics * *
Cosmology * *
Quantum Information and Computation * *
2
4 Informal Description of Courses
C-Courses
Number Theory Michaelmas, 24 lectures
Number Theory is one of the oldest subjects in mathematics and contains some of the most beautiful
results. This course introduces some of these beautiful results, such as a proof of Gauss’s Law of
Quadratic Reciprocity, and a proof that continued fractions give rise to excellent approximations by
rational numbers. The new RSA public codes familiar from Part IA Numbers and Sets have created new
interest in the subject of factorisation and primality testing. This course contains results old and new
on the problems.
On the whole, the methods used are developed from scratch. You can get a better idea of the flavour of
the course by browsing Davenport The Higher Arithmetic CUP, Hardy and Wright An introduction to
the theory of numbers (OUP, 1979) or the excellent Elementary Number Theory by G A and J M Jones.
(Springer 1998).
Prerequisites are in IA Numbers and Sets, including the notions of set, function, relation, product,
partial order, and equivalence relation. Elementary notions of graph and tree will also be introduced.
The recommended text is Automata and Computability by D. C. Kozen (Springer, 1997).
3
Topics in Analysis Lent, 24 lectures
Some students find the basic courses in Analysis in the first two years difficult and unattractive. This is
a pity because there are some delightful ideas and beautiful results to be found in relatively elementary
Analysis. This course represents an opportunity to learn about some of these. There are no formal
prerequisites: concepts from earlier courses will be explained again in detail when and where they are
needed. Those who have not hitherto enjoyed Analysis should find this course an agreeable revelation.
4
Mathematical Biology Lent, 24 lectures
The aim of the course is to explain from a mathematical point of view some underlying principles of
biology, ranging from biochemistry and gene regulation to population dynamics and spread of infectious
disease. In particular we examine mechanisms for feedback control, sensitivity amplification, oscillations,
developmental instabilities, pattern-formation, competitive growth, and predator-pray interactions.
The material should be of interest to anyone who is fascinated by the richness of biological dynamics,
but has been discouraged by too detail-oriented biological explanations. Mathematical methods include
basic stochastic theory, nonlinear dynamics, differential equations, and numerical analysis. The concepts
and techniques are not very difficult, and intuitive guiding principles and illustrative examples will be
favoured over rigorous proofs. This is an exciting field with large unexplored territories for applied
mathematicians.
While this course fits well with Dynamical Systems and there are places where understanding in one
course will help the other, it is not essential and this course does not rely on any other Part II course,
assuming concepts only from Part IA (Differential Equations and Probability) and IB (Methods).
5
D-Courses
Graph Theory Michaelmas, 24 lectures
Discrete mathematics is commonplace in modern mathematics, both in theory and in practice. This
course provides an introduction to working with discrete structures by concentrating on the most ac-
cessible examples, namely graphs. After a discussion of basic notions such as connectivity (Menger’s
theorem) and matchings (Hall’s marriage theorem), the course develops in more detail the theory of
extremal graphs, ideas of graph colouring, and the beautiful theorem of Ramsey. A significant feature is
the introduction of probabilistic methods for tackling discrete problems, an approach which is of great
importance in the modern theory.
There are no formal prerequisites but it will be helpful to recall some of the elementary definitions from
the Part IA Probability course. The attractions and drawbacks of Graph Theory are similar to those
of that course and of the Part IA Numbers and Sets course; whilst the notions are not conceptually
difficult, the problems might on occasion require you to think a little.
The text Modern Graph Theory by Bollobás is an excellent source and contains more than is needed for
the course. For a lighter introduction try Wilson’s Introduction to Graph Theory, or for a little more
look at Bondy and Murty’s old but now online Graph Theory with Applications.
6
Galois Theory Michaelmas, 24 lectures
The most famous application of Galois theory – discussed at the end of this course – is the proof that
the general quintic equation with rational coefficients cannot be solved by radicals. Apart from this,
Galois theory plays an indispensable role in algebraic number theory and several other areas of pure
mathematics. It is a subject which (in favourable circumstances) allows one to handle given polynomials
elegantly and with a minimum of algebraic manipulation.
Familiarity with the material concerning field extensions and the polynomial ring K[t] from Part IB
Groups, Rings and Modules is essential, while Part IB Linear Algebra is useful. The most closely related
Part II courses are Representation Theory and Number Fields. The book Galois Theory by I. Stewart
(Chapman and Hall, 1989) gives a very readable introduction to the subject.
7
Algebraic Geometry Lent, 24 lectures
Algebraic geometry is a branch of mathematics which, as the name suggests, combines techniques of
abstract algebra, especially commutative algebra, with the language and the problematics of geometry.
It occupies a central place in modern mathematics and has multiple conceptual connections with such
diverse fields as complex analysis, topology and number theory. Initially a study of polynomial equations
in many variables, the subject of algebraic geometry starts where equation solving leaves off, and it
becomes at least as important to understand the totality of solutions of a system of equations, as to
find some solution; this does lead into some of the deepest waters in the whole of mathematics, both
conceptually and in terms of technique.
This course is an introduction to the basic ideas of algebraic geometry (affine and projective spaces,
varieties), followed by a more detailed study of algebraic curves. We will develop the basic tools for
understanding the properties of algebraic curves, and apply these at the end of the course to the beautiful
theory of elliptic curves, which among other things played an essential part in the proof of Fermat’s Last
Theorem! You will find it highly advantageous to have attended the Part IB course Groups, Rings and
Modules. Part II courses with which this course is related include Galois Theory, Differential Geometry,
and Algebraic Topology. Students wishing to do some preliminary reading could browse the books of
Reid or Kirwan noted in the schedules.
8
Logic and Set Theory Lent, 24 lectures
The aim of this course is twofold: to provide you with an understanding of the logical underpinnings
of the pure mathematics you have studied in the last two years, and to investigate to what extent, if
any, the ‘universe of sets’ can be considered as a structure in its own right. As such, it has few formal
prerequisites: some familiarity with naive set theory, as provided by the IA Numbers and Sets course,
is helpful, but no previous knowledge of logic is assumed. On the other hand, the course has links to
almost all of pure mathematics, and examples will be drawn from a wide range of subjects to illustrate
the basic ideas.
The course falls into three main parts. One part develops the notions of validity and provability in formal
logic, culminating in the Completeness Theorem, which asserts that these two notions coincide. Another
part is concerned with ordinals and cardinals: these are notions that generalise the ideas of size and
counting to the infinite. The final part is an introduction to formal set theory, where one makes precise
the idea of a ‘universe of sets’, and studies its structure.
The book ‘Notes on Logic and Set Theory’ by P.T. Johnstone (C.U.P., 1987) covers most of the material
of the course, and is suitable for preliminary reading.
9
Principles of Statistics Michaelmas, 24 lectures
In Part IB Statistics, an introduction to the main statistical problems and inference techniques was given,
including parameter estimation, hypothesis testing and the construction of confidence sets in a variety
of examples, including specific families of distributions and models. The Principles of Statistics course
aims to give a unified perspective on these problems, and develops the main mathematical theory that
underpins these basic principles of statistical inference.
The first pillar will be the inferential paradigm surrounding the likelihood function of the observations,
and the associated maximum likelihood estimator, providing a conceptually unified and in most situations
also practical solution to the problem of statistical inference. The distribution of this estimator will be
shown to have a universal limiting normal distribution, permitting the use of the estimator for statistical
inference. A generalisation of the Gauss–Markov theorem from the linear model can be proved for this
estimator, establishing that it is in a certain sense the best among all estimators. Related to the likelihood
principle, but in other respects fundamentally different, is the Bayesian approach to statistical inference.
This approach, likewise, will be developed for general families of parametric statistical models.
The study of the notion of optimality of certain statistical procedures from a general perspective is known
as statistical decision theory, of which the main ideas will be presented in the course. The course will also
develop the main ideas of some related classical fields in statistics that are crucial in applications, such
as inference methods for multivariate data, nonparametric techniques, and resampling (Monte Carlo)
procedures.
10
Mathematics of Machine Learning Lent, 16 lectures
Suppose we are given a collection of emails labelled as either being spam or legitimate (known as ham).
With this data, we aim to build an algorithm to annotate new unlabelled emails as spam or ham. This
is known as a classification problem and is a central problem studied in Machine Learning, a field whose
broader remit, like Statistics, is about how to learn from data. The focus of this course is the classification
problem, other instances of which include predicting whether or not patients have a particular disease
based on their medical history, or predicting whether a user will click an internet advertisement or not
(a problem of great interest to search engines).
The first part of the course will deal with the theory of empirical risk minimization (ERM), a simple
but powerful general strategy for building classification algorithms. We will work with a mathematical
framework where each data instance (i.e. each email and label pair in the case of our first example)
is viewed as a realisation of random elements, all sharing the same distribution. Studying ERM in
this context will require us to develop important probabilistic tools, so-called concentration inequalities.
Part IA Probability is a necessary prerequisite and in practice it is also advisable to have attended
Part IB Statistics. The results we will derive were essentially state-of-the-art until the late 1990’s and
early 2000’s; despite being suboptimal in some cases, studying them is a useful starting point for more
sophisticated results.
The second part of the course studies computational aspects of ERM, building on parts of the IB
Optimisation course (relevant material will be reviewed in the course). In particular, we will introduce
stochastic gradient descent, which is now the most popular optimisation strategy for machine learning
problems and currently the centre of a great deal of research. The last part of the course will illustrate
some of the concepts and ideas developed in the earlier parts by studying random forests, boosting and
neural networks, perhaps the three most successful methods in machine learning.
11
Dynamical Systems Michaelmas, 24 lectures
Contrary to the impression that you may have gained, most differential equations can not be solved
explicitly. In many cases, however, a lot can still be said about the solutions. For example, for some
systems of differential equations one can show that every solution converges to an equilibrium, while for
others one can prove that there is a subset of solutions which are equivalent to infinite sequences of coin
tosses (‘chaos’). In this course, we study differential equations which can be written in the form ẋ = v(x)
with x in some (mainly two or three-dimensional) ‘state’ space. We take the “dynamical systems”
viewpoint, concentrating on features which are invariant under coordinate change and time rescaling.
We will find that two-dimensionality imposes severe restrictions though many interesting ‘bifurcations’
are possible: ways that the behaviour of a system ẋ = vµ (x) can change as external parameters µ are
varied. We shall also study nonlinear maps, which can be thought of either as difference equations or
as a way of investigating the stability of periodic solutions of differential equations. We conclude with a
discussion of chaotic behaviour in maps and differential equations, including a treatment of the famous
logistic map. The treatment is ‘applied’ in flavour, with the emphasis on describing phenomena, though
key theorems will be proved when needed.
If you browse P Glendinning Stability, instability and chaos, CUP, 1994 you will be well prepared.
The material contained in this course is relevant to any subject involving a modern treatment of differ-
ential equations. This includes most areas of Theoretical Physics, but usually not at the undergraduate
level.
12
Applications of Quantum Mechanics Lent, 24 lectures
This course develops the ideas and methods introduced in Part IB Quantum Mechanics and Part II
Principles of Quantum Mechanics and uses them to explain how we probe and understand the structure
of atoms and solids. The various material objects that surround us in the everyday world exist as
vast collections of particles (electrons and nuclei) making up atoms, molecules and various crystalline
substances. Quantum mechanics is essential for an understanding of how this happens.
An important tool for probing the structure of matter (finding out where the particles are, how the
electric charge is distributed) is the scattering of a beam of particles of appropriate energy on targets of
interest. The course develops the theory of scattering in a form applicable to both atomic and crystalline
targets.
There are two particularly important aspects of crystalline materials: the elastic vibrations of the atoms
in the crystal matrix and the dynamics of electrons moving through the crystal. In quantum theory the
elastic vibrations are understood as particle-like excitations known as phonons. In travelling through
a crystal both phonons and electrons exhibit a band structure in their permitted energies. The role of
phonons and electrons in condensed matter physics and the significance of this energy band structure is
explained by means of simple but physically significant quantum mechanical models. Energy bands are
used to understand the properties of semiconductors and some simple devices such as the pn junction
are explained.
Some idea of the material of the course can be gained by consulting a book such as Principles of the
Theory of Solids by J. M. Ziman, (CUP, 1972).
13
Integrable Systems Lent, 16 lectures
A soliton was first observed in 1834 by a British experimentalist, J. Scott Russell. It was mathematically
discovered in 1965 by Kruksal and Zabusky, who also introduced this name in order to emphasise the
analogy with particles (‘soli’ for solitary and ‘ton’ for particles).
Solitons appear in a large number of physical circumstances, including fluid mechanics, nonlinear optics,
plasma physics, elasticity, quantum field theory, relativity, biological models and nonlinear networks.
This is a consequence of the fact that a soliton is the realisation of a certain physical coherence which
is natural, at least asymptotically, to a variety of nonlinear phenomena. The mathematical equations
modelling such phenomena are called integrable. There exist many types of integrable equations including
ODEs, PDEs, singular integrodifferential equations, difference equations and cellular automata.
The mathematical structure of integrable equations is incredibly rich. Indeed soliton theory impacts on
many areas of mathematics including analysis, algebraic geometry, differential geometry, group theory
and topology. However, it must be emphasised that the basic concepts of the integrable theory can be
introduced with only minimal mathematical tools. This course will give an introduction to soliton theory
with emphasis on the occurrence of solitons in nonlinear dispersive PDEs.
14
Waves Lent, 24 lectures
Waves occur in almost all physical systems including continuum mechanics, electromagnetic theory and
quantum mechanics. In this course examples will be drawn from fluid and solid mechanics, although
much of the theory has application in other contexts. In the first part of the course sound waves in a gas
are studied (after which you will understand why you can hear the lecturer). Small amplitude acoustic
waves are described by the wave equation (see IB Methods); however at larger amplitudes nonlinear
effects must be included. The change in the governing equations caused by nonlinearity leads to the
formation of shocks, i.e. sonic booms. Applications of the underlying theory to both traffic flow and
blood flow are mentioned.
Linear elastic waves, e.g. seismic waves, split into two types: the faster-travelling compressional waves
(cf. sound waves) and the slower-travelling shear waves. The surface waves that cause most destruction
in an earthquake are also studied.
Not all linear waves have a wavespeed that is independent of wavelength. In such systems it is important
to distinguish the speed of wavecrests from the speed at which energy propagates; indeed, the wavecrests
and energy can propagate in opposite directions. As a consequence, (a) if you throw a stone into a
pond to generate a circular wave packet, you will see that the wavecrests propagate outward through the
wave packet and disappear, and (b) atmospheric waves generated near ground level can appear to the
eye as if they are propagating down from the heavens! Finally, the ray tracing equations are derived.
These are used to describe, inter alia, why you can go surfing (i.e. why waves tend to approach a beach
◦
perpendicularly), why the wave pattern behind a ship (or a duck) subtends a half-angle of 19 21 , and
why sound can travel long distances at night.
The mathematical techniques assumed are those covered in the IA and IB Methods courses. While the
course is otherwise self-contained, there is a small amount of complementary material in Asymptotic
Methods, Electrodynamics, and Fluid Dynamics.
A good book to look at is Wind waves: their generation and propagation on the ocean surface by B.
Kinsman (Prentice-Hall).
15