Past

In 1986, Katznelson and Tzafriri proved that, if $T$ is a power-bounded operator on a Banach space $X$, and the spectrum of $T$ meets the unit circle only at 1, then $\|T^n(I-T)\| \to 0$ as $n\to\infty$. Actually, they went further and proved that $\|T^nf(T)\| \to 0$ if $T$ and $f$ satisfy certain conditions. Soon afterward, analogous results were obtained for bounded $C_0$-semigroups $(T(t))_{t\ge0}$. Further extensions and variants were proved later. I will speak about several extensions to the Katznelson-Tzafriri theorem(s), including in particular a recent result(s) obtained by David Seifert and myself.

COURSE_PROPOSAL (12)_0.pdf

The space of unordered tuples. The notion of differentiability and the theory of metric Sobolev in the context of multi-valued functions. Multivalued maximum principle and Holder regularity. Estimates on the Hausdorff dimension of the singular set of Dir-minimizing functions. If time permits: mass minimizing currents and their link with Dir-minimizers. 

A parabolic representation of the free group  is one in which the images of both generators are parabolic elements of $PSL(2,\IC)$. The Riley slice is a closed subset ${\cal R}\subset \IC$ which is a model for the moduli space of parabolic, discrete and faithful representations. The complement of the Riley slice is a bounded Jordan domain within which there are isolated points, accumulating only at the boundary, corresponding to parabolic discrete and faithful representations of rigid subgroups of $PSL(2,\IC)$. Recent work of Aimi, Akiyoshi, Lee, Oshika, Parker, Lee, Sakai, Sakuma \& Yoshida, have topologically identified all these groups. Here we give the first  substantive properties of the nondiscrete representations using ergodic properties of the action of a polynomial semigroup and identifying the Riley slice as the ``Julia set’’ of this dynamical system. We prove a supergroup density theorem: given any irreducible parabolic representation of $F_2$ whatsoever, {\em any}  non-discrete parabolic representation has an arbitrarily small perturbation which contains that group as a conjugate.  Using these ideas we then show that there are nondiscrete parabolic representations with an arbitrarily large number of distinct Nielsen classes of parabolic generators.

 Wide Neural Networks are well known for their Gaussian Process behaviour. Based upon this fact, an initialisation scheme for the weights and biases of a network preserving some geometrical properties of the input data is presented — The edge-of-chaos. This talk will introduce such a scheme before briefly mentioning a recent contribution related to the edge-of-chaos dynamics of wide randomly initialized low-rank feedforward networks. Formulae for the optimal weight and bias variances are extended from the full-rank to low-rank setting and are shown to follow from multiplicative scaling. The principle second order effect, the variance of the input-output Jacobian, is derived and shown to increase as the rank to width ratio decreases. These results inform practitioners how to randomly initialize feedforward networks with a reduced number of learnable parameters while in the same ambient dimension, allowing reductions in the computational cost and memory constraints of the associated network.

Let $p_c$ and $q_c$ be the threshold and the expectation threshold, respectively, of an increasing family $F$ of subsets of a finite set $X$. Recently, Park and Pham proved Kahn–Kalai conjecture stating that a not-too-large multiple of $q_c$ is an upper bound on $p_c$. In the talk, I will present a slight improvement to the Park–Pham theorem, which is obtained from transferring the threshold result from the small $p$ regime to general $p$. Based on joint work with Oliver Riordan.

Complex networks usually exhibit a rich architecture organized over multiple intertwined scales. Information pathways are expected to pervade these scales reflecting structural insights that are not manifest from analyses of the network topology. Moreover, small-world effects correlate with the different network hierarchies complicating identifying coexisting mesoscopic structures and functional cores. We present a communicability analysis of effective information pathways throughout complex networks based on information diffusion to shed further light on these issues. This leads us to formulate a new renormalization group scheme for heterogeneous networks. The Renormalization Group is the cornerstone of the modern theory of universality and phase transitions, a powerful tool to scrutinize symmetries and organizational scales in dynamical systems. However, its network counterpart is particularly challenging due to correlations between intertwined scales. The Laplacian RG picture for complex networks defines both the supernodes concept à la Kadanoff, and the equivalent momentum space procedure à la Wilson for graphs.

