Mon, 26 Nov 2007

14:45 - 15:45
Oxford-Man Institute

TBA

Prof. Gilles Pages
(Universite de Paris VI)
Mon, 26 Nov 2007

13:15 - 14:15
Oxford-Man Institute

Reflected Brownian motion in a wedge : sum-of-exponential stationary densities

Dr. John Moriarty
(Manchester)
Abstract

Reflected Brownian motion (RBM) in a two-dimensional wedge is a well-known stochastic process. With an appropriate drift, it is positive recurrent and has a stationary distribution, and the invariant measure is absolutely continuous with respect to Lebesgue measure. I will give necessary and sufficient conditions for the stationary density to be written as a finite sum of exponentials with linear exponents. Such densities are a natural generalisation of the stationary density of one-dimensional RBM. Using geometric ideas reminiscent of the reflection principle, I will give an explicit formula for the density in such cases, which can be written as a determinant. Joint work with Ton Dieker.

Mon, 26 Nov 2007

11:00 - 12:00
L3

An algorithmic approach to heterotic compactification

Lara Anderson (Oxford)
Abstract
Abstract: In this talk, I will describe recent work in string phenomenology from the perspective of computational algebraic geometry. I will begin by reviewing some of the long-standing issues in heterotic model building and describe the difficult task of producing realistic particle physics from heterotic string theory. This goal can be approached by creating a large class of heterotic models which can be algorithmically scanned for physical suitability. I will outline a well-defined set of heterotic compactifications over complete intersection Calabi-Yau manifolds using the monad construction of vector bundles. Further, I will describe how a combination of analytic methods and computer algebra can provide efficient techniques for proving stability and calculating particle spectra.
Mon, 26 Nov 2007
00:00
St Catherine's

Symmetries in Biological and Physical Networks

Prof. Ian Stewart FRS
(University of Warwick)
Abstract

The symmetries of a dynamical system have a big effect on its typical behaviour. The most obvious effect is pattern formation - the dynamics itself may be symmetric, though often the symmetry of the system is 'broken', and the state has less symmetry than the system. The resulting phenomena are fairly well understood for steady and time-periodic states, and quite a bit can be said for chaotic dynamics. More recently, the concept of 'symmetry' has been generalised to address applications to physical and biological networks. One consequence is a new approach to patterns of synchrony and phase relations. The lecture will describe some of the high points of the emerging theories, including applications to evolution, locomotion, human balance and fluid dynamics.

Fri, 23 Nov 2007
13:15
DH 1st floor SR

"The British Option"

Prof. Goran Peskir
(University of Manchester)
Fri, 23 Nov 2007
09:00
DH 3rd floor SR

7th Week

Msc Industrial Sponsors present potential problems to the assembled faculty and Postdocs
Thu, 22 Nov 2007

14:00 - 15:00
Comlab

Adaptive Multilevel Methods for PDE-Constrained Optimization

Prof Stefan Ulbrich
(TU Darmstadt)
Abstract

Adaptive discretizations and iterative multilevel solvers are nowadays well established techniques for the numerical solution of PDEs.

The development of efficient multilevel techniques in the context of PDE-constrained optimization methods is an active research area that offers the potential of reducing the computational costs of the optimization process to an equivalent of only a few PDE solves.

We present a general class of inexact adaptive multilevel SQP-methods for PDE-constrained optimization problems. The algorithm starts with a coarse discretization of the underlying optimization problem and provides

1. implementable criteria for an adaptive refinement strategy of the current discretization based on local error estimators and

2. implementable accuracy requirements for iterative solvers of the PDE and adjoint PDE on the current grid

such that global convergence to the solution of the infinite-dimensional problem is ensured.

We illustrate how the adaptive refinement strategy of the multilevel SQP-method can be implemented by using existing reliable a posteriori error estimators for the state and the adjoint equation. Moreover, we discuss the efficient handling of control constraints and describe how efficent multilevel preconditioners can be constructed for the solution of the arising linear systems.

Numerical results are presented that illustrate the potential of the approach.

This is joint work with Jan Carsten Ziems.

Thu, 22 Nov 2007

13:30 - 14:30
L3

From Springer fibres to a cellular algebra and its quasi-hereditary cover

Catharina Stroppel
(Glasgow)
Abstract

I will discuss how one can construct nice cellular

algebras using the cohomology of Springer fibres associated with two

block nilpotent matrices (and the convolution product). Their

quasi-hereditary covers can be described via categories of highest

weight modules for the Lie algebra sl(n). The combinatorics of torus

fixed points in the Springer fibre describes decomposition

multiplicities for the corresponding highest weight categories. As a

result one gets a natural subcategory of coherent sheaves on a

resolution of the slice to the corresponding nilpotent orbit.

Thu, 22 Nov 2007

11:00 - 12:00
SR1

Grothendieck groups and Wall's finiteness obstruction

George Raptis
(University of Oxford)
Abstract

Will discuss several constructions of the Grothendieck group in different contexts together with Wall's solution of the problem of determining homotopy types of finite CW complexes as a motivating application.

Thu, 22 Nov 2007
10:00
SR1

Minimal definable sets in difference fields.

Alice Medvedev
(UIC)
Abstract

I will speak about the Zilber trichotomy for weakly minimal difference varieties, and the definable structure on them.

A difference field is a field with a distinguished automorphism $\sigma$. Solution sets of systems of polynomial difference equations like

$3 x \sigma(x) +4x +\sigma^2(x) +17 =0$ are the quantifier-free definable subsets of difference fields. These \emph{difference varieties} are similar to varieties in algebraic geometry, except uglier, both from an algebraic and from a model-theoretic point of view.

ACFA, the model-companion of the theory of difference fields, is a supersimple theory whose minimal (i.e. U-rank $1$) types satisfy the Zilber's Trichotomy Conjecture that any non-trivial definable structure on the set of realizations of a minimal type $p$ must come from a definable one-based group or from a definable field. Every minimal type $p$ in ACFA contains a (weakly) minimal quantifier-free formula $\phi_p$, and often the difference variety defined by $\phi_p$ determines which case of the Zilber Trichotomy $p$ belongs to.

Wed, 21 Nov 2007

10:00 - 11:30
Queen's College

Why I care about V_4 blocks

David Craven
Abstract

Abstract: I will talk about developments in my ongoing project to understand algebraic modules for finite groups, in particular for V_4 blocks, and their relation with the Puig finiteness conjecture. I will discuss a new (as in 5th of November) theorem of mine that generalizes results of Alperin and myself.

Tue, 20 Nov 2007

16:00 - 17:00
L1

On Engel groups

Prof. M. Vaughan-Lee
(Oxford)
Tue, 20 Nov 2007
15:30
SR1

Transcience and recurrence for branching random walks in random environment

Sebastian Muller
(Graz)
Abstract

We give different criteria for transience of branching Markov chains. These conditions enable us to give a classification of branching random walks in random environment (BRWRE) on Cayley graphs in recurrence and transience. This classification is stated explicitly for BRWRE on $\Z^d.$ Furthermore, we emphasize the interplay between branching Markov chains, the spectral radius, and some generating functions.