Tue, 06 Jun 2017
14:00
L2

Analysis of Magnus expansion methods in the semiclassical regime

Pranav Singh
(Mathematical Institute)
Abstract


Magnus expansion based methods are an efficient class of integrators for solving Schrödinger equations that feature time dependent potentials such as lasers. These methods have been found to be highly effective in computational quantum chemistry since the pioneering work of Tal Ezer and Kosloff in the early 90s. The convergence of the Magnus expansion, however, is usually understood only for ODEs and traditional analysis suggests a much poorer performance of these methods than observed experimentally. It was not till the work of Hochbruck and Lubich in 2003 that a rigorous analysis justifying the application to PDEs with unbounded operators, such as the Schrödinger equation, was presented. In this talk we will extend this analysis to the semiclassical regime, where the highly oscillatory solution conventionally suggests large errors and a requirement for very small time steps.
 

Tue, 23 May 2017
14:00
L5

Sparse Kerdock matrices for compressive sensing

Andrew Thompson
(Mathematical Institute)
Abstract

Delsarte-Goethals frames are a popular choice for deterministic measurement matrices in compressive sensing. I will show that it is possible to construct extremely sparse matrices which share precisely the same row space as Delsarte-Goethals frames. I will also describe the combinatorial block design underlying the construction and make a connection to Steiner equiangular tight frames.
 

Thu, 11 May 2017
16:00
L6

Lifting theorems in Galois cohomology

Mathieu Florence
(Université Paris 6)
Abstract

The aim of this talk is to explain how to axiomatize Hilbert's Theorem 90, in the setting of (the cohomology with finite coefficients of) profinite groups. I shall first explain the general framework.  It includes, in particular, the use of divided power modules over Witt vectors; a process which appears to be of independent interest in the theory of modular representations. I shall then give several applications to Galois cohomology, notably to the problem of lifting mod p Galois representations (or more accurately: torsors under these) modulo higher powers of p. I'll also explain the connection with the Bloch-Kato conjecture in Galois cohomology, proved by Rost, Suslin and Voevodsky. This is joint work in progress with Charles De Clercq.

Fri, 02 Jun 2017

16:00 - 17:00
L1

How to shine in an interview

Rachel Bray
(Careers Service University of Oxford)
Abstract

In this session we will refresh our understanding of the purpose of an interview, review some top tips, and practise answering some typical interview questions. Rachel will also signpost further resources on interview preparation available at the Careers Service.

Mon, 12 Jun 2017

15:45 - 16:45
L6

Are CAT(0) spaces determined by their boundaries?

Ruth Charney
(Brandeis University)
Abstract

Boundaries of hyperbolic spaces have played a key role in low dimensional topology and geometric group theory.  In 1993, Paulin showed that the topology of the boundary of a (Gromov) hyperbolic space, together with its quasi-mobius structure, determines the space up to quasi-isometry.  One can define an analogous boundary, called the Morse boundary, for any proper geodesic metric space.  I will discuss an analogue of Paulin’s theorem for Morse boundaries of CAT(0) spaces. (Joint work with Devin Murray.)

Mon, 05 Jun 2017

15:45 - 16:45
L6

tba

Cameron Gordon
Mon, 22 May 2017

15:45 - 16:45
L6

Link cobordisms and TQFTs in Heegaard Floer homology

Ian Zemke
Abstract

We will discuss a construction of cobordism maps on the full link complex for decorated link cobordisms. We will focus on some formal properties, such as grading change formulas and local relations. We will see how several expressions for mapping class group actions can be interpreted in terms of pictorial relations on decorated surfaces. Similarly, we will see how these pictorial relations give a "connected sum formula" for the involutive concordance invariants of Hendricks and Manolescu.

Mon, 15 May 2017

15:45 - 16:45
L6

Fully extended twisted field theories

Claudia Scheimbauer
Abstract


After giving an introduction to functorial field theories I will explain a natural generalization thereof, called "twisted" field theories by Stolz-Teichner. The definition uses the notion of lax or oplax natural transformations of strong functors of higher categories for which I will sketch a framework. I will discuss the fully extended case, which gives a comparison to Freed-Teleman's "relative" boundary field theories. Finally, I will explain some examples, one of which explicitly arises from factorization homology and whose target is the higher Morita category of E_n-algebras, bimodules, bimodules of bimodules etc.

Mon, 08 May 2017

15:45 - 16:45
L6

2-Segal spaces and higher categorical bialgebras

Mark Penney
(Oxford)
Abstract


An efficient way to descibe binary operations which are associative only up to coherent homotopy is via simplicial spaces. 2-Segal spaces were introduced independently by Dyckerhoff--Kapranov and G\'alvez-Carrillo--Kock--Tonks to encode spaces carrying multivalued, coherently associative products. For example, the Waldhausen S-construction of an abelian category is a 2-Segal space. It describes a multivalued product on the space of objects given in terms of short exact sequences. 
The main motivation to study spaces carrying multivalued products is that they can be linearised, producing algebras in the usual sense of the word. For the preceding example, the linearisation yields the Hall algebra of the abelian category. One can also extract tensor categories using a categorical linearisation procedure.
In this talk I will discuss double 2-Segal spaces, that is, bisimplicial spaces which satisfy the 2-Segal condition in each variable. Such bisimplicial spaces give rise to multivalued bialgebras. The second iteration of the Waldhausen S-construction is a double 2-Segal space whose linearisation is the bialgebra structure given by Green's Theorem. The categorial linearisation produces categorifications of Zelevinsky's positive, self-adjoint Hopf algebras.
 

Subscribe to