Thu, 16 Feb 2012

17:00 - 18:00
L3

Topological Representations and the Model Theory of Abelian Group Rings

Peter Pappas (Oxford)
Abstract

This talk will be accessible to non-specialists and in particular details how model theory naturally leads to specific representations of abelian group rings as rings of global sections. The model-theoretic approach is motivated by algebraic results of Amitsur on the Semisimplicity Problem, on which a brief discussion will first be given.

Thu, 16 Feb 2012

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

Adaptive Networks of Opinion Formation in Humans and Animals

Thilo Gross
(University of Bristol)
Abstract

A central challenge in socio-physics is understanding how groups of self-interested agents make collective decisions. For humans many insights in the underlying opinion formation process have been gained from network models, which represent agents as nodes and social contacts as links. Over the past decade these models have been expanded

to include the feedback of the opinions held by agents on the structure of the network. While a verification of these adaptive models in humans is still difficult, evidence is now starting to appear in opinion formation experiments with animals, where the choice that is being made concerns the direction of movement. In this talk I show how analytical insights can be gained from adaptive networks models and how predictions from these models can be verified in experiments with swarming animals. The results of this work point to a similarity between swarming and human opinion formation and reveal insights in the dynamics of the opinion formation process. In particular I show that in a population that is under control of a strongly opinionated minority a democratic consensus can be restored by the addition of

uninformed individuals.

Thu, 16 Feb 2012

16:00 - 17:00
L3

Smooth numbers in arithmetic progressions

Adam Harper
(Cambridge)
Abstract

A number is said to be $y$-smooth if all of its prime factors are

at most $y$. A lot of work has been done to establish the (equi)distribution

of smooth numbers in arithmetic progressions, on various ranges of $x$,$y$

and $q$ (the common difference of the progression). In this talk I will

explain some recent results on this problem. One ingredient is the use of a

majorant principle for trigonometric sums to carefully analyse a certain

contour integral.

Thu, 16 Feb 2012

13:00 - 14:00
SR2

Generalized Geometry - a starter course.

Roberto Rubio
Abstract

Basic and mild introduction to Generalized Geometry from the very beginning: the generalized tangent space, generalized metrics, generalized complex structures... All topped with some Lie type B flavour. Suitable for vegans. May contain traces of spinors.

Thu, 16 Feb 2012
12:30
Gibson 1st Floor SR

Geometric flows and their singularities

Reto Müller
(Imperial College, London)
Abstract

In this talk, we first study the Mean Curvature Flow, an evolution equation for submanifolds of some Euclidean space. We review a famous monotonicity formula of Huisken and its application to classifying so-called Type I singularities. Then, we discuss the Ricci Flow, which might be seen as the intrinsic analog of the Mean Curvature Flow for abstract Riemannian manifolds. We explain how Huisken's classification of Type I singularities can be adopted to this intrinsic setting, using monotone quantities found by Perelman.

Wed, 15 Feb 2012

16:00 - 17:00
SR2

Groups with prescribed finiteness properties

Stefan Witzel
Abstract

The first group known to be finitely presented but having infinitely generated 3rd homology was constructed by Stallings. Bieri extended this to a series of groups G_n such that G_n is of type F_{n-1} but not of type F_n. Finally, Bestvina and Brady turned it into a machine that realizes prescribed finiteness properties. We will discuss some of these examples.

Wed, 15 Feb 2012
16:00
L3

tba

Nick Bezhanishvili
(Imperial College)
Wed, 15 Feb 2012

10:15 - 11:15
OCCAM Common Room (RI2.28)

Multiscale models of bacterial pattern formation

Chuan Xue
(Ohio State University)
Abstract

Mathematical models of chemotactic movement of bacterial populations are often written as systems of partial differential equations for the densities of bacteria and concentrations of extracellular signaling chemicals. This approach has been employed since the seminal work of Keller and Segel in the 1970s [Keller and Segel, J. Theor. Biol., 1971]. The system has been shown to permit travelling wave solutions which correspond to travelling band formation in bacterial colonies, yet only under specific criteria, such as a singularity in the chemotactic sensitivity function as the signal approaches zero. Such a singularity generates infinite macroscopic velocities that ar biologically unrealistic. Here we present a microscopic model that takes into consideration relevant details of the intracellular processes while avoiding the singularity in the chemotactic sensitivity. We show that this model permits travelling wave solutions and predicts the formation of other bacterial patterns such as radial and spiral streams. We also present connections of this microscopic model with macroscopic models of bacterial chemotaxis. This is joint work with Radek Erban, Benjamin Franz, Hyung Ju Hwang, and Kevin J.

