Fri, 27 Nov 2015

13:00 - 14:00
L6

Quantifying and reducing systemic risk

Doyne Farmer
(Oxford University)
Abstract

Systemic risk in financial markets occurs when activities that are beneficial to an agent in isolation (e.g. reducing microprudential risk) cause unintended consequences due to collective interactions (usually called macroprudential risk).  I will discuss three different mechanisms through which this occurs in financial markets.   Contagion can propagate due to the market impact of trading among agents with strongly overlapping portfolios, or due to cascading failures from chains of default caused by networks of interlinked counterparty exposures.  A proper understanding of these phenomena must take both dynamics and network effects into account.  I will discuss four different examples that illustrate these points.  The first is a simple model of the market dynamics induced by Basel-style risk management, which from extremely simple assumptions shows that excessive leverage can give rise to a slowly rising price bubble followed by an abrupt crash with a time period of 10 - 15 years.  The model gives rise to a chaotic attractor whose time series closely resembles the Great Moderation and subsequent crisis.   We show that alternatives to Basel can provide a better compromise between micro and macro prudential risk.   The second example is a model of leveraged value investors that yields clustered volatility and fat-tailed returns similar to those in financial markets.  The third example is the DebtRank algorithm, which uses a similar method to PageRank to correctly quantify the way risk propagates through networks of counterparty exposures and can be used as the basis of a systemic risk tax.  The fourth example will  be work in progress to provide an early warning system for financial stress caused by overlapping portfolios.  Finally I will discuss an often neglected source of financial risk due to imbalances in market ecologies.

Thu, 26 Nov 2015

16:00 - 17:00
C5

Morse theory of the distance function

Matthias Wink
(Oxford)
Abstract

A basic result in Morse theory due to Reeb states that a compact manifold which admits a smooth function with only two, non-degenerate critical points is homeomorphic to the sphere. We shall apply this idea to distance function associated to a Riemannian metric to prove the diameter-sphere theorem of Grove-Shiohama: A complete Riemannian manifold with sectional curvature $\geq 1$ and diameter $> \pi / 2$ is homeomorphic to a sphere. I shall not assume any knowledge about curvature for the talk.

Thu, 26 Nov 2015

16:00 - 17:30
L4

Nonlinear valuation under credit gap risk, collateral margins, funding costs and multiple curves

Damiano Brigo
(Imperial College London)
Abstract

Following a quick introduction to derivatives markets and the classic theory of valuation, we describe the changes triggered by post 2007 events. We re-discuss the valuation theory assumptions and introduce valuation under counterparty credit risk, collateral posting, initial and variation margins, and funding costs. A number of these aspects had been investigated well before 2007. We explain model dependence induced by credit effects, hybrid features, contagion, payout uncertainty, and nonlinear effects due to replacement closeout at default and possibly asymmetric borrowing and lending rates in the margin interest and in the funding strategy for the hedge of the relevant portfolio. Nonlinearity manifests itself in the valuation equations taking the form of semi-linear PDEs or Backward SDEs. We discuss existence and uniqueness of solutions for these equations. We present an invariance theorem showing that the final valuation equations do not depend on unobservable risk free rates, that become purely instrumental variables. Valuation is thus based only on real market rates and processes. We also present a high level analysis of the consequences of nonlinearities, both from the point of view of methodology and from an operational angle, including deal/entity/aggregation dependent valuation probability measures and the role of banks treasuries. Finally, we hint at how one may connect these developments to interest rate theory under multiple discount curves, thus building a consistent valuation framework encompassing most post-2007 effects.

Damiano Brigo, Joint work with Andrea Pallavicini, Daniele Perini, Marco Francischello. 

Thu, 26 Nov 2015

16:00 - 17:00
L5

On the Central Limit Theorem for the number of steps in the Euclidean algorithm

Ian Morris
(University of Surrey)
Abstract

The number of steps required by the Euclidean algorithm to find the greatest common divisor of a pair of integers $u,v$ with $1<u<v<n$ has been investigated since at least the 16th century, with an asymptotic for the mean number of steps being found independently by H. Heilbronn and J.D. Dixon in around 1970. It was subsequently shown by D. Hensley in 1994 that the number of steps asymptotically follows a normal distribution about this mean. Existing proofs of this fact rely on extensive effective estimates on the Gauss-Kuzman-Wirsing operator which run to many dozens of pages. I will describe how this central limit theorem can be obtained instead by a much shorter Tauberian argument. If time permits, I will discuss some related work on the number of steps for the binary Euclidean algorithm.

Thu, 26 Nov 2015

16:00 - 17:00
L3

Attributes and Artifacts of Network Optimization

Adilson E Motter
(Northwestern University, USA)
Abstract

