Fri, 23 Feb 2024

12:00 - 13:00
Quillen Room

Homotopy type of SL2 quotients of simple simply connected complex Lie groups

Dylan Johnston
(University of Warwick)
Abstract
We say an element X in a Lie algebra g is nilpotent if ad(X) is a nilpotent operator. It is known that G_{ad}-orbits of nilpotent elements of a complex semisimple Lie algebra g are in 1-1 correspondence with Lie algebra homomorphisms sl2 -> g, which are in turn in 1-1 correspondence with Lie group homomorphisms SL2 -> G.
Thus, we may denote the homogeneous space obtained by quotienting G by the image of a Lie group homomorphism SL2 -> G by X_v, where v is a nilpotent element in the corresponding G_{ad}-orbit.
In this talk we introduce some algebraic tools that one can use to attempt to classify the homogeneous spaces, X_v, up to homotopy equivalence.
Thu, 22 Feb 2024
18:00
The Auditorium, Citigroup Centre, London, E14 5LB

Frontiers in Quantitative Finance: Statistical Predictions of Trading Strategies in Electronic Markets

Prof Samuel N Cohen
Abstract

We build statistical models to describe how market participants choose the direction, price, and volume of orders. Our dataset, which spans sixteen weeks for four shares traded in Euronext Amsterdam, contains all messages sent to the exchange and includes algorithm identification and member identification. We obtain reliable out-of-sample predictions and report the top features that predict direction, price, and volume of orders sent to the exchange. The coefficients from the fitted models are used to cluster trading behaviour and we find that algorithms registered as Liquidity Providers exhibit the widest range of trading behaviour among dealing capacities. In particular, for the most liquid share in our study, we identify three types of behaviour that we call (i) directional trading, (ii) opportunistic trading, and (iii) market making, and we find that around one third of Liquidity Providers behave as market markers.

This is based on work with Álvaro Cartea, Saad Labyad, Leandro Sánchez-Betancourt and Leon van Veldhuijzen. View the working paper here.
 

Attendance is free of charge but requires prior online registration. To register please click here.

Thu, 22 Feb 2024

17:00 - 18:00

Sets that are very large and very small

Asaf Karagila (Leeds)
Abstract
We can compare the relative sizes of sets by using injections or (partial) surjections, but without the axiom of choice we cannot prove that every two sets can be compared. We can use the ordinals to define a notion of size which allows us to determine whether a set is "large" or "small" relative to another. The first is defined by the Hartogs number, which is the least ordinal which does not inject into the set; the second is the Lindenbaum number of a set, which is the first ordinal which is not an image of the set. In this talk we will discuss some basic properties of these numbers and some basic historical results. 

 
In a new work with Calliope Ryan-Smith we showed that given any pair of (infinite) cardinals, we can onstruct a symmetric extension in which there is a set whose Hartogs is the smaller and the Lindenbaum is the larger. Moreover, using the techniques of iterated symmetric extensions, we can realise all possible pairs in a single model.

 
This work appears on arXiv: https://arxiv.org/abs/2309.11409
Thu, 22 Feb 2024
16:00
Lecture Room 4

Tangent spaces of Schubert varieties

Rong Zhou
(University of Cambridge)
Abstract

Schubert varieties in (twisted) affine Grassmannians and their singularities are of interest to arithmetic geometers because they model the étale local structure of the special fiber of Shimura varieties. In this talk, I will discuss a proof of a conjecture of Haines-Richarz classifying the smooth locus of Schubert varieties, generalizing a classical result of Evens-Mirkovic. The main input is to obtain a lower bound for the tangent space at a point of the Schubert variety which arises from considering certain smooth curves passing through it. In the second part of the talk, I will explain how in many cases, we can prove this bound is actually sharp, and discuss some applications to Shimura varieties. This is based on joint work with Pappas and Kisin-Pappas.

Thu, 22 Feb 2024
14:00
N3.12

Symplectic Reduction

Marta Bucca
Abstract

Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.

Thu, 22 Feb 2024

14:00 - 15:00
Lecture Room 3

Hierarchical adaptive low-rank format with applications to discretized PDEs

Leonardo Robol
(University of Pisa)
Abstract

