Past

There are strengths and weaknesses to both mathematical models and machine learning approaches, for instance mathematical models may be difficult to fully specify or become intractable when representing complex natural or built environments whilst machine learning models can be inscrutable (“black box”) and perform poorly when driven outside of the range of data they have been trained on. At the same time measured data from sensors is becoming increasing available.

We have been working to try and bring the best of both worlds together and we would like to discuss our work and the challenges it presents. Such challenges include model simplification or reduction, model performance in previously unobserved extreme conditions, quantification of uncertainty and techniques to parameterise mathematical models from data.

We explore one facet of an old problem: the approximation of hyperbolic conservation laws by viscous counterparts. While qualitative convergence results are well-known, quantitative rates for the inviscid limit are less common. In this talk, we consider the simplest case: a one-dimensional scalar strictly-convex conservation law started from "generic" smooth initial data. Using a matched asymptotic expansion, we quantitatively control the inviscid limit up to the time of first shock. We conclude that the inviscid limit has a universal character near the first shock. This is joint work with Sanchit Chaturvedi.

Continuous product systems were introduced and studied by Arveson in the late 1980s. The study of their discrete analogues started with the work of Dinh in the 1990’s and it was formalized by Fowler in 2002. Discrete product systems are semigroup versions of C*-correspondences, that allow for a joint study of many fundamental C*-algebras, including those which come from C*-correspondences, higher rank graphs and elsewhere.
Katsura’s covariant relations have been proven to give the correct Cuntz-type C*-algebra for a single C*-correspondence X. One of the great advantages of Katsura's Cuntz-Pimsner C*-algebra is its co-universality for the class of gauge-compatible injective representations of X. In the late 2000s Carlsen-Larsen-Sims-Vittadello raised the question of existence of such a co-universal object in the context of product systems. In their work, Carlsen-Larsen-Sims-Vittadello provided an affirmative answer for quasi-lattices, with additional injectivity assumptions on X. The general case has remained open and will be addressed in these talk using tools from non-selfadjoint operator algebra theory.

TBC
 

The recent work on nc convex sets of Davidson, Kennedy, and Shamovich show that there is a rich interplay between the category of operator systems and the category of compact nc convex sets, leading to new insights even in the case of C*-algebras. The category of nc convex sets are a generalization of the usual notion of a compact convex set that provides meaningful connections between convex theoretic notions and notions in operator system theory. In this talk, we present a duality theorem for norm closed self-adjoint subspaces of B(H) that do not necessarily contain the unit. Using this duality, we will describe various C*-algebraic and operator system theoretic notions such as simplicity and subkernels in terms of their convex structure. This is joint work with Matthew Kennedy and Nicholas Manor.

Invariants counting sheaves on Calabi--Yau 4-folds are obtained by virtual integrals over moduli spaces. These are expressed in terms of virtual fundamental classes, which conjecturally fit into
a wall-crossing framework proposed by Joyce. I will review the construction of vertex algebras in terms of which one can express the WCF.  I describe how to use  them to obtain explicit results for Hilbert schemes of points. As a consequence, I reduce multiple conjectures to a technical proof of the WCF. Surprisingly, one gets a complete correspondence between invariants of Hilbert schemes of CY 4-folds and elliptic surfaces.
 

Link: https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZGRiMTM1ZjQtZWNi…

Conventional computational methods often create a dilemma for fluid-structure interaction problems. Typically, solids are simulated using a Lagrangian approach with grid that moves with the material, whereas fluids are simulated using an Eulerian approach with a fixed spatial grid, requiring some type of interfacial coupling between the two different perspectives. Here, a fully Eulerian method for simulating structures immersed in a fluid will be presented. By introducing a reference map variable to model finite-deformation constitutive relations in the structures on the same grid as the fluid, the interfacial coupling problem is highly simplified. The method is particularly well suited for simulating soft, highly-deformable materials and many-body contact problems, and several examples will be presented.

This is joint work with Ken Kamrin (MIT).

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please contact @email.

Simple mathematical models have had remarkable successes in biology, framing how we understand a host of mechanisms and processes. However, with the advent of a host of new experimental technologies, the last ten years has seen an explosion in the amount and types of quantitative data now being generated. This sets a new challenge for the field – to develop, calibrate and analyse new, biologically realistic models to interpret these data. In this talk I will showcase how quantitative comparisons between models and data can help tease apart subtle details of biological mechanisms, as well as present some steps we have taken to tackle the mathematical challenges in developing models that are both identifiable and can be efficiently calibrated to quantitative data.

