Mathematics Department
Past Colloquia

 

The Colloquia are relaxed and non-technical talks aimed at being accessible to all the postgraduate students.

A list of current colloquia is available here

20 March 2009,
room K3.11
Robin Wilson
Open University and Oxford
 
Leonhard Euler - 300 years on
 
Abstract: Leonhard Euler (born 1707) was the most prolific mathematician of all time, and worked in a wide variety of areas, ranging from the very 'pure' - the theory of numbers, the geometry of a circle and musical harmony - via such areas as infinite series, logarithms, the calculus and mechanics, to the practical - optics, astronomy, the motion of the Moon, the sailing of ships, and much else besides. In this illustrated lecture I shall explore some of these topics in a historical context.
 
27 February 2009,
room K0.20
Catharina Stroppel
Universität Bonn
 
Categorification and equivalences of categories
 
Abstract: I will try to explain what categorification means and describe motivations, the main theory and examples. I will apply this to obtain equivalences of categories.
 
30 January 2009,
4.45 pm - 5.45 pm
room K3.11
Dmitri Vassiliev
University College London
 
The Dirac equation for dummies or theory of elasticity for the seriously advanced
 
Abstract: The talk deals with two seemingly unrelated subjects.
a) The Dirac equation which is an accepted mathematical model for spin 1/2 particles such as the neutrino and the electron.
b) Cosserat elasticity, a generalisation of classical elasticity in which points of the elastic continuum are given rotational degrees of freedom.
The aim of the talk is to show that the Dirac equation is a special case of Cosserat elasticity, namely, that the Dirac equation describes an elastic continuum with no displacements, only rotations. This idea is not new: it lies at the heart of the theory of teleparallelism (= absolute parallelism = fernparallelismus) promoted by Einstein and Cartan in the end of the 1920s and rejected by the mainstream theoretical physics community. The new element is the choice of Lagrangian [1], one which is conformally invariant.
[1] J. Burnett, O. Chervova and D. Vassiliev, Dirac equation as a special case of Cosserat elasticity, http://arxiv.org/abs/0812.3948
 
28 November 2008,
room K0.20
Raphael Rouquier
Oxford
 
Hecke algebras and differential operators
 
Abstract: I will introduce deformations of partial derivatives and the algebras they are governed by. Their representations are related to finite dimensional Hecke algebras via the Riemann-Hilbert correspondence and to quantizations of Hilbert schemes of points on the complex plane via micro-local methods.
 
31 October 2008,
room K3.11
Claudio Albanese
King's College London
 
Convergence theorems for diffusion processes
 
Abstract: This talk is about the problem of building a theory for continuous time diffusion processes constructively. I became interested in the constructive theory of probability and stochastic processes because of applications to numerical analysis, but the topic is of independent mathematical interest.
By defining a diffusion process as the limit of discrete processes on finite Markov chains, one is naturally led to discretized versions of transition probability kernels and stochastic integrals. The problem is then to establish convergence in the continuous space limit constructively, i.e. by directly controlling the Cauchy convergence condition in a suitable norm. I consider the general case of diffusions with moderately rough coefficients (uniformly continuous or Hoelder continuous). In the limit, one reobtains as a particular case the classical existence and smoothness results established in the 1960s by Strook and Varadhan with the aid of martingale methods and by Fabes with PDE methods. However, the constructive proof gives explicit and (in a sense) optimal convergence estimates which are of independent interest. The method is based on renormalization group analysis.
As an application to numerical analysis, this result contributes to the problem of exponentiating a Markov matrix. Eigenvalue decompositions are notoriously marred by the difficulties of pseudospectrum which arise in cases when the drift of the diffusion term plays an important role and spoils the normality of the Markov generator in a major way. In such cases, double precision arithmetics is not sufficient to exponentiate by spectral decomposition. However, fast exponentiation (an explicit scheme satisfying the Courant condition) is a stable and robust method even in single precision. The convergence theorems for diffusions with rough coefficients explain how single precision stability arises and how this is intertwined with the smoothing properties of diffusion kernels.
 
17 October 2008,
room K3.11
Thomas Spencer
Institute for Advanced Study, Princeton
 
Statistical Mechanics, Random Matrices and Random Walk
 
Abstract: We review some connections between Random matrices and Statistical Mechanics. After a brief discussion of the GUE ensemble, we describe a lattice "spin" model related to random band matrices. This model has a probabilistic interpretation in terms of random walk in a random environment. This is joint work with M. Disertori and M. Zirnbauer.
 
