Past

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.

The interplay between fluid flows and fractures is ubiquitous in Nature and technology, from hydraulic fracturing in the shale formation to supraglacial lake drainage in Greenland and hydrofracture on Antarctic ice shelves.

In this talk I will discuss the above three examples, focusing on the scaling laws and their agreement with lab experiments and field observations. As climate warms, the meltwater on Antarctic ice shelves could threaten their structural integrity through propagation of water-driven fractures. We used a combination of machine learning and fracture mechanics to understand the stability of fractures on ice shelves. Our result also indicates that as meltwater inundates the surface of ice shelves in a warm climate, their collapse driven by hydrofracture could significantly influence the flow of the Antarctic Ice Sheets. 

The well-known Schur-Weyl duality provides a link between the representation theories of the general linear group $GL_n$ and the symmetric group $S_r$ by studying tensor space $(\mathbb{C}^n)^{\otimes r}$ as a ${(GL_n,S_r)}$-bimodule. We will discuss a few variations of this idea which replace $GL_n$ with some other interesting algebraic object (e.g. O$_n$ or $S_n$) and $S_r$ with a so-called diagram algebra. If time permits, we will also briefly look at how this can be used to define Deligne's category which 'interpolates' Rep($S_t$) for any complex number $t \in \mathbb{C}$.

Human life expectancy has been increasing steadily over the last century but this has resulted in an increasing incidence of age-related chronic diseases. Over 60% of people over the age of 65 will suffer from more than one disease at the same time (multimorbidity) and 25-50% of those over 80 years old develop frailty, defined as an accumulation of deficits and loss of reserve. Multimorbidity and frailty have complex medical needs and are strongly associated with disability and hospitalization. However, current treatments are suboptimal with problems of polypharmacy due to the fact that each disease is treated individually. Geroprotectors target fundamental mechanisms of ageing common to multiple age-related diseases and shows promise in delaying the onset of multimorbidity and frailty in animal models. However, their clinical testing in patients has been challenging due to the high level of complexity in the mode of action of geroprotectors and in the way multimorbidity and frailty develop.

 The talk will give an overview of these problems and make the case for the use of AI approaches to solve some of those complex issues with a view of designing appropriate clinical trials with geroprotectors to prevent age-related multimorbidity and frailty and extend healthspan.

Recent advances in computing power and the potential to make more realistic assumptions due to increased flexibility have led to the increased prevalence of simulation models in economics. While models of this class, and particularly agent-based models, are able to replicate a number of empirically-observed stylised facts not easily recovered by more traditional alternatives, such models remain notoriously difficult to estimate due to their lack of tractable likelihood functions. While the estimation literature continues to grow, existing attempts have approached the problem primarily from a frequentist perspective, with the Bayesian estimation literature remaining comparatively less developed. For this reason, we introduce a widely-applicable Bayesian estimation protocol that makes use of deep neural networks to construct an approximation to the likelihood, which we then benchmark against a prominent alternative from the existing literature.
 

Computer-based simulation of partial differential equations (PDEs) involves approximating the unknowns and relies on suitable description of geometrical entities such as the computational domain and its properties. The Finite Element Method (FEM) is by large the most popular technique for the computer-based simulation of PDEs and hinges on the assumption that discretized domain and unknown fields are both represented by piecewise polynomials, on tetrahedral or hexahedral partitions. In reality, the simulation of PDEs is a brick within a workflow where, at the beginning, the geometrical entities are created, described and manipulated with a geometry processor, often through Computer-Aided Design systems (CAD), and then used for the simulation of the mechanical behaviour of the designed object. This workflow is often repeated many times as part of a shape optimisation loop. Within this loop, the use of FEM on CAD geometries (which are mainly represented through their boundaries) calls then for (re-) meshing and re-interpolation techniques that often require human intervention and result in inaccurate solutions and lack of robustness of the whole process. In my talk, I will present the mathematical counterpart of this problem, I will discuss the mismatch in the mathematical representations of geometries and PDEs unknowns and introduce a promising framework where geometric objects and PDEs unknowns are represented in a compatible way. Within this framework, the challenges to be addressed in order to construct robust PDE solvers are many and I will discuss some of them. Mathematical results will besupported by numerical validation.

