Past

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.

Nonlinear filtering is a central mathematical tool in understanding how we process information. Unfortunately, the equations involved are often high dimensional, and therefore, in practical applications, approximate filters are often employed in place of the optimal filter. The error introduced by using these approximations is generally poorly understood. In this talk we will see how, in the case where the underlying process is a continuous-time, finite-state Markov Chain, results on the stability of filters can be strengthened to yield bounds for the error between the optimal filter and a general approximate filter.  We will then consider the 'projection filter', a low dimensional approximation of the filtering equation originally due to D. Brigo and collaborators, and show that its error is indeed well-controlled. The talk is based on joint work with Sam Cohen.

We propose to use stochastic Riemannian coordinate descent on the Stiefel manifold for deep neural network training. The algorithm rotates successively two columns of the matrix, an operation that can be efficiently implemented as a multiplication by a Givens matrix. In the case when the coordinate is selected uniformly at random at each iteration, we prove the convergence of the proposed algorithm under standard assumptions on the loss function, stepsize and minibatch noise. Experiments on benchmark deep neural network training problems are presented to demonstrate the effectiveness of the proposed algorithm.

We will look at the vanishing of group cohomology from the perspective of Kazhdan’s property (T). We will investigate an analogue of this property for any degree, introduced by U. Bader and P. W. Nowak in 2020 and describe a method of proving these properties with computers.

Female PhD students and Postdocs will be giving short talks about their research. This will be followed by a Q&A and a chance to mingle with the speakers over lunch.

Speakers:

• Rhiannon Savage, DPhil Student in Algebra and Geometry
• Shanshan Hua, DPhil Student in Functional Analysis
• Silvia Butti, Postdoc in Theoretical Computer Science
• Anna Berryman, DPhil Student in OCIAM (Oxford Centre for Industrial and Applied Mathematics)
• Carmen Jorge Diaz, DPhil Student in Mathematical Physics

The Calogero-Painlevé systems were introduced in 2001 by K. Takasaki as a natural generalization of the classical Painlevé equations to the case of the several Painlevé “particles” coupled via the Calogero type interactions. In 2014, I. Rumanov discovered a remarkable fact that a particular case of the Calogero– Painlevé II equation describes the Tracy-Widom distribution function for the general $\beta$-ensembles with the even values of parameter $\beta$. in 2017 work of M. Bertola, M. Cafasso , and V. Rubtsov, it was proven that all Calogero-Painlevé systems are Lax integrable, and hence their solutions admit a Riemann-Hilbert representation. This important observation has opened the door to rigorous asymptotic analysis of the Calogero-Painlevé equations which in turn yields the possibility of rigorous evaluation of the asymptotic behavior of the Tracy-Widom distributions for the values of $\beta$ beyond the classical $\beta =1, 2, 4$. In the talk these recent developments will be outlined with a special focus on the Calogero-Painlevé system corresponding to $\beta = 6$. This is a joint work with Andrei Prokhorov.

Wreath-like products are a new class of groups, which are close relatives of the classical wreath products. Examples of wreath-like product groups arise from every non-elementary hyperbolic groups by taking suitable quotients. As a consequence, unlike classical wreath products, many wreath-like products have Kazhdan's property (T). 

I will present several rigidity results for von Neumann algebras of wreath-like product groups. We show that any group G in a natural family of wreath-like products with property (T) is W*-superrigid: the group von Neumann algebra L(G) remembers the isomorphism class of G. This provides the first examples of W*-superrigid groups with property (T). For a wider class wreath-like products with property (T), we show that any isomorphism of their group von Neumann algebras arises from an isomorphism of the groups. As an application, we prove that any countable group can be realized as the outer automorphism group of L(G), for an icc property (T) group G. These results are joint with Ionut Chifan, Denis Osin and Bin Sun.  

Time permitting, I will mention an additional application of wreath-like products obtained in joint work with Ionut Chifan and Daniel Drimbe, and showing that any separable II_1 factor is contained in one with property (T). This provides an operator algebraic counterpart of the group theoretic fact that every countable group is contained in one with property (T).

COURSE_PROPOSAL (12).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. 

To a group theorist ribbon groups look like knot groups, except  that we know everything about knot groups and next to nothing about ribbon groups.

I will talk about an old paper of mine with Peter Teichner where several questions on ribbon groups naturally arise.

