Tue, 17 Nov 2009
16:00
DH 1st floor SR

Automata Groups

Owen Cotton-Barratt
Tue, 17 Nov 2009

14:30 - 15:30
L3

Higher Order Tournaments

Imre Leader
(Cambridge)
Abstract
Given $n$ points in general position in the plane, how many of the triangles formed by them can contain the origin? This problem was solved 25 years ago by Boros and Furedi, who used a beautiful translation of the problem to a non-geometric setting. The talk will start with background, including this result, and will then go on to consider what happens in higher dimensions in the geometric and non-geometric cases.
Tue, 17 Nov 2009
12:00
L3

Algebraically special solutions in more than four dimensions

Harvey Reall
(DAMTP Cambridge)
Abstract

Algebraic classification of the Weyl tensor is an important tool for solving the Einstein equation. I shall review the classification for spacetimes of dimension greater than four, and recent progress in using it to construct new exact solutions. The higher-dimensional generalization of the Goldberg-Sachs theorem will be discussed.

Mon, 16 Nov 2009

17:00 - 18:00
Gibson 1st Floor SR

Probing the origin of Wasserstein gradient flows

Mark Peletier
(Technical University Eindhoven)
Abstract

The talk starts with the observation that many well-known systems of diffusive type

can be written as Wasserstein gradient flows. The aim of the talk is

to understand _why_ this is the case. We give an answer that uses a

connection between diffusive PDE systems and systems of Brownian

particles, and we show how the Wasserstein metric arises in this

context. This is joint work with Johannes Zimmer, Nicolas Dirr, and Stefan Adams.

Mon, 16 Nov 2009
15:45
Eagle House

Some invariance principles for functionals of Lévy processes

Loic Chaumont
(Université d’Angers)
Abstract

We prove that when a sequence of Lévy processes $X(n)$ or a normed sequence of random walks $S(n)$ converges a.s. on the Skorokhod space toward a Lévy process $X$, the sequence $L(n)$ of local times at the supremum of $X(n)$ converges uniformly on compact sets in probability toward the local time at the supremum of $X$. A consequence of this result is that the sequence of (quadrivariate) ladder processes (both ascending and

descending) converges jointly in law towards the ladder processes of $X$. As an application, we show that in general, the sequence $S(n)$ conditioned to stay positive converges weakly, jointly with its local time at the future minimum, towards the corresponding functional for the limiting process $X$. From this we deduce an invariance principle for the meander which extends known results for the case of attraction to a stable law.

Mon, 16 Nov 2009

12:00 - 13:00
L3

M2-branes at hypersurface singularities and their deformations

James Sparks
(Oxford)
Abstract
I will introduce a family of supersymmetric Chern-Simons-matter theories in d=2+1 dimensions, labelled by a positive integer n, and argue that these describe the low-energy worldvolume theory of M2-branes at a corresponding family of four-fold hypersurface singularities. There are dual descriptions in Type IIA involving a family of three-fold hypersurface singularities, and also a Type IIB dual of Hanany-Witten type involving D3-branes suspended between 5-branes. The n=1 theory has manifest N=6 superconformal symmetry and is the Aharony-Bergman-Jafferis-Maldacena theory on an M2-brane in flat spacetime. The n>1 theories are not conformal: however, the n>2 theories are all argued to flow to the same superconformal IR fixed point, while the n=2 theory flows to a theory that is AdS/CFT dual to a certain homogeneous Sasaki-Einstein 7-manifold. This is the base of the four-fold "conifold" singularity, and the smooth deformation of this singularity is interpreted as a particular mass deformation in the field theory. The IR theory of this deformation is conjecturally confining.
Fri, 13 Nov 2009
14:15
DH 1st floor SR

Clustered Default

Jin-Chuan Duan
(National University of Singapore)
Abstract

