Thu, 03 Sep 2020

16:00 - 17:00

Topological representation learning

Michael Moor
(ETH Zurich)
Abstract

Topological features as computed via persistent homology offer a non-parametric approach to robustly capture multi-scale connectivity information of complex datasets. This has started to gain attention in various machine learning applications. Conventionally, in topological data analysis, this method has been employed as an immutable feature descriptor in order to characterize topological properties of datasets. In this talk, however, I will explore how topological features can be directly integrated into deep learning architectures. This allows us to impose differentiable topological constraints for preserving the global structure of the data space when learning low-dimensional representations.

Fri, 21 Aug 2020

15:00 - 16:00
Virtual

Noisy neurons and rainbow worms: theoretical and statistical perspectives on trees and their barcodes

Adélie Garin
(École Polytechnique Fédérale de Lausanne (EPFL))
Abstract

The TMD algorithm (Kanari et al. 2018) computes the barcode of a neuron (tree) with respect to the radial or path distance from the soma (root). We are interested in the inverse problem: how to understand the space of trees that are represented by the same barcode. Our tool to study this spaces is the stochastic TNS algorithm (Kanari et al. 2020) which generates trees from a given barcode in a biologically meaningful way. 

I will present some theoretical results on the space of trees that have the same barcode, as well as the effect of adding noise to the barcode. In addition, I will provide a more combinatorial perspective on the space of barcodes, expressed in terms of the symmetric group. I will illustrate these results with experiments based on the TNS.

This is joint work with L. Kanari and K. Hess. 

Thu, 13 Aug 2020

16:45 - 17:30
Virtual

TBA

Amine Marrakchi
(ENS Lyon)
Further Information

Part of UK virtual operator algebras seminar

Thu, 13 Aug 2020

16:00 - 16:45
Virtual

An Introduction to Dixmier-Douady theory

Ulrich Pennig
(University of Cardiff)
Further Information

Part of UK virtual operator algebra seminar

Abstract

A bundle of C*-algebras is a collection of algebras continuously parametrised by a topological space. There are (at least) two different definitions in operator algebras that make this intuition precise: Continuous C(X)-algebras provide a flexible analytic point of view, while locally trivial C*-algebra bundles allow a classification via homotopy theory. The section algebra of a bundle in the topological sense is a C(X)-algebra, but the converse is not true. In this talk I will compare these two notions using the classical work of Dixmier and Douady on bundles with fibres isomorphic to the compacts  as a guideline. I will then explain joint work with Marius Dadarlat, in which we showed that the theorems of Dixmier and Douady can be generalized to bundles with fibers isomorphic to stabilized strongly self-absorbing C*-algebras. An important feature of the theory is the appearance of higher analogues of the Dixmier-Douady class.

Thu, 06 Aug 2020

16:00 - 17:00
Virtual

Path signatures in topology, dynamics and data analysis

Vidit Nanda
(University of Oxford)
Abstract

The signature of a path in Euclidean space resides in the tensor algebra of that space; it is obtained by systematic iterated integration of the components of the given path against one another. This straightforward definition conceals a host of deep theoretical properties and impressive practical consequences. In this talk I will describe the homotopical origins of path signatures, their subsequent application to stochastic analysis, and how they facilitate efficient machine learning in topological data analysis. This last bit is joint work with Ilya Chevyrev and Harald Oberhauser.

Thu, 30 Jul 2020

16:00 - 16:45
Virtual

Quantum Limits

Veronique Fischer
(University of Bath)
Further Information

Part of UK virtual operatpr algebras seminar.

Abstract

Quantum limits are objects describing the limit of quadratic quantities (Af_n,f_n) where (f_n) is a sequence of unit vectors in a Hilbert space and A ranges over an algebra of bounded operators. We will discuss the motivation underlying this notion with some important examples from quantum mechanics and from analysis.

Thu, 23 Jul 2020

16:00 - 17:00
Virtual

Artificial Neural Networks and Kernel Methods

Franck Gabriel
(Ecole Polytechnique Federale de Lausanne)
Abstract

The random initialisation of Artificial Neural Networks (ANN) allows one to describe, in the functional space, the limit of the evolution of ANN when their width tends towards infinity. Within this limit, an ANN is initially a Gaussian process and follows, during learning, a gradient descent convoluted by a kernel called the Neural Tangent Kernel.

Connecting neural networks to the well-established theory of kernel methods allows us to understand the dynamics of neural networks, their generalization capability. In practice, it helps to select appropriate architectural features of the network to be trained. In addition, it provides new tools to address the finite size setting.