Painter.

Wed, 15 Feb 2012
00:00

Centralisers of Subsystems of Fusion Systems -- St Hugh's, 80WR18

Jason Semeraro
(Oxford)
Abstract

Saturated fusion systems are a relatively new class of objects that are often described as the correct 'axiomatisation' of certain p-local phenomena in algebraic topology. Despite these geometric beginnings however, their structure is sufficiently rigid to afford its own local theory which in some sense mimics the local theory of finite groups. In this talk, I will briefly motivate the definition of a saturated fusion system and discuss a remarkable result of Michael Aschbacher which proves that centralisers of normal subsystems of a saturated fusion system, F, exist and are themselves saturated. I will then attempt to justify his definition in the case where F is non-exotic by appealing to some classical group theoretic results. If time permits I will speculate about a topological characterisation of the centraliser as the set of homotopy fixed points of a certain action on the classifying space of F.

Tue, 14 Feb 2012

14:30 - 15:30
L3

Line arrangements and geometric representations of graphs

Tobias Mueller, Amsterdam
Abstract

A dot product representation of a graph assigns to each vertex $s$ a vector $v(s)$ in ${\bf R}^k$ in such a way that $v(s)^T v(t)$ is greater than $1$ if and only $st$ is an edge. Similarly, in a distance representation $|v(s)-v(t)|$ is less than $1$ if and only if $st$ is an edge.

I will discuss the solution of some open problems by Spinrad, Breu and Kirkpatrick and others on these and related geometric representations of graphs. The proofs make use of a connection to oriented pseudoline arrangements.

(Joint work with Colin McDiarmid and Ross Kang)

Mon, 13 Feb 2012

16:00 - 17:00
SR1

An introduction to p-adic cohomology

Jan Tuitman
Abstract

In this talk we will give an introduction to the theory of p-adic (or rigid) cohomology. We will first define the theory for smooth affine varieties, then sketch the definition in general, next compute a simple example, and finally discuss some applications.

Mon, 13 Feb 2012

15:45 - 16:45
L3

The topology and geometry of automorphism groups of free groups II

Karen Vogtmann
(Cornell)
Abstract

Free groups, free abelian groups and fundamental groups of

closed orientable surfaces are the most basic and well-understood

examples of infinite discrete groups. The automorphism groups of

these groups, in contrast, are some of the most complex and intriguing

groups in all of mathematics. In these lectures I will concentrate

on groups of automorphisms of free groups, while drawing analogies

with the general linear group over the integers and surface mapping

class groups. I will explain modern techniques for studying

automorphism groups of free groups, which include a mixture of

topological, algebraic and geometric methods.

Mon, 13 Feb 2012

15:45 - 16:45
Oxford-Man Institute

Finite rank perturbations of random matrices and free probability theory

FLORENT BENAYCH-GEORGES
(Pierre and Marie Curie University)
Abstract

Abstract : The question adressed in this talk is the following one : how are the extreme eigenvalues of a matrix X moved by a small rank perturbation P of X ?
We shall consider this question in its generic apporach, i.e. when the matrices X and P are chosen at random independently and in isotropic ways.
We shall give a general answer, uncovering a remarkable phase transition phenomenon: the limit of the extreme eigenvalues of the perturbed matrix differs from the original matrix if and only if the eigenvalues of the perturbing matrix are above a certain critical threshold. We also examine the consequences of this eigenvalue phase transition on the associated eigenvectors and generalize our results to examine the case of multiplicative perturbations or of additive perturbations for the singular values of rectangular matrices.

Mon, 13 Feb 2012

14:15 - 15:15
Oxford-Man Institute

"On diffusions interacting through their ranks"

Mykhaylo Shkolnikov
(Stanford, USA)
Abstract

