Past

We analyze the steady motion of a viscous incompressible fluid in a two- and three-dimensional channel containing an obstacle through the Navier-Stokes equations under different types of boundary conditions. In the 2D case we take constant non-homogeneous Dirichlet boundary data in a (virtual) square containing the obstacle, and emphasize the connection between the appearance of lift and the unique solvability of Navier-Stokes equations. In the 3D case we consider mixed boundary conditions: the inflow is given by a fairly general datum and the flow is assumed to satisfy a constant traction boundary condition on the outlet. In the absence of external forcing, explicit bounds on the inflow velocity guaranteeing existence and uniqueness of such steady motion are provided after estimating some Sobolev embedding constants and constructing a suitable solenoidal extension of the inlet velocity. In the 3D case, this solenoidal extension is built through the Bogovskii operator and explicit bounds on its Dirichlet norm (in terms of the geometric parameters of the obstacle) are found by solving a variational problem involving the infinity-Laplacian.

The talk accounts for results obtained in collaboration with Filippo Gazzola and Ilaria Fragalà (both at Politecnico di Milano).

I will introduce left-orderable groups and discuss constructions and examples of such groups. I will then motivate studying left-orders under the framework of formal languages and discuss some recent results.

The Burali-Forti paradox suggests that the transfinite cardinals “go on forever,” surpassing any conceivable bound one might try to place on them. The traditional Zermelo-Frankel axioms for set theory fall into a hierarchy of axiomatic systems formulated by reasserting this intuition in increasingly elaborate ways: the large cardinal hierarchy. Or so the story goes. A serious problem for this already naive account of large cardinal set theory is the Kunen inconsistency theorem, which seems to impose an upper bound on the extent of the large cardinal hierarchy itself. If one drops the Axiom of Choice, Kunen’s proof breaks down and a new hierarchy of choiceless large cardinal axioms emerges. These axioms, if consistent, represent a challenge for those “maximalist” foundational stances that take for granted both large cardinal axioms and the Axiom of Choice. This talk concerns some recent advances in our understanding of the weakest of the choiceless large cardinal axioms and the prospect, as yet unrealized, of establishing their consistency and reconciling them with the Axiom of Choice.

A spanning tree of $G$ is a subgraph of $G$ with the same vertex set as $G$ that is a tree. In 1981, McKay proved an asymptotic result regarding the number of spanning trees in random $k$-regular graphs, showing that the number of spanning trees $\kappa_1(G_n)$ in a random $k$-regular graph on $n$ vertices satisfies $\lim_{n \to \infty} (\kappa_1(G_n))^{1/n} = c_{1,k}$ in probability, where $c_{1,k} = (k-1)^{k-1} (k^2-2k)^{-(k-2)/2}$.

In this talk we will discuss a high-dimensional of the matching model for simplicial complexes, known as random Steiner complexes. In particular, we will prove a high-dimensional counterpart of McKay's result and discuss the local limit of such random complexes. 
Based on a joint work with Lior Tenenbaum. 

For 20 years we have known that average values of characteristic polynomials of random unitary matrices provide a good model for moments of the Riemann zeta function.  Now we consider moments of the logarithmic derivative of characteristic polynomials, calculations which are motivated by questions on the distribution of zeros of the derivative of the Riemann zeta function.  Joint work with Emilia Alvarez. 

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 send email to @email.

Let W be the Witt algebra of vector fields on the punctured complex plane, and let Vir be the Virasoro algebra, the unique nontrivial central extension of W.  We discuss work in progress with Alexey Petukhov to analyse Poisson ideals of the symmetric algebra of Vir.

We focus on understanding maximal Poisson ideals, which can be given as the Poisson cores of maximal ideals of Sym(Vir) and of Sym(W).  We give a complete classification of maximal ideals of Sym(W) which have nontrivial Poisson cores.  We then lift this classification to Sym(Vir), and use it to show that if $\lambda \neq 0$, then $(z-\lambda)$ is a maximal Poisson ideal of Sym(Vir).

