Tue, 06 May 2008
16:30
Dobson Room, AOPP

TBC

Roland Young
(AOPP)
Tue, 06 May 2008

15:45 - 16:45
L3

Exceptional curves on del Pezzo surfaces

Alastair King
(University of Bath)
Abstract

I plan to discuss some aspects the mysterious relationship between the symmetries of toroidal compactifications of M-theory and helices on del Pezzo surfaces.

Tue, 06 May 2008

15:15 - 16:15
Gibson 1st Floor SR

The effective static and dynamic properties of composite media

Dr Willam Parnell
(University of Manchester)
Abstract
OxMOS visitor Dr William Parnell will be introducing his work. This will be followed by an informal tea for anyone who wants to stay on to talk to Dr Parnell.

Further information available from @email Tel 80609

All welcome!

Tue, 06 May 2008
14:30
L3

Overhang Bounds

Mike Paterson
(Warwick)
Abstract
How far can a stack of n identical blocks be made to hang over the edge of a table? The question dates back to at least the middle of the 19th century and the answer to it was widely believed to be of order log n.

Recently, we (Paterson and Zwick) constructed n-block stacks with overhangs of order n^{1/3}, exponentially better than previously thought possible. The latest news is that we (Paterson, Peres, Thorup, Winkler and Zwick) can show that order n^{1/3} is best possible, resolving the long-standing overhang problem up to a constant factor.

 

I shall review the construction and describe the upper bound proof, which illustrates how methods founded in algorithmic complexity can be applied to a discrete optimization problem that has puzzled some mathematicians and physicists for more than 150 years.

 

Tue, 06 May 2008

12:00 - 13:00
L3

Full control by locally induced relaxation

Daniel Burgarth
Abstract

We demonstrate a scheme for controlling a large quantum system by acting

on a small subsystem only. The local control is mediated to the larger

system by some fixed coupling Hamiltonian. The scheme allows to transfer

arbitrary and unknown quantum states from a memory to the large system

("upload access") as well as the inverse ("download access").

We give sufficient conditions of the coupling Hamiltonian for the

controllability

of the system which can be checked efficiently by a colour-infection game on

the graph

that describes the couplings.

Mon, 05 May 2008
17:00
L3

The Becker-Doering (B-D) and Lifschitz-Slyozov-Wagner (LSW) Equations

J. Conlon
(University of Michigan, USA)
Abstract

The B-D equations describe a mean field approximation for a many body system in relaxation to equilibrium. The two B-D equations determine the time evolution of the density c(L,t) of particles with mass L, L=1,2,... One of the equations is a discretized linear diffusion equation for c(L,t), and the other is a non-local constraint equivalent to mass conservation. Existence and uniqueness for the B-D system was established in the 1980's by Ball, Carr and Penrose. Research in the past decade has concentrated on understanding the large time behavior of solutions to the B-D system. This behavior is characterized by the phenomenon of "coarsening", whereby excess density is concentrated in large particles with mass increasing at a definite rate. An important conjecture in the field is that the coarsening rate can be obtained from a particular self- similar solution of the simpler LSW system. In this talk we shall discuss the B-D and LSW equations, and some recent progress by the speaker and others towards the resolution of this conjecture.

Mon, 05 May 2008
15:45
Oxford-Man Institute

TBA

Prof. Dominique Bakry
(Université de Toulouse)
Mon, 05 May 2008
14:15
Oxford-Man Institute

Solving a Backward SDE with the Cubature method

Mr Konstantinos Manolarakis
Abstract

Probabilistic methods for the solution of Backward Stochastic Differential Equations (BSDE) provide us with a new approach to the problem of approximating the solution of a semi-linear PDE. Utilizing on the Markovian nature of these BSDE’s we show how one may consider the problem of numerical solutions to BSDEs within the area of weak approximations of diffusions. To emphasize this point, we suggest an algorithm based on the Cubature method on Wiener space of Lyons - Victoir. Instead of using standard discretization techniques of BSDE’s, we choose to work with the actual flow. This allows to take advantage of estimates on the derivatives of the solution of the associated semi-linear PDE and hence, we recover satisfactory convergence estimates.

Mon, 05 May 2008

12:00 - 13:00
L3

MHV Rules: the missing one-loop amplitudes

Paul Mansfield
(Durham)
Abstract
Abstract: I will talk about how the reformulation of perturbative Yang-Mills theory in terms of MHV rules accounts for one-loop amplitudes for gluons of the same helicity, and some of the effects of introducing a regulator.
Fri, 02 May 2008
15:15
L3

Definability in differential Hasse fields and related geometric questions

Franck Benoist
(University of Leeds)
Abstract

I will give a few model theoretic properties for fields with a Hasse derivation which are existentially closed. I will explain how some type-definable sets allow us to understand properties of some algebraic varieties, mainly concerning their field of definition.

Fri, 02 May 2008

12:00 - 13:00
L1

Movable algebraic singularities of second-order ordinary differential equations

Dr Galina Filipuk
Abstract

Any nonlinear equation of the form y''=\sum_{n=0}^N a_n(z)y^n

has a (generally branched) solution with leading order behaviour

proportional to

(z-z_0)^{-2/(N-1)} about a point z_0, where the coefficients a_n are analytic at z_0 and a_N(z_0)\ne 0. Jointly with R.G. Halburd we consider the subclass of equations for which each possible leading order term of

this

form corresponds to a one-parameter family of solutions represented near

z_0

by a Laurent series in fractional powers of z-z_0. For this class of

equations we show that the only movable singularities that can be reached

by

analytic continuation along finite-length curves are of the algebraic type

just described. This work generalizes previous results of S. Shimomura.

The only other possible kind of movable singularity that might occur is an

accumulation point of algebraic singularities that can be reached by

analytic continuation along infinitely long paths ending at a finite point

in the complex plane. This behaviour cannot occur for constant coefficient

equations in the class considered. However, an example of R. A. Smith

shows

that such singularities do occur in solutions of a simple autonomous

second-order differential equation outside the class we consider here.

Fri, 02 May 2008
10:00
DH 3rd floor SR

Workshop Title TBC

Jotun Hein
(Oxford University Statistics)
Thu, 01 May 2008
16:30
DH 1st floor SR

"Some beyond-all-orders effects for localised structures"

Alan Champneys
(Bristol)
Abstract

This talk shall examine a range of problems where nonlinear waves or coherent structures are localised to some portion of a domain. In one spatial dimension, the problem reduces to finding homoclinic connections to equilibria. Two canonical problems emerge when higher-order spatial terms are considered (either via fourth-order operators or discreteness effects). One involves so-called snaking bifurcation diagrams where a fundamental state grows an internal patterned layer via an infinite sequence of fold bifurcations. The other involves the exact vanishing of oscillatory tails as a parameter is varied. It is shown how both problems arise from certain codimension-two limits where they can be captured by beyond-all-orders analysis. Dynamical systems methods can then be used to explain the kind of structures that emerge away from these degenerate points. Applications include moving discrete breathers in atomic lattices, discrete solitons in optical cavities, and theories for two-dimensional localised patterns using Swift-Hohenberg theory.