Abstract: We will discuss systems of diffusion processes on the real line, in which the dynamics of every single process is determined by its rank in the entire particle system. Such systems arise in mathematical finance and statistical physics, and are related to heavy-traffic approximations of queueing networks. Motivated by the applications, we address questions about invariant distributions, convergence to equilibrium and concentration of measure for certain statistics, as well as hydrodynamic limits and large deviations for these particle systems. Parts of the talk are joint works with Amir Dembo, Tomoyuki Ichiba, Ioannis Karatzas, Soumik Pal and Ofer Zeitouni

 

Mon, 13 Feb 2012

14:15 - 15:15
Oxford-Man Institute

"On diffusions interacting through their ranks"

Mykhaylo Shkolnikov
(Stanford, USA)
Abstract

Abstract: We will discuss systems of diffusion processes on the real line, in which the dynamics of every single process is determined by its rank in the entire particle system. Such systems arise in mathematical finance and statistical physics, and are related to heavy-traffic approximations of queueing networks. Motivated by the applications, we address questions about invariant distributions, convergence to equilibrium and concentration of measure for certain statistics, as well as hydrodynamic limits and large deviations for these particle systems. Parts of the talk are joint works with Amir Dembo, Tomoyuki Ichiba, Ioannis Karatzas, Soumik Pal and Ofer Zeitouni

 

Mon, 13 Feb 2012

12:00 - 13:00
L3

Quantum states to brane geometries via fuzzy moduli space

Sanjaye Ramgoolam
(Queen Mary University of London)
Abstract

The moduli space of supersymmetric (eighth-BPS) giant gravitons in $AdS_5 \times S^5$ is a limit of projective spaces. Quantizing this moduli space produces a Fock space of oscillator states, with a cutoff $N$ related to the rank of the dual $U(N)$ gauge group. Fuzzy geometry provides the ideal set of techniques for associating points or regions of moduli space to specific oscillator states. It leads to predictions for the spectrum of BPS excitations of specific worldvolume geometries. It also leads to a group theoretic basis for these states, containing Young diagram labels for $U(N)$ as well as the global $U(3)$ symmetry group. The problem of constructing gauge theory operators corresponding to the oscillator states and  some recent progress in this direction are explained.

Fri, 10 Feb 2012
16:30
L2

The topology and geometry of automorphism groups of free groups

Professor Karen Vogtmann
(Cornell University)
Abstract

Free groups, free abelian groups and fundamental groups of

closed orientable surfaces are the most basic and well-understood examples

of infinite discrete groups. The automorphism groups of these groups, in

contrast, are some of the most complex and intriguing groups in all of

mathematics. I will give some general comments about geometric group

theory and then describe the basic geometric object, called Outer space,

associated to automorphism groups of free groups.

This Colloquium talk is the first of a series of three lectures given by

Professor Vogtmann, who is the European Mathematical Society Lecturer. In

this series of three lectures, she will discuss groups of automorphisms

of free groups, while drawing analogies with the general linear group over

the integers and surface mapping class groups. She will explain modern

techniques for studying automorphism groups of free groups, which include

a mixture of topological, algebraic and geometric methods.

Fri, 10 Feb 2012

14:30 - 15:30
DH 3rd floor SR

Ocean Eddy Parameterisation and Conservation Principles

Dr. James Maddison
(AOPP University of Oxford)
Abstract

Ocean climate models are unlikely routinely to have sufficient

resolution to resolve the turbulent ocean eddy field. The need for the

development of improved mesoscale eddy parameterisation schemes

therefore remains an important task. The current dominant mesoscale eddy

closure is the Gent and McWilliams scheme, which enforces the

down-gradient mixing of buoyancy. While motivated by the action of

baroclinic instability on the mean flow, this closure neglects the

horizontal fluxes of horizontal momentum. The down-gradient mixing of

potential vorticity is frequently discussed as an alternative

parameterisation paradigm. However, such a scheme, without careful

treatment, violates fundamental conservation principles, and in

particular violates conservation of momentum.

A new parameterisation framework is presented which preserves

conservation of momentum by construction, and further allows for

conservation of energy. The framework has one dimensional parameter, the

total eddy energy, and five dimensionless and bounded geometric

