Week 24.03.2025 – 29.03.2025

Symmetry plays an important role in quantum systems: it can constrain the dynamics, give rise to selection rules, and provide computation methods in quantum computers. In recent years there are also new types of symmetries called generalized symmetries discovered in many quantum systems, including non-invertible symmetry and higher group symmetry. These lectures will be about symmetries in various quantum systems and their applications such as constraints on the low energy dynamics. Examples will be discussed in the lectures include quantum mechanics systems, gauge theories, lattice models, and the symmetry includes ordinary and higher form symmetry as well non-invertible symmetry.

Thermalization is the process by which a physical system evolves toward a state of maximal entropy, as permitted by conservation laws. I will begin by outlining the framework used to understand this phenomenon in quantum systems with unitary evolution (Eigenstate Thermalization Hypothesis). Next, I will discuss factors that can hinder or slow down thermalization. One example is long-lived prethermalization, where certain effective (or pseudo-conserved) quantities significantly delay thermalization depending on specific model parameters. This theory is particularly relevant for periodically driven systems, which can exhibit remarkable resistance to heating over extended timescales. I will then explore the possibility of systems that robustly fail to thermalize. Here, robustness refers to the fact that no fine-tuning is required, in contrast with integrable models. Many-body localization (MBL) is the most well-known, and possibly the only example of systems that fail to thermalize on their own. I will examine MBL from both theoretical and numerical perspectives, covering its description in terms of local integrals of motion, the destabilizing effect of quantum avalanches, and recent mathematical advancements. These later developments are welcome given the challenges in properly interpreting numerical results in this field.

Motivated by statistical applications, I will illustrate aspects of excursion theory for the Wright--Fisher diffusion with recurrent mutation, a fundamental model playing a central role in population genetics. The structure is intermediate between the classical excursion theory, where all excursions begin and end at a single point, and the more general approach considering excursions of processes from general sets. Since the Wright--Fisher diffusion has two boundary points, it is natural to construct excursions which start from a specified boundary point, and end at one of two boundary points which determine the next starting point. In order to do this we study the killed Wright--Fisher diffusion, which is sent to a cemetery state whenever it hits either endpoint. Several identities for excursion measures and hitting time distributions will be described both via special function theory and via the coalescent dual.

Deterministic mathematical models, such as those specified via differential equations, are a powerful tool to communicate scientific insight. However, such models are necessarily simplified descriptions of the real world. Generalised Bayesian methodologies have been proposed for inference with misspecified models, but these are typically associated with vanishing parameter uncertainty as more data are observed. In the context of a misspecified deterministic mathematical model, this has the undesirable consequence that posterior predictions become deterministic and certain, while being incorrect. Taking this observation as a starting point, we propose Prediction-Centric Uncertainty Quantification, where a mixture distribution based on the deterministic model confers improved uncertainty quantification in the predictive context. Computation of the mixing distribution will be cast as a (regularised) gradient flow of the maximum mean discrepancy (MMD), enabling consistent numerical approximations to be obtained. The idea will be illustrated using a model of protein signalling in cell biology.

We frame dynamic persuasion in a partial observation stochastic control Leader-Follower game with an ergodic criterion. The Receiver controls the dynamics of a multidimensional unobserved state process. Information is provided to the Receiver through a device designed by the Sender that generates the observation process. The commitment of the Sender is enforced.
We develop this approach in the case where all dynamics are linear and the preferences of the Receiver are linear-quadratic. We prove a verification theorem for the existence and uniqueness of the solution of the HJB equation satisfied by the Receiver’s value function. An extension to the case of persuasion of a mean field of interacting Receivers is also provided.
We illustrate this approach in two applications: the provision of information to electricity consumers with a smart meter designed by an electricity producer\DSEMIC the information provided by carbon footprint accounting rules to companies engaged in a best-in-class emissions reduction effort. In the first application, we link the benefits of information provision to the mispricing of electricity production. In the latter, we show that even in the absence of information cost, it might be optimal for the regulator to blur information available to firms to prevent them from coordinating on a higher level of carbon footprint to reduce their cost of reaching a below average emission target.

I will discuss three different constructions of smooth tori in S^4 whose complements have fundamental group Z: turned 1-twist-spun tori due to Boyle, the union of a ribbon disc with a genus one Seifert surface constructed by Cochran and Davis, and certain tori with four critical points. They are all topologically unknotted, but it is not known whether they are smoothly standard, except for tori with four critical points whose middle level set is a split link. The branched double cover of S^4 along any of these surfaces is a potentially exotic copy of S^2 x S^2, though, in the case of Boyle's example, it cannot be distinguished from the standard S^2 x S^2 using Seiberg-Witten invariants. This is joint work with Mark Powell.

For almost four decades, PROMYS has been synonymous with deep exploratory mathematical learning for talented secondary school students and their teachers. In this presentation we will discuss the history of PROMYS and its underlying principles as well as strategies for developing mathematical habits of mind that encourage creativity and innovation. We will also share ideas for new outreach efforts, currently in development, designed to serve local students from underserved populations in the Boston area.

I will discuss the M2-brane partition function for large class of asymptotically locally AdS_4 x S^7 spacetimes. I will show how supersymmetry localises the M2-brane position to a fixed point of an R-symmetry Killing vector. I will then discuss the one-loop partition function of instantonic M2-branes and show that it is assembled out of building blocks familiar to 3D supersymmetric quantum field theories. I will close out with a discussion of possible one-loop exactness of the answer and what it means for supersymmetric localisation of the M2-brane partition function.

We provide a brief introduction to the theory of causal transport and adapted Wasserstein distances. In particular, we explore recent applications in mathematical finance and nonlinear optimal transport. Additionally, we highlight open questions and future research directions in the field.