Past

Hoheisel used zero-density results to prove that for all x large enough there is a prime number in the interval $[x−x^{\theta}, x]$ with $θ < 1$. The connection between zero-density estimates and primes in short intervals was explicitly described in the work of Ingham in 1937. The approach of Ingham combined with the zero-density estimates of Huxley (1972) provides us with the distribution of primes in $[x−x^{\theta}, x]$ with $\theta > 7/12$. Further improvement upon the value of \theta was achieved by combining sieves with the weighted zero-density estimates in the works of Iwaniec and Jutila, Heath-Brown and Iwaniec, and Baker and Harman. The last work provides the best result achieved using zero-density estimates. We will discuss the main ideas of the paper by Baker and Harman and simplify some parts of it to show a more explicit connection between zero-density results and the sieved sums, which are used in the paper. This connection will provide a better understanding on which parts should be optimised for further improvements and on what the limits of the methods are. This project is still in progress.

Correlation operators are used in data assimilation algorithms
to weight the contribution of prior and observation information.
Efficient implementation of these operators is therefore crucial for
operational implementations. Diffusion-based correlation operators are popular in ocean data assimilation, but can require a large number of serial matrix-vector products. An all-at-once formulation removes this requirement, and offers the opportunity to exploit modern computer architectures. High quality preconditioners for the all-at-once approach are well-known, but impossible to apply in practice for the
high-dimensional problems that occur in oceanography. In this talk we
consider a nested preconditioning approach which retains many of the
beneficial properties of the ideal analytic preconditioner while
remaining affordable in terms of memory and computational resource.

My group is developing a roadmap to replace bulky electric motors in miniature robots requiring large mechanical work output.

First, I will describe the mechanics of coiled muscles made by twisting nylon fishing lines, and how these actuators use internal strain energy to achieve a “record breaking” performance. Then I will describe intriguing hierarchical super-, and hyper-coiled artificial muscles which exploit the interplay between nonlinear mechanics and material microstructure. Next, I will describe their use to actuate the dynamic snapping of insect-scale jumping robots. The combination of strong but slow muscles with a fast-snapping beam gives rise to dynamic buckling cascade phenomena leading to effective robotic jumping mechanisms.

These examples shed light on the future of automation propelled by new bioinspired materials, nonlinear mechanics, and unusual manufacturing processes.

This talk is concerned with the question of generating the homology of a covering space by lifts of simple closed curves (from topological viewpoint), and generating the first homology of a subgroup by powers of elements outside certain filtrations (from group-theoretic viewpoint). I will sketch Malestein's and Putman's construction of examples of branched covers where lifts of scc's span a proper subspace. I will discuss the relation of their proof to the Magnus embedding, and present recent results on similar embeddings of surface groups which facilitate extending their theorems to unbranched covers.

With conference season fast approaching, we will be meeting up to discuss our experiences of going to conferences and how best to prepare for them as a minority in Mathematics.

Orthogonal Intertwiners for Infinite Particle Systems On The Continuum:

Interacting particle systems are studied using powerful tools, including 
duality. Recently, dualities have been explored for inclusion processes, 
exclusion processes, and independent random walkers on discrete sets 
using univariate orthogonal polynomials. This talk generalizes these 
dualities to intertwiners for particle systems on more general spaces, 
including the continuum. Instead of univariate orthogonal polynomials, 
the talk dives into the theory of infinite-dimensional polynomials 
related to chaos decompositions and multiple stochastic integrals. The 
new framework is applied to consistent particle systems containing a 
finite or infinite number of particles, including sticky and correlated 
Brownian motions.

Spectral gap of the symmetric inclusion process:

In this talk, we consider the symmetric inclusion process on a general finite graph. Our main result establishes universal upper and lower bounds for the spectral gap of this interacting particle system in terms of the spectral gap of the random walk on the same graph. In the regime in which the gamma-like reversible measures of the particle system are log-concave, our bounds match, yielding a version for the symmetric inclusion process of the celebrated Aldous' spectral gap conjecture --- originally formulated for the interchange process and proved by Caputo, Liggett and Richthammer (JAMS 2010). Finally, by means of duality techniques, we draw analogous conclusions for an interacting diffusion-like unbounded conservative spin system known as Brownian energy process, which may be interpreted as a spatial version of the Wright-Fisher diffusion with mutation. Based on a joint work with Seonwoo Kim (SNU, South Korea).

