Past

The notion of colour Lie algebra, introduced by Ree (1960), generalises notions of Lie algebra and Lie superalgebra. From an orthogonal representation V of a quadratic colour Lie algebra g, we give various ways of constructing a colour Lie algebra g’ whose bracket extends the bracket of g and the action of g on V. A first possibility is to consider g’=g⊕V and requires the cancellation of an invariant studied by Kostant (1999). Another construction is possible when the representation is ``special’’ and in this case the extension is of the form g’=g⊕sl(2,k)⊕V⊗k^2. Covariants are associated to special representations and satisfy to particular identities generalising properties studied by Mathews (1911) on binary cubics. The 7-dimensional fundamental representation of a Lie algebra of type G_2 and the 8-dimensional spinor representation of a Lie algebra of type so(7) are examples of special representations.

In this work, we propose a class of numerical schemes for solving semilinear Hamilton-Jacobi-Bellman-Isaacs (HJBI) boundary value problems which arise naturally from exit time problems of diffusion processes with controlled drift. We exploit policy iteration to reduce the semilinear problem into a sequence of linear Dirichlet problems, which are subsequently approximated by a multilayer feedforward neural network ansatz. We establish that the numerical solutions converge globally in the H^2 -norm, and further demonstrate that this convergence is superlinear, by interpreting the algorithm as an inexact Newton iteration for the HJBI equation. Moreover, we construct the optimal feedback controls from the numerical value functions and deduce convergence. The numerical schemes and convergence results are then extended to oblique derivative boundary conditions. Numerical experiments on the stochastic Zermelo navigation problem and the perpetual American option pricing problems are presented to illustrate the theoretical results and to demonstrate the effectiveness of the method.
 

Introducing cheap function proxies for quickly producing approximate random numbers, we show convergence of modified numerical schemes, and coupling between approximation and discretisation errors. We bound the cumulative roundoff error introduced by floating-point calculations, valid for 16-bit half-precision (FP16). We combine approximate distributions and reduced-precisions into a nested simulation framework (via multilevel Monte Carlo), demonstrating performance improvements achieved without losing accuracy. These simulations predominantly perform most of their calculations in very low precisions. We will highlight the motivations and design choices appropriate for SVE and FP16 capable hardware, and present numerical results on Arm, Intel, and NVIDIA based hardware.

In this talk, I will describe new mathematical structures in the low-energy  expansion of one-loop string amplitudes. The insertion of external states on the open- and closed-string worldsheets requires integration over punctures on a cylinder boundary and a torus, respectively. Suitable bases of such integrals will be shown to obey simple first-order differential equations in the modular parameter of the surface. These differential equations will be exploited  to perform the integrals order by order in the inverse string tension, similar to modern strategies for dimensionally regulated Feynman integrals. Our method manifests the appearance of iterated integrals over holomorphic  Eisenstein series in the low-energy expansion. Moreover, infinite families of Laplace equations can be generated for the modular forms in closed-string  low-energy expansions.
 

In many applications we are confronted with the following scenario: we observe snapshots of data describing the state of a system at particular times, and based on these observations we want to infer the (dynamical) interactions between the entities we observe. However, often the number of samples we can obtain from such a process are far too few to identify the network exactly. Can we still reliable infer some aspects of the underlying system?
Motivated by this question we consider the following alternative system identification problem: instead of trying to infer the exact network, we aim to recover a (low-dimensional) statistical model of the network based on the observed signals on the nodes.  More concretely, here we focus on observations that consist of snapshots of a diffusive process that evolves over the unknown network. We model the (unobserved) network as generated from an independent draw from a latent stochastic block model (SBM), and our goal is to infer both the partition of the nodes into blocks, as well as the parameters of this SBM. We present simple spectral algorithms that provably solve the partition and parameter inference problems with high-accuracy.

The goal of the talk is to present a proof of the following statement:
Let (K,v) be an algebraic extension of (Q_p,v_p) whose completion is perfectoid. We show that K is relatively decidable to its tilt K^♭, i.e. if K^♭ is decidable in the language of valued fields, then so is K. 
In the first part [of the talk], I will try to cover the necessary background needed from model theory and the theory of perfectoid fields.

Localization technique permits to reduce full dimensional problems to possibly easier lower dimensional ones. During the last years a new approach to localization has been obtained using the powerful tools of optimal transport. Following this approach, we obtain quantitative versions of two relevant geometric inequalities  in comparison geometry as Levy-Gromov isoperimetric inequality (joint with F. Maggi and A. Mondino) and the spectral gap inequality (joint with A. Mondino and D. Semola). Both results are also valid in the more general setting of metric measure spaces verifying the so-called curvature dimension condition.

