Mon, 14 May 2012

15:45 - 16:45
Oxford-Man Institute

Pathwise Holder convergence of the implicit Euler scheme for semi-linear SPDEs with multiplicative noise

JAN VAN NEERVAN
(Delft University of Technology)
Abstract

Pathwise Holder convergence with optimal rates is proved for the implicit Euler scheme associated with semilinear stochastic evolution equations with multiplicative noise. The results are applied to a class of second order parabolic SPDEs driven by space-time white noise. This is joint work with Sonja Cox.

Mon, 14 May 2012
14:15
L3

Mirror Symmetry and Fano Manifolds

Tom Coates
(Imperial College)
Abstract

We describe how one can recover the Mori--Mukai

classification of smooth 3-dimensional Fano manifolds using mirror

symmetry, and indicate how the same ideas might apply to the

classification of smooth 4-dimensional Fano manifolds. This is joint

work in progress with Corti, Galkin, Golyshev, and Kasprzyk.

Mon, 14 May 2012

14:15 - 15:15
Oxford-Man Institute

: "On the localization of Vertex Reinforced Random Walk on Z with weight"

BRUNO SCHAPIRA
(University Paris-Sud)
Abstract

"The model of Vertex Reinforced Random Walk (VRRW) on Z goes back to Pemantle & Volkov, '99, who proved a result of localization on 5 sites with positive probability. They also conjectured that this was the a.s. behavior of the walk. In 2004, Tarrès managed to prove this conjecture. Then in 2006, inspired by Davis'paper '90 on the edge reinforced version of the model, Volkov studied VRRW with weight on Z. 

He proved that in the strongly reinforced case, i.e. when the weight sequence is reciprocally summable, the walk localizes a.s. on 2 sites, as expected. He also proved that localization is a.s. not possible for weights growing sublinearly, but like a power of n. However, the question of localization remained open for other weights, like n*log n or n/log n, for instance. In the talk I will first review these results and formulate more precisely the open questions. Then I will present some recent results giving partial answers. This is based on joint (partly still on-going) work with Anne-Laure Basdevant and Arvind Singh."

 

 

Mon, 14 May 2012

12:00 - 13:00
L3

N=2 Gauge Theories: Congruence Subgroups, Coset Graphs and Modular Surfaces

Yang-Hui He
(City University London)
Abstract

We establish a correspondence between generalized quiver gauge theories in

four dimensions and congruence subgroups of the modular group, hinging upon

the trivalent graphs which arise in both. The gauge theories and the graphs

are enumerated and their numbers are compared. The correspondence is

particularly striking for genus zero torsion-free congruence subgroups as

exemplified by those which arise in Moonshine. We analyze in detail the

case of index 24, where modular elliptic K3 surfaces emerge: here, the

elliptic j-invariants can be recast as dessins d'enfant which dictate the

Seiberg-Witten curves.

Fri, 11 May 2012

12:30 - 15:00
Oxford-Man Institute

Commodity Storage Valuation

Prof Kumar Muthuraman
(University of Texas at Austin)
Abstract

We present a general valuation framework for commodity storage facilities, for non-perishable commodities. Modeling commodity prices with a mean reverting process we provide analytical expressions for the value obtainable from the storage for any admissible injection/withdrawal policy. Then we present an iterative numerical algorithm to find the optimal injection and withdrawal policies, along with the necessary theoretical guarantees for convergence. Together, the analytical expressions and the numerical algorithm present an extremely efficient way of solving not only commodity storage problems but in general the problem of optimally controlling a mean reverting processes with transaction costs.

Fri, 11 May 2012

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

OCCAM Group Meeting

Various
Abstract
  • Chong Luo - Microscopic models for planar bistable liquid crystal device
  • Laura Gallimore - Modelling Cell Motility
  • Yi Ming Lai - Stochastic Oscillators in Biology
Fri, 11 May 2012

09:30 - 11:00
DH 3rd floor SR

OCIAM meeting

chair: Jon Chapman
Thu, 10 May 2012