A novel framework for hierarchical low-rank matrices is proposed that combines an adaptive hierarchical partitioning of the matrix with low-rank approximation. One typical application is the approximation of discretized functions on rectangular domains; the flexibility of the format makes it possible to deal with functions that feature singularities in small, localized regions. To deal with time evolution and relocation of singularities, the partitioning can be dynamically adjusted based on features of the underlying data. Our format can be leveraged to efficiently solve linear systems with Kronecker product structure, as they arise from discretized partial differential equations (PDEs). For this purpose, these linear systems are rephrased as linear matrix equations and a recursive solver is derived from low-rank updates of such equations. 
We demonstrate the effectiveness of our framework for stationary and time-dependent, linear and nonlinear PDEs, including the Burgers' and Allen–Cahn equations.

This is a joint work with Daniel Kressner and Stefano Massei.

Thu, 22 Feb 2024

12:00 - 13:00
L3

Structural identifiability analysis: An important tool in systems modelling

Michael Chappell
(University of Warwick)
Abstract

For many systems (certainly those in biology, medicine and pharmacology) the mathematical models that are generated invariably include state variables that cannot be directly measured and associated model parameters, many of which may be unknown, and which also cannot be measured.  For such systems there is also often limited access for inputs or perturbations. These limitations can cause immense problems when investigating the existence of hidden pathways or attempting to estimate unknown parameters and this can severely hinder model validation. It is therefore highly desirable to have a formal approach to determine what additional inputs and/or measurements are necessary in order to reduce or remove these limitations and permit the derivation of models that can be used for practical purposes with greater confidence.

Structural identifiability arises in the inverse problem of inferring from the known, or assumed, properties of a biomedical or biological system a suitable model structure and estimates for the corresponding rate constants and other model parameters.  Structural identifiability analysis considers the uniqueness of the unknown model parameters from the input-output structure corresponding to proposed experiments to collect data for parameter estimation (under an assumption of the availability of continuous, noise-free observations).  This is an important, but often overlooked, theoretical prerequisite to experiment design, system identification and parameter estimation, since estimates for unidentifiable parameters are effectively meaningless.  If parameter estimates are to be used to inform about intervention or inhibition strategies, or other critical decisions, then it is essential that the parameters be uniquely identifiable. 

Numerous techniques for performing a structural identifiability analysis on linear parametric models exist and this is a well-understood topic.  In comparison, there are relatively few techniques available for nonlinear systems (the Taylor series approach, similarity transformation-based approaches, differential algebra techniques and the more recent observable normal form approach and symmetries approaches) and significant (symbolic) computational problems can arise, even for relatively simple models in applying these techniques.

In this talk an introduction to structural identifiability analysis will be provided demonstrating the application of the techniques available to both linear and nonlinear parameterised systems and to models of (nonlinear mixed effects) population nature.


 
Thu, 22 Feb 2024

12:00 - 13:00
L3

OCIAM-WCMB SEMINAR Structural identifiability analysis: An important tool in systems modelling

Professor Michael Chappell
(Dept of Mathematics University of Warwick)
Abstract

 

For many systems (certainly those in biology, medicine and pharmacology) the mathematical models that are generated invariably include state variables that cannot be directly measured and associated model parameters, many of which may be unknown, and which also cannot be measured.  For such systems there is also often limited access for inputs or perturbations. These limitations can cause immense problems when investigating the existence of hidden pathways or attempting to estimate unknown parameters and this can severely hinder model validation. It is therefore highly desirable to have a formal approach to determine what additional inputs and/or measurements are necessary in order to reduce or remove these limitations and permit the derivation of models that can be used for practical purposes with greater confidence.

Structural identifiability arises in the inverse problem of inferring from the known, or assumed, properties of a biomedical or biological system a suitable model structure and estimates for the corresponding rate constants and other model parameters.  Structural identifiability analysis considers the uniqueness of the unknown model parameters from the input-output structure corresponding to proposed experiments to collect data for parameter estimation (under an assumption of the availability of continuous, noise-free observations).  This is an important, but often overlooked, theoretical prerequisite to experiment design, system identification and parameter estimation, since estimates for unidentifiable parameters are effectively meaningless.  If parameter estimates are to be used to inform about intervention or inhibition strategies, or other critical decisions, then it is essential that the parameters be uniquely identifiable. 

Numerous techniques for performing a structural identifiability analysis on linear parametric models exist and this is a well-understood topic.  In comparison, there are relatively few techniques available for nonlinear systems (the Taylor series approach, similarity transformation-based approaches, differential algebra techniques and the more recent observable normal form approach and symmetries approaches) and significant (symbolic) computational problems can arise, even for relatively simple models in applying these techniques.

