Past

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.

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.

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.

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.

• 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

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.

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.

I will review the basic properties of the DFT and describe how these can be exploited to efficiently compute degree 1 L-functions.

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.

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.

 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.

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.

 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.

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'. 

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)

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.

The Eilenberg-Ganea conjecture is the statement that every group of cohomological dimension two admits a two-dimensional classifying space.  This problem is unsolved after 50 years.  I shall discuss the background to this question and negative answers to some other related questions.  This includes recent joint work with Martin Fluch.

In a market with one safe and one risky asset, an investor with a long

horizon and constant relative risk aversion trades with constant

investment opportunities and proportional transaction costs. We derive

the optimal investment policy, its welfare, and the resulting trading

volume, explicitly as functions of the market and preference parameters,

and of the implied liquidity premium, which is identified as the

solution of a scalar equation. For small transaction costs, all these

quantities admit asymptotic expansions of arbitrary order. The results

exploit the equivalence of the transaction cost market to another

frictionless market, with a shadow risky asset, in which investment

opportunities are stochastic. The shadow price is also derived

explicitly. (Joint work with Paolo Guasoni, Johannes Muhle-Karbe, and

Walter Schachermayer)

The seminar will take place in Lecture Theatre A, Department of Computer Science.

-------------------

Contextuality and non-locality are features of quantum mechanics which stand in sharp contrast to the realistic picture underlying classical physics. We shall describe a unified geometric perspective on these notions in terms of *obstructions to the existence of global sections*. This allows general results and structural notions to be uncovered, with quantum mechanics appearing as a special case. The natural language to use here is that of sheaves and presheaves; and cohomological obstructions can be defined which witness contextuality in a number of salient examples.

This is joint work with Adam Brandenburger
 http://iopscience.iop.org/1367-2630/13/11/113036/
 http://arxiv.org/abs/1102.0264

and Shane Mansfield and Rui Soares Barbosa
 http://arxiv.org/abs/1111.3620

This work builds on the foundation laid by Benney & Timson (1980), who

examined the flow near a contact line and showed that, if the contact

angle is 180 degrees, the usual contact-line singularity does not arise.

Their local analysis, however, does not allow one to determine the

velocity of the contact line and their expression for the shape of the

free boundary involves undetermined constants - for which they have been

severely criticised by Ngan & Dussan V. (1984). As a result, the ideas

of Benny & Timson (1980) have been largely forgotten.

The present work shows that the criticism of Ngan & Dussan V. (1984)

was, in fact, unjust. We consider a two-dimensional steady Couette flow

with a free boundary, for which the local analysis of Benney & Timson

(1980) can be complemented by an analysis of the global flow (provided

the slope of the free boundary is small, so the lubrication

approximation can be used). We show that the undetermined constants in

the solution of Benney & Timson (1980) can all be fixed by matching

their local solution to the global one. The latter also determines the

contact line's velocity, which we compute among other characteristics of

the global flow.

We show that the steepest-descent and Newton's methods for unconstrained nonconvex optimization

under standard assumptions may both require a number of iterations and function evaluations

arbitrarily close to the steepest-descent's global worst-case complexity bound. This implies that

the latter upper bound is essentially tight for steepest descent and that Newton's method may be as

slow as the steepest-descent method in the worst case. Then the cubic regularization of Newton's

method (Griewank (1981), Nesterov & Polyak (2006)) is considered and extended to large-scale

problems, while preserving the same order of its improved worst-case complexity (by comparison to

that of steepest-descent); this improved worst-case bound is also shown to be tight. We further

show that the cubic regularization approach is, in fact, optimal from a worst-case complexity point

of view amongst a wide class of second-order methods. The worst-case problem-evaluation complexity

of constrained optimization will also be discussed. This is joint work with Nick Gould (Rutherford

Appleton Laboratory, UK) and Philippe Toint (University of Namur, Belgium).

I will give an introduction to the variational characterisation of the Ricci flow that was first introduced by G. Perelman in his paper on "The entropy formula for the Ricci flow and its geometric applications" http://arxiv.org/abs/math.DG/0211159. The first in a series of three papers on the geometrisation conjecture. The discussion will be restricted to sections 1 through 5 beginning first with the gradient flow formalism. Techniques from the Calculus of Variations will be emphasised, notably in proving the monotonicity of particular functionals. An overview of the local noncollapsing theorem (Perelman’s first breakthrough result) will be presented with refinements from Topping [Comm. Anal. Geom. 13 (2005), no. 5, 1039–1055.]. Some remarks will also be made on connections to implicit structures seen in the physics literature, for instance of those seen in D. Friedan [Ann. Physics 163 (1985), no. 2, 318–419].

