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.

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)
Tue, 29 Apr 2008
14:30
L3

Phase transition of random graphs with degree constraints

Mihyun Kang
(Berlin)
Abstract

The phase transition is a phenomenon that appears in natural sciences in various contexts. In the random graph theory, the phase transition refers to a dramatic change in the number of vertices in the largest components by addition of a few edges around a critical value, which was first discussed on the standard random graphs in the seminal paper by Erdos and Renyi. Since then, the phase transition has been a central theme of the random graph theory. In this talk we discuss the phase transition in random graphs with a given degree sequence and random graph processes with degree constraints.

Tue, 29 Apr 2008
12:00
L3

Nonlinear spherical sound waves at the surface of a perfect fluid star

Dr. Carsten Gundlach
(Southampton)
Abstract

Current numerical relativity codes model neutron star matter as a perfect fluid, with an unphysical "atmosphere" surrounding the star to avoid the breakdown of the equations at the fluid-vacuum interface at the surface of the star. To design numerical methods that do not require an unphysical atmosphere, it is useful to know what a generic sound wave looks near the surface. After a review of relevant mathematical methods, I will present results for low (finite) amplitude waves that remain smooth and, perhaps, for high amplitude waves that form a shock.

Mon, 28 Apr 2008
17:00
L3

Concerning the Ladyzhenskaya-Smagorinsky turbulence model - The regularity problem

H. Beirao da Veiga
(Pisa)
Abstract

we present some sharp regularity results for the stationary and the evolution Navier-Stokes equations with shear dependent viscosity, under the no-slip boundary condition. This is a classical turbulence model, considered by von Neumann and Richtmeyer in the 50's, and by Smagorinski in the beginning of the 60's (for p= 3). The model was extended to other physical situations, and deeply studied from a mathematical point of view, by Ladyzhenskaya in the second half of the 60's. We consider the shear thickening case p>2. We are interested in regularity results in Sobolev spaces, up to the boundary, in dimension n=3, for the second order derivatives of the velocity and the first order derivatives of the pressure. In spite of the very rich literature on the subject, sharp regularity results up to the boundary are quite new.

Mon, 28 Apr 2008
15:45
Oxford-Man Institute

Some results concerning the q-optimal martingale measure

Dr Sotirios Sabanis
(University of Edinburgh)
Abstract

An important and challenging problem in mathematical finance is how to choose a pricing measure in an incomplete market, i.e. how to find a probability measure under which expected payoffs are calculated and fair option prices are derived under some notion of optimality.

The notion of q-optimality is linked to the unique equivalent martingale measure (EMM) with minimal q-moment (if q > 1) or minimal relative entropy (if q=1). Hobson's (2004) approach to identifying the q-optimal measure (through a so-called fundamental equation) suggests a relaxation of an essential condition appearing in Delbaen & Schachermayer (1996). This condition states that for the case q=2, the Radon-Nikodym process, whose last element is the density of the candidate measure, is a uniformly integrable martingale with respect to any EMM with a bounded second moment. Hobson (2004) alleges that it suffices to show that the above is true only with respect to the candidate measure itself and extrapolates for the case q>1. Cerny & Kallsen (2008) however presented a counterexample (for q=2) which demonstrates that the above relaxation does not hold in general.

The speaker will present the general form of the q-optimal measure following the approach of Delbaen & Schachermayer (1994) and prove its existence under mild conditions. Moreover, in the light of the counterexample in Cerny & Kallsen (2008) concerning Hobson's (2004) approach, necessary and sufficient conditions will be presented in order to determine when a candidate measure is the q-optimal measure.

Mon, 28 Apr 2008
14:15
Oxford-Man Institute

Malliavin calculus and rough paths

Dr Thomas Cass
(Oxford)
Abstract

We present the ideas of Malliavin calculus in the context of rough differential equations (RDEs) driven by Gaussian signals. We then prove an analogue of Hörmander's theorem for this set-up, finishing with the conclusion that, for positive times, a solution to an RDE driven by Gaussian noise will have a density with respect to Lebesgue measure under Hörmander's conditions on the vector fields.

Mon, 28 Apr 2008

12:00 - 13:00
L3

$G_2$ manifolds with isolated conical singularities

Spiro Karigiannis
(Oxford)
Abstract
Abstract: Compact $G_2$ manifolds with isolated conical singularities arise naturally in M-theory. I will discuss such manifolds, and explain a method to ``desingularize'' them by glueing in pieces of asymptotically conical $G_2$ manifolds. There are topological obstructions to such desingularizations that depend on the rate of convergence to the cone at the singularities, and on the geometry of the links of the cones. If time permits, I will also briefly discuss a new related project with Dominic Joyce which could provide the first examples of such manifolds, as well as a possible new construction of smooth compact $G_2$ manifolds.
Fri, 25 Apr 2008
14:15
DH 1st floor SR

Semi-Smooth Newton Methods for Black-Scholes with American Options and Portfolio Optimization Problems

Karl Kunisch
(University of Graz)
Abstract

Efficient numerical solutions of several important partial-differential equation based models in mathematical finance are impeded by the fact that they contain operators which are Lipschitz continuous but not continuously differentiable. As a consequence, Newton methods are not directly applicable and, more importantly, do not provide their typical fast convergence properties.

In this talk semi-smooth Newton methods are presented as a remedy to the the above-mentioned difficulties. We also discuss algorithmic issues including the primal-dual active set strategy and path following techniques.