In this talk an introduction to structural identifiability analysis will be provided demonstrating the application of the techniques available to both linear and nonlinear parameterised systems and to models of (nonlinear mixed effects) population nature.

Wed, 21 Feb 2024
16:00
L6

Groups Acting Acylindrically on Trees

William Cohen
(University of Cambridge)
Abstract

It was shown by Balasubramanya that any acylindrically hyperbolic group (a natural generalisation of a hyperbolic group) must act acylindrically and non-elementarily on some quasi-tree. It is therefore sensible to ask to what extent this is true for trees, i.e. given an acylindrically hyperbolic group, does it admit a non-elementary acylindrical action on some simplicial tree? In this talk I will introduce the concepts of acylindrically hyperbolic and acylindrically arboreal groups and discuss some particularly interesting examples of acylindrically hyperbolic groups which do and do not act acylindrically on trees.

Wed, 21 Feb 2024

14:00 - 15:00
Lecture Theatre 2, Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Road, OX2 6GG

Classical density-functional theory: from formulation to nanofluidics to machine learning

Serafim Kalliadasis
(Imperial College London)
Further Information

This is an Oxford Solid Mechanics and Mathematics Joint Seminar

Abstract

We review progress made by our group on soft matter at interfaces and related physics from the nano- to macroscopic lengthscales. Specifically, to capture nanoscale properties very close to interfaces and to establish a link to the macroscale behaviour, we employ elements from the statistical mechanics of classical fluids, namely density-functional theory (DFT). We formulate a new and general dynamic DFT that carefully and systematically accounts for the fundamental elements of any classical fluid and soft matter system, a crucial step towards the accurate and predictive modelling of physically relevant systems. In a certain limit, our DDFT reduces to a non-local Navier-Stokes-like equation that we refer to as hydrodynamic DDFT: an inherently multiscale model, bridging the micro- to the macroscale, and retaining the relevant fundamental microscopic information (fluid temperature, fluid-fluid and wall-fluid interactions) at the macroscopic level.

 

Work analysing the moving contact line in both equilibrium and dynamics will be presented. This has been a longstanding problem for fluid dynamics with a major challenge being its multiscale nature, whereby nanoscale phenomena manifest themselves at the macroscale. A key property captured by DFT at equilibrium, is the fluid layering on the wall-fluid interface, amplified as the contact angle decreases. DFT also allows us to unravel novel phase transitions of fluids in confinement. In dynamics, hydrodynamic DDFT allows us to benchmark existing phenomenological models and reproduce some of their key ingredients. But its multiscale nature also allows us to unravel the underlying physics of moving contact lines, not possible with any of the previous approaches, and indeed show that the physics is much more intricate than the previous models suggest.

 

We will close with recent efforts on machine learning and DFT. In particular, the development of a novel data-driven physics-informed framework for the solution of the inverse problem of statistical mechanics: given experimental data on the collective motion of a classical many-body system, obtain the state functions, such as free-energy functionals.

Tue, 20 Feb 2024

16:00 - 17:00
C2

Quantized differential calculus on quantum tori

Quanhua Xu
(Université de Franche-Comté)
Abstract

We discuss Connes’ quantized calculus on quantum tori and Euclidean spaces, as applications of the recent development of noncommutative analysis.
This talk is based on a joint work in progress with Xiao Xiong and Kai Zeng.
 

Tue, 20 Feb 2024
15:00
L6

Counting geodesics of given commutator length

Viveka Erlandsson
Abstract

Abstract: It’s a classical result by Huber that the number of closed geodesics of length bounded by L on a closed hyperbolic surface S is asymptotic to exp(L)/L as L grows. This result has been generalized in many directions, for example by counting certain subsets of closed geodesics. One such result is the asymptotic growth of those that are homologically trivial, proved independently by both by Phillips-Sarnak and Katsura-Sunada. A homologically trivial curve can be written as a product of commutators, and in this talk we will look at those that can be written as a product of g commutators (in a sense, those that bound a genus g subsurface) and obtain their asymptotic growth. As a special case, our methods give a geometric proof of Huber’s classical theorem. This is joint work with Juan Souto. 

Tue, 20 Feb 2024

