Past

A coarse structure is a way of talking about "large-scale" properties.  It is encoded in a family of relations that often, but not always, come from a metric.  A coarse structure naturally gives rise to Hilbert space operators that in turn generate a so-called uniform Roe algebra.

In work with Bruno Braga and Joe Eisner, we use ideas of Weaver to construct "quantum" coarse structures and uniform Roe algebras in which the underlying set is replaced with an arbitrary represented von Neumann algebra.  The general theory immediately applies to quantum metrics (suitably defined), but it is much richer.  We explain another source based on measure instead of metric, leading to the new, large, and easy-to-understand class of support expansion C*-algebras.

I will present the big picture: where uniform Roe algebras come from, how Weaver's framework facilitates our definitions.  I will focus on a few illustrative examples and will not presume familiarity with coarse structures or von Neumann algebras.

In 1973, Erdős conjectured the existence of high girth $(n,3,2)$-Steiner systems. Recently, Glock, Kühn, Lo, and Osthus and independently Bohman and Warnke proved the approximate version of Erdős' conjecture. Just this year, Kwan, Sah, Sawhney, and Simkin proved Erdős' conjecture. As for Steiner systems with more general parameters, Glock, Kühn, Lo, and Osthus conjectured the existence of high girth $(n,q,r)$-Steiner systems. We prove the approximate version of their conjecture. This result follows from our general main results which concern finding perfect or almost perfect matchings in a hypergraph $G$ avoiding a given set of submatchings (which we view as a hypergraph $H$ where $V(H)=E(G)$). Our first main result is a common generalization of the classical theorems of Pippenger (for finding an almost perfect matching) and Ajtai, Komlós, Pintz, Spencer, and Szemerédi (for finding an independent set in girth five hypergraphs). More generally, we prove this for coloring and even list coloring, and also generalize this further to when $H$ is a hypergraph with small codegrees (for which high girth designs is a specific instance). A number of applications in various areas follow from our main results including: Latin squares, high dimensional permutations, and rainbow matchings. This is joint work with Luke Postle.

This talk is motivated by computing correlations for domino tilings of the Aztec diamond.  It is inspired by two of the three distinct methods that have recently been used in the simplest case of a doubly periodic weighting, that is the two-periodic Aztec diamond. This model is of particular probabilistic interest due to being one of the few models having a boundary between polynomially and exponentially decaying macroscopic regions in the limit. One of the methods to compute correlations, powered by the domino shuffle, involves inverting the Kasteleyn matrix giving correlations through the local statistics formula. Another of the methods, driven by a Wiener-Hopf factorization for two- by-two matrix valued functions, involves the Eynard-Mehta theorem. For arbitrary weights the Wiener-Hopf factorization can be replaced by an LU- and UL-decomposition, based on a matrix refactorization, for the product of the transition matrices. In this talk, we present results to say that the evolution of the face weights under the domino shuffle and the matrix refactorization is the same. This is based on joint work with Maurice Duits (Royal Institute of Technology KTH).  

We will describe a new equivariant version of discrete Morse theory designed specially for quotient objects X/G which arise naturally in geometric group theory from actions of finite groups G on finite simplicial complexes X. Our main tools are (A) a reconstruction theorem due to Bridson and Haefliger which recovers X from X/G decorated with stabiliser data, and (B) a 2-categorical upgrade of discrete Morse theory which faithfully captures the underlying homotopy type. Both tools will be introduced during the course of the talk. This is joint work with Naya Yerolemou.

Khovanov-Rozansky homology is a link invariant that categorifies the HOMFLY-PT polynomial. I will describe a geometric model for this invariant, living in the monodromic Hecke category. I will also explain how it allows to identify objects representing graded pieces of Khovanov-Rozansky homology, using a remarkable family of character sheaves. Based on joint works with Roman Bezrukavnikov.

