# Research - Mathematics

## Research Areas

Staff in the Department of Mathematics and Statistics carry out research on a wide variety of topics in pure and applied mathematics, work that calls on mathematical knowledge from many fields such as algebra, analysis, number theory, differential equations and numerical analysis. A typical graduate programme includes papers from several of these areas.

The list below indicates general areas in which staff would be willing to supervise graduate projects and theses. The list is not exhaustive and most staff would consider other topics not listed here, which they would happily discuss with you. They will of course be receptive to your own ideas for projects.

For a PhD or MPhil, which involve original research, supervisors will only consider topics closely related to their own research. Otherwise there is a risk of repeating work already published, or which is of little interest.

The other graduate degrees allow greater flexibility, and a review of published work on a mathematical topic in which you are particularly interested can often be a suitable project.

Other projects may also be possible provided a suitable supervisor can be arranged. In some cases, this might involve a team which includes staff outside of the Department of Mathematics and Statistics. For details consult the Graduate Adviser.

### Combinatorics

Combinatorics is a branch of discrete mathematics, which in turn is a branch of pure mathematics.

Within combinatorics, Dr Nick Cavenagh does a lot of work on latin squares, latin trades or bitrades and graph decompositions. Latin trades connect with many branches of pure mathematics including geometry (eg partitioning an integer-sided triangle into smaller, integer-sided triangles), finite field theory (in particular Weil's theorem has been useful), group theory (some latin trades may be defined in terms of a group with specified properties) and linear algebra.

A latin square of order n is an nxn array of symbols 1,2,....,n such that each symbol occurs exactly once in each row and once in each column. Note that a completed Sudoku puzzle is a type of latin square of order 9.

Problems in combinatorics are often easy to state but sometimes hard to solve. Those with an aptitude and disposition for finding patterns and solving puzzles often enjoy research in combinatorics.

**Supervisor:** Dr Nick Cavenagh

### Arithmetic Geometry

Number theory is as relevant today as it was 2,500 years ago, with the advent of high-powered computing and cryptography. Dr Daniel Delbourgo's research interests lie in the area of arithmetic geometry, which uses tools from geometry and cohomology to study rational solutions to equations. As a famous example, Fermat's Last Theorem asserted that there are no (non-trivial) integer solutions to the equation x^n+y^n=z^n when n>2, yet its eventual proof by Andrew Wiles was found only after a mere 350 years of concentrated effort

by numerous great mathematicians!

Dr Daniel Delbourgo's work in this area applies ideas from classical Iwasawa theory and Galois representations, to study the arithmetic behaviour of invariants arising from these objects. He is also interested in the special values of these L-functions, and there is a rich vein of conjectures connecting these values with elements in K-groups.

Some of his recent efforts involve extending what we know over abelian extensions of the rationals, to some brand new non-abelian examples.

**Supervisor:** Dr Daniel Delbourgo

### Generalised Sylow Theorems

Sylow's theorem is one of the most useful tools in a group theorist's toolkit. It has now been generalised in a multitude of ways. The problem today is one of classifying the different generalisations and seeking a better understanding of the underlying principles that give rise to various categories of generalised Sylow theorems.

**Supervisor:** Dr Ian Hawthorn

### Solvable Group Theory

The composition series structure within a solvable group equips the group with a kind of a 'scaffold'. This allows us to employ inductive arguments. Hence solvable group theory has quite a distinct flavour from the more difficult theory of finite groups in general. I have particular interest in the area of Fitting classes of solvable groups where there are a number of unsolved problems of current interest.

**Supervisor:** Dr Ian Hawthorn

### Lattice Rules

Lattice rules are used for the numerical integration of multiple integrals in hundreds or even thousands of variables. There has been much recent work on lattice rules and one of the main results is that the generating vectors for these lattice rules may be constructed by using a component-by-component algorithm.

There is now a need to do numerical testing of these lattice rules to see how they perform. Besides standard test problems, these lattice rules could be tested out on integrals arising from practical situations such as those from financial models.

Lattice rules are usually constructed for integrands over the unit cube. However, there are some applications in which one wants to approximate integrals where the integration region is all of Euclidean space. A question that arises is whether to use lattice rules for the unit cube and then do some mapping to Euclidean space or whether to use lattice rules designed for Euclidean space in the first place.

Of course, there are many other unanswered questions on lattice rules (such as those to do with their structure) and these are worthy of exploration as well.

**Supervisor:** Associate Professor Stephen Joe

### Inhomogeneous Cosmological Models

Dr Woei Chet Lim is interested in the evolution of inhomogeneous cosmological models according to general relativity. The goal is to build an inhomogeneous model of the universe consistent with observational data, and to find any new relativistic phenomena.

Dr Lim is currently studying the spike solution (in vacuum, with matter, or with an electromagnetic field), and the void model. The vacuum spike solution describes recurring inhomogeneous sheet-like gravitational distortions that occur during the chaotic BKL (Belinski-Khalatnikov-Lifshitz) phase shortly after the Big Bang; the void model describes the evolution of a relatively empty vast space. Sheets or bubbles of spikes are conjectured to intersect and interact with each other in filaments and points, and cause matter to gravitate towards these sheets, filaments and points to form large scale structures, leaving behind relatively empty regions that become voids. The inhomogeneous paradigm conjectures that the accelerated cosmic expansion, presently attributed to hypothetical dark energy in the homogeneous standard model, is an apparent effect of averaging the different expansion rates of the voids and the large scale structures.

The Einstein field equations of general relativity are a set of hyperbolic partial differential equations. Dr Lim generally solves them numerically using finite difference methods. In special cases such as the spikes, he finds the exact solution using solution-generating transformations. He also use analytical approximations and qualitative dynamical systems methods to study the evolution of the models.

**Supervisor:** Dr Woei Chet Lim

### Astrophysics

Dr Yuri Litvinenko is interested in developing theoretical models for a wide range of astrophysical processes – from energy release in flares on the Sun to the acceleration of galactic cosmic rays. The work is motivated by observations that put strong constraints on the theories, so developing models and making quantitative predictions is usually an interesting but challenging job.

**Supervisor: **Dr Yuri Litvinenko

### Turbulent Flows

Associate Professor Sean Oughton's current research interests centre on understanding the behaviour of turbulent flows. Physically we all have a good understanding of what a turbulent flow is. For example, white water rapids are clearly turbulent, whereas a (stationary) jar of honey is not. In fact, on the earth most flows, at most times, areturbulent. Mathematically, one might say that a turbulent flow is characterised by motions which occur over a broad range of length (and time) scales and that these motions interact nonlinearly. It is this nonlinear nature of the problem that makes it simultaneously so rich and so challenging.

A particular interest is magnetofluid turbulence, where the fluid is electrically conducting so that one must consider not just the behaviour of the fluid's velocity, but also that of its magnetic field. Examples of magnetofluids include liquid metals (eg mercury) and plasmas (eg the sun, the solar wind, the working fluid in nuclear fusion devices). Most of the matter in the universe is thought to be in the plasma state, that is, the atoms have been ionised. One way to study conducting fluids is using magnetohydrodynamics (MHD). This is the marriage of the equations of fluid dynamics with those of electrodynamics, and provides a good approximation to the behaviour of various parts of the solar system (or heliosphere). Important dynamical features of MHD include waves, turbulence, plasma heating, and particle acceleration. The work involves a mixture of theory (including statistical mechanics and modelling) and computer simulations of the governing equations. Associate Professor Oughton is happy to supervise PhD and masters topics on fluids and MHD, particularly solar wind/solar corona/turbulence.

**Supervisor:** Associate Professor Sean Oughton

### Algebra of Partial Maps

An important topic in algebra is to abstractly represent certain concrete kinds of structure. For example, a well-known fact from group theory is that every group can be represented as a group of permutations of a set, and conversely, every collection of permutations closed under composition and inverse is a group.

One of Dr Timothy Stokes' main research interests is to generalise this correspondence to other situations. There are connections with the theory of relation algebras, of importance in Computer Science.

**Supervisor:** Dr Timothy Stokes

### Radical Theory

The Jacobson radical of ring theory is the key to unlocking much information about the structure of rings (algebraic objects generating the familiar number systems, which include polynomials and matrices as examples). Dr Timothy Stokes is interested in the generalisation of these ideas to other kinds of algebraic systems.

**Supervisor:** Dr Timothy Stokes

### Free Surface Problems

A very basic problem in the theory of ideal fluids is the behaviour of a free surface in response to the withdrawal of fluid through a submerged sink. The steady state case has received much attention in past decades, although recently a lot of work has been done in the unsteady case with the flow initiated from a quiescent situation. Dr Timothy Stokes is interested in this problem in two and three dimensions, for both finite and infinite depth situations.

**Supervisor:** Dr Timothy Stokes