Mon, 10 Feb 2014

15:30 - 16:30

Dynamics on some infinite translation surfaces

Corinna Ulcigrai
(Bristol)
Abstract

We will consider infinite translation surfaces which are abelian covers of

compact surfaces with a (singular) flat metric and focus on the dynamical

properties of their flat geodesics. A motivation come from mathematical

physics, since flat geodesics on these surfaces can be obtained by unfolding

certain mathematical billiards. A notable example of such billiards is  the

Ehrenfest model, which consists of a particle bouncing off the walls of a

periodic planar array of rectangular scatterers.

The dynamics of flat geodesics on compact translation surfaces is now well

understood thanks to the beautiful connection with Teichmueller dynamics. We

will survey some recent advances on the study of infinite translation

surfaces and in particular focus on a joint work with K. Fraczek,  in which

we proved that the Ehrenfest model and more in general geodesic flows on

certain abelain covers have no dense orbits. We will try to convey an

heuristic idea of how Teichmueller dynamics plays a crucial role in the

proofs.

Mon, 10 Feb 2014

14:15 - 15:15
Eagle House

Discretely sampled signals and the rough Hoff path

GUY FLINT
(University of Oxford)
Abstract

Sampling a $d$-dimensional continuous signal (say a semimartingale) $X:[0,T] \rightarrow \mathbb{R}^d$ at times $D=(t_i)$, we follow the recent papers [Gyurko-Lyons-Kontkowski-Field-2013] and [Lyons-Ni-Levin-2013] in constructing a lead-lag path; to be precise, a piecewise-linear, axis-directed process $X^D: [0,1] \rightarrow
\mathbb{R}^{2d}$ comprised of a past and future component. Lifting $X^D$ to its natural rough path enhancement, we can consider the question of convergence as
the latency of our sampling becomes finer.

Mon, 10 Feb 2014

12:00 - 13:00
L5

Non-perturbative aspects of higher spin holography

Alejandra Castro
(Amsterdam)
Abstract
In this talk I will review the interpretation of Wilson line operators in the context of higher spin gravity in 2+1 dim and holography. I will show how a Wilson line encapsulates the thermodynamics of black holes. Furthermore it provides an elegant description of massive particles. This opens a new window of observables which will allow us to probe the true geometrical nature of higher spin gravity.
Fri, 07 Feb 2014

12:00 - 13:00
L6

Transonic shocks in steady compressible Euler flows

Prof. Hairong Yuan
(East China Normal University)
Abstract

I will introduce the physical phenomena of transonic shocks, and review the progresses on related boundary value problems of the steady compressible Euler equations. Some Ideas/methods involved in the studies will be presented through specific examples. The talk is based upon joint works with my collaborators.

Fri, 07 Feb 2014
10:00
L5

Droplet snap-off and coalescence in colloidal (lyotropic) liquid crystals

Lia Verhoeff (Chemistry, Oxford)
Abstract

Droplet snap-off and coalescence are very rich hydrodynamic phenomena that are even richer in liquid crystals where both the bulk phase and the interface have anisotropic properties. We studied both phenomena in suspensions of colloidal platelets with isotropic-nematic phase coexistence.

We observed two different scenarios for droplet snap-off depending on the relative values of the elastic constant and anchoring strength, in both cases markedly different from Newtonian pinching.[1] Furthermore, we studied coalescence of nematic droplets with the bulk nematic phase. For small droplets this qualitatively resembles coalescence in isotropic fluids, while larger droplets act as if they are immiscible with their own bulk phase. We also observed an interesting deformation of the director field inside the droplets as they sediment towards the bulk phase, probably as a result of flow inside the droplet. Finally, we found that mutual droplet coalescence is accompanied by large droplet deformations that closely resemble coalescence of isotropic droplets.[2]

[1] A.A. Verhoeff and H.N.W. Lekkerkerker, N. J. Phys. 14, 023010 (2012)

[2] M. Manga and H.A. Stone, J. Fluid Mech. 256, 647 (1993)


Thu, 06 Feb 2014

16:30 - 17:30
L5

Hartmanis-Stearns conjecture and Mahler's method

Evgeniy Zorin
(York)
Abstract
Hartmanis-Stearns conjecture states that any number that can be computed in a real time by a multitape Turing machine is either rational or transcendental, but never irrational algebraic. I will discuss approaches of the modern transcendence theory to this question as well as some results in this direction.

Note: Change of time and (for Logic) place! Joint with Number Theory (double header)

Thu, 06 Feb 2014

16:00 - 17:00
C6