The resolvents of finite volume restricted Hamiltonians, G^(⍵), have long been used to describe the localization of quantum systems. More recently, projected Green's functions (pGfs) -- finite volume restrictions of the resolvent -- have been applied to translation invariant free fermion systems, and the pGf zero eigenvalues have been shown to determine topological edge modes in free-fermion systems with bulk-edge correspondence. In this talk, I will connect the pGfs to the G^(⍵) appearing in the transfer matrices of quasi-periodic systems and discuss what pGF zeros can tell us about the solutions to transfer matrix equations. Using these methods, we re-examine the critical almost-Matthieu operator and notice new guarantees on analytic regions of its resolvent for Liouville irrationals.
 

An anomalous symmetry of an operator algebra A is a mapping from a group G into the automorphism group of A which is multiplicative up to inner automorphisms. To any anomalous symmetry, there is an associated cohomology invariant in H^3(G,T). In the case that A is the Hyperfinite II_1 factor R and G is amenable, the associated cohomology invariant is shown to be a complete invariant for anomalous actions on R by the work of Connes, Jones, and Ocneanu.

In this talk, I will introduce anomalous actions from the basics discussing examples and the history of their study in the literature. I will then discuss two obstructions to possible cohomology invariants of anomalous actions on simple C*-algebras which arise from considering K-theoretic invariants of the algebras. One of the obstructions will be of algebraic flavour and the other will be of topological flavour. Finally, I will discuss the classification question for certain classes of anomalous actions.

In work of Haiden-Katzarkov-Konsevich-Pandit (HKKP), a canonical filtration, labeled by sequences of real numbers, of a semistable quiver representation or vector bundle on a curve is defined. The HKKP filtration is a purely algebraic object that depends only on a lattice, yet it governs the asymptotic behaviour of a natural gradient flow in the space of metrics of the object. In this talk, we show that the HKKP filtration can be recovered from the stack of semistable objects and a so called norm on graded points, thereby generalising the HKKP filtration to other moduli problems of non-linear origin.

This talk will be an invitation to the study of cubulated groups and their quotients via the tools of cubical small cancellation theory. Non-positively curved cube complexes are a class of cell-complexes whose geometry and combinatorial structure is closely related to the structure of the groups that act nicely on their universal covers. I will tell you a bit about what we know and don’t know about these groups and spaces, and about the tools we have to study their quotients. I will explain some applications of the study of these quotients to producing a large variety of examples of large-dimensional hyperbolic (and non-hyperbolic) groups.

A classic result of Chvatál and Erdős (1972) asserts that, if the vertex-connectivity of a graph G is at least as large as its independence number, then G has a Hamilton cycle. We prove a similar result, implying that a graph G is pancyclic, namely it contains cycles of all lengths between 3 and |G|: we show that if |G| is large and the vertex-connectivity of G is larger than its independence number, then G is pancyclic. This confirms a conjecture of Jackson and Ordaz (1990) for large graphs.

Rational Cherednik algebra is a flat deformation of a skew product of the Weyl algebra and a Coxeter group W. I am going to discuss two interesting subalgebras of Cherednik algebras going back to the work of Hakobyan and the speaker from 2015. They are flat deformations of skew products of quotients of the universal enveloping algebras of gl_n and so_n, respectively, with W. They also have to do with particular nilpotent orbits and generalised Howe duality.  Their central quotients can be given as the algebra of global sections of sheaves of Cherednik algebras. The talk is partly based on a joint work with D. Thompson.

6d N=(2,0) superconformal field theories have natural surface operators similar in many ways to Wilson lines in gauge theories. In this talk, I will discuss how they can be studied using conformal bootstrap techniques, including connection to W-algebras and the so-called inversion formula, focusing on the limit of large central charge.

Serre's conjecture (now a theorem) predicts that an irreducible 2-dimensional odd
Galois representation of $\mathbb Q$ with coefficients in $\bar{\mathbb F}_p$ comes from the mod p reduction of
a modular form. A key feature is that two modular forms of different weights can have the same
mod p reduction. Fixing a modular form $f$, the weight part of Serre's conjecture seeks to find all
the possible weights where one can find a modular form congruent to $f$ mod $p$. The recipe for these
weights was conjectured by Serre, and it depends only on the local Galois representation at $p$. I
will explain the ideas involved in Edixhoven's proof of the weight part, and if time allows, I
will briefly say something about what the generalizations beyond $\operatorname{GL}_2/\mathbb Q$ might look like. 

