Past

Classical ramification theory deals with complete discrete valuation fields k((X)) with perfect residue fields k. Invariants such as the Swan conductor capture important information about extensions of these fields. Many fascinating complications arise when we allow non-discrete valuations and imperfect residue fields k. Particularly in positive residue characteristic, we encounter the mysterious phenomenon of the defect (or ramification deficiency). The occurrence of a non-trivial defect is one of the main obstacles to long-standing problems, such as obtaining resolution of singularities in positive characteristic.

Degree p extensions of valuation fields are building blocks of the general case. In this talk, we will present a generalization of ramification invariants for such extensions and discuss how this leads to a better understanding of the defect. If time permits, we will briefly discuss their connection with some recent work (joint with K. Kato) on upper ramification groups.

Zarankiewicz's problem for hypergraphs asks for upper bounds on the number of edges of a hypergraph that has no complete sub-hypergraphs of a given size. Let M be an o-minimal structure. Basit-Chernikov-Starchenko-Tao-Tran (2021) proved that the following are equivalent:

(1) "linear Zarankiewicz's bounds" hold for hypergraphs whose edge relation is induced by a fixed relation definable in M

(2) M does not define an infinite field.

We prove that the following are equivalent:

(1') linear Zarankiewicz bounds hold for sufficiently "distant" hypergraphs whose edge relation is induced by a fixed relation definable in M

(2') M does not define a full field (that is, one whose domain is the whole universe of M).

This is joint work (in progress) with Aris Papadopoulos.

After a brief introduction, I elucidate a technique, dubbed "bootstrap'', which generates an infinite family of D_p(G) theories, where for a given arbitrary group G and a parameter b, each theory in the same family has the same number of mass parameters, same number of marginal deformations, same 1-form symmetry, and same 2-group structure. This technique is utilized to establish the presence or absence of the 2-group symmetries in several classes of D_p(G) theories. I, then, argue that we found the presence of 2-group symmetries in a class of Argyres-Douglas theories, called D_p(USp(2N)), which can be realized by Z_2-twisted compactification of the 6d N=(2,0) of the D-type on a sphere with an irregular twisted puncture and a regular twisted full puncture. I will also discuss the 3d mirror theories of general D_p(USp(2N)) theories that serve as an important tool to study their flavor symmetry and Higgs branch.

For the first time, a method has become available for fast computation of near-best rational approximations on arbitrary sets in the real line or complex plane: the AAA algorithm (Nakatsukasa-Sète-T. 2018).  After a brief presentation of the algorithm this talk will focus on twenty demonstrations of the kinds of things we can do, all across applied mathematics, with a black-box rational approximation tool.
 

The formulation of Mean Field Games (MFG) via partial differential equations typically requires continuous differentiability of the Hamiltonian in order to determine the advective term in the Kolmogorov--Fokker--Planck equation for the density of players. However, in many cases of practical interest, the underlying optimal control problem may exhibit bang-bang controls, which typically lead to nondifferentiable Hamiltonians. In this talk we will present results on the analysis and numerical approximation of stationary second-order MFG systems for the general case of convex, Lipschitz, but possibly nondifferentiable Hamiltonians. In particular, we will propose a generalization of the MFG system as a Partial Differential Inclusion (PDI) based on interpreting the derivative of the Hamiltonian in terms of subdifferentials of convex functions. We present results that guarantee the existence of unique weak solutions to the stationary MFG PDI under a monotonicity condition similar to one that has been considered previously by Lasry and Lions. Moreover, we will propose a monotone finite element discretization of the weak formulation of the MFG PDI, and present results that confirm the strong H^1-norm convergence of the approximations to the value function and strong L^q-norm convergence of the approximations to the density function. The performance of the numerical method will be illustrated in experiments featuring nonsmooth solutions. This talk is based on joint work with my supervisor Iain Smears.

In this talk I will discuss our recent work on two problems. The first problem concerns with capillary rise between rough structures, a fundamental wetting phenomenon that is functionalised in biological organisms and prevalent in geological or man-made materials. Predicting the liquid rise height is more complex than currently considered in the literature because it is necessary to couple two wetting phenomena: capillary rise and hemiwicking. Experiments, simulations and analytic theory demonstrate how this coupling challenges our conventional understanding and intuitions of wetting and roughness. For example, the critical contact angle for hemiwicking becomes separation-dependent so that hemiwicking can vanish for even highly wetting liquids. The rise heights for perfectly wetting liquids can also be different in smooth and rough systems. The second problem concerns with droplets (or condensates) formed via a liquid-liquid phase separation process in biological cells. Despite the widespread importance of surface tension for the interactions between these droplets and other cellular components, there is currently no reliable technique for their measurement in live cells. To address this, we develop a high-throughput flicker spectroscopy technique. Applying it to a class of cellular droplets known as stress granules, we find their interface fluctuations cannot be described by surface tension alone. It is necessary to consider elastic bending deformation and a non-spherical base shape, suggesting that stress granules are viscoelastic droplets with a structured interface, rather than simple Newtonian liquids. Moreover, given the broad distributions of surface tension and bending rigidity observed, different types of stress granules can only be differentiated via large-scale surveys, which was not possible previously and our technique now enables.

We survey the theory of $\ell^2$-invariants, their applications in group theory and topology, and introduce a positive characteristic version of $\ell^2$-theory. We also discuss the Atiyah and Lück approximation conjectures, two of the central problems in this area.

Equivariant Jiang-Su stability is an important regularity property for group actions on C*-algebras.  In this talk, I will explain this property and how it arises naturally in the context of the classification of C*-algebras and their actions. Depending on the time, I will then explain a bit more about the nature of equivariant Jiang- Su stability and the kind of techniques that are used to study it, including a recent result of Gábor Szabó and myself establishing an equivalence with equivariant property Gamma under certain conditions.
 

Neural networks are the most practically successful class of models in modern machine learning, but there are considerable gaps in the current theoretical understanding of their properties and success. Several authors have applied models and tools from random matrix theory to shed light on a variety of aspects of neural network theory, however the genuine applicability and relevance of these results is in question. Most works rely on modelling assumptions to reduce large, complex matrices (such as the Hessians of neural networks) to something close to a well-understood canonical RMT ensemble to which all the sophisticated machinery of RMT can be applied to yield insights and results. There is experimental work, however, that appears to contradict these assumptions. In this talk, we will explore what can be derived about neural networks starting from RMT assumptions that are much more general than considered by prior work. Our main results start from justifiable assumptions on the local statistics of neural network Hessians and make predictions about their spectra than we can test experimentally on real-world neural networks. Overall, we will argue that familiar ideas from RMT universality are at work in the background, producing practical consequences for modern deep neural networks.

Consider a random group $\Gamma$ with $k$ generators and $r$ random relators of large length $N$. We study the geometry of the character variety of $\Gamma$ with values in $\SL(2,\C)$ or more generally any semisimple Lie group $G$. This is the moduli space of group homomorphisms from $\Gamma$ to $G$ up to conjugation. We are in particular able to determine its dimension, number of components and Galois group, with an excellent control on the probability of exceptions. The proofs use effective Chebotarev type theorems as well as new spectral gap bounds  for Cayley graphs of finite simple groups. They are also conditional on GRH. Joint work with Peter Varju and Oren Becker.

A 1-independent bond percolation model on a graph $G$ is a probability distribution on the spanning subgraphs of $G$ in which, for all vertex-disjoint sets of edges $S_1$ and $S_2$, the states (i.e. present or not present) of the edges in $S_1$ are independent of the states of the edges in $S_2$. Such models typically arise in renormalisation arguments applied to independent percolation models, or percolation models with finite range dependencies. A 1-independent model is said to percolate if the random subgraph has an infinite component with positive probability. In 2012 Balister and Bollobás defined $p_{\textrm{max}}(G)$ to be the supremum of those $p$ for which there exists a 1-independent bond percolation model on $G$ in which each edge is present in the random subgraph with probability at least $p$ but which does not percolate. A fundamental and challenging problem in this area is to determine, or give good bounds on, the value of $p_{\textrm{max}}(G)$ when $G$ is the lattice graph $\mathbb{Z}^2$. Since $p_{\textrm{max}}(\mathbb{Z}^n)\leq p_{\textrm{max}}(\mathbb{Z}^{n-1})$, it is also of interest to establish the value of $\lim_{n\to\infty}p_{\textrm{max}}(\mathbb{Z}^n)$.

In this talk we will present a significantly improved upper bound for this limit as well as improved upper and lower bounds for $p_{\textrm{max}}(\mathbb{Z}^2)$. We will also show that with high confidence we have $p_{\textrm{max}}(\mathbb{Z}^n)<p_{\textrm{max}}(\mathbb{Z}^2)$ for large $n$ and discuss some open problems concerning 1-independent models on other graphs.

This is joint work with Tom Johnston and Alex Scott.

Harish-Chandra's Lefschetz principle suggests that representations of real and p-adic split reductive groups are closely related, even though the methods used to study these groups are quite different. The local Langlands correspondence (as formulated by Vogan) indicates that these representation theoretic relationships stem from geometric relationships between real and p-adic Langlands parameters. In this talk we will discuss how the geometric structure of real and p-adic Langlands parameters lead to functorial relationships between representations of real and p-adic groups. I will describe work in progress which applies this functoriality to the study of unitary representations and signatures of invariant hermitian forms for GL(n). The main result expresses signatures of invariant hermitian forms on graded affine Hecke algebra modules in terms of signature characters of Harish-Chandra modules, which are computable via the unitary algorithm for real reductive groups by Adams-van Leeuwen-Trapa-Vogan.

Molecules can be broken apart with a high-powered laser or an electron beam. The position of charged fragments can then be detected on a screen. From the mass to charge ratio, the identity of the fragments can be determined. The covariance of two fragments then gives us the projection of a distribution related to the initial scattering distribution. We formulate the mathematical transformation from the scattering distribution to the covariance distribution obtained from experiments. We expand the scattering distribution in terms of basis functions to obtain a linear system for the coefficients, which we use to solve the inverse problem. Finally, we show the result of our method on three examples of test data, and also with experimental data.

The synthetic theory of Ricci curvature lower bounds introduced more than 15 years ago by Lott-Sturm-Villani has been largely succesful in describing the geometry of metric measure spaces. However, this theory fails to include sub-Riemannian manifolds (an important class of metric spaces, the simplest example being the so-called Heisenberg group). Motivated by Villani's ``great unification'' program, in this talk we propose an extension of Lott-Sturm-Villani's theory, which includes sub-Riemannian geometry. This is a joint work with Barilari (Padua) and Mondino (Oxford). The talk is intended for a general audience, no previous knowledge of optimal transport or sub-Riemannian geometry is required.

The Balog-Szemerédi-Gowers theorem is a powerful tool in additive combinatorics, that allows one to roughly convert any “large energy” estimate into a “small sumset” estimate. This has found applications in a lot of results in additive combinatorics and other areas. In this talk, we will provide a friendly introduction and overview of this result, and then discuss some proof ideas. No hardcore additive combinatorics pre-requisites will be assumed.

I will present classification results for 4-manifolds with boundary and infinite cyclic fundamental group, obtained in joint work with Anthony Conway and with Conway and Lisa Piccirillo.  Time permitting, I will describe applications to knotted surfaces in simply connected 4-manifolds, and to investigating the difference between the relations of homotopy equivalence and stable homeomorphism. These will also draw on work with Patrick Orson and with Conway,  Diarmuid Crowley, and Joerg Sixt.

In this talk, we consider differential equations perturbed by multiplicative fractional Brownian noise. Depending on the value of the Hurst parameter $H$, the resulting equation is pathwise viewed as an ordinary ($H>1$), Young  ($H \in (1/2, 1)$) or rough  ($H \in (1/3, 1/2)$) differential equation. In all three regimes we show regularisation by noise phenomena by proving the strongest kind of well-posedness  for equations with irregular drifts: strong existence and path-by-path uniqueness. In the Young and smooth regime $H>1/2$ the condition on the drift coefficient is optimal in the sense that it agrees with the one known for the additive case.

In the rough regime $H\in(1/3,1/2)$ we assume positive but arbitrarily small drift regularity for strong 
well-posedness, while for distributional drift we obtain weak existence. 

This is a joint work with Máté Gerencsér.

We study the problem of determining when a compact group can be realized as the group of isometries of a norm on a finite dimensional real vector space.  This problem turns out to be difficult to solve in full generality, but we manage to understand the connected groups that arise as connected components of isometry groups. The classification we obtain is related to transitive actions on spheres (Borel, Montgomery-Samelson) on the one hand and to prehomogeneous spaces (Vinberg, Sato-Kimura) on the other. (joint work with Martin Liebeck, Assaf Naor and Aluna Rizzoli)

According to the correspondence principle, classical physics emerges in the limit of large quantum numbers. We examine three examples of the semiclassical description of conformal field theory data: large charge boundary operators in the O(2) model, large spin impurities in the free triplet scalar field theory and large charge Wilson lines in QED. By simultaneously taking the coupling to zero and quantum numbers to infinity, we can connect the microscopic to the emergent classical description smoothly.

Abstract: 

Welcome (back) to Fridays@4! To start the new academic year in this session we’ll introduce what Fridays@4 is for our new students and colleagues. This session will be a chance to meet current students and ECRs from across Maths and Stats who will share their hints and tips on conducting successful research in Oxford. There will be lots of time for questions, discussions and generally meeting more people across the two departments – everyone is welcome!

Discrete structures have a long history of use in applied mathematics. Graphs and hypergraphs provide models of social networks, biological systems, academic collaborations, and much more. Network science, and more recently hypernetwork science, have been used to great effect in analyzing these types of discrete structures. Separately, the field of applied topology has gathered many successes through the development of persistent homology, mapper, sheaves, and other concepts. Recent work by our group has focused on the convergence of these two areas, developing and applying topological concepts to study discrete structures that model real data.

This talk will survey our body of work in this area showing our work in both the theoretical and applied spaces. Theory topics will include an introduction to hypernetwork science and its relation to traditional network science, topological interpretations of graphs and hypergraphs, and dynamics of topology and network structures. I will show examples of how we are applying each of these concepts to real data sets.

Cell fate decision-making is responsible for development and homeostasis, and is dysregulated in disease. Despite great promise, we are yet to harness the high-resolution cell state information that is offered by single-cell genomics data to understand cell fate decision-making as it is controlled by gene regulatory networks. We describe how we leveraged joint dynamics + genomics measurements in single cells to develop a new framework for single-cell-informed Bayesian parameter inference of Ca2+ pathway dynamics in single cells. This work reveals a mapping from transcriptional state to dynamic cell fate. But no cell is an island: cell-internal gene regulatory dynamics act in concert with external signals to control cell fate. We developed a multiscale model to study the effects of cell-cell communication on gene regulatory network dynamics controlling cell fates in hematopoiesis. Specifically, we couple cell-internal ODE models with a cell signaling model defined by a Poisson process. We discovered a profound role for cell-cell communication in controlling the fates of single cells, and show how our results resolve a controversy in the literature regarding hematopoietic stem cell differentiation. Overall, we argue for the need to consider single-cell-resolved models to understand and predict the fates of cells.

For positive integers $k$ and $n$ let $\sigma_k(n)$ denote the sum of the $k$th powers of the divisors of $n$. Erd\H{o}s and Kac conjectured that, for every $k$, the number $\alpha_k = \sum_{n\geq 1} \frac{\sigma_k(n)}{n!}$ is irrational. This is known conditionally for all $k$ assuming difficult conjectures like the Hardy-Littlewood prime $k$-tuples conjecture. Before our work it was known unconditionally that $\alpha_k$ is irrational if $k\leq 3$. We discuss some of the ideas in our recent proof that $\alpha_4$ is irrational. The proof involves sieve methods and exponential sum estimates.

Theory of mean-field games (MFGs) has recently experienced an exponential growth. Existing analytical approaches to find Nash equilibrium (NE) solutions for MFGs are, however, by and large restricted to contractive or monotone settings, or rely on the uniqueness of the NE. We propose a new mathematical paradigm to analyze discrete-time MFGs without any of these restrictions. The key idea is to reformulate the problem of finding NE solutions in MFGs as solving an equivalent optimization problem, called MF-OMO (Mean-Field Occupation Measure Optimization), with bounded variables and trivial convex constraints. It is built on the classical work of reformulating a Markov decision process as a linear program, and by adding the consistency constraint for MFGs in terms of occupation measures, and by exploiting the complementarity structure of the linear program. This equivalence framework enables finding multiple (and possibly all) NE solutions of MFGs by standard algorithms such as projected gradient descent, and with convergence guarantees under appropriate conditions. In particular, analyzing MFGs with linear rewards and with mean-field independent dynamics is reduced to solving a finite number of linear programs, hence solvable in finite time. This optimization reformulation of MFGs can be extended to variants of MFGs such as personalized MFGs.

I will discuss the following statement, a definable version of the (p,q) theorem of Jiří Matoušek from combinatorics, conjectured by Chernikov and Simon:

Suppose that T is NIP and that phi(x,b) does not fork over a model M. Then there is some formula psi(y) in tp(b/M) such that the partial type {phi(x,b’) : psi(b’)} is consistent.

It has long been appreciated that in QCD-like theories without fundamental matter, confinement can be given a sharp characterization in terms of symmetry. More recently, such symmetries have been identified as 1-form symmetries, which fit into the broader category of generalized global symmetries.  In this talk I will discuss obstructions to the existence of a 1-form symmetry in large N QCD, where confinement is a sharp notion. I give general arguments for this disconnect between 1-form symmetries and confinement, and use 2d scalar QCD on the lattice as an explicit example.  

Hilbert complexes are chains of spaces linked by operators, with properties that are crucial to establishing the well-posedness of certain systems of partial differential equations. Designing stable numerical schemes for such systems, without resorting to nonphysical stabilisation processes, requires reproducing the complex properties at the discrete level. Finite-element complexes have been extensively developed since the late 2000's, in particular by Arnold, Falk, Winther and collaborators. These are however limited to certain types of meshes (mostly, tetrahedral and hexahedral meshes), which limits options for, e.g., local mesh refinement.

In this talk we will introduce the Discrete De Rham complex, a discrete version of one of the most popular complexes of differential operators (involving the gradient, curl and divergence), that can be applied on meshes consisting of generic polytopes. We will use a simple magnetostatic model to motivate the need for (continuous and discrete) complexes, then give a presentation of the lowest-order version of the complex and sketch its links with the CW cochain complex on the mesh. We will then briefly explain how this lowest-order version is naturally extended to an arbitrary-order version, and briefly present the associated properties (Poincaré inequalities, primal and adjoint consistency, commutation properties, etc.) that enable the analysis of schemes based on this complex.

Come along for free pizza and to hear about the Mathematrix events this term.

We present a framework to generate and evaluate thematic recommendations based on multilayer network representations of knowledge graphs (KGs).  We represent the relative importance of different types of connections (e.g., Directing/acting) with an intuitive salience matrix that can be learnt from data, tuned to incorporate domain knowledge, address different use cases, or respect business logic. We apply an adaptation of the personalised PageRank algorithm to multilayer network models of KGs to generate item-item recommendations. These recommendations reflect the knowledge we hold about the content, and are suitable for thematic or cold-start settings.

Evaluating thematic recommendations from user data presents unique challenges. Our method only recommends items that are 'thematically' related; that is, easily reachable following connections in the KG. We develop a variant of the widely-used Normalised Discounted Cumulative Gain (NDCG) to evaluate recommendations based on user-item ratings, respecting their thematic nature.

We apply our methods to a KG of the movie industry and MovieLens ratings and in an internal AB test. We learn the salience matrix and demonstrate that our approach outperforms existing thematic recommendation methods and is competitive with collaborative filtering approaches.

Profinite rigidity is essentially the study of which groups can be distinguished from each other by their finite quotients. This talk is meant to give a gentle introduction to the area - I will explain which questions are the right ones to ask and give an overview of some of the main results in the field. I will assume knowledge of what a group presentation is.

In this talk, I will discuss the notion of quantum limits from different viewpoints: Cordes' work on the Gelfand theory for pseudo-differential operators dating from the 70’s as well as the micro-local defect measures and semi-classical measures of the 90’s. I will also explain my motivation and strategy to obtain similar notions in subRiemannian or subelliptic settings. 

I will describe the interaction between a single soliton and a gas of solitons, providing for the first time a mathematical justification for the kinetic theory as posited by Zakharov in the 1970s.  Then I will explain how to use random matrix theory to introduce randomness into a large collection of solitons.

We formulate and sketch the proof of the K-theoretic Farrell-Jones Conjecture for
for the Hecke algebras of reductive p-adic groups. This is the first time that
a version of the farrell-Jones Conjecture for topological groups is formulated. It implies that
the reductive projective class group of the Hecke algebra of a reductive p-adic group
is the colimit of these for all compact open subgroups. This has been proved rationally by
Bernstein and Dat using representation theory. The main applications of our result
will concern the theory of smooth representations
In particular we will prove a conjecture of Dat.

The proof is much more involved than the one for instance for discrete CAT(0)-groups.
We will only give a very brief sketch of it and the new problems occurring in the setting of
totally disconnected groups. Most of the talk will be devoted
an introduction to the Farrell-Jones Conjecture and the theory of
smooth representations of reductive p-adic groups, and
discussion of  applications.

This is a joint project with Arthur Bartels.

An occupational hazard of mathematicians is the investigation of objects that are "optimal" in a mathematically precise sense, yet may be far from optimal in practice. This talk will discuss an extreme example of this effect: Gauss-Hermite quadrature on the real line. For large numbers of quadrature points, Gauss-Hermite quadrature is a very poor method of integration, much less efficient than simply truncating the interval and applying Gauss-Legendre quadrature or the periodic trapezoidal rule. We will present a theorem quantifying this difference and explain where the standard notion of optimality has failed.

In this talk we explore structural results about sets with small doubling in k dimensions. We start in the continuous world with a sharp stability result for the Brunn-Minkowski inequality conjectured by Figalli and Jerison and work our way to the discrete world, where we discuss the natural extension: we show that non-degenerate sets in Z^k with doubling close to 2^k are close to convex progressions i.e. convex sets intersected with a sub-lattice. This talk is based on joint work with Peter van Hintum and Hunter Spink.

Let F be a p-adic field, and k an algebraically closed field of characteristic l different from p. In this talk, we will first give a category decomposition of Rep_k(SL_n(F)), the category of smooth k-representations of SL_n(F), with respect to the GL_n(F)-equivalent supercuspidal classes of SL_n(F), which is not always a block decomposition in general. We then give a block decomposition of the supercuspidal subcategory, by introducing a partition on each GL_n(F)-equivalent supercuspidal class through type theory, and we interpret this partition by the sense of l-blocks of finite groups. We give an example where a block of Rep_k(SL_2(F)) is defined with several SL_2(F)-equivalent supercuspidal classes, which is different from the case where l is zero. We end this talk by giving a prediction on the block decomposition of Rep_k(A) for a general p-adic group A.

Starting from the principle of locality in quantum field theory, which
states that an object is influenced directly only by its immediate

surroundings, I will first briefly review some features of the notion of
locality arising in physics and mathematics. These are then encoded
in  locality relations, given by symmetric binary relations whose graph
consists of pairs of "mutually independent elements".

I will mention challenging questions that arise from  enhancing algebraic
structures to their locality counterparts, such as i) when  is the quotient
of a locality vector space by a linear subspace, a locality vector space, if
equipped with the quotient locality relation,  ii) when does  the locality
tensor product of two locality vector spaces  define a locality vector
space. These are discussed in recent joint work  with Pierre Clavier, Loïc
Foissy and Diego López.