17:00 - 18:00
L3

Uniformly defining valuation rings in Henselian valued fields with finite and pseudo-finite residue field

Jamshid Derakhshan
Abstract
This is joint work with Raf Cluckers, Eva Leenknegt, and Angus Macintyre.

We give a first-order definition, in the ring language, of the ring of p-adic integers inside the field p-adic numbers which works uniformly for all p and for valuation rings of all finite field extensions and of all local fields of positive characteristic p, and in many other Henselian valued fields as well. The formula canbe taken existential-universal in the ring language. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition by an existential formula and neither by a universal formula. For any fixed general p-adic field we give an existential formula in the ring language which defines the valuation ring.

We also state some connections to some open problems.

Thu, 10 May 2012

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

Hollow Vortices

Stefan Llewellyn Smith
(San Diego)
Abstract

Hollow vortices are vortices whose interior is at rest. They posses vortex sheets on their boundaries and can be viewed as a desingularization of point vortices. We give a brief history of point vortices. We then obtain exact solutions for hollow vortices in linear and nonlinear strain and examine the properties of streets of hollow vortices. The former can be viewed as a canonical example of a hollow vortex in an arbitrary flow, and its stability properties depend. In the latter case, we reexamine the hollow vortex street of Baker, Saffman and Sheffield and examine its stability to arbitrary disturbances, and then investigate the double hollow vortex street. Implications and extensions of this work are discussed.

Thu, 10 May 2012
15:00
L3

The p-adic Geometric Langlands Correspondence

Alex Paulin
(Nottingham)
Abstract

The geometric Langlands correspondence relates rank n integrable connections 
on a complex Riemann surface $X$ to regular holonomic D-modules on 
$Bun_n(X)$, the moduli stack of rank n vector bundles on $X$.  If we replace 
$X$ by a smooth irreducible curve over a finite field of characteristic p 
then there is a version of the geometric Langlands correspondence involving 
$l$-adic perverse sheaves for $l\neq p$.  In this lecture we consider the 
case $l=p$, proposing a $p$-adic version of the geometric Langlands 
correspondence relating convergent $F$-isocrystals on $X$ to arithmetic 
$D$-modules on $Bun_n(X)$.

Thu, 10 May 2012

15:00 - 16:00
L3

The p-adic Geometric Langlands Correspondence

Alex Paulin
(University of Nottingham)
Abstract

The geometric Langlands correspondence relates rank n integrable connections on a complex Riemann surface $X$ to regular holonomic D-modules on  $Bun_n(X)$, the moduli stack of rank n vector bundles on $X$.  If we replace $X$ by a smooth irreducible curve over a finite field of characteristic p then there is a version of the geometric Langlands correspondence involving $l$-adic perverse sheaves for $l\neq p$.  In this lecture we consider the case $l=p$, proposing a $p$-adic version of the geometric Langlands correspondence relating convergent $F$-isocrystals on $X$ to arithmetic $D$-modules on $Bun_n(X)$.

Thu, 10 May 2012

14:00 - 15:00
Gibson Grd floor SR

Frequency-independent approximation of integral formulations of Helmholtz boundary value problems

Professor Mario Bebendorf
(University of Bonn)
Abstract

We present recent numerical techniques for the treatment of integral formulations of Helmholtz boundary value problems in the case of high frequencies. The combination of $H^2$-matrices with further developments of the adaptive cross approximation allows to solve such problems with logarithmic-linear complexity independent of the frequency. An advantage of this new approach over existing techniques such as fast multipole methods is its stability over the whole range of frequencies, whereas other methods are efficient either for low or high frequencies.

Thu, 10 May 2012

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

Pro-Rata Matching and One-Tick Futures Markets

Jeremy Large
Abstract