"Colouring" a tournament means partitioning its vertex set into acylic subsets; and the "domination number" is the size of the smallest set of vertices with no common in-neighbour. In some ways these are like the corresponding concepts for graphs, but in some ways they are very different. We give a survey of some recent results and open questions on these topics.

Joint with Tung Nguyen and Alex Scott.

The Satake isomorphism is a fundamental result in p-adic groups, and the affine Grassmannian is the natural setting where this geometrizes to the Geometric Satake Correspondence. In fact, it suffices to work with affine Grassmannian slices, which retain all of the information.

Recently, Braverman, Finkelberg, and Nakajima showed that affine Grassmannian slices arise as Coulomb branches of certain quiver gauge theories. Remarkably, their construction works in Kac-Moody type as well. Their work opens the door to studying affine Grassmannians and Geometric Satake Correspondence for Kac-Moody groups. Unfortunately, it is difficult at present to do any explicit geometry with the Coulomb branch definition. For example, a basic feature is that affine Grassmannian slices embed into one another. However, this is not apparent from the Coulomb branch definition. In this talk, I will explain why these embeddings are necessarily subtle. Nonetheless, I will show a way to construct the embeddings using fundamental monopole operators.

This is joint work with Alex Weekes.

Supersymmetric localization allows one to reduce the computation of the partition function of a supersymmetric theory to a finite-dimensional integral, but the space over which one integrates is often singular. In this talk I will explain how one can use shifted symplectic geometry to get rigorous definitions of partition functions and state spaces in theories with extended supersymmetry. For instance, this gives a field-theoretic origin of DT invariants of CY4 manifolds. This is a report on joint work with Brian Williams.

Diffusion Limited Aggregation is a very simple mathematical model which describes a wide range of natural phenomena. Despite its simplicity, there is very little progress in understanding its large-scale structure. Since its introduction by Witten and Sander over 40 years ago, there was only one mathematical result. In 1987 Kesten obtained an upper bound on the growth rate. In this talk I will discuss DLA and some related models and the recent progress in understanding DLA. In particular, a new simpler proof of Kesten result which generalizes to other aggregation models.

Quasiconvexity is the fundamental existence condition for variational problems, yet it is poorly understood. Two outstanding problems remain: 

• 1) does rank-one convexity, a simple necessary condition, imply quasiconvexity in two dimensions? 

• 2) can one prove existence theorems for quasiconvex energies in the context of nonlinear Elasticity? 

In this talk we show that both problems have a positive answer in a special class of isotropic energies. Our proof combines complex analysis with the theory of gradient Young measures. On the way to the main result, we establish quasiconvexity inequalities for the Burkholder function which yield, in particular, many sharp higher integrability results. 
The talk is based on joint work with Kari Astala, Daniel Faraco, Aleksis Koski and Jan Kristensen.

I will construct the differential geometric, gauge-theoretic, and duality covariant model of classical four-dimensional Abelian gauge theory on an orientable four-manifold of arbitrary topology. I will do so by implementing the Dirac-Schwinger-Zwanziger (DSZ) integrality condition in classical Abelian gauge theories with general duality structure and interpreting the associated sheaf cohomology groups geometrically. As a result, I will obtain that four-dimensional Abelian gauge theories are theories of connections on Siegel bundles, namely principal bundles whose structure group is the generically non-abelian disconnected group of automorphisms of an integral affine symplectic torus. This differential-geometric model includes the electric and magnetic gauge potentials on an equal footing and describes the equations of motion through a first-order polarized self-duality condition for the curvature of a connection. This condition is reminiscent of the theory of four-dimensional Euclidean instantons, even though we consider a two-derivative theory in Lorentzian signature. Finally, I will elaborate on various applications of this differential-geometric model, including a mathematically rigorous description of electromagnetic duality in Abelian gauge theory and the reduction of the polarized self-duality condition to a Riemannian three-manifold, which gives as a result a new type of Bogomolny equation.

The affinity between statistical physics and machine learning has a long history. Theoretical physics often proceeds in terms of solvable synthetic models; I will describe the related line of work on solvable models of simple feed-forward neural networks. I will then discuss how this approach allows us to analyze uncertainty quantification in neural networks, a topic that gained urgency in the dawn of widely deployed artificial intelligence. I will conclude with what I perceive as important specific open questions in the field.

 