This talk will be an introduction to L^2 homology, which is roughly "square-summable" homology. We begin by defining the L^2 homology of a G-CW complex (a CW complex with a cellular G-action), and we will discuss some applications of these invariants to group theory and topology. We will then focus on a criterion of Wise, which proves the vanishing of the 2nd L^2 Betti number in combinatorial CW-complexes with elementary methods. If time permits, we will also introduce Wise's energy criterion.
 

It was implicitly conjectured by Hambly-Lyons in 2010, which was made explicit by Chang-Lyons-Ni in 2018, that the length of a tree-reduced path with bounded variation can be recovered from its signature asymptotics. Apart from its intrinsic elegance, understanding such a phenomenon is also important for the study of signature lower bounds and may shed light on more general signature inversion properties. In this talk, we discuss how the idea of path development onto suitably chosen Lie groups can be used to study this problem as well as its rough path analogue.

It is a basic fact of convexity that the volume of convex bodies is a polynomial, whose coefficients contain many familiar geometric parameters as special cases. A fundamental result of convex geometry, the Alexandrov-Fenchel inequality, states that these coefficients are log-concave. This proves to have striking connections with other areas of mathematics: for example, the appearance of log-concave sequences in many combinatorial problems may be understood as a consequence of the Alexandrov-Fenchel inequality and its algebraic analogues.

There is a long-standing problem surrounding the Alexandrov-Fenchel inequality that has remained open since the original works of Minkowski (1903) and Alexandrov (1937): in what cases is equality attained? In convexity, this question corresponds to the solution of certain unusual isoperimetric problems, whose extremal bodies turn out to be numerous and strikingly bizarre. In combinatorics, an answer to this question would provide nontrivial information on the type of log-concave sequences that can arise in combinatorial applications. In recent work with Y. Shenfeld, we succeeded to settle the equality cases completely in the setting of convex polytopes. I will aim to describe this result, and to illustrate its potential combinatorial implications through a question of Stanley on the combinatorics of partially ordered sets.

Will a large economy be stable? In this talk, I will present a model for a network economy where firms' productions are interdependent, and study the conditions under which such input-output networks admit a competitive economic equilibrium, where markets clear and profits are zero. Insights from random matrix theory allow to understand some of the emergent properties of this equilibrium and to provide a classification for the different types of crises it can be subject to. After this, I will endow the model with dynamics, and present results with strong links to generalised Lotka-Volterra models in theoretical ecology, where inter-species interactions are modelled with random matrices and where the system naturally self-organises into a critical state. In both cases, the stationary points must consist of positive species populations/prices/outputs. Building on these ideas, I will show the key concepts behind an economic agent-based model that can exhibit convergence to equilibrium, limit cycles and chaotic dynamics, as well as a phase of spontaneous crises whose origin can be understood using "semi-linear" dynamics.

We investigate a graph theoretic analog of geodesic geometry. In a graph $G=(V,E)$ we consider a system of paths $P=\{P_{u,v}| u,v\in V\}$ where $P_{u,v}$ connects vertices $u$ and $v$. This system is consistent in that if vertices $y,z$ are in $P_{u,v}$, then the sub-path of $P_{u,v}$ between them coincides with $P_{y,z}$. A map $w:E\to(0,\infty)$ is said to induce $P$ if for every $u,v\in V$ the path $P_{u,v}$ is $w$-geodesic. We say that $G$ is metrizable if every consistent path system is induced by some such $w$. As we show, metrizable graphs are very rare, whereas there exist infinitely many 2-connected metrizable graphs.
 

