Fri, 31 Jan 2014

13:00 - 14:00
L6

Model-independent no-arbitrage conditions on American put options

Alex Cox
Abstract

We consider the pricing of American put options in a model-independent setting: that is, we do not assume that asset prices behave according to a given model, but aim to draw conclusions that hold in any model. We incorporate market information by supposing that the prices of European options are known. In this setting, we are able to provide conditions on the American Put prices which are necessary for the absence of arbitrage. Moreover, if we further assume that there are finitely many European and American options traded, then we are able to show that these conditions are also sufficient. To show sufficiency, we construct a model under which both American and European options are correctly priced at all strikes simultaneously. In particular, we need to carefully consider the optimal stopping strategy in the construction of our process. (Joint with Christoph Hoeggerl).

Thu, 30 Jan 2014

17:15 - 18:15
L6

Tame theories of pseudofinite groups

Dugald Macpherson
(Leeds)
Abstract

A pseudofinite group is an infinite model of the theory of finite groups. I will discuss what can be said about pseudofinite groups under various tameness assumptions on the theory (e.g. NIP, supersimplicity), structural results on pseudofinite permutation groups, and connections to word maps and generalisations.

Thu, 30 Jan 2014

16:00 - 17:00
C6

Ricci Solitons and Symmetry

Alejandro Betancourt
Abstract

Ricci solitons were introduced by Richard Hamilton in the 80's and they are a generalization of the better know Einstein metrics. During this talk we will define the notion of Ricci soliton and I will try to convince you that these metrics arise "naturally" in a number of different settings. I will also present various examples and talk a bit about some symmetry properties that Ricci solitons have.

Note: This talk is meant to be introductory and no prior knowledge about Einstein metrics will be assumed (or necessary).

Thu, 30 Jan 2014

16:00 - 17:00
L5

Modular forms, Eisenstein series and the ternary divisor function

Emmanuel Kowalski
(ETH Zuerich)
Abstract

After a short survey of the notion of level of distribution for
arithmetic functions, and its importance in analytic number theory, we
will explain how our recent studies of twists of Fourier coefficients of
modular forms (and especially Eisenstein series) by "trace functions"
lead to an improvement of the results of Friedlander-Iwaniec and
Heath-Brown for the ternary divisor function in arithmetic progressions
to prime moduli.

This is joint work with É. Fouvry and Ph. Michel.

Thu, 30 Jan 2014

16:00 - 17:00
L3

Bottlenecks, burstiness and fat tails regulate mixing times of diffusion over temporal networks

Jean-Charles Delvenne
(Université catholique de Louvain (Belgium))
Abstract

Many real-life complex systems arise as a network of simple interconnected individual agents. A central question is to determine how network topology and individual agent dynamics combine to create the global dynamics.

In this talk we focus on the case of continuous-time random walks on networks, with a waiting time of the walker on each node assuming arbitrary probability distributions. Such random walks are useful to model diffusion processes over complex temporal networks representing human interactions, often characterized by non-Poissonian contact patterns.

