Thu, 15 May 2008

12:00 - 13:00
SR1

Moduli problems in algebraic geometry - an introduction through Hilbert and Quot schemes

Dirk Schlueter
(University of Oxford)
Abstract

Hilbert schemes classify subschemes of a given projective variety / scheme. They are special cases of Quot schemes which are moduli spaces for quotients of a fixed coherent sheaf. Hilb and Quot are among the first examples of moduli spaces in algebraic geometry, and they are crucial for solving many other moduli problems. I will try to give you a flavour of the subject by sketching the construction of Hilb and Quot and by discussing the role they play in applications, in particular moduli spaces of stable curves and moduli spaces of stable sheaves.

Tue, 13 May 2008
14:30
L3

Killed Branching Random Walks

Louigi Addario-Berry
(Oxford)
Abstract
Joint work with Nicolas Broutin.

The problem is related to searching in trees.  Suppose we are given a complete binary tree (a rooted tree in which the root has degree 2 and every other vertex has degree 3) with independent, identically distributed random edge weights (say copies of some random variable X, which need not be non-negative). The depth d(v) of a vertex v is the number of edges on the path from v to the root. We give each vertex v the label S_v which is the sum of the edge weights on the path from v to the root. For positive integers n, we let M_n be the maximum label of any vertex at depth n, and let M^* = max {M_n: n =0,1,...}. It is of course possible that M^* is infinity.

Under suitable moment assumptions on X, it is known that there is a constant A such that M_n/n --> A almost surely and in expectation. We call the cases A>0, A=0, and A< 0 supercritical, critical, and subcritical, respectively. When A <= 0 it makes sense to try to find the vertex of maximum weight M* in the whole tree.  One possible strategy is to only explore the subtree T_0 containing the root consisting only of vertices of non-negative weight.  With probability bounded away from zero this strategy finds the vertex of maximum weight.  We derive precise information about the expected running time for this strategy. Equivalently, we derive precise information about the random variable |T_0|. In the process, we also derive rather precise information about M*. This answers a question of David Aldous.
Tue, 13 May 2008
12:00
L3

Existence of rough solutions to the Einstein constraint equations without CMC or near-CMC conditions

Michael Holst
(University of California, San Diego)
Abstract

> There is currently tremendous interest in geometric PDE, due in part
> to the geometric flow program used successfully to attack the Poincare
> and Geometrization Conjectures.  Geometric PDE also play a primary
> role in general relativity, where the (constrained) Einstein evolution
> equations describe the propagation of gravitational waves generated by
> collisions of massive objects such as black holes.
> The need to validate this geometric PDE model of gravity has led to
> the recent construction of (very expensive) gravitational wave
> detectors, such as the NSF-funded LIGO project.  In this lecture, we
> consider the non-dynamical subset of the Einstein equations called the
> Einstein constraints; this coupled nonlinear elliptic system must be
> solved numerically to produce initial data for gravitational wave
> simulations, and to enforce the constraints during dynamical
> simulations, as needed for LIGO and other gravitational wave modeling efforts.
>
> The Einstein constraint equations have been studied intensively for
> half a century; our focus in this lecture is on a thirty-year-old open
> question involving existence of solutions to the constraint equations
> on space-like hyper-surfaces with arbitrarily prescribed mean
> extrinsic curvature.  All known existence results have involved
> assuming either constant (CMC) or nearly-constant (near-CMC) mean
> extrinsic curvature.
> After giving a survey of known CMC and near-CMC results through 2007,
> we outline a new topological fixed-point framework that is
> fundamentally free of both CMC and near-CMC conditions, resting on the
> construction of "global barriers" for the Hamiltonian constraint.  We
> then present such a barrier construction for case of closed manifolds
> with positive Yamabe metrics, giving the first known existence results
> for arbitrarily prescribed mean extrinsic curvature.  Our results are
> developed in the setting of a ``weak'' background metric, which
> requires building up a set of preliminary results on general Sobolev
> classes and elliptic operators on manifold with weak metrics. 
> However, this allows us to recover the recent ``rough'' CMC existence
> results of Choquet-Bruhat
> (2004) and of Maxwell (2004-2006) as two distinct limiting cases of
> our non-CMC results.  Our non-CMC results also extend to other cases
> such as compact manifolds with boundary.
>
> Time permitting, we also outline some new abstract approximation
> theory results using the weak solution theory framework for the
> constraints; an application of which gives a convergence proof for
> adaptive finite element methods applied to the Hamiltonian constraint.

This is joint work with Gabriel Nagy and Gantumur Tsogtgerel.

 

Mon, 12 May 2008
17:00
L3

High frequency limit of Helmholtz equations : refraction by sharp interfaces

Elise Fouassier
(Université de Toulouse)
Abstract