This talk will be three short stories on the general theme of elastic
instabilities in soft solids. First I will discuss the inflation of a
cylindrical cavity through a bulk soft solid, and show that such a
channel ultimately becomes unstable to a finite wavelength peristaltic
undulation. Secondly, I will introduce the elastic Rayleigh Plateau
instability, and explain that it is simply 1-D phase separation, much
like the inflationary instability of a cylindrical party balloon. I will
then construct a universal near-critical analytic solution for such 1-D
elastic instabilities, that is strongly reminiscent of the
Ginzberg-Landau theory of magnetism. Thirdly, and finally, I will
discuss pattern formation in layer-substrate buckling under equi-biaxial
compression, and argue, on symmetry grounds, that such buckling will
inevitably produce patterns of hexagonal dents near threshold.

Totally geodesic submanifolds are perhaps one of the easiest types of submanifolds of Riemannian manifolds one can study, since a maximal totally geodesic submanifold is completely determined by any one of its points and the tangent space at that point. It comes as a bit of a surprise then that classification of such submanifolds — up to an ambient isometry — is a nightmarish and widely open question, even on such a manageable and well-understood class of Riemannian manifolds as symmetric spaces.

We will discuss the theory of totally geodesic submanifolds of symmetric spaces and see that any maximal such submanifold is homogeneous and thus can be completely encoded by some Lie algebraic data called a 'Lie triple'. We will then talk about the duality between symmetric spaces of compact and noncompact type and discover that there is a one-to-one correspondence between totally geodesic submanifolds of a symmetric space and its dual. Finally, we will touch on the known classification in rank one symmetric spaces, namely in spheres and projective/hyperbolic spaces over real normed division algebras. Time permitting, I will demonstrate how all this business comes in handy in other geometric problems on symmetric spaces, e. g. in classification of isometric cohomogeneity one actions.

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

The course covers the standard material on nonlinear wave equations, including local existence, breakdown criterion, global existence for small data for semi-linear equations, and Strichartz estimate if time allows.

We will discuss a generalisation of hyperbolic groups, from the group actions point of view. By studying torsion, we will see how this can help to answer questions about ordinary hyperbolic groups.

A quantum circuit defines a discrete-time evolution for a set of quantum spins/qubits, via a sequence of unitary 'gates’ coupling nearby spins. I will describe how random quantum circuits, where each gate is a random unitary matrix, serve as minimal models for various universal features of many-body dynamics. These include the dynamical generation of entanglement between distant spatial regions, and the quantum "butterfly effect". I will give a very schematic overview of mappings that relate averages in random circuits to the classical statistical mechanics of random paths. Time permitting, I will describe a new phase transition in the dynamics of a many-body wavefunction, due to repeated measurements by an external observer.

I will introduce product structure theory of graphs and show how families of graphs that have such a structure admit short adjacency labeling scheme and small induced universal graphs. Time permitting, I will talk about another recent application of product structure theory, namely vertex ranking (coloring).

A wide variety of fixed-point iterative methods for the solution of nonlinear operator equations in Hilbert spaces exists. In many cases, such schemes can be interpreted as iterative local linearisation methods, which can be obtained by applying a suitable preconditioning operator to the original (nonlinear) equation. Based on this observation, we will derive a unified abstract framework which recovers some prominent iterative methods. It will be shown that for strongly monotone operators this unified iteration scheme satisfies an energy contraction property. Consequently, the generated sequence converges to a solution of the original problem.

--

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.

Point cloud registration is the task of finding the transformation that aligns two data sets. We make the assumption that the data lies on a low-dimensional algebraic variety.  The task is phrased as an optimization problem over the special orthogonal group of rotations. We solve this problem using Riemannian optimization algorithms and show numerical examples that illustrate the efficiency of this approach for point cloud registration. 

--

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.