We find and describe four futures markets where the bid-ask spread is bid down to the fixed price tick size practically all the time, and which match coun- terparties using a pro-rata rule. These four markets’ offered depths at the quotes on average exceed mean market order size by two orders of magnitude, and their order cancellation rates (the probability of any given offered lot being cancelled) are significantly over 96 per cent. We develop a simple theoretical model to explain these facts, where strategic complementarities in the choice of limit order size cause traders to risk overtrading by submitting over-sized limit orders, most of which they expect to cancel.

Joint work with Jonathan Field.

Thu, 10 May 2012

12:00 - 13:00
L3

Spectral data for the Hitchin fibration

Laura Schaposnik
Abstract

We shall dedicate the first half of the talk to introduce

classical Higgs bundles and describe the fibres of the corresponding

Hitchin fibration in terms of spectral data. Then, we shall define

principal Higgs bundles and look at some examples. Finally, we

consider the particular case of $SL(2,R)$, $U(p,p)$ and $Sp(2p,2p)$ Higgs

bundles and study their spectral data. Time permitting, we shall look

at different applications of our new methods.

Wed, 09 May 2012

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

Passage from mean-field to continuum to liquid crystal theories

Apala Majumdar
(OCCAM)
Abstract

In this talk, we make quantitative comparisons between two widely-used liquid crystal modelling approaches - the continuum Landau-de Gennes theory and mesoscopic mean-field theories, such as the Maier-Saupe and Onsager theories. We use maximum principle arguments for elliptic partial differential equations to compute explicit bounds for the norm of static equilibria within the Landau-de Gennes framework. These bounds yield an explicit prescription of the temperature regime within which the LdG and the mean-field predictions are consistent, for both spatially homogeneous and inhomogeneous systems. We find that the Landau-de Gennes theory can make physically unrealistic predictions in the low-temperature regime. In my joint work with John Ball, we formulate a new theory that interpolates between mean-field and continuum approaches and remedies the deficiencies of the Landau-de Gennes theory in the low-temperature regime. In particular, we define a new thermotropic potential that blows up whenever the mean-field constraints are violated. The main novelty of this work is the incorporation of spatial inhomogeneities (outside the scope of mean-field theory) along with retention of mean-field level information.

Tue, 08 May 2012

14:30 - 15:30
L3

Extremal Problems in Eulerian Digraphs

Hao Huang
(UCLA)
Abstract

Graphs and digraphs behave quite differently, and many classical results for graphs are often trivially false when extended to general digraphs. Therefore it is usually necessary to restrict to a smaller family of digraphs to obtain meaningful results. One such very natural family is Eulerian digraphs, in which the in-degree equals out-degree at every vertex.

In this talk, we discuss several natural parameters for Eulerian digraphs and study their connections. In particular, we show that for any Eulerian digraph G with n vertices and m arcs, the minimum feedback arc set (the smallest set of arcs whose removal makes G acyclic) has size at least $m^2/2n^2+m/2n$, and this bound is tight. Using this result, we show how to find subgraphs of high minimum degrees, and also long cycles in Eulerian digraphs. These results were motivated by a conjecture of Bollob\'as and Scott.

Joint work with Ma, Shapira, Sudakov and Yuster

Tue, 08 May 2012

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

Stability of periodic structures: from composites to crystal lattices

Nicolas Triantafyllidis
(Ecole Polytechnique)
Abstract

Stability plays an important role in engineering, for it limits the load carrying capacity of all kinds of structures. Many failure mechanisms in advanced engineering materials are stability-related, such as localized deformation zones occurring in fiber-reinforced composites and cellular materials, used in aerospace and packaging applications. Moreover, modern biomedical applications, such as vascular stents, orthodontic wire etc., are based on shape memory alloys (SMA’s) that exploit the displacive phase transformations in these solids, which are macroscopic manifestations of lattice-level instabilities.

The presentation starts with the introduction of the concepts of stability and bifurcation for conservative elastic systems with a particular emphasis on solids with periodic microstructures. The concept of Bloch wave analysis is introduced, which allows one to find the lowest load instability mode of an infinite, perfect structure, based solely on unit cell considerations. The relation between instability at the microscopic level and macroscopic properties of the solid is studied for several types of applications involving different scales: composites (fiber-reinforced), cellular solids (hexagonal honeycomb) and finally SMA's, where temperature- or stress-induced instabilities at the atomic level have macroscopic manifestations visible to the naked eye.