Tue, 21 Jul 2020
12:00

Conformal Geometry of Null Infinity, including gravitational waves

Yannick Herfray
(ULB Brussells)
Abstract

Since the seminal work of Penrose, it has been understood that conformal compactifications (or "asymptotic simplicity") is the geometrical framework underlying Bondi-Sachs' description of asymptotically flat space-times as an asymptotic expansion. From this point of view the asymptotic boundary, a.k.a "null-infinity", naturally is a conformal null (i.e degenerate) manifold. In particular, "Weyl rescaling" of null-infinity should be understood as gauge transformations. As far as gravitational waves are concerned, it has been well advertised by Ashtekar that if one works with a fixed representative for the conformal metric, gravitational radiations can be neatly parametrized as a choice of "equivalence class of metric-compatible connections". This nice intrinsic description however amounts to working in a fixed gauge and, what is more, the presence of equivalence class tend to make this point of view tedious to work with.

I will review these well-known facts and show how modern methods in conformal geometry (namely tractor calculus) can be adapted to the degenerate conformal geometry of null-infinity to encode the presence of gravitational waves in a completely geometrical (gauge invariant) way: Ashtekar's (equivalence class of) connections are proved to be in 1-1 correspondence with choices of (genuine) tractor connection, gravitational radiation is invariantly described by the tractor curvature and the degeneracy of gravity vacua correspond to the degeneracy of flat tractor connections. The whole construction is fully geometrical and manifestly conformally invariant.

Tue, 14 Jul 2020

15:30 - 16:30

Adiabatic invariants for the FPUT and Toda chains in the thermodynamic limit

Tamara Grava
(University of Bristol)
Abstract
We consider the Fermi-Pasta-Ulam-Tsingou (FPUT) chain composed by N particles  on the line  and endowed the phase space with the Gibbs measure at temperature 1/beta. We prove that the   integrals of motion of the Toda chain  are adiabatic invariants for the FPTU chain for times of order beta. Further we prove that certain combination of the harmonic energies are adiabatic invariants  of the FPUT chain  on the same time scale, while they are adiabatic invariants for Toda chain for all times. Joint work with A. Maspero, G. Mazzuca and A. Ponno.
Thu, 09 Jul 2020

16:00 - 17:00
Virtual

Characterising the set of (untruncated) signatures

Horatio Boedihardjo
(University of Reading)
Abstract

The concept of path signatures has been widely used in several areas of pure mathematics including in applications to data science. However, we remain unable to answer even the most basic questions about it. For instance, how to fully characterise the set of (untruncated) signatures of bounded variation paths? Can certain norms on signatures be related to the length of a path, like in Fourier isometry? In this talk, we will review some known results, explain the open problems and discuss their difficulties.

Thu, 02 Jul 2020

16:00 - 17:30
Virtual

John Roe and Course Geometry

Nigel Higson
(Penn State University)
Further Information

Part of UK virtual operator algebra seminar: https://sites.google.com/view/uk-operator-algebras-seminar/home

Abstract

Abstract: John Roe was a much admired figure in topology and noncommutative geometry, and the creator of the C*-algebraic approach to coarse geometry. John died in 2018 at the age of 58. My aim in the first part of the lecture will be to explain in very general terms the major themes in John’s work, and illustrate them by presenting one of his best-known results, the partitioned manifold index theorem. After the break I shall describe a later result, about relative eta invariants, that has inspired an area of research that is still very active.


Assumed Knowledge: First part: basic familiarity with C*-algebras, plus a little topology. Second part: basic familiarity with K-theory for C*-algebras.

Tue, 30 Jun 2020

15:30 - 16:30

Application of Stein's method to linear statistics of beta-ensembles

Gaultier Lambert
(University of Zurich)
Abstract

In the first part of the talk, I will review the basic ideas behind Stein’s method for normal approximation and present a general result which we obtained in arXiv:1706.10251 (joint work with Michel Ledoux and Christian Webb). This result states that for a Gibbs measure, an eigenfunction of the corresponding infinitesimal generator is approximately Gaussian in a sense which will be made precise. In the second part, I will report on several applications in random matrix theory. This includes a proof of Johansson’s central limit theorem for linear statistics of beta-ensembles on \R, as well as an application to circular beta-ensembles in the high temperature regime (based on arXiv:1909.01142, joint work with Adrien Hardy).

Thu, 25 Jun 2020

17:00 - 18:00