Much of the recent interest in complex networks has been driven by the prospect that network optimization will help us understand the workings of evolutionary pressure in natural systems and the design of efficient engineered systems.  In this talk, I will reflect on unanticipated attributes and artifacts in three classes of network optimization problems. First, I will discuss implications of optimization for the metabolic activity of living cells and its role in giving rise to the recently discovered phenomenon of synthetic rescues. Then I will comment on the problem of controlling network dynamics and show that theoretical results on optimizing the number of driver nodes/variables often only offer a conservative lower bound to the number actually needed in practice. Finally, I will discuss the sensitive dependence of network dynamics on network structure that emerges in the optimization of network topology for dynamical processes governed by eigenvalue spectra, such as synchronization and consensus processes.  Optimization is a double-edged sword for which desired and adverse effects can be exacerbated in complex network systems due to the high dimensionality of their dynamics.

Thu, 26 Nov 2015

14:45 - 15:45
L4

The moduli stack of tropical curves (COW SEMINAR)

Martin Ulirsch
(University of Bonn)
Abstract

The moduli space of tropical curves (and its variants) is one of the most-studied objects in tropical geometry. So far this moduli space has only been considered as an essentially set-theoretic coarse moduli space (sometimes with additional structure). As a consequence of this restriction, the tropical forgetful map does not define a universal curve
(at least in the positive genus case). The classical work of Knudsen has resolved a similar issue for the algebraic moduli space of curves by considering the fine moduli stacks instead of the coarse moduli spaces. In this talk I am going to give an introduction to these fascinating tropical moduli spaces and report on ongoing work with R. Cavalieri, M. Chan, and J. Wise, where we propose the notion of a moduli stack of tropical curves as a geometric stack over the category of rational polyhedral cones. Using this framework one can give a natural interpretation of the forgetful morphism as a universal curve. The coarse moduli space arises as the set of $\mathbb{R}_{\geq 0}$-valued points of the moduli stack. Given time, I will also explain how the process of tropicalization for these moduli stacks can be phrased in a more fundamental way using the language of logarithmic algebraic stacks.
 

Thu, 26 Nov 2015

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

The Worst Case Complexity of Direct Search and Beyond

Dr Zaikun Zhang
(IRIT-ENSEEIHT Toulouse)
Abstract

This talk focuses on the direct search method, arguably one of the simplest optimization algorithms. The algorithm minimizes an objective function by iteratively evaluating it along a number of (polling) directions, which are typically taken from so-called positive spanning sets. It does not use derivatives.

We first introduce the worst case complexity theory of direct search, and discuss how to choose the positive spanning set to minimize the complexity bound. The discussion leads us to a long-standing open
problem in Discrete Geometry. A recent result on this problem enables us to establish the optimal order for the worst case complexity of direct search.

We then show how to achieve even lower complexity bound by using random polling directions. It turns out that polling along two random directions at each iteration is sufficient to guarantee the convergence
of direct search for any dimension, and the resultant algorithm enjoys lower complexity both in theory and in practice.

The last part of the talk is devoted to direct search based on inaccurate function values. We address three questions:
i) what kind of solution 
can we obtain by direct search if the function values are inaccurate? 
ii) what is the worst case complexity to attain such a solution? iii) given
the inaccuracy in the function values, when to stop the algorithm in order
to guarantee the quality of the solution and also avoid “over-optimization”?

This talk is based on joint works with F. Delbos, M. Dodangeh, S. Gratton, B. Pauwels, C. W. Royer, and L. N. Vicente.

Thu, 26 Nov 2015

13:30 - 14:30
L4

Recent advances in symplectic duality (COW SEMINAR)

Alexander Braverman
(Brown University)
Abstract

It has been observed long time ago (by many people) that singular affine symplectic varieties come in pairs; that is often to an affine singular symplectic variety $X$ one can associate a dual variety $X^!$; the geometries of $X$ and $X^!$ (and their quantizations) are related in a non-trivial way. The purpose of the talk will be 3-fold:

1) Explain a set of conjectures of Braden, Licata, Proudfoot and Webster which provide an exact formulation of the relationship between $X$ and $X^!$

2) Present a list of examples of symplectically dual pairs (some of them are very recent); in particular, we shall explain how the symplectic duals to Nakajima quiver varieties look like.

3) Give a new approach to the construction of $X^!$ and a proof of the conjectures from part 1).

The talk is based on a work in progress with Finkelberg and Nakajima.

Thu, 26 Nov 2015

12:00 - 13:00
L6

Non-orientable line defects in the Landau-de Gennes theory of nematic liquid crystals