Coarse embeddings (maps between metric spaces whose distortion can be controlled by some function) occur naturally in various areas of pure mathematics, most notably in topology and algebra. It may therefore come as a surprise to discover that it is not known whether there is a coarse embedding of three-dimensional real hyperbolic space into the direct product of a real hyperbolic plane and a 3-regular tree. One reason for this is that there are very few invariants which behave monotonically with respect to coarse embeddings, and thus could be used to obstruct coarse embeddings.

Pluripotential theory studies plurisubharmonic functions and complex Monge-Ampère equations on complex manifolds, and has played a key role in recent progress on Kähler-Einstein and constant scalar curvature Kähler metrics. This theory admits a non-Archimedean analogue over Berkovich spaces, that can be used to study K-stability. The purpose of this talk is to provide an introduction to this circle of ideas, and to discuss more specifically recent joint work with Mattias Jonsson studying Green's functions in this context.

Generative AI has seen tremendous successes recently, most notably the chatbot ChatGPT and the DALLE2 software creating realistic images and artwork from text descriptions. Underlying these and other generative AI systems are usually neural networks trained to produce text, images, audio, or video from text inputs. The aim of this talk is to develop an understanding of the fundamental capabilities of generative neural networks. Specifically and mathematically speaking, we consider the realization of high-dimensional random vectors from one-dimensional random variables through deep neural networks. The resulting random vectors follow prescribed conditional probability distributions, where the conditioning represents the text input of the generative system and its output can be text, images, audio, or video. It is shown that every d-dimensional probability distribution can be generated through deep ReLU networks out of a 1-dimensional uniform input distribution. What is more, this is possible without incurring a cost—in terms of approximation error as measured in Wasserstein-distance—relative to generating the d-dimensional target distribution from d independent random variables. This is enabled by a space-filling approach which realizes a Wasserstein-optimal transport map and elicits the importance of network depth in driving the Wasserstein distance between the target distribution and its neural network approximation to zero. Finally, we show that the number of bits needed to encode the corresponding generative networks equals the fundamental limit for encoding probability distributions (by any method) as dictated by quantization theory according to Graf and Luschgy. This result also characterizes the minimum amount of information that needs to be extracted from training data so as to be able to generate a desired output at a prescribed accuracy and establishes that generative ReLU networks can attain this minimum.

This is joint work with D. Perekrestenko and L. Eberhard


 

We propose new G2-holonomy manifolds, which geometrize the Gaiotto-Kim 4d N = 1 duality
domain walls of 5d N = 1 theories. These domain walls interpolate between different extended
Coulomb branch phases of a given 5d superconformal field theory. Our starting point is the
geometric realization of such a 5d superconformal field theory and its extended Coulomb
branch in terms of M-theory on a non-compact singular Calabi-Yau three-fold and its Kahler
cone. We construct the 7-manifold that realizes the domain wall in M-theory by fibering the
Calabi-Yau three-fold over a real line, whilst varying its Kahler parameters as prescribed by
the domain wall construction. In particular this requires the Calabi-Yau fiber to pass through
a canonical singularity at the locus of the domain wall. Due to the 4d N = 1 supersymmetry
that is preserved on the domain wall, we expect the resulting 7-manifold to have holonomy G2.
Indeed, for simple domain wall theories, this construction results in 7-manifolds, which are
known to admit torsion-free G2-holonomy metrics. We develop several generalizations to new
7-manifolds, which realize domain walls in 5d SQCD theories.

abstract-Oxford.pdf

Let F be a p-adic local field and let G be a connected split reductive group over F. Let H be the pro-p Iwahori-Hecke algebra of the p-adic group G(F), with coefficients in an algebraically closed field k of characteristic p. The module theory over H (or a certain derived version thereof) is of considerable interest in the so-called mod p local Langlands program for G(F), whose aim is to relate the smooth modular representation theory of G(F) to modular representations of the absolute Galois group of F. In this talk, we explain a possible construction of a certain moduli space for those Galois representations into the Langlands dual group of G over k which are semisimple. We then relate this space to the geometry of H. This is work in progress with Cédric Pépin.