parameters. The popular Gent and McWilliams scheme exists as a limiting

case of this framework. Hence the new framework enables for the

extension of the Gent and McWilliams scheme, in a manner consistent with

key physical conservations.

Fri, 10 Feb 2012
14:15
DH 1st floor SR

Good-deal bounds in a regime-switching diffusion market

Catherine Donnelly (Heriot-Watt)
Abstract

We consider the pricing of a maturity guarantee, which is equivalent to the pricing of a European put option, in a regime-switching market model. Regime-switching market models have been empirically shown to fit long-term stockmarket data better than many other models. However, since a regime-switching market is incomplete, there is no unique price for the maturity guarantee. We extend the good-deal pricing bounds idea to the regime-switching market model. This allows us to obtain a reasonable range of prices for the maturity guarantee, by excluding those prices which imply a Sharpe Ratio which is too high. The range of prices can be used as a plausibility check on the chosen price of a maturity guarantee.

Fri, 10 Feb 2012

11:30 - 13:00
OCCAM Common Room (RI2.28)

OCCAM Group Meeting

Various
Abstract
  • Jean Charles Seguis - The fictitious domain method applied to hybrid simulations in biology
  • Chris Farmer - Data assimilation and parameter estimation
  • Mark Curtis - Stokes' flow, singularities and sperm
Thu, 09 Feb 2012

17:00 - 18:00
L3

Categories of additive imaginaries and spectra

Mike Prest (Manchester)
Abstract

To each additive definable category there is attached its category of pp-imaginaries. This is abelian and every small abelian category arises in this way. The connection may be expressed as an equivalence of 2-categories. We describe two associated spectra (Ziegler and Zariski) which have arisen in the model theory of modules.

Thu, 09 Feb 2012

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

Shapes formed by Interacting Cracks

Karen Daniels
(North Carolina State University)
Abstract

Brittle failure through multiple cracks occurs in a wide variety of contexts, from microscopic failures in dental enamel and cleaved silicon to geological faults and planetary ice crusts. In each of these situations, with complicated stress geometries and different microscopic mechanisms, pairwise interactions between approaching cracks nonetheless produce characteristically curved fracture paths. We investigate the origins of this widely observed "en passant" crack pattern by fracturing a rectangular slab which is notched on each long side and then subjected to quasistatic uniaxial strain from the short side. The two cracks propagate along approximately straight paths until they pass each other, after which they curve and release a lens-shaped fragment. We find that, for materials with diverse mechanical properties, each curve has an approximately square-root shape, and that the length of each fragment is twice its width. We are able to explain the origins of this universal shape with a simple geometrical model.

Thu, 09 Feb 2012

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

Efficient, communication-minimizing algorithms for the symmetric eigenvalue decomposition and the singular value decomposition

Dr Yuji Nakatsukasa
(University of Manchester)
Abstract

Computing the eigenvalue decomposition of a symmetric matrix and the singular value decomposition of a general matrix are two of the central tasks in numerical linear algebra. There has been much recent work in the development of linear algebra algorithms that minimize communication cost. However, the reduction in communication cost sometimes comes at the expense of significantly more arithmetic and potential instability.

\\

\\

In this talk I will describe algorithms for the two decompositions that have optimal communication cost and arithmetic cost within a small factor of those for the best known algorithms. The key idea is to use the best rational approximation of the sign function, which lets the algorithm converge in just two steps. The algorithms are backward stable and easily parallelizable. Preliminary numerical experiments demonstrate their efficiency.

Thu, 09 Feb 2012

13:00 - 14:00
L3

Elliptic Curves and Cohomology Theories

Hemanth Saratchandran
Abstract

I will give a brief introduction into how Elliptic curves can be used to define complex oriented

cohomology theories. I will start by introducing complex oriented cohomology theories, and then move onto

formal group laws and a theorem of Quillen. I will then end by showing how the formal group law associated

to an elliptic curve can, in many cases, allow one to define a complex oriented cohomology theory.

Thu, 09 Feb 2012

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

On the scattered field generated by a ball inhomogeneity of constant index