Randomized experiments, or "A/B" tests, remain the gold standard for evaluating the causal effect of a policy intervention or product change. However, experimental settings such as social networks, where users are interacting and influencing one another, violate conventional assumptions of no interference needed for credible causal inference. Existing solutions include accounting for the fraction or count of treated neighbors in a user's network, among other strategies. Yet, there are often a high number of researcher degrees of freedom in specifying network interference conditions and most current methods do not account for the local network structure beyond simply counting the number of neighbors. Capturing local network structures is important because it can account for theories, such as structural diversity and echo chambers. Our study provides an approach that accounts for both the local structure in a user's social network via motifs as well as the assignment conditions of neighbors. We propose a two-part approach. We first introduce and employ "causal network motifs," i.e. network motifs that characterize the assignment conditions in local ego networks; and then we propose a tree-based algorithm for identifying different network interference conditions and estimating their average potential outcomes. We test our method on a real-world experiment on a large-scale network and a synthetic network setting, which highlight how accounting for local structures can better account for different interference patterns in networks.

Preconditioning techniques are widely used for speeding up the iterative solution of systems of linear equations, often by transforming the system into one with lower condition number. Even though the condition number also serves as the determining constant in simple bounds for the numerical error of the solution, simple experiments and bounds show that such preconditioning on the matrix level is not guaranteed to reduce this error. Transformations on the operator level, on the other hand, improve both accuracy and speed of iterative methods as predicted by the change of the condition number. We propose to investigate such methods under a common framework, which we call full operator preconditioning, and show practical examples.

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 send an email to @email.

We study the minimum total weight of a disk triangulation using any number of vertices out of $\{1,..,n\}$ where the boundary is fixed and the $n \choose 3$ triangles have independent rate-1 exponential weights. We show that, with high probability, the minimum weight is equal to $(c+o(1))n-1/2\log n$ for an explicit constant $c$. Further, we prove that, with high probability, the minimum weights of a homological filling and a homotopical filling of the cycle $(123)$ are both attained by the minimum weight disk triangulation. We will discuss a related open problem concerning simple-connectivity of random simplicial complexes, where a similar phenomenon is conjectured to hold. Based on joint works with Itai Benjamini, Eyal Lubetzky, and Zur Luria.

