Tue, 24 Feb 2009

17:00 - 18:00
L2

Endomorphisms of tensor space and cellular algebras

Gus Lehrer
(University of Sydney)
Abstract
I shall show how cellularity may be used to obtain presentations of the
endomorphism algebras in question, both in the classical and quantum cases.
Tue, 24 Feb 2009

14:30 - 15:30
L3

Synchronization and homomorphisms

Peter Cameron
(QMUL)
Abstract

A graph homomorphism is a mapping of vertices which takes edges to edges. The endomorphisms of a graph (homomorphisms to itself) form a submonoid of he full transformation monoid on the vertex set. In the other direction, there is a construction of a graph from a transformation monoid, which will be described in the talk. Composing these maps gives closure operators on graphs and on monoids which have some interesting properties. There are also connections with finite automata and permutation groups.

Tue, 24 Feb 2009
12:00
L3

Asymptotic Quasinormal Frequencies for d-Dimensional Black Holes

Jose Maciel Natario
(Lisboa)
Abstract

I will explain what quasinormal modes are and how to obtain asymptotic formulae for the quasinormal frequencies of static, spherically symmetric black hole spacetimes in d dimensions in the limit of very large imaginary part.

Mon, 23 Feb 2009
17:00
Gibson 1st Floor SR

Some mathematical aspects of Density functional theory

Eric Cances
(CERMICS (ENPC))
Abstract

Electronic structure calculations are commonly used to understand and predict the electronic, magnetic and optic properties of molecular systems and materials. They are also at the basis of ab initio molecular dynamics, the most reliable technique to investigate the atomic scale behavior of materials undergoing chemical reactions (oxidation, crack propagation, ...).

In the first part of my talk, I will briefly review the foundations of the density functional theory for electronic structure calculations. In the second part, I will present some recent achievements in the field, as well as open problems. I will focus in particular on the mathematical modelling of defects in crystalline materials.

Mon, 23 Feb 2009

16:00 - 17:00
SR1

Ostrowski's Theorem and other diversions

Jahan Zahid
(Oxford)
Abstract

Aside from a few tangential problems, this seminar will include a proof of Ostrowski's Theorem. This states than any norm over the rationals is equivalent to either the Euclidean norm or the $p$-adic norm, for some prime $p$.

Mon, 23 Feb 2009
15:45
Oxford-Man Institute

Random walks on transversally confomal foliations (on a joint work with B.Deroin).

Dr Victor Kleptsyn
(Université de Rennes)
Abstract

Given a foliation of a compact manifold, leaves of which are equipped with a Riemannian metric, one can consider the associated "leafwise"

Brownian motion, and study its asymptotic properties (such as asymptotic distribution, behaviour of holonomy maps, etc.).

Lucy Garnet studied such measures, introducing the notion of a harmonic measure -- stationary measure of this process; the name "harmonic" comes from the fact that a measure is stationary if and only if with respect to it integral of every leafwise Laplacian of a smooth function equals zero (so, the measure is "harmonic" in the sense of distributions).

It turns out that for a transversally conformal foliation, unless it possesses a transversally invariant measure (which is a rather rare case), the associated random dynamics can be described rather precisely. Namely, for every minimal set in the foliation there exists a unique harmonic measure supported on it -- and this gives all the possible ergodic harmonic measures (in particular, there is a finite number of them, and they are always supported on the minimal sets).

Also, the holonomy maps turn out to be (with probability one) exponentially contracting -- so, the Lyapunov exponent of the dynamics is negative. Finally, for any initial point almost every path tends to one of the minimal sets and is asymptotically distributed with respect to the corresponding harmonic measure -- and the functions defining the probabilities of tending to different sets form a base in the space of continuous leafwise harmonic functions.

An interesting effect that is a corollary of this consideration is that for transversally conformal foliations the number of the ergodic harmonic measures does not depend on the choice of Riemannian metric on the leaves. This fails for non-transversally conformal foliations:

there is an example, recently constructed in a joint with S.Petite (following B.Deroin's technique).

Mon, 23 Feb 2009
15:45
L3

Chromatic phenomena in equivariant stable homotopy

Neil Strickland
(Sheffield)
Abstract

There is a well-known relationship between the theory of formal group schemes and stable homotopy theory, with Ravenel's chromatic filtration and the nilpotence theorem of Hopkins, Devinatz and Smith playing a central role. It is also familiar that one can sometimes get a more geometric understanding of homotopical phenomena by examining how they interact with group actions. In this talk we will explore this interaction from the chromatic point of view.

Mon, 23 Feb 2009
14:15
Oxford-Man Institute

Stochastic geometry and telecommunications modelling

Dr Sergei Zuev
(University of Strathclyde)
Abstract

Stochastic geometry gradually becomes a necessary theoretical tool to model and analyse modern telecommunication systems, very much the same way the queuing theory revolutionised studying the circuit switched telephony in the last century. The reason for this is that the spatial structure of most contemporary networks plays crucial role in their functioning and thus it has to be properly accounted for when doing their performance evaluation, optimisation or deciding the best evolution scenarios.  The talk will present some stochastic geometry models and tools currently used in studying modern telecommunications.  We outline specifics of wired, wireless fixed and ad-hoc systems and show how the stochastic geometry modelling helps in their analysis  and optimisation.

Mon, 23 Feb 2009

12:00 - 13:00
L3

Non-relativistic holography and massive Kaluza-Klein reductions

Dario Martelli
(Swansea)
Abstract
I discuss different approaches for developing a holographic correspondence for theories with non-relativistic conformal symmetry. In particular, I will describe certain gravity backgrounds with non-relativistic conformal symmetry and their embedding in string theory. One method uses supergravity solution generating techniques. Another method is based on certain novel consistent Kaluza-Klein truncations with massive modes. These truncations have also other applications, in the context of the AdS/CFT correspondence, or otherwise.
Mon, 23 Feb 2009
11:00
L3

Revisiting the image of J

Neil Strickland
(Sheffield)
Abstract
I'll discuss my ongoing attempt to modernise the theory of the image of J.
Some features
that I would like to have are as follows:

1) Most of the spectra involved in the story should be E_\infty (or strictly
commutative)
    ring spectra, and most of the maps involved should respect this structure.  New
    machinery for dealing with E_\infty rings should be used systematically.

2) As far as possible the constructions used should not depend on arbitrary choices
     or on gratuitous localisation.

3) The Bernoulli numbers should enter via their primary definition as coefficients of a
     certain power series.

4) The image of J spectrum should be defined as the Bousfield localisation of S^0 with
    respect to KO, and other properties or descriptions should be deduced from this one.

5) There should be a clear conceptual explanation for the parallel appearance of
    Bernoulli numbers in the homotopy groups of J, K(Z) and in spectra related to
    surgery theory.

Fri, 20 Feb 2009
14:15
DH 1st floor SR

High order discretization schemes for the CIR process: application to Affine Term Structure and Heston models

Aurélien Alfonsi
(ENPC)
Abstract
This paper presents weak second and third order schemes for the Cox-Ingersoll-Ross (CIR) process,  without any restriction on its
parameters. At the same time, it gives a general   recursive
construction method to get weak second-order schemes that extends the one introduced by Ninomiya and Victoir. Combining these both results, this allows to propose a second-order scheme for more general affine diffusions. Simulation examples are given to illustrate the convergence of these schemes on CIR and Heston models

Thu, 19 Feb 2009

17:00 - 18:00
L3

Some results on lovely pairs of geometric structures

Gareth Boxall
(Leeds)
Abstract

Let T be a (one-sorted first order) geometric theory (so T

has infinite models, T eliminates "there exist infinitely many" and

algebraic closure gives a pregeometry). I shall present some results

about T_P, the theory of lovely pairs of models of T as defined by

Berenstein and Vassiliev following earlier work of Ben-Yaacov, Pillay

and Vassiliev, of van den Dries and of Poizat. I shall present

results concerning superrosiness, the independence property and

imaginaries. As far as the independence property is concerned, I

shall discuss the relationship with recent work of Gunaydin and

Hieronymi and of Berenstein, Dolich and Onshuus. I shall also discuss

an application to Belegradek and Zilber's theory of the real field

with a subgroup of the unit circle. As far as imaginaries are

concerned, I shall discuss an application of one of the general

results to imaginaries in pairs of algebraically closed fields,

adding to Pillay's work on that subject.

Thu, 19 Feb 2009

16:30 - 17:30
DH 1st floor SR

Formation of defects in the harmonic map heat flow

Jan Bouwe van den Berg
(Amsterdam)
Abstract

The harmonic map heat flow is a model for nematic liquid crystals and also has origins in geometry. We will introduce the model and discuss some of its mathematical properties. In particular, we will focus on the possibility that singularities may develop.

The rate at which singularities develop is investigated in settings with certain symmetries. We use the method of matched asymptotic expansions and identify different scenarios for singularity formation. More specifically, we distinguish between singularities that develop in finite time and those that need infinite time to form.

Finally, we discuss which results can be proven rigorously, as well as some open problems, and we address stability issues (ongoing work with JF Williams).