Giacomo Canevari
(University of Oxford)
Abstract
Nematic liquid crystals are composed by rod-shaped molecules with long-range orientation order. These materials admit topological defect lines, some of which are associated with non-orientable configurations. In this talk, we consider the Landau-de Gennes variational theory of nematics. We study the asymptotic behaviour of minimizers as the elastic constant tends to zero. We assume that the energy of minimizers is of the same order as the logarithm of the elastic constant. This happens, for instance, if the boundary datum has finitely many singular points. We prove convergence to a locally harmonic map with singularities of dimension one (non-orientable line defects) and, possibly, zero (point defects).
Thu, 26 Nov 2015
11:00
C5

JOINT LOGIC/PHILOSOPHY OF MATHEMATICS SEMINAR: Modal Logics of multiverses

Benedikt Loewe
(Amserdam)
Abstract

 If you fix a class of models and a construction method that allows you to construct a new model in that class from an old model in that class, you can consider the Kripke frame generated from any given model by iterating that construction method and define the modal logic of that Kripke frame.  We shall give a general definition of these modal logics in the fully abstract setting and then apply these ideas in a number of cases.  Of particular interest is the case where we consider the class of models of ZFC with the construction method of forcing:  in this case, we are looking at the so-called "generic multiverse".

Wed, 25 Nov 2015

17:00 - 18:00
L1

Symmetry, Spaces and Undecidability

Professor Martin Bridson
(Department of Mathematics)
Abstract
Oxford Mathematics Public Lectures - Chairman's Inaugural Public Lecture

 

Symmetry, Spaces and Undecidability 

Professor Martin Bridson

 

Martin Bridson became Head of the Mathematical Institute on 01 October 2015. To mark the occasion he will be giving an Inaugural Chairman's Public Lecture

 

When one wants to describe the symmetries of any object or system, in mathematics or everyday life, the right language to use is group theory. How might one go about understanding the universe of all groups and what kinds of novel geometry might emerge as we explore this universe?

 
The understanding of the possible geometries in dimension 3 is one of the triumphs of 20th century mathematics. Martin will explain why such an understanding is impossible in higher dimensions.
 

To register email @email

 

25 November 2015

5.00-6.00pm

Lecture Theatre 1

Mathematical Institute

Oxford

 

Martin Bridson is the Whitehead Professor of Pure Mathematics at the University of Oxford

 

Wed, 25 Nov 2015
16:00
C1

Expanders and actions on measure spaces

Federico Vigolo
(Oxford)
Abstract

A family of expanders is a sequence of finite graphs which are both sparse and highly connected. Firstly defined in the 80s, they had huge applications in applied maths and computer science. Moreover, it soon turned out that they also had deep implications in pure maths. In this talk I will introduce the expander graphs and I will illustrate a way to construct them by approximating actions of groups on probability spaces.

Tue, 24 Nov 2015

15:45 - 16:45
L4

The Tamagawa number formula for affine Kac-Moody groups

Alexander Braverman
(Brown University)
Abstract

Let F be a global field and let A denote its adele ring. The usual Tamagawa number formula computes the (suitably normalized) volume of the quotient G(A)/G(F) in terms of values of the zeta-function of F at the exponents of G; here G is simply connected semi-simple group. When F is functional field, this computation is closely related to the Atiyah-Bott computation of the cohomology of the moduli space of G-bundles on a smooth projective curve.

I am going to present a (somewhat indirect) generalization of the Tamagawa formula to the case when G is an affine Kac-Moody group and F is a functional fiend. Surprisingly, the proof heavily uses the so called Macdonald constant term identity. We are going to discuss possible (conjectural) geometric interpretations of this formula (related to moduli spaces of bundles on surfaces).

This is joint work with D.Kazhdan.

Tue, 24 Nov 2015

14:30 - 15:00
L5

Geometric integrators in optimal control theory

Sina Ober-Blobaum
(University of Oxford)
Abstract
Geometric integrators are structure-peserving integrators with the goal to capture the dynamical system's behavior in a most realistic way. Using structure-preserving methods for the simulation of mechanical systems, specific properties of the underlying system are handed down to the numerical solution, for example, the energy of a conservative system shows no numerical drift or momentum maps induced by symmetries are preserved exactly. One particular class of geometric integrators is the class of variational integrators. They are derived from a discrete variational principle based on a discrete action function that approximates the continuous one. The resulting schemes are symplectic-momentum conserving and exhibit good energy behaviour. 
 
For the numerical solution of optimal control problems, direct methods are based on a discretization of the underlying differential equations which serve as equality constraints for the resulting finite dimensional nonlinear optimization problem. For the case of mechanical systems, we use variational integrators for the discretization of optimal control problems. By analyzing the adjoint systems of the optimal control problem and its discretized counterpart, we prove that for these particular integrators optimization and discretization commute due to the symplecticity of the discretization scheme. This property guarantees that the convergence rates are preserved for the adjoint system which is also referred to as the Covector Mapping Principle. 
Tue, 24 Nov 2015
14:30
L6