Mon, 07 May 2012

16:00 - 17:00
SR1

p-adic zeta functions, p-adic polylogarithms and fundamental groups

Netan Dogra
Abstract

This talk will attempt to say something about the p-adic zeta function, a p-adic analytic object which encodes information about Galois cohomology of Tate twists in its special values. We first explain the construction of the p-adic zeta function, via p-adic Fourier theory. Then, after saying something about Coleman integration, we will explain the interpretation of special values of the p-adic zeta function as limiting values of p-adic polylogarithms, in analogy with the Archimedean case. Finally, we will explore the consequences for the de Rham and etale fundamental groupoids of the projective line minus three points.

Mon, 07 May 2012

12:00 - 13:00
L3

Integer Partitions, Mirror Symmetry and 3d Gauge Theories

Noppadol Mekareeya
(Max Planck Institut fuer Physik)
Abstract

In this talk, I will focus on an infinite class of 3d N=4 gauge theories

which can be constructed from a certain set of ordered pairs of integer

partitions. These theories can be elegantly realised on brane intervals in

string theory.  I will give an elementary review on such brane constructions

and introduce to the audience a symmetry, known as mirror symmetry, which

exchanges two different phases (namely the Higgs and Coulomb phases) of such

theories.  Using mirror symmetry as a tool, I will discuss a certain

geometrical aspect of the vacuum moduli spaces of such theories in the

Coulomb phase. It turns out that there are certain infinite subclasses of

such spaces which are special and rather simple to study; they are complete intersections. I will mention some details and many interesting features of these spaces.

Fri, 04 May 2012
16:30
L2

Social networks that balance themselves

Professor Steven Strogatz
(Cornell University)
Abstract

 Consider a fully-connected social network of people, companies,
or countries, modeled as an undirected complete graph with real numbers on
its edges. Positive edges link friends; negative edges link enemies.
I'll discuss two simple models of how the edge weights of such networks
might evolve over time, as they seek a balanced state in which "the enemy of
my enemy is my friend." The mathematical techniques involve elementary
ideas from linear algebra, random graphs, statistical physics, and
differential equations. Some motivating examples from international
relations and social psychology will also be discussed. This is joint work
with Seth Marvel, Jon Kleinberg, and Bobby Kleinberg. 

Fri, 04 May 2012

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

Nonlinear data assimilation in highly nonlinear large-dimensional systems

Prof. Peter Jan van Leeuwen
(University of Reading)
Abstract

Data assimilation in highly nonlinear and high dimensional systems is a hard

problem. We do have efficient data-assimilation methods for high-dimensional

weakly nonlinear systems, exploited in e.g. numerical weather forecasting.

