Thu, 13 Feb 2014

12:00 - 13:00
L6

Modelling collective motion in biology

Prof. Philip Maini
(University of Oxford)
Abstract

We will present three different recent applications of cell motion in biology: (i) Movement of epithelial sheets and rosette formation, (ii) neural crest cell migrations, (iii) acid-mediated cancer cell invasion. While the talk will focus primarily on the biological application, it will be shown that all of these processes can be represented by reaction-diffusion equations with nonlinear diffusion term.

Wed, 12 Feb 2014

16:00 - 17:00
C6

Automatic Groups

Giles Gardam
(Oxford)
Abstract

The notion of automatic groups emerged from conversations between Bill Thurston and Jim Cannon on the nice algorithmic properties of Kleinian groups. In this introductory talk we will define automatic groups and then discuss why they are interesting. This centres on how automatic groups subsume many other classes of groups (e.g. hyperbolic groups, finitely generated Coxeter groups, and braid groups) and have good properties (e.g. finite presentability, fast solution to the word problem, and type FP).

Wed, 12 Feb 2014
10:30
N3.12

Groups whose word problem is context-free

Giles Gardam
Abstract

We will introduce some necessary basic notions regarding formal languages, before proceeding to give the classification of groups whose word problem is context-free as the virtually free groups (due to Muller and Schupp (1983) together with Dunwoody's accessibility of finitely presented groups (1985) for full generality). Emphasis will be on the group theoretic aspects of the proof, such as Stalling's theorem on ends of groups, accessibility, and geometry of the Cayley graph (rather than emphasizing details of formal languages).

Tue, 11 Feb 2014

15:45 - 16:45
L4

Symplectic cohomology and circle-actions

Alexander Ritter
(Oxford)
Abstract

I will explain how to compute the symplectic cohomology of a manifold $M$ conical at infinity, whose Reeb flow at infinity arises from a Hamiltonian circle-action on $M$. For example, this allows one to compute the symplectic cohomology of negative line bundles in terms of the quantum cohomology, and (in joint work with Ivan Smith) via the open-closed string map one can determine the wrapped Fukaya category of negative line bundles over projective space. In this talk, I will show that one can explicitly compute the quantum cohomology and symplectic cohomology of Fano toric negative line bundles, which are in fact different cohomology groups, and surprisingly it is actually the symplectic cohomology which recovers the Jacobian ring of the Landau-Ginzburg superpotential.

Tue, 11 Feb 2014

14:30 - 15:30
L6

Frankl-Rödl type theorems for codes and permutations

Eoin Long
(University of Oxford)
Abstract

We give a new proof of the Frankl-Rödl theorem on set systems with a forbidden intersection. Our method extends to codes with forbidden distances, where over large alphabets our bound is significantly better than that obtained by Frankl and Rödl. One consequence of our result is a Frankl-Rödl type theorem for permutations with a forbidden distance. Joint work with Peter Keevash.

Tue, 11 Feb 2014

14:30 - 15:00
L5

Community Structure in Multilayer Networks

Mason Alexander Porter
(University of Oxford)
Abstract

Networks arise pervasively in biology, physics, technology, social science, and myriad other areas. An ordinary network consists of a collection of entities (called nodes) that interact via edges. "Multilayer networks" are a more general representation that can be used when nodes are connected to each other via multiple types of edges or a network changes in time.  In this talk, I will discuss how to find dense sets of nodes called "communities" in multilayer networks and some applications of community structure to problems in neuroscience and finance.

Tue, 11 Feb 2014

14:00 - 14:30
L5

Fun with Sobolev spaces on fractal domains

David Hewett
(University of Oxford)
Abstract

Sobolev spaces are the standard framework in which to analyse weak (variational) formulations of PDEs or integral equations and their numerical solution (e.g. using the Finite Element Method or the Boundary Element Method). There are many different ways to define Sobolev spaces on a given domain, for example via integrability of weak derivatives, completions of spaces of smooth functions with respect to certain norms, or restriction from spaces defined on a larger domain. For smooth (e.g. Lipschitz) domains things many of these definitions coincide. But on rough (e.g. fractal) domains the picture is much more complicated. In this talk I'll try to give a flavour of the sort of interesting behaviour that can arise, and what implications this behaviour has for a "practical" example, namely acoustic wave scattering by fractal screens. 

Tue, 11 Feb 2014

14:00 - 15:00
L4

Uniqueness Theorems for Smoothing Special Lagrangians

Yohsuke Imagi
(Kyoto)
Abstract

Special Lagranigian submanifolds are area-minimizing Lagrangian submanifolds of Calabi--Yau manifolds. One can define the moduli space of compact special Lagrangian submanifolds of a (fixed) Calabi--Yau manifold. Mclean proves it has a structure of manifold (of dimension finite). It isn't compact in general, but one can compactify it by using geometric measure theory.

Kontsevich conjectured a mirror symmetry, and special Lagrangians should be "mirror" to holomorphic vector bundles. By using algebraic geometry one can compactify the moduli space of holomorphic vector bundles. By "counting" holomorphic vector bundles in Calabi--Yau 3-folds Richard Thomas defined holomorphic Casson invariants (Donaldson-Thomas invariants).

So far as I know it's an open question (probably very difficult) whether one can "count" special Lagrangians, or define a nice structure on the (compactified) moduli space of special Lagrangians.

To do it one has to study singularities of special Lagrangians.

One can smooth singularities in suitable situations: given a singular special Lagrangian, one can construct smooth special Lagrangians tending to it (by the gluing technique). I've proved a uniqueness theorem in a "symmetric" situation: given a symmetric singularity, there's only one way to smooth it (the point of the proof is that the symmetry reduces the problem to an ordinary differential equation).

More recently I've studied a non-symmetric situation together with Dominic Joyce and Joana Oliveira dos Santos Amorim. Our method is based on Lagrangian Floer theory, and is effective at least for pairs of two (special) Lagrangian planes intersecting transversely.

I'll give the details in the talk.

Mon, 10 Feb 2014

17:00 - 18:00
L6

On regularity properties of solutions to hysteresis-type problems

Nina Uraltseva
(St Petersburg State University)
Abstract

We consider equations with the simplest hysteresis operator at

the right-hand side. Such equations describe the so-called processes "with

memory" in which various substances interact according to the hysteresis

law. The main feature of this problem is that the operator at the

right-hand side is a multivalued.

We present some results concerning the optimal regularity of solutions.

Our arguments are based on quadratic growth estimates for solutions near

the free boundary. The talk is based on joint work with Darya

Apushkinskaya.

Mon, 10 Feb 2014

16:00 - 17:00
C5

Diophantine Properties of Nilpotent Lie Groups

Henry Bradford
(Oxford University)
Abstract

A finite set of elements in a connected real Lie group is "Diophantine" if non-identity short words in the set all lie far away from the identity. It has long been understood that in abelian groups, such sets are abundant. In this talk I will discuss recent work of Aka; Breuillard; Rosenzweig and de Saxce concerning this phenomenon (and its limitations) in the more general setting of nilpotent groups. 

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)