I will explain an ongoing program, joint with Kari Vilonen, that aims to study unitary representations of real reductive Lie groups using mixed Hodge modules on flag varieties. The program revolves around a conjecture of Schmid and Vilonen that natural filtrations coming from the geometry of flag varieties control the signatures of Hermitian forms on real group representations. This conjecture is expected to facilitate new progress on the decades-old problem of determining the set of unitary irreducible representations by placing it in a more conceptual context. Our results to date centre around the interaction of Hodge theory with the unitarity algorithm of Adams, van Leeuwen, Trapa, and Vogan, which calculates the signature of a canonical Hermitian form on an arbitrary representation by reducing to the case of tempered representations using deformations and wall crossing. Our results include a Hodge-theoretic proof of the ALTV wall crossing formula as a consequence of a more refined result and a verification of the Schmid-Vilonen conjecture for tempered representations.

Tbc

This course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

PhD_course_Esposito_1.pdf

This course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

PhD_course_Esposito_0.pdf

Hitchin's equations are a system of gauge theoretic equations on a Riemann surface that are of interest in many areas including representation theory, Teichmüller theory, and the geometric Langlands correspondence. The Hitchin moduli space carries a natural hyperkähler metric.  An intricate conjectural description of its asymptotic structure appears in the work of Gaiotto-Moore-Neitzke and there has been a lot of progress on this recently.  I will discuss some recent results using tools coming out of geometric analysis which are well-suited for verifying these extremely delicate conjectures. This strategy often stretches the limits of what can currently be done via geometric analysis, and simultaneously leads to new insights into these conjectures.

In their seminal 2012 paper, Elekes and Szabó found that a certain weak combinatorial non-expansion property of an algebraic relation suffices to trigger the group configuration theorem, showing that only (approximate subgroups of) algebraic groups can be responsible for it. I will discuss some more recent variations and elaborations on this result, focusing on the case of ternary relations on varieties of dimension >1.

PhD_course_Esposito.pdfThis course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

There has been a great deal of interest in understanding the link between the axiomatic descriptions of conformal field theory given by vertex operator algebras and conformal nets. In recent work, we establish an equivalence between certain vertex algebras and conformally-symmetric quantum field theories in the sense of Wightman. In this talk I will give an overview of these results and discuss some of the difficulties that arise, the functional analytic properties of vertex algebras, and some of the ideas for future work in this area.

This is joint work with James Tener and Yoh Tanimoto.

This DPhil short course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

Donaldson-Thomas theory associates integers (which are virtual counts of sheaves) to a Calabi-Yau threefold X. The simplest example is that of $\mathbb{C}^3$, when the Donaldson-Thomas (DT) invariant of sheaves of zero dimensional support and length d is $p(d)$, the number of plane partitions of $d$. The DT invariants have several refinements, for example a cohomological one, where instead of a DT invariant, one studies a graded vector space with Euler characteristic equal to the DT invariant. I will talk about two other refinements (categorical and K-theoretic) of DT invariants, focusing on the explicit case of $\mathbb{C}^3$. In particular, we show that the K-theoretic DT invariant for $d$ points on $\mathbb{C}^3$ also equals $p(d)$. This is joint work with Yukinobu Toda.

Dr. Keven Roy from RMS Moody's Analytics (who are currently hiring!) will share his experience of transitioning from academia to industry, discussing his fascinating work in modelling climate change and how his mathematical background has helped him succeed in industry. After the approximately 20-minute talk, we'll hold a Q&A session to discuss the importance of considering industry in your job search. Aimed primarily at PhD students and postdocs, this session will explore options beyond academia that can provide a fulfilling career (as well as good work-life balance, and financial compensation!).

Join us for a thought-provoking discussion at Fridays@4 to expand your career horizons and help you make informed decisions about your future. There will be lots of time for Q&A in this session, but if you have questions for Keven you can also send them in advance to Jess Crawshaw (session organiser) - @email.

Mapper and Ball Mapper are Topological Data Analysis tools used for exploring high dimensional point clouds and visualizing scalar–valued functions on those point clouds. Inspired by open questions in knot theory, new features are added to Ball Mapper that enable encoding of the structure, internal relations and symmetries of the point cloud. Moreover, the strengths of Mapper and Ball Mapper constructions are combined to create a tool for comparing high dimensional data descriptors of a single dataset. This new hybrid algorithm, Mapper on Ball Mapper, is applicable to high dimensional lens functions. As a proof of concept we include applications to knot and game  theory, as well as material science and cancer research. 