And we have good methods for low-dimensional (

Fri, 04 May 2012

14:00 - 15:00
DH 1st floor SR

A guide through market viability for frictionless markets

Prof Kostas Kardars 
(Boston University)
Abstract

In this talk, we elaborate on the notions of no-free-lunch that have proved essential in the theory of financial mathematics---most notably, arbitrage of the first kind. Focus will be given in most recent developments. The precise connections with existence of deflators, numeraires and pricing measures are explained, as well as the consequences that these notions have in the existence of bubbles and the valuation of illiquid assets in the market.

Fri, 04 May 2012

10:00 - 11:30
DH 1st floor SR

Noise reduction for airborne gravity gradiometer instrumentation

Gary Barnes
(Arkex)
Abstract

ARKeX is a geophysical exploration company that conducts airborne gravity gradiometer surveys for the oil industry. By measuring the variations in the gravity field it is possible to infer valuable information about the sub-surface geology and help find prospective areas.

A new type of gravity gradiometer instrument is being developed to have higher resolution than the current technology. The basic operating principles are fairly simple - essentially measuring the relative displacement of two proof masses in response to a change in the gravity field. The challenge is to be able to see typical signals from geological features in the presence of large amounts of motional noise due to the aircraft. Fortunately, by making a gradient measurement, a lot of this noise is cancelled by the instrument itself. However, due to engineering tolerances, the instrument is not perfect and residual interference remains in the measurement.

Accelerometers and gyroscopes record the motional disturbances and can be used to mathematically model how the noise appears in the instrument and remove it during a software processing stage. To achieve this, we have employed methods taken from the field of system identification to produce models having typically 12 inputs and a single output. Generally, the models contain linear transfer functions that are optimised during a training stage where controlled accelerations are applied to the instrument in the absence of any anomalous gravity signal. After training, the models can be used to predict and remove the noise from data sets that contain signals of interest.

High levels of accuracy are required in the noise correction schemes to achieve the levels of data quality required for airborne exploration. We are therefore investigating ways to improve on our existing methods, or find alternative techniques. In particular, we believe non-linear and non-stationary models show benefits for this situation.

Thu, 03 May 2012

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

Free surface flow of nematic liquid crystal: spreading and instability

Linda Cummings
(New Jersey Institute of Technology Newark)
Abstract

Nematic liquid crystals (NLCs) are materials that flow like liquids, but have some crystalline features. Their molecules are typically long and thin, and tend to align locally, which imparts some elastic character to the NLC. Moreover at interfaces between the NLC and some other material (such as a rigid silicon substrate, or air) the molecules tend to have a preferred direction (so-called "surface anchoring"). This preferred behaviour at interfaces, coupled with the internal "elasticity", can give rise to complex instabilities in spreading free surface films. This talk will discuss modelling approaches to describe such flows. The models presented are capable of capturing many of the key features observed experimentally, including arrested spreading (with or without instability). Both 2D and 3D spreading scenarios will be considered, and simple ways to model nontrivial surface anchoring patterns, and "defects" within the flows will also be discussed.

Thu, 03 May 2012

14:00 - 15:00
Gibson Grd floor SR

The orthogonal gradients method: A radial basis functions method for solving partial differential equations on arbitrary surfaces

Dr Cécile Piret
(Université catholique de Louvain.)
Abstract

Although much work has been done on using RBFs for reconstructing arbitrary surfaces, using RBFs to solve PDEs on arbitrary manifolds is only now being considered and is the subject of this talk. We will review current methods and introduce a new technique that is loosely inspired by the Closest Point Method. This new technique, the Orthogonal Gradients Method (OGr), benefits from the advantages of using RBFs: the simplicity, the high accuracy but also the meshfree character, which gives the flexibility to represent the most complex geometries in any dimension.

Thu, 03 May 2012
12:30
Gibson 1st Floor SR

The semigeostrophic equations: a survey of old and new results

Beatrice Pelloni
(University of Reading)
Abstract

In this talk I will survey the results on the existence of solutions of the semigeostrophic system, a fully nonlinear reduction of the Navier-Stokes equation that constitute a valid model when the effect of rotation dominate the atmospheric flow. I will give an account of the theory developed since the pioneering work of Brenier in the early 90's, to more recent results obtained in a joint work with Mike Cullen and David Gilbert.

Thu, 03 May 2012

12:00 - 13:00
L3

Expander Graphs and Property $\tau$

Henry Bradford
Abstract

Expander graphs are sparse finite graphs with strong connectivity properties, on account of which they are much sought after in the construction of networks and in coding theory. Surprisingly, the first examples of large expander graphs came not from combinatorics, but from the representation theory of semisimple Lie groups. In this introductory talk, I will outline some of the history of the emergence of such examples from group theory, and give several applications of expander graphs to group theoretic problems.

Wed, 02 May 2012

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

Flexible and efficient simulation of stochastic reaction-diffusion processes in cells

Stefan Hellander
(University of Uppsala)
Abstract

The reaction-diffusion master equation (RDME) is a popular model in systems biology. In the RDME, diffusion is modeled as discrete jumps between voxels in the computational domain. However, it has been demonstrated that a more fine-grained model is required to resolve all the dynamics of some highly diffusion-limited systems.

In Greenʼs Function Reaction Dynamics (GFRD), a method based on the Smoluchowski model, diffusion is modeled continuously in space.

This will be more accurate at fine scales, but also less efficient than a discrete-space model.

We have developed a hybrid method, combining the RDME and the GFRD method, making it possible to do the more expensive fine-grained simulations only for the species and in the parts of space where it is required in order to resolve all the dynamics, and more coarse-grained simulations where possible. We have applied this method to a model of a MAPK-pathway, and managed to reduce the number of molecules simulated with GFRD by orders of magnitude and without an appreciable loss of accuracy.

Tue, 01 May 2012
17:00
L2

Reflection group presentations arising from cluster algebras

Professor R. Marsh
(Leeds)
Abstract

 Finite reflection groups are often presented as Coxeter groups. We give a
presentation of finite crystallographic reflection group in terms of an
arbitrary seed in the corresponding cluster algebra of finite type for which
the Coxeter presentation is a special case. We interpret the presentation in
terms of companion bases in the associated root system. This is joint work with 
Michael Barot (UNAM, Mexico)
Tue, 01 May 2012

15:45 - 16:45
L3

Representability of moduli stacks

Jonathan Pridham
(Cambridge)
Abstract

Derived moduli stacks extend moduli stacks to give families over simplicial or dg rings. Lurie's representability theorem gives criteria for a functor to be representable by a derived geometric stack, and I will introduce a variant of it. This establishes representability for problems such as moduli of sheaves and moduli of polarised schemes.

Tue, 01 May 2012
13:15
DH 1st floor SR

Overlapping Communities and Consensus Clustering

Lucas Jeub
Abstract

With the advent of powerful computers and the internet, our ability to collect and store large amounts of data has improved tremendously over the past decades. As a result, methods for extracting useful information from these large datasets have gained in importance. In many cases the data can be conveniently represented as a network, where the nodes are entities of interest and the edges encode the relationships between them. Community detection aims to identify sets of nodes that are more densely connected internally than to the rest of the network. Many popular methods for partitioning a network into communities rely on heuristically optimising a quality function. This approach can run into problems for large networks, as the quality function often becomes near degenerate with many near optimal partitions that can potentially be quite different from each other. In this talk I will show that this near degeneracy, rather than being a severe problem, can potentially allow us to extract additional information

Mon, 30 Apr 2012

16:00 - 17:00
SR1

Vinogradov's Three Prime Theorem

James Maynard
Abstract

Vinogradov's three prime theorem resolves the weak Goldbach conjecture for sufficiently large integers. We discuss some of the ideas behind the proof, and discuss some of the obstacles to completing a proof of the odd goldbach conjecture.

Mon, 30 Apr 2012

15:45 - 16:45
L3

Configuration spaces and homological stability

Martin Palmer
(Oxford)
Abstract

For a fixed background manifold $M$ and parameter-space $X$, the associated configuration space is the space of $n$-point subsets of $M$ with parameters drawn from $X$ attached to each point of the subset, topologised in a natural way so that points cannot collide. One can either remember or forget the ordering of the n points in the configuration, so there are ordered and unordered versions of each configuration space.

It is a classical result that the sequence of unordered configuration spaces, as $n$ increases, is homologically stable: for each $k$ the degree-$k$ homology is eventually independent of $n$. However, a simple counterexample shows that this result fails for ordered configuration spaces. So one could ask whether it's possible to remember part of the ordering information and still have homological stability.

The goal of this talk is to explain the ideas behind a positive answer to this question, using 'oriented configuration spaces', in which configurations are equipped with an ordering - up to even permutations - of their points. I will also explain how this case differs from the unordered case: for example the 'rate' at which the homology stabilises is strictly slower for oriented configurations.

If time permits, I will also say something about homological stability with twisted coefficients.