Thu, 01 Nov 2007
15:00
L3

The Circle Problem

Peter Swinnerton-Dyer
(Cambridge)
Abstract

Let N(A) be the number of integer solutions of x^2 + y^2

Thu, 01 Nov 2007

14:00 - 15:00
Rutherford Appleton Laboratory, nr Didcot

Communication avoiding algorithms for dense LU and QR factorizations

Dr Laura Grigori
(INRIA)
Abstract

We present algorithms for dense LU and QR factorizations that minimize the cost of communication. One of today's challenging technology trends is the increased communication cost. This trend predicts that arithmetic will continue to improve exponentially faster than bandwidth, and bandwidth exponentially faster than latency. The new algorithms for dense QR and LU factorizations greatly reduce the amount of time spent communicating, relative to conventional algorithms.

This is joint work with James Demmel, Mark Hoemmen, Julien Langou, and Hua Xiang.

Thu, 01 Nov 2007

11:00 - 12:00
SR1

Hyperbolic 3-manifolds

Liam Wall
(University of Oxford)
Abstract

In this talk I will introduce hyperbolic 3-manifolds, state some major conjectures about them, and discuss some group-theoretic properties of their fundamental groups.

Tue, 30 Oct 2007
15:30
L3

Infinite locally random graphs

Pierre Charbit
(Paris)
Abstract
The Rado Graph R is a graph on a countably infinite number of vertices that can be characterized by the following property: for every pair of finite, disjoint subsets of vertices X and Y, there exists a vertex that is adjacent to every vertex in X and none in Y. It is often called the Random Graph for the following reason: for any 0

Tue, 30 Oct 2007
13:30
L3

Random polytopes

Matthias Reitzner
(Vienna)
Abstract
Let $K \subset {\mathbb R}^d$ be a convex set. Choose $n$ random points in $K$, and denote by $P_n$ their convex hull. We call $P_n$ a random polytope. Investigations concerning the expected value of functionals of $P_n$, like volume, surface area, and number of vertices, started in 1864 with a problem raised by Sylvester and now are a classical part of stochastic and convex geometry. The last years have seen several new developments about distributional aspects of functionals of random polytopes. In this talk we concentrate on these recent results such as central limit theorems and tail inequalities, as the number of random points tends to infinity.
Tue, 30 Oct 2007
11:00
L3

Towards a proof of a rigidity conjecture for asymptotically flat spacetimes

Juan Valiente Kroon
(Queen Mary College, London)
Abstract

I will discuss ongoing work to provide a proof for the following

conjecture: if the development of a time symmetric, conformally flat

initial data set admits a smooth null infinity, then the initial data

is Schwarzschildean in a neighbourhood of infinity. The strategy

to construct a proof consists in a detailed analysis of a

certain type of expansions that can be obtained using H. Friedrich's

"cylinder at infinity" formalism. I will also discuss a toy model for

the analysis of the Maxwell field near the

spatial infinity of the Schwarzschild spacetime

Mon, 29 Oct 2007

15:00 - 16:00
SR1

The Tschinkel Problem

Nic Niedermowwe
(Mathematical Institute Oxford)
Mon, 29 Oct 2007
14:45
Oxford-Man Institute

On signed probability measures and some old results of Krylov

Prof. Terry Lyons
(Oxford)
Abstract

It is an interesting exercise to compute the iterated integrals of Brownian Motion and to calculate the expectations (of polynomial functions of these integrals).

Recent work on constructing discrete measures on path space, which give the same value as Wiener measure to certain of these expectations, has led to promising new numerical algorithms for solving 2nd order parabolic PDEs in moderate dimensions. Old work of Krylov associated finitely additive signed measures to certain constant coefficient PDEs of higher order. Recent work with Levin allows us to identify the relevant expectations of iterated integrals in this case, leaving many interesting open questions and possible numerical algorithms for solving high dimensional elliptic PDEs.

Mon, 29 Oct 2007
13:15
Oxford-Man Institute

From super Poincare to weighted log-sobolev and transportation cost inequalities

Prof. Feng-Yu Wang
(University of Wales)
Abstract

Log-Sobolev inequalities with weighted square field are derived from a class of super Poincaré inequalities. As applications, stronger versions of Talagrand's transportation-cost inequality are provided on Riemannian manifolds. Typical examples are constructed to illustrate these results.

Mon, 29 Oct 2007

11:00 - 12:00
L3

What is Twistor-String Theory