22 May 2008
(Thursday),
17:20-18:20,
Edmond J Safra Theatre (King's Building)
R M Wald
University of Chicago
 
Black Holes and Thermodynamics
 
14 March 2008,
room K0.19
(South Range)
Minhyong Kim
University College London
 
Fundamental groups, principal bundles, and Diophantine geometry
 
Abstract: In his investigation of the Diophantine geometry of algebraic curves, Andre Weil developed the algebraic theory of the Jacobian in the early 20th century. We will discuss the different manifestations of his construction, and recent applications of topological ideas to the arithmetic study of hyperbolic curves.
 
8 February 2008,
room K0.20
(South Range)
Shahn Majid
Queen Mary, University of London
 
Noncommutative geometry of enveloping algebras and the origin of time
 
Abstract: Noncommutative geometry allows us to extend geometric concepts to situations where the coordinate algebra on a manifold is made noncommutative or `quantised'. I will illustrate this for the enveloping algebra U(g) of a Lie algebra g viewed as a quantisation of the Poisson manifold g*. I show that if g is simple, any covariant differential structure on U(g) is anomalous due to a breakdown of associativity among differential forms and that this is resolved by the spontaneous appearance of extra dimensions in the quantum cotangent bundle. This turns out to be a typical feature of any sufficiently noncommutative geometry and I argue that it could be viewed as the algebraic origin of time: noncommutative spaces are not static objects but induce their own evolution. If the noncommutative space is already spacetime then these extra dimensions have a different meaning and I argue that they have to do with the geometry of the renormalisation group in quantum gravity. This will require elements of noncommutative Fourier theory and noncommutative sampling theory on U(g) as recently developed.
 
25 January 2008,
room K0.19
(South Range)
Giovanni Felder
ETH Zürich
 
Feynman graphs and Riemann-Roch-Hirzebruch theorem
 
Abstract: Riemann and Roch were concerned with finding the dimension of the space of meromorphic functions on a Riemann surface with prescribed orders of poles at given points. The modern version of their result is due to Hirzebruch, who gave a formula for the Euler characteristic of a holomorphic vector bundle on a complex manifold in terms of a characteristic class. Later Feigin and Tsygan gave an interpretation of the Riemann-Roch-Hirzebruch characteristic class in terms of the Hochschild homology of the algebra of polynomial differential operators. An explicit version of their result is in terms of a Feynman graph expansion for a quantum mechanical free particle with infinite mass. We will review these developments and report on recent results on RRH-type formulae for traces of holomorphic differential operators on complex manifolds.
 
30 November 2007,
room K3.11
Marc Mézard
CNRS - Université Paris Sud
 
Phase Transitions in Computer Science
 
Abstract: A new field of research is rapidly expanding at the crossroad between statistical physics, information theory and combinatorial optimization. One example on which I will focus is the use of statistical physics concepts for solving large constraint satisfaction problems like random satisfiability, coloring, or error correction.
The "cavity method" offers new insight on the SAT/UNSAT phase transition of these problems. On the analytic side, it provides results on the phase diagram, and shows the existence of a 'hard SAT' phase with a complicated geometrical structure. This insight naturally translates into a new algorithmic framework, survey propagation, which is a very efficient message passing procedure.
 
16 November 2007,
room K3.11
Roger Heath-Brown
Oxford
 
Zeros of forms in many variables
 
Abstract: An indefinite quadratic form with rational coefficients, in at least 5 variables, will vanish at some non-zero rational point. Is 5 best possible, and if so why? What happens for forms of higher degree? What happens for other fields?
 
26 October 2007,
room K3.11
William Shaw
King's College London
 
Modern Applications of Complex Variables
 
Abstract: The context for most elementary and beginning graduate level applications of complex variables to problems in applied mathematics is the two-dimensional picture: w = x + i y. The main theme of this talk is "what do we do when we have not only x and y, but also z and perhaps t?" The answer to this question takes us into the geometry of TP1 and CP3, and this talk will try to present a bridge between elementary complex analysis and applied mini-twistor theory. Along the way I will look at minimal surfaces, string theory, Stokes flow and the Navier-Stokes equations, and suggest some applied research problems.
 
Friday, 16 March, 2007 J.P. Keating
Bristol
 
Random Matrices, L-functions and Elliptic Curves
 
Abstract:
I will review some conjectural connections between the characteristic polynomials of random matrices and the moments of number-theoretic L-functions (e.g. the Riemann zeta-function). I will then describe recent applications of these connections leading to conjectures, supported by numerical computations, concerning the ranks of elliptic curves
Friday, 16 January 2007 Fred Diamond
KCL
 
Modular forms and Galois representations
 
Abstract:
I will explain conjectures of Serre, Fontaine and Mazur relating modular forms and Galois representations, recent progress on them due to Kisin, Khare and Wintenberger, and generalizations of them in the context of Langlands' program.
26 January 2007 C. Bachas
ENS, Paris
 
Wetting and Minimal Surfaces
 
Abstract:
The phenomena of capillarity and (partial) wetting have been studied for two centuries, yet they continue to be of great current interest. After a brief historical review, I will discuss some recent results on the associated minimal-surface problem. In conclusion, I will draw some analogies with problems facing present-day string theory.
Friday 8 December 2006 Christian Maes
Leuven, Belgium
 
Mathematical challenges of statistical mechanics.
 
Abstract:
This year's Fields medals have been awarded to Andrei Okounkov, Grigori Perelman, Terence Tao and Wendelin Werner. Much of their work can be related to statistical physics. For instance, Wendelin Werner is especially known for his outstanding work on Stochastic Loewner Evolutions and applications to percolation, interacting particle systems, conformal field theory, intersections of 2D Brownian motions etc; the work of Andrey Okounkov covers random matrices, Young diagrams and determinantal processes. At the same time the Gauss prize was awarded to Kiyoshi Ito, well known for his stochastic calculus - so relevant for diffusion processes. It appears that this is the first time such important honours have been given to "work in stochastics" and therefore appears stimulating for this field of mathematical statistical physics. In this colloquium we will describe the interaction between probability theory and statistical physics. The main examples come from the theory of large deviations and from toy models of interacting particle systems.
Friday 17 February 2006 Robert Devaney
Boston University, Mass.
 
Cantor and Sierpinski, Julia and Fatou: Crazy Topology and Complex Dynamics
 
Abstract:
In this talk we describe three very interesting types of planar sets that arise naturally as Julia sets of exponential and rational maps. These sets are Cantor bouquets, indecomposable continua, and Sierpinski curves. We also describe some of the surprising properties of these sets. No prior acquaintance with these types of objects is necessary.
Friday 3 February 2006 John Silvester
KCL
 
Pendulums, Pencils, and the Poristic Polygons of Poncelet
 
Abstract:
s Nigel Hitchin pointed out in a recent article (A lecture on the octahedron, Bull.L.M.S. 35 (2003) 577-600), Poncelet's Porism, a problem in classical geometry, has been a favourite of presidents of the LMS since the society's foundation. In its simplest form, Poncelet's Porism says that for any triangle, there are infinitely many other triangles with the same circumscribed and inscribed circles: one can move the vertices around the larger circle in such a way that the three sides always touch the smaller circle. I shall illustrate this using a dynamic geometry program, and sketch a variety of proofs, by methods including mechanics, and elliptic curves. I shall also explore the poristic locus of a special triangle point, using brute force computer algebra calculation, and a more subtle approach.
Friday 9 December 2005 Richard Thomas
Imperial College, London
 
How to be a millionaire - an introduction to the Hodge conjecture
 
Abstract:
solemn undertaking: "I would make it accessible to any maths grad student.."
Friday 2 December 2005 Don Zagier
Bonn
 
Dilogarithms and the Bloch group: from algebraic K-theory to modular forms to conformal field theory.
Friday 23 November 2005 Andreas Recknagel
KCL
 
String Dualities: choosing a basis is a Good Thing.
 
Abstract:
I will try to sketch some of the ideas that make (some) string theorists tick. I'll give a rough outline of the physical starting point of string theory, and of some of the mathematical input which is not entirely standard outside of string theory. As for output, it appears that dualities are the recurring theme behind the few interesting mathematical developments triggered by string theory; in unfriendly terms, one might define dualities as conjectures arising when physicists are unable to formulate their theories in a properly invariant language, but lucky.
Monday 23 May 2005 Barry Simon
Caltech
 
The lost proof of Loewner's Theorem
 
Abstract:
A real-valued function, F, on an interval (a,b) is called matrix monotone if F(A) < F(B) whenever A and B are finite matrices of the same order with eigenvalues in (a,b) and A < B. In 1934, Loewner proved the remarkable theorem that F is matrix monotone if and only if F is real analytic with continuations to the upper and lower half planes so that Im F > 0 in the upper half plane. This deep theorem has evoked enormous interest over the years and a number of alternate proofs. There is a lovely 1954 proof that seems to have been ``lost'' in that the proof is not mentioned in various books and review article presentations of the subject, and I have found no references to the proof since 1960. The proof uses continued fractions. I'll provide background on the subject and then discuss the lost proof and a variant of that proof which I've found, which even avoids the need for estimates, and proves a stronger theorem.
Friday 25 February 2005 Professor Jean-Francois Mestre
ENS, Paris
Around the arithmetic-geometric mean

Abstract
To follow later.

Friday 26 November 2004 Professor C T C Wall
University of Liverpool
Singular points of plane curves

Abstract
What are the possible configurations of singularities that one can find on a plane curve with polynomial equation of given degree d? I will give examples for d small, an outline of the classification and main invariants of singularities, and discuss a number of results (some recent) describing which are the most singular curves of degree d, for different interpretations of `most singular'.

Friday 22 October 2004 Professor Tom Berry
Univ. Simon Bolivar, Caracas
Primality testing from F to AKS

Abstract
The problem is to determine, in finite time, if a given, large, odd integer $n$ is prime. Fermat seems to have been the first western mathematician to treat this problem, and since Fermat it has had a presence, historically somewhat peripheral, in mathematics. Most, but not all, of the classical interest was in finding primality tests for numbers of special form, such as Fermat numbers ($2^{2^m}+1$) and Mersenne numbers ($2^p-1$, $p$ prime). Recently, the advent of computers and the fact that some cryptographic algorithms require large primes, has moved the subject nearer the mainstream, and interest has moved to finding tests for general $n$. This survey gives some of the highlights of primality testing, from Fermat's own contribution, which leads directly to efficient probabilistic algorithms, through nineteenth century tests for Fermat and Mersenne numbers and generalizations, established using quadratic and higher reciprocity laws, to the 2002 breakthrough of Agrawal, Kayal and Saxena which gives the first polynomial time general test.

Friday, 7 May 2004 Professor Marcus du Sautoy
Oxford University
Through the looking glass: groups from a number theoretic perspecti\ ve

Abstract
Ever since Riemann's seminal paper on the primes, the zeta function has proved \ a powerful weapon in the mathematician's arsenal. In recent years, group theorists have discovered t\ hat non-commutative analogues of classical zeta functions in number theory provide an interesting n\ ew perspective on the theory of infinite groups. These zeta functions encode in a Dirichlet serie\ s arithmetic information about the lattice of subgroups of an infinite group. This lecture w\ ill explain how these zeta functions are providing a new bridge between the theory of nilpotent\ groups and classical arithmetic geometry.

Friday 5 March 2004 Professor GR Grimmett
Cambridge University
Conformality in discrete probability and combinatorics

Abstract
Self-avoiding walks, percolation, Ising/Potts models, random walks and Brownian motion, these are some of the basic processes of what might be termed probabilistic physics. A collection of beautiful and easy-to-state conjectures has emerged over the last 30 years about such processes in two dimensions, and particularly about their behaviour at certain parameter values called `critical points'. Major recent advances of Oded Schramm, together with Greg Lawler and Wendelin Werner, have revolutionised the area. The theory of conformal maps of the half-plane turns out to be the key, in conjunction with a differential equation due to Loewner. In the limit of large-space, the geometry of such processes coincides with members of a canonical class of processes called stochastic Loewner evolutions. Thus one obtains a rigorous theory which threatens to explain the link betwen discrete probability and conformal field theory in two dimensions. In this lecture, I will describe and summarise the area using elementary language suitable for graduate students with no previous relevant knowledge.

Friday 27 February 2004 Dr. Konstanze Rietsch
KCL
Quantum cohomology in Lie theory

Abstract
Quantum cohomology gives rise to deformations of cohomology rings, e.g . of Grassmannians or more generally partial flag varieti\ es. This area lies at the interface of many different parts of mathematics, the rings in question having been studied with methods ranging from algebraic combinatorics to integrable systems. We aim to give an introduction to these quantum cohomology rings, leading, \ if time allows, to a new Lie theoretic interpretation.

Friday 23 January
2004
Professor EG Rees
Edinburgh University
Higher characters, symmetric products and Frobenius algebras

Abstract
Higher characters of finite groups were introduced by G. Frobenius in 1896. The formulae for them have reappeared in several contexts over the last decade or so. They have been used by Wiles and Taylor to study representations and by Hoenke and Johnson and, later, McKay to study finite groups. The formulae also arose in joint work with Victor Buchstaber on multi-valued groups. They allow the formulation of generalisations of the Nullstellensatz and Kolmogorov and Gelfand's 1939 theorem characterising the image of the evaluation map. This has applications to the invariant theory of the symmetric groups. There are also applications of the formulae to the theory of Frobenius algebras.

Friday, November 28 2003 Alan Beardon
Cambridge University
 
Divisibility and Orthogonal polynomials
 
Abstract:
The Fibonacci numbers satisfy many interesting identities, and have many interesting divisibility properties. Some of these are shared by solutions of other recurrence relations (for example, Chebyshev polynomials of the second kind). In this partly expository talk we shall explore this idea further, with particular reference to sequences of orthogonal polynomials on the real line (these necessarily satisfy a linear second order recurrence relation), and to recurrence relations with coefficients that depend on n.
Friday, November 14 2003 Martin Bridson
Imperial College
 
Groups and non-positive curvature
Friday 21 March 2003 Jeremy Gray
The Open University
 
Jesse Douglas, Minimal surfaces and the first Fields Medal
 
Abstract:
Few objects in mathematics have the charm of minimal surfaces. Despit\ e important work in the 19th Century by Riemann, Weierstrass and Schwarz, the general study of minimal surfaces remained blocked until the work of the American mathematician Jesse Douglas in the 1930s, for which he received one of the first two Fields Medals in 1936. Yet his work provoked a long-running and painful battle with Tibor Rad\363 and Richard Courant, and even today it is not easy to find out what Douglas actually did. In this talk I shall give an introduction to his work, explain the nature of the controversy, and give some information about Douglas himself, about whom very little is known.
Friday 28 February 2003 David Lavis
KCL
 
Equilibrium and (Ir)reversibility in classical statistical mechanics
Friday February 7 2003 Prof Graeme Segal
All Souls College, Oxford
 
The Structure of Spaces and Manifolds
Friday December 13 2002 Prof Tim Gowers
Cambridge University
 
Friday 8 November 2002 Prof David Saad
University of Aston
 
Getting the message across - the statistical physics of error-correcting codes
 
Abstract:
Error-correcting codes are of significant practical importance as they provide mechanisms for retrieving the original message after corruption during transmission. We study low density parity-check error-correcting codes, using methods adopted from statistical physics, to discover their typical theoretical and practical limitations.
My talk will focus on the relevance of statistical physics to the study of error-correcting codes, different approaches that can be employed for carrying out the analysis, theoretical and practical differences between various code constructions and the insight gained from the analysis.
July 12 2002 Prof John Schwarz
Caltech
 
Supersting Unification
May 27 2002 Prof Misha Gromov
IHES Bures-sur-Yvette
 
Geometry of Configuration Spaces
Friday 15 March 2002 Dr Adrian Kent
University of Cambridge
 
Quantum linearity, relativity, and computability
 
Abstract:
Some time ago, Weinberg proposed testing the linearity of quantum theory against nonlinear alternatives. This led Gisin and Polchinski to note the crucial role linearity plays in allowing quantum theory to coexist peacefully with relativity: nonlinear theories generally allow superluminal signalling through entanglement. Conversely, the impossibility of superluminal signalling can be used to derive quantitative bounds on the attainability of quantum information processing tasks such as imperfect cloning. The computing power inherent in nature, and the cryptographic uses of quantum information, also depend crucially on the linearity or otherwise of the evolution laws: a non-linear quantum computer would be far more powerful, while non-linear quantum cryptography would be far more vulnerable.

In this talk, I review the relationships between linearity, relativity and information processing, and point out the existence of a previously unconsidered type of nonlinear theory compatible with relativity.

Friday 1 March 2002 Professor John Cremona
University of Nottingham
 
Rational Points on Elliptic Curves
 
Abstract:
The Arithmetic of Elliptic Curves used to be a subject only of interest to pure mathematicians, even only to number theorists. Two rather different applications of elliptic curves have brought them more into the public eye over the last ten years: on the one hand, the connection with Fermat's Last Theorem, which led to the famous proof by Wiles and others; and on the other hand, their application in cryptography. (The latter application means that most of us use elliptic curves, or will do soon, every day of our lives, without knowing, whenever we use a credit card.)

My talk will cover more traditional ground. Given an equation with rational coefficients, how can we determine whether or not it has any rational solutions? Does it have finitely or infinitely many? How can we find them all? Not one of these questions yet has a completely satisfactory solution! The first half of the talk will assume no background knowledge, and give a survey of what is known and what can be done in practice to solve specific equations. Towards the end I will discuss some of the more recent techniques which have been developed to help answer these questions.

Friday 8 February 2002 Professor Peter Whittle
University of Cambridge
 
"Recognition and Oscillatory Operation in Neural Networks"
 
Abstract:
This talk is concerned with both artificial and natural neural nets but no knowledge is presupposed of either. An associative memory is a device which `recognises' patterns in data, in that it assigns them to one of a number of prescribed categories. We assert that such a memory must be able to cope with `fading data' i.e. to form an inference even as its memory of the data fades. A net deduced on this criterion shows striking biological parallels.

The other theme of this talk is the introduction of oscillatory operation, along the lines suggested by W.J. Freeman. A number of remarkable effects emerge; notably the modulation of the gamma-range oscillation by a slow square-wave oscillation, reminiscent of the alpha-range oscillation evident in actual electroencephalograms.

Friday 25 January 2002 Professor John Cardy
University of Oxford
 
Counting Polygons and Lattice Trees in the Plane:
New Universal Results
 
Abstract:
I review recent work, partly rigorous and partly speculative, concerning the counting of (1) self-avoiding polygons in the plane according to their perimeter and area; (2) branched polymers or lattice trees according to their mass. Theoretical physics notions such as supersymmetry and confinement, and mathematical ideas such as $q$-algebraic functions, enter into the arguments. The output is an exact scaling function which encapsulates universal aspects of both problems. Its form is well-supported by lattice enumeration studies.
Friday 14 December 2001 Dr Giulia Iori
King's College London
 
"Statistical Mechanics Models of Consumption"
 
Direct interactions among economic agents, usually referred to as social interactions (as opposed to market mediated interactions) are meant to capture how the decision of each individual is influenced by the choice of others in his reference group. In the economic literature the attention has been mainly focused on the case of positive, pairwise symmetric, spillover, i.e. the case where the payoff of a particular action increases when others behave similarly. In a recent work, Cowan, et al. (1998), introduced a model of consumption behaviour, hereafter called the CCS model, where the utility of an individual agent is positively or negatively affected by the choices of other agents and consumption is driven by peering, imitation and distinction asymmetric effects. The CCS model has been analyzed in the framework of random utility discrete choice models. These models have been analyzed using the techniques of statistical mechanic. In the case of symmetric interactions, the stationary or equilibrium probability can be expressed in the form of a Gibbs distribution. With asymmetric interactions the long time behaviour of the system has to be calculated by solving the dynamical problem and cannot be evaluated by equilibrium ensemble averages. We use numerical simulations with Glauber dynamics to explore the dynamical properties of the model. Depending on the evolution algorithm, as well as the degree of the asymmetry, the attractors can be either fixed points or limit cycles. We then introduce noise in the system and study how this affects the dynamics of consumption. Eventually, extending the analysis of CCS we discuss the role of costs and memory in the consumption decision of the agents and consider different scenarios for the connectivity among the economic agents.
Friday 30 November 2001 Professor David Epstein
University of Warwick
 
"Defining and computing consensus trees"
 
By a weighted tree, we mean a finite tree where each edge in the tree comes with a positive number, thought of as the length of the edge. For example the tree might represent a portion of Darwin's "Tree of Evolution". Each vertex of the tree, except the leaves, might represent a speciation event. The length of an edge might represent the number of mutation events between the vertices. Each leaf might represent an existing species. (Or each leaf might represent an individual organism. Or each leaf might represent a bacterial strain---though Darwin's tree is known to be a seriously wrong picture for bacteria.)

