| |
|
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.
|
|
|