Derived equivalence between vector bundles and dg-quivers

Lam Yan
Abstract

Quivers are directed graphs which can be thought of as "space" in noncommutative geometry. In this talk, we will try to establish a link between noncommutative geometry and its commutative counterpart. We will show how one can construct (differential graded) quivers which are "equivalent" (in the sense of derived category of representations) to vector bundles on smooth varieties.

Thu, 06 Feb 2014

16:00 - 17:30
L2

Tractable interest rate and volatility models

Mike Tehranchi
(Cambridge)
Abstract

There are many financial models used in practice (CIR/Heston, Vasicek,

Stein-Stein, quadratic normal) whose popularity is due, in part, to their

analytically tractable asset pricing. In this talk we will show that it is

possible to generalise these models in various ways while maintaining

tractability. Conversely, we will also characterise the family of models

which admit this type of tractability, in the spirit of the classification

of polynomial term structure models.

Thu, 06 Feb 2014

16:00 - 17:00
L3

Urban growth and decay

Hannah Fry
(UCL)
Abstract

Much of the mathematical modelling of urban systems revolves around the use spatial interaction models, derived from information theory and entropy-maximisation techniques and embedded in dynamic difference equations. When framed in the context of a retail system, the

dynamics of centre growth poses an interesting mathematical problem, with bifurcations and phase changes, which may be analysed analytically. In this contribution, we present some analysis of the continuous retail model and corresponding discrete version, which yields insights into the effect of space on the system, and an understanding of why certain retail centers are more successful than others. This class of models turns out to have wide reaching applications: from trade and migration flows to the spread of riots and the prediction of archeological sites of interest, examples of which we explore in more detail during the talk.

Thu, 06 Feb 2014

15:00 - 16:00
L5

An Euler system of diagonal cycles and the Birch and Swinnerton-Dyer conjecture for non-abelian twists of elliptic curves.

Victor Rotger
(Universitat Politècnica de Catalunya · BarcelonaTech)
Abstract

The goal of this lecture is describing recent joint work with Henri Darmon, in which we construct an Euler system of twisted Gross-Kudla diagonal cycles that allows us to prove, among other results, the following statement (under a mild non-vanishing hypothesis that we shall make explicit):

Let $E/\mathbb{Q}$ be an elliptic curve and $K=\mathbb{Q}(\sqrt{D})$ be a real quadratic field. Let $\psi: \mathrm{Gal}(H/K) \rightarrow \mathbb{C}^\times$ be an anticyclotomic character. If $L(E/K,\psi,1)\ne 0$ then the $\psi$-isotypic component of the Mordell-Weil group $E(H)$ is trivial.

Such a result was known to be a consequence of the conjectures on Stark-Heegner points that Darmon formulated at the turn of the century. While these conjectures still remain highly open, our proof is unconditional and makes no use of this theory.

Thu, 06 Feb 2014

14:00 - 15:00
L5

Approximation on surfaces with radial basis functions: from global to local methods

Professor Grady Wright
(Boise State University)
Abstract

Radial basis function (RBF) methods are becoming increasingly popular for numerically solving partial differential equations (PDEs) because they are geometrically flexible, algorithmically accessible, and can be highly accurate. There have been many successful applications of these techniques to various types of PDEs defined on planar regions in two and higher dimensions, and to PDEs defined on the surface of a sphere. Originally, these methods were based on global approximations and their computational cost was quite high. Recent efforts have focused on reducing the computational cost by using ``local’’ techniques, such as RBF generated finite differences (RBF-FD).

In this talk, we first describe our recent work on developing a new, high-order, global RBF method for numerically solving PDEs on relatively general surfaces, with a specific focus on reaction-diffusion equations. The method is quite flexible, only requiring a set of ``scattered’’ nodes on the surface and the corresponding normal vectors to the surface at these nodes. We next present a new scalable local method based on the RBF-FD approach with this same flexibility. This is the first application of the RBF-FD method to general surfaces. We conclude with applications of these methods to some biologically relevant problems.

This talk represents joint work with Edward Fuselier (High Point University), Aaron Fogelson, Mike Kirby, and Varun Shankar (all at the University of Utah).

Wed, 05 Feb 2014
10:30
N3.12

An introduction to Kähler groups

Claudio Llosa Isenrich
Abstract

A Kähler group is a finitely presented group that can be realized as fundamental group of a compact Kähler manifold. It is known that every finitely presented group can be realized as fundamental group of a compact real and even symplectic manifold of dimension greater equal than 4 and of a complex manifold of complex dimension greater equal than 2. In contrast, the question which groups are Kähler groups is surprisingly harder and there are large classes of examples for both, Kähler, and non-Kähler groups. This talk will give a brief introduction to the theory of Kähler manifolds and then discuss some basic examples and properties of Kähler groups. It is aimed at a general audience and no prior knowledge of the field will be required.