We compute the high frequency limit of the Hemholtz equation with source term, in the case of a refraction index that is discontinuous along a sharp interface between two unbounded media. The asymptotic propagation of energy is studied using Wigner measures. First, in the general case, assuming some geometrical hypotheses on the index and assuming that the interface does not capture energy asymptotically, we prove that the limiting Wigner measure satisfies a stationary transport equation with source term. This result encodes the refraction phenomenon. Second, we study the particular case when the index is constant in each media, for which the analysis goes further: we prove that the interface does not capture energy asymptotically in this case.

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

New solutions and uniqueness results for the variational version of Euler incompressible equations

Dr Filippo Santambrogio
(Paris, Dauphine)
Abstract

Euler equations for incompressible fludis describe the evolution of the divergence-free velocity of a non-viscous fluid (when viscosity is present, we have the well-known Navier-Stokes equations). V. Arnold discovered that they correspond to geodesic equations in the space of volume-preserving diffeomorphisms but several exemples show that it is not always possible to solve the corresponding variational problems inducing minimal energy displacements. A solvable relaxed version, in a non-deterministic setting (measures on the path space, with possible splitting of the particles), has been introduced by Y. Brenier who intensively studied the problem. Together with M. Bernot and A. Figalli we founded new solutions and characterization results. In the talk I'll present the most interesting features of the problem and of its solutions.

Mon, 12 May 2008
14:15
Oxford-Man Institute

Multi-level Monte Carlo

Prof. Des Higham
(Strathclyde)
Abstract

Mike Giles recently came up with a very general technique that improves the fundamental complexity of Monte Carlo simulation in the context where stochastic differential equations are simulated numerically. I will discuss some work with Mike Giles and Xuerong Mao that extends the theoretical support for this approach to the case of financial options without globally Lipschitz payoff functions. I will also suggest other application areas where this multi-level approach might prove valuable, including stochastic computation in cell biology.

Fri, 09 May 2008
16:30
L2

Multiscale Analysis in Biology - Paradigms and Problems

Hans G. Othmer
(University of Minnesota)
Abstract

New techniques in cell and molecular biology have produced huge advances in our understanding of signal transduction and cellular response in many systems, and this has led to better cell-level models for problems ranging from biofilm formation to embryonic development. However, many problems involve very large numbers of cells, and detailed cell-based descriptions are computationally prohibitive at present. Thus rational techniques for incorporating cell-level knowledge into macroscopic equations are needed for these problems. In this talk we discuss several examples that arise in the context of cell motility and pattern formation. We will discuss systems in which the micro-to-macro transition can be made more or less completely, and also describe other systems that will require new insights and techniques.

Fri, 09 May 2008

15:15 - 16:15
L3

Slim Fields

Jochen Koenigsmann
(Oxford)
Fri, 09 May 2008
14:15
DH 1st floor SR

The Black-Scholes and Dupire formulae interpreted in terms of Brownian last hitting times

Amel Bentata and Marc Yor
(Paris 6)
Abstract

14.15 - 15.00 Part I

Marc Yor : The infinite horizon case.

15.00 - 15.15 A short break for questions and answers

15.15 - 16.00 Part II

Amel Bentata : The finite horizon case.

Roughly, the Black-Scholes formula is a distribution function of the maturity. This may be explained in terms of the last passage times at a given level of the underlying Brownian motion with drift.

Conversely, starting with last passage times up to finite horizon, we obtain a 2-parameter variant of the Black-Scholes formula.

Thu, 08 May 2008

14:00 - 15:00
Comlab

The Envelope Method

Prof Beresford Parlett
(UC Berkeley)
Abstract

The task is to compute orthogonal eigenvectors (without Gram-Schmidt) of symmetric tridiagonals for isolated clusters of close eigenvalues. We review an "old" method, the Submatrix method, and describe an extension which significantly enlarges the scope to include several mini-clusters within the given cluster. An essential feature is to find the envelope of the associated invariant subspace.

Thu, 08 May 2008
13:00
DH 1st floor SR

Continuous-Time Portfolio Selection with Ambiguity

Hanqing Jin
(Oxford)
Abstract

In a financial market, the appreciate rates are very difficult to estimate precisely, and in general only some confidence interval will be estimated. This paper is devoted to the portfolio selection with the appreciation rates being in a certain closed convex set rather than some precise point. We study the problem in both expected utility framework and mean-variance framework, and robust solutions are given explicitly in both frameworks.

Thu, 08 May 2008

11:00 - 12:00
SR1

Finite Fields and Model Theory

Jamshid Derakhshan
(Oxford)
Abstract

I will discuss some theorems of Chatzidakis, van den Dries, and Macintyre on definable sets over finite fields (Crelle 1992). This includes a geometric decomposition theorem for definable sets and a generalization of the Lang-Weil estimates, and uses model theory of finite and pseudo-finite fields.

If time permits, I shall mention a recent application of this work by Emmanuel Kowalski on new bounds for exponential sums (Israel Journal of Math 2007).

I would also like to mention some connections to the model theory of p-adic and motivic integrals and to general problems on counting and equidistribution of rational points.

Wed, 07 May 2008
10:30
L3

TBA

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