Defaults in a credit portfolio of many obligors or in an economy populated with firms tend to occur in waves. This may simply reflect their sharing of common risk factors and/or manifest their systemic linkages via credit chains. One popular approach to characterizing defaults in a large pool of obligors is the Poisson intensity model coupled with stochastic covariates, or the Cox process for short. A constraining feature of such models is that defaults of different obligors are independent events after conditioning on the covariates, which makes them ill-suited for modeling clustered defaults. Although individual default intensities under such models can be high and correlated via the stochastic covariates, joint default rates will always be zero, because the joint default probabilities are in the order of the length of time squared or higher. In this paper, we develop a hierarchical intensity model with three layers of shocks -- common, group-specific and individual. When a common (or group-specific) shock occurs, all obligors (or group members) face individual default probabilities, determining whether they actually default. The joint default rates under this hierarchical structure can be high, and thus the model better captures clustered defaults. This hierarchical intensity model can be estimated using the maximum likelihood principle. A default signature plot is invented to complement the typical power curve analysis in default prediction. We implement the new model on the US corporate bankruptcy data and find it far superior to the standard intensity model both in terms of the likelihood ratio test and default signature plot.

Fri, 13 Nov 2009

14:00 - 15:00
Gibson 1st Floor SR

Global solutions for the Navier-Stokes equations with some large initial data

Marius Paicu
(University of Paris XI)
Abstract

We consider the three dimensional Navier-Stokes equations with a large initial data and

we prove the existence of a global smooth solution. The main feature of the initial data

is that it varies slowly in the vertical direction and has a norm which blows up as the

small parameter goes to zero. In the language of geometrical optics, this type of

initial data can be seen as the ``ill prepared" case. Using analytical-type estimates

and the special structure of the nonlinear term of the equation we obtain the existence

of a global smooth solution generated by this large initial data. This talk is based on a

work in collaboration with J.-Y. Chemin and I. Gallagher and on a joint work with Z.

Zhang.

Fri, 13 Nov 2009

10:00 - 13:00
DH 1st floor SR

The Information in a Radar Return

Andy Stove
(Thales Aerospace, Crawley)
Abstract

The aim is to explore whether we can extend the work of PM Woodward first published many years ago, to see if we can extract more information than we do to date from our radar returns. A particular interest is in the information available for target recognition, which requires going beyond Woodward's assumption that the target has no internal structure.

Thu, 12 Nov 2009

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

CFD in the Gas Turbine Industry

Dr. Leigh Lapworth (t.b.c.)
(Rolls Royce)
Abstract

CFD is an indispensible part of the design process for all major gas turbine components. The growth in the use of CFD from single-block structured mesh steady state solvers to highly resolved unstructured mesh unsteady solvers will be described, with examples of the design improvements that have been achieved. The European Commission has set stringent targets for the reduction of noise, emissions and fuel consumption to be achieved by 2020. The application of CFD to produce innovative designs to meet these targets will be described. The future direction of CFD towards whole engine simulations will also be discussed.

Thu, 12 Nov 2009

12:00 - 13:00
SR1

Group valued moment maps, Loop groups and Dirac structures

Tom Baird
(Oxford)
Abstract

I will survey the theory of quasiHamiltonian spaces, a.k.a. group valued moment maps. In rough correspondence with historical development, I will first show how they emerge from the study of loop group representations, and then how they arise as a special case of "presymplectic realizations" in Dirac geometry.

Thu, 12 Nov 2009
11:00
Gibson 1st Floor SR

OxMOS Team Meeting

Richard Norton; Siobhan Burke
Tue, 10 Nov 2009

16:30 - 17:20
SR2

The Power of Choice in a Generalized Polya Urn Model

Gregory Sorkin
(IBM Research NY)
Abstract
HTML clipboard /*-->*/ /*-->*/ We introduce a "Polya choice" urn model combining elements of the well known "power of two choices" model and the "rich get richer" model. From a set of $k$ urns, randomly choose $c$ distinct urns with probability proportional to the product of a power $\gamma>0$ of their occupancies, and increment one with the smallest occupancy. The model has an interesting phase transition. If $\gamma \leq 1$, the urn occupancies are asymptotically equal with probability 1. For $\gamma>1$, this still occurs with positive probability, but there is also positive probability that some urns get only finitely many balls while others get infinitely many.
Tue, 10 Nov 2009

15:45 - 16:45
L3

Opers, Quot-schemes and Frobenius-destabilised vector bundles over curves