In this lecture, I will discuss the resolution of the Arthur-Barbasch-Vogan conjecture on the unitarity of special unipotent representations for any real form of a connected reductive complex Lie group, with contributions by several groups of authors (Barbasch-Ma-Sun-Zhu, Adams-Arancibia-Mezo, and Adams-Miller-van Leeuwen-Vogan). The main part of the lecture will be on the approach of the first group of authors for the case of real classical groups: counting by coherent families (combinatorial aspect), construction by theta lifting (analytic aspect), and distinguishing by invariants (algebraic-geometric aspect), resulting in a full classification, and with unitarity as a direct consequence of the construction.

Multi-parameter persistence is a main research topic in topological data analysis. Major questions involve the computation and the structural properties
of persistence modules. In this context, I will sketch two very recent results:

(1) We define a natural bifiltration called the localized union-of-balls bifiltration that contains filtrations studied in the context of local persistent homology as slices. This bifiltration is not k-critical for any finite k. Still, we show that a representation of it (involving algebraic curves of low degree) can be computed exactly and efficiently. This is joint work with Matthias Soels (TU Graz).

(2) Every persistence modules permits a unique decomposition into indecomposable summands. Intervals are the simplest type of summands, but more complicated indecomposables can appear, and usually do appear in examples. We prove that for homology-dimension 0 and density-Rips bifiltration, at least a quarter of the indecomposables are intervals in expectation for a rather general class of point samples. Moreover, these intervals can be ``peeled off'' the module efficiently. This is joint work with Angel Alonso (TU Graz).

Critical levels appear as singularities of waves propagating in shear flows. When magnetic field exists, critical levels are located where the phase velocity of the wave relative to the basic flow matches the velocity of Alfvén waves. Critical levels are known for locally strong wave amplitude in its vicinity, known as the critical layers. In this talk, I will demonstrate the situation where magnetic critical layers can contribute to the instability of the MHD flow.  We consider two different flow configurations. One is the shallow water flow, and the other is the 2D flow on a sphere. Asymptotic analysis has been used to explore deeper insights of the instability mechanism.

Data-driven modeling and deep learning present powerful tools that are opening up new paradigms and opportunities in the understanding, discovery, and design of soft and biological materials. I will describe our recent applications of deep representational learning to expose the sequence-function relationship within homologous protein families and to use these principles for the data-driven design and experimental testing of synthetic proteins with elevated function. I will then describe an approach based on latent space simulators to learn ultra-fast surrogate models of protein folding and biomolecular assembly by stacking three specialized deep learning networks to (i) encode a molecular system into a slow latent space, (ii) propagate dynamics in this latent space, and (iii) generatively decode a synthetic molecular trajectory.

Given a group G and a field k, we can "twist" the multiplication of the group algebra kG by a 2-cocycle, and the result is a twisted group algebra. Twisted group algebras arise as direct sums of blocks of group algebras, and so are of interest in representation and block theory. In this talk we will discuss some recently obtained results on the first Hochschild cohomology of twisted group algebras, in particular that these cohomology groups are nontrivial whenever G is a finite simple group.

The usual language of algebraic geometry is not appropriate for Arithmetical geometry: addition is singular at the real prime. We developed two languages that overcome this problem: one replace rings by the collection of “vectors” or by bi-operads and another based on “matrices” or props. These are the two languages of [Har17], but we omit the involutions which brings considerable simplifications. Once one understands the delicate commutativity condition one can proceed following Grothendieck footsteps exactly. The square matrices, when viewed up to conjugation, give us new commutative rings with Frobenius endomorphisms.

The closest thing we have to a general method for finding primes in sets is to use sieve methods to turn the problem into some other (hopefully easier) arithmetic questions about the set.

Unfortunately this process is still poorly understood - we don’t know ‘how much’ arithmetic information is sufficient to guarantee the existence of primes, and how much is not sufficient. Often arguments are rather ad-hoc.

I’ll talk about work-in-progress with Kevin Ford which shows that many of our common techniques are not optimal and can be refined, and in many cases these new refinements are provably optimal.

Stochastic portfolio theory is a framework to study large equity markets over long time horizons. In such settings investors are often confined to trading in an “open market” setup consisting of only assets with high capitalizations. In this work we relax previously studied notions of open markets and develop a tractable framework for them under mild structural conditions on the market.