Thu, 19 Feb 2009

14:00 - 15:00
Comlab

Numerical methods for palindromic eigenvalue problems

Dr Christian Mehl
(University of Birmingham)
Abstract

We discuss numerical methods for the solution of the palindromic eigenvalue problem Ax=λ ATx, where A is a complex matrix. Such eigenvalue problems occur, for example, in the vibration analysis of rail tracks.

The structure of palindromic eigenvalue problems leads to a symmetry in the spectrum: all eigenvalues occur in reciprocal pairs. The need for preservation of this symmetry in finite precision arithmetic requires the use of structure-preserving numerical methods. In this talk, we explain how such methods can be derived.

Thu, 19 Feb 2009
13:00
DH 1st floor SR

SP/A Portfolio Choice Model in Continuous Time

Xuedong He
Abstract

In this paper we employ the quantile formulation to solve the SP/A portfolio choice model in continuous time. We show that the original version of the SP/A model proposed by Lopes is ill-posed in the continuous-time setting. We then generalise the SP/A model to one where a utility function is included, while the probability weighting

(distortion) function is still present. The feasibility and well-posedness of the model are addressed and an explicit solution is derived. Finally, we study how the aspiration level and the probability weighting function affect the optimal solution

Thu, 19 Feb 2009

12:00 - 13:00
SR1

The moduli space of vector bundles on a Riemann surface

Dirk Schlueter
(Oxford)
Abstract

I will briefly discuss the construction of the moduli spaces of (semi)stable bundles on a given curve. The main aim of the talk will be to describe various features of the geometry and topology of these moduli spaces, with emphasis on methods as much as on results. Topics may include irreducibility, cohomology, Verlinde numbers, Torelli theorems.

Thu, 19 Feb 2009
11:00
DH 3rd floor SR

Levy Processes

Shilan Mistry
(Oxford)
Thu, 19 Feb 2009

09:00 - 10:00
Gibson 1st Floor SR

OxMOS Team Meeting

Gareth Jones and Richard Norton
(Oxford)
Tue, 17 Feb 2009

15:45 - 16:45
L3

Flag varieties and the HOMFLY polynomial II

Jacob Rasmussen
(Cambridge)
Abstract

Khovanov homology is an invariant of knots in $S^3$. In its original form,

it is a "homological version of the Jones polynomial"; Khovanov and

Rozansky have generalized it to other knot polynomials, including the

HOMFLY polynomial.

In the second talk, I'll discuss how Khovanov homology and its generalizations lead to a relation between the HOMFLY polynomial and the topology of flag varieties.

Tue, 17 Feb 2009

14:30 - 15:30
L3

The edge correlation of random forests

Dudley Stark
(QMUL)
Abstract

The conjecture was made by Pemantle that a forest chosen uniformly at random from all forests in any finite graph G has the edge-negative association property. We use enumerative methods to show that this conjecture is true for n large enough when G is a complete graph on n vertices and derive related results for random trees.

Tue, 17 Feb 2009

14:15 - 15:15
Higman Room

Flag varieties and the HOMFLY polynomial I

Jacob Rasmussen
(Cambridge)
Abstract

Khovanov homology is an invariant of knots in $S^3$. In its original form,

it is a "homological version of the Jones polynomial"; Khovanov and

Rozansky have generalized it to other knot polynomials, including the

HOMFLY polynomial.

The first talk will be an introduction to Khovanov homology and its generalizations.

Tue, 17 Feb 2009

12:00 - 13:00
L3

Solitonic Knots

Paul Sutcliffe (Durham)
Mon, 16 Feb 2009
17:00
Gibson 1st Floor SR

Minimizers of the Willmore functional under fixed conformal class

Reiner Schätzle
(Tübingen University)
Abstract

We prove the existence of a smooth minimizer of the Willmore energy in the class of conformal immersions of a given closed Riemann surface

into $R^n$, $n = 3, 4$, if there is one conformal immersion with Willmore energy smaller than a certain bound $W_{n,p}$ depending on codimension and genus $p$ of the Riemann surface. For tori in codimension $1$, we know $W_{3,1} = 8\pi$ . Joint work with Enrst Kuwert.

Mon, 16 Feb 2009
15:45
Oxford-Man Institute

Stochastic billiards in unbounded planar domains

Dr Andrew Wade
(Bristol)
Abstract
 Motivated by ideal gas models in the low density regime, we study a randomly reflecting particle travelling at constant speed in an unbounded domain in the plane with boundary satisfying a polynomial growth condition The growth rate of the domain, together with the reflection distribution, determine the asymptotic behaviour of the process. We give results on recurrence vs. transience, and on almost-sure-bounds for the particle including the rate of escape in the transient case. The proofs exploit a surprising relationship with Lamperti's problem of a process on the half-line with asymptotically zero drift. This is joint work with Mikhail Menshikov and Marina Vachkovskaia.