What do random spanning trees, graph embeddings, random walks, simplices and graph curvature have in common? As you may have guessed from the title, they are indeed all intimately connected to the effective resistance on graphs! While originally invented as a tool to study electrical circuits, the effective resistance has proven time and again to be a graph characteristic with a variety of interesting and often surprising properties. Starting from a number of equivalent but complementary definitions of the effective resistance, we will take a stroll through some classical theorems (Rayleigh monotonicity, Foster's theorem), a few modern results (Klein's metricity, Fiedler's graph-simplex correspondence) and finally discuss number of recent developments (variance on graphs, discrete curvature and graph embeddings).

Motivated by an attempt to construct a theory of quantum gravity as a perturbation around some flat background, Penrose has shown that, despite being asymptotically flat, there is an inconsistency between the causal structure at infinity of Schwarzschild and Minkowski spacetimes. This suggests that such a perturbative approach cannot possibly work. However, the proof of this inconsistency is specific to 4 spacetime dimensions. In this talk I will discuss how this result extends to higher (and lower) dimensions. More generally, I will consider examples of how the causal structure of asymptotically flat spacetimes are affected by dimension and by the presence of mass (both positive and negative). I will then show how these ideas can be used to prove a higher dimensional extension of the positive mass theorem of Penrose, Sorkin and Woolgar.

Stochastic quantisation is, broadly speaking, the use of a stochastic differential equation to construct a given probability distribution. Usually this refers to Markovian Langevin evolution with given invariant measure. However we will show that it is possible to construct other kind of equations (elliptic stochastic partial differential equations) whose solutions have prescribed marginals. This connection was discovered in the '80 by Parisi and Sourlas in the context of dimensional reduction of statistical field theories in random external fields. This purely probabilistic results has a proof which depends on a supersymmetric formulation of the problem, i.e. a formulation involving a non-commutative random field defined on a non-commutative space. This talk is based on joint work with S. Albeverio and F. C. de Vecchi.

Sieve methods are analytic tools that we can use to tackle problems in additive number theory. This talk will serve as a gentle introduction to the area. At the end we will discuss recent progress on a variation on the prime $k$-tuples conjecture which involves sums of two squares. No knowledge of sieves is required!

We propose a modulated free energy which combines of the method previously developed by the speaker together with the modulated energy introduced by S. Serfaty. This modulated free energy may be understood as introducing appropriate weights in the relative entropy  to cancel the more singular terms involving the divergence of the flow. This modulated free energy allows to treat singular interactions of gradient-flow type and allows potentials with large smooth part, small attractive singular part and large repulsive singular part. As an example, a full rigorous derivation (with quantitative estimates) of some chemotaxis models, such as Patlak-Keller-Segel system in the subcritical regimes, is obtained.

We study a group theoretic analog of Dehn fillings of 3-manifolds and derive a spectral sequence to compute the cohomology of Dehn fillings of hyperbolically embedded subgroups. As applications, we generalize the results of Dahmani-Guirardel-Osin and Hull on SQ-universality and common quotients of acylindrically hyperbolic groups by adding cohomological finiteness conditions. This is a joint work with Nansen Petrosyan.

In the talk I will survey the fast growing field of metric measure spaces satisfying a lower bound on Ricci Curvature, in a synthetic sense via optimal transport. Particular emphasis will be given to discuss how such (possibly non-smooth) spaces naturally (and usefully) extend the class of smooth Riemannian manifolds with Ricci curvature bounded below.

We will discuss recent progress in understanding (ordinary and generalized) symmetries, dualities and classification of superconformal field theories in 5d and 6d, which involves the study of M-theory and F-theory compactified on Calabi-Yau threefolds.

We consider weakly-coupled QFT in AdS at finite temperature. We compute the holographic thermal two-point function of scalar operators in the boundary theory. We present analytic expressions for leading corrections due to local quartic interactions in the bulk, with an arbitrary number of derivatives and for any number of spacetime dimensions. The solutions are fixed by judiciously picking an ansatz and imposing consistency conditions. The conditions include analyticity properties, consistency with the operator product expansion, and the Kubo-Martin-Schwinger condition. For the case without any derivatives we show agreement with an explicit diagrammatic computation. The structure of the answer is suggestive of a thermal Mellin amplitude. Additionally, we derive a simple dispersion relation for thermal two-point functions which reconstructs the function from its discontinuity.

Talking maths on YouTube is a lot of fun. Your audience will contain maths enthusiasts, young people, and the general public. These are people who are interested in what you have to say, and want to learn something new. Maths videos on YouTube can be used to teach maths, or to just show people something interesting. Making videos doesn't have to be technically difficult, but is good practice in explaining difficult concepts in clear and succinct ways. In this session we will discuss how to make your first YouTube video, including questions about content, presentation and video making.

Dr James Grime started making his first maths YouTube videos while working as a postdoc in 2008. James has made maths videos with Cambridge University, the Royal Institution, and MathsWorldUK, and is also a presenter on the popular YouTube channel Numberphile, which now has over 3 million subscribers worldwide.

The session will be a panel discussion addressing practical aspects of doing a research degree. We will take questions from the audience so will discuss whatever people wish to ask us, but we expect to talk about the process of applying, why you might want to consider doing a research degree, the experience of doing research, and what people do after they have completed their degree.

Signalling pathways can be modelled as a biochemical reaction network. When the kinetics are to follow mass-action kinetics, the resulting
mathematical model is a polynomial dynamical system. I will overview approaches to analyse these models with steady-state data using
computational algebraic geometry and statistics. Then I will present how to analyse such models with time-course data using differential
algebra and geometry for model identifiability. Finally, I will present how topological data analysis can be help distinguish models
and data.

When faced with a data analysis, learning, or statistical inference problem, the amount and quality of data available fundamentally determines whether such tasks can be performed with certain levels of accuracy. With the growing size of datasets however, it is crucial not only that the underlying statistical task is possible, but also that is doable by means of efficient algorithms. In this talk we will discuss methods aiming to establish limits of when statistical tasks are possible with computationally efficient methods or when there is a fundamental «Statistical-to-Computational gap›› in which an inference task is statistically possible but inherently computationally hard. We will focus on Hypothesis Testing and the ``Low Degree Method'' and also address hardness of certification via ``quiet plantings''. Guiding examples will include Sparse PCA, bounds on the Sherrington Kirkpatrick Hamiltonian, and lower bounds on Chromatic Numbers of random graphs.

Deep convolutional networks have spectacular performances that remain mostly not understood. Numerical experiments show that they classify by progressively concentrating each class in separate regions of a low-dimensional space. To explain these properties, we introduce a concentration and separation mechanism with multiscale tight frame contractions. Applications are shown for image classification and statistical physics models of cosmological structures and turbulent fluids.

The development of high frequency and algorithmic trading allowed to considerably reduce the bid ask spread by increasing liquidity in limit order books. Beyond the problem of optimal placement of market and limit orders, the possibility to cancel orders for free leaves room for price manipulations, one of such being spoofing. Detecting spoofing from a regulatory viewpoint is challenging due to the sheer amount of orders and difficulty to discriminate between legitimate and manipulative flows of orders. However, it is empirical evidence that volume imbalance reflecting offer and demand on both sides of the limit order book has an impact on subsequent price movements. Spoofers use this effect to artificially modify the imbalance by posting limit orders and then execute market orders at subsequent better prices while canceling at a high speed their previous limit orders. In this work we set up a model to determine where a spoofer would place its limit orders to maximize its gains as a function of the imbalance impact on the price movement. We study the solution of this non local optimization problem as a function of the imbalance. With this at hand, we calibrate on real data from TMX the imbalance impact (as a function of its depth) on the resulting price movement. Based on this calibration and theoretical results, we then provide some methods and numerical results as how to detect in real time some eventual spoofing behavior based on Wasserstein distances. Joint work with Tao Xuan (SJTU), Ling Lan (SJTU) and Andrew Day (Western University)
=====================================================================

Materials made from a mixture of liquid and solid are, instinctively, very obviously complex. From dilatancy (the reason wet sand becomes dry when you step on it) to extreme shear-thinning (quicksand) or shear-thickening (cornflour oobleck) there is a wide range of behaviours to explain and predict. I'll discuss the seemingly simple case of solid spheres suspended in a Newtonian fluid matrix, which still has plenty of surprises up its sleeve.

Let $k$ be a field and $A$ a $k$-algebra. The classical Quillen's Lemma states that if $A$ if is equipped with an exhaustive filtration such that the associated graded ring is commutative and finitely generated $k$-algebra then for any finitely generated $A$-module $M$, every element of the endomorphism ring of $M$ is algebraic over $k$. In particular, Quillen's Lemma may be applied to the enveloping algebra of a finite dimensional Lie algebra. I aim to present an affinoid version of Quillen's Lemma which strengthness a theorem proved by Ardakov and Wadsley. Depending on time, I will show how this leads to an (almost) classification of the primitive spectrum of the affinoid enveloping algebra of a semisimple Lie algebra.

Whitney elements on simplices are perhaps the most widely used finite elements in computational electromagnetics. They offer the simplest construction of polynomial discrete differential forms on simplicial complexes. Their associated degrees of freedom (dofs) have a very clear physical meaning and give a recipe for discretizing physical balance laws, e.g., Maxwell’s equations. As interest grew for the use of high order schemes, such as hp-finite element or spectral element methods, higher-order extensions of Whitney forms have become an important computational tool, appreciated for their better convergence and accuracy properties. However, it has remained unclear what kind of cochains such elements should be associated with: Can the corresponding dofs be assigned to precise geometrical elements of the mesh, just as, for instance, a degree of freedom for the space of Whitney 1-forms belongs to a specific edge? We address this localization issue. Why is this an issue? The existing constructions of high order extensions of Whitney elements follow the traditional FEM path of using higher and higher “moments” to define the needed dofs. As a result, such high order finite k-elements in d dimensions include dofs associated to q-simplices, with k < q ≤ d, whose physical interpretation is obscure. The present paper offers an approach based on the so-called “small simplices”, a set of subsimplices obtained by homothetic contractions of the original mesh simplices, centered at mesh nodes (or more generally, when going up in degree, at points of the principal lattice of each original simplex). Degrees of freedom of the high-order Whitney k-forms are then associated with small simplices of dimension k only.  We provide an explicit  basis for these elements on simplices and we justify this approach from a geometric point of view (in the spirit of Hassler Whitney's approach, still successful 30 years after his death).   

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 send email to @email.

A dagger category is a category where for every morphism f:x --> y there is a chosen adjoint f*:y --> x, as for example in the category of Hilbert spaces. I will explain this definition in elementary terms and give a few example. The only prerequisites for this talk are the notion of category, functor, and Hilbert space.

Dagger categories are a great categorical framework for some concepts from functional analysis such as C*-algebras and they also allow us to state Atiyah's definition unitary topological field theories in categorical lanugage. There is however a problem with dagger categories: they are what category theorists like to call 'evil'. This is isn't really meant as a moral judgement, it just means that many ways of thinking about ordinary categories don't quite translate to dagger categories.

For example, not every fully faithful and essentially surjective dagger functor is also a dagger equivalence. I will present a notion of 'indefinite completion' that I came up with to describe dagger categories in less 'evil' terms. (Those of you who know Karoubi completion will see a lot of similarities.) I'll also explain how this can be used to compute categories of dagger functors, and more specifically groupoids of unitary TFTs.

Leighton's Theorem states that if two finite graphs have a common universal cover then they have a common finite cover. I will explore various ways in which this result can and can't be extended.

In long-range percolation on $\mathbb{Z}^d$, each potential edge $\{x,y\}$ is included independently at random with probability roughly $\beta\|x-y\|-d-\alpha$, where $\alpha > 0$ controls how long-range the model is and $\beta > 0$ is an intensity parameter. The smaller $\alpha$ is, the easier it is for very long edges to appear. We are normally interested in fixing $\alpha$ and studying the phase transition that occurs as $\beta$ is increased and an infinite cluster emerges. Perhaps surprisingly, the phase transition for long-range percolation is much better understood than that of nearest neighbour percolation, at least when $\alpha$ is small: It is a theorem of Noam Berger that if $\alpha < d$ then the phase transition is continuous, meaning that there are no infinite clusters at the critical value of $\beta$. (Proving the analogous result for nearest neighbour percolation is a notorious open problem!) In my talk I will describe a new, quantitative proof of Berger's theorem that yields power-law upper bounds on the distribution of the cluster of the origin at criticality.
    As a part of this proof, I will describe a new universal inequality stating that on any graph, the maximum size of a percolation cluster is of the same order as its median with high probability. This inequality can also be used to give streamlined new proofs of various classical results on e.g. Erdős-Rényi random graphs, which I will hopefully have time to talk a little bit about also.

I will talk about the joint moments of characteristic polynomials of random unitary matrices and their derivatives. In joint work with Jon Keating and Jon Warren we establish the asymptotics of these quantities for general real values of the exponents as the size N of the matrix goes to infinity. This proves a conjecture of Hughes from 2001. In subsequent joint work with Benjamin Bedert, Mustafa Alper Gunes and Arun Soor we focus on the leading order coefficient in the asymptotics, we connect this to Painleve equations for general values of the exponents and obtain explicit expressions corresponding to the so-called classical solutions of these equations.

Let $G$ be a connected reductive algebraic group, and let $G(\mathbb{F}_q)$ be its group of $\mathbb{F}_q$-rational points. Denote by $\mathrm{Irr}(G(\mathbb{F}_q))$ the set of (equivalence classes) of irreducible finite-dimensional representations. Deligne and Lusztig defined a finite subset $$\mathrm{Unip}(G(\mathbb{F}_q)) \subset \mathrm{Irr}_{\mathrm{fd}}(G(\mathbb{F}_q))$$ 
of unipotent representations. These representations play a distinguished role in the representation theory of $G(\mathbb{F}_q)$. In particular, the classification of $\mathrm{Irr}_{\mathrm{fd}}(G(\mathbb{F}_q))$ reduces to the classification of $\mathrm{Unip}(G(\mathbb{F}_q))$. 

Now replace $\mathbb{F}_q$ with a local field $k$ and replace $\mathrm{Irr}_{\mathrm{fd}}(G(\mathbb{F}_q))$ with $\mathrm{Irr}_{\mathrm{u}}(G(k))$ (irreducible unitary representations). Vogan has predicted the existence of a finite subset 
$$\mathrm{Unip}(G(k)) \subset \mathrm{Irr}_{\mathrm{u}}(G(k))$$ 
which completes the following analogy
$$\mathrm{Unip}(G(k)) \text{ is to } \mathrm{Irr}_{\mathrm{u}}(G(k)) \text{ as } \mathrm{Unip}(G(\mathbb{F}_q)) \text{ is to } \mathrm{Irr}_{\mathrm{fd}}(G(\mathbb{F}_q)).$$
In this talk I will propose a definition of $\mathrm{Unip}(G(k))$ when $k = \mathbb{C}$. The definition is geometric and case-free. The representations considered include all of Arthur's, but also many others. After sketching the definition and cataloging its properties, I will explain a classification of $\mathrm{Unip}(G(\mathbb{C}))$, generalizing the well-known result of Barbasch-Vogan for Arthur's representations. Time permitting, I will discuss some speculations about the case of $k=\mathbb{R}$.

This talk is based on forthcoming joint work with Ivan Loseu and Dmitryo Matvieievskyi.

(joint work with T. Kania, Academy of Sciences of the Czech Republic, Prague)
In this talk we discuss our recent result on the inverse eigenvalue problem for symmetric doubly stochastic matrices. 
Namely, we provide a new sufficient condition for a list of real numbers to be the spectrum of a symmetric doubly stochastic matrix. 
In our construction of such matrices, we employ the eigenvectors of the transition probability matrix of a simple symmetric random walk on the circle. 
We also demonstrate a simple algorithm for generating random doubly stochastic matrices based on our construction. Examples will be provided.

I will present work in progress with D. Gayet and F. Pouran (Grenoble) to establish Russo-Seymour-Welsh (RSW) estimates for 2d statistical mechanics models that do not satisfy the FKG inequality. RSW states that critical percolation has no characteristic length, in the sense that large rectangles are crossed by an open path with a probability that is bounded below by a function of their shape, but uniformly in their size; this ensures the polynomial decay of many relevant quantities and opens the way to deeper understanding of the critical features of the model. All the standard proofs of RSW rely on the FKG inequality, i.e. on the positive correlation between increasing events; we establish the stability of RSW under small perturbations that do not preserve FKG, which extends it for instance to the high-temperature anti-ferromagnetic Ising model.

Subfactors and K-theory are useful mechanisms for understanding modular tensor categories and conformal field theories. As part of this programme, one issue to try and construct or reconstruct a conformal field theory as the representation theory of a conformal net of algebras, or as a vertex operator algebra from a given abstractly presented modular tensor category. Orbifold models play an important role and orbifolds of Tambara-Yamagami systems are relevant to understanding the double of the Haagerup as a conformal field theory. This is joint work with Andreas Aaserud, Terry Gannon and Ulrich Pennig.

I will review recent works on geometries underlying scattering amplitudes of (certain generalizations of) particles and strings  Tree amplitudes of a cubic scalar theory are given by "canonical forms" of the so-called ABHY associahedra defined in kinematic space. The latter can be naturally extended to generalized associahedra for finite-type cluster algebra, and for classical types their canonical forms give scalar amplitudes through one-loop order. We then consider vast generalizations of string amplitudes dubbed “stringy canonical forms”, and in particular "cluster string integrals" for any Dynkin diagram, which for type A reduces to usual string amplitudes. These integrals enjoy remarkable factorization properties at finite $\alpha'$, obtained simply by removing nodes of the Dynkin diagram; as $\alpha'\rightarrow 0$ they reduce to canonical forms of generalized associahedra, or the aforementioned tree and one-loop scalar amplitudes.

It is one of the most challenging issues in applied mathematics to approximately solve high-dimensional partial differential equations (PDEs) and most of the numerical approximation methods for PDEs in the scientific literature suffer from the so-called curse of dimensionality (CoD) in the sense that the number of computational operations employed in the corresponding approximation scheme to obtain an  approximation precision $\varepsilon >0$ grows exponentially in the PDE dimension and/or the reciprocal of $\varepsilon$. Recently, certain deep learning based approximation methods for PDEs have been proposed  and various numerical simulations for such methods suggest that deep neural network (DNN) approximations might have the capacity to indeed overcome the CoD in the sense that  the number of real parameters used to describe the approximating DNNs  grows at most polynomially in both the PDE dimension $d \in  \N$ and the reciprocal of the prescribed approximation accuracy $\varepsilon >0$. There are now also a few rigorous mathematical results in the scientific literature which  substantiate this conjecture by proving that  DNNs overcome the CoD in approximating solutions of PDEs.  Each of these results establishes that DNNs overcome the CoD in approximating suitable PDE solutions  at a fixed time point $T >0$ and on a compact cube $[a, b]^d$ but none of these results provides an answer to the question whether the entire PDE solution on $[0, T] \times [a, b]^d$ can be approximated by DNNs without the CoD. 
In this talk we show that for every $a \in \R$, $ b \in (a, \infty)$ solutions of  suitable  Kolmogorov PDEs can be approximated by DNNs on the space-time region $[0, T] \times [a, b]^d$ without the CoD. 

We discuss the problem in representation theory of decomposing restricted representations. We start classically with the symmetric groups via Young diagrams and Young tableaux, and then move into the world of Lie groups. These problems have connections with both physics and number theory, and if there is time I will discuss the Gan-Gross-Prasad conjectures which predict results on restrictions for algebraic groups over both local and global fields. The pre-requisites will build throughout the talk, but it should be accessible to anyone with some knowedge of both finite groups and Lie groups.

Hardt-Simon proved that every area-minimizing hypercone $C$ having only an isolated singularity fits into a foliation of $R^{n+1}$ by smooth, area-minimizing hypersurfaces asymptotic to $C$. We prove that if a minimal hypersurface $M$ in the unit ball $B_1 \subset R^{n+1}$ lies sufficiently close to a minimizing quadratic cone (for example, the Simons' cone), then $M \cap B_{1/2}$ is a $C^{1,\alpha}$ perturbation of either the cone itself, or some leaf of its associated foliation. In particular, we show that singularities modeled on these cones determine the local structure not only of $M$, but of any nearby minimal surface. Our result also implies the Bernstein-type result of Simon-Solomon, which characterizes area-minimizing hypersurfaces in $R^{n+1}$ asymptotic to a quadratic cone as either the cone itself, or some leaf of the foliation.  This is joint work with Luca Spolaor.

Triangle presentations are combinatorial structures on finite projective geometries which characterize groups acting simply transitively on the vertices of locally finite affine A_n buildings. From this data, we will show how to construct new fiber functors on the category of tilting modules for SL(n+1) in characteristic p (related to order of the projective geometry) using the web calculus of Cautis, Kamnitzer, Morrison and Brundan, Entova-Aizenbud, Etingof, Ostrik.

In this talk, I will discuss some results on the structure of the cohomology of the moduli space of stable SL_n Higgs bundles on a curve. 

One consequence is a new proof of the Hausel-Thaddeus conjecture proven previously by Groechenig-Wyss-Ziegler via p-adic integration.

We will also discuss connections to the P=W conjecture if time permits. Based on joint work with Junliang Shen.

In view of the recent observations of gravitational-wave signals from black-hole mergers, classical black-hole scattering has received considerable interest due to its relation to the classical bound-state problem of two black holes inspiraling onto each other. In this talk I will discuss the link between classical scattering of spinning black holes and quantum scattering amplitudes for massive spin-s particles. Considering the first post-Minkowskian (PM) order, I will explain how the spin-exponentiated structure of the relevant tree-level amplitude follows from minimal coupling to Einstein's gravity and in the s → ∞ limit generates the black holes' complete series of spin-induced multipoles. The resulting scattering function will be shown to encode in a simple way the classical net changes in the black-hole momenta and spins at 1PM order and to all orders in spins. I will then comment on the results and challenges at 2PM order and beyond.
 

We propose Swampland constraints on consistent 5d N=1 supergravity theories. In particular, we focus on a special class of BPS monopole strings which arise only in gravitational theories. The central charges and the levels of current algebras of 2d CFTs on these strings can be computed using the anomaly inflow mechanism and provide constraints for the 5d supergravity using unitarity of the worldsheet CFT. In M-theory, where these theories can be realised by compactification on Calabi-Yau threefolds, the special monopole strings arise from M5 branes wrapping “semi-ample” 4-cycles in the threefolds. We further identify necessary geometric conditions that such cycles need to satisfy and translate them into constraints for the low-energy gravity theory.

In this talk, I will give a brief introduction to level-set methods for image analysis. I will then describe an application of level-sets to the construction of filtrations for persistent homology computations. I will present several case studies with various spatial data sets using this construction, including applications to voting, analyzing urban street patterns, and spiderwebs. I will conclude by discussing the types of data which I might imagine such methods to be suitable for analyzing and suggesting a few potential future applications of level-set based computations.

The Schur functor and its inverses give an important connection between the representation theories of the symmetric group and the general linear group. Kleshchev and Nakano proved in 2001 that when the characteristic of the field is at least 5, the image of the Specht module under the inverse Schur functor is isomorphic to the dual Weyl module. In this talk I will address what happens in characteristics 2 and 3: in characteristic 3, the isomorphism holds, and I will give an elementary proof of this fact which covers also all characteristics other than 2; in characteristic 2, the isomorphism does not hold for all Specht modules, and I will classify those for which it does. Our approach is with Young tableaux, tabloids and Garnir relations.

In this talk, I will present a series of new experimental data, supported by theoretical models, of the transport of ash, aerosols and bubbles in multiphase plumes rising through stratified environments, focussing on the structure of flow and the dispersal of the different phases. The models have relevance for the dispersal of volcanic ash in the atmosphere and ocean, the mixing of aerosols in buildings, and the fate of suspended sediment produced during deep sea mining. 

While the pathological mechanisms in COVID-19 illness are still poorly understood, it is increasingly clear that high levels of pro-inflammatory mediators play a major role in clinical deterioration in patients with severe disease. Current evidence points to a hyperinflammatory state as the driver of respiratory compromise in severe COVID-19 disease, with a clinical trajectory resembling acute respiratory distress syndrome (ARDS) but how this “runaway train” inflammatory response emergences and is maintained is not known. In this talk, we present the first mathematical model of lung hyperinflammation due to SARS- CoV-2 infection. This model is based on a network of purported mechanistic and physiological pathways linking together five distinct biochemical species involved in the inflammatory response. Simulations of our model give rise to distinct qualitative classes of COVID-19 patients: (i) individuals who naturally clear the virus, (ii) asymptomatic carriers and (iii–v) individuals who develop a case of mild, moderate, or severe illness. These findings, supported by a comprehensive sensitivity analysis, points to potential therapeutic interventions to prevent the emergence of hyperinflammation. Specifically, we suggest that early intervention with a locally-acting anti-inflammatory agent (such as inhaled corticosteroids) may effectively blockade the pathological hyperinflammatory reaction as it emerges.