We find that the mixing time of the random walker, i.e. the relaxation time for the process to reach stationarity, is determined by a combination of three factors: the spectral gap, associated to bottlenecks in the underlying topology, burstiness, related to the second moment of the waiting time distribution, and the characteristic time of its exponential tail, which is an indicator of the tail `fatness'. We show

theoretically that a strong modular structure dampens the importance of burstiness, and empirically that either of the three factors may be dominant in real-life data.

These results are available in arXiv:1309.4155

Thu, 30 Jan 2014
11:00
L5

Locomotion of microorganisms in complex fluids

Prof Roberto Zenit
(Universidad Nacional Autonoma de Mexico)
Abstract

The fundamental mechanisms of microorganism motility have been extensively studied in the past. Most previous work focused on cell locomotion in simple (Newtonian) fluids.
However, in many cases of biological importance (including mammalian reproduction and bacterial infections), the fluids that surround the organisms are strongly non-Newtonian (so-called complex fluids), either because they have shear-dependent viscosities, or because they display an elastic response. These non-Newtonian effects challenge the most fundamental intuition in fluid mechanics, resulting in our incapacity to predict its implications in biological cell locomotion. In this talk, our on-going experimental investigation to quantify the effect of non-Newtonian behavior on the locomotion and fluid transport of microorganisms will be described. Several types of magnetic micro-robots were designed and built. These devices were actuated to swim or move in a variety of fluids : Newtonian, elastic with constant viscosity (Boger fluids) or inelastic with shear-thinning viscosity. We have found that, depending on the details of locomotion, the swimming performance can either be increased, decreased or remain unaffected by the non Newtonian nature of the liquid. Some key elements to understand the general effect of viscoelasticity and shear-thinning viscosity of the motility of microorganisms will be discussed.

Wed, 29 Jan 2014

15:00 - 16:00
L6

Existence and regularity results for the heat flow of higher dimensional H-systems

Professor Chiara Leone
(Universita Degli Studi 'Frederic II' di Napoli)
Abstract

In this talk we will show the existence  of a regular "small" weak solution to the flow of the higher dimensional H-systems with initial-boundary conditions. We also analyze its time asymptotic bahavior and we give a stability result.

Wed, 29 Jan 2014
10:30

Hopf Algebras and Graphical Calculus

Robert Laugwitz
Abstract

This talk aims to illustrate how graphical calculus can be used to reason about Hopf algebras and their modules. The talk will be aimed at a general audience requiring no previous knowledge of the topic.

Wed, 29 Jan 2014
10:15
L4

Two exact solutions in the theory of biogenic mixing by microorganisms

Mitya Pushkin
(Department of Physics)
Abstract

Suspensions of active particles, such as swimming microorganisms, turn out to be efficient stirrers of the surrounding fluid. This fact may be directly relevant to the feeding and evolutionary strategies of swimming cells. Microfluidic devices exploring swimmers-induced mixing have been proposed. The possibility of a significant biogenic contribution to the ocean circulation is currently under intense debate. However, understanding fluctuations and the effective tracer diffusion in these non-equilibrium systems remains a challenge.  

In this talk we focus on the fundamentals of these processes.  We discuss the impediments to stirring by force-free microswimmers and give a classification of the possible stirring mechanisms. We show that enhanced mixing may arise due to entrainment of the surrounding fluid by individual swimmers moving on infinite straight trajectories. Our first exact result shows that the total amount of fluid entrained by a swimmer, also know as its Darwin drift, is finite and can be decomposed into a universal and model-dependent parts that have a clear physical meaning.

A different stirring mechanism arises for swimmers having curved trajectories. We show that the previously suggested model of swimmers moving in straight finite runs interspersed with random reorientations can be solved exactly. In particular, we calculate the effective tracer diffusion coefficient for a suspension of dipolar swimmers and show that swimmers confined to a plane give rise to a Levy flight process.

Our results provide a quantitative description of the enhanced tracer mixing in dilute suspensions of microswimmers. They agree with the results of numerical simulations and recent experiments with suspension of E. coli.

Tue, 28 Jan 2014

14:30 - 15:30
L6

The existence of designs

Peter Keevash
(University of Oxford)
Abstract

A Steiner Triple System on a set X is a collection T of 3-element subsets of X such that every pair of elements of X is contained in exactly one of the triples in T. An example considered by Plücker in 1835 is the affine plane of order three, which consists of 12 triples on a set of 9 points. Plücker observed that a necessary condition for the existence of a Steiner Triple System on a set with n elements is that n be congruent to 1 or 3 mod 6. In 1846, Kirkman showed that this necessary condition is also sufficient.

In 1853, Steiner posed the natural generalisation of the question: given integers q and r, for which n is it possible to choose a collection Q of q-element subsets of an n-element set X such that any r elements of X are contained in exactly one of the sets in Q? There are some natural necessary divisibility conditions generalising the necessary conditions for Steiner Triple Systems. The Existence Conjecture states that for all but finitely many n these divisibility conditions are also sufficient for the existence of general Steiner systems (and more generally designs).

We prove the Existence Conjecture, and more generally, we show that the natural divisibility conditions are sufficient for clique decompositions of simplicial complexes that satisfy a certain pseudorandomness condition.

Tue, 28 Jan 2014

14:30 - 15:00
L5

An algorithm for the convolution of Legendre expansions

Nick Hale
(University of Oxford)
Abstract

Convolution is widely-used and fundamental mathematical operation
in signal processing, statistics, and PDE theory.

Unfortunately the CONV() method in Chebfun for convolving two chebfun 
objects has long been one of the most disappointingly slow features of 
the project. In this talk we will present a new algorithm, which shows 
performance gains on the order of a factor 100.

The key components of the new algorithm are:
* a convolution theorem for Legendre polynomials 
* recurrence relations satisfied by spherical Bessel functions
* recent developments in fast Chebyshev-Legendre transforms [1]

Time-permitting, we shall end with an application from statistics,
using the fact that the probability distribution of the sum of two 
independent random variables is the convolution of their individual 
distributions.

[1] N. Hale and A. Townsend, "A fast, simple, and stable Chebyshev-
Legendre transform using an asymptotic formula”, SISC (to appear).

Tue, 28 Jan 2014

14:00 - 14:30
L5

Preconditioning and deflation techniques for interior point methods

Rachael Tappenden
(University of Edinburgh)
Abstract

The accurate and efficient solution of linear systems $Ax=b$ is very important in many engineering and technological applications, and systems of this form also arise as subproblems within other algorithms. In particular, this is true for interior point methods (IPM), where the Newton system must be solved to find the search direction at each iteration. Solving this system is a computational bottleneck of an IPM, and in this talk I will explain how preconditioning and deflation techniques can be used, to lessen this computational burden.  This work is joint with Jacek Gondzio.

Tue, 28 Jan 2014

12:30 - 13:30
Oxford-Man Institute

Labor Income, Relative Wealth Concerns, and the Cross-section of Stock Returns

Fernando Zapatero
(University of Southern California)
Abstract

The finance literature documents a relation between labor income and

the cross-section of stock returns. One possible explanation for this

is the hedging decisions of investors with relative wealth concerns.

This implies a negative risk premium associated with stock returns

correlated with local undiversifiable wealth, since investors are

willing to pay more for stocks that help their hedging goals. We find

evidence that is consistent with these regularities. In addition, we

show that the effect varies across geographic areas depending on the

size and variability of undiversifiable wealth, proxied by labor income.

Tue, 28 Jan 2014
12:00
L5

Space and Spaces

Graeme Segal
(Oxford)
Abstract

This is another opportunity to hear the 2013 LMS Presidential Address:

Abstract: The idea of space is central to the way we think.  It is the technology we have evolved for interpreting our experience of the world.  But space is presumably a human creation, and even inside mathematics it plays a variety of different roles, some modelling our intuition very closely and some seeming almost magical.  I shall point out how the homotopy category in particular breaks away from its own roots.  Then I shall describe how quantum theory leads us beyond the well-established notion of a topological space into the realm of noncommutative geometry.  One might think that noncommutative spaces are not very space-like, and yet it is noncommutativity that makes the world look as it does to us, as a collection of point particles.

Mon, 27 Jan 2014

16:00 - 17:00
C5

Limit-periodic functions and their exponential sums

Eugen Keil
(Oxford University)
Abstract

In the first part of the talk we are going to build up some intuition about limit-periodic functions and I will explain why they are the 'simplest' class of arithmetic functions appearing in analytic number theory. In the second part, I will give an equivalent description of 'limit-periodicity' by using exponential sums and explain how this property allows us to solve 'twin-prime'-like problems by the circle method.

Mon, 27 Jan 2014

15:30 - 16:30
L5

Models of liquid crystals

Claudio Zannoni
(Università di Bologna)
Abstract

Liquid Crystals (LC), anisotropic fluids that combine many tensor properties of crystalline solids with the fluidity of liquids, have long been providing major challenges to theorists and molecular modelers. In the classical textbook picture a molecule giving rise to LC phases is represented by a uniaxial rod endowed with repulsive (Onsager) or attractive (Maier-Saupe) interactions or possibly with a combination of the two (van der Waals picture) [1]. While these models have proved able to reproduce at least qualitatively the most common LC phase, the nematic one, and its phase transition to a normal isotropic fluid, they have not been able to deal with quantitative aspects (e.g. the orientational order at the transition) and more seriously, with the variety of novel LC phases and of sophisticated experiments offering increasing detailed observations at the nanoscale. Classical Monte Carlo and molecular dynamics computer simulations that have been successfully used for some time on simple lattice or off-lattice generic models [2-5] have started to offer unprecedented, atomistic level, details of the molecular organization of LC in the bulk and close to surfaces [6,7]. In particular, atomistic simulations are now starting to offer predictive power, opening the possibility of closing the gap between molecular structure and phase organizations. The availability of detailed data from these virtual experiments requires to generalize LC models inserting molecular features like deviation from uniaxiality or rigidity, the inclusion of partial charges etc. Such more detailed descriptions should reflect also in the link between molecular and continuum theories, already developed for the simplest models [8,9], possibly opening the way to a molecular identification of the material and temperature dependent coefficients in Landau-deGennes type free energy functionals.

[1] see, e.g., G. R. Luckhurst and G. W. Gray, eds., The Molecular Physics of Liquid Crystals (Academic Press,, 1979).

[2] P. Pasini and C. Zannoni, eds., Advances in the computer simulations of liquid crystals (Kluwer, 1998)

[3] O. D. Lavrentovich, P. Pasini, C. Zannoni and S. Zumer, eds. Defects in Liquid Crystals: Computer Simulations, Theory and Experiments, (Kluwer, Dordrecht , 2001).

[4] C. Zannoni, Molecular design and computer simulations of novel mesophases, J. Mat. Chem. 11, 2637 (2001).

[5] R.Berardi, L.Muccioli, S.Orlandi, M.Ricci, C.Zannoni, Computer simulations of biaxial nematics, J. Phys. Cond. Matter 20, 1 (2008).

[6] G. Tiberio, L. Muccioli, R. Berardi and C. Zannoni , Towards “in silico” liquid crystals. Realistic Transition temperatures and physical properties for n-cyanobiphenyls via molecular dynamics simulations, ChemPhysChem 10, 125 (2009).

[7] O. Roscioni, L. Muccioli, R. Della Valle, A. Pizzirusso, M. Ricci and C. Zannoni, Predicting the anchoring of liquid crystals at a solid surface: 5-cyanobiphenyl on cristobalite and glassy silica surfaces of increasing roughness, Langmuir 29, 8950 (2013).

[8] 1. J. Katriel, G. F. Kventsel, G. R. Luckhurst and T. J. Sluckin, Free-energies in the Landau and Molecular-field approaches, Liq. Cryst. 1, 337 (1986).

[9] J. M. Ball and A. Majumdar, Nematic liquid crystals: From Maier-Saupe to a Continuum Theory, Mol. Cryst. Liq. Cryst. 525, 1 (2010).

Mon, 27 Jan 2014

15:30 - 16:30

Classical and quantum computing with higher algebraic structures

Jamie Vicary
(Oxford)
Abstract

Computational structures---from simple objects like bits and qubits,

to complex procedures like encryption and quantum teleportation---can

be defined using algebraic structures in a symmetric monoidal

2-category. I will show how this works, and demonstrate how the

representation theory of these structures allows us to recover the

ordinary computational concepts. The structures are topological in

nature, reflecting a close relationship between topology and

computation, and allowing a completely graphical proof style that

makes computations easy to understand. The formalism also gives

insight into contentious issues in the foundations of quantum

computing. No prior knowledge of computer science or category theory

will be required to understand this talk.

Mon, 27 Jan 2014
14:15
L5

Quantum deformations of projective three-space

Brent Pym
(Oxford)
Abstract

Noncommutative projective geometry is the study of quantum versions of projective space and other projective varieties.  Starting with the celebrated work of Artin, Tate and Van den Bergh on noncommutative projective planes, a substantial theory of noncommutative curves and surfaces has been developed, but the classification of noncommutative versions of projective three-space remains unknown.  I will explain how a portion of this classification can be obtained, via deformation quantization, from a corresponding classification of holomorphic foliations due to Cerveau and Lins Neto.  In algebraic terms, the result is an explicit description of the deformations of the polynomial ring in four variables as a graded Calabi--Yau algebra.

Mon, 27 Jan 2014

12:00 - 13:00
L5

G-theory: U-folds as K3 fibrations

José Morales
(Roma 2 and Oxford)
Abstract
We study N=2 flux vacua describing intrinsic non-perturbative systems of 3- and 7-branes. In the spirit of F-theory, the solutions are described in purely geometric terms with the flux data codified on CY geometries given as K3 fibrations over a two-sphere.
Fri, 24 Jan 2014
14:00
L5

Spontaneous motility of actin-based cell fragments as a free-boundary problem

Prof Jaume Casademunt
(University of Barcelona)
Abstract

We show that actin lamellar fragments extracted from cells, lacking

the complex machinery for cell crawling, are spontaneously motile due

solely to actin polymerization forces at the boundary. The motility

mechanism is associated to a morphological instability similar to the

problem of viscous fingering in Hele-Shaw cells, and does not require

the existence of a global polarization of the actin gel, nor the

presence of molecular motors, contrary to previous claims. We base our

study on the formulation of a 2d free-boundary problem and exploit

conformal mapping and center manifold projection techniques to prove

the nonlinear instability of the center of mass, and to find an exact

and simple relation between shape and velocity. A complex subcritical

bifurcation scenario into traveling solutions is unfolded. With the

help of high-precision numerical computation we show that the velocity

is exponentially small close to the bifurcation points, implying a

non-adiabatic mechanism. Examples of traveling solutions and their

stability are studied numerically. Extensions of the approach to more

realistic descriptions of actual biological systems are briefly

discussed.

REF: C. Blanch-Mercader and J. Casademunt, Physical Review Letters

110, 078102 (2013)

Fri, 24 Jan 2014

10:00 - 11:00
L5

4-dimensional trajectories: path planning for unmanned vehicles

Tim Aitken
(Quintec (Thales))
Abstract
The problem is based on real time computation for 4D (3D+time) trajectory planning for unmanned vehicles (UVs). The ability to quickly predict a 4D trajectory/path enables safe, flexible, efficient use of UVs in a collaborative space is a key objective for autonomous mission and task management. 

The problem/topic proposal will consist of 3 challenges: 
1. A single UV 4D path planning problem.
2. Multi UV 4D path planning sharing the same space and time.
3. Assignment of simultaneous tasks for multiple UVs based on the 4D path finding solution.
Thu, 23 Jan 2014

17:15 - 18:15
L6

Stability, WAP, and Roelcke-precompact Polish groups

Itaï Ben Yaacov
(Lyon)
Abstract

In joint work with T. Tsankov we study a (yet other) point at which model theory and dynamics intersect. On the one hand, a (metric) aleph_0-categorical structure is determined, up to bi-interpretability, by its automorphism group, while on the other hand, such automorphism groups are exactly the Roelcke precompact ones. One can further identify formulae on the one hand with Roelcke-continuous functions on the other hand, and similarly stable formulae with WAP functions, providing an easy tool for proving that a group is Roelcke precompact and for calculating its Roelcke/WAP compactification. Model-theoretic techniques, transposed in this manner into the topological realm, allow one to prove further that if R(G) = W(G); then G is totally minimal.

Thu, 23 Jan 2014

16:00 - 17:00
C6

On the zeta determinant

Elisabeth Grieger
(King's College London)
Abstract

We give a short exposition on the zeta determinant for a Laplace - type operator on a closed Manifold as first described by Ray and Singer in their attempt to find an analytic counterpart to R-torsion.

Thu, 23 Jan 2014

16:00 - 17:00
L5

Elliptic Curves over Real Quadratic Fields are Modular.

Samir Siksek
(University of Warwick)
Abstract

We combine recent breakthroughs in modularity lifting with a
3-5-7 modularity switching argument to deduce modularity of elliptic curves over real
quadratic fields. We
discuss the implications for the Fermat equation. In particular we
show that if d is congruent
to 3 modulo 8, or congruent to 6 or 10 modulo 16, and $K=Q(\sqrt{d})$
then there is an
effectively computable constant B depending on K, such that if p>B is prime,
and $a^p+b^p+c^p=0$ with a,b,c in K, then abc=0.   This is based on joint work with Nuno Freitas (Bayreuth) and Bao Le Hung (Harvard).

Thu, 23 Jan 2014

16:00 - 17:00
L3

Classifier ensembles: Does the combination rule matter?

Ludmila Kuncheva
(Bangor)
Abstract

Combining classifiers into an ensemble aims at a more accurate and robust classification decision compared to that of a single classifier. For a successful ensemble, the individual classifiers must be as diverse and as accurate as possible. Achieving both simultaneously is impossible, hence compromises have been sought by a variety of ingenious ensemble creating methods. While diversity has been in the focus of the classifier ensemble research for a long time now, the importance of the combination rule has been often marginalised. Indeed, if the ensemble members are diverse, a simple majority (plurality) vote will suffice. However, engineering diversity is not a trivial problem. A bespoke (trainable) combination rule may compensate for the flaws in preparing the individual ensemble members. This talk will introduce classifier ensembles along with some combination rules, and will demonstrate the merit of choosing a suitable combination rule.

Thu, 23 Jan 2014

16:00 - 17:30
L2

Trading with small price impact

Johannes Muhle-Karbe
(ETH Zurich)
Abstract

An investor trades a safe and several risky assets with linear price impact to maximize expected utility from terminal wealth.

In the limit for small impact costs, we explicitly determine the optimal policy and welfare, in a general Markovian setting allowing for stochastic market,

cost, and preference parameters. These results shed light on the general structure of the problem at hand, and also unveil close connections to

optimal execution problems and to other market frictions such as proportional and fixed transaction costs.

Thu, 23 Jan 2014

14:00 - 15:00
L5

Direct Search Based on Probabilistic Descent

Professor Luis Nunes Vicente
(University of Coimbra)
Abstract

Direct-search methods are a class of popular derivative-free

algorithms characterized by evaluating the objective function

using a step size and a number of (polling) directions.

When applied to the minimization of smooth functions, the

polling directions are typically taken from positive spanning sets

which in turn must have at least n+1 vectors in an n-dimensional variable space.

In addition, to ensure the global convergence of these algorithms,

the positive spanning sets used throughout the iterations

must be uniformly non-degenerate in the sense of having a positive

(cosine) measure bounded away from zero.

\\

\\

However, recent numerical results indicated that randomly generating

the polling directions without imposing the positive spanning property

can improve the performance of these methods, especially when the number

of directions is chosen considerably less than n+1.

\\

\\

In this talk, we analyze direct-search algorithms when the polling

directions are probabilistic descent, meaning that with a certain

probability at least one of them is of descent type. Such a framework

enjoys almost-sure global convergence. More interestingly, we will show

a global decaying rate of $1/\sqrt{k}$ for the gradient size, with

overwhelmingly high probability, matching the corresponding rate for

the deterministic versions of the gradient method or of direct search.

Our analysis helps to understand numerical behavior and the choice of

the number of polling directions.

\\

\\

This is joint work with Clément Royer, Serge Gratton, and Zaikun Zhang.

Thu, 23 Jan 2014

12:00 - 13:00
L6

On Stability of Steady Transonic Shocks in Supersonic Flow around a Wedge

Prof. Beixiang Fang
(Shanghai JiaoTong University)
Abstract

In this talk we are concerned with the stability of steady transonic shocks in supersonic flow around a wedge. 2-D and M-D potential stability will be presented.

This talk is based on the joint works with Prof. G.-Q. Chen, and Prof. S.X. Chen.

Wed, 22 Jan 2014

16:00 - 17:00
C6

Subgroups of Hyperbolic groups and finiteness properties

Robert Kropholler
(Oxford)
Abstract

Many interesting properties of groups are inherited by their subgroups examples of such are finiteness, residual finiteness and being free. People have asked whether hyperbolicity is inherited by subgroups, there are a few counterexamples in this area. I will be detailing the proof of some of these including a construction due to Rips of a finitely generated not finitely presented subgroup of a hyperbolic group and an example of a finitely presented subgroup which is not hyperbolic.

Wed, 22 Jan 2014
13:30
L5

"Equivalences"

Emily Cliff
(Oxford University)
Wed, 22 Jan 2014
10:30

The Geometry of Diophantine Inequalities

Simon Rydin-Myerson
Abstract

A major project in number theory runs as follows. Suppose some Diophantine equation has infinitely many integer solutions. One can then ask how common solutions are: roughly how many solutions are there in integers $\in [ -B, \, B ] $? And ideally one wants an answer in terms of the geometry of the original equation.

What if we ask the same question about Diophantine inequalities, instead of equations? This is surely a less deep question, but has the advantage that all the geometry we need is over $\mathbb{R}$. This makes the best-understood examples much easier to state and understand.

Tue, 21 Jan 2014

15:45 - 16:45
L4

Quantum cluster positivity and cohomological Donaldson-Thomas theory

Balazs Szendroi
(Oxford)
Abstract

I will start by introducing Somos sequences, defined by innocent-looking quadratic recursions which, surprisingly, always return integer values. I will then explain how they can be viewed in a much larger context, that of the Laurent phenomenon in the theory of cluster algebras. Some further steps take us to the the quantum cluster positivity conjecture of Berenstein and Zelevinski. I will finally explain how, following Nagao and Efimov, cohomological Donaldson-Thomas theory leads to a proof of this conjecture in some, perhaps all, cases. This is joint work with Davison, Maulik, Schuermann.

Tue, 21 Jan 2014

14:30 - 15:30
L6

Sparse graph limits and scale-free networks

Yufei Zhao
(MIT)
Abstract

We introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollob\'as and Riordan to sparse graphs without dense spots. In doing so, we replace the no dense spots hypothesis with weaker assumptions, which allow us to analyze graphs with power law degree distributions. This gives the first broadly applicable limit theory for sparse graphs with unbounded average degrees.

Joint work with Christian Borgs, Jennifer T. Chayes, and Henry Cohn.

Tue, 21 Jan 2014

14:00 - 15:00
L5

Numerical solution of Hamilton—Jacobi—Bellman equations

Iain Smears
(University of Oxford)
Abstract

Hamilton—Jacobi—Bellman (HJB) equations are a class of fully nonlinear second-order partial differential equations (PDE) of elliptic or parabolic type that originate from Stochastic Optimal Control Theory. These PDE are fully nonlinear in the sense that the nonlinear terms include the second partial derivatives of the unknown solution; this strong nonlinearity severely restricts the range of numerical methods that are known to be convergent. These problems have traditionally been solved with low order monotone schemes, often of finite difference type, which feature certain limitations in terms of efficiency and practicability.
In this summary talk of my DPhil studies, we will be interested in the development of hp-version discontinuous Galerkin finite element methods (DGFEM) for the class of HJB equations that satisfy a Cordès condition. First, we will show the novel techniques of analysis used to find a stable and convergent scheme in the elliptic setting, and then we will present recent work on their extension to parabolic problems. The resulting method is very nonstandard, provably of high order, and it even allows for exponential convergence under hp-refinement. We present numerical experiments showing the accuracy, computational efficiency and flexibility of the scheme
Tue, 21 Jan 2014

12:00 - 13:30
L5

Almost Calabi-Yau algebras associated to SU(3) modular invariants

Mathew Pugh (Cardiff)
Abstract

The modular invariant partition functions for SU(2) and SU(3)

conformal field theories have been classified. The SU(2) theory is closely

related to the preprojective algebras of Coxeter-Dynkin quivers. The

analogous finite dimensional superpotential algebras, which we call almost

Calabi-Yau algebras, associated to the SU(3) invariants will be discussed.

Mon, 20 Jan 2014

17:00 - 18:00
L6

A logarithmic Sobolev inequality for the invariant measure of the periodic Korteweg--de Vries equation

Gordon Blower
(University of Lancaster)
Abstract

The periodic KdV equation $u_t=u_{xxx}+\beta uu_x$ arises from a Hamiltonian system with infinite-dimensional phase space $L^2({\bf T})$. Bourgain has shown that there exists a Gibbs probability measure $\nu$ on balls $\{\phi :\Vert \phi\Vert^2_{L^2}\leq N\}$ in the phase space such that the Cauchy problem for KdV is well posed on the support of $\nu$, and $\nu$ is invariant under the KdV flow. This talk will show that $\nu$ satisfies a logarithmic Sobolev inequality. The seminar presents logarithmic Sobolev inequalities for the modified periodic KdV equation and the cubic nonlinear Schr\"odinger equation. There will also be recent results from Blower, Brett and Doust regarding spectral concentration phenomena for Hill's equation.

Mon, 20 Jan 2014

16:00 - 17:00
C5

The private life of Bryan

Jan Vonk
(Oxford University)
Abstract

This talk will discuss the discovery of Heegner points from a historic perspective. They are a beautiful application of analytic techniques to the study of rational points on elliptic curves, which is now a ubiquitous theme in number theory. We will start with a historical account of elliptic curves in the 60's and 70's, and a correspondence between Birch and Gross, culminating in the Gross-Zagier formula in the 80's. Time permitting, we will discuss certain applications and ramifications of these ideas in modern number theory. 

Mon, 20 Jan 2014

15:45 - 16:45

Random matrices at high temperature"

ROMAIN ALLEZ
(WIAS Berlin)
Abstract

We shall discuss the statistics of the eigenvalues of large random Hermitian matrices when the temperature is very high. In particular we shall focus on the transition from Wigner/Airy to Poisson regime.

Mon, 20 Jan 2014
14:15
L5

New examples of non-Kahler Ricci solitons

Andrew Dancer
(Oxford)
Abstract

We produce new families of steady and expanding Ricci solitons
that are not of Kahler type. In the steady case, the asymptotics are
a mixture of the Hamilton cigar and the Bryant soliton paraboloid
asymptotics. We obtain some examples of Ricci solitons on homeomorphic
but non-diffeomorphic spaces. We also find numerical evidence of solitons
with more complicated topology.