Tue, 04 Feb 2014

17:00 - 18:00
C5

Taming the hydra: the word problem and extreme integer compression

Tim Riley
(Cornell University)
Abstract

For a finitely presented group, the Word Problem asks for an algorithm

which declares whether or not words on the generators represent the

identity. The Dehn function is the time-complexity of a direct attack

on the Word Problem by applying the defining relations.

A "hydra phenomenon" gives rise to novel groups with extremely fast

growing (Ackermannian) Dehn functions. I will explain why,

nevertheless, there are efficient (polynomial time) solutions to the

Word Problems of these groups. The main innovation is a means of

computing efficiently with compressed forms of enormous integers.

This is joint work with Will Dison and Eduard Einstein.

Tue, 04 Feb 2014

14:30 - 15:00
L5

Application of some deterministic techniques to Bayesian inference

Patrick Farrell
(University of Oxford)
Abstract

Quantifying the uncertainty in computational simulations is one of the central challenges confronting the field of computational science and engineering today. The uncertainty quantification of inverse problems is neatly addressed in the Bayesian framework, where instead of seeking one unique minimiser of a regularised misfit functional, the entire posterior probability distribution is to be characterised. In this talk I review the deep connection between deterministic PDE-constrained optimisation techniques and Bayesian inference for inverse problems, discuss some recent advances made in the Bayesian viewpoint by adapting deterministic techniques, and mention directions for future research.

Tue, 04 Feb 2014

14:00 - 14:30
L5

Composite Dilation Wavelets

Jeffrey D. Blanchard
(Grinnell College)
Abstract

Composite dilation wavelets are affine systems which extend the notion of wavelets by incorporating a second set of dilations.  The addition of a second set of dilations allows the composite system to capture directional information in addition to time and frequency information.  We classify admissible dilation groups at two extremes: frequency localization through minimally supported frequency composite dilation wavelets and time localization through crystallographic Haar-type composite dilation wavelets. 

Tue, 04 Feb 2014

14:00 - 15:00
L4

Stability conditions and Hitchin systems I

Tom Sutherland
(University of Sheffield)
Abstract

The instanton corrections to the hyperkähler metric on moduli spaces of meromorphic flat SL(2,C)-connections on a Riemann surface with prescribed singularities have recently been studied by Gaiotto, Moore and Neitzke. The instantons are given by certain special trajectories of the meromorphic quadratic differentials which form the base of Hitchin's integrable system structure on the moduli space. Bridgeland and Smith interpret such quadratic differentials as defining stability conditions on an associated 3-Calabi-Yau triangulated category whose stable objects correspond to these special trajectories.

The smallest non-trivial examples are provided by the moduli spaces of quaternionic dimension one. In these cases it is possible to study explicitly the periods of the Seiberg-Witten differential on the fibres of the Hitchin system which define the central charge of the stability condition and lift the period map to the space of stability conditions. This provides in particular a new categorical perspective on the original Seiberg-Witten gauge theories.

Tue, 04 Feb 2014

12:00 - 13:30
L5

Gravity induced by noncommutative spacetime

Shahn Majid (Queen Mary and Oxford)
Abstract

The talk is based on my paper with E. Beggs appearing in Class. Quantum

Gravity.

Working within a bimodule approach to noncommutative geometry, we show that

even a small amount of noncommutativity drastically constrains the moduli

space of

noncommutative metrics. In particular, the algebra [x,t]=x is forced to have

a geometry

corresponding to a gravitational source at x=0 so strong that even light

cannot

escape. This provides a non-trivial example of noncommutative Riemannian

geometry

and also serves as an introduction to some general results.

Mon, 03 Feb 2014

17:00 - 18:00
L6

Free Boundary Problem related to Euler-Poisson system

Myoungjean Bae
(Pohang University of Science and Technology)
Abstract

One dimensional analysis of Euler-Poisson system shows that when incoming supersonic flow is fixed,

transonic shock can be represented as a monotone function of exit pressure.

From this observation, we expect well-posedness of transonic shock problem for Euler-Poisson system

when exit pressure is prescribed in a proper range.

In this talk, I will present recent progress on transonic shock problem for Euler-Poisson system,

which is formulated as a free boundary problem with mixed type PDE system.

This talk is based on collaboration with Ben Duan, Chujing Xie and Jingjing Xiao