The pro-C completion of a free profinite group on an infinite set of generators is a profinite group of a greater rank. However, it is still not known whether it is a free profinite group too.  We will discuss this question, present a positive answer for some special varieties, and show partial results regarding the general case. In addition, we present the infinite tower of profinite completions, which leads to a generalisation for completions of higher orders. 

Placeholder entry; date+time TBC. 

Abstract for talk: In this talk, we present a systematic discretization of the Bernstein-Gelfand-Gelfand (BGG) diagrams and complexes over cubical meshes of arbitrary dimension via the use of tensor-product structures of one-dimensional piecewise-polynomial spaces, such as spline and finite element spaces. We demonstrate the construction of the Hessian, the elasticity, and div-div complexes as examples for our construction.

PDEs frequently exhibit certain physical structures that guide their behaviour, e.g. energy/helicity dissipation, Hamiltonians, and material conservation. Preserving these structures during numerical discretisation is essential.

Although the finite-element method has proven powerful in constructing such models, incorporating inhomogeneous(/non-zero) boundary conditions has been a significant challenge. We propose a technique that addresses this issue, deriving structure-preserving models for diverse inhomogeneous problems.

Moreover, this technique enables the derivation of novel structure-preserving timesteppers for time-dependent problems. Analogies can be drawn with the other workhorse of modern structure-preserving methods: symplectic integrators.

I will discuss a formulation of an Abelian Chern-Simons theory on the lattice employing the modified Villain formalism. The theory suffers from a well-known problem of having extra zero modes in the Gaussian operator. I will argue that these zero modes are associated with a kind of subsystem symmetry which projects out almost all naive Wilson loops. The operators which survive are framed Wilson loops. These turn out to be topological charges of the associated one-form symmetry, and it has the correct topological spin and correlation functions.

This will be a continuation of the talk from last week (9 May). 

The talk is focused on the clamped plate problem, initially formulated by Lord Rayleigh in 1877, and solved by M. Ashbaugh & R. Benguria (Duke Math. J., 1995) and N. Nadirashvili (Arch. Ration. Mech. Anal., 1995) in 2 and 3 dimensional euclidean spaces. We consider the same problem on both negatively and positively curved spaces, and provide various answers depending on the curvature, dimension and the width/size of the clamped plate.

Let $p$ be a prime, let $1 \le t < d < p$ be integers, and let $S$ be a non-empty subset of $\mathbb{F}_p$ (which may be thought of as being $\{0,1\}$). We will establish that if a polynomial $P:\mathbb{F}_p^n \to \mathbb{F}_p$ with degree $d$ is such that the image $P(S^n)$ does not contain the full image $A(\mathbb{F}_p)$ of any non-constant polynomial $A: \mathbb{F}_p \to \mathbb{F}_p$ with degree at most $t$, then $P$ coincides on $S^n$ with a polynomial $Q$ that in particular has bounded degree-$\lfloor d/(t+1) \rfloor$-rank in the sense of Green and Tao, and has degree at most $d$. Likewise, we will prove that if the assumption holds even for $t=d$ then $P$ coincides on $S^n$ with a polynomial determined by a bounded number of coordinates and with degree at most $d$.

Questions about the geometry of G-representation varieties on a manifold M have attracted many researchers as the theory combines the algebraic geometry of G, the topology of M, and the group theory and representation theory of G and the fundamental group of M. In this talk, I will explain how to construct a Topological Quantum Field Theory to compute virtual classes of character stacks (G-representation varieties equipped with the adjoint G-action) in the Grothendieck ring of stacks. I will also show a few features of the construction (for instance, how to obtain arithmetic information) focusing on a couple of simple examples.
The work is joint with Jesse Vogel and Ángel González-Prieto.  