14:30 - 15:00
L6

CMA Light: A novel Minibatch Algorithm for large-scale non convex finite sum optimization

Corrado Coppola
(Sapienza University of Rome)
Abstract
The supervised training of a deep neural network on a given dataset consists of the unconstrained minimization of the finite sum of continuously differentiable functions, commonly referred to as loss with respect to the samples. These functions depend on the network parameters and most of the times are non-convex.  We develop CMA Light, a new globally convergent mini-batch gradient method to tackle this problem. We consider the recently introduced Controlled Minibatch Algorithm (CMA) framework and we overcome its main bottleneck, removing the need for at least one evaluation of the whole objective function per iteration. We prove global convergence of CMA Light under mild assumptions and we discuss extensive computational results on the same experimental test bed used for CMA, showing that CMA Light requires less computational effort than most of the state-of-the-art optimizers. Eventually, we present early results on a large-scale Image Classification task.
 
The reference pre-print is already on arXiv at https://arxiv.org/abs/2307.15775
Tue, 20 Feb 2024

14:00 - 15:00
L4

Hamiltonicity of expanders: optimal bounds and applications

Nemanja Draganić
(University of Oxford)
Abstract

An $n$-vertex graph $G$ is a $C$-expander if $|N(X)|\geq C|X|$ for every $X\subseteq V(G)$ with $|X|< n/2C$ and there is an edge between every two disjoint sets of at least $n/2C$ vertices.

We show that there is some constant $C>0$ for which every $C$-expander is Hamiltonian. In particular, this implies the well known conjecture of Krivelevich and Sudakov from 2003 on Hamilton cycles in $(n,d,\lambda)$-graphs. This completes a long line of research on the Hamiltonicity of sparse graphs, and has many applications.

Joint work with R. Montgomery, D. Munhá Correia, A. Pokrovskiy and B. Sudakov.

Tue, 20 Feb 2024

14:00 - 14:30
L6

Tensor Methods for Nonconvex Optimization using Cubic-quartic regularization models

Wenqi Zhu
(Mathematical Institute (University of Oxford))
Abstract

High-order tensor methods for solving both convex and nonconvex optimization problems have recently generated significant research interest, due in part to the natural way in which higher derivatives can be incorporated into adaptive regularization frameworks, leading to algorithms with optimal global rates of convergence and local rates that are faster than Newton's method. On each iteration, to find the next solution approximation, these methods require the unconstrained local minimization of a (potentially nonconvex) multivariate polynomial of degree higher than two, constructed using third-order (or higher) derivative information, and regularized by an appropriate power of the change in the iterates. Developing efficient techniques for the solution of such subproblems is currently, an ongoing topic of research,  and this talk addresses this question for the case of the third-order tensor subproblem.


In particular, we propose the CQR algorithmic framework, for minimizing a nonconvex Cubic multivariate polynomial with  Quartic Regularisation, by sequentially minimizing a sequence of local quadratic models that also incorporate both simple cubic and quartic terms. The role of the cubic term is to crudely approximate local tensor information, while the quartic one provides model regularization and controls progress. We provide necessary and sufficient optimality conditions that fully characterise the global minimizers of these cubic-quartic models. We then turn these conditions into secular equations that can be solved using nonlinear eigenvalue techniques. We show, using our optimality characterisations, that a CQR algorithmic variant has the optimal-order evaluation complexity of $O(\epsilon^{-3/2})$ when applied to minimizing our quartically-regularised cubic subproblem, which can be further improved in special cases.  We propose practical CQR variants that judiciously use local tensor information to construct the local cubic-quartic models. We test these variants numerically and observe them to be competitive with ARC and other subproblem solvers on typical instances and even superior on ill-conditioned subproblems with special structure.

Tue, 20 Feb 2024

14:00 - 15:00
L5

Faithfulness of highest-weight modules for Iwasawa algebras

Stephen Mann
(University of Cambridge)
Abstract

Iwasawa algebras are completions of group algebras for p-adic Lie groups, and have applications for studying the representations of these groups. It is an ongoing project to study the prime ideals, and more generally the two-sided ideals, of these algebras.

In the case of Iwasawa algebras corresponding to a simple Lie algebra with a Chevalley basis, we aim to prove that all non-zero two-sided ideals have finite codimension. To prove this, it is sufficient to show faithfulness of modules arising from highest-weight modules for the corresponding Lie algebra.