A Penrose integral formula for hyperkahler metrics.

Atul Sharma
Abstract

It is a well-known fact that conformal structures on Riemann surfaces are in 1:1 correspondence with complex structures, but have you ever wondered whether this is just a fluke in 2 dimensions? In this talk, I will explain the concept of Penrose's "non-linear graviton", a fancy name for the twistor space of a hyperkahler manifold and one of the major historical achievements of Oxford maths. The twistor correspondence associates points of the hyperkahler manifold with certain holomorphic rational curves embedded in twistor space. We will see how information of the hyperkahler metric can be encoded purely in the complex structure on twistor space, giving a partial but welcome generalization of the 2-dimensional "fluke". Then I will outline a recently found Dolbeault-framework for the metric's reconstruction from local representatives of this complex structure. This provides an explicit integral formula for Kahler forms and consequently for the hyperkahler metric in terms of holomorphic data on twistor space. Finally, time permitting, I will discuss some interesting applications to (some or all of) PDEs, hyperkahler quotients, and the physics of "quantum gravity".
 

Thu, 25 Jun 2020

16:00 - 18:00
Virtual

Optimal execution with rough path signatures

Imanol Pérez Arribas
(Mathematical Institute University of Oxford)
Abstract

We present a method for obtaining approximate solutions to the problem of optimal execution, based on a signature method. The framework is general, only requiring that the price process is a geometric rough path and the price impact function is a continuous function of the trading speed. Following an approximation of the optimisation problem, we are able to calculate an optimal solution for the trading speed in the space of linear functions on a truncation of the signature of the price process. We provide strong numerical evidence illustrating the accuracy and flexibility of the approach. Our numerical investigation both examines cases where exact solutions are known, demonstrating that the method accurately approximates these solutions, and models where exact solutions are not known. In the latter case, we obtain favourable comparisons with standard execution strategies.

Tue, 23 Jun 2020
12:00

Cluster patterns in Landau and Leading Singularities via the Amplituhedron

Matteo Parisi
(Oxford)
Abstract

In this talk I will present some recent explorations of cluster-algebraic patterns in the building blocks of scattering amplitudes in N = 4 super Yang-Mills theory. In particular, I will first briefly introduce the main characters on stage, i.e. Leading Singularities, Landau singularities, the amplituhedron and cluster algebras. I will then present my main conjecture, "LL-adjacency", which makes all the above characters play together: given a maximal cut of a loop amplitude, Landau singularities and poles of each Yangian invariant appearing in any representation of the corresponding Leading Singularities can be found together in a cluster.  I will explain how the conjecture has been tested for all one-loop amplitudes up to 9 points using cluster algebraic and amplituhedron-based methods.  Finally, I will discuss implications for computing loop amplitudes and their singularity structure, and open research directions.

This is based on the joint work with Ömer Gürdoğan (arXiv: 2005.07154).

Mon, 22 Jun 2020

16:00 - 17:00

Controlled and constrained martingale problems

Thomas Kurtz
(University of Wisconsin)
Abstract

Most of the basic results on martingale problems extend to the setting in which the generator depends on a control.  The “control” could represent a random environment, or the generator could specify a classical stochastic control problem.  The equivalence between the martingale problem and forward equation (obtained by taking expectations of the martingales) provides the tools for extending linear programming methods introduced by Manne in the context of controlled finite Markov chains to general Markov stochastic control problems.  The controlled martingale problem can also be applied to the study of constrained Markov processes (e.g., reflecting diffusions), the boundary process being treated as a control.  The talk includes joint work with Richard Stockbridge and with Cristina Costantini. 

Mon, 22 Jun 2020
15:45
Virtual

Weil-Petersson geodesics and geometry of 3-manifolds

Yair Minsky
(Yale University)
Abstract

There is a well-known correspondence between Weil-Petersson geodesic loops in the moduli space of a surface S and hyperbolic 3-manifolds fibering over the circle with fibre S. Much is unknown, however, about the detailed relationship between geometric features of the loops and those of the 3-manifolds.

In work with Leininger-Souto-Taylor we study the relation between WP length and 3-manifold volume, when the length (suitably normalized) is bounded and the fiber topology is unbounded. We obtain a WP analogue of a theorem proved by Farb-Leininger-Margalit for the Teichmuller metric. In work with Modami, we fix the fiber topology and study connections between the thick-thin decomposition of a geodesic loop and that of the corresponding 3-manifold. While these decompositions are often in direct correspondence, we exhibit examples where the correspondence breaks down. This leaves the full conjectural picture somewhat mysterious, and raises many questions. 