Yves Capdeboscq
(OxPDE, University of Oxford)
Abstract

 Consider the solution of a scalar Helmholtz equation where the potential (or index) takes two positive values, one inside a disk or a ball (when d=2 or 3) of radius epsilon and another one outside. For this classical problem, it is possible to derive sharp explicit estimates of the size of the scattered field caused by this inhomogeneity, for any frequencies and any contrast. We will see that uniform estimates with respect to frequency and contrast do not tend to zero with epsilon, because of a quasi-resonance phenomenon. However, broadband estimates can be derived: uniform bounds for the scattered field for any contrast, and any frequencies outside of a set which tends to zero with epsilon.

Tue, 07 Feb 2012

14:30 - 15:30
L3

Positive projections

Imre Leader (Cambridge)
Abstract

If $A$ is a set of $n$ positive integers, how small can the set

$\{ x/(x,y) : x,y \in A \}$ be? Here, as usual, $(x,y)$ denotes the highest common factor of

$x$ and $y$. This elegant question was raised by Granville and Roesler, who

also reformulated it in the following way: given a set $A$ of $n$ points in

the integer grid ${\bf Z}^d$, how small can $(A-A)^+$, the projection of the difference

set of $A$ onto the positive orthant, be?

Freiman and Lev gave an example to show that (in any dimension) the size can

be as small as $n^{2/3}$ (up to a constant factor). Granville and Roesler

proved that in two dimensions this bound is correct, i.e. that the size is

always at least $n^{2/3}$, and they asked if this holds in any dimension.

After some background material, the talk will focus on recent developments.

Joint work with B\'ela Bollob\'as.

Tue, 07 Feb 2012
13:30
DH 1st floor SR

Singularity Methods in Stokes Flow: from Spheres to Sperm!

Mark Curtis
(OCCAM)
Abstract

 When modelling the motion of a sperm cell in the female reproductive tract, the Reynolds number is found to be very small, thus allowing the nonlinear Navier-Stokes equations to simplify to the linear Stokes equations stating that pressure, viscous and body forces balance each other at any instant in time. A wide range of analytical techniques can be applied to investigate the Stokes flow past a moving body. In this talk, we introduce various Stokes flow singularities and illustrate how they can provide a handy starting point (ansatz) when trying to determine the form of the flow field around certain bodies, from simple translating spheres to beating sperm tails.

Mon, 06 Feb 2012

16:00 - 17:00
SR1

Some Galois groups over Q

Jan Vonk
Abstract

The infamous inverse Galois problem asks whether or not every finite group can be realised as a Galois group over Q. We will see some techniques that have been developed to attack it, and will soon end up in the realms of class field theory, étale fundamental groups and modular representations. We will give some concrete examples and outline the so called 'rigidity method'. 

Mon, 06 Feb 2012
13:00
L3

Length functions of right-angled Artin groups

Ruth Charney
(Brandeis)
Abstract

Morgan and Culler proved in the 1980’s that a minimal action of a free group on a tree is

completely determined by its length function. This theorem has been of fundamental importance in the

study of automorphisms of free groups. In particular, it gives rise to a compactification of Culler-Vogtmann's

Outer Space. We prove a 2-dimensional analogue of this theorem for right-angled Artin groups acting on

CAT(0) rectangle complexes. (Joint work with M. Margolis)

Mon, 06 Feb 2012

12:00 - 13:00
L3

The MSSM spectrum from the heterotic standard embedding

Rhys Davies
(Oxford)
Abstract

I will describe the recent construction of new supersymmetric compactifications of the heterotic string which yield just the spectrum of the MSSM at low energies. The starting point is the standard embedding solution on a Calabi-Yau manifold with Euler number -6 with various choices of Wilson lines, i.e., various choices of discrete holonomy for the gauge bundle. Although they yield three net generations of standard model matter, such models necessarily have a larger gauge group than the standard model, as well as exotic matter content. Families of stable bundles can be obtained by deformation of these simple solutions, the deformation playing the dual role of partially breaking the gauge group and reducing the matter content, and in this way we construct more realistic models. The moduli space breaks up into various branches depending on the initial choice of Wilson lines, and on eight of these branches we find models with exactly the standard model gauge group, three generations of quarks and leptons, two Higgs doublets, and no other massless charged states. I will also comment on why these are possibly the unique models of this type.