In this talk I will present a new class of algorithms for separable nonlinear inverse problems based on inexact Krylov methods. In particular, I will focus in semi-blind deblurring applications. In this setting, inexactness stems from the uncertainty in the parameters defining the blur, which are computed throughout the iterations. After giving a brief overview of the theoretical properties of these methods, as well as strategies to monitor the amount of inexactness that can be tolerated, the performance of the algorithms will be shown through numerical examples. This is joint work with Silvia Gazzola (University of Bath).

In this talk I will discuss well-posedness of hyperbolic Cauchy problems with multiplicities and the role played by the lower order terms (Levi conditions). I will present results obtained in collaboration with Christian Jäh (Göttingen) and Michael Ruzhansky (QMUL/Ghent) on higher order equations and non-diagonalisable systems.

Isogeny-based cryptography is a candidate for post-quantum cryptography. The underlying hardness of isogeny-based protocols is the problem of computing endomorphism rings of supersingular elliptic curves, which is equivalent to the path-finding problem on the supersingular isogeny graph. Can path-finding be reduced to knowing just one endomorphism? An endomorphism gives an explicit orientation of a supersingular elliptic curve. In this talk, we use the volcano structure of the oriented supersingular isogeny graph to take ascending/descending/horizontal steps on the graph and deduce path-finding algorithms to an initial curve. This is joint work with Sarah Arpin, Kristin E. Lauter, Renate Scheidler, Katherine E. Stange and Ha T. N. Tran.

Around 30 years ago, Lin defined an analog of the Casson invariant for knots. This invariant counts representations of the knot group into SU(2) which satisfy tr(ρ(m)) = c for some fixed c. As a function of c, the Casson-Lin invariant turns out to be given by the Levine-Tristram signature function.

If K is a small knot in S³, I'll describe a version of the Casson-Lin invariant which counts representations of the knot group into SL₂(R) with tr(ρ(m)) = c for c in [-2,2]. The sum of the SU(2) and SL₂(R) invariants is a constant h(K), independent of c. I'll discuss the proof of this fact and give some applications to the existence of real parabolic representations and left-orderings. This is joint work with Nathan Dunfield.

We introduce the mapping space signature, a generalization of the path signature for maps from higher dimensional cubical domains, which is motivated by the topological perspective of iterated integrals by K. T. Chen. We show that the mapping space signature shares many of the analytic and algebraic properties of the path signature; in particular it is universal and characteristic with respect to Jacobian equivalence classes of cubical maps. This is joint work with Chad Giusti, Vidit Nanda, and Harald Oberhauser.

Over the last years, two different approaches to construct symmetry algebras acting on the cohomology of Nakajima quiver varieties have been developed. The first one, due to Maulik and Okounkov, exploits certain Lagrangian correspondences, called stable envelopes, to generate R-matrices for an arbitrary quiver and hence, via the RTT formalism, an algebra called Yangian. The second one realises the cohomology of Nakajima varieties as modules over the cohomological Hall algebra (CoHA) of the preprojective algebra of the quiver Q. It is widely expected that these two approaches are equivalent, and in particular that the Maulik-Okounkov Yangian coincides with the Drinfel’d double of the CoHA.

Motivated by this conjecture, in this talk I will show how to identify the stable envelopes themselves with the multiplication map of a subalgebra of the appropriate CoHA. 

As an application, I will introduce explicit inductive formulas for the stable envelopes and use them to produce integral solutions of the elliptic quantum Knizhnik–Zamolodchikov–Bernard (qKZB) difference equation associated to arbitrary quiver (ongoing project with G. Felder and K. Wang). Time permitting, I will also discuss connections with Cherkis bow varieties in relation to 3d Mirror symmetry (ongoing project with R. Rimanyi).

Topological signals associated not only to nodes but also to links and to the higher dimensional simplices of simplicial complexes are attracting increasing interest in signal processing, machine learning and network science. However, little is known about the collective dynamical phenomena involving topological signals. Typically, topological signals of a given dimension are investigated and filtered using the corresponding Hodge Laplacians. In this talk, I will introduce the topological Dirac operator that can be used to process simultaneously topological signals of different dimensions.  I will discuss the main spectral properties of the Dirac operator defined on networks, simplicial complexes and multiplex networks, and their relation to Hodge Laplacians.   I will show that topological signals treated with the Hodge Laplacians or with the Dirac operator can undergo collective synchronization phenomena displaying different types of critical phenomena. Finally, I will show how the Dirac operator allows to couple the dynamics of topological signals of different dimension leading to the Dirac signal processing of signals defined on nodes, links and triangles of simplicial complexes. 

