Mon, 06 Mar 2017

15:45 - 16:45
L6

Random 3-manifolds and towers of their covers

Ursula Hamenstaedt
(Bonn)
Abstract

Any closed 3-manifold can be obtained by glueing two handle bodies along their boundary. For a fixed such glueing, any other differs by changing the glueing map by an element in the mapping class group. Beginning with an idea of Dunfield and Thurston, we can use a random walk on the mapping class group to construct random 3-manifolds. I will report on recent work on the structure of such manifolds, in particular in view of tower of coverings and their topological growth: Torsion homology growth, the minimal degree of a cover with positive Betti number, expander families. I will in particularly explain the connection to some open questions about the mapping class group.

Mon, 13 Feb 2017

15:45 - 16:45
L6

The SO(3) action on the space of finite tensor categories

Noah Snyder
(Indiana University)
Abstract

The cobordism hypothesis gives a correspondence between the
framed local topological field theories with values in C and a fully
dualizable objects in C.  Changing framing gives an O(n) action on the
space of local TFTs, and hence by the cobordism hypothesis it gives a
(homotopy coherent) action of O(n) on the space of fully dualizable
objects in C.  One example of this phenomenon is that O(3) acts on the
space of fusion categories.  In fact, O(3) acts on the larger space of
finite tensor categories.  I'll describe this action explicitly and
discuss its relationship to the double dual, Radford's theorem,
pivotal structures, and spherical structures.  This is part of work in
progress joint with Chris Douglas and Chris Schommer-Pries.
 

Mon, 23 Jan 2017

15:45 - 16:45
L6

Discrete Morse theory and classifying spaces

Vidit Nanda
(Oxford and The Turing Institute)
Abstract

Large-scale homology computations are often rendered tractable by discrete Morse theory. Every discrete Morse function on a given cell complex X produces a Morse chain complex whose chain groups are spanned by critical cells and whose homology is isomorphic to that of X. However, the space-level information is typically lost because very little is known about how critical cells are attached to each other. In this talk, we discretize a beautiful construction of Cohen, Jones and Segal in order to completely recover the homotopy type of X from an overlaid discrete Morse function.

The global ecology of bird migration: patterns and processes
Somveille, M Frontiers of Biogeography volume 8 issue 3 (31 Oct 2016)

Puzzling things happen in human perception when ambiguous or incomplete information is presented to the eyes. For example, illusions, or multistable figures occur when a single image can be perceived in several ways. 

In the Oxford Mathematics Christmas Public Lecture Ian Stewart demonstrates how these phenomena provide clues about the workings of the visual system, with reference to recent research which has modelled simplified, systematic methods by which the brain can make decisions.

Mon, 22 May 2017

16:00 - 17:00
L4

Global symmetry-breaking bifurcation in a model for 2-phase lipid-bilayer vesicles - analysis and computation

Tim Healey
(Cornell University)
Abstract

We study a model for lipid-bilayer membrane vesicles exhibiting phase separation, incorporating a phase field together with membrane fluidity and bending elasticity. We prove the existence of a plethora of equilibria in the large, corresponding to symmetry-breaking solutions of the Euler-Lagrange equations. We also numerically compute a special class of such solutions, namely those possessing icosahedral symmetry. We overcome several difficulties along the way. Due to inherent surface fluidity combined with finite curvature elasticity, neither the Eulerian (spatial) nor the Lagrangian (material) description of the model lends itself well to analysis. This is resolved via a singularity-free radial-map description, which effectively eliminates the grossly under-determined mid-plane deformation. We then use well known group-theoretic selection techniques combined with global bifurcation methods to obtain our results.

Mon, 15 May 2017

16:00 - 17:00
L4

Weak-Strong Uniqueness in Fluid Dynamic

Emil Wiedemann
(Leibniz Universität Hannover)
Abstract

Various concepts of weak solution have been suggested for the fundamental equations of fluid dynamics over the last few decades. However, such weak solutions may be non-unique, or at least their uniqueness is unknown. Nevertheless, a conditional notion of uniqueness, the so-called weak-strong uniqueness, can be established in various situations. We present some recent results, both positive and negative, on weak-strong uniqueness in the realm of incompressible and compressible fluid dynamics. Applications to the convergence of numerical schemes will be indicated.

Mon, 01 May 2017

16:00 - 17:00
L4

Scalable bifurcation analysis of nonlinear partial differential equations and variational inequalities

Patrick Farrell
(Oxford)
Abstract

Computing the solutions $u$ of an equation $f(u, \lambda) = 0$ as the parameter $\lambda$ is varied is a central task in applied mathematics and engineering. In this talk I will present a new algorithm, deflated continuation, for this task.

Deflated continuation has three main advantages. First, it is capable of computing disconnected bifurcation diagrams; previous algorithms only aimed to compute that part of the bifurcation diagram continuously connected to the initial data. Second, its implementation is extremely simple: it only requires a minor modification to any existing Newton-based solver. Third, it can scale to very large discretisations if a good preconditioner is available.

Among other problems, we will apply this to a famous singularly perturbed ODE, Carrier's problem. The computations reveal a striking and beautiful bifurcation diagram, with an infinite sequence of alternating pitchfork and fold bifurcations as the singular perturbation parameter tends to zero. The analysis yields a novel and complete taxonomy of the solutions to the problem, and demonstrates that a claim of Bender & Orszag (1999) is incorrect. We will also use the algorithm to calculate distinct local minimisers of a topology optimisation problem via the combination of deflated continuation and a semismooth Newton method.

Subscribe to