I have proved two main results in this direction: firstly, I proved the faithfulness of generalised Verma modules over the Iwasawa algebra. Secondly, I proved the faithfulness of all infinite-dimensional highest-weight modules in the case where the Lie algebra has type A. In this talk, I will outline the methods I used to prove these cases.

Tue, 20 Feb 2024
12:30
L4

Gravitational Observatories

Dionysios Anninos
(King's College London)
Abstract

We discuss timelike surfaces of finite size in general relativity and the initial boundary value problem. We consider obstructions with the standard Dirichlet problem, and conformal version with improved properties. The ensuing dynamical features are discussed with general cosmological constant.

Tue, 20 Feb 2024
11:00
Lecture room 5

The flow equation approach to singular SPDEs.

Massimiliano Gubinelli
(Mathematical Institute)
Abstract

I will give an overview of a recent method introduced by P. Duch to solve some subcritical singular SPDEs, in particular the stochastic quantisation equation for scalar fields. 

Mon, 19 Feb 2024

16:30 - 17:30
L5

Sharp stability for Sobolev and log-Sobolev inequalities, with optimal dimensional dependence

Rupert Frank
(LMU Munich)
Abstract

The sharp constant in the Sobolev inequality and the set of optimizers are known. It is also known that functions whose Sobolev quotient is almost minimial are close to minimizers. We are interested in a quantitative version of the last statement and present a bound that not only measures this closeness in the optimal topology and with the optimal exponent, but also has explicit constants. These constants have the optimal behavior in the limit of large dimensions, which allows us to deduce an optimal quantitative stability estimate for the Gaussian log-Sobolev inequality with an explicit dimension-free constant. Our proof relies on several ingredients:

• a discrete flow based on competing symmetries;

• a continuous rearrangement flow;

• refined estimates in the neighborhood of the optimal Aubin-Talenti functions.

The talk is based on joint work with Dolbeault, Esteban, Figalli and Loss. 


 
Mon, 19 Feb 2024
16:00
L2

On entropy of arithmetic functions

Fei Wei
(University of Oxford)
Abstract

In this seminar, I will talk about a notion of entropy of arithmetic functions and some properties of this entropy.  This notion was introduced to study Sarnak's Moebius Disjointness Conjecture.

Mon, 19 Feb 2024
15:30
L4

Maps between spherical group algebras

Thomas Nikolaus
(Universitaet Muenster)
Abstract

I will speak about a central question in higher algebra (aka brave new algebra), namely which rings or schemes admit 'higher models', that is lifts to the sphere spectrum. This question is in some sense very classical, but there are many open questions. These questions are closely related to questions about higher versions of prismatic cohomology and delta ring, asked e.g. by Scholze and Lurie. Concretely we will consider the case of group algebras and explain how to understand maps between lifts of group algebras to the sphere spectrum. The results we present are joint with Carmeli and Yuan and on the prismatic side with Antieau and Krause.

Mon, 19 Feb 2024
15:30
Lecture room 5

Rough Stochastic Analysis with Jumps

Dr Andy Allan
(University of Durham)
Abstract

Rough path theory provides a framework for the study of nonlinear systems driven by highly oscillatory (deterministic) signals. The corresponding analysis is inherently distinct from that of classical stochastic calculus, and neither theory alone is able to satisfactorily handle hybrid systems driven by both rough and stochastic noise. The introduction of the stochastic sewing lemma (Khoa Lê, 2020) has paved the way for a theory which can efficiently handle such hybrid systems. In this talk, we will discuss how this can be done in a general setting which allows for jump discontinuities in both sources of noise.

Mon, 19 Feb 2024
14:15
L4

Loop group action on symplectic cohomology

Cheuk Yu Mak
(University of Southhampton)
Abstract

For a compact Lie group $G$, its massless Coulomb branch algebra is the $G$-equivariant Borel-Moore homology of its based loop space. This algebra is the same as the algebra of regular functions on the BFM space. In this talk, we will explain how this algebra acts on the equivariant symplectic cohomology of Hamiltonian $G$-manifolds when the symplectic manifolds are open and convex. This is a generalization of the closed case where symplectic cohomology is replaced with quantum cohomology. Following Teleman, we also explain how it relates to the Coulomb branch algebra of cotangent-type representations. This is joint work with Eduardo González and Dan Pomerleano.