Past

Let C be an elliptic or hyperelliptic curve over a p-adic field K. Then C is equipped with a Galois representation, given by the action of the absolute Galois group of K on the Tate module of C. The behaviour of this representation depends on the reduction type of C. We will focus on the case of C having bad reduction, and acquiring potentially good reduction over a wildly ramified extension of K. We will show that, if C is an elliptic curve, the Galois representation can be completely determined in this case, thus allowing one to fully classify Galois representations attached to elliptic curves. Furthermore, the same can be done for a special family of hyperelliptic curves, obtaining a result which is surprisingly similar to that for the corresponding elliptic curves case.
 

Interacting particle systems have found diverse applications in mathematics and several related fields, including statistical physics, population dynamics, and machine learning.  We will focus, in particular, on the zero range process and the symmetric simple exclusion process.  The large-scale behavior of these systems is essentially deterministic, and is described in terms of a hydrodynamic limit.  However, the particle process does exhibit large fluctuations away from its mean.  Such deviations, though rare, can have significant consequences---such as a concentration of energy or the appearance of a vacuum---which make them important to understand and simulate.

In this talk, which is based on joint work with Benjamin Gess, I will introduce a continuum model for simulating rare events in the zero range and symmetric simple exclusion process.  The model is based on an approximating sequence of stochastic partial differential equations with nonlinear, conservative noise.  The solutions capture to first-order the central limit fluctuations of the particle system, and they correctly simulate rare events in terms of a large deviations principle.

The Yamabe problem asks whether, given a closed Riemannian manifold, one can find a conformal metric of constant scalar curvature (CSC). An affirmative answer was given by Schoen in 1984, following contributions from Yamabe, Trudinger, and Aubin, by establishing the existence of a function that minimizes the so-called Yamabe energy functional; the minimizing function corresponds to the conformal factor of the CSC metric.

We address the quantitative stability of minimizing Yamabe metrics. On any closed Riemannian manifold we show—in a quantitative sense—that if a function nearly minimizes the Yamabe energy, then the corresponding conformal metric is close to a CSC metric. Generically, this closeness is controlled quadratically by the Yamabe energy deficit. However, we construct an example demonstrating that this quadratic estimate is false in the general. This is joint work with Max Engelstein and Luca Spolaor.

I will give an overview of the interactions between chromatic homotopy theory and the algebraic K-theory of ring spectra, especially around the subject of Ausoni-Rognes's principle of "chromatic redshift," and some of the recent advances in this field.

Unlike for closed manifolds, the existence of positive scalar curvature (psc) metrics on connected manifolds with
nonempty boundary is unobstructed. We study and compare the spaces of psc metrics on such manifolds with various
conditions along the boundary: H ≥ 0, H = 0, H > 0, II = 0, doubling, product structure. Here H stands for the
mean curvature of the boundary and II for its second fundamental form. "Doubling" means that the doubled metric
on the doubled manifold (along the boundary) is smooth and "product structure" means that near the boundary the
metric has product form. We show that many, but not all of the obvious inclusions are weak homotopy equivalences.
In particular, we will see that if the manifold carries a psc metric with H ≥ 0, then it also carries one which is
doubling but not necessarily one which has product structure. This is joint work with Bernhard Hanke.

Chiral fermion anomalies in any spacetime dimension are computed by evaluating an eta-invariant on a closed manifold in one higher dimension. The APS index theorem then implies that both local and global gauge anomalies are detected by bordism invariants, each being classified by certain abelian groups that I will identify. Mathematically, these groups are connected via a short exact sequence that splits non-canonically. This enables one to relate global anomalies in one gauge theory to local anomalies in another, by which we revive (from the bordism perspective) an old idea of Elitzur and Nair for deriving global anomalies. As an example, I will show how the SU(2) anomaly in 4d can be derived from a local anomaly by embedding SU(2) in U(2).