Locality morphisms, namely maps that factorise on   products of  pairs of
"mutually independent" elements, play a key role in the context of
renormalisation in
multiple variables. They include "locality evaluators", which we use to

consistently evaluate meromorphic germs in several variables at
their poles. I will  also report on recent joint work with Li Guo and Bin
Zhang. which gives a classification of locality evaluators on certain
classes of algebras of meromorphic germs.

*** Cancelled *** We study a variant of the dynamical optimal transport problem in which the energy to be minimised is modulated by the covariance matrix of the current distribution. Such transport metrics arise naturally in mean field limits of recent Ensemble Kalman methods for inverse problems. We show how the transport problem splits into two separate minimisation problems: one for the evolution of mean and covariance of the interpolating curve, and one for its shape. The latter consists in minimising the usual Wasserstein length under the constraint of maintaining fixed mean and covariance along the interpolation. We analyse the geometry induced by this modulated transport distance on the space of probabilities, as well as the dynamics of the associated gradient flows. This is joint work of Martin Burger, Matthias Erbar, Daniel Matthes and André Schlichting.

Modular forms are holomorphic functions on the upper half plane satisfying a transformation property under the action of Mobius transformations. While they are a priori complex-analytic objects, they have applications to number theory thanks to their connection with Galois representations. Weight one modular forms are special because their Galois representations factor through a finite quotient. In this talk, we will explain a different degeneracy: they contribute to the cohomology of a line bundle over the modular curve in degrees 0 and 1. We propose an arithmetic explanation for this: an action of a unit group associated to the Galois representation of the modular form. This extends the conjectures of Venkatesh, Prasanna, and Harris. Time permitting, we will discuss a generalization to Hilbert modular forms.