Billera, Holmes and Vogtmann (BHV) have produced a metric on the set of such trees with specified leaves (www.math.cornell.edu/~vogtmann). In this metric space, it is possible to give a rigorous definition of the average of a finite set of weighted trees. (In fact one of the problems is that there are several different concepts of average or centre in this space, each of which makes mathematical sense.) BHV indicate an algorithmic approach to finding the average. Their method is feasible if the number of leaves is small and the number of trees is very small.

We have been working on constructing algorithms for analysing the BHV situation, in such a way that the algorithms are feasible in the presence of much larger sets of data.

Friday 16 November 2001 Dr Martin Evans
University of Edinburgh
 
"45 Years of Directed Percolation"
 
Abstract:
The talk will give an overview of the problem of Directed Percolation first introduced into the mathematical literature some 45 years ago: `Percolation Processes' by S.R. Broadbent and J.M. Hammersley, Proc. Camb. Phil. Soc. 53 (1957) 629. The basic problem has reappeared in different contexts and in different guises down the years, and examples of the many applications and related systems will be presented. It will be stressed how the Directed Percolation ``universality class'' is ubiquitous in the study of non-equilibrium systems such as systems possessing an absorbing state. The talk will conclude with an overview of open problems and questions of solvability of the system.
Friday 26 October 2001 Professor Paul Townsend
University of Cambridge
 
"The Story of M"
 
Abstract:
For some time, efforts to arrive at a unified theory of all forces, incorporating the Standard Model of elementary particle physics as well as Einstein's gravity, have focussed on models of String Theory. Instead of point particles in four dimensions, these theories use one-dimensional objects (strings) as fundamental constituents, propagating in a ten-dimensional space-time. Recent progress in this area has shown that string theories in fact contain further objects, so-called branes, some of which are higher- dimensional and which are as fundamental as the strings themselves. Using branes, unexpected relations among different string models could be established,as well as relations to supergravity in eleven spacetime dimensions. This suggests that there is a yet more fundamental theory, dubbed M-theory, underlying ten-dimensional string theories and eleven-dimensional supergravity. The talk aims at telling "L'histoire d'M", as far as it is known today, to a rather general audience. The challenge posed to M-theory by an accelerating universe is to be discussed briefly at the end.
Friday 12 October 2001 Professor Frances Kirwan
(University of Oxford)
 
"Group valued moment maps"
 
Abstract:
The concept of a moment map (or momentum map) in symplectic geometry is a generalisation of the familiar notions of angular and linear momentum in mechanics, and has been studied for several decades. It is a smooth map from a symplectic manifold X to the dual of the Lie algebra of a group G acting on X, whose components are Hamiltonian functions for the infinitesimal action on X of elements of the Lie algebra. A few years ago Alekseev, Malkin and Meinrenken introduced the concept of a quasi-Hamiltonian G-space, for which there is a moment map taking values in the group G itself instead of in the dual of its Lie algebra. The aim of this talk is to describe some of the similarities and differences between group valued moment maps and traditional moment maps, and an application of the new approach.
Apr 27 2001   Prof. Roger Penrose     (Oxford)
`Gravitational Quantum State Reduction'