The tunnel number of a graph embedded in a 3-dimensional manifold is the fewest number of arcs needed so that the union of the graph with the arcs has handlebody exterior. The behavior of tunnel number with respect to connected sum of knots can vary dramatically, depending on the knots involved. However, a classical theorem of Scharlemann and Schultens says that the tunnel number of a composite knot is at least the number of factors. For theta graphs, trivalent vertex sum is the operation which most closely resembles the connected sum of knots. The analogous theorem of Scharlemann and Schultens no longer holds, however. I will provide a sharp lower bound for the tunnel number of composite theta graphs, using recent work on a new knot invariant which is additive under connected sum and trivalent vertex sum. This is joint work with Maggy Tomova.

The classic Fatou lemma states that the lower limit of expectations is greater or equal than the expectation of the lower limit for a sequence of nonnegative random variables. This talk describes several generalizations of this fact including generalizations to converging sequences of probability measures. The three types of convergence of probability measures are considered in this talk: weak convergence, setwise convergence, and convergence in total variation. The talk also describes the Uniform Fatou Lemma (UFL) for sequences of probabilities converging in total variation. The UFL states the necessary and sufficient conditions for the validity of the stronger inequality than the inequality in Fatou's lemma. We shall also discuss applications of these results to sequential optimization problems with completely and partially observable state spaces. In particular, the UFL is useful for proving weak continuity of transition probabilities for posterior state distributions of stochastic sequences with incomplete state observations known under the name of Partially Observable Markov Decision Processes. These transition probabilities are implicitly defined by Bayes' formula, and general method for proving their continuity properties have not been available for long time. This talk is based on joint papers with Pavlo Kasyanov, Yan Liang, Michael Zgurovsky, and Nina Zadoianchuk.

 Gaussian processes are well studied object in statistics and mathematics. In Machine Learning, we think of Gaussian processes as prior distributions over functions, which map from the index set to the realised path. To make Gaussian processes a practical tool for machine learning, we have developed tools around variational inference that allow for approximate computation in GPs leveraging the same hardware and software stacks that support deep learning. In this talk I'll give an overview of variational inference in GPs, show some successes of the method, and outline some exciting direction of potential future work.

I will explore the geometrical structure of Higgs branches of quantum field theories with 8 supercharges in 3, 4, 5 and 6 dimensions. They are hyperkahler singularities, and as such they can be described by a Hasse diagram built from a family of elementary transitions. This corresponds physically to the partial Higgs mechanism. Using brane systems and recently introduced notions of magnetic quivers and quiver subtraction, we formalise the rules to obtain the Hasse diagrams.

Viruses encapsulate their genetic material into protein containers that act akin to molecular Trojan horses, protecting viral genomes between rounds of infection and facilitating their release into the host cell environment. In the majority of viruses, including major human pathogens, these containers have icosahedral symmetry. Mathematical techniques from group, graph and tiling theory can therefore be used to better understand how viruses form, evolve and infect their hosts, and point the way to novel antiviral solutions.

In this talk, I will present an overarching theory of virus architecture, that contains the seminal Caspar Klug theory as a special case and solves long-standing open problems in structural virology. Combining insights into virus structure with a range of different mathematical modelling techniques, such as Gillespie algorithms, I will show how viral life cycles can be better understood through the lens of viral geometry. In particular, I will discuss a recent model for genome release from the viral capsid. I will also demonstrate the instrumental role of the Hamiltonian path concept in the discovery of a virus assembly mechanism that occurs in many human pathogens, such as Picornaviruses – a family that includes the common cold virus– and Hepatitis B and C virus. I will use multi-scale models of a viral infection and implicit fitness landscapes in order to demonstrate that therapeutic interventions directed against this mechanism have advantages over conventional forms of anti-viral therapy. The talk will finish with a discussion of how the new mathematical and mechanistic insights can be exploited in bio-nanotechnology for applications in vaccination and gene therapy.

What should you expect in intercollegiate classes?  What can you do to get the most out of them?  In this session, experienced class tutors will share their thoughts, and a current student will offer tips and advice based on their experience.  

All undergraduate and masters students welcome, especially Part B and MSc students attending intercollegiate classes. (Students who attended the Part C/OMMS induction event will find significant overlap between the advice offered there and this session!)

In this talk I shall describe recent work inspired by problems in cell biology, namely how the dynamics of small G-proteins underlies polarity formation. Their dynamics is such that their active membrane bound form diffuses more slowly. Hence you might expect Turing patterns. Yet how do cells form backs and fronts or single isolated patches. In understanding these questions we shall show that the key is to identify the parameter region where Turing bifurcations are sub-critical. What emerges is a unified 2-parameter bifurcation diagram containing pinned fronts, localised spots, localised patterns. This diagram appears in many canonical models such as Schnakenberg and Brusselator, as well as biologically more realistic systems. A link is also found between theories of semi-string interaction asymptotics and so-called homoclinic snaking. I will close with some remarks about relevance to root hair formation and to the importance of subcriticality in biology. 