Christian Pauly
(Montpellier)
Abstract

In this talk I will introduce and study opers over a smooth projective curve X defined over a field of positive characteristic. I will describe a bijective correspondence between the set of stable vector bundles E over X such that the pull-back F^*(E) under the Frobenius

map F of X has maximal Harder-Narasimhan polygon and the set of opers having zero p-curvature. These sets turn out to be finite, which allows us to derive dimensions of certain Quot-schemes and certain loci of stable Frobenius-destabilized vector bundles over X.

Tue, 10 Nov 2009

14:50 - 15:40
L3

Random graphs with few disjoint cycles

Colin McDiarmid
(Oxford)
Abstract
HTML clipboard /*-->*/ /*-->*/

Fix a positive integer $k$, and consider the class of all graphs which do not have $k+1$  vertex-disjoint cycles.  A classical result of Erdos and P\'{o}sa says that each such graph $G$ contains a blocker of size at most $f(k)$.  Here a {\em blocker} is a set $B$ of vertices such that $G-B$ has no cycles.

 

We give a minor extension of this result, and deduce that almost all such labelled graphs on vertex set $1,\ldots,n$ have a blocker of size $k$.  This yields an asymptotic counting formula for such graphs; and allows us to deduce further properties of a graph $R_n$ taken uniformly at random from the class: we see for example that the probability that $R_n$ is connected tends to a specified limit as $n \to \infty$.

 

There are corresponding results when we consider unlabelled graphs with few disjoint cycles. We consider also variants of the problem involving for example disjoint long cycles.

 

This is joint work with Valentas Kurauskas and Mihyun Kang.

Tue, 10 Nov 2009

14:00 - 14:50
L3

Oblivious Routing in the $L_p$ norm

Harald Raecke
(Warwick)
Abstract
HTML clipboard /*-->*/ /*-->*/

Gupta et al. introduced a very general multi-commodity flow problem in which the cost of a given flow solution on a graph $G=(V,E)$ is calculated by first computing the link loads via a load-function l, that describes the load of a link as a function of the flow traversing the link, and then aggregating the individual link loads into a single number via an aggregation function.

 

We show the existence of an oblivious routing scheme with competitive ratio $O(\log n)$ and a lower bound of $\Omega(\log n/\logl\og n)$ for this model when the aggregation function agg is an $L_p$-norm.

 

Our results can also be viewed as a generalization of the work on approximating metrics by a distribution over dominating tree metrics and the work on minimum congestion oblivious. We provide a convex combination of trees such that routing according to the tree distribution approximately minimizes the $L_p$-norm of the link loads. The embedding techniques of Bartal and Fakcharoenphol et al. [FRT03] can be viewed as solving this problem in the $L_1$-norm while the result on congestion minmizing oblivious routing solves it for $L_\infty$. We give a single proof that shows the existence of a good tree-based oblivious routing for any $L_p$-norm.

Mon, 09 Nov 2009

17:00 - 18:00
Gibson 1st Floor SR

Elastic models for growing tissues: scaling laws and derivation by Gamma convergence

Reza Pakzad
(University of Pittsburgh)
Abstract

Certain elastic structures and growing tissues (leaves, flowers or marine invertebrates) exhibit residual strain at free equilibria. We intend to study this phenomena through an elastic growth variational model. We will first discuss this model from a differential geometric point of view: the growth seems to change the intrinsic metric of the tissue to a new target non-flat metric. The non-vanishing curvature is the cause of the non-zero stress at equilibria.

We further discuss the scaling laws and $\Gamma$-limits of the introduced 3d functional on thin plates in the limit of vanishing thickness. Among others, given special forms of growth tensors, we rigorously derive the non-Euclidean versions of Kirchhoff and von Karman models for elastic non-Euclidean plates. Sobolev spaces of isometries and infinitesimal isometries of 2d Riemannian manifolds appear as the natural space of admissible mappings in this context. In particular, as a side result, we obtain an equivalent condition for existence of a $W^{2,2}$ isometric immersion of a given $2$d metric on a bounded domain into $\mathbb R3$.