Permanent geological carbon storage will reduce greenhouse gas emissions and help mitigate climate change. Storage security is increased by CO₂ capillary trapping in cm-to-m scale, layered rock heterogeneities; features that are ubiquitous across storage sites worldwide. This talk will outline the challenges associated with modelling the impact of small-scale heterogeneity on large scale saturation distributions and trapping during geological CO₂ storage, including the difficulties in incorporating petrophysical and geological uncertainty into field-scale numerical models. Experimental results demonstrate the impact of cm-scale heterogeneity on pore-scale processes, which in turn influence large scale behaviour. Heterogeneity is shown to have a leading order impact on saturation distribution and storage capacity during geological CO₂ storage.

The overall goal of the Sherwood lab is to advance genomic and precision medicine applications through high-throughput, multi-disciplinary science. In a shortened talk this past autumn, I described our recent efforts using combined analysis of rare coding variants from the UK Biobank and genome-scale CRISPR-Cas9 knockout and activation screening to improve the identification of genes, coding variants, and non-coding variants whose alteration impacts serum LDL cholesterol (LDL-C) levels.

In this talk, I will discuss our emerging efforts to optimize and employ precision CRISPR techniques such as base editing and prime editing to better understand the impacts of coding and non-coding variation on serum LDL-C levels and coronary artery disease risk. This work involves the development of novel high-throughput screening platforms and computational analysis approaches that have wide applicability in dissecting complex human disease genetics.

In the theory of relative algebraic geometry, our affines are objects in the opposite category of commutative monoids in a symmetric monoidal category $\mathcal{C}$. This categorical approach simplifies many constructions and allows us to compare different geometries. Toën and Vezzosi's theory of homotopical algebraic geometry considers the case when $\mathcal{C}$ has a model structure and is endowed with a compatible symmetric monoidal structure. Derived algebraic geometry is recovered when we take $\mathcal{C}=\textbf{sMod}_k$, the category of simplicial modules over a simplicial commutative ring $k$.

In Kremnizer et al.'s version of derived analytic geometry, we consider geometry relative to the category $\textbf{sMod}_k$ where $k$ is now a simplicial commutative complete bornological ring. In this talk we discuss, from an algebraist's perspective, the main ideas behind the theory of relative algebraic geometry and discuss briefly how it provides us with a convenient framework to consider derived analytic geometry. 

Let $k,l>1$ be two multiplicatively independent integers. A subset $X$ of $\mathbb{N}^n$ is $k$-recognizable if the set of $k$-ary representations of $X$ is recognized by some finite automaton. Cobham's famous theorem states that a subset of the natural numbers is both $k$-recognizable and $l$-recognizable if and only if it is Presburger-definable (or equivalently: semilinear). We show the following strengthening. Let $X$ be $k$-recognizable, let $Y$ be $l$-recognizable such that both $X$ and $Y$ are not Presburger-definable. Then the first-order logical theory of $(\mathbb{N},+,X,Y)$ is undecidable. This is in contrast to a well-known theorem of Büchi that the first-order logical theory of $(\mathbb{N},+,X)$ is decidable. Our work strengthens and depends on earlier work of Villemaire and Bès. The essence of Cobham's theorem is that recognizability depends strongly on the choice of the base $k$. Our results strengthens this: two non-Presburger definable sets that are recognizable in multiplicatively independent bases, are not only distinct, but together computationally intractable over Presburger arithmetic. This is joint work with Christian Schulz.

This talk presents a general framework for modelling the dynamics of limit order books, built on the combination of two modelling ingredients: the order flow, modelled as a general spatial point process, and the market clearing, modelled via a deterministic ‘mass transport’ operator acting on distributions of buy and sell orders. At the mathematical level, this corresponds to a natural decomposition of the infinitesimal generator describing the  order book evolution into two operators: the generator of the order flow and the clearing operator. Our model provides a flexible framework for modelling and simulating order book dynamics and studying various scaling limits of discrete order book models. We show that our framework includes previous models as special cases and yields insights into the interplay between order flow and price dynamics. This talk is based on joint work with Rama Cont and Pierre Degond.

I will talk about some current work with Jesse Jaasaari and Steve Lester where we investigate the analogue of the Quantum Unique Ergodicity (QUE) conjecture in the weight aspect for Siegel cusp forms of degree 2 and full level. Assuming the Generalized Riemann Hypothesis (GRH) we establish QUE for Saito–Kurokawa lifts as the weight tends to infinity. As an application, we prove the equidistribution of zero divisors.