Mon, 03 Feb 2014

16:00 - 17:00
C5

"Moat lemmas" and mean values of exponential sums

Simon Myerson
(Oxford University)
Abstract

In 1997 V. Bentkus and F. Götze introduced a technique for estimating $L^p$ norms of certain exponential sums without needing an explicit estimate for the exponential sum itself. One uses instead a kind of estimate I call a "moat lemma". I explain this term, and discuss the implications for several kinds of point-counting problem which we all know and love.

Mon, 03 Feb 2014

15:45 - 16:45
Eagle House

Handwriting,signatures, and convolutions

BEN GRAHAM
(University of Warwick)
Abstract

The'signature', from the theory of differential equations driven by rough paths,
provides a very efficient way of characterizing curves. From a machine learning
perspective, the elements of the signature can be used as a set of features for
consumption by a classification algorithm.

Using datasets of letters, digits, Indian characters and Chinese characters, we
see that this improves the accuracy of online character recognition---that is
the task of reading characters represented as a collection of pen strokes.

Mon, 03 Feb 2014

15:30 - 16:30

Bordism representation theory in dimension 3

Bruce Bartlett
(Oxford and Stellenbosch)
Abstract

A "bordism representation" (*) is a representation of the abstract

structure formed by manifolds and bordisms between them, and hence of

fundamental interest in topology. I will give an overview of joint work

establishing a simple generators-and-relations presentation of the

3-dimensional oriented bordism bicategory, and also its "signature" central

extension. A representation of this bicategory corresponds in a 2-1 fashion

to a modular category, which must be anomaly-free in the oriented case. J/w

Chris Douglas, Chris Schommer-Pries, Jamie Vicary.

(*) These are also known as "topological quantum field theories".

Mon, 03 Feb 2014
14:15
L5

The topology of toric origami manifolds

Tara Holm
(Cornell)
Abstract

A folded symplectic form on a manifold is a closed 2-form with the mildest possible degeneracy along a hypersurface. A special class of folded symplectic manifolds are the origami manifolds. In the classical case, toric symplectic manifolds can classified by their moment polytope, and their topology (equivariant cohomology) can be read directly from the polytope. In this talk we examine the toric origami case: we will recall how toric origami manifolds can also be classified by their combinatorial moment data, and present some theorems, almost-theorems, and conjectures about the topology of toric origami manifolds.

Mon, 03 Feb 2014

14:15 - 15:15
Eagle House

TBC

DANYU YANG
(University of Oxford)
Mon, 03 Feb 2014

12:00 - 13:00
L5

Partition functions and superconformal indices as applications of Kohn-Rossi cohomology

Johannes Schmude
(RIKEN)
Abstract
I this talk, I will discuss two entirely different classes of super Yang-Mills theories; the four dimensional SCFTs dual to AdS x Y where Y is Sasaki-Einstein, and five dimensional theories defined directly on such manifolds. What the two classes have in common is that they lend themselves to the application of Kohn-Rossi cohomology. Intuitively, one can think of this as an odd-dimensional relative of Dolbeault cohomology. Kohn-Rossi cohomology groups appear naturally when doing supergravity calculations of superconformal indices in the first class of theories or when calculating the partition functions of the latter using localisation. After a brief introduction to the relevant aspects of Sasaki-Einstein geometry, I will give an overview of both these applications.
Fri, 31 Jan 2014

16:30 - 17:30
L1

The Surface Subgroup Problem

Professor Vladimir Markovic
(University of Cambridge (DPMMS))
Abstract

The surface subgroup problem asks whether a given group contains a subgroup that is isomorphic to the fundamental group of a closed surface. In this talk I will survey the role that the surface subgroup problem plays in some important solved and unsolved problems in the theory of 3-manifolds, the geometric group theory, and the theory of arithmetic manifolds.

Fri, 31 Jan 2014

14:15 - 15:15
C6

The fast flow of Jakobshavn and its subglacial drainage system

Mauro Werder
(University of Bristol)
Abstract

Jakobshavn Isbrae and many other fast flowing outlet glaciers of present

and past ice sheets lie in deep troughs which often have several

overdeepened sections. To make their fast flow possible their bed needs

to be slippery which in turn means high basal water pressures. I will

present a model of subglacial water flow and its application to

Jakobshavn. I find that, somewhat surprisingly, the reason for

Jakobshavn's fast flow might be the pressure dependence of the melting

point of ice. The model itself describes the unusual fluid dynamics occurring underneath the ice; it has an interesting mathematical structure that presents computational challenges.

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.