After reviewing different aspects of thermalization and chaos in holographic quantum systems, I will argue that universal aspects can be captured using an effective field theory framework that shares similarities with hydrodynamics. Focusing on the quantum butterfly effect, I will explain how to develop a simple effective theory of the 'scramblon' from path integral considerations. I will also discuss applications of this formalism to shockwave scattering in black hole backgrounds in AdS/CFT.

Arguably some of the most interesting phenomena in fluid dynamics, both from a mathematical and a physical perspective, stem from the interplay between a fluid and its boundaries. This talk will present some examples of how boundary effects lead to remarkable outcomes.  Singularities can form in finite time as a consequence of the continuum assumption when material surfaces are in smooth contact with horizontal boundaries of a fluid under gravity. For fluids with chemical solutes, the presence of boundaries impermeable to diffusion adds further dynamics which can give rise to self-induced flows and the formation of coherent structures out of scattered assemblies of immersed bodies. These effects can be analytically and numerically predicted by simple mathematical models and observed in “simple” experimental setups. 

It is well known that two non-isomorphic groups (groupoids) can produce isomorphic C*-algebras. That is, group (groupoid) C*-algebras are not rigid. This is not the case of the L^p-operator algebras associated to locally compact groups ( effective groupoids) where the isomorphic class of the group (groupoid) uniquely determines up to isometric isomorphism the associated L^p-algebras. Thus, L^p-operator algebras are rigid.  Liao and Yu introduced a class of Banach *-algebras associated to locally compact groups. We will see that this family of Banach *-algebras are also rigid.  

The tumor microenvironment (TME) is a complex milieu around the tumor, whereby cancer cells interact with stromal, immune, vascular, and extracellular components. The TME is being increasingly recognized as a key determinant of tumor growth, disease progression, and response to therapies. We build a generalizable and robust tensor-based framework capable of integrating dissociated single-cell and spatially resolved RNA-seq data for a comprehensive analysis of the TME. Tensors are a generalization of matrices to higher dimensions. Tensor methods are known to be able to successfully incorporate data from multiple sources and perform a joint analysis of heterogeneous high-dimensional data sets. The methodologies developed as part of this effort will advance our understanding of the TME in multiple directions. These include cellular heterogeneity within the TME, crosstalks between cells, and tumor-intrinsic pathways stimulating tumor growth and immune evasion.

The evolution of land surfaces is partly cause by the erosion, transport and deposition of sediment. My research aims to understand the origin and evolution of landscapes, using the tools of fluid mechanics. I am particularly interested in aeolian and fluvial transport of sediments. To do this, I use a multi-method approach (theoretical/numerical analysis, laboratory experiments and field measurements). The use of simplified laboratory experiments allows me to limit the complexity of natural systems by identifying the main mechanisms controlling sediment transport.  Once these physical laws are established, I apply them to natural data to explain the morphology of the observed landscapes, and to predict their evolution.

In this seminar, I will present two examples of the application of my work. An experimental study highlighting the influence of input conditions (water and sediment flows, sediment properties) on the morphology of fluvial deposits (i.e. alluvial fan), as well as a theoretical analysis coupled with field measurements to understand the mechanisms of dune initiation.

The character table of GL(2,Fq), for a prime power q, was constructed over a century ago. Many of these characters were determined via the explicit construction of a corresponding representation, but purely character-theoretic techniques were first used to compute the so-called discrete series characters. It was not until the 1970s that Drinfeld was able to explicitly construct the corresponding discrete series representations via l-adic étale cohomology groups. This work was later generalised by Deligne and Lusztig to all finite groups of Lie type, giving rise to Deligne-Lusztig theory.