Mon, 09 Nov 2009

16:00 - 17:00
SR1

Digits of primes

James Maynard
(Mathematical Institute, Oxford)
Mon, 09 Nov 2009
15:45
Eagle House

TBA

Stanislav Smirnov
(Université de Genève)
Mon, 09 Nov 2009
14:15
L3

Lattices in Simple Lie Groups: A Survey

Michael Cowling
(Birmingham)
Abstract

Lattices in semisimple Lie groups have been studied from the point of view of number theory, algebraic groups, topology and geometry, and geometric group theory. The Fragestellung of one line of investigation is to what extent the properties of the lattice determine, and are determined by, the properties of the group. This talk reviews a number of results about lattices, and in particular looks at Mostow--Margulis rigidity.

Mon, 09 Nov 2009
14:15
Eagle House

TBA

Tom Cass
(Oxford)
Mon, 09 Nov 2009

12:00 - 13:00
L3

On the classification of Brane Tilings

Amihay Hanany
(Imperial College)
Abstract
Brane Tilings give a large class of SCFT's in 3+1 and 2+1 dimensions. In this talk I will discuss several attempt to classify all such models. Statistical properties of these models can be derived using some techniques in number theory.
Mon, 09 Nov 2009

11:00 - 12:00
Gibson 1st Floor SR

Geometrically constrained walls in two dimension.

Valeriy Slastikov
(University of Bristol)
Abstract

We address the effect of extreme geometry on a non-convex variational problem motivated by recent investigations of magnetic domain walls trapped by sharp thin necks. We prove the existence of local minimizers representing geometrically constrained walls under suitable symmetry assumptions on the domains and provide an asymptotic characterization of the wall profile. The asymptotic behavior, which depends critically on the scaling of length and width of the neck, turns out to be qualitatively different from the higher-dimensional case and a richer variety of regimes is shown to exist.

Fri, 06 Nov 2009

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

A comparison of stochastic and analytical models for cell migration

Kit Yates
(University of Oxford)
Abstract

Abstract: Cell migration and growth are essential components of the development of multicellular organisms. The role of various cues in directing cell migration is widespread, in particular, the role of signals in the environment in the control of cell motility and directional guidance. In many cases, especially in developmental biology, growth of the domain also plays a large role in the distribution of cells and, in some cases, cell or signal distribution may actually drive domain growth. There is a ubiquitous use of partial differential equations (PDEs) for modelling the time evolution of cellular density and environmental cues. In the last twenty years, a lot of attention has been devoted to connecting macroscopic PDEs with more detailed microscopic models of cellular motility, including models of directional sensing and signal transduction pathways. However, domain growth is largely omitted in the literature. In this paper, individual-based models describing cell movement and domain growth are studied, and correspondence with a macroscopic-level PDE describing the evolution of cell density is demonstrated. The individual-based models are formulated in terms of random walkers on a lattice. Domain growth provides an extra mathematical challenge by making the lattice size variable over time. A reaction-diffusion master equation formalism is generalised to the case of growing lattices and used in the derivation of the macroscopic PDEs.

Fri, 06 Nov 2009

11:45 - 13:00
DH 1st floor SR

Investigating the freezing of colloids by X-rays radiography and tomography: recent results, limitations and potential for further progress

Sylvain Deville
(Saint Gobain)
Abstract

Understanding the critical parameters controlling the stability of solidification interfaces in colloidal systems is a necessary step in many domains were the freezing of colloids is present, such as materials science or geophysics. What we understand so far of the solidification of colloidal suspensions is derived primarily from the analogies with dilute alloys systems, or the investigated behaviour of single particles in front of a moving interface and is still a subject of intense work. A more realistic, multi-particles model should account for the particles movement, the various possible interactions between the particles and the multiple interactions between the particles and the solid/liquid cellular interface. In order to bring new experimental observations, we choose to investigate the stability of a cellular interface during directional solidification of colloidal suspensions by using X-ray radiography and tomography. I will present recent experimental results of ice growth (ice lenses) and particle redistribution observations, their implications, and open the discussion regarding the limitations of the technique and the potential for further progress in the field using this approach.