An important open question in black hole thermodynamics is about the existence of a "mass gap" between an extremal black hole and the lightest near-extremal state within a sector of fixed charge. In this talk, I will discuss how to reliably compute the partition function of 4d Reissner-Nordstrom near-extremal black holes at temperature scales comparable to the conjectured gap. I will show that the density of states at fixed charge does not exhibit a gap in the simplest gravitational non-supersymmetric theories; rather, at the expected gap energy scale, we see a continuum of states whose meaning we will extensively discuss. Finally, I will present a similar computation for nearly-BPS black holes in 4d N=2 supergravity. As opposed to their non-supersymmetric counterparts, such black holes do in fact exhibit a gap consistent with various string theory predictions.

The talk will discuss the use of mathematical models for understanding targeted cancer therapies. One area of focus is the treatment of chronic lymphocytic leukemia with tyrosine kinase inhibitors. I will explore how mathematical approaches have helped elucidate the mechanism of action of the targeted drug ibrutinib, and will discuss how evolutionary models, based on patient-specific parameters, can make individualized predictions about treatment outcomes. Another focus of the talk is the use of oncolytic viruses to kill cancer cells and drive cancers into remission. These are viruses that specifically infect cancer cells and spread throughout tumors. I will discuss mathematical models applied to experimental data that analyze virus spread in a spatially structured setting, concentrating on the interactions of the virus with innate immune mechanisms that determine the outcome of virus spread.  

Mathematicians need to talk and write about their mathematics.  This includes undergraduates and MSc students, who might be writing a dissertation or project report, preparing a presentation on a summer research project, or preparing for a job interview.  It can be helpful to think of this as a form of storytelling, as this can lead to more effective communication.  For a story to be engaging you also need to know your audience.  In this interactive session, we'll discuss what we mean by telling a mathematical story, give you some top tips from our experience, and give you a chance to think about how you might put this into practice.

This is an elementary talk introducing the rational Cherednik algebra and its representations. Especially, we are interested in the case of complex reflection group. A tool called the Dunkl-Opdam subalgebra is used to decompose the standard modules into weight spaces and to construct the correspondence with the partitions of integers. If time allows, we might explore the concept of unitary representation and what condition a representation needs to satisfy to be qualified as one.

Digital data capture is the backbone of all modern day systems and “Digital Revolution” has been aptly termed as the Third Industrial Revolution. Underpinning the digital representation is the Shannon-Nyquist sampling theorem and more recent developments include compressive sensing approaches. The fact that there is a physical limit to which sensors can measure amplitudes poses a fundamental bottleneck when it comes to leveraging the performance guaranteed by recovery algorithms. In practice, whenever a physical signal exceeds the maximum recordable range, the sensor saturates, resulting in permanent information loss. Examples include (a) dosimeter saturation during the Chernobyl reactor accident, reporting radiation levels far lower than the true value and (b) loss of visual cues in self-driving cars coming out of a tunnel (due to sudden exposure to light). 

To reconcile this gap between theory and practice, we introduce the Unlimited Sensing framework or the USF that is based on a co-design of hardware and algorithms. On the hardware front, our work is based on a radically different analog-to-digital converter (ADC) design, which allows for the ADCs to produce modulo or folded samples. On the algorithms front, we develop new, mathematically guaranteed recovery strategies.  

In the first part of this talk, we prove a sampling theorem akin to the Shannon-Nyquist criterion. We show that, remarkably, despite the non-linearity in sensing pipeline, the sampling rate only depends on the signal’s bandwidth. Our theory is complemented with a stable recovery algorithm. Beyond the theoretical results, we will also present a hardware demo that shows our approach in action.

Moving further, we reinterpret the unlimited sensing framework as a generalized linear model that motivates a new class of inverse problems. We conclude this talk by presenting new results in the context of single-shot high-dynamic-range (HDR) imaging, sensor array processing and HDR tomography based on the modulo Radon transform.

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.