In a similar vein, we would like to construct the representations affording the (smooth) characters of compact groups like GL(2,Zp), where Zp is the ring of p-adic integers. Deligne-Lusztig theory suggests hunting for these representations inside certain cohomology groups. In this talk, I will consider one such approach using a non-archimedean analogue of de Rham cohomology.

Elkem is developing a new method for categorising the reactivity between silicon carbide (SiC) powder and silicon monoxide gas (SiO(g)). Experiments have been designed which pass SiO gas through a powdered bed of SiC inside of a heated crucible, resulting in a reaction between the two. The SiO gas is produced via a secondary reaction outside of the SiC bed. Both reactions require specific temperature and pressure constraints to occur. Therefore, we would like to mathematically model the temperature distribution and gas flow within the experimental set-up to provide insight into how we can control the process.

Complexities arise from:

• Endothermic reactions causing heat sinks
• Competing reactions beyond the two we desire
• Dynamically changing properties of the bed, such as permeability

We present a computationally tractable method for simulating arbitrage free implied volatility surfaces. Our approach conciliates static arbitrage constraints with a realistic representation of statistical properties of implied volatility co-movements.
We illustrate our method with two examples. First, we propose a dynamic factor model for the implied volatility surface, and show how our method may be used to remove static arbitrage from model scenarios. As a second example, we propose a nonparametric generative model for implied volatility surfaces based on a Generative Adversarial Network (GAN).

We will construct several algebras of functions definable in R_{an,\exp} which are stable under parametric integration. 

Given one such algebra A, we will study the parametric Mellin and Fourier transforms of the functions in A. These are complex-valued oscillatory functions, thus we leave the realm of o-minimality. However, we will show that some of the geometric tameness of the functions in A passes on to their integral transforms.

Dispersion relations for S-matrices and CFT correlators translate UV consistency into bounds on IR observables. In this talk, I will begin with briefly introducing dispersionrelations in 2D flat space which will guide the analogous discussion in AdS₂/CFT₁. I will introduce a set of functionals acting on the 1D CFT. These will allow us to prove bounds on higher-derivative couplings in weakly coupled non-gravitational EFTs in AdS₂. At the leading order in the bulk-point limit, the bounds agree with the flat-space result. Furthermore we can compute the leading universal effect of finite AdS radius on the bounds.

Direct Multisearch (DMS) is a well-known multiobjective derivative-free optimization class of methods, with competitive computational implementations that are often successfully used for benchmark of new algorithms and in practical applications. As a directional direct search method, its structure is organized in a search step and a poll step, being the latter responsible for its convergence. A first implementation of DMS was released in 2010. Since then, the algorithmic class has continued to be analyzed from the theoretical point of view and new improvements have been proposed for the numerical implementation. Worst-case-complexity bounds have been derived, a search step based on polynomial models has been defined, and parallelization strategies have successfully improved the numerical performance of the code, which has also shown to be competitive for multiobjective derivative-based problems. In this talk we will survey the algorithmic structure of this class of optimization methods, the main theoretical properties associated to it and report numerical experiments that validate its numerical competitiveness.

It has been known for some time that the contact sets between
self-avoiding idealised tubes (i.e. with exactly circular, normal
cross-sections) in various highly compact, tight structures comprise
double lines of contact. I will re-visit those results for two canonical
examples, namely the orthogonal clasp and the ideal trefoil knot. I will
then show experimental and 3D FEM simulation data for deformable elastic
tubes (obtained within the group of Pedro Reis at the EPFL) which
reveals that the ideal contact set lines bound (in a non-rigorous sense)
the actual contact patches that arise in reality.