We consider the random directed graph $D(n,p)$ with vertex set $\{1,2,…,n\}$ in which each of the $n(n-1)$ possible directed edges is present independently with probability $p$. We are interested in the strongly connected components of this directed graph. A phase transition for the emergence of a giant strongly connected component is known to occur at $p = 1/n$, with critical window $p = 1/n + \lambda n-4/3$ for $\lambda \in \mathbb{R}$. We show that, within this critical window, the strongly connected components of $D(n,p)$, ranked in decreasing order of size and rescaled by $n-1/3$, converge in distribution to a sequence $(C_1,C_2,\ldots)$ of finite strongly connected directed multigraphs with edge lengths which are either 3-regular or loops. The convergence occurs in the sense of an $L^1$ sequence metric for which two directed multigraphs are close if there are compatible isomorphisms between their vertex and edge sets which roughly preserve the edge lengths. Our proofs rely on a depth-first exploration of the graph which enables us to relate the strongly connected components to a particular spanning forest of the undirected Erdős-Rényi random graph $G(n,p)$, whose scaling limit is well understood. We show that the limiting sequence $(C_1,C_2,\ldots)$ contains only finitely many components which are not loops. If we ignore the edge lengths, any fixed finite sequence of 3-regular strongly connected directed multigraphs occurs with positive probability.

The science of cities seeks to understand and explain regularities observed in the world's major urban systems. Modelling the population evolution of cities is at the core of this science and of all urban studies. Quantitatively, the most fundamental problem is to understand the hierarchical organization of cities and the statistical occurrence of megacities, first thought to be described by a universal law due to Zipf, but whose validity has been challenged by recent empirical studies. A theoretical model must also be able to explain the relatively frequent rises and falls of cities and civilizations, and despite many attempts these fundamental questions have not been satisfactorily answered yet. Here we fill this gap by introducing a new kind of stochastic equation for modelling population growth in cities, which we construct from an empirical analysis of recent datasets (for Canada, France, UK and USA) that reveals how rare but large interurban migratory shocks dominate city growth. This equation predicts a complex shape for the city distribution and shows that Zipf's law does not hold in general due to finite-time effects, implying a more complex organization of cities. It also predicts the existence of multiple temporal variations in the city hierarchy, in agreement with observations. Our result underlines the importance of rare events in the evolution of complex systems and at a more practical level in urban planning.

arXiv link: https://arxiv.org/abs/2011.09403

Topological data analysis is a growing area of research where topology and geometry meets data analysis. Many data science problems have a geometric flavor, and thus computational tools like persistent homology and Mapper were often found to be useful. Domains of applications include cosmology, material science, diabetes and cancer research. We will discuss some main tools of the field and some prominent applications.

Spacetimes with compact directions play an important role in supergravity and string theory. The simplest such example is the Kaluza-Klein spacetime, where the compact space is a flat torus. An interesting question to ask is whether this spacetime, when viewed as an initial value problem, is stable to small perturbations of initial data. In this talk I will discuss the global, non-linear stability of the Kaluza-Klein spacetime to toroidal-independent perturbations and the particular nonlinear structure appearing in the associated PDE system.

Chowla's conjecture from the 1960s is the assertion that the Möbius function does not correlate with its own shifts. I'll discuss some recent works where with collaborators we have made progress on this conjecture.

For some nonlocal PDEs, its steady states can be seen as critical points of an associated energy functional. Therefore, if one can construct perturbations around a function such that the energy decreases to first order along the perturbation, this function cannot be a steady state. In this talk, I will discuss how this simple variational approach has led to some recent progresses in the following equations, where the key is to carefully construct a suitable perturbation.

I will start with the aggregation-diffusion equation, which is a nonlocal PDE driven by two competing effects: nonlinear diffusion and long-range attraction. We show that all steady states are radially symmetric up to a translation (joint with Carrillo, Hittmeir and Volzone), and give some criteria on the uniqueness/non-uniqueness of steady states within the radial class (joint with Delgadino and Yan).

I will also discuss the 2D Euler equation, where we aim to understand under what condition must a stationary/uniformly-rotating solution be radially symmetric. Using a variational approach, we settle some open questions on the radial symmetry of rotating patches, and also show that any smooth stationary solution with compactly supported and nonnegative vorticity must be radial (joint with Gómez-Serrano, Park and Shi).