Bestvina--Feighn proved that Aut(F_n) is a rational duality group, i.e. there is a Q[Aut(F_n)]-module, called the rational dualizing module, and a form of Poincare duality relating the rational cohomology of Aut(F_n) to its homology with coefficients in this module. Bestvina--Feighn's proof does not give an explicit combinatorial description of the rational dualizing module of Aut(F_n). But, inspired by Borel--Serre's description of the rational dualizing module of arithmetic groups, Hatcher--Vogtmann constructed an analogous module for Aut(F_n) and asked if it is the rational dualizing module. In work with Miller, Nariman, and Putman, we show that Hatcher--Vogtmann's module is not the rational dualizing module.

We study elastic manifolds with self-repelling terms and estimate their effective radius. This class of manifolds is modelled by a self-repelling vector-valued Gaussian free field with Neumann boundary conditions over the domain [−N,N]^d∩Z^d, that takes values in R^D. Our main results state that for two dimensional domain and range (D=2 and d=2), the effective radius R_N​ of the manifold is approximately N. When the dimension of the domain is d=2 and the dimension of the range is D=1, the effective radius of the manifold is approximately N^{4/3}. This verifies the conjecture of Kantor, Kardar and Nelson (Phys. Rev. Lett. ’86). We also provide results for the case where d≥3 and D≤d. These results imply that self-repelling elastic manifolds with a low dimensional range undergo a significantly stronger stretching than in the case where d=D. 