Mon, 16 Feb 2009

12:00 - 13:00
L3

Yukawa Couplings from Monad Bundles

Andre Lukas
(Oxford)
Abstract
We present a straightforward, algebraic method for calculating the Yukawa couplings of a large class of non-standard embedding heterotic compactifications on Calabi-Yau threefolds. Our methodology covers, although is not restricted to, the positive monads over complete intersection Calabi-Yau manifolds. The algorithm involves the manipulation of polynomials and can be straightforwardly implemented on a computer. We present explicit examples and show how models with one Higgs multiplet and a rank-one mass matrix can be engineered.
Fri, 13 Feb 2009
14:15
DH 1st floor SR

Density models for credit risk

Monique Jeanblanc
(Evry)
Abstract

Seminar also with N. El Karoui and Y. Jiao

Dynamic modelling of default time for one single credit has been largely studied in the literature. For the pricing and hedging purpose, it is important to describe the price dynamics of credit derivative products. To this end, one needs to characterize martingales in the various filtrations and calculate conditional expectations by taking into account of default information, often modelized by a filtration $\bf{ D}$ generated by the jump process related to the default time $\tau$.

A general principle is to work with some reference filtration $\bf F$ which is often generated by some given processes. The calculations are then achieved by a formal passage between the enlarged filtration and the reference one on the set $\{\tau>t\}$ and the models are developed on the filtration $\bf F$.

In this paper, we are interested in what happens after a default occurs, i.e., on the set $\{\tau\leq t\}$. The motivation is to study the impact of a default event on the market, which will be important in a multi-credits setting. To this end, we adopt a new approach which is based on the knowledge of conditional survival probabilities. Inspired by the enlargement of filtration theory, we assume that the conditional law of $\tau$ admits a density.

We also present how our computations can be used in a multi-default setting.

Thu, 12 Feb 2009

17:00 - 18:00
L3

The geometries of the Hrushovski constructions.

Marco Ferreira
(East Anglia)
Abstract

In 1993 in his paper "A new strongly minimal set" Hrushovski produced a family of counter examples to a conjecture by Zilber. Each one of these counter examples carry a pregeometry. We answer a question by Hrushovski about comparing these pregeometries and their localization to finite sets. We first analyse the pregeometries arising from different variations of the construction before the collapse. Then we compare the pregeometries of the family of new strongly minimal structures obtained after the collapse.

Thu, 12 Feb 2009
16:30
DH 1st floor SR

Why is brake squeal so twitchy. Modelling and sensitivity studies of friction-driven vibration

Jim Woodhouse
(Cambridge)
Abstract

Friction-driven vibration occurs in a number of contexts, from the violin string to brake squeal and machine tool vibration. A review of some key phenomena and approaches will be given, then the talk will focus on a particular aspect, the "twitchiness" of squeal and its relatives. It is notoriously difficult to get repeatable measurements of brake squeal, and this has been regarded as a problem for model testing and validation. But this twitchiness is better regarded as an essential feature of the phenomenon, to be addressed by any model with pretensions to predictive power. Recent work examining sensitivity of friction-excited vibration in a system with a single-point frictional contact will be described. This involves theoretical prediction of nominal instabilities and their sensitivity to parameter uncertainty, compared with the results of a large-scale experimental test in which several thousand squeal initiations were caught and analysed in a laboratory system. Mention will also be made of a new test rig, which attempts to fill a gap in knowledge of frictional material properties by measuring a parameter which occurs naturally in any linearised stability analysis, but which has never previously been measured.

Thu, 12 Feb 2009

14:00 - 15:00
Comlab

A new perspective on the complexity of interior point methods for linear programming

Dr Raphael Hauser
(Computing Laboratory, Oxford)
Abstract

The aim of this talk is to render the power of (short-step) interior-point methods for linear programming (and by extension, convex programming) intuitively understandable to those who have a basic training in numerical methods for dynamical systems solving. The connection between the two areas is made by interpreting line-search methods in a forward Euler framework, and by analysing the algorithmic complexity in terms of the stiffness of the vector field of search directions. Our analysis cannot replicate the best complexity bounds, but due to its weak assumptions it also applies to inexactly computed search directions and has explanatory power for a wide class of algorithms.

Co-Author: Coralia Cartis, Edinburgh University School of Mathematics.