Year 3 Moduleguide 2223
Year 3 Moduleguide 2223
Year 3 Moduleguide 2223
DEPARTMENT OF MATHEMATICS
GUIDE TO MODULES
THIRD YEAR (BSc/MSci)
2022-2023.
Notes and syllabus details of modules for Mathematics students in their Third Year.
For degree programmes:
G100,
MATHEMATICS (BSc, MSci)
G103
G104 MATHEMATICS WITH A YEAR ABROAD (MSci)
G102 MATHEMATICS WITH MATHEMATICAL COMPUTATION
G125 MATHEMATICS (PURE MATHEMATICS)
MATHEMATICS WITH APPLIED
G1F3
MATHEMATICS/MATHEMATICAL PHYSICS
G1G3 MATHEMATICS WITH STATISTICS
G1GH MATHEMATICS WITH STATISTICS FOR FINANCE
GG31 MATHEMATICS, OPTIMISATION AND STATISTICS
In the 3rd year of your Mathematics programme, you choose from a wide range of elective
modules. There are no compulsory modules, but if you wish to graduate with a specialist
degree title, then you need to choose a certain number of modules related to the
specialism.
You are advised to read these notes carefully and discuss your choice of options with your
Personal Tutor. An ‘Option Fair’ will take place after exams in the Summer Term; this will
include presentations about the modules on offer from the Pure, Statistics and Applied
Mathematics and Mathematical Physics sections of the Department.
Each 3rd year Mathematics module has a credit value of 7.5 ECTS and has a module code
beginning with MATH6. In this guide, we will refer to these as MATH6 modules.
In your 3rd year, you take modules with a total credit value of 60 or 62.5 ECTS. This will
consist of eight 7.5 ECTS modules or seven 7.5 ECTS modules and two 5 ECTS modules. You
must take at least seven MATH6 modules. The remaining ECTS can come from 2nd year
Mathematics electives not taken in year 2 (5 ECTS each), a further MATH6 module (7.5
ECTS), a module from another Department (subject to approval by DUGS) or certain CLCC or
Business School BPES modules (5 ECTS). The DUGS may allow some 3rd year students to
take a small number of 4th year (level 7) Mathematics modules.
Examples
A total credit value of 60 or 62.5 ECTS allows you to take a combination of 7.5 and 5 ECTS
modules in year 3. Some example of possible module combinations include:
At most one of your modules can be from CLCC or BPES; not one of each. You may take two
computing modules.
Lecturers will give advice on suitable books at the start of each module. You should contact
lecturers if you require further details about module content in order to make your choice
of options.
You will be asked to make a preliminary selection of your Mathematics modules before the
start of the academic year. However, except for modules assessed solely by coursework, or
3
modules outside the Department which will have separate registration deadlines, you will
not be committed to your choice of optional modules until the completion of your exam
entry information early in term 2.
CLCC / BPES
Registration for CLCC (Horizons) and Business School (BPES) modules opens in May and the
Mathematics UG Office sends round an email detailing the registration process. At most one
of your modules can be from CLCC or BPES; not one of each. The other 5 ECTS should come
from a year 2 maths option or a computing module.
In Mathematics, any one Horizons module may be taken for credit in Year 3 with the
following exceptions: Language modules and the Change Makers Independent Project may
only be taken for extra-credit. Horizons options are available here:
https://www.imperial.ac.uk/horizons/taking-a-module-for-credit/module-options-by-
department/
https://www.imperial.ac.uk/horizons/enrolment/
https://www.imperial.ac.uk/horizons/module-options/
Some module descriptions are not currently available as they are being updated, but they
will be ready before enrolment opens.
BPES information
for credit in Year 3. If you took one of these modules for i-Explore in year 2 you may not of
course take it again for credit in year 3.
In addition, if you took Corporate Finance Online in year 2 for i-Explore, you may not
register for Finance & Financial Management for credit next year, because of shared content
between these modules. More information on BPES is available here:
https://www.imperial.ac.uk/business-school/programmes/undergraduate-
study/bpes-programme/
4
Each year the Department of Computing makes a small number of its modules available to
'external students' (such as Mathematics students). These modules are usually advertised
towards the start of the new academic year and the Mathematics UG Office will email you
with details when available. Note that assessment for these modules is often at the end of
term, when you will also have other coursework deadlines, so you will need to manage your
workload carefully.
Students wishing to take a 4th year (level 7) module in their 3rd year require permission
from the DUGS. Such requests should not normally be made until close to the start of the
academic year.
Very occasionally the Department allows a student to take a module (other than those
indicated above) from another Department. This requires discussion with, and approval
from, the Mathematics DUGS and the agreement of the other Department. Such requests
should not normally be made until close to the start of the academic year.
If you take 60 ECTS, consisting of 8 modules all of which are worth 7.5 ECTS, then these
modules are weighted equally in the computation of your year 3 total.
If you take 62.5 ECTS, consisting of seven MATH6 modules and two 5 ECTS modules, then
the required 52.5 ECTS of MATH6 modules will still count for 87.5 percent of the year total.
The remaining 12.5 percent of the year total will come from the average of your marks for
the two 5 ECTS modules. This ensures that the weighting on MATH6 modules in the year
total is consistent across all students regardless of whether they are taking 60 or 62.5 ECTS.
For the BSc project MATH60050 to be counted as one of the 'specialist' modules, it must be
on a project related to the specialism.
In Year 3, Academic support is provided through problems classes and office hours/
question and answer sessions/ discussion boards. The frequency of problems classes is
generally less than in previous years: around 5 classes per module. Students are strongly
encouraged to set up their own small study groups to support each other by working
together on lecture notes and non-assessed problem sheets.
Graduation Requirements for three-year degrees G100, G102, G125, G1F3, G1G3, G1GH
and GG31:
In order to graduate, you must have passed all modules in the current level of study at first
attempt, at resit or by an allowed (dependent on degree programme) compensated pass. In
year 3 of BSc programmes, the Exam Board may award compensated passes in up to 15
ECTS of modules where the module mark is below the pass mark but at least 30%. The
overall weighted average for the year must be at least 40%, including where a module(s) has
been compensated, in order for you to graduate.
MSci Degrees (G103 and G104): The MSci is an undergraduate ‘Masters’ degree with a final
year at the level of a taught postgraduate MSc programme. On successful completion, a
degree title on the lines of ‘Master in Science (incorporating Bachelor’s level study)’ is
awarded.
Very occasionally, circumstances may require the Department to graduate an MSci student
with a BSc.
least 30%. Additionally, the overall weighted average mark for the year, including where a
module(s) has been compensated, must normally be at least 58%.
A student who has been permitted to remain on G103 in year 3 despite not having achieved
a year total of 60% from year 2 may be expected to obtain a year total higher than 58% in
year 3.
G104: A student who is not permitted to remain on G104 for year 3 will be transferred to a
BSc or MSci Mathematics degree.
Most MATH6 modules are also available to 4th year and MSc students in an extended
MATH7 format. Typically this will involve additional material ('mastery material') for self-
study and an additional question on the main exam paper. There are also some modules
which are only normally available to 4th year and MSc students. The MATH7 taught
modules are 7.5 ECTS and have a pass mark of 50%.
The MSci project is worth 15 ECTS. It is a supervised project in some area of Mathematics.
The main aim is to develop a deep understanding of a particular area or topic by means of a
supervised project in some area of mathematics. The project may be theoretical and/or
computational and the topic for each student is chosen in consultation with the
Department. Arrangements for the project are made in the summer term of the 3rd year,
after the main examinations. Work on the project should continue throughout all three
terms of the Fourth Year and the project is submitted shortly after the Fourth Year
examinations.
Most MATH6 modules are examined by one written examination of 2 hours in length.
Most of the modules have an assessed coursework/progress test element, limited in most
cases to 10% of overall module marks. Some modules have a more substantial coursework
component (for example, 25 percent) and others are assessed entirely by coursework.
Details can be found in the tables below. Precise details of the number and nature of
coursework assignments will be provided at the start of each module.
Students should bear in mind that single-term modules assessed by projects require
considerable extra time-commitment during that term. You should note that, in principle,
7.5 ECTS represents 187.5 hours of effort on a module and completing this in a single term is
a substantial task. Thus, the Department generally advises that students should not take
7
more than one such module in a term. Students wishing to take more than one such module
in a term will be required to discuss this with the Senior Tutor.
Note: Students who take a module which is wholly assessed by coursework will be
deemed to be officially registered on the module after the submission of a specified
number of pieces of assessed work for that module. Thus, once a certain point is reached
in one of these modules, a student will be committed to completing it. In contrast,
students only become committed to modules with summer examinations when they enter
for the examinations in February. For modules outside Mathematics which have earlier
examinations, you will be committed to the module once you register for the examination
or at any earlier point specified by the host Department.
The BSc project module MATH60050 is examined by a research project; an oral element
forms part of the assessment.
Degree Classification
The total of marks for examinations, assessed coursework, progress tests, assignments and projects, with the
appropriate year weightings, is calculated and presented at the Examiners’ Meeting (normally held at the end
of June) for consideration by the Academic Staff and External Examiners. Degree classifications are
determined according to the criteria given in the borderline classification algorithm, which can be found on
Maths Central. You may also wish to consult the programme specification:
https://www.imperial.ac.uk/mathematics/undergraduate/course-structure-and-content/
Reassessment
Students who do not obtain a pass or compensated pass in examinations at the first attempt
will be expected to attend resit examinations where appropriate. In determining whether a
Mathematics module has been passed at a resit attempt, if a resit exam has been passed,
then the Board of Examiners may discount any module marks obtained from coursework
and award an overall pass mark for the module. This will apply to 1st and 2nd year modules
and any other modules with a final exam worth at least 90 percent of the module mark. In
cases where a student has not achieved the required amount of credit and no further resit
attempts are permitted, the Board will graduate the student with an appropriate exit award,
as detailed in the programme specifications and regulations.
Normally, Third and Fourth Year modules have resit / delayed first sit opportunities the
following May/June. In cases where a resit/ delayed first sit opportunity is provided in the
same academic year, the Board of Examiners may use an alternative form of assessment,
such as an oral examination.
Students who have not achieved the required Passes by the beginning of the new
academic year are required by College to spend a year out of attendance. During this time
they are not considered College students. This may create a number of issues and hold
visa implications.
8
Students who are required to take a year out due to failed examinations or who take an
interruption are not normally permitted to resubmit any coursework previously submitted
during their year out.
Resit examinations are for Pass credit only – a maximum mark of 40 percent will be
credited. Once a Pass is achieved, no further attempts are permitted.
Degree Changes
Students are able to change between three-year mathematics degree programmes (or
dropping down from a four-year to a three-year programme) by completing a Degree
Change form and (if appropriate) ensuring that they comply with the requirements for any
specialist coding module options.
Students wishing to move to the G103 programme (after the second year) must be able to
comply with the Year 2 and 3 mark requirements.
International students who require a visa are advised to consult the International Student
Support Office prior to making ANY degree change as you may be required to apply for a
new visa (outside of the UK).
To request a degree change, students must complete a Degree Change form which can be
found on Blackboard Maths Central. The form should be returned to the Undergraduate
Office.
All degree transfer requests should normally be made by 31st of March in the year of the
transfer, but transfers can in principle be made in any of years 1, 2 or 3.
If you change your degree coding and are registered on a module outside the Department,
including BPES or CLCC, please ensure that you let the host Department know, so that you
are not removed from their module lists.
Note that not all of the individual modules listed below are offered every session and the
Department reserves the right to cancel a particular module if, for example, the number
of students wishing to attend that module does not make it viable. Similarly, some
modules are occasionally run as ‘Reading Modules’. In general, we recommend that you
consider having a small number of backup options in case a module changes, or if you
decide that you no longer wish to take a module.
Modules marked * are also available in MATH7 form for Fourth Year MSci students (which
typically involves taking a longer Examination). When a module is offered, it is usually, but
not always, available in both forms. No student may take both the 3rd year and 4th year
forms of a module.
9
If you take the module MATH60049 you will not be allowed to select the Machine Learning
component of the 4th year Advanced Topics in Statistics module.
The following notes relate to the tables on optional modules for Year 3 as below:
All MATH6 modules are equally weighted and have a credit value of 7.5 ECTS
Old Departmental module code: This will help you identify the corresponding module from
previous years and corresponding MATH7 modules.
Column on % CW – this indicates any coursework that is completed for the module. This
may include in-class tests, projects, or problem sets to be turned in.
10
FLUIDS
MATH60001 M3A2* Fluid Dynamics 1 1 Professor X. Wu 90 10
MATH60002 M3A10* Fluid Dynamics 2 2 Professor J. Mestel 90 10
Introduction to
M3A28* Geophysical Fluid 2 Dr P. Berloff 90 10
MATH60003 Dynamics
MATHEMATICAL METHODS
MATH60004 M3M7* Asymptotic Methods 1 Dr G. Peng 90 10
M3XX*
MATH60005 Optimization 1 Dr D. Kalise 90 10
(new)
MATH60006 M3M6* Applied Complex Analysis 1 Dr S. Brzezicki 90 10
DYNAMICS
Dynamics of Learning and
MATH60007 M3PA48* 1 Professor S. van Strien 40 (Oral) 60
Iterated Games
MATH60008 M3PA23* Dynamical Systems 1 Professor J. Lamb 90 10
MATH60009 M3PA24* Bifurcation Theory 2 Professor D. Turaev 90 10
MATH60010 M3PA16* Geometric Mechanics 2 Professor D. Holm 90 10
MATH60011 M3A53* Classical Dynamics 1 Dr C. Ford 90 10
FINANCE
Mathematical Finance:
MATH60012 M3F22* An Introduction to Option 2 Dr P. Siorpaes 90 10
Pricing
Mathematics of Business
MATH60013 M3B 2 Dr I. Papatsouma 90 10
& Economics
BIOLOGY
MATH60014 M3A49* Mathematical Biology 1 Dr E. Keaveny 90 10
MATHEMATICAL PHYSICS
MATH60015 M3A4* Quantum Mechanics I 1 Dr E-M. Graefe 90 10
PURE MATHEMATICS
College Dept.
Module Module Module Titles Terms Lecturer % exam % CW
Code Code
ANALYSIS
MATH60028 M3P6* Probability Theory 2 Dr I. Krasovsky 90 10
MATH60029 M3P7* Functional Analysis 1 Dr P. Rodriguez 90 10
Fourier Analysis and the
MATH60030 M3P18* 2 Dr I. Krasovsky 90 10
Theory of Distributions
MATH60031 M3P70* Markov Processes 1 Professor X-M. Li 90 10
GEOMETRY
Geometry of Curves and
MATH60032 M3P5* 2 Dr D. Cheraghi 90 10
Surfaces
MATH60033 M3P20* Algebraic Curves 1 Dr J. Lai 90 10
Professor A.
MATH60034 M3P21* Algebraic Topology 2 90 10
Skorobogatov
12
NUMBER THEORY
MATH60041 M3P14* Number Theory 1 Dr A. Pal 90 10
MATH60042 M3P15* Algebraic Number Theory 2 Dr A. Pal 90 10
STATISTICS
Fluid dynamics investigates motions of both liquids and gases. Being a major branch of continuum
mechanics, it does not deal with individual molecules, but with an ‘averaged' motion of the medium
(i.e. collections of molecules). The aim is to predict the velocity, pressure and temperature fields in
flows arising in nature and engineering applications. In this module, the equations governing fluid
flows are derived by applying fundamental physical laws to the continuum. This is followed by
descriptions of various techniques to simplify and solve the equations with the purpose of describing
the motion of fluids under different conditions.
Learning Outcomes
- compare and contrast the different frameworks that can be used to describe fluid motion and to
identify the connections between them;
- derive exact solutions of the Navier-Stokes equations and justify physical and mathematical
assumptions made in obtaining them;
- perform simplifications arising under the assumption of inviscid flow which permit the integration
of the Euler equations, leading to results such as Bernoulli's equation and Kelvin's circulation
theorem;
- demonstrate a sound understanding of the method of conformal mappings and be able to use this
method to analyse various two-dimensional inviscid flows.
Module Content
Introduction: The continuum hypothesis. Knudsen number. The notion of fluid particle. Kinematics
of the flow field. Lagrangian and Eulerian frameworks. Streamlines and pathlines. Strain rate tensor.
Vorticity and circulation. Helmholtz’s first theorem. Streamfunction.
Governing Equations: Continuity equation. Stress tensor and symmetry, Constitutive relation. The
Navier-Stokes equations.
Exact Solutions of the Navier-Stokes Equations: Couette and Poiseuille flows. The flow between two
coaxial cylinders. The flow over an impulsively started plate. Diffusion of a potential vortex.
Inviscid Flow Theory: Integrals of motion. Kelvin’s circulation theorem. Potential flows. Bernoulli’s
equation. Cauchy-Bernoulli integral for unsteady flows. Two-dimensional flows. Complex potential.
Vortex, source, dipole and the flow past a circular cylinder. Adjoint mass. Conformal mapping.
Joukovskii transformation. Flows past aerofoils. Lift force. The theory of separated flows. Kirchhoff
and Chaplygin models.
14
In this module, we deal with a wide class of realistic problems by seeking asymptotic solutions of the
governing Navier-Stokes equations in various limits. We shall start with the “slow, small or sticky”
case, when the Reynolds number is low and we obtain the linear Stokes equations. Then we consider
the lubrication limit, and show how a thin layer of fluid is able to exert enormous pressures and
prevent moving solid bodies from touching. Next we shall consider the “fast and vast” limit of high
Reynolds number, which is characteristic of most flows we encounter in everyday life. In the final
part of the module we consider a mixture of advanced topics, including flight, bio-fluid-dynamics and
an introduction to flow stability.
Learning Outcomes
- simplify and solve the governing Navier-Stokes equations in situations where there is a short
lengthscale in one of the coordinate directions;
- apply the general properties of low Reynolds number flows to predict the drag on slow-moving
bodies, like a solid sphere or spherical bubble, and appreciate the causes of the ‘Stokes paradox’;
- derive the boundary-layer equations and identify self-similar solutions for flows at large Reynolds
number;
Module Content
I – Low-Reynolds-number flows
Dynamic Similarity. Properties of the Stokes equations. Uniqueness and minimal dissipation
theorems. The analysis of the flow past a solid sphere and spherical bubble. Stokes paradox.
II – Lubrication Theory
Derivation of Reynolds’ lubrication equation and examples. Hele-Shaw and thin film flows.
The notion of singular perturbations. Derivation of boundary-layer equations. Blasius flow, Falkner-
Skan solutions and applications. Von Mises variables and their application to periodic boundary
layers. Prandtl-Batchelor Theorem for flows with closed streamlines.
Scallop theorem. Resistive Force Theory. Introduction to 3D-aerofoil theory. Flight strategies.
This is an advanced-level fluid-dynamics course with geophysical flavours. The lectures target upper-
level undergraduate and graduate students interested in the mathematics of planet Earth, and in the
variety of motions and phenomena occurring in planetary atmospheres and oceans. The lectures
provide a mix of theory and applications.
Learning Outcomes
- model a broad range of natural phenomena associated with the atmosphere and ocean;
- derive the boundary layer equations for flow in a rotating frame and justify the relative importance
of various terms in the equations of motion;
- describe, select appropriately and apply a range of methods and techniques for solving practical
problems.
Module Content
III - Geostrophic dynamics (shallow-water model, potential vorticity conservation law, Rossby
number expansion, geostrophic and hydrostatic balances, ageostrophic continuity, vorticity
equation);
VI - Rossby waves (general properties of waves, physical mechanism, energetics, reflections, mean-
flow effect, two-layer and continuously stratified models);
VII - Hydrodynamic instabilities (barotropic and baroclinic instabilities, necessary conditions, physical
mechanisms, energy conversions, Eady and Phillips models);
VIII - Ageostrophic motions (linearized shallow-water model, Poincare and Kelvin waves, equatorial
waves, ENSO “delayed oscillator”, geostrophic adjustment, deep-water and stratified gravity waves);
X - Nonlinear dynamics and wave-mean flow interactions (closure problem and eddy
parameterization, triad interactions, Reynolds decomposition, integrals of motion, enstrophy
equations, classical 3D turbulence, 2D turbulence, transformed Eulerian mean, Eliassen-Palm flux).
This advanced course presents a systematical introduction to asymptotic methods, which form one
of the cornerstones of modern applied mathematics. The foundation of asymptotic approximations
is laid down first. The key ideas and techniques for deriving asymptotic representations of integrals,
and for constructing appropriate solutions to differential equations will be explained. The techniques
introduced find wide applications in engineering and natural sciences.
Learning Outcomes
- describe a variety of asymptotic methods and for each method acquire a thorough understanding
of the key ideas involved and their mathematical nature;
- demonstrate basic skills in applying each of these methods to solve classical problems;
- combine, modify and extend methods to unfamiliar problems, such as those that emerge from
research topics or practical applications;
- outline how asymptotic methods can in principle be applied to a wide variety of problems.
Module Content
Order notation. Diverging series, asymptotic expansions. Parameter expansions, overlap regions,
distinguished limits and uniform approximations.
Asymptotic solution of algebraic equations with a small parameter. Regular vs. singular
perturbations. Method of dominant balance. Local analysis of ordinary differential equations.
Method of integration by parts. Integrals of Laplace type: Laplace's method, Watson's Lemma.
Integrals of Fourier type: method of stationary phase. Integral in the complex plane: method of
steepest descent. Method of splitting the range of integration.
Inner and outer expansions, matching principles, notions of 'boundary layer' and interior layer.
Composite approximation. Application to relaxation oscillations.
WKB approximations including turning-point problems and eigenvalue quantisation. Secular terms
and solvability conditions. Poincare-Lindstedt method for periodic solutions. Multiscale method for
quasi-periodic solutions. Application to weakly perturbed oscillators, nonlinear resonance,
parametric resonance.
MATH60005 Optimization
Brief Description
This module is an introduction to the theory and practice of mathematical optimization and its many
applications in mathematics, data science, and engineering. The module aims at endowing students
with the necessary mathematical background and a thorough methodological toolbox to formulate
optimization problems and developing an algorithmic approach to its solution.The module is
structured into five parts: (i) formulation and classification of problems; (ii) unconstrained
optimization; (iii) stochastic and nature-inspired optimization; (iv) convex optimization; (v)
introduction to optimal control and dynamic optimization. The assessed coursework for this module
involves a series of computational tasks.
Learning Outcomes
- identify the mathematical structure of an optimization problem and, based on this classification,
choose an appropriate methodological approach;
- implement different computational optimization algorithms such as gradient descent and related
variants;
Module Content
1. Mathematical preliminaries
2. Unconstrained optimization
6. Nature-inspired optimization
9. KKT conditions
18
10. Duality
The aim of this module is to learn tools and techniques from complex analysis and the theory of
orthogonal polynomials that can be used in mathematical physics. The course will focus on
mathematical techniques, though will also discuss relevant physical applications, such as
electrostatic potential theory. The course incorporates computational techniques in the lectures.
Learning Outcomes
- appreciate the connection that exists between computational tools such as quadrature and
orthogonal polynomials and complex analysis;
Module Content
Revision of complex analysis: complex integration, Cauchy’s theorem and residue calculus;
integrals;
Integral equations: integral equations on the whole and half line, Fourier transforms, Laplace
transforms;
Recently there has been considerable interest in modelling learning. The settings to which these
models are applied is wide-ranging. Examples include optimization of strategies of populations in
ecology and biology, iterated strategies of people in a competitive environment and learning models
used by technology companies such as Google.
This module is aimed at discussing a number of such models in which learning evolves over time and
which have a game theoretic background. The module will use tools from the theory of dynamical
systems and will aim to be rigorous. Topics will include replicator systems, best response dynamics
and fictitious games, reinforcement learning and no-regret learning.
Learning Outcomes
- work comfortably with the notions of Nash, Correlated Equilibrium, Course Correlated Equilibrium
and Evolutionary Stable Strategies;
- outline the idea behind no regret learning models and the Blackwell approachability theorem.
Module Content
- Replicator systems;
- Rock-paper-scissor games;
- Reinforcement learning;
- No regret learning.
The theory of Dynamical Systems is an important area of mathematics which aims at describing
objects whose state changes over time. For instance, the solar system comprising the sun and all
planets is a dynamical system, and dynamical systems can be found in many other areas such as
20
finance, physics, biology and social sciences. This course provides a rigorous treatment of the
foundations of discrete-time dynamical systems.
Learning Outcomes
- appreciate the concept of symbolic dynamics through which topological and probabilistic
dynamical properties can be understood;
- apply the above context in a number of one-dimensional settings, in particular in the context of
piecewise affine expanding maps.
Module Content
- Topological dynamics: invariant sets and limit sets, coding and sequence spaces, topological
conjugacy, transitivity and mixing;
- Ergodic theory: sigma-algebras and measures, invariant measures, Poincaré recurrence, ergodicity
and Birkhoff’s Ergodic Theorem, Markov measures and metric entropy.
This module serves as an introduction to bifurcation theory, concerning the study of how the
behaviour of dynamical systems such as ODEs and maps changes when parameters are varied.The
goal is to acquaint the students with the foundations of the theory, its main discoveries and the
universal methods behind this theory that extend beyond its remit.
Learning Outcomes
- exploit basic dimension reduction methods (invariant manifold and invariant foliations);
- describe the mathematical framework associated with classical local and global bifurcations.
21
Module Content
4) Homoclinic loops: cases with simple dynamics, Shilnikov chaos, Lorenz attractor;
The course surveys a small section of the road to geometric mechanics (GM), by treating several
examples in classical mechanics all in the same geometric framework. This framework is based on
linear algebra, transformation theory, differential equations, variational calculus, and Lie group
invariant variational principles, and their actions on functions and differential forms defined on
manifolds.
Learning Outcomes
- describe motion on smooth manifolds using the following definitions: tangent bundle (TM),
cotangent bundle (T*M, phase space), kinetic energy, Lagrangian, variational derivative, Hamilton's
variational principle (LagHvp), Euler-Lagrange equations (EL eqns);
- derive and solve Euler-Lagrange equations for a variety of classical problems, including: oscillators,
plane pendulum, charged particle motion, motion on a sphere, spherical pendulum, rotating rigid
body, geodesic motion on the Lobachevsky half-plane, equations of motion for Newton's law of
gravitation;
- prove and apply Noether's theorem about how Lie group symmetries of Hamilton's principle imply
conservation laws in the GM framework for transformations of the matrix Lie groups of rotations,
translations and scaling (in the context of the example problems);
- link fibre derivative, Legendre transformation, Hamilton's equation, Poisson brackets, and Noether
quantities as momentum maps for Lie group actions;
- apply the Geometric Mechanics framework to rigid body motion and Newton's solution for the
Kepler problem of planetary motion;
- demonstrate familiarity with the transformation theory for smooth invertible maps and the
calculus of differential forms, including exterior derivative, wedge product, contraction with vector
fields, and Cartan's formula for Lie derivative through worked exercises.
22
Module Content
This module explains the principles of mechanics as a unified geometric framework, by using
Noether's theorem about Lie-group invariant variational principles to focus on Sophus Lie's
momentum map concept as the key for applying Poincaré's geometric approach. The only
prerequisites are linear algebra, vector calculus and some familiarity with the Euler-Lagrange
variational principles and canonical Poisson brackets in classical mechanics at the beginning
undergraduate level.
The course presents increasingly advanced ideas as a series of recurring thematic examples and
worked exercises for classic problems of oscillation and rotation. For example, it treats the geometry
of rigid-body motion from the series of viewpoints of Newton, Lagrange, Hamilton and Poincaré. This
unfolding series of treatments of rigid body motion from several viewpoints reveals the framework
of geometric mechanics and sets the stage for the introduction of the flows of Hamiltonian vector
fields and their Lie-derivative actions on differential forms.
After learning a few useful methods of vector calculus in the language of differential forms, the
student recognises the geometric structure of ideal fluid dynamics as something which has become
familiar and natural; namely, geodesic motion for the kinetic energy metric on the manifold of
smooth invertible maps (L2 norm of the Eulerian fluid velocity). Thus, the course reveals a geometric
framework for variational dynamics with symmetry and develops the ideas in the framework from
finite to infinite dimensions.
Classical dynamics is developed through variational principles rather than Newtonian force laws.
Lagrangian and Hamiltonian formulations are considered. The methods are applied to a variety of
problems including pendulums, the Kepler problem, rigid bodies and motion of a charged particle in
a magnetic field. The role of conserved quantities is emphasised. An introduction to more advanced
ideas including Hamilton-Jacobi theory and action-angle variables is given.
Learning Outcomes
- apply Lagrangian and Hamiltonian methods to a problems in a variety of fields (e.g. Statistical
Mechanics, Quantum Mechanics and Geometric Mechanics).
Module Content
The mathematical modelling of derivatives securities, initiated by Bachelier in 1900 and developed
by Black, Scholes and Merton in the 1970s, focuses on the pricing and hedging of options, futures
and other derivatives, using a probabilistic representation of market uncertainty. This module is a
mathematical introduction to this theory, in a discrete-time setting. We will mostly focus on the no-
arbitrage theory in market models described by trees; eventually we will take the continuous-time
limit of a binomial tree to obtain the celebrated Black-Scholes model and pricing formula.
Learning Outcomes
- describe and critically analyse simple market models and explore their qualitative properties;
- confidently perform calculations involving pricing and hedging in discrete market models;
- demonstrate a familiarity with some key concepts in modern probability theory and apply them to
perform computations;
Module Content
This module gives a broad mathematical introduction to both microeconomics and macroeconomics,
with a particular emphasis on the former. We consider the motivations and optimal behaviours of
firms and consumers in the marketplace (profit and utility maximisation, respectively), and show
24
how this leads to the widely observed laws of supply and demand. We look at the interaction of
firms and consumers in markets of varying levels of competition. In the final section, we discuss the
interplay of firms, households and the government on a macroeconomic scale.
Learning Outcomes
- Give a mathematical description of the problems of profit maximisation and utility maximisation.
- Apply the concepts of preference relations and utility functions as well as their interaction.
- Determine optimal behaviour by solving the profit or utility maximisation problem for stylised
examples.
- Characterise the equilibrium price or quantity as the maximiser of the community surplus, and
discuss how deviations lead to a deadweight loss.
- Describe the interplay of firms, households, government, the financial sector and the oversees
sector in a stylised way.
- State and apply the definition of Gross Domestic Product (GDP) as a measure of the economic
activity.
- Discuss shortcomings of GDP as a measure of social welfare and how to overcome these
shortcomings.
Module Content
- Theory of the firm: Profit maximisation for a competitive firm. Cost minimisation. Geometry of
costs. Profit maximisation for a non-competitive firm.
- Theory of the consumer: Consumer preferences and utility maximisation. The Slutsky equation.
- Macroeconomic theory: Circular flow of income. Gross Domestic Product. Social welfare and
allocation of income.
Mathematical biology entails the use of mathematics to model biological phenomena in order to
understand these systems, as well as predict their behaviour. It is an incredibly diverse field utilising
the complete mathematical toolbox to ascertain insight into many areas of biology and medicine
including population dynamics, physiology, epidemiology, cell biology, biochemical reactions, and
neurology. This module aims to provide a foundational course in the subject area relying primarily
on tools from applied dynamical systems, applied PDEs, asymptotic analysis and stochastic
processes.
25
Learning Outcomes
- critically analyse sets of ordinary differential equations especially in the non-linear setting;
- critically analyse sets of partial differential equations especially when either travelling-wave
solutions or pattern forming phenomena might emerge;
- utilise the concept of stochastic population processes for exact and approximate solutions;
Module Content
1) One-dimensional systems: existence and uniqueness; fixed points and their stability; bifurcations;
logistic growth; SIS epidemic model; spruce budworm model; law of mass action; Michaelis-Menten
enzyme dynamics.
5) Stochastic processes: continuous-time Markov chains; simple birth and death processes;
stationary probability distributions; logistic growth process; branching processes and drug
resistance; multivariate processes; stochastic enzyme dynamics; stochastic predator-prey dynamics.
Jupyter notebooks containing codes written in Python will be utilised throughout the course
and a working knowledge of, or a willingness to learn and use Python, is expected.
Quantum mechanics is one of the most successful theories in modern physics and has an
exceptionally beautiful underlying mathematical structure. It provides the basis for many areas of
contemporary physics, including atomic and molecular, condensed matter, high-energy particle
physics, quantum information theory, and quantum cosmology, and has led to countless
technological applications. This module aims to provide an introduction to quantum phenomena and
26
their mathematical description. We will use tools and concepts from various areas of mathematics
and physics, such as classical mechanics, linear algebra, probability theory, numerical methods,
analysis and geometry.
Learning Outcomes
- appreciate Schrödinger's formulation of quantum mechanics, wave functions and wave equations;
- exploit the method of stationary states to deduce the time-evolved quantum state from the initial
state of a system;
Module Content
- Hamiltonian dynamics;
- quantum dynamics;
- angular momentum.
A selection of topics among the following additional optional topics will be covered depending on
students interests:
- approximation techniques;
- geometric phases;
- numerical techniques;
- many-particle systems;
- cold atoms;
This module presents a beautiful mathematical description of a physical theory of great historical,
theoretical and technological importance. It demonstrates how advances in modern theoretical
physics are being made and gives a glimpse of how other theories (say quantum chromodynamics)
proceed. This module does not follow the classical presentation of special relativity by following its
historical development, but takes the field theoretic route of postulating an action and determining
the consequences. The lectures follow closely the famous textbook on the classical theory of fields
by Landau and Lifshitz.
Learning Outcomes
- demonstrate an understanding of the relation between space and time and apply Lorentz
transforms;
- appreciate the structure of special relativity as derived from the principle of least action;
- derive Maxwell’s equations from first principles and apply them to a variety of interactions of
charges and fields;
Module Content
This course follows closely the following book: L.D. Landau and E.M. Lifschitz, Course on Theoretical
Physics Volume 2: Classical Theory of Fields.
Special relativity: Einstein’s postulates, Lorentz transformation and its consequences, four vectors,
dynamics of a particle, mass-energy equivalence, collisions, conserved quantities.
Electromagnetism: Magnetic and electric fields, their transformations and invariants, Maxwell’s
equations, conserved quantities, wave equation.
This module provides an introduction to General Relativity. Starting with the rather simple
Mathematics of Special Relativity the goal is to provide you with the mathematical tools to
formulate General Relativity. Some examples, including the Schwarzschild space-time are
considered in detail.
Learning Outcomes
- formulate and solve the geodesic equation for a given space-time metric;
Module Content
1. Special Relativity
5. General Relativity
7. Variational Methods
Quantum mechanics (QM) is one of the most successful theories in modern physics and has an
exceptionally beautiful underlying mathematical structure. Assuming some prior exposure to the
subject (such as Quantum Mechanics I), this module aims to provide an intermediate/advanced
treatment of quantum phenomena and their mathematical description. Quantum theory combines
tools and concepts from various areas of mathematics and physics, such as classical mechanics,
linear algebra, probability theory, numerical methods, analysis and geometry.
Learning Outcomes
- describe many-particle quantum mechanical systems, and demonstrate familiarity with the
formalism of second quantisation;
- solve complex quantum mechanical problems using the machinery introduced in this module.
Module Content
- perturbation theory;
- adiabatic processes;
- second quantisation;
Additional topics may include: WKB theory, the Feynman path integral, and quantum magnetism.
In this module, students are exposed to different phenomena which are modelled by partial
differential equations. The course emphasizes the mathematical analysis of these models and briefly
introduces some numerical methods.
Learning Outcomes
- appreciate how to formally differentiate complicated finite dimensional functionals and simple
infinite dimensional functionals;
- describe, select and use a variety of methods for solving partial differential equations;
Module Content
1. Introduction to PDEs
2. Method of Characteristics
2.1. Linear and Quasilinear first order PDEs in two independent variables.
3. Diffusion
4. Waves
30
5. Laplace-Poisson equation
The purpose of this course is to introduce the basic function spaces and to train the student in the
basic methodologies needed to undertake the analysis of Partial Differential Equations and to
prepare them for the course "Advanced topics in Partial Differential Equations’’ where this
framework will be applied. Most of the topics contained in the module do not require preliminary
knowledge. However, knowledge of the material in the Y2 module on “Lebesgue Measure and
Integration” (or a suitable equivalent) is recommended.
Learning Outcomes
- appreciate the main concepts of metric topology and integration theory (Fatou’s lemma, monotone
and dominated convergence theorems);
- manipulate concepts associated with Banach spaces (Cauchy sequence, completeness concept,
bounded operators, continuous linear forms, dual space);
- apply the concept of uniform convergence of functions, and those related to spaces of
differentiable functions;
- appreciate the notion of compactness and the difference between finite and infinite-dimensional
normed vector spaces.
Module Content
The course will span the basic aspects of modern functional spaces: integration theory, Banach
spaces, spaces of differentiable functions and of integrable functions, convolution and
regularization, Hilbert spaces. The concepts of Distributions and Sobolev spaces will be taught in the
follow-up course ‘’Advanced topics in Partial Differential Equations’’ as they are tightly connected to
the resolution of elliptic PDE’s and the material taught in the present course is already significant.
2) Normed vector spaces. Banach spaces. Continuous linear maps. Dual of a Banach space.
3) Examples of function spaces: continuously differentiable function spaces and Lebesgue spaces.
Hölder and Minkowski’s inequalities. Convolution and Mollification. Approximation of continuous or
Lebesgue integrable functions by infinitely differentiable functions with compact support.
4) Compactness: Non- compactness of the unit ball in infinite-dimensional normed vector spaces.
Criteria for compactness in space of continuous functions: the Ascoli theorem. Compact operators.
5) Hilbert spaces. The projection theorem. The Riesz representation theorem. The Lax-Milgram
theorem. Hilbert bases and Parseval’s identity. Application to Fourier series.
This course develops the analysis of boundary value problems for elliptic and parabolic PDE’s using
the variational approach. It is a follow-up of ‘Function spaces and applications’ but is open to other
students as well provided they have sufficient command of analysis. An introductory Partial
Differential Equation course is not needed either, although certainly useful.
Learning Outcomes
- manipulate the main properties of the Sobolev space H^m for integer m (inbeddings and
compactness theorems, Poincaré inequality);
- derive the variational formulation of a specific elliptic boundary value problem and to provide the
reasoning leading to the proof of the existence and uniqueness of the solution;
- solve a parabolic boundary value problem using the spectral theory of the associated elliptic
operator.
Module Content
The course consists of three parts. The first part (divided into two chapters) develops further tools
needed for the study of boundary value problems, namely distributions and Sobolev spaces. The
following two parts are devoted to elliptic and parabolic equations on bounded domains. They
present the variational approach and spectral theory of elliptic operators as well as their use in the
existence theory for parabolic problems.
The aim of the course is to expose the students to some important aspects of Partial Differential
Equation theory, aspects that will be most useful to those who will further work with Partial
Differential Equations be it on the theoretical side or on the numerical one.
2. Sobolev spaces: The space H1. Density of smooth functions. Extension lemma. Trace theorem. The
space H10. Poincare inequality. The Rellich-Kondrachov compactness theorem (without proof).
Sobolev imbedding (in the simple case of an interval of R). The space Hm. Compactness and Sobolev
imbedding for arbitrary dimension (statement without proof).
3. Linear elliptic boundary value problems: Dirichlet and Neumann boundary value problems via the
Lax-Milgram theorem. Spectral theory. The maximum principle. Regularity (stated without proofs).
Classical examples: elasticity system, Stokes system.
4. Linear parabolic initial-value problems: Bochner Spaces. Existence and uniqueness of weak
solutions by the Galerkin method. Application to the incompressible Navier-Stokes equations.
Finite element methods form a flexible class of techniques for numerical solution of PDEs that are
both accurate and efficient. The finite element method is a core mathematical technique
underpinning much of the development of simulation science. Applications are as diverse as the
structural mechanics of buildings, the weather forecast, and pricing financial instruments. Finite
element methods have a powerful mathematical abstraction based on the language of function
spaces, inner products, norms and operators.
Learning Outcomes
- employ the finite element method to formulate and analyse numerical solutions to linear elliptic
PDEs;
Module Content
This module aims to develop a deep understanding of the finite element method by spanning both
its analysis and implementation. In the analysis part of the module, students will employ the
mathematical abstractions of the finite element method to analyse the existence, stability, and
accuracy of numerical solutions to PDEs. At the same time, in the implementation part of the
module students will combine these abstractions with modern software engineering tools to create
and understand a computer implementation of the finite element method.
I - Basic concepts: weak formulation of boundary value problems, Ritz-Galerkin approximation, error
estimates, piecewise polynomial spaces, local estimates;
II - Efficient construction of finite element spaces in one dimension: 1D quadrature, global assembly
of mass matrix and Laplace matrix;
33
III - Construction of a finite element space: Ciarlet’s finite element, various element types, finite
element interpolants;
V - Sobolev Spaces: generalised derivatives, Sobolev norms and spaces, Sobolev’s inequality;
VII - Variational formulation of elliptic boundary value problems: Riesz representation theorem,
symmetric and nonsymmetric variational problems, Lax-Milgram theorem, finite element
approximation estimates;
VIII - Computational meshes: meshes as graphs of topological entities, discrete function spaces on
meshes, local and global numbering;
IX - Global assembly for Poisson equation: implementation of boundary conditions, general approach
for nonlinear elliptic PDEs;
The module is an introductory course in numerical methods for ordinary differential equations. The
purpose of this module is to learn how to use the computer to find numerical solutions to ordinary
differential equations as well as to provide you with theoretical knowledge and practical skills to lay
the solid groundwork necessary to advance in scientific computing.
Learning Outcomes
- compare different methods with respect to accuracy, stability, computational and space
complexity.
Module Content
- Runge-Kutta methods;
Linear systems of equations arise in countless applications and problems in mathematics, science
and engineering. Often these systems are large and require a computer to solve. This course
provides an overview of the algorithms used to solve linear systems and eigenvalue problems, in
terms of their development, stability properties, and application.
Learning Outcomes
Module Content
1) Direct methods:
Triangular and banded matrices, Gauss elimination, LU-decomposition, conditioning and finite-
precision arithmetic, pivoting, Cholesky factorisation, QR factorisation and their numerical
implementation.
2) Eigenvalue problems:
power method and variants, Jacobi's method, Householder reduction to tridiagonal form,
eigenvalues of tridiagonal matrices, the QR method.
3) Iterative methods:
Krylov subspace methods: Lanczos method and Arnoldi iteration, conjugate gradient method,
GMRES, preconditioning.
35
This module will introduce a variety of computational approaches for solving partial differential
equations, focusing mostly on finite difference methods, but also touching on finite volume and
spectral methods. Students will gain experience implementing the methods and writing/modifying
short programs in Matlab or another programming language of their choice. Applications will be
drawn from problems arising in areas such as Mathematical Biology and Fluid Dynamics.
Learning Outcomes
- appreciate the physical and mathematical differences between different types of PDES;
Module Content
2) Classificaton of PDEs
5) Multigrid Methods
as well as various advanced practical topics from Fluid Dynamics, which will depend on the final
project.
This module provides an hands-on introduction to the methods of modern data science. Through
interactive lectures, the student will be introduced to data visualisation and analysis as well as the
fundamentals of machine learning.
Learning Outcomes
- Describe the principles and differences between supervised and unsupervised learning;
- Clearly and succinctly communicate the results of a data analysis or learning application.
Module Content
- Methods in Machine Learning: supervised and unsupervised; neural networks and deep learning;
graph-based data learning;
- Machine learning in practice: application of commonly used methods to data science problems;
Methods include: regressions, k-nearest neighbours, random forests, support vector machines,
neural networks, principal component analysis, k-means, spectral clustering, manifold learning,
network statistics, community detection.
This module introduces students to the analysis and implementation of efficient algorithms used to
solve mathematical and computational problems connected to a broad range of scientific topics.
Mathematical tools and concepts from linear algebra, calculus, numerical analysis, and statistics will
be utilised to develop and analyse computational solutions to mathematical and scientific
problems.The objectives are that by the end of the module all students should have a good
familiarity with the essential elements of the Python programming language and be able to
undertake programming tasks in a range of areas.
Learning Outcomes
- analyse the performance of simple sorting and searching algorithms and implement them in
Python;
- effectively utilise important tools for data analysis such as discrete Fourier transforms;
37
- evaluate and implement numerical methods for mathematical optimisation and the solution of
differential equations;
- assess the correctness and efficiency of simple data structures and algorithms on graphs and
implement them in Python.
Module Content
1) Sorting and searching with scientific applications from fields such as bioinformatics;
2) Algorithms on graphs and basic data structures such as queues and hash tables;
3) Methods for data analysis using tools such as discrete Fourier transforms;
This module provides a rigorous approach to the fundamental properties of probability. It teaches
fundamental notions and structures as well as tools relevant to modern probability theory and
applications. The module is important for further study of probability theory and stochastic
processes.
Learning Outcomes
- Communicate your knowledge of the area in a concise, accurate and coherent manner.
Module Content
Probability spaces. Random variables: (Bernoulli, Rademacher, Gaussian variables with integration
by parts formula). Probability Distributions.
Mutual Independence of Events/Random Variable and Vieta Formula. Product Probability Spaces.
Conditional Expectations and Independence. Borel-Cantelli Lemmas.
38
Weak and Strong Laws of Large Numbers for Random Sequences and Series of Mutually
Independent or Weakly Correlated Random Variables.
Applications : [Probabilistic proof of Weierstrass Theorem, Monte Carlo Method for Large
Dimensional Integration, Macmillan’s Theorem, Infinitely Often Events: Decay and Recurrence of
Human Civilisations, Normal Numbers...]
This module brings together ideas of continuity and linear algebra. It concerns vector spaces with a
distance, and involves linear maps. The vector spaces are often spaces of functions. It is an
important requirement for further study of many areas of Mathematical Analysis including PDEs,
Stochastic Analysis, Dynamical Systems and Quantum Mechanics.
Learning Outcomes
- Communicate your knowledge of the area in a concise, accurate and coherent manner.
Module Content
Metric Linear Spaces and basic examples of topological spaces with non metrisable topology.
Banach spaces.
Schauder Basis.
Compact operators.
Fourier analysis is an important tool used in various branches of mathematics and beyond. The
module provides a deeper understanding of it than what is briefly mentioned in general analysis
courses. It also connects it to the theory of distributions. As a result of studying the module,
students will understand the basics of the Fourier analysis and theory of distributions which will be
sufficient for most branches of mathematics.
Learning Outcomes
-be in command of the basics of Fourier analysis and distribution theory sufficient for working in
many areas of mathematics
Module Content
The module will assume familiarity with measure theory and functional analysis, especially L^p
spaces and linear functionals.
Those students who decide to do a PhD in a closer related area of analysis will be able to use the
acquired basic knowledge and skills to relatively easily extend their knowledge to more sophisticated
areas of the theory.
41
Markov processes are widely used to model random evolutions with the Markov property `given the
present, the future is independent of the past’. The theory connects with many other subjects in
mathematics and has vast applications.
Learning Outcomes
• demonstrate your understanding of the concepts and results associated with the elementary
theory of Markov processes, including the proofs of a variety of results
• apply these concepts and results to tackle a range of problems, including previously unseen
ones
• communicate your knowledge of the area in a concise, accurate and coherent manner.
Module Content
Markov processes are widely used to model random evolutions with the Markov property `given the
present, the future is independent of the past’. The theory connects with many other subjects in
mathematics and has vast applications. This course is an introduction to Markov processes. We aim
to build intuitions and good foundations for further studies in stochastic analysis and in stochastic
modelling.
The module is largely self-contained, but it is strongly advised that students should have taken the
second-year module Lebesgue Measure and Integration (or equivalent). A good knowledge of real
analysis and metric spaces will be assumed.
The module is related to a number of modules in stochastic analysis, probability theory, dynamical
systems and mathematical finance.
1. Discrete time and finite state Markov chains : Chapman-Kolmogorov equations, irreducible,
Perron-Froebenius theorem for stochastic matrices, recurrent and transient.
2. Discrete time Markov processes on general state space. Conditional expectations, Chapman-
Kolmogorov equation, Feller property, strong Feller property, Kolmogorov's theorem, stopping
times, strong Markov, stationary process, weak convergence and Prohorov's theorem, Existence of
invariant measures : Krylov-Bogolubov method, Lyapunov method. Ergodicity by contraction method
and Doeblin's criterion. Structures of invariant measures, ergodic theorems.
Learning Outcomes
- identify regular curves and implement different re-parametrisations of curves in two and three
dimensional spaces,
- learn about and calculate the geometric quantities of curvature and torsion of a regular curve,
- analyse the regularity of maps from one surface into another surface, and also of functions on
surfaces,
- learn about the topological classification of compact surfaces, and identify them,
- link the Gaussian curvature to the local shape of a surface, and present different kinds of examples,
- analyse the global topological features of a surface by integrating local geometric features (Gauss-
Bonnet and winding numbers)
Module Content
• Curves in two and three-dimensional spaces: re-parametrizations, curvature and torsion, Frenet-
Serret formulae, curves are determined by curvature and torsion, winding number and the total
curvature,
• Surfaces: Charts, Tangent vectors, and tangent planes, Smooth maps from one surface into
another surface, smooth functions on a surface, Normal vectors,
• Curvature of a surface: the first and second fundamental forms, Christoffel symbols, normal
curvature, Gaussian curvature, and mean curvature, Gauss’s Theorema Egregium,
43
• Area of a surface,
The module will assume familiarity with material in the second-year module Analysis II
This module is meant as a first encounter with algebraic geometry, through the study of affine and
projective plane curves over the field of complex numbers. We will also discuss some complex-
analytic aspects of the theory (Riemann surfaces). Important results include the definition of local
intersection multiplicities and Bézout's theorem, inflection points and the classification of plane
cubics, linear systems of curves, and the degree-genus formula.
Learning Outcomes
- solve geometric problems about affine and projective plane curves with algebraic techniques;
- determine the projectivizations of affine plane curves and the points at infinity;
- determine the tangent lines of plane curves at smooth and singular points;
- find inflection points of projective plane curves and use them to classify cubic curves;
- work with holomorphic charts to determine local and global properties of Riemann surfaces and
morphisms;
- formulate, prove and apply the degree-genus formula for smooth projective plane curves.
Module Content
- the Legendre family of cubics, inflection points and the classification of non-degenerate smooth
cubics;
- linear systems of projective plane curves, projective duality and enumerative geometry;
- Riemann surfaces;
Some related topics will appear in the problem sheets and the coursework (e.g., dual curves, group
structure on smooth cubics).
This module gives a first introduction to algebraic topology. After some preliminary results on
quotient spaces and CW-complexes, we discuss fundamental groups and the Galois correspondence
for covering spaces. We then move on to homology theory and study simplicial and singular
homology, as well as some applications like the Jordan curve theorem and invariance of domain.
Throughout the module, we pay special attention to algebraic and categorical aspects.
Learning Outcomes
- define the basic invariants in algebraic topology and prove their main properties;
- use algebraic techniques to distinguish different homotopy types and classify topological objects;
- compute fundamental groups, simplicial homology groups and singular homology groups;
- apply fundamental groups and homology groups to prove fundamental topological properties
(Brouwer's fixed point theorem, Jordan's curve theorem, invariance of domain);
Module Content
Preliminaries:
- Cell complexes
- Operations on spaces
- Covering Spaces
Homology
- Singular homology
- Homotopy invariance
- Mayer-Vietoris Sequences
- Applications
The module will assume familiarity with material in the second-year modules: Groups and Rings,
Analysis II
MATH60035 Algebra 3
Brief Description
This course continues the study of commutative rings and introduces the notion of R-module, which
is an analogue over rings of the notion of a vector space over a field. Using these ideals we prove
fundamental results about various classes of rings, particularly polynomial rings in several variables.
Learning Outcomes
- Understand the detailed theory of finite fields, their classification, and factorization of polynomials
over finite fields
- Understand the classification of modules over Euclidean Domains, and how to use Smith Normal
Form to determine the isomorphism class of such a module given a presentation
46
- Use this classification, in the case of K[T]-modules, to prove fundamental results in linear algebra
- Apply several different criteria for irreducibility of polynomials over various base rings
Module Content
- R-modules
- Noetherian rings
- If R is a UFD, so is R[X]
This module builds on the Group Theory from the 1st year module Linear Algebra & Groups and the
2nd year module Groups and Rings. We start with a discussion of isomorphism theorems, and
proceed to further example of groups and operations on them, including automorphism groups and
semidirect products. Special attention is given to group actions and permutation groups: primitivity,
multiple transitivity etc. Further we discuss solvable and nilpotent groups and their
characterizations.
Learning Outcomes
– identify features of, and develop arguments about, certain groups and classes of group;
– explain the principles of group actions, and work with elementary examples;
– state the definition of and extraspecial group and construct small examples of them;
– determine the normal structure and calculate the automorphism groups of symmetric groups;
– work independently and with peers to articulate their understanding of abstract concepts in
algebra.
47
Module Content
Definition and basic properties of groups. Isomorphism Theorems. Sylow subgroups. Group actions,
primitivity and multiple transitivity. Composition series. Nilpotent groups. Solvable groups.
Symmetric groups. Automorphism group of a group and semidirect products. Linear groups: centres
and commutator subgroups, with small examples.
The formula for the solution to a quadratic equation is well--known. There are similar formulae for
cubic and quartic equations but no formula is possible for quintics. The module explains why this
happens.
Learning Outcomes
-- state, prove, and apply the fundamental theorem of Galois theory (aka the "Galois
correspondence").
-- work with examples such as cubic polynomials, cyclotomic polynomials, and polynomials over
finite fields.
-- compute Galois groups of splitting fields of cubic and bi-quadratic polynomials in arbitrary
characteristic.
-- state and apply the formulas for solving cubic and quartic equations, and prove that there are no
such formulas for equations of degree 5 or larger.
-- compute Galois groups over the rationals by the method of Frobenius elements.
Module Content
Cyclotomic extensions
A graph is a structure consisting of vertices and edges. Graphs are used in many areas of
Mathematics, and in other fields, to model sets with binary relations. In this module we study the
elementary theory of graphs; we discuss matters such as connectivity, and criteria for the existence
of Hamilton cycles. We treat Ramsey's Theorem in the context of graphs, with some of its
consequences. We then discuss probabilistic methods in Graph Theory, and properties of random
graphs.
Learning Outcomes
- Demonstrate facility with the terminology of graphs and simple graph constructions to analyse
examples and prove results
- Explain the proofs of the theorems of König and Menger, and certain other related results. Apply
these results to appropriate problems.
- State, prove and apply Turán's Theorem. Describe and apply certain results in the theory of
Hamilton cycles, including Dirac's Theorem.
- Explain and reason about Ramsey's Theorem and related results in the context of graph colourings.
- Describe various models of random graphs and apply probabilistic arguments to situations in graph
theory.
Module Content
Standard definitions and basic results about graphs. Common graph constructions: complete graphs,
complete bipartite graphs, cycle graphs.
Extremal graph theory. The theorems of Mantel and Turán. Hamilton cycles, and conditions for their
existence.
This module defines and begins the study of representations of groups, focusing on finite-
dimensional complex representations of finite groups. These structures encode ways that groups can
act as symmetries, which appear throughout mathematics (notably in algebra, number theory, and
geometry, but also in analysis) as well as in physics and chemistry, among other places.
Learning Outcomes
- Recall and use basic definitions in group representations, their character theory, and modules over
algebras, particularly finite-dimensional semisimple algebras;
- Explain and work with the features of complex representations of finite groups that allow one to
simplify the theory (e.g., semisimplicity, character tables, etc.);
- Apply these results to classify representations of finite groups and semisimple algebras and
compute the character tables of finite groups;
- perform basic constructions of representations of groups and to apply them to obtain all finite-
dimensional representations of certain basic groups up to isomorphism;
- Work independently and with peers to formulate and solve problems in algebra and geometry
using tools of representation theory;
Module Content
This module defines and begins the study of representations of groups, focusing on finite-
dimensional complex representations of finite groups. These structures encode ways that groups can
act as symmetries, which appear throughout mathematics (notably in algebra, number theory, and
geometry, but also in analysis) as well as in physics and chemistry, among other places. We explain
how to understand and classify these representations through characters, or traces. In the final unit
we generalise the theory to finite-dimensional modules over rings, particularly semisimple algebras,
whose theory retains many of the features of that of representations of groups.
- Basic theory: definitions, Maschke's theorem, Schur's Lemma, classification and construction of
representations of finite abelian groups, dihedral groups, and small symmetric and alternating
groups;
- Character theory: behaviour under direct sums and tensor products, orthogonality relations,
computation of character tables of certain groups;
Computer theorem provers are mature enough now to tackle most undergraduate level
mathematics, and also some much harder level mathematics. As these systems evolve, they will
inevitably become useful as tools for researchers, and some believe that one day they will start
proving interesting theorems by themselves. This project-assessed course is an introduction to the
Lean theorem prover and during it we will learn how to formalise proofs of undergraduate level
theorems from across pure mathematics.
Learning Outcomes
- understand the basics of how type theory can be used as a foundation for pure mathematics;
- understand how to "modularise" mathematical arguments, breaking them up into simple chunks,
thus leading to clarity of understanding;
- understand how to "abstract" mathematical arguments, finding the correct generality in which
statements should be made, thus again leading to clarity of understanding;
- state and prove many results from undergraduate pure mathematics courses in the Lean theorem
prover;
- write formal proofs of theorems which other mathematicians can understand and follow.
Module Content
Note that the aim is to both learn the mathematics and to learn how to teach it to a computer. No
experience in programming will be assumed. Lean is a functional programming langauge, so we will
be picking up functional programming along the way. If you want to get a feeling for the kind of
coding which will be involved, try playing the natural number game.
The following is an indicative list of areas where the mathematics could be drawn from:
*) Lattice theory, complete lattices, Galois insertions and Galois connections. Examples in
mathematics.
*) Applications of filters to topology. New proofs of basic results in topology. Tychonoff's theorem.
51
The module is concerned with some of the foundational issues of mathematics: formal logic and set
theory. In propositional and predicate logic, we analyse the way in which we reason formally about
mathematical structures. In set theory, we will look at the ZFC axioms and use these to
develop the notion of cardinality.
Learning Outcomes
- Understand how the notion of truth is defined precisely in propositional and predicate logic and
apply the definitions and accompanying results in a variety of contexts.
- Demonstrate understanding of formal systems for propositional and predicate logic by constructing
examples of formal proofs and deductions, and by applying and deriving general results about these.
- Appreciate the expressive power of a first-order language (and its limitations) and compare
structures via their first-order theories.
- Relate the semantic and syntactic aspects of formal logic, have an understanding of powerful
general results such as the completeness and compactness theorems, and be able to apply these in a
variety of ways.
- Use the ZFC axioms to justify constructions in set theory, ranging from elementary applications, to
constructions involving transfinite recursion, ordinals, cardinals and applications of these.
- Communicate your knowledge of the area in a concise, accurate and coherent manner.
Module Content
The module is concerned with some of the foundational issues of mathematics. In propositional and
predicate logic, we analyse the way in which we reason formally about mathematical structures. In
set theory, we will look at the ZFC axioms and use these to develop the notion of cardinality. These
topics have applications to other areas of mathematics: formal logic has applications via model
theory and ZFC provides an essential toolkit for handling infinite objects.
Propositional logic: Formulas and logical validity; a formal system; soundness and completeness.
Predicate logic: First-order languages and structures; satisfaction and truth of formulas; the formal
system; Goedel’s completeness theorem; the compactness theorem; the Loewenheim- Skolem
theorem.
Set theory: The axioms of ZF set theory; ordinals; cardinality; the Axiom of Choice.
52
There are no formal prerequisites for the module although a level of mathematical understanding
such as would be provided by a second year algebra or analysis module, together with an appetite
for abstraction and proofs, will be assumed. We will use basic notions from algebra (groups, rings
and vector spaces) in examples.
The module is concerned with properties of natural numbers, and in particular of prime numbers,
which can be proved by "elementary" methods (such as basic group theory and ring theory).
Learning Outcomes
– form arguments about and solve congruences, particularly modulo primes, and apply
equation;
Module Content
roots.
Primality testing, factorization, and the RSA algorithm (including the basics of the
Miller-Rabin test).
Continued fractions, periodicity for quadratic irrationals, algorithm for solving Pell's equation via
continued fractions.
Other topics of the lecturer's choice as time permits, e.g. quadratic forms; Möbius inversion and
53
An introduction to algebraic number theory using quadratic fields as the main source of examples.
We will study rings of integers in finite extensions of the rational and discuss unique factorization
and its failure, the decomposition of primes, the finiteness of the ideal class group, and Dirichlet’s
unit theorem.
Learning Outcomes
- explain how unique factorization domains, principal ideal domains and Euclidean domains are
related.
- give examples of rings of integers in quadratic fields that are Euclidean domains and also counter-
examples.
- define a Dedekind domain and explain why rings of integers in number fields are Dedekind
domains.
- write a basis for the rings of integers in any given quadratic number field.
- explain what it means for a prime to be split, inert or ramified in an extension and, given a
quadratic ring of integers and a prime, to say what happens to that prime.
- explain why the class group in a number field is finite and compute examples of class groups of
quadratic number fields.
- state Dirichlet’s unit theorem and to describe explicitly the group of units in a real or imaginary
quadratic field.
Module Content
We will review / introduce some background from ring theory, discuss unique factorization domains,
principal ideal domains and Euclidean domains. We will study Gaussian and Eisenstein integers in
detail and see several other examples of quadratic rings of integers. We will then discuss the
structure theorem for finitely generated abelian groups, the notion of integral closure, Dedekind
domains and study the ideal class group. We will prove that the ideal class group in a number field is
finite and compute many examples. We will study the decomposition of primes in number fields and
in quadratic fields in particular. We will end by discussing Dirichlet’s unit theorem.
The module will assume familiarity with a number of topics in algebra (such as modules)..
54
This module seeks to provide a more unified perspective of the core statistical problems introduced
in earlier modules by developing a general mathematical theory for parametric statistical
models. We will deal with the criteria and theoretical results necessary to develop and evaluate
statistical procedures for point estimation, hypothesis testing and confidence intervals. We will
consider several approaches, including maximum likelihood estimation and Bayesian approaches,
and study when they are provably optimal.
Learning Outcomes
- Explain the Rao-Blackwell theorem and how it can be used to improve an estimator
Module Content
This module builds on earlier statistical modelling work, and we begin with a review of the linear
model in generality. We extend the linear model in two different directions: firstly, using generalized
linear models (GLMs) to handle non-normally distributed errors, and secondly, using random effects
to handle correlated observations. The module has an applied focus, relying on statistical
computation in R to analyze a variety of data. We will discuss practical techniques for comparing
models and for identifying when models fit that fit poorly.
55
Learning Outcomes
- Select appropriate generalized linear models for modelling data with with non-normal error
distributions, e.g. poisson, binomial, gamma.
- Explain the properties of different estimators of random effects variances, such as maximum
likelihood and REML.
Module Content
- Linear models: Least squares, normal equations, Gauss-Markov theorem, goodness of fit,
diagnostics. Studentized residuals. Confidence intervals and prediction intervals.
- Generalized linear models: Specification, estimation (iterated reweighted least squares), inference,
diagnostics.
- Mixed models: Specification, estimation (ANOVA, maximum likelihood, REML) and inference
(parametric bootstrap) for variance components.
This module introduces stochastic processes and their applications. The theory of different kinds of
processes will be described and illustrated with applications in several areas. The groundwork will be
laid for further deep work, especially in such areas as genetics, engineering and finance.
Learning Outcomes
- Extend the Poisson process to accommodate common depatures from the Poisson assumptions.
- Solve differential and difference equations to determine quantities of interest for stochastic
processes.
Module Content
- Random walks
- Poisson processes and their properties: superposition, thinning of Poisson processes; Non-
homogeneous, compound, and doubly stochastic Poisson processes.
- Autocorrelation functions.
- General continuous-time Markov chains: generator, forward and backward equations, holding
times, stationarity, long-term behaviour, jump chain, explosion; birth and death processes,
reversibility, recurrence/transience.
- Differential and difference equations and pgfs. Embedded processes. Time to extinction.
- Queues.
A time series is a series of data points indexed and evolving in time. They are prevalent in many
areas of modern life, including science, engineering, business, economics, and finance. This module
is a self-contained introduction to the analysis of time series. Weight is given to both the time
domain and frequency domain viewpoints, and important structural features (e.g. stationarity,
reversibility) are treated rigorously. Attention is given to estimation and prediction (forecasting), and
useful computational algorithms and approaches are introduced.
Learning Outcomes
- Appreciate that time series should be considered observations from an underlying stochastic
process.
- Appreciate that time series can exhibit trend and seasonality and know how to adjust for these.
57
- Determine the spectral representation of stationary time series and use the spectral density
function to provide an alternative viewpoint of second-order structure.
- Extend time series models, the notion of stationarity, and frequency domain representations to
multivariate time series.
- Derive forecasts from standard time series models and quantify their uncertainty."
Module Content
- AR, MA and ARMA processes, characteristic polynomials, general linear process, invertibility,
directionality and reversibility.
- Estimation of mean and autocovariance sequence, the periodogram, tapering for bias reduction.
- Forecasting.
Learning Outcomes
- Explain how sequential Monte Carlo methods can be used to understand time-structured
problems.
Module Content
- Markov chain Monte Carlo methods (including Metropolis-Hastings and Gibbs samplers).
Survival models are fundamental to actuarial work, as well as being a key concept in medical
statistics. This module will introduce the ideas, placing particular emphasis on actuarial applications.
Learning Outcomes
- Appreciate survival analysis models as a framework that deals with lifetimes and censored
observations;
- Use several methods to define event time distributions and the relation between these definitions;
- Describe, select and use methods for fitting parametric, semi-parametric and non-parametric
survival analysis models, including regression models and multi state models.
- Explain the counting process approach to survival analysis and its benefits;
- Use and critically analyse methods occurring in actuarial applications, such as methods for the
construction and use of life tables.
Module Content
- Kaplan-Meier estimates,
59
- Cox model.
- Actuarial Applications:
This module provides an introduction to methods of statistical learning. That is, using statistical and
artificial intelligence (AI) methods to learn from data, often when the data set is large, complex or of
high dimension. We will consider both supervised and unsupervised learning. For the former we use
a training set of data to learn patterns within data and then use our knowledge of those patterns to
devise methods for predicting the outcomes of those patterns for new data. For the latter, there is
not (usually) an outcome measure, but we seek to learn about the patterns within the data set itself.
The methods in this module are of immense interest in academic and business circles and underpins
much of the modern data tech industry to achieve tasks such as suggesting movies you might like to
watch given information on those that you have watched, and from people with similar viewing
patterns, developing machine methods for identifying cancer and seeking new ways to understand
the economy. It is strongly recommended that students will have already passed the module
Statistical Modelling I, or similar.
Learning Outcomes
Appreciate the structure and likely distribution(s) of various forms of data and which kinds of
methods might be suitable for their analysis.
Understand the concept of multivariate data and situations where supervised and unsupervised
learning might be employed.
Know and deploy a variety of important statistical and AI methods, using the R language to solve
data related problems.
Understand the limitations of methods and how their application can be checked and or corrected.
60
Module Content
An indicative list of sections and topics is:Linear Models for Regression (variable selection, Lasso,
Ridge Regression); Linear methods for classification (Logistic Regression); Basis expansions
(piecewise polynomials and splines; smoothing splines, wavelets); Kernel regression (local linear and
local polynomial); Additive models and Trees (boosting); Projection pursuit regression and Neural
Networks; Support Vector Machines; Cluster Analysis and Multidimensional Scaling; Random
Forests; Data Ethics.
This module will develop the theory and practice of developing credit risk models in retail finance,
covering topics from credit scoring and application scoring. Modelling approaches such as logistic
regression, survival models, Markov chains, beta regression and hierarchical models will be applied
to devise problems including profit estimation, risk-based pricing, expected loss, value-at-risk and
loss-given default estimation. Issues around model evaluation including testing, using the ROC curve
and probability calibration are also addressed.
Learning Outcomes
- Demonstrate familiarity with the problems of selection bias and reject inference methods;
- Build dynamic models of delinquency using survival and Markov transition models and know how
to use those models for profit estimation;
- Compute Value-at-Risk using the Vasicek model and extend to include predictor variables in asset
correlation models.
Module Content
- Default modelling
- Model evaluation
- Variable selection
- Model interpretation
61
- Probability calibration
- Roll-rate models
- Profitability models
- Risk-based pricing
- Capital requirements
- Loss-given-default models
The main aim of this module is to give a deep understanding of a particular area/topic by means of a
supervised project in some area of mathematics. The project may be theoretical and/or
computational and the area/topic for each student is chosen in consultation with the Department.
The project is designed to be an introduction to research work in mathematics.
Learning Outcomes
- have pursued a topic of mathematical research, beyond the scope of lectured modules, and
engaged with ideas at the frontier of present mathematical knowledge.
- have produced a written report, finished to a professional standard, containing an exposition of the
topic of your project together with an account of any new results or investigations.
- have demonstrated your ability to communicate mathematics effectively in both written and
spoken formats.
Module Content
The project will be on a topic agreed between the student and the supervisor and (where
appropriate) the Director of Studies in Mathematics. Work on th project takes place in terms 2 and
3. It will offer scope for the student to master material well beyond that offered in lectured
modules, and to reach the frontiers of research.