Thu, 07 May 2026

12:00 - 12:30
Lecture Room 4, Mathematical Institute

Adaptive preconditioning for linear least-squares problems via iterative CUR

Jung Eun Huh
((Mathematical Institute University of Oxford))
Abstract

Large-scale linear least-squares problems arise in many areas of computational science and data analysis, where efficiency and scalability are crucial. In this talk, we introduce a randomized preconditioning framework for iterative solvers based on low-rank approximations of small sketches of the original problem. The key idea is to iteratively construct low-rank preconditioners that reshape the singular value distribution in a favorable way. By tightly coupling the preconditioning and Krylov solving phases within an iterative CUR decomposition -- a low-rank approximation built from selected of columns and rows of the original matrix -- the proposed algorithm achieves faster and earlier convergence than existing methods. The algorithm performs particularly well on problems that are large in both dimensions, as well as on sparse and ill-conditioned systems. This is a joint work with Coralia Cartis and Yuji Nakatsukasa.

Thu, 30 Apr 2026

12:00 - 12:30
Lecture Room 4, Mathematical Institute

Structure-preserving finite elements and the convergence of augmented Lagrangian methods

Charles Parker II
(U.S Naval Research Lab)
Abstract

Charles Parker II will be talking about: 'Structure-preserving finite elements and the convergence of augmented Lagrangian methods'

Problems with physical constraints, such as the incompressibility constraint for mass conservation in fluids or Gauss's laws for electric and magnetic fields, result in generalized saddle point systems. So-called structure-preserving finite elements respect the constraints pointwise, resulting in more physically accurate solutions that are typically robust with respect to some problem parameters. However, constructing these finite elements may involve complicated spaces for the Lagrange multiplier variables. Augmented Lagrangian methods (ALMs) provide one process to compute the solution without the need for an explicit basis for the Lagrange multiplier space. In this talk, we present new convergence estimates for a standard ALM method, sometimes called the iterated penalty method, applied to structure-preserving discretizations of linear saddle point systems.

We are making a series of films about maths in different langugaes and need an Arabic speaker. All it requires is translating a few mathematical terms and saying a few things about learning maths in a language other than English.

However, whatever your first language (ex English) we'd like to hear from you. If you want to take part, please email @email

Space, time and Shakespeare - Paul Glendinning

Wednesday 06 May 2026, 5.00-6.00 pm, L1

Shakespeare’s work provides a snapshot of how people made sense of the world around them: how they solved problems (how large is an opposing army?) and how they navigated a complex environment (does the sun rise in the east?).

You may have noticed we are running a series of short films on the maths behind popular games (card, board, digital, nothing is off limits). So we want contributors for the following games plus any ideas you have of your own.

Poker, Blackjack, Roulette, Chess, Go, Bridge, Monopoly, Tsuro, Carcasonne, Cathedral, Minecraft, Catan, Ticket to Ride, Saboteur, Projective Noughts and Crosses, Projective Set, Splendour, Minesweeper, Backgammon, etc.

Mon, 18 May 2026
15:30
L5

TBA

Marc Lackenby
((Mathematical Institute University of Oxford))
Mon, 04 May 2026
15:30
L5

The prime decomposition fibre sequence for moduli spaces of 3-manifolds

Jan Steinebrunner
(Cambridge)
Abstract
Milnor's prime decomposition theorem states that every oriented 3-manifold M is diffeomorphic can be written as a connected sum of "prime" manifolds in an essentially unique way: M == P_1 # ... # P_n # (S^1 x S^2)^{#g}. This reduces many questions about 3-manifolds to the prime case, but when studying 3-manifolds in families this reduction is not so straightforward. For example, a diffeomorphism of M need not respect the decomposition into prime factors.
I will explain recent joint work with Boyd and Bregman, in which we use a homotopical version of the prime decomposition theorem to describe the classifying space BDiff(M) (the "moduli space" of M) in terms of moduli spaces of the P_i. More precisely, we establish a "prime decomposition fibre sequence" that describes the moduli space in terms of BDiff(P_1 u ... u P_n) and a space of handle-attachments that is amenable to computations. To illustrate this, I will discuss our calculation of the rational cohomology ring of BDiff((S^1 x S^2)#(S^1 x S^2)).
Thu, 23 Apr 2026
10:00
L5

TBA

Jan Steinebrunner
(Cambridge )
Subscribe to