Thu, 29 Jan 2009

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

OxMOS Team Meeting

Duvan Henao and Christoph Ortner
(Oxford University Mathematical Institute)
Tue, 27 Jan 2009

17:00 - 18:00
L2

Singular Soergel Bimodules

Geordie Williamson
(Oxford)
Abstract

To any Coxeter group (W,S) together with an appropriate representation on V one may associate various categories of "singular Soergel bimodules", which are certain bimodules over invariant subrings of

regular functions on V. I will discuss their definition, basic properties and explain how they categorify the associated Hecke algebras and their parabolic modules. I will also outline a motivation coming from geometry and (if time permits) an application in knot theory.

Tue, 27 Jan 2009

15:45 - 16:45
L3

Hamiltonian stationary submanifolds of compact symplectic manifolds

Dominic Joyce
(Oxford)
Abstract
Let $(M,\omega)$ be a symplectic manifold, and $g$ a Riemannian metric on $M$ compatible with $\omega$. If $L$ is a compact Lagrangian submanifold of $(M,\omega)$, we can compute the volume Vol$(L)$ of $L$ using $g$. A Lagrangian $L$ is called {\it Hamiltonian stationary} if it is a stationary point of the volume functional amongst Lagrangians Hamiltonian isotopic to $L$.

Suppose $L'$ is a compact Lagrangian in ${\mathbb C}^n$ which is Hamiltonian stationary and {\it rigid}, that is, all infinitesimal Hamiltonian deformations of $L$ as a Hamiltonian stationary Lagrangian come from rigid motions of ${\mathbb C}^n$. An example of such $L'$ is the $n$-torus $ \bigl\{(z_1,\ldots,z_n)\in{\mathbb C}^n:\vert z_1\vert=a_1, \ldots,\vert z_n\vert=a_n\bigr\}$, for small $a_1,\ldots,a_n>0$.