Recently there is a rising interest in the research of mean-field optimization, in particular because of its role in analyzing the training of neural networks. In this talk, by adding the Fisher Information (in other word, the Schrodinger kinetic energy) as the regularizer, we relate the mean-field optimization problem with a so-called mean field Schrodinger (MFS) dynamics. We develop a free energy method to show that the marginal distributions of the MFS dynamics converge exponentially quickly towards the unique minimizer of the regularized optimization problem. We shall see that the MFS is a gradient flow on the probability measure space with respect to the relative entropy. Finally we propose a Monte Carlo method to sample the marginal distributions of the MFS dynamics. This is a joint work with Giovanni Conforti, Zhenjie Ren and Songbo Wang.

I will discuss a joint work with Olivier Biquard about degenerating conic Kähler-Einstein metrics by letting the cone angle go to zero. In the case where one is given a smooth anticanonical divisor $D$ in a Fano manifold $X$, I will explain how the complete Ricci flat Tian-Yau metric on $X \smallsetminus D$ appears as rescaled limit of such conic KE metrics. 

We present a homotopy-theoretic method for calculating Ext groups between polynomial functors from the category of (finitely generated, free) groups to abelian groups. It enables us to substantially extend the range of what can be calculated. In particular, we can calculate torsion in the Ext groups, about which very little has been known. We will discuss some applications to the stable cohomology of Aut(F_n), based on a theorem of Djament.   

I will discuss how to place conformal boundary conditions on free higher derivative theories of scalars and spinors as well as the zoo of boundary renormalization group flows that connect the different boundary conditions.  Historically, there are connections to Poisson’s ratio and classical equations governing the bending of thin steel plates.  As these higher derivative theories are often invoked in the context of cosmology, there may be cosmological applications for the boundary conditions discussed here.
 

Title: When data driven reduced order modelling meets full waveform inversion

Abstract:

This talk is concerned with the following inverse problem for the wave equation: Determine the variable wave speed from data gathered by a collection of sensors, which emit probing signals and measure the generated backscattered waves. Inverse backscattering is an interdisciplinary field driven by applications in geophysical exploration, radar imaging, non-destructive evaluation of materials, etc. There are two types of methods:

(1) Qualitative (imaging) methods, which address the simpler problem of locating reflective structures in a known host medium. 

(2) Quantitative methods, also known as velocity estimation. 

Typically, velocity estimation is  formulated as a PDE constrained optimization, where the data are fit in the least squares sense by the wave computed at the search wave speed. The increase in computing power has lead to growing interest in this approach, but there is a fundamental impediment, which manifests especially for high frequency data: The objective function is not convex and has numerous local minima even in the absence of noise.

The main goal of the talk is to introduce a novel approach to velocity estimation, based on a reduced order model (ROM) of the wave operator. The ROM is called data driven because it is obtained from the measurements made at the sensors. The mapping between these measurements and the ROM is nonlinear, and yet the ROM can be computed efficiently using methods from numerical linear algebra. More importantly, the ROM can be used to define a better objective function for velocity estimation, so that gradient based optimization can succeed even for a poor initial guess.

TBC

The mod p Langlands program is an attempt to relate mod p Galois representations of a local field to mod p representations of the p-adic points of a reductive group. This is inspired by the classical local Langlands (l-adic coefficients) and it is partially a stepping stone towards the p-adic Langlands (p-adic coefficients). I will explain this for GL2/Qp, where one can explicitly describe both sides, and I will relate it to congruences between modular forms. 

A conjecture due to Zilber predicts that the complex exponential field is quasiminimal: that is, that all subsets of the complex numbers that are definable in the language of rings expanded by a symbol for the complex exponential function are countable or cocountable.
Zilber showed that this conjecture would follow from Schanuel's Conjecture and an existential closedness type property asserting that certain systems of exponential-polynomial equations can be solved in the complex numbers; later on, Bays and Kirby were able to remove the dependence on Schanuel's Conjecture, shifting all the focus to the existence of solutions. In this talk, I will discuss recent work about the quasiminimality of a reduct of the complex exponential field, that is, the complex numbers expanded by multivalued power functions. This is joint work with Jonathan Kirby.