Dirac's Theorem for Hypergraphs

Jie Han
(University of Birmingham)
Abstract

Cycles are fundamental objects in graph theory. A spanning cycle in a graph is also called a Hamiltonian cycle. The celebrated Dirac's Theorem in 1952 shows that every graph on $n\ge 3$ vertices with minimum degree at least $n/2$ contains a Hamiltonian cycle. In recent years, there has been a strong focus on extending Dirac’s Theorem to hypergraphs. We survey the results along the line and mention some recent progress on this problem. Joint work with Yi Zhao.

Tue, 24 Nov 2015

14:00 - 14:30
L5

Numerical calculation of permanents

Peter McCullagh
(University of Chicago)
Abstract
The $\alpha$-permanent of a square matrix is a determinant-style sum, with $\alpha=-1$ corresponding to the determinant, $\alpha=1$ to the ordinary permanent, and $\alpha=0$ to the Hamiltonian sum over cyclic permutations.  Exact computation of permanents is notoriously difficult; numerical computation using the best algorithm for $\alpha=1$ is feasible for matrices of order about 25--30; numerical computation for general $\alpha$ is feasible only for $n < 12$.  I will describe briefly how the $\alpha$-permanent arises in statistical work as the probability density function of the Boson point process, and I will discuss the level of numerical accuracy needed for statistical applications.  My hope is that, for sufficiently large matrices, it may be possible to develop a non-stochastic polynomial-time approximation of adequate accuracy.
Tue, 24 Nov 2015

12:00 - 13:15
L4

From MHV diagrams and Twistors to the one-loop Dilatation Operator in the SO(6) sector

Brenda Penante and Laura Koster
(Humboldt and Queen Mary)
Abstract

 About 10 years ago Minahan and Zarembo made a remarkable discovery: the one-loop Dilatation Operator in the SO(6) sector of planar N=4 SYM can be identified with the Hamiltonian of an integrable spin chain. This one-loop Dilatation operator was obtained by computing a two-point correlation function at one loop, which is a completely off-shell quantity. Around the same time, Witten proposed a duality between N=4 SYM and twistor string theory, which initiated a revolution in the field of on-shell objects like scattering amplitudes. In this talk we illustrate that these techniques that have been sucessfully used for on-shell quantities can also be employed for the computation of off-shell quantities by computing the one-loop Dilatation Operator in the SO(6) sector. The first half of the talk will be dedicated to doing this calculation using MHV diagrams and the second half of the talk shows the computation in twistor space. 

These two short talks will be followed by an informal afternoon session for those interested in further details of these approaches, and in form factors in Class Room C2 from 2-4.30 pm then from 4.30pm in N3.12.  All are welcome.

 

Mon, 23 Nov 2015

17:00 - 18:00
L3

Functors of points and moduli problems

Alexander Betts
(Oxford University)
Abstract

In algebraic and arithmetic geometry, there is the ubiquitous notion of a moduli space, which informally is a variety (or scheme) parametrising a class of objects of interest. My aim in this talk is to explain concretely what we mean by a moduli space, going through the functor-of-points formalism of Grothendieck. Time permitting, I may also discuss (informally!) a natural obstruction to the existence of moduli schemes, and how one can get around this problem by taking a 2-categorical point of view.

Mon, 23 Nov 2015

17:00 - 18:00
St Catherine's

How Long is a Piece of Spacetime

Professor Philip Bond
(Quantitative Software Consulting)
Abstract

 On November 25th 1915 Albert Einstein submitted his famous paper on the General Theory of Relativity. David Hilbert also derived the General Theory in November 1915 using quite different methods. In the same year Emmy Noether derived her remarkable ‘Noether’s Theorem’ which lies at the heart of much modern Physics. 1915 was a very good vintage indeed. We will take a brief walking tour of General Relativity using some of the ideas of Noether, Hilbert and Einstein to examine gravitational redshift, gravitational lensing, the impact of General Relativity on GPS systems and high precision atomic clocks, and Black holes all of which can be summarised by asking ‘how long is a piece of spacetime?’ 

Mon, 23 Nov 2015

16:00 - 17:00
C2

Reduction Types of Abelian Varieties

Alexander Betts
(Oxford)
Abstract

Much of the arithmetic behaviour of an elliptic curve can be understood by examining its mod p reduction at some prime p. In this talk, we will aim to explain some of the ways we can define the mod p reduction, and the classifications of which reduction types occur.