Lionel Mason
(Oxford)
Abstract
Abstract: Twistor-string theory is reformulated as a `half-twisted heterotic' theory with target $CP^3$. This in effect gives a Dolbeault formulation of a theory of holomorphic curves in twistor space and gives a clearer picture of the mathematical structures underlying the theory and how they arise from the original Witten and Berkovits models. It is also explained how space-time physics arises from the model. It intended that the lecture be, to a certain extent, pedagogical.
Thu, 25 Oct 2007
16:15
Fisher Room of NAPL

New Searches for sub-gravitational forces

Jay Wacker
(SLAC)
Abstract

I will describe how atom interferometry can be used to set limits on beyond the Standard Model forces.

Thu, 25 Oct 2007

14:00 - 15:00
Comlab

A Primal-Dual Augmented Lagrangian

Dr Daniel Robinson
(University of Oxford)
Abstract

A new primal-dual augmented Lagrangian merit function is proposed that may be minimized with respect to both the primal and dual variables. A benefit of this approach is that each subproblem may be regularized by imposing explicit bounds on the dual variables. Two primal-dual variants of classical primal methods are given: a primal-dual bound constrained Lagrangian (pdBCL) method and a primal-dual l1 linearly constrained Lagrangian (pdl1-LCL) method.

Thu, 25 Oct 2007

12:00 - 13:00
SR1

Why did Lie Invent Lie Groups?

Mitul Shah
(University of Oxford)
Abstract

This talk will be about the systematic simplification of differential equations.

After giving a geometric reformulation of the concept of a differential equation using prolongations, I will show how we can prolong group actions relatively easily at the level of Lie algebras. I will then discuss group-invariant solutions.

The key example will be the heat equation.

Wed, 24 Oct 2007

12:00 - 13:00
L3

<strong>(Note unusual day)</strong> Bows and Quivers: Instantons on ALF Spaces

Sergey Cherkis
(Trinity College Dublin)
Abstract
Abstract: Self-dual connections on ALF spaces can be encoded in terms of bow diagrams, which are natural generalizations of quivers. This provides a convenient description of the moduli spaces of these self-dual connections. We make some comments about the associated twistor data. Via the Nahm transform we construct two explicit examples: a single instanton and a single monopole on a Taub-NUT space.
Tue, 23 Oct 2007
16:30
SR1

A new tool for asymptotic enumeration: the Lovasz Local Lemma?

Laszlo Szekely
(USC)
Abstract
The Lovasz Local Lemma is known to have an extension for cases where the dependency graph requirement is relaxed to negative dependency graph (Erdos-Spencer 1991). The difficulty is to find relevant negative dependency graphs that are not dependency graphs. We provide two generic constructions for negative dependency graphs, in the space of random matchings of complete and complete bipartite graphs. As application, we prove existence results for hypergraph packing and Turan type extremal problems. We strengthen the classic probabilistic proof of Erdos for the existence of graphs with large girth and chromatic number by prescribing the degree sequence, which has to satisfy some mild conditions. A more surprising application is that tight asymptotic lower bounds can be obtained for asymptotic enumeration problems using the Lovasz Local Lemma. This is joint work with Lincoln Lu.
Tue, 23 Oct 2007

12:00 - 13:00
DH 2nd floor SR

OxMOS lecture - Bifurcation Theory II

Carlos Mora-Corral
(Oxford University)
Abstract
Local Bifurcation Theory (II): Principle of exchange of stability, Lyapunov-Schmidt reduction, Theorem of Ize.
Mon, 22 Oct 2007
15:45
Oxford-Man Institute

The continuous limit of random planar maps

Professor Jean Francois Le Gall
(ENS, France)
Abstract

We discuss the convergence in distribution of rescaled random planar maps viewed as random metric spaces. More precisely, we consider a random planar map M(n), which is uniformly distributed over the set of all planar maps with n faces in a certain class. We equip the set of vertices of M(n) with the graph distance rescaled by the factor n to the power 1/4. We then discuss the convergence in distribution of the resulting random metric spaces as n tends to infinity, in the sense of the Gromov-Hausdorff distance between compact metric spaces. This problem was stated by Oded Schramm in his plenary address paper at the 2006 ICM, in the special case of triangulations.

In the case of bipartite planar maps, we first establish a compactness result showing that a limit exists along a suitable subsequence. Furthermore this limit can be written as a quotient space of the Continuum Random Tree (CRT) for an equivalence relation which has a simple definition in terms of Brownian labels attached to the vertices of the CRT. Finally we show that any possible limiting metric space is almost surely homomorphic to the 2-sphere. As a key tool, we use bijections between planar maps and various classes of labelled trees.

Mon, 22 Oct 2007
14:15
Oxford-Man Institute

Slow energy dissipation in anharmonic chains

Dr. Martin Hairer
(University of Warwick)
Abstract

We study the dynamic of a very simple chain of three anharmonic oscillators with linear nearest-neighbour couplings. The first and the last oscillator furthermore interact with heat baths through friction and noise terms. If all oscillators in such a system are coupled to heat baths, it is well-known that under relatively weak coercivity assumptions, the system has a spectral gap (even compact resolvent) and returns to equilibrium exponentially fast. It turns out that while it is still possible to show the existence and uniqueness of an invariant measure for our system, it returns to equilibrium much slower than one would at first expect. In particular, it no longer has compact resolvent when the potential of the oscillators is quartic and the spectral gap is destroyed when it grows even faster.