Within this framework we also introduce a large parametric class of processes, which we call rank Jacobi processes. They produce a stable capital distribution curve consistent with empirical observations. Moreover, there are explicit expressions for the growth-optimal portfolio, and they are also shown to serve as worst-case models for a robust asymptotic growth problem under model ambiguity.

Time permitting, I will also present an extended class of models and illustrate calibration results to CRSP Equity Data.

This talk is based on joint work with Martin Larsson.

The pioneering work of Murray and von Neumann shows that any countable discrete group G gives rise in a canonical way to a group von Neumann algebra, denoted L(G). A main theme in operator algebras is to classify group von Neumann algebras, and hence, to understand how much information does L(G) remember of the underlying group G. In the amenable case, the classification problem is completed by the work of Connes from 1970s asserting that for all infinite conjugacy classes amenable groups, their von Neumann algebras are isomorphic.

In sharp contrast, in the non-amenable case, Popa's deformation rigidity/theory (2001) has led to the discovery of several instances when various properties of the group G are remembered by L(G). The goal of this talk is to survey some recent progress in this direction.

Lightweight compliant surfaces are commonly used as roofs (awnings), filtration systems or propulsive appendages, that operate in a fluid environment. Their flexibility allows for shape to change in fluid flows, to better endure harsh or fluctuating conditions, or enhance flight performance of insect wings for example. The way the structure deforms is however key to fulfill its function, prompting the need for control levers. In this talk, we will consider two ways to tailor the deformation of surfaces in a flow, making use of the properties of origami (folded sheet) and kirigami (sheet with a network of cuts). Previous literature showed that the substructure of folds or cuts allows for sophisticated shape morphing, and produces tunable mechanical properties. We will discuss how those original features impact the way the structure interacts with a flow, through combined experiments and theory. We will notably show that a sheet with a symmetric cutting pattern can produce an asymmetric deformation, and study the underlying fluid-structure couplings to further program shape morphing through the cuts arrangement. We will also show that extreme shape reconfiguration through origami folding can cap fluid drag.

We will give an introduction to hyperbolic cusps and their Dehn fillings. In particular, we will give a brief survey of quantitive results in the field. To motivate this work, we will sketch how these techniques are used for studying the classical question of characteristic slopes on knots.

The notion of amenable actions by discrete groups on C*-algebras has been introduced by Claire Amantharaman-Delaroche more than thirty years ago, and has become a well understood theory with many applications. So it is somewhat surprising that an established theory of amenable actions by general locally compact groups has been missed until 2020. We now present a theory which extends the discrete case and unifies several notions of approximation properties of actions which have been discussed in the literature. We also present far reaching results towards the weak containment problem which asks wether an action $\alpha:G\to \Aut(A)$ is amenable if and only if the maximal and reduced crossed products coincide.

In this lecture we report on joint work with Alcides Buss and Rufus Willett.

Given a group G, one can seek to understand (some of) its subgroups. Centralisers of elements are easy to define, but maybe not so easy to understand: even in such well studied groups as Out(Fn) they are not yet understood in general. I'll discuss recent work with Armando Martino where we extend what is known in Out(Fn), involving a (surprising?) connection to free-by-cyclic groups and their automorphisms as well as working with actions on trees. The strategies seem like they should apply in many more cases, and if time allows I'll discuss ongoing work (with Gilbert Levitt and Armando Martino) exploring these possibilities.

In this talk, we introduce Newton-MR variants for solving nonconvex optimization problems. Unlike the overwhelming majority of Newton-type methods, which rely on conjugate gradient method as the primary workhorse for their respective sub-problems, Newton-MR employs minimum residual (MINRES) method. With certain useful monotonicity properties of MINRES as well as its inherent ability to detect non-positive curvature directions as soon as they arise, we show that our algorithms come with desirable properties including the optimal first and second-order worst-case complexities. Numerical examples demonstrate the performance of our proposed algorithms.