[1] The shapes of physical trefoil knots, P. Johanns, P. Grandgeorge, C.
Baek, T.G. Sano, J.H. Maddocks, P.M. Reis, Extreme Mechanics Letters 43
(2021), p. 101172, DOI:10.1016/j.eml.2021.101172
[2]  Mechanics of two filaments in tight orthogonal contact, P.
Grandgeorge, C. Baek, H. Singh, P. Johanns, T.G. Sano, A. Flynn, J.H.
Maddocks, and P.M. Reis, Proceedings of the National Academy of Sciences
of the United States of America 118, no. 15 (2021), p. e2021684118
DOI:10.1073/pnas.2021684118

In recent years, a tend of higher category theory is growing from multiple areas of research throughout mathematics, physics and theoretical computer science. Guided by Cobordism Hypothesis, I would like to introduce some basics of `higher representation theory’, i.e. the part of higher category theory where we focus on the fundamental objects: `finite dimensional’ linear n-categories. If time permits, I will also introduce some recent progress in linear higher categories and motivations from condensed matter physics.

It is well known that if a group von Neumann algebra of a (nontrivial) discrete group is a factor, then it is a factor of type II_1. During the talk, I will answer the following question: which types appear as types of injective factors being group von Neumann algebras of discrete quantum groups (or looking from the dual perspective - von Neumann algebras of bounded functions on compact quantum groups)? An important object in our work is the subgroup of real numbers t for which the scaling automorphism tau_t is inner. This is joint work with Piotr Sołtan.

I will present two examples of log-correlated fields in 2 dimensions. It is well known that the log-characteristic polynomial of a uniform unitary matrix converges toward a 1 dimensional log-correlated field, and our first example will be obtained from a dynamical version of this model. The second example will be obtained from a radically different construction, based on the Brownian loop soup that we will introduce. It will lead to a whole family of log-correlated fields. We will focus on the description of the behaviour of these objects, more than on rigorous details.

This is joint work with Corey Bregman. We study the homotopy type of embedding spaces of unparameterised links, inspired by work of Brendle and Hatcher. We obtain a simple description of the fundamental group of the embedding space, which I will describe for you. Our main tool is a homotopy equivalent semi-simplicial space of separating spheres. As I will explain, this is a combinatorial object that provides a gateway to studying the homotopy type of embedding spaces of split links via the homotopy type of their individual pieces. 

A graph has a pair $(m,f)$ if it has an induced subgraph on $m$ vertices and $f$ edges. We write $(n,e)\rightarrow (m,f)$  if any graph on $n$ vertices and $e$ edges has a pair $(m,f)$.  Let  $$S(n,m,f)=\{e: ~(n,e)\rightarrow (m,f)\} ~{\rm and}$$     $$\sigma(m,f) =   \limsup_{n\rightarrow \infty}\frac{ |S(n,m,f)|}{\binom{n}{2}}.$$ These notions were first introduced and investigated by Erdős, Füredi, Rothschild, and Sós. They found five pairs $(m,f)$ with  $\sigma(m,f)=1$ and showed that for all other pairs $\sigma(m,f)\leq 2/3$.  We extend these results in two directions.

First, in a joint work with Weber, we show that not only $\sigma(m,f)$ can be zero, but also $S(n,m,f)$  could be empty for some pairs $(m,f)$ and any sufficiently large $n$. We call such pairs $(m,f)$ absolutely avoidable.

Second, we consider a natural analogue $\sigma_r(m,f)$ of $\sigma(m,f)$ in the setting of $r$-uniform hypergraphs.  Weber showed that for any $r\geq 3$ and  $m>r$,  $\sigma_r(m,f)=0$ for most values of $f$.  Surprisingly, it was not immediately clear whether there are nontrivial pairs $(m,f)$,  $(f\neq 0$, $f\neq \binom{m}{r}$,  $r\geq 3$),  for which $\sigma_r(m,f)>0$. In a joint work with Balogh, Clemen, and Weber we show that $\sigma_3(6,10)>0$ and conjecture that in the $3$-uniform case $(6,10)$ is the only such pair.

In this talk we will present some work in progress generalising Lubin-Tate formal group laws to higher dimensions. There have been some other generalisations, but ours is different in that the ring over which the formal group law is defined changes as the dimension increases. We will state some conjectures about these formal group laws, including their relationship to the Drinfeld tower over the p-adic upper half plane, and provide supporting evidence for these conjectures.