Mar 23 2001   Prof. Henri Gillet     (Illinois)
`Connections between solving Diophantine equations and analysis on manifolds
 
Abstract:
I will give a survey of some of the work that has been done (since the early 80's) on this topic, with emphasis on the analogies that inspired much of the work. Starting with the conjectures of Vojta (inspired by the Mordell conjecture, and analogies between Diophantine questions and Nevanlinna theory), through the work of the speaker and Soulé on arithmetic intersection theory (extending the ideas of Arakelov), and the work of Zhang. I hope to include some discussion of open problems.

Mar 16 2001   Dr. Andrew Hodges     (Oxford)
`Uncomputability in the work of Alan Turing and Roger Penrose'
 
Abstract:
This talk will be mainly historical, charting in some detail what Alan Turing meant by 'machine' between 1935 and his last work in 1954, and how the meaning of 'machine' is related to his famous assertions about the prospect of machine intelligence. Penrose's critique of 'Turing's Thesis' is an important stimulus and reference point for this review.

Mar 2 2001   Prof. Brian Davies     (King's)
`Infinite Machines'
 
Abstract:
We describe in some detail how to build an infinite computing machine within a continuous Newtonian universe. The relevance of our construction to the Church-Turing thesis and the Platonist-Intuitionist debate about the nature of mathematics are also discussed.

Feb 16 2001   Prof. Caroline Series    
(Warwick)
 
`Slicing spaces of Kleinian groups'
 
Abstract:
A Kleinian group is a discrete group of linear fractional transformations which acts on the Riemann sphere. This action extends to hyperbolic 3 space which can be modelled as the interior of the ball. Discreteness implies that there is a region (a fundamental domain) which is moved around disjointly from itself by the group. Usually we can find a suitable region on the sphere, but in transitional cases it may only exist in hyperbolic 3 space.

As we vary the complex valued parameters defining the generators of the group, there will be transitions between discrete and non-discrete groups. Typically, this boundary has extremely complicated fractal behaviour, and pinning it down is intimately bound up with deep questions about hyperbolic 3-manifolds.

We shall describe how the first computer pictures of such boundaries were made and some recent developments, both theoretical and practical. (Illustrated with lots of pictures!)

Jan 19 2001   Prof. Garry Gibbons    
(DAMTP, Cambridge)
 
`Convex Cones in Physics
 
Abstract:
The idea of a convex cone is a very simple one but nevertheless it has a surprisingly large number of applications in physics and deserves to be better known. In this lecture, which is intended to be introductory, with no previous knowledge of cones assumed, I hope to show how the language of convex cones arises naturally in General Relativity, Quantum Mechanics and Supersymmetry. In General Relativity it relates to causal theory, positive mass theorems,the dominant energy condition, ergo-regions, Killing Horizons and black holes. The state spaces of quantum mechanics are convex cones and they also appear in the classification of BPS states in supersymmetric theories. Homogeneous cones and Jordan Algebras are closely related and their symmetries and conformal symmetries may play a role in M-Theory. To see how these symmetries act and what they mean, especially the conformal symmetries, it is useful to generalise the ideas of Special and General Relativity to those of Finsler Geometry a generalisation which is interesting in its own right. Some natural examples involve a novel generalisation of the dynamics of matrices which have cropped up in studies of twistor particle mechanics. Finally the complexification of convex cones leads to a consideration of generalised future tubes. One possible application is to holography and the AdS/CFT correspondence.

Dec 8 2000   Professor John Stachel    
(Boston University)
 
`New Light on the Einstein-Hilbert Priority Question'  
 
Abstract:
It has been claimed that David Hilbert actually wrote down the field equations of general relativity shortly before Albert Einstein, and that, on the basis of his mastery of general covariance, he was better able to understand their physical meaning. On the basis of recently discovered first proofs of Hilbert's paper on the subject, it is shown that neither of these claims can be maintained.

Oct 13 2000   Dr. Gordon Woo    
(EQE International)
 
`The mathematics of natural catastrophes'
 
Abstract:
Natural phenomena have always provided a rich source of problems to challenge applied mathematicians, and to inspire the creation of new mathematics. Natural catastrophes are among the most exceptional events in the natural environment, and mathematicians have an important role in understanding their causes, warning of their occurrence, forecasting their behaviour, and mitigating their effects. This talk will review mathematical ideas and concepts which have been applied to natural catastrophes, and provide practical illustrations from the study of earthquakes, volcanic eruptions, storms and floods. With over 50,000 fatalities worldwide from natural catastrophes in 1999, there is no shortage of difficult problems awaiting urgent solution, and a survey will be presented of some specific issues deserving of further mathematical attention.

Jun 16 2000   Paul Davies    
(Visiting Professor at Imperial College London and Honorary Professor at the University of Queensland)
 
`Time travel: Fact or Fiction?'
 
Abstract:
This was a semi-popular talk without equations - diagrams only - assuming only a nodding acquaintance with relativity.

Mar 17 2000   A Böttcher     (Chemnitz)
"The Spectrum of the Cauchy Singular Integral Operator"
 
Abstract:
The Cauchy singular integral operator, S, in one of the main actors in the theory of Fourier convolutions, Toeplitz operators, Riemann-Hilbert problems, Weiner-Hopf and singular integral equations. While the boundedness of S has been studied for many decades, final results on the spectrum of S were obtained only in recent times. During the last few years, it was discovered that there is a surprising and undreamt-of metamorphosis of the (local) spectra of S from circular arcs via horns and logarithmic double-spirals to so-called logarithmic leaves with a halo. The talk is a survey of this fascinating development. It is aimed at a general audience with some inclination to mathematical analysis and concrete operator theory. Technical details will be omitted, but many beautiful pictures of local spectra will be shown. It will be a feast for the eyes.

Mar  3 2000   B Derrida     (ENS Paris)
"Repetitions in Genealogical Trees and the Renormalization Group".
 
Abstract:
The number of ancestors of each of us, going backwards in time, doubles at each generation in the past. This exponential growth makes repetitions unavoidable, meaning that genealogical trees are not really trees but rather have branches which coalesce. The statistics of these repetitions obey statistical laws which have simple scale invariance and can be calculated exactly. This provides a simple example where Renormalization Group ideas allow to predict non trivial exponents exactly. In this context, the solution of the Galton Watson process, which describes the problem of extinction of family names and which is at the origin of the theory of branching processes can be viewed as a renormalization transformation.

Reference:

B. Derrida, S.C. Manrubia, D.H. Zanette, Universal statistical properties of genealogical trees, Phys. Rev. Lett. 82 (1999) 1987-1990

Feb  4 2000   L E Fraenkel     (Bath)
"On the vertical entry of a wedge into water"
 
Abstract:
This problem was formulated in 1932 by H. Wagner and has been the subject of many papers, but seems to have eluded an existence proof until recently. The lecture will contain an existence theorem and a glimpse of the proof (McLeod and Fraenkel 1997, 2001), but the main intention is to tell stories about the problem and to describe an aspect of it that remains mysterious.

Jan 21 2000   J Wess     (MPI Munich)
Non-commutative Space-time Structures
 
Abstract:
An old idea to generalize the non-commutative structure of quantum mechanics to the space coordinates as well has met with new interest recently. Some interesting examples of a non-commutative space time structure will be discussed in order to learn what we can expect from such an approach. Most interesting, a lattice-like structure of space time will arise quite generally.

Dec 10 1999   C Wright     (Solipsys Ltd)
Juggling - Theory and Practice
 
Juggling has fascinated many for centuries. Seemingly oblivious to gravity, the skilled practitioner can keep several objects in the air at one time, and weave complex patterns that seem to defy analysis.

In this talk the speaker demonstrates a selection of the patterns and skills of juggling while at the same time developing a simple method of describing and annotating a class of juggling patterns. By using elementary mathematics these patterns can be classified, leading to a simple way to describe those patterns that are known already, and a technique for discovering new ones.

Nov 26 1999   S Popescu     (NI)
What is quantum computation?

"I will present, at an elementary level, the basic principles of quantum computation - the main ideas, the architecture of a quantum computer, some quantum computational algorithms, the problem of noise in quantum computers and proposals for building quantum computers."

Nov 12 1999   W Hodges     (QMW)
The mathematics of language and a question of Dedekind
 

Oct 29 1999   A Connes     (IHES)
Renormalisation in QFT and the Riemann-Hilbert problem

We show that renormalization in quantum field theory is a special instance of a general mathematical procedure of multiplicative extraction of finite values based on the Riemann-Hilbert problem.

Oct 15 1999   LMS Meeting in UCL   
N Hitchin: "Hyperkähler geometry and integrable systems"
(To be held at University College in the Chemistry Auditorium, Christopher Ingold Building, Department of Chemistry, 4-5 pm)
 

Oct  1 1999   P Neumann   (Oxford)
What groups were: an account of the development of the axiomatics of group theory
 
This colloquium will be based on a historical study of axioms for group theory. It will begin with the emergence of groups in the work of Galois and Cauchy, treat two lines of development discernible in the latter half of the nineteenth century, and conclude with a note about some twentieth century ideas. One of those nineteenth century lines involved Cayley, Dyck and Burnside; the other involved Kronecker, Weber (very strongly), Hölder and Frobenius.

May  7 1999   Don Zagier     (Director, MPI Bonn)  
Period Functions for Maass Waveforms

Mar 26 1999   Nick Manton     (DAMTP, Cambridge)
Supersymmetric mechanics
 
Supersymmetric quantum theories are much studied by theoretical physicists. They are based on supersymmetric classical systems, whose equations of motion are derived from a Lagrangian. Such Lagrangians, and their accompanying equations, can seem rather formal. In this talk, I shall present a simple example, the supersymmetric extension of the mechanics of a particle moving on a line in a potential. The dynamical variables are Grassmann-algebra valued, with some commuting and some anti-commuting, but the equations of motion can be explicitly solved. There are some interesting geometrical features. A large Lie group of symmetries, related to the abstract supersymmetry algebra, acts on the system.

Mar 12 1999  Steve Alpern     (LSE)
Chaos is Generic when Volume is Preserved
 
Chaotic dynamical systems usually `live' on fairly exotic, often fractal, domains. However it is possible to show that they can `live' on such ordinary sets as the unit square. We outline a combinatorial construction which defines an area preserving chaotic homeomorphism of the square - in particular it gives a homeomorphism of the square which has a dense orbit. The same idea can be applied to produce chaotic homeomorphisms on any manifold. Indeed, it shows that for measure preserving homeomorphisms of a compact manifold, chaos is in fact the general case. This work is joint with V. Prasad and parallels the work of Aarts, Daalderop, and Fokkink.

Feb 26 1999  June Barrow-Green     (Open University)
Poincaré and the three body problem
 
In 1890 Poincaré's memoir on the three-body problem was published in Acta Mathematica as the winning entry in the international competition honouring the 60th birthday of Oscar II, King of Sweden and Norway. Today the memoir is renowned both for providing the foundations for Poincaré's celebrated three volume Les Methodes Nouvelles de la Mecanique Celeste and for containing the first mathematical description of chaotic behaviour in a dynamical system. However, prior to publication Poincaré found a deep and critical error in his original paper and it was only in correcting the error that he discovered mathematical chaos, with the result that the published version is very different to the one which he submitted to the competition. In this talk, I shall discuss Poincaré's paper with particular reference to the error, while at the same time setting it into a historical context in relation to the three-body problem itself.

Feb 12 1999  Robbert Dijkgraaf     (Amsterdam)
The Unreasonable Effectiveness of Quantum Field Theory in Mathematics
 
The last decade has seen remarkable applications of ideas from particle physics, in particular quantum field theory and string theory, to pure mathematics. In topology this has led to new invariants of knots, three-manifolds and four-manifold. In algebraic geometry this approach has transformed enumerative geometry. In this talk I want to sketch the general philosophy behind this phenomenon, illustrate with some simple examples the various mathematical ingredients, and point to some recent developments that show that this line of research has not lost impetus. On the contrary, modern ideas from string theory about dualities seem to point to vast generalisations of what are by now well-established mathematical theories.

Jan 29 1999  Michael Atiyah     (Edinburgh)
Euclidean 3-Space and the Unitary Group
 
A geometrical attempt to understand the spin-statistics theorem of quantum mechanics has uncovered a surprising link between configurations of n distinct points in Euclidean 3-space and the unitary group in n variables. This may generalise to other Lie groups.

Jan 15 1999  Mike Lambrou     (KCL)
Archimedes' $2,000,000 Manuscript
 
This was an informal talk on the story of a number of ancient mathematical manuscripts that have survived to the present day. Some of them are extremely valuable and have occasionally changed hands under dubious circumstances!


Dec 18 1998 Ton Coolen - KCL
`I learn, Mr. Fawlty, I learn ...!'
 
Conventional programmable computers are electronic civil servants. They can and will do nothing that has not been explained to them in full detail. In the real world, where data are messy and inconsistent, and where the number of possible situations to be acted upon is infinite, there is no way of specifying all actions to be taken beforehand, they are thus useless for decision making.

In contrast we nowadays find ourselves with the emergence of information processing machines that `learn'. These start out being completely stupid, but improve their performance gradually (i.e. rewrite their `program') by learning from an expert `teacher'. In this talk I will give an informal and biased introduction to the interesting mathematics emerging in the quantitative analysis of learning processes in simple adaptive machines.

Nov 20 1998 Michael Berry - Bristol
Quantum Physics and the Riemann Zeros
 
The Riemann Hypothesis can be interpreted as saying that the prime numbers contain `music' whose component frequencies are the Riemann zeros. The question ``Frequencies of what?'' leads to tantalising connections with the energy levels of quantum systems whose corresponding classical motion is chaotic. At the level of statistics, predictions for the Riemann zeros based on semi-classical quantum asymptotics (with primes as periods of classical trajectories) have reached a high degree of accuracy and refinement. For the zeros themselves, the Riemann-Siegel formula and its improvements lead to new ways of calculating quantum levels. Much evidence suggests that the operator that generates the zeros is related to the harmonic oscillator in a sophisticated - but unknown - way.