This is a joint work with Carl Mueller.

For geometric variational problems one often only has weak, rather than strong, compactness results and hence has to deal with the problem that sequences of (almost) critical points $u_j$ can converge to a limiting object with different topology.

A major challenge posed by such singular behaviour is that the seminal results of Simon on Lojasiewicz inequalities, which are one of the most powerful tools in the analysis of the energy spectrum of analytic energies and the corresponding gradient flows, are not applicable.

In this talk we present a method that allows us to prove Lojasiewicz inequalities in the singular setting of almost harmonic maps that converge to a simple bubble tree and explain how these results allow us to draw new conclusions about the energy spectrum of harmonic maps and the convergence of harmonic map flow for low energy maps from surfaces of positive genus into general analytic manifolds.

I will discuss the use of partitioned schemes for neural networks. This work is in the tradition of multrate numerical ODE methods in which different components of system are evolved using different numerical methods or with different timesteps. The setting is the training tasks in deep learning in which parameters of a hierarchical model must be found to describe a given data set. By choosing appropriate partitionings of the parameters some redundant computation can be avoided and we can obtain substantial computational speed-up. I will demonstrate the use of the procedure in transfer learning applications from image analysis and natural language processing, showing a reduction of around 50% in training time, without impairing the generalization performance of the resulting models. This talk describes joint work with Tiffany Vlaar.