Mon, 22 Jun 2020
14:15
Virtual

Geometry of genus 4 curves in P^3 and wall-crossing

Fatemeh Rezaee
(Edinburgh)
Abstract

In this talk, I will explain a new wall-crossing phenomenon on P^3 that induces non-Q-factorial singularities and thus cannot be understood as an operation in the MMP of the moduli space, unlike the case for many surfaces.  If time permits, I will explain how the wall-crossing could help to understand the geometry of the associated Hilbert scheme and PT moduli space.

Fri, 19 Jun 2020

15:00 - 16:00
Virtual

Of monks, lawyers and airports: a unified framework for equivalences in social networks

Nina Otter
(UCLA)
Abstract

One of the main concerns in social network science is the study of positions and roles. By "position" social scientists usually mean a collection of actors who have similar ties to other actors, while a "role" is a specific pattern of ties among actors or positions. Since the 1970s a lot of research has been done to develop these concepts in a rigorous way. An open question in the field is whether it is possible to perform role and positional analysis simultaneously. In joint work in progress with Mason Porter we explore this question by proposing a framework that relies on the principle of functoriality in category theory. In this talk I will introduce role and positional analysis, present some well-studied examples from social network science, and what new insights this framework might give us.

Fri, 19 Jun 2020

14:00 - 15:00
Virtual

Multi-scale modelling to predict strain in the femoral neck during level walking

Dr Xinshan (Shannon) Li
(Department of Mechanical Engineering University of Sheffield)
Abstract

Femoral neck response to physiological loading during level walking can be better understood, if personalized muscle and bone anatomy is considered. Finite element (FE) models of in vivo cadaveric bones combined with gait data from body-matched volunteers were used in the earlier studies, which could introduce errors in the results. The aim of the current study is to report the first fully personalized multiscale model to investigate the strains predicted at the femoral neck during a full gait cycle. CT-based Finite element models (CT/FE) of the right femur were developed following a validated framework. Muscle forces estimated by the musculoskeletal model were applied to the CT/FE model. For most of the cases, two overall peaks were predicted around 15% and 50% of the gait. Maximum strains were predicted at the superior neck region in the model. Anatomical muscle variations seem to affect femur response leading to considerable variations among individuals, both in term of the strains level and the trend at the femoral neck.
 

Fri, 19 Jun 2020

11:45 - 13:15
Virtual

InFoMM CDT Group Meeting

Rahil Sachak-Patwa, Thomas Babb, Huining Yang, Joel Dyer
(Mathematical Institute)
Further Information

The Group Meeting will be held virtually unless the Covid 19 lockdown is over in which case the location will be L2.

Thu, 18 Jun 2020

16:45 - 17:30
Virtual

The algebraic structure of C*-algebras associated to groups

Matthew Kennedy
(University of Waterloo)
Further Information

Part of UK virtual operator algebra seminar: https://sites.google.com/view/uk-operator-algebras-seminar/home

Abstract

Since the work of von Neumann, the theory of operator algebras has been closely linked to the theory of groups. On the one hand, operator algebras constructed from groups provide an important source of examples and insight. On the other hand, many problems about groups are most naturally studied within an operator-algebraic framework. In this talk I will give an overview of some problems relating the structure of a group to the structure of a corresponding C*-algebra. I will discuss recent results and some possible future directions.

Thu, 18 Jun 2020

16:00 - 16:45
Virtual

OCIAM learns ... about wrinkling.

Professor Dominic Vella
(Mathematical Institute)
Further Information

This term's IAM seminar, a bi-weekly series entitled, 'OCIAM learns about ...' will involve internal speakers giving a general introduction to a topic on which they are experts.

Join the seminar in Zoom

https://zoom.us/j/91733296449?pwd=c29vMDluR0RCRHJia2JEcW1LUVZjUT09 
 Meeting ID: 917 3329 6449Password: 329856One 

Abstract


This week Professor Dominic Vella will talk about wrinkling  

In this talk I will provide an overview of recent work on the wrinkling of thin elastic objects. In particular, the focus of the talk will be on answering questions that arise in recent applications that seek not to avoid, but rather, exploit wrinkling. Such applications usually take place far beyond the threshold of instability and so key themes will be the limitations of “standard” instability analysis, as well as what analysis should be performed instead. I will discuss the essential ingredients of this ‘Far-from-Threshold’ analysis, as well as outlining some open questions.