Machine learning for scientific applications faces the challenge of limited data. To reduce overfitting, we propose a framework to leverage as much as possible a priori-known physics for a problem. Our approach embeds a deep neural network in a partial differential equation (PDE) system, where the pre-specified terms in the PDE capture the known physics and the neural network will learn to describe the unknown physics. The neural network is estimated from experimental and/or high-fidelity numerical datasets. We call this approach a “deep learning PDE model” (DPM). Once trained, the DPM can be used to make out-of-sample predictions for new physical coefficients, geometries, and boundary conditions. We implement our approach on a classic problem of the Navier-Stokes equation for turbulent flows. The numerical solution of the Navier-Stokes equation (with turbulence) is computationally expensive and requires a supercomputer. We show that our approach can estimate a (computationally fast) DPM for the filtered velocity of the Navier-Stokes equations. 

I will discuss work in progress with Sary Drappeau and Maksym Radziwill on low-lying zeros of Dirichlet L-functions. By way of motivation I will discuss some results on the spacings of zeros of the Riemann zeta function, and the conjectures of Katz and Sarnak relating the distribution of low-lying zeros of L-functions to eigenvalues of random matrices. I will then describe some ideas behind the proof of our theorem.
 

Springer theory is an important branch of geometric representation theory. It is a beautiful interplay between combinatorics, geometry and representation theory.
It started with Springer correspondence, which yields geometric construction of irreducible representations of symmetric groups, and Ginzburg's construction of universal enveloping algebra U(sl_n).

Here I will present a view of two-row Springer theory of type A (thus looking at nilpotent elements with two Jordan blocks) from a scope of a symplectic topologist (hence the title), that yields connections between symplectic-topological invariants and link invariants (Floer homology and Khovanov homology) and connections to representation theory (Fukaya category and parabolic category O), thus summarising results by Abouzaid,
Seidel, Smith and Mak on the subject.

There is a very simple algorithm for the inference of posteriors for probability models on trees. This algorithm, known as "Belief Propagation" is widely used in coding theory, in machine learning, in evolutionary inference, among many other areas. The talk will be devoted to the analysis of Belief Propagation in some of the simplest probability models. We will highlight the interplay between Belief Propagation, linear estimators (statistics), the Kesten-Stigum bound (probability) and Replica Symmetry Breaking (statistical physics). We will show how the analysis of Belief Propagation allowed proof phase transitions for phylogenetic reconstruction in evolutionary biology and developed optimal algorithms for inference of block models. Finally, we will discuss the computational complexity of this 'simple' algorithm.

During this seminar, we will present a new mathematical model describing the transport of nitric oxide (NO) in a realistic geometrical representation of the lungs. Nitric oxide (NO) is naturally produced in the bronchial region of the lungs. It is a physiological molecule that has antimicrobial properties and allows the relaxation of muscles. It is well known that the measurement of the molar fraction of NO in the exhaled air, the so-called FeNO, allows a monitoring of asthmatic patients, since the production of this molecule in the lungs is increased in case of inflammation. However, recent clinical studies have shown that the amount of NO in the exhaled air can also be affected by « non-inflammatory » processes, such as the action of a bronchodilator or a respiratory physiotherapy session for a patient with cystic fibrosis. Using our new model, we will highlight the complex interplay between different transport phenomena in the lungs. More specifically, we will show why changes taking place in the deepest part of the lungs are expected to impact the FeNO. This gives a new light on the clinical studies mentioned below, allowing to confer a new role to the NO for the management of various pulmonary pathologies.

Deep learning has revolutionized image, text, and speech recognition. Motivated by this success, there is growing interest in developing deep learning methods for financial applications. We will present some of our recent results in this area, including deep learning models of high-frequency data. In the second part of the talk, we prove a law of large numbers for single-layer neural networks trained with stochastic gradient descent. We show that, depending upon the normalization of the parameters, the law of large numbers either satisfies a deterministic partial differential equation or a random ordinary differential equation. Using similar analysis, a law of large numbers can also be established for reinforcement learning (e.g., Q-learning) with neural networks. The limit equations in each of these cases are discussed (e.g., whether a unique stationary point and global convergence can be proven).  

A fundamental problem in the context of Einstein's equations of general relativity is to understand precisely the dynamical evolution of small perturbations of stationary black hole solutions. It is expected that there is a discrete set of characteristic frequencies that play a dominant role at late time intervals and carry information about the nature of the black hole, much like the normal frequencies of a vibrating string. These frequencies are called quasi-normal frequencies or resonances and they are closely related to scattering resonances in the study of Schrödinger-type equations. I will discuss a new method of defining and studying resonances for linear wave equations on asymptotically flat black holes, developed from joint work with Claude Warnick.

Every Cayley graph of a finitely generated group has some basic properties: they are locally finite, connected, and vertex-transitive. These are not sufficient conditions, there are some well known examples of graphs that have all these properties but are non-Cayley. These examples do however "look like" Cayley graphs, which leads to the natural question of if there exist any vertex-transitive graphs that are completely unlike any Cayley graph. I plan to give some of the history of this question, as well as the construction of the example that finally answered it.