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.

Thu, 01 May 2008

14:30 - 15:30
L3

Quadratic duality and applications

Volodymyr Mazorchuk
(University of Glasgow/Uppsala University)
Abstract

For a positively graded algebra A we construct a functor from the derived

category of graded A-modules to the derived category of graded modules over

the quadratic dual A^! of A. This functor is an equivalence of certain

bounded subcategories if and only if the algebra A is Koszul. In the latter

case the functor gives the classical Koszul duality. The approach I will

talk about uses the category of linear complexes of projective A-modules.

Its advantage is that the Koszul duality functor is given in a nice and

explicit way for computational applications. The applications I am going to

discuss are Koszul dualities between certain functors on the regular block

of the category O, which lead to connections between different

categorifications of certain knot invariants. (Joint work with S.Ovsienko

and C.Stroppel.)

Thu, 01 May 2008

14:00 - 15:00
Comlab

Eigenvalue avoidance

Prof Nick Trefethen
(Computing Laboratory, Oxford)
Abstract

"Eigenvalue avoidance" or "level repulsion" refers to the tendency of eigenvalues of matrices or operators to be distinct rather than degenerate.

The mathematics goes back to von Neumann and Wigner in 1929 and touches many subjects including numerical linear algebra, random matrix theory, chaotic dynamics, and number theory.

This talk will be an informal illustrated discussion of various aspects of this phenomenon.

Thu, 01 May 2008

11:00 - 12:00
SR1

tba

Tom Foster
(Oxford)