Decision making in the presence of uncertainty is a mathematically delicate topic. In this talk, we consider coherent sublinear expectations on a measurable space, without assuming the existence of a dominating probability measure. By considering discrete-time `martingale' processes, we show that the classical results of martingale convergence and the up/downcrossing inqualities hold in a `quasi-sure' sense. We also give conditions, for a general filtration, under which an `aggregation' property holds, generalising an approach of Soner, Touzi and Zhang (2011). From this, we extend various results on the representation of conditional sublinear expectations to general filtrations under uncertainty.

In the talk I will mention two regularity results: the SBV regularity for strictly hyperbolic, genuinely nonlinear 1D systems of conservation laws and the characterization of intrinsic Lipschitz codimension 1 graphs in the Heisenberg groups. In both the contexts suitable scalar, 1D balance laws arise with very low regularity. I will in particular highlight the role of characteristics.

This seminar will be based on joint works with G. Alberti, S. Bianchini, F. Bigolin and F. Serra Cassano, and the main previous literature.

 I will first present Priestley style topological dualities for 
several categories of distributive meet-semilattices
and implicative semilattices developed by G. Bezhanishvili and myself. 
Using these dualities I will introduce a topological duality for Hilbert 
algebras, 
the algebras that correspond to the implicative reduct of intuitionistic logic.

In this talk I'll describe recent work with Henry Wilton (UCL) in which

we prove that there does not exist an algorithm that can determine which

finitely presented groups have a non-trivial finite quotient.

There is a beautiful classification of full (rational) CFT due to

Fuchs, Runkel and Schweigert. The classification says roughly the

following. Fix a chiral algebra A (= vertex algebra). Then the set of

full CFT whose left and right chiral algebras agree with A is

classified by Frobenius algebras internal to Rep(A). A famous example

to which one can successfully apply this is the case when the chiral

algebra A is affine su(2): in that case, the Frobenius algebras in

Rep(A) are classified by A_n, D_n, E_6, E_7, E_8, and so are the

corresponding CFTs.

Recently, Kapustin and Saulina gave a conceptual interpretation of the

FRS classification in terms of 3-dimentional Chern-Simons theory with

defects. Those defects are also given by Frobenius algebras in Rep(A).

Inspired by the proposal of Kapustin and Saulina, we will (partially)

construct the three-tier CFT associated to a given Frobenius algebra.

In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. Although the evolution of such `local' modifications of the Erdös-Rényi random graph processes has received considerable attention during the last decade, so far only rather `simple' rules are well-understood. Indeed, the main focus has been on bounded size rules (where all component sizes larger than some constant B are treated the same way), and for more complex rules hardly any rigorous results are known. In this talk we will discuss a new approach that applies to many involved Achlioptas processes: it allows us to prove that certain key statistics are tightly concentrated during the early evolution of e.g. the sum and product rule.

Joint work with Oliver Riordan.

We still don't know what dark matter is but a class of leading candidates

are weakly interacting massive particles or WIMPs. These WIMP models are

falsifiable, which is why we like them. However, the epoch of their

falsifiability is upon us and a slew of data from different directions is

placing models for WIMPs under pressure. I will try and present an updated

overview of the different pieces of evidence, false (?) alarms and

controversies that are making this such an active area of research at the

moment.

In this talk we aim to filter the Majda-McLaughlin-Tabak(MMT) model, which is a one-dimensional prototypical turbulence system. Due to its inherent high dimensionality, we first try to find a low dimensional dynamical system whose statistical property is similar to the original complexity system. This dimensional reduction, called stochastic parametrization, is clearly well-known method but the value of current work lies in the derivation of an analytic closure for the parameters. We then discuss the necessity of the accurate filtering algorithm for this effective dynamics, and introduce the particle filter using the cubature on Wiener space and the recombination skill.

In the first part, a variational model for composition of finitely many strongly elliptic

homogenous elastic materials in linear elasticity is considered. The notion of`universal coercivity' for the variational integrals is introduced which is independent of particular compositions of materials involved. Examples and counterexamples for universal coercivity are presented.

In the second part, some results of recent work with colleagues on image processing and feature extraction will be displayed.

I will discuss the structure of the Selberg class - in which certain expected properties of Dirichlet series and L-functions are axiomatised - along with the numerous interesting conjectures concerning the Dirichlet series in the Selberg class. Furthermore, results regarding the degree of the elements in the Selberg class shall be explored, culminating in the recent work of Kaczorowski and Perelli in which they prove the absence of elements with degree between one and two.

I will discuss quasi-isometries of the free group that preserve an

equivariant pattern of lines.

There is a type of boundary at infinity whose topology determines how

flexible such a line pattern is.

For sufficiently complicated patterns I use this boundary to define a new

metric on the free group with the property that the only pattern preserving

quasi-isometries are actually isometries.