Fooled by optimality
Abstract
An occupational hazard of mathematicians is the investigation of objects that are "optimal" in a mathematically precise sense, yet may be far from optimal in practice. This talk will discuss an extreme example of this effect: Gauss-Hermite quadrature on the real line. For large numbers of quadrature points, Gauss-Hermite quadrature is a very poor method of integration, much less efficient than simply truncating the interval and applying Gauss-Legendre quadrature or the periodic trapezoidal rule. We will present a theorem quantifying this difference and explain where the standard notion of optimality has failed.
Twenty examples of AAA approximation
Abstract
For the first time, a method has become available for fast computation of near-best rational approximations on arbitrary sets in the real line or complex plane: the AAA algorithm (Nakatsukasa-Sète-T. 2018). After a brief presentation of the algorithm this talk will focus on twenty demonstrations of the kinds of things we can do, all across applied mathematics, with a black-box rational approximation tool.
Unknot recognition in quasi-polynomial time
Abstract
I will outline a new algorithm for unknot recognition that runs in quasi-polynomial time. The input is a diagram of a knot with n crossings, and the running time is n^{O(log n)}. The algorithm uses hierarchies, normal surfaces and Heegaard splittings.
Quasi-isometric rigidity of generic cyclic HNN extensions of free groups
Abstract
Studying quasi-isometries between groups is a major theme in geometric group theory. Of particular interest are the situations where the existence of a quasi-isometry between two groups implies that the groups are equivalent in a stronger algebraic sense, such as being commensurable. I will survey some results of this type, and then talk about recent work with Daniel Woodhouse where we prove quasi-isometric rigidity for certain graphs of virtually free groups, which include "generic" cyclic HNN extensions of free groups.
Introduction to Hierarchically Hyperbolic Groups
Abstract
Hierarchically Hyperbolic Groups (HHGs) were introduced by Behrstock—Hagen—Sisto to provide a common framework to study several groups of interest in geometric group theory, and have been an object of great interest in the area ever since. The goal of the talk is to provide an introduction to the theory of HHGs and discuss the advantages of the unified approach that they provide. If time permits, we will conclude with applications to growth and asymptotic cones of groups.
The Friedl-Tillmann polytope
Abstract
I will introduce the Friedl-Tillmann polytope for one-relator groups, and then discuss how it can be generalised to the Friedl-Lück polytope, how it connects to the Thurston polytope, and how we can view it as a convenient source of intuition and ideas.
Ax-Schanuel and exceptional integrability
Abstract
In joint work with Jacob Tsimerman we study when the primitive
of a given algebraic function can be constructed using primitives
from some given finite set of algebraic functions, their inverses,
algebraic functions, and composition. When the given finite set is just {1/x}
this is the classical problem of "elementary integrability".
We establish some results, including a decision procedure for this problem.
Representations of Galois groups
Abstract
We can learn a lot about an integral domain by studying the Galois group of its fraction field. These groups are generally quite complicated and hard to understand, but their representations, so-called Galois representations, contain more easily accessible information. These also play the lead in many important theorems and conjectures of modern maths, such as the Modularity theorem and the Langlands programme. In this talk we give a quick introduction to Galois representations, motivated by lots of examples aimed at a general algebraist audience, and talk about some open problems.