Polynomial splines over simplicial meshes in R^n (triangulations in 2D, tetrahedral meshes in 3D, and so on) sometimes have extra orders of smoothness at a vertex. This property is known as supersmoothness, and plays a role both in the construction of macroelements and in the finite element method.
Supersmoothness depends both on the number of simplices that meet at the vertex and their geometric configuration.

In this talk we review what is known about supersmoothness of polynomial splines and then discuss the more general setting of splines whose individual pieces are any infinitely smooth functions.

This is joint work with Kaibo Hu.

TBA

Topological data analysis (TDA) comprises a set of techniques of computational topology that has had enormous growth in the last decade, with applications to a wide variety of fields, such as images,  biological data, meteorology, materials science, time-dependent data, economics, etc. In this talk, we will first have a walk through a typical pipeline in TDA, to move later to its adaptation to a specific context: the topological characterization of the spatial distribution of regions in a segmented image

Geometric (even combinatorial) group theory suffers from the unfortunate situation that many obvious questions about group presentations (ex: is this a presentation of the trivial group? is this word the identity in that group?) cannot be answered. Not only "we don't know how to tell" but "we know that we cannot know how to tell" - this is called undecidability. This talk will serve as an introduction (for non-experts, since I am also such) to the area of group theoretic decision problems: I'll aim to cover some problems, some solutions (or half-solutions) and some of the general sources of undecidability, as well as featuring some of my (least?) favourite pathological groups.

The Hilbert transform H is a basic example of a Fourier multiplier, and Riesz proved that H is a bounded operator on Lp(T) for all p between 1 and infinity.  We study Hilbert transform type Fourier multipliers on group algebras and their boundedness on corresponding non-commutative L_p spaces. The pioneering work in this direction is due to Mei and Ricard who proved L_p-boundedness of Hilbert transforms on free group von Neumann algebras using a Cotlar identity. In this talk, we introduce a generalised Cotlar identity and a new geometric form of Hilbert transform for groups acting on tree-like structures. This class of groups includes amalgamated free products, HNN extensions, left orderable groups and many others.  This is joint work with Adrián González and Javier Parcet.

I will discuss statistical inference problems on edge-correlated stochastic block models. We determine the information-theoretic threshold for exact recovery of the latent vertex correspondence between two correlated block models, a task known as graph matching. As an application, we show how one can exactly recover the latent communities using multiple correlated graphs in parameter regimes where it is information-theoretically impossible to do so using just a single graph. Furthermore, we obtain the precise threshold for exact community recovery using multiple correlated graphs, which captures the interplay between the community recovery and graph matching tasks. This is based on joint work with Julia Gaudio and Anirudh Sridhar.

I will explain that all affine isometric actions of higher rank simple Lie groups and their lattices on arbitrary uniformly convex Banach spaces have a fixed point. This vastly generalises a recent breakthrough of Oppenheim. Combined with earlier work of Lafforgue and of Liao on strong Banach property (T) for non-Archimedean higher rank simple groups, this confirms a long-standing conjecture of Bader, Furman, Gelander and Monod. As a consequence, we deduce that box space expanders constructed from higher rank lattices are superexpanders. This is joint work with Mikael de la Salle.

Coupled differential equations generally present an important algebraic structure.
For example in the incompressible Navier-Stokes equations, the velocity is affected only by the selenoidal part of the applied force.
This structure can be translated naturally by the notion of complex.
One idea is then to exploit this complex structure at the discrete level in the creation of numerical methods.

The goal of the presentation is to expose the notion of complex by motivating its uses. 
We will present in more detail the creation of a scheme for the Navier-Stokes equations and study its properties.
 

Understanding the stability of ecological communities is a matter of increasing importance in the context of global environmental change. Yet it has proved to be a challenging task. Different metrics are used to assess the stability of ecological systems, and the choice of one metric over another may result in conflicting conclusions. While the need to consider this multitude of stability metrics has been clearly stated in the ecological literature for decades, little is known about how different stability metrics relate to each other. I’ll present results of dynamical simulations of ecological communities investigating the correlations between frequently used stability metrics, and I will discuss how these results may contribute to make progress in the quantification of stability in theory and in practice.

Zoom Link: https://zoom.us/j/93174968155?pwd=TUJ3WVl1UGNMV0FxQTJQMFY0cjJNdz09

Meeting ID: 931 7496 8155

Passcode: 502784