I will explain a construction of Hamiltonian stationary Lagrangians in any compact symplectic manifold $(M,\omega)$, which works by `gluing in' $tL'$ near a point $p$ in $M$ for small $t>0$.

Tue, 27 Jan 2009

14:30 - 15:30
L3

Random partial orders and random linear extensions

Graham Brightwell
(LSE)
Abstract

Random partial orders and random linear extensions

Several interesting models of random partial orders can be described via a

process that builds the partial order one step at a time, at each point

adding a new maximal element. This process therefore generates a linear

extension of the partial order in tandem with the partial order itself. A

natural condition to demand of such processes is that, if we condition on

the occurrence of some finite partial order after a given number of steps,

then each linear extension of that partial order is equally likely. This

condition is called "order-invariance".

The class of order-invariant processes includes processes generating a

random infinite partial order, as well as those that amount to taking a

random linear extension of a fixed infinite poset.

Our goal is to study order-invariant processes in general. In this talk, I

shall explain some of the problems that need to be resolved, and discuss

some of the combinatorial problems that arise.

(joint work with Malwina Luczak)

Tue, 27 Jan 2009
12:00
L3

Structure of singularities of spacetimes with toroidal or hyperbolic symmetry

Jacques Smulevici
(Cambridge)
Abstract

I will present recent results concerning the study of the global Cauchy problem in general relativity under symmetry assumptions.

More specifically, I will be focusing on the structure of singularities and the uniqueness in the large for solutions of the Einstein equations, the so-called strong cosmic censorship, under the assumption that the initial data is given on some compact manifold with prescribed symmetry.

In particular, I will present some results which concerned the asymptotic behaviour of the area of the orbits of symmetry, a quantity which plays in important role for the study of these solutions. From the point of view of PDE, this corresponds to a global existence theorem for a system of non-linear 1+1 wave equations.

 

Mon, 26 Jan 2009

13:30 - 14:30
Gibson 1st Floor SR

Analysis of variational models for nematic liquid crystal elastomers

Pierluigi Cesana
(SISSA, Trieste, Italy)
Abstract

The relaxation of a free-energy functional which describes the

order-strain interaction in nematic liquid crystal elastomers is obtained

explicitly. We work in the regime of small strains (linearized

kinematics). Adopting the uniaxial order tensor theory or Frank

model to describe the liquid crystal order, we prove that the

minima of the relaxed functional exhibit an effective biaxial

microstructure, as in de Gennes tensor model. In particular, this

implies that the response of the material is soft even if the

order of the system is assumed to be fixed. The relaxed energy

density satisfies a solenoidal quasiconvexification formula.

Mon, 26 Jan 2009

12:00 - 13:00
L3

Black branes beyond thermal equilibrium

Andrei Starinets
(Oxford)
Abstract
Gauge-string duality relates transport properties of certain strongly interacting quantum field theories at finite temperature/density to spectra of normal modes of black branes in dual supergravity backgrounds. The duality serves as a source of quantitative information about the physics of strongly coupled relativistic plasmas as well as a source of qualitative insights into the properties of nuclear matter created in heavy ion collision experiments. It may also help to understand non-equilibrium behavior of black holes/branes. We reflect on recent progress in this field.
Fri, 23 Jan 2009

16:00 - 17:00
SR2

Semiabelian varieties over separably closed fields

Anand Pillay
(Leeds)
Abstract

Given K a separably closed field of finite ( > 1) degree of imperfection, and semiabelian variety A over K, we study the maximal divisible subgroup A^{sharp} of A(K). We show that the {\sharp} functor does not preserve exact sequences and also give an example where A^{\sharp} does not have relative Morley rank. (Joint work with F. Benoist and E. Bouscaren)

Fri, 23 Jan 2009
14:15
DH 1st floor SR

Time inconsistent stochastic control

Tomas Bjork
(Stockholm School of Economics)
Abstract
We present a theory for  stochastic control problems which, in various ways, are time inconsistent in the sense that they do not admit a Bellman optimality principle. We attach these problems by viewing them within a game theoretic framework, and we look for subgame perfect Nash equilibrium points.
For a general controlled Markov process and a fairly general objective functional we derive an extension of the standard Hamilton-Jacobi-Bellman  equation, in  the form of a system of non-linear equations, for the determination for the equilibrium strategy as well as the equilibrium value function. All  known examples of time inconsistency in the literature are easily seen to be special cases of the present theory. We also prove that for every time inconsistent problem, there exists an associated time consistent problem such that the optimal control and the optimal value function for the consistent problem coincides with the equilibrium control and value function respectively for the time inconsistent problem. We also study some concrete examples.
Thu, 22 Jan 2009

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

On the drag-out problem in liquid film theory

Eugene Benilov
(Limerick)
Abstract

We consider an infinite plate being withdrawn from an infinite pool of viscous liquid. Assuming that the effects of inertia and surface tension are weak, Derjaguin (1943) conjectured that the 'load', i.e. the thickness of the liquid film clinging to the plate, is determined by a certain formula involving the liquid's density and viscosity, the plate's velocity and inclination angle, and the acceleration due to gravity.

In the present work, Deryagin's formula is derived from the Stokes equations in the limit of small slope of the plate (without this assumption, the formula is invalid). It is shown that the problem has infinitely many steady solutions, all of which are stable - but only one of these corresponds to Derjaguin’s formula. This particular steady solution can only be singled out by matching it to a self-similar solution describing the non-steady part of the film between the pool and the film’s 'tip'. Even though the near-pool region where the steady state has been established expands with time, the upper, non-steady part of the film (with its thickness decreasing towards the tip) expands faster and, thus, occupies a larger portion of the plate. As a result, the mean thickness of the film is 1.5 times smaller than the load.

The results obtained are extended to order-one inclinantion angles and the case where surface tension is present.

Thu, 22 Jan 2009
14:15
DH 1st floor SR

Optimal Control Under Stochastic Target Constraints

Bruno Bouchard
(Paris, Dauphine)
Abstract
/*-->*/ /*-->*/

We study a class of Markovian optimal stochastic control problems in which the controlled process $Z^\nu$ is constrained to satisfy an a.s.~constraint $Z^\nu(T)\in G\subset \R^{d+1}$ $\Pas$ at some final time $T>0$.  When the set is of the form $G:=\{(x,y)\in \R^d\x \R~:~g(x,y)\ge 0\}$, with $g$ non-decreasing in $y$, we provide a Hamilton-Jacobi-Bellman  characterization of the associated value function. It gives rise to a state constraint problem where the constraint can be expressed in terms of an auxiliary value function $w$ which characterizes the set $D:=\{(t,Z^\nu(t))\in [0,T]\x\R^{d+1}~:~Z^\nu(T)\in G\;a.s.$ for some $ \nu\}$. Contrary to standard state constraint problems, the domain $D$ is not given a-priori and we do not need to impose conditions on its boundary. It is naturally incorporated in the auxiliary value function $w$ which is itself a viscosity solution of a non-linear parabolic PDE.  Applying ideas recently developed in Bouchard, Elie and Touzi (2008), our general result also allows to consider optimal control problems with moment constraints of the form $\Esp{g(Z^\nu(T))}\ge 0$ or $\Pro{g(Z^\nu(T))\ge 0}\ge p$.

Thu, 22 Jan 2009

14:00 - 15:00
Rutherford Appleton Laboratory, nr Didcot

Preconditioning of linear systems in an ocean flow model

Dr Fred Wubs
(University of Groningen)
Abstract

The climate is largely determined by the ocean flow, which in itself is driven by wind and by gradients in temperature and salinity. Nowadays numerical models exist that are able to describe the occurring phenomena not only qualitatively but also quantitatively. At the Institute for Marine and Atmospheric research Utrecht (IMAU) a so-called thermohaline circulation model is developed in which methods of dynamical systems theory are used to study the stability of ocean flows. Here bifurcation diagrams are constructed by varying the strength of the forcing, for instance the amount of fresh water coming in from the north due to melting. For every value of the strength we have to solve a nonlinear system, which is handled by a Newton-type method. This produces many linear systems to be solved. 

In the talk the following will be addressed: the form of the system of equations, a special purpose method which uses Trilinos and MRILU. The latter is a multilevel ILU preconditioner developed at Groningen University. Results of the approach obtained on the Dutch national supercomputer will be shown.

Thu, 22 Jan 2009
13:00
DH 1st floor SR

Prospect Theory, Partial Liquidation and the Disposition Effect

Vicky Henderson
Abstract

We solve the problem of an agent with prospect theory preferences who seeks to liquidate a portfolio of (divisible) claims.

Our methodology enables us to consider different formulations of prospect preferences in the literature (piecewise exponential or piecewise power) and various price processes. We find that these differences in specification matter - for instance, with piecewise power functions, the agent may liquidate at a loss relative to break-even, albeit the likelihood of liquidating at a gain is much higher than liquidating at a loss. This is consistent with the disposition effect documented in empirical and experimental studies. We find the agent does not choose to partially liquidate a position, but rather, if liquidation occurs, the entire position is sold. This is in contrast to partial liquidation when agents have standard concave utilities.

Thu, 22 Jan 2009

12:30 - 13:30
Gibson 1st Floor SR

Wave Propagation in One-Dimensional Granular Lattices

Mason Porter
(University of Oxford)
Abstract

I will discuss the investigatation of highly nonlinear solitary waves in heterogeneous one-dimensional granular crystals using numerical computations, asymptotics, and experiments. I will focus primarily on periodic arrangements of particles in experiments in which stiffer/heavier stainless stee are alternated with softer/lighter ones.

The governing model, which is reminiscent of the Fermi-Pasta-Ulam lattice, consists of a set of coupled ordinary differential equations that incorporate Hertzian interactions between adjacent particles. My collaborators and I find good agreement between experiments and numerics and gain additional insight by constructing an exact compaction solution to a nonlinear partial differential equation derived using long-wavelength asymptotics. This research encompasses previously-studied examples as special cases and provides key insights into the influence of heterogeneous, periodic lattice on the properties of the solitary waves.

I will briefly discuss more recent work on lattices consisting of randomized arrangements of particles, optical versus acoustic modes, and the incorporation of dissipation.

Wed, 21 Jan 2009
16:00
L3

TBA

TBA
Wed, 21 Jan 2009

11:30 - 12:30

Old theorems, new proofs: A week in fusion systems (HELD IN CHCH, Tom Gate, Room 2)

David Craven
(University of Oxford)
Abstract

Last week, I proved five theorems about fusion systems, each with a (relatively) trivial proof. All of these theorems were known, but in each case the proof was (in some cases highly) non-trivial. I will introduce fusion systems and talk a bit about why they are interesting, and then prove some, or maybe all, of the theorems I proved.

Tue, 20 Jan 2009

17:00 - 18:00
L2

Representation zeta functions of p-adic Lie groups

Benjamin Klopsch
(Royal Holloway)
Abstract

In a joint project with Christopher Voll, I have investigated the representation zeta functions of compact p-adic Lie groups. In my talk I will explain some of our results, e.g. the existence of functional equations in a suitable global setting, and discuss open problems. In particular, I will indicate how piecing together information about local zeta functions allows us to determine the precise abscissa of convergence for the representation zeta function of the arithmetic group SL3(Z).

Tue, 20 Jan 2009

14:30 - 15:30
L3

Vertex Turan problems in the hypercube

John Talbot
(UCL)
Abstract
Let $Q_n=\{0,1\}^n$ be the $n$-dimensional hypercube. For $1\leq d \leq n$ and $F\subseteq Q_d$ we consider the question of how large $S\subseteq Q _n$ can be if every embedding $i:Q_d\to Q_n$ satisfies $i(F)\not\subseteq S$. We determine the asymptotic behaviour of the largest $F$-free subsets of $Q_n$ for a variety of $F$, in particular we generalise the sole non-trivial prior result in this area: $F=Q_2$ due to E.A. Kostochka. Many natural questions remain open. This is joint work with Robert Johnson.
Mon, 19 Jan 2009
15:45
Oxford-Man Institute

A new combinatorial method for calculating the moments of Lévy area

Dr Daniel Levin
(Oxford)
Abstract
We present a new way to compute the moments of the Lévy area of a two-dimensional Brownian motion. This is a classical problem of great importance, originally solved by Lévy. Our approach uses iterated integrals and combinatorial arguments involving the shuffle product (joint paper with Mark Wildon, Swansea).

 

Mon, 19 Jan 2009
14:15
Oxford-Man Institute

Existence of unique solutions for SDEs for individual driving paths.

Professor Sandy Davie
(Edinburgh)
Abstract
Existence and uniqueness theorems for (vector) stochastic differential equations dx=a(t,x)dt+b(t,x)dW are usually formulated at the level of stochastic processes. If one asks for such a result for an individual driving Brownian path W then there is a difficulty of interpretation.

One solution to this is to use rough path theory, and in this context a uniqueness theorem can be proved (for a.e. W) for dx=b(x)dW if b has Holder continuous derivative. Another variant with a natural interpretation is dx=a(t,x)dt+dW where, if a is bounded Borel, uniqueness can be shown for a.e. W. The talk will explore the extent to which these two approaches can be combined.

Mon, 19 Jan 2009

12:00 - 13:00
L3

Born-Infeld gravity, bigravity, and their cosmological applications

Maximo Bañados
(Pontificia Universidad Católica de Chile and Oxford)
Abstract
In an attempt to define the ground state of general relativity as a state with no metric we arrive at a bigravity action. This action has surprising applications to cosmology and is competitive with the standard dark matter paradigm. Fluctuations and CMB spectra are briefly discussed.    
Thu, 15 Jan 2009

14:00 - 15:00
Comlab

On the accuracy of inexact saddle point solvers

Dr Miro Rozloznik
(Academy of Sciences of the Czech Republic)
Abstract

For large--scale saddle point problems, the application of exact iterative schemes and preconditioners may be computationally expensive. In practical situations, only approximations to the inverses of the diagonal block or the related cross-product matrices are considered, giving rise to inexact versions of various solvers. Therefore, the approximation effects must be carefully studied. In this talk we study numerical behavior of several iterative Krylov subspace solvers applied to the solution of large-scale saddle point problems. Two main representatives of the segregated solution approach are analyzed: the Schur complement reduction method, based on an (iterative) elimination of primary variables and the null-space projection method which relies on a basis for the null-space for the constraints. We concentrate on the question what is the best accuracy we can get from inexact schemes solving either Schur complement system or the null-space projected system when implemented in finite precision arithmetic. The fact that the inner solution tolerance strongly influences the accuracy of computed iterates is known and was studied in several contexts.

In particular, for several mathematically equivalent implementations we study the influence of inexact solving the inner systems and estimate their maximum attainable accuracy. When considering the outer iteration process our rounding error analysis leads to results similar to ones which can be obtained assuming exact arithmetic. The situation is different when we look at the residuals in the original saddle point system. We can show that some implementations lead ultimately to residuals on the the roundoff unit level independently of the fact that the inner systems were solved inexactly on a much higher level than their level of limiting accuracy. Indeed, our results confirm that the generic and actually the cheapest implementations deliver the approximate solutions which satisfy either the second or the first block equation to the working accuracy. In addition, the schemes with a corrected direct substitution are also very attractive. We give a theoretical explanation for the behavior which was probably observed or it is already tacitly known. The implementations that we pointed out as optimal are actually those which are widely used and suggested in applications.

Mon, 12 Jan 2009
14:00
L3

Zermelo set theory, Mac Lane set theory and set forcing

Adrian Mathias
(Reunion)
Abstract

Over certain transitive models of Z, the usual treatment of forcing goes awry. But the provident closure of any such set is a provident model of Z, over which, as shown in "Provident sets and rudimentary set forcing", forcing works well. In "The Strength of Mac Lane Set Theory" a process is described of passing from a transitive model of Z + Tco to what is here called its lune, which is a larger model of Z + KP.

Theorem: Over a provident model of Z, the two operations of forming lunes and generic extensions commute.

Corresponding results hold for transitive models of Mac Lane set theory + Tco.

Wed, 17 Dec 2008

13:30 - 14:30
Gibson 1st Floor SR

Invariant Variational Problems and Invariant Flows

Peter J. Olver
(University of Minnesota)
Abstract

I will introduce the moving frame approach to the analysis of invariant variational problems and the evolution of differential invariants under invariant submanifold flows. Applications will include differential geometric flows, integrable systems, and image processing.

Thu, 11 Dec 2008
11:00
DH 3rd floor SR

TBA

Dr Shuli Guo
(Beijing Institute of Technology)
Tue, 09 Dec 2008

14:30 - 15:30
L3

Graphs on surfaces and virtual knots

Sergei Chmutov
(Ohio State)
Abstract
Regions of a link diagram can be colored in black and white in a checkerboard manner. Putting a vertex in each black region and connecting two vertices by an edge if the corresponding regions share a crossing yields a planar graph. In 1987 Thistlethwaite proved that the Jones polynomial of the link can be obtained by a specialization of the Tutte polynomial of this planar graph. The goal of my talk will be an explanation of a generalization of Thistlethwaite's theorem to virtual links. In this case graphs will be embedded into a (higher genus, possibly non-oriented) surface. For such graphs we used a generalization of the Tutte polynomial called the Bollobas-Riordan polynomial. For graphs on
surfaces the natural duality can be generalized to a duality with respect to a subset of edges. The generalized dual graph might be embedded into a different surface. I will explain a relation between the Bollobas-Riordan polynomials of dual graphs. This relation unifies various Thistlethwaite type theorems.

Fri, 05 Dec 2008
14:30
Gibson 1st Floor SR

SEMINAR CANCELLED

Professor Neil Crout
(University of Nottingham)
Fri, 05 Dec 2008
14:15
DH 1st floor SR

Contracting for optimal investment with risk control

Chris Rogers
(Cambridge)
Abstract

The theory of risk measurement has been extensively developed over the past ten years or so, but there has been comparatively little effort devoted to using this theory to inform portfolio choice. One theme of this paper is to study how an investor in a conventional log-Brownian market would invest to optimize expected utility of terminal wealth, when subjected to a bound on his risk, as measured by a coherent law-invariant risk measure. Results of Kusuoka lead to remarkably complete expressions for the solution to this problem.

The second theme of the paper is to discuss how one would actually manage (not just measure) risk. We study a principal/agent problem, where the principal is required to satisfy some risk constraint. The principal proposes a compensation package to the agent, who then optimises selfishly ignoring the risk constraint. The principal can pick a compensation package that induces the agent to select the principal's optimal choice.

Fri, 05 Dec 2008

14:00 - 15:00

Seminar cancelled

Angus Macintyre
(Queen Mary)
Abstract