A Hele-Shaw Newton's cradle: Circular bubbles in a Hele-Shaw channel. (Daniel Booth)

We present a model for the motion of approximately circular bubbles in a Hele-Shaw cell. The bubble velocity is determined by a balance between the hydrodynamic pressures from the external flow and the drag due to the thin films above and below the bubble. We find that the qualitative behaviour depends on a dimensionless parameter and is found to agree well with experimental observations.  Furthermore, we show how the effects of interaction with cell boundaries and/or other bubbles also depend on the value of this dimensionless parameter For example, in a train of three identical bubbles travelling along the centre line, the middle bubble either catches up with the one in front or is caught by the one behind, forming what we term a Hele-Shaw Newton's cradle.
 

Reciprocity in Fluids (Matthew Cotton)

Reciprocity is a useful, and often underused, way to calculate integrated quantities when a to solution to a related problem is known. In the remaining time, I will overview these ideas and give some example use cases

The Riemann hypothesis (RH) is one of the great open problems in
mathematics. It arose from the study of prime numbers in an analytic
context, and—as often occurs in mathematics—developed analogies in an
algebraic setting, leading to the influential Weil conjectures. RH for
curves over finite fields was proven in the 1940’s by Weil using
algebraic-geometric methods, and later reproven by Stepanov and
Bombieri by elementary means. In this talk, we use RH for curves to
prove the Weil bound for certain (Kloosterman) exponential sums, which
in turn is a fundamental tool in the study of prime numbers.

What is the largest deterministic amount of time T∗ that a suitably normalized martingale X can be kept inside a convex body K in Rd? We show, in a viscosity framework, that T∗ equals the time it takes for the relative boundary of K to reach X(0) as it undergoes a geometric flow that we call (positive) minimum curvature flow. This result has close links to the literature on stochastic and game representations of geometric flows. Moreover, the minimum curvature flow can be viewed as an arrival time version of the Ambrosio–Soner codimension-(d − 1) mean curvature flow of the 1-skeleton of K. We present very preliminary sampling-based numerical approximations to the solution of the corresponding PDE. The numerical part is work in progress.

This work is based on a collaboration with Camilo Garcia Trillos, Martin Larsson, and Yufei Zhang.

THIS TALK IS CANCELLED DUE TO ILLNESS -- In this talk I will present classification results for rigid Frobenius algebras in Dijkgraaf–Witten categories ℨ( Vec(G)ᵚ ) over a field of arbitrary characteristic, generalising existing results by Davydov-Simmons. For this purpose, we provide a braided Frobenius monoidal functor from ℨ ( Vect(H)ᵚˡᴴ ) to ℨ( Vec(G)ᵚ ) for any subgroup H of G. I will also discuss about their categories of local modules, which are modular tensor categories  by results of Kirillov–Ostrik in the semisimple case and Laugwitz–Walton in the general case. Joint work with Robert Laugwitz (Nottingham) and Sam Hannah (Cardiff).

Donaldson-Thomas theory is classically defined for moduli spaces of sheaves over a Calabi-Yau threefold. Thanks to recent foundational work of Cao-Leung, Borisov-Joyce and Oh-Thomas, DT theory has been extended to Calabi-Yau 4-folds. We discuss how, in this context, one can define natural K-theoretic refinements of Donaldson-Thomas invariants (counting sheaves on Hilbert schemes) and Pandharipande-Thomas invariants (counting sheaves on moduli spaces of stable pairs) and how — conjecturally — they are related. Finally, we introduce an extension of DT invariants to Calabi-Yau 4-orbifolds, and propose a McKay-type correspondence, which we expect to be suitably interpreted as a wall-crossing phenomenon. Joint work (in progress) with Yalong Cao and Martijn Kool.

In this talk, I will discuss and introduce deep insight from the dynamical system perspective to understand the convergence guarantees of first-order algorithms involving inertial features for convex optimization in a Hilbert space setting.