We determine the minimal forbidden minors characterising the class of countable graphs that embed into some compact surface. We will also discuss Thomas’s conjecture that the Robertson—Seymour Graph Minor Theorem extends to countably infinite graphs. [https://arxiv.org/abs/2301.11042]

What do football passes and financial transactions have in common? Both are observable events in some real-world walk process that is happening over some network that is, however, not directly observable. In both cases, the basis for record-keeping is that these events move something tangible from one node to another. Here we explore process-driven approaches towards analyzing such data, with the goal of answering domain-specific research questions. First, we consider transaction data from a digital community currency recorded over 16 months. Because these are records of a real-world walk process, we know that the time-aggregated network is a flow network. Flow-based network analysis techniques let us concisely describe where and among whom this community currency was circulating. Second, we use a technique called trajectory extraction to transform football match event data into passing sequence data. This allows us to replicate classic results from sports science about possessions and uncover intriguing dynamics of play in five first-tier domestic leagues in Europe during the 2017-18 club season. Taken together, these two applied examples demonstrate the interpretability of process-driven approaches as opposed to, e.g., temporal network analysis, when the data are records of a real-world walk processes.

The plethysm product on symmetric functions corresponds to composition of polynomial representations of general linear groups. Decomposing a plethysm product into Schur functions, or equivalently, writing the corresponding composition of Schur functors as a direct sum of Schur functors, is one of the main open problems in algebraic combinatorics. I will give an introduction to these mathematical objects emphasising the beautiful interplay between representation theory and combinatorics. I will end with new results obtained in joint work with Rowena Paget (University of Kent) on stability on plethysm coefficients. No specialist background knowledge will be assumed.

We propose a nematic model for polyatomic gas, intending to study anisotropic phenomena. Such phenomena stem from the orientational degree of freedom associated with the rod-like molecules composing the gas. We adopt as a primer the Curitss-Boltzmann equation. The main difference with respect to Curtiss theory of hard convex body fluids is the fact that the model here presented takes into account the emergence of a nematic ordering. We will also derive from a kinetic point of view an energy functional similar to the Oseen-Frank energy. The application of the Noll-Coleman procedure to derive new expressions for the stress tensor and the couple-stress tensor will lead to a model capable of taking into account anisotropic effects caused by the emergence of a nematic ordering. In the near future, we hope to adopt finite-element discretisations together with multi-scale methods to simulate the integro-differential equation arising from our model.

Holography, which reveals a specific correspondence between gravitational and quantum theories, is an ongoing area of research that has known a lot of interest these past decades. The duality of holography has many applications: it provides an interpretation for black hole entropy in terms of microstates, it helps our understanding of solid state properties such as superconductivity and strongly coupled quantum systems, and it even offers insight into the mysterious realm of quantum gravity. 

In this talk, I will first introduce the concept of holography and some of its applications. I will then discuss some notions of string theory and geometry that are commonly used in holography. Finally, if time permits, I will present some of our latest results, where we match the energy of membranes in supergravity to properties of the dual quantum models.

In his pioneering work in 1860, Riemann proposed the Riemann problem and solved it for isentropic gas in terms of shocks and rarefaction waves. It eventually became the foundation of the theory of one-dimension conservation laws developed in the 20th century. We prove the non-nonlinear structural stability of the Riemann problem for multi-dimensional isentropic Euler equations in the regime of rarefaction waves. This is a joint work with Tian-Wen Luo.

In 1993, Erdős, Sárközy and Sós posed the question of whether there exists a set $S$ of positive integers that is both a Sidon set and an asymptotic basis of order $3$. This means that the sums of two elements of $S$ are all distinct, while the sums of three elements of $S$ cover all sufficiently large integers. In this talk, I will present a construction of such a set, building on ideas of Ruzsa and Cilleruelo. The proof uses a powerful number-theoretic result of Sawin, which is established using cutting-edge algebraic geometry techniques.

We describe an approach to Bialynicki-Birula theory for holomorphic $\mathbb{C}^*$ actions on complex analytic spaces and Morse-Bott theory for Hamiltonian functions for the induced circle actions. A key principle is that positivity of a suitably defined "virtual Morse-Bott index" at a critical point of the Hamiltonian function implies that the critical point cannot be a local minimum even when it is a singular point in the moduli space. Inspired by Hitchin’s 1987 study of the moduli space of Higgs monopoles over Riemann surfaces, we apply our method in the context of the moduli space of non-Abelian monopoles or, equivalently, stable holomorphic pairs over a closed, complex, Kaehler surface. We use the Hirzebruch-Riemann-Roch Theorem to compute virtual Morse-Bott indices of all critical strata (Seiberg-Witten moduli subspaces) and show that these indices are positive in a setting motivated by a conjecture that all closed, smooth four-manifolds of Seiberg-Witten simple type (including symplectic four-manifolds) obey the Bogomolov-Miyaoka-Yau inequality.