Topics to be covered include the classical reduction types (good/multiplicative/additive), the Kodaira-Neron reduction types that refine them, and the Raynaud parametrisation of a semistable abelian variety. Time permitting, we may also discuss joint work with Vladimir Dokchitser classifying the semistable reduction types of 2-dimensional abelian varieties.

Mon, 23 Nov 2015

15:45 - 16:45
Oxford-Man Institute

Rough paths on manifolds revisited

CHRISTIAN LITTERER
(University of York)
Abstract


Abstract: We consider different notions of rough paths on manifolds and study some of the relations between these definitions. Furthermore, we explore extensions to manifolds modelled along infinite dimensional Banach spaces.

Mon, 23 Nov 2015

14:15 - 15:15
Oxford-Man Institute

Random walks and Lévy processes as rough paths

ILYA CHEVYREV
(University of Oxford)
Abstract

Abstract: We consider random walks and Lévy processes in the free nilpotent Lie group as rough paths. For any p > 1, we completely characterise (almost) all Lévy processes whose sample paths have finite p-variation, provide a Lévy-Khintchine formula for the characteristic function of the signature of a Lévy process treated as a rough path, and give sufficient conditions under which a sequence of random walks converges weakly to a Lévy process in rough path topologies. At the heart of our analysis is a criterion for tightness of p-variation for a collection of càdlàg strong Markov processes. We demonstrate applications of our results to weak convergence of stochastic flows.

Mon, 23 Nov 2015

12:00 - 13:00
L3

AdS4 solutions of massive IIA from dyonic supergravity and their simple Chern-Simons duals

Oscar Varela
(Harvard)
Abstract

It has been recently pointed out that maximal gauged supergravities in four dimensions often come in one-parameter families. The parameter measures the combination of electric and magnetic vectors that participate in the gauging. I will discuss the higher-dimensional origin of these dyonic gaugings, when the gauge group is chosen to be ISO(7). This gauged supergravity arises from consistent truncation of massive type IIA on the six-sphere, with its dyonically-gauging parameter identified with the Romans mass. The (AdS) vacua of the 4D supergravity give rise to new explicit AdS4 backgrounds of massive type IIA. I will also show that the 3D field theories dual to these AdS4 solutions are Chern-Simons-matter theories with a simple gauge group and level k also given by the Romans mass.

 
Fri, 20 Nov 2015

16:00 - 17:00
L1

Effective behaviour of random media: From an error analysis to elliptic regularity theory

Felix Otto
(Max-Plank-Institute)
Abstract
Heterogeneous media, like a sediment, are often naturally described in statistical terms.  How to extract their effective behaviour on large scales, like the permeability in Darcy's law, from the statistical specifications?  A practioners numerical approach is to sample the medium according to these specifications and to determine the permeability in the Cartesian directions by imposing simple boundary conditions.  What is the error made in terms of the size of this "representative volume element''?  Our interest in what is called  "stochastic homogenization'' grew out of this error analysis.

 

In the course of developing such an error analysis, connections with the classical regularity theory for elliptic operators have emerged. It turns out that the randomness, in conjunction with statistical homogeneity, of the coefficient field (which can be seen as a Riemannian metric) generates large-scale regularity of harmonic functions (w.r.t. the corresponding Laplace-Beltrami operator).  This is embodied by a hierarchy of Liouville properties:
 
   Almost surely, the space of harmonic functions of given but arbitrary growth rate has the same dimension as in the flat (i. e. Euclidean) case.

 

  Classical examples show that from a deterministic point of view, the Liouville property fails already for a small growth rate:

 

  There are (smooth) coefficient fields, which correspond to the geometry of a cone at infinity, that allow for sublinearly growing but non-constant harmonic functions.
 
 
 
Fri, 20 Nov 2015
14:15
C3

Rogue waves in the open ocean — Non-linear walls of water

Thomas Adcock
(Department of Engineering Science, University of Oxford)
Abstract

There is wide interest in the oceanographic and engineering communities as to whether linear models are satisfactory for describing the largest and steepest waves in open ocean. This talk will give some background on the topic before describing some recent modelling. This concludes that non-linear physics produces only small increases in amplitude over that expected in a linear model — however, there are significant changes to the shape and structure of extreme wave-group caused by the non-linear physics.

Fri, 20 Nov 2015

14:00 - 15:00
L3

oxDNA: A coarse-grained approach to model DNA

Prof Jonathan Doye
(Dept of Chemistry University of Oxford)
Abstract

Simulating the long time and length scales associated with DNA self-assembly
and DNA nanotechnology is not currently feasible with models at an atomic level
of detail. We, therefore, developed oxDNA a coarse-grained representation of
DNA that aims to capture the fundamental structural, thermodynamic and
mechanical properties of double-stranded and single-stranded DNA, which we have
subsequently applied to study a wide variety of DNA biophysical properties and
DNA nanotechnological systems.