Liouville conformal field theory models two-dimensional gravity with a cosmological constant and conformal matter. In its timelike regime, it reproduces the characteristic negative kinetic term of the conformal factor of the metric in the Einstein-Hilbert action, the sign which infamously makes the gravity path integral ill-defined. In this talk, I will first discuss the perturbative computation of the timelike Liouville partition function around the sphere saddle and propose an all-orders result. I will then turn to the disk and present the bulk 1-point functions of this CFT, and discuss possible interpretations in terms of boundary conditions.

Waldspurger proved maximality and minimality results for certain generalised Springer representations of $\text{Sp}(2n,\mathbb{C})$. We will discuss analogous results for $G = \text{SO}(N,\mathbb{C})$ and sketch their proofs.

Let $C$ be a unipotent class of $G$ and $E$ an irreducible $G$-equivariant local system on $C$. Let $\rho$ be the generalised Springer representation corresponding to $(C,E)$. We call $C$ the support of $\rho$. It is well-known that $\rho$ appears in the top cohomology of a certain variety. Let $\bar\rho$ be the representation obtained by summing the cohomology groups of this variety.

We show that if $C$ is parametrised by an orthogonal partition consisting of only odd parts, then $\bar\rho$ has a unique irreducible subrepresentation $\rho^{\text{max}}$ whose support is maximal among the supports of the irreducible subrepresentations of $\rho^{\text{max}}$. We also show that $\text{sgn}\otimes\rho^{\text{max}}$ is the unique subrepresentation of $\text{sgn}\otimes\bar\rho$ with minimal support. We will also present an algorithm to compute $\rho^{\text{max}}$.