Such algorithms are widely popular in various areas of data science (data processing, machine learning, inverse problems, etc.).
They can be viewed discrete as time versions of an inertial second-order dynamical system involving different types of dampings (viscous damping,  Hessian-driven geometric damping).

The dynamical system perspective offers not only a powerful way to understand the geometry underlying the dynamic, but also offers a versatile framework to obtain fast, scalable and new algorithms enjoying nice convergence guarantees (including fast rates). In addition, this framework encompasses known algorithms and dynamics such as the Nesterov-type accelerated gradient methods, and the introduction of time scale factors makes it possible to further accelerate these algorithms. The framework is versatile enough to handle non-smooth and non-convex objectives that are ubiquituous in various applications.

Only a decade ago the detection of gravitational waves seemed like a fantasy to most, and merely a handful of 
people in the world believed in the validity and even great potential of using the powerful framework of EFT, and 
more generally -- advances in QFT to study gravity theory for real-world gravitational waves. I will present the 
significant advancement accomplished uniquely via the tower of EFTs with the EFT of spinning gravitating objects, 
and the incorporation of QFT advances, which my work has pioneered since those days. Today, only 6 years after 
the official birth of precision gravity with a rapidly growing influx of gravitational-wave data, and a decade of great 
theoretical progress, the power and insight of using modern QFT for real-world gravity have become incontestable.

Your supervisor is the person you will interact with on a scientific level most of all during your studies here. As a result, it is vital that you establish a good working relationship. But how should you do this? In this session we discuss tips and tricks for getting the most out of your supervisions to maximize your success as a researcher. Note that this session will have no faculty in the audience in order to allow people to speak openly about their experiences. 

Cell-to-cell variability is often a primary source of variability in experimental data. Yet, it is common for mathematical analysis of biological systems to neglect biological variability by assuming that model parameters remain fixed between measurements. In this two-part talk, I present new mathematical and statistical tools to identify cell-to-cell variability from experimental data, based on mathematical models with random parameters. First, I identify variability in the internalisation of material by cells using approximate Bayesian computation and noisy flow cytometry measurements from several million cells. Second, I develop a computationally efficient method for inference and identifiability analysis of random parameter models based on an approximate moment-matched solution constructed through a multivariate Taylor expansion. Overall, I show how analysis of random parameter models can provide more precise parameter estimates and more accurate predictions with minimal additional computational cost compared to traditional modelling approaches.

Here is the program.

Auslander-Reiten theory provides lots of powerful tools to study algebras of finite representation type. One of these is Auslander correspondence, a well-known result establishing a bijection between the class of algebras of finite representation type and their corresponding Auslander algebras. I will present these classical results in a key example: the class of algebras associated to quivers of type A_n. I will talk about well-known results regarding their derived equivalence with another class of algebras, and I will present a more recent result regarding the perfect derived category of the Auslander algebras of type A_n.

Monumo is interested in computing physical properties of electric motors (torque, efficiency, back EMF) from their designs (shapes, materials, currents). This involves solving Maxwell's equations (non-linear PDEs). They currently compute the magnetic flux, and then use that to compute the other properties of interest. The main challenge they face is that they want to do this for many, many different designs. There seems to be lots of redundancy here, but exploiting it has proved difficult.

The Zilber-Pink conjecture predicts that there should be only finitely
many algebraic numbers t such that the three elliptic curves with
j-invariants t, -t, 2t are all isogenous to each other.  Using previous
work of Habegger and Pila, it suffices to prove a height bound for such
t.  I will outline the proof of this height bound by viewing periods of
the elliptic curves as values of G-functions.  An innovation in this
work is that both complex and p-adic periods are required.  This is
joint work with Christopher Daw.

In this talk, we consider the sensitivity to the model uncertainty of an optimization problem. By introducing adapted Wasserstein perturbation, we extend the classical results in a static setting to the dynamic multi-period setting. Under mild conditions, we give an explicit formula for the first order approximation to the value function. An optimization problem with a cost of weak type will also be discussed.