Fri, 20 Nov 2015

10:00 - 11:00
L4

More accurate optical measurements

Graeme Clark
(Lein)
Abstract

Lein’s confocal systems make accurate and precise measurements in many different applications. In applications where the object under test introduces variability and/or optical aberrations to the optical signal, the accuracy and precision may deteriorate. This technical challenge looks for mathematical solutions to improve the accuracy and precision of measurements made in such circumstances.

The presentation will outline the confocal principle, show “perfect” signals, give details of how we analyse such signals, then move on to less perfect signals and the effects on measurement accuracy and precision.

Thu, 19 Nov 2015
17:30
L6

Real, p-adic, and motivic oscillatory integrals

Raf Cluckers
(Lille/Leuven)
Abstract

In the real, p-adic and motivic settings, we will present recent results on oscillatory integrals. In the reals, they are related to subanalytic functions and their Fourier transforms. In the p-adic and motivic case, there are furthermore transfer principles and applications in the Langlands program. This is joint work with Comte, Gordon, Halupczok, Loeser, Miller, Rolin, and Servi, in various combinations. 
 

Thu, 19 Nov 2015

16:00 - 17:00
C5

Branched Covers of Cube Complexes

Robert Kropholler
(Oxford)
Abstract

I will discuss the theory of branched covers of cube complexes as a method of hyperbolisation. I will show recent results using this technique. Time permitting I will discuss a form of Morse theory on simplicial complexes and show how these methods combined with the earlier methods allow one to create groups with interesting finiteness properties. 

Thu, 19 Nov 2015

16:00 - 17:00
L5

Prime number races with very many competitors

Adam Harper
(University of Cambridge)
Abstract

The prime number race is the competition between different coprime residue classes mod $q$ to contain the most primes, up to a point $x$ . Rubinstein and Sarnak showed, assuming two $L$-function conjectures, that as $x$ varies the problem is equivalent to a problem about orderings of certain random variables, having weak correlations coming from number theory. In particular, as $q \rightarrow \infty$ the number of primes in any fixed set of $r$ coprime classes will achieve any given ordering for $\sim 1/r!$ values of $x$. In this talk I will try to explain what happens when $r$ is allowed to grow as a function of $q$. It turns out that one still sees uniformity of orderings in many situations, but not always. The proofs involve various probabilistic ideas, and also some harmonic analysis related to the circle method. This is joint work with Youness Lamzouri.

Thu, 19 Nov 2015

16:00 - 17:00
L3

OCIAM Group Meeting - New singularities for Stokes waves

Robert Style, Samuel Crew and Phil Trinh
(Oxford University)
Abstract
New singularities for Stokes waves
Samuel Crew (Lincoln College) and Philippe Trinh
 
In 1880, Stokes famously demonstrated that the singularity that occurs at the crest of the steepest possible water wave in infinite depth must correspond to a corner of 120°. Here, the complex velocity scales like the one-third power of the complex potential. Later in 1973, Grant showed that for any wave away from the steepest configuration, the singularity moves into the complex plane, and is instead of order one-half. Grant conjectured that as the highest wave is approached, other singularities must coalesce at the crest so as to cancel the square-root behaviour. Even today, it is not well understood how this process occurs, nor is it known what other singularities may exist. 
 
In this talk, we shall explain how we have been able to construct the Riemann surface that represents the extension of the water wave into the complex plane. We shall also demonstrate the existence of a countably infinite number of singularities, never before noted, which coalesce as Stokes' highest wave is approached. Our results demonstrate that the singularity structure of a finite amplitude wave is much more complicated than previously anticipated, 
 
Thu, 19 Nov 2015

14:00 - 15:00
L5

Adaptivity and blow-up detection for nonlinear evolution PDEs

Dr. Emmanuil Georgoulis
(Leicester University)
Abstract

I will review some recent work on the problem of reliable automatic detection of blow-up behaviour for nonlinear parabolic PDEs. The adaptive algorithms developed are based on rigorous conditional a posteriori error bounds. The use of space-time adaptivity is crucial in making the problem computationally tractable. The results presented are applicable to quite general spatial operators, rendering the approach potentially useful in informing respective PDE theory. The new adaptive algorithm is shown to accurately estimate the blow-up time of a number of problems, including ones exhibiting regional blow-up. 

Thu, 19 Nov 2015

12:00 - 13:00
L6

Why gradient flows of some energies good for defect equilibria are not good for dynamics, and an improvement