Nov  6 1998 Jeremy Gray - Open University
Modernism in Mathematics
 
Around 1900, several of the leading mathematicians in different countries gave popular explanations of their subject which are substantial in their discussions of mathematics and address deep points of philosophy and psychology. They did so at a time when geometry was becoming more abstract, and mathematicians were being newly constituted as a profession. Profound fractures in the old formation of mathematics appeared that challenged the practitioners and the broader public alike. One measure of that challenge is the popular debate which flourished at the start of the 20th Century about the nature of geometry.

Oct 23 1998 Tom Korner - Cambridge
Does Order Matter?
 
We know that the sum 1-1/2+1/3-..... can be made to converge to anything by summing in the right way. But is `sensible summing' in real life subject to such problems? We give examples from Fourier analysis and wavelet theory which relate very directly to practical problems of signal storage to show that the answer is `yes and no'.

Oct  9 1998 Norbert Schappacher - Strasbourg
``Who was Diophantus?''
 
The question ``Who was Diophantus?'' may today confront any mathematician if for no other reason than that Fermat's so-called `Last Theorem' was originally a marginal remark in his copy of Diophantus' Arithmetica. Mathematicians should therefore have some basic knowledge of Diophantus. But in fact, we know next to nothing about Diophantus the man - although this did not prevent historians of all periods from speculating where solid information was lacking!

The main thesis of my talk will be that even the substance of Diophantus' mathematics remains uncertain to a surprising degree. There are dramatic variations in the way his Arithmetica have been read at different periods of mathematical history, and although his work has been tremendously influential on more than one occasion, it has never really been developed further. Diophantus' role was an inspirational one, rather than that of a textbook. By looking at the various ``rebirths'' which Diophantus has undergone over time, I shall suggest a fresh approach to this author today.

 


Home Up Search Comments
Department of Mathematics - King's College London