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.