Amit Acharya
(Carnegie Mellon Univeristy)
Abstract
Straight screw dislocations are line defects in crystalline materials and wedge disclinations are line defects in nematic liquid crystals. In this talk, I will discuss the development and implications of a single pde model intended to describe equilibrium states and dynamics of these defects. These topological defects are classically treated as singularities that result in infinite total energy in bodies of finite extent that behave linearly in their elastic response. I will explain how such singularities can be alleviated by the introduction of an additional 'eigendeformation' field, beyond the fundamental fields of the classical theories involved. The eigendeformation field bears much similarity to gauge fields in high- energy physics, but arises from an entirely different standpoint not involving the notion of gauge invariance in our considerations. It will then be shown that an (L2) gradient flow of a 'canonical', phase- field type (up to details) energy function coupling the deformation to the eigendeformation field that succeeds in predicting the defect equilibrium states of interest necessarily has to fail in predicting particular types of physically important defect dynamics. Instead, a dynamical model based on the same
energy but involving a conservation statement for topological charge of the line defect field for its evolution will be shown to succeed. This is joint work with Chiqun Zhang, graduate student at CMU.
Wed, 18 Nov 2015
16:00
C1

Counter example using the Golod-Shafarevich inequality

Kieran Calvert
(Oxford)
Abstract

In 1964 Golod and Shafarevich discovered a powerful tool that gives a criteria for when a certain presentation defines an infinite dimensional algebra. In my talk I will assume the main machinery of the Golod-Shafarevich inequality for graded algebras and use it to provide counter examples to certain analogues of the Burnside problem in infinite dimensional algebras and infinite groups. Then, time dependent, I will define the Tarski number for groups relating to the Banach-Tarski paradox and show that we can using the G-S inequality show that the set of Tarski numbers is unbounded. Despite the fact we can only find groups of Tarski number 4, 5 and 6.

Wed, 18 Nov 2015
15:00
L2

Algebraic Codes for Public Key Cryptography

Alain Couvreur
(Ecole Polytechnique)
Abstract

We present McEliece encryption scheme and some well-known proposals based on various families of error correcting codes. We introduce several methods for cryptanalysis in order to study the security of the presented proposals.

Tue, 17 Nov 2015

15:45 - 16:45
L4

The Grothendieck-Riemann-Roch theorem and the Frobenius morphism

Damian Rossler
(Oxford)
Abstract

Let p>0 be a prime number. We shall describe a short Frobenius-theoretic proof of the Adams-Riemann-Roch theorem for the p-th Adams operation, when the involved schemes live in characteristic p and the morphism is smooth. This result implies the Grothendieck-Riemann-Roch theorem for smooth morphisms in positive characteristic and the Hirzebruch-Riemann-Roch theorem in any characteristic. This is joint work with R. Pink.

Tue, 17 Nov 2015

14:30 - 15:00
L5

A GPU Implementation of the Filtered Lanczos Procedure

Jared Aurentz
(University of Oxford)
Abstract

This talk describes a graphics processing unit (GPU) implementation of the Filtered Lanczos Procedure for the solution of large, sparse, symmetric eigenvalue problems. The Filtered Lanczos Procedure uses a carefully chosen polynomial spectral transformation to accelerate the convergence of the Lanczos method when computing eigenvalues within a desired interval. This method has proven particularly effective when matrix-vector products can be performed efficiently in parallel. We illustrate, via example, that the Filtered Lanczos Procedure implemented on a GPU can greatly accelerate eigenvalue computations for certain classes of symmetric matrices common in electronic structure calculations and graph theory. Comparisons against previously published CPU results suggest a typical speedup of at least a factor of $10$.

Tue, 17 Nov 2015
14:30
L6

Large deviations in random graphs

Yufei Zhao
(University of Oxford)
Abstract

What is the probability that the number of triangles in an Erdős–Rényi random graph exceeds its mean by a constant factor? In this talk, I will discuss some recent progress on this problem.

Already the order in the exponent of the tail probability was a long standing open problem until several years ago when it was solved by DeMarco and Kahn, and independently by Chatterjee. We now wish to determine the exponential rate of the tail probability. Thanks for the works of Chatterjee--Varadhan (dense setting) and Chatterjee--Dembo (sparse setting), this large deviations problem reduces to a natural variational problem. We solve this variational problem asymptotically, thereby determining the large deviation rate, which is valid at least for p > 1/n^c for some c > 0.

Based on joint work with Bhaswar Bhattacharya, Shirshendu Ganguly, and Eyal Lubetzky.

Tue, 17 Nov 2015
14:15
L4

Representation theory related to some infinite permutation groups.

Peter Neumann
(Oxford)
Abstract

Our work (which is joint with Simon Smith) began as a study of the structure of infinite permutation groups $G$ in which point stabilisers are finite and all infinite normal subgroups are transitive. That led to two variations.
 

One is the generalisation in which point stabilisers are merely assumed to satisfy min-{\sc N}, the minimal condition on normal subgroups. The groups $G$ are then of two kinds. Either they have a maximal finite normal subgroup, modulo which they have either one or two minimal non-trivial normal subgroups, or they have a regular normal subgroup $M$ which is a divisible abelian $p$-group of finite rank. In the latter case the point stabilisers are finite and act irreducibly on the socle of~$M$. This leads to our second variation, which is a study of the finite linear groups that can arise.

Tue, 17 Nov 2015

14:00 - 14:30
L5

A fast hierarchical direct solver for singular integral equations defined on disjoint boundaries and application to fractal screens

Mikael Slevinsky
(University of Oxford)
Abstract
Olver and I recently developed a fast and stable algorithm for the solution of singular integral equations. It is a new systematic approach for converting singular integral equations into almost-banded and block-banded systems of equations. The structures of these systems lend themselves to fast direct solution via the adaptive QR factorization. However, as the number of disjoint boundaries increases, the computational effectiveness deteriorates and specialized linear algebra is required.

Our starting point for specialized linear algebra is an alternative algorithm based on a recursive block LU factorization recently developed by Aminfar, Ambikasaran, and Darve. This algorithm specifically exploits the hierarchically off-diagonal low-rank structure arising from coercive singular integral operators of elliptic partial differential operators. The hierarchical solver involves a pre-computation phase independent of the right-hand side. Once this pre-computation factorizes the operator, the solution of many right-hand sides takes a fraction of the original time. Our fast direct solver allows for the exploration of reduced-basis problems, where the boundary density for any incident plane wave can be represented by a periodic Fourier series whose coefficients are in turn expanded in weighted Chebyshev or ultraspherical bases.
 
A fractal antenna uses a self-similar design to achieve excellent broadband performance. Similarly, a fractal screen uses a fractal such as a Cantor set to screen electromagnetic radiation. Hewett, Langdon, and Chandler-Wilde have shown recently that the density on the nth convergent to a fractal screen converges to a non-zero element in the suitable Sobolev space, resulting in a physically observable and persistent scattered field as n tends to infinity. We use our hierarchical solver to show numerical results for prefractal screens.
Mon, 16 Nov 2015

16:00 - 17:00
L2

The Stokes-Fourier equations as scaling limit of the hard sphere dynamics

Laure Saint-Raymond
(Ecole Normale Superieure)
Abstract
In his sixth problem, Hilbert asked for an axiomatization of gas dynamics, and he suggested to use the Boltzmann equation as an intermediate description between the (microscopic) atomic dynamics and (macroscopic) fluid models. The main difficulty to achieve this program is to prove the asymptotic decorrelation between the local microscopic interactions, referred to as propagation of chaos, on a time scale much larger than the mean free time. This is indeed the key property to observe some relaxation towards local thermodynamic equilibrium.

 

This control of the collision process can be obtained in fluctuation regimes. In a recent work with I. Gallagher and T. Bodineau, we have established a long time convergence result to the linearized Boltzmann equation, and eventually derived the acoustic and incompressible Stokes equations in dimension 2. The proof relies crucially on symmetry arguments, combined with a suitable pruning procedure to discard super exponential collision trees.
Mon, 16 Nov 2015

16:00 - 17:00
C2

IP sets, recurrence, and polynomials

Jakub Konieczny
(Oxford)
Abstract

I will discuss the many appearances of the class of IP sets in classical theorems of combinatorial number theory and ergodic theory. Our point of departure will be the celebrated theorem of Hindman on partition regularity of IP sets, which is crucial for the introduction of IP-limits. We then discuss how existence of certain IP-limits translates into recurrence statements, which in turn give rise to results in number theory via the Furstenberg correspondence principle. Throughout the talk, the methods of ergodic theory will play an important role - however, no prior familiarity with them is required.

Mon, 16 Nov 2015
15:45
L6

Characterizing a vertex-transitive graph by a large ball

Romain Tessera
(Université Paris XI, ORSAY)
Abstract

It is well-known that a complete Riemannian manifold M which is locally isometric to a symmetric space is covered by a symmetric space. We will prove that a discrete version of this property (called local to global rigidity) holds for a large class of vertex-transitive graphs, including Cayley graphs of torsion-free lattices in simple Lie groups, and Cayley graph of torsion-free virtually nilpotent groups. By contrast, we will exhibit various examples of Cayley graphs of finitely presented groups (e.g. PGL(5, Z)) which fail to have this property, answering a question of Benjamini, Ellis, and Georgakopoulos. This is a joint work with Mikael de la Salle.