Successful navigation of the Covid-19 pandemic is predicated on public cooperation with safety measures and appropriate perception of risk, in which emotion and attention play important roles. Signatures of public emotion and attention are present in social media data, thus natural language analysis of this text enables near-to-real-time monitoring of indicators of public risk perception. We compare key epidemiological indicators of the progression of the pandemic with indicators of the public perception of the pandemic constructed from ∼20 million unique Covid-19-related tweets from 12 countries posted between 10th March and 14th June 2020. We find evidence of psychophysical numbing: Twitter users increasingly fixate on mortality, but in a decreasingly emotional and increasingly analytic tone. Semantic network analysis based on word co-occurrences reveals changes in the emotional framing of Covid-19 casualties that are consistent with this hypothesis. We also find that the average attention afforded to national Covid-19 mortality rates is modelled accurately with the Weber–Fechner and power law functions of sensory perception. Our parameter estimates for these models are consistent with estimates from psychological experiments, and indicate that users in this dataset exhibit differential sensitivity by country to the national Covid-19 death rates. Our work illustrates the potential utility of social media for monitoring public risk perception and guiding public communication during crisis scenarios.

We will survey an analogy between random integers and random permutations, which goes back to works of Erdős and Kac and of Billingsley.
This analogy inspired results and proofs about permutations, originating in the setting of integers, and vice versa.
Extensions of this analogy will be described, involving the generalized Ewens measure on permutations, based on joint work with D. Elboim.
If time permits, an analogous analogy, this time between random polynomials over a finite field and random permutations, will be discussed and formalized, with some applications.
 

We consider a chain of oscillators with one particle in contact with a thermostat at temperature T. The thermostat is modeled by a Langevin dynamics or a renewal of the velocity with a gaussian random variable with variance T. The dynamics of the oscillators is perturbed by a random exchange on velocities between nearest neighbor particles.
The (thermal) energy has a macroscopic superdiffusive behavior governed by a fractional heat equation (i.e. with a fractional Laplacian). The microscopic thermostat impose a particular boundary condition to the fractional Laplacian, corresponding to certain probabilities of transmission/reflection/absorption/creation for the corresponding superdiffusive Levy process.
This is from a series of works in collaboration with Tomazs Komorowski, Lenya Ryzhik, Herbert Spohn.

For an ordinary commutative Noetherian ring R we would define the singularity category to be the quotient of the (derived category of) finitely generated modules modulo the (derived category of) fg projective modules [``the bounded derived category modulo compact objects’’]. For a ring spectrum like C^*(BG) (coefficients in a field of characteristic p) it is easy to define the module category and the compact objects, but finitely generated objects need a new definition. The talk will describe the definition and show that the singularity category is trivial exactly when G is p-nilpotent. We will go on to describe the singularity category for groups with cyclic Sylow p-subgroup.

The idea of assigning weights to local coordinate functions is used in many areas of mathematics, such as singularity theory, microlocal analysis, sub-Riemannian geometry, or the theory of hypo-elliptic operators, under various terminologies. In this talk, I will describe some differential-geometric aspects of weightings along submanifolds. This includes a coordinate-free definition, and the construction of weighted normal bundles and weighted blow-ups. As an application, I will describe a canonical local model for isotropic embeddings in symplectic manifolds. (Based on joint work with Yiannis Loizides.)

I will discuss a class of generalized global symmetries, which we call “Chern-Weil global symmetries,” that arise ubiquitously in gauge theories. The Noether currents of these Chern-Weil global symmetries are given by wedge products of gauge field strengths and their conservation follows from Bianchi identities, so they are not easy to break. However, exact global symmetries should not be allowed in a consistent theory of quantum gravity. I will explain how these symmetries are typically gauged or broken in string theory. Interestingly, many familiar phenomena in string theory, such as axions, Chern-Simons terms, worldvolume degrees of freedom, and branes ending on or dissolving in other branes, can be interpreted as consequences of the absence of Chern-Weil symmetries in quantum gravity, suggesting that they might be general features of quantum gravity.

In this session, Ben Fehrman and Markus Upmeier will give their thoughts on how to deliver a good talk for a conference or a seminar and tips for what to do and what to avoid. There will be a particular emphasis on how to give a good talk online. 

Crystal Structure Prediction aims to reveal the properties that stable crystalline arrangements of a molecule have without stepping foot in a laboratory, consequently speeding up the discovery of new functional materials. Since it involves producing large datasets that themselves have little structure, an appropriate classification of crystals could add structure to these datasets and further streamline the process. We focus on geometric invariants, in particular introducing the density fingerprint of a crystal. After exploring its computations via Brillouin zones, we go on to show how it is invariant under isometries, stable under perturbations and complete at least for an open and dense space of crystal structures.