I will review the basic assumptions and spell out the arguments that lead to the bound on the Regge growth of gravitational scattering amplitudes. I will discuss the Regge bounds both at fixed transfer momentum and smeared over it. Our basic conclusion is that gravitational scattering amplitudes admit dispersion relations with two subtractions. For a sub-class of smeared amplitudes, black hole formation reduces the number of subtractions to one. Finally, I will discuss bounds on local growth derived using dispersion relations. This talk is based on https://arxiv.org/abs/2202.08280.

Irreversible processes are accompanied by an increase in the internal entropy of a continuum, and as such the entropy production function is fundamental in determining the overall state of the system. In this talk, it will be shown that the entropy production function can be utilized for a variational analysis of certain dissipative continua in two different ways. Firstly, a novel unified Lagrangian-Hamiltonian formalism is constructed giving phase space extra structure, and applied to the study of fluid flow and brittle fracture.  Secondly, a maximum entropy production principle is presented for simple bodies and its implications to the study of fluid flow discussed. 

Second-order regularity results are established for solutions to elliptic equations and systems with the principal part having a Uhlenbeck structure and square-integrable right-hand sides. Both local and global estimates are obtained. The latter apply to solutions to homogeneous Dirichlet problems under minimal regularity assumptions on the boundary of the domain. In particular, if the domain is convex, no regularity of its boundary is needed. A critical step in the approach is a sharp pointwise inequality for the involved elliptic operator. This talk is based on joint investigations with A.Kh.Balci, L.Diening, and V.Maz'ya.