Past

I will discuss some ongoing work on three-dimensional supersymmetric gauge theories and their relationship to (equivariant) quantum K-theory. I will emphasise the interplay between the physical and mathematical motivations and approaches, and attempt to build a dictionary between the two.  As an interesting example, I will discuss the quantum K-theory of flag manifolds. The QK ring will be related to the vacuum structure of a gauge theory with Chern-Simons interactions, and the (genus-0) K-theoretic invariants will be computed in terms of explicit residue formulas that can be derived from the relevant supersymmetric path integrals.

We discuss hyperkahler implosion spaces, their relevance to group actions and why they should fit into the symplectic duality picture. For certain groups we present candidates for the symplectic duals of the associated implosion spaces and provide computational evidence. This is joint work with Amihay Hanany and Frances Kirwan.
 

Modern cellular radio systems such as 4G and 5G use antennas with multiple elements, a technique known as MIMO, and the intention is to increase the capacity of the radio channel.  5G allows even more possibilities, such as massive MIMO, where there can be hundreds of elements in the transmit antenna, and beam-forming (or beam-steering), where the phase of the signals fed to the antenna elements is adjusted to focus the signal energy in the direction of the receivers.  However, this technology poses some difficult optimization problems, and here mathematicians can contribute.   In this talk I will explain the background, and then look at questions such as: what is an appropriate objective function?; what constraints are there?; are any problems of this type convex (or quasi-convex, or difference-of-convex)?; and, can big problems of this type be solved in real time?

We will introduce the Baum-Connes conjecture without coefficients, in the setting of discrete groups, and try to explain why it is interesting for operator algebraists. We will give some idea of the LHS and the RHS of the conjecture, without being too formal, and rather than trying to define the assembly map, we will explain what it does for finite groups, for the integers, for free groups, and finally for wreath products of a finite group with the integers (the latter result is joint work with R. Flores and S. Pooya; it raises a few open questions about classifying the corresponding group C*-algebras up to isomorphism).

In January of this year, a solution to Connes' Embedding Problem was announced on arXiv. The paper itself deals firmly in the realm of information theory and relies on a vast network of implications built by many hands over many years to get from an efficient reduction of the so-called Halting problem back to the existence of finite von Neumann algebras that lack nice finite-dimensional approximations. The seminal link in this chain was forged by astonishing results of Kirchberg which showed that Connes' Embedding Problem is equivalent to what is now known as Kirchberg's QWEP Conjecture. In this talk, I aim to introduce Kirchberg's conjecture and to touch on some of the many deep insights in the theory surrounding it.

We study a continuous time equilibrium model of limit order book (LOB) in which the liquidity dynamics follows a non-local, reflected mean-field stochastic differential equation (SDE) with evolving intensity. We will see that the frontier of the LOB (e.g., the best ask price) is the value function of a mean-field stochastic control problem, as the limiting version of a Bertrand-type competition among the liquidity providers.
With a detailed analysis on the N-seller static Bertrand game, we formulate a continuous time limiting mean-field control problem of the representative seller.
We then validate the dynamic programming principle (DPP) and show that the value function is a viscosity solution of the corresponding Hamilton-Jacobi-Bellman (HJB) equation.
We argue that the value function can be used to obtain the equilibrium density function of the LOB. (Joint work with Jin Ma)

In 2007, Andrew Mayo and Thanos Antoulas proposed a rational interpolation algorithm to solve a basic problem in control theory: given samples of the transfer function of a dynamical system, construct a linear time-invariant system that realizes these samples.  The resulting theory enables a wide range of data-driven modeling, and has seen diverse applications and extensions.  We will introduce these ideas from a numerical analyst's perspective, show how the selection of interpolation points can be guided by a Sylvester equation and pseudospectra of matrix pencils, and mention an application of these ideas to a contour algorithm for the nonlinear eigenvalue problem. (This talk involves collaborations with Michael Brennan (MIT), Serkan Gugercin (Virginia Tech), and Cosmin Ionita (MathWorks).)

[To be added to our seminars mailing list, or to receive a Zoom invitation for a particular seminar, please contact @email.]

 I will report on my recent work on dimension, definable groups, and definable fields in vector spaces over algebraically closed [real closed] fields equipped with a non-degenerate alternating bilinear form or a non-degenerate [positive-definite] symmetric bilinear form. After a brief overview of the background, I will discuss a notion of dimension and some other ingredients of the proof of the main result, which states that, in the above context, every definable group is (algebraic-by-abelian)-by-algebraic [(semialgebraic-by-abelian)-by-semialgebraic]. It follows from this result that every definable field is definable in the field of scalars, hence either finite or definably isomorphic to it [finite or algebraically closed or real closed].
 

https://arxiv.org/abs/2003.10466

https://arxiv.org/abs/2004.00015

https://arxiv.org/abs/2004.06115

Set theory exhibits a truly robust mutual interpretability phenomenon: in any model of one set theory we can define models of diverse other set theories and vice versa. In any model of ZFC, we can define models of ZFC + GCH and also of ZFC + ¬CH and so on in hundreds of cases. And yet, it turns out, in no instance do these mutual interpretations rise to the level of bi-interpretation. Ali Enayat proved that distinct theories extending ZF are never bi-interpretable, and models of ZF are bi-interpretable only when they are isomorphic. So there is no nontrivial bi-interpretation phenomenon in set theory at the level of ZF or above.  Nevertheless, for natural weaker set theories, we prove, including ZFC- without power set and Zermelo set theory Z, there are nontrivial instances of bi-interpretation. Specifically, there are well-founded models of ZFC- that are bi-interpretable, but not isomorphic—even $\langle H_{\omega_1}, \in \rangle$ and $\langle H_{\omega_2}, \in \rangle$ can be bi-interpretable—and there are distinct bi-interpretable theories extending ZFC-. Similarly, using a construction of Mathias, we prove that every model of ZF is bi-interpretable with a model of Zermelo set theory in which the replacement axiom fails. This is joint work with Alfredo Roque Freire.

In this talk, I would like to advertise the strict equality between two objects from very different areas of mathematical physics:

- Kahane's Gaussian Multiplicative Chaos (GMC), which uses a log-correlated field as input and plays an important role in certain conformal field theories.

- A reference model in random matrices called the Circular Beta Ensemble (CBE).

The goal is to give a precise theorem whose loose form is GMC = CBE. Although it was known that random matrices exhibit log-correlated features, such an exact correspondence is quite a surprise. 

Dobrushin (1972) showed that, at low enough temperatures, the interface of the 3D Ising model - the random surface separating the plus and minus phases above and below the $xy$-plane - is localized: it has $O(1)$ height fluctuations above a fixed point, and its maximum height $M_n$ on a box of side length $n$ is $O_P(\log n)$. We study this interface and derive a shape theorem for its "pillars" conditionally on reaching an atypically large height. We use this to analyze the maximum height $M_n$ of the interface, and prove that at low temperature $M_n/\log n$ converges to $c\beta$ in probability. Furthermore, the sequence $(M_n - E[M_n])_{n\geq 1}$ is tight, and even though this sequence does not converge, its subsequential limits satisfy uniform Gumbel tails bounds.
Joint work with Reza Gheissari.

How long does it take for a pandemic to stop spreading? When modelling an infection process, especially these days, this is one of the main questions that comes to mind. In this talk, we consider this question in the bootstrap percolation setting.

Graph-bootstrap percolation, also known as weak saturation, was introduced by Bollobás in 1968. In this process, we start with initial "infected" set of edges $E_0$, and we infect new edges according to a predetermined rule. Given a graph $H$ and a set of previously infected edges $E_t \subseteq E(Kn)$, we infect a non-infected edge $e$ if it completes a new copy of $H$ in $G=([n] , E_t \cup \{e\})$. A question raised by Bollobás asks for the maximum time the process can run before it stabilizes. Bollobás, Przykucki, Riordan, and Sahasrabudhe considered this problem for the most natural case where $H=K_r$. They answered the question for $r \leq 4$ and gave a non-trivial lower bound for every $r \geq 5$. They also conjectured that the maximal running time is $o(n^2)$ for every integer $r$. We disprove their conjecture for every $r \geq 6$ and we give a better lower bound for the case $r=5$; in the proof we use the Behrend construction. This is a joint work with József Balogh, Alexey Pokrovskiy, and Tibor Szabó.

Ambitwistor strings are a class of holomorphic worldsheet models that directly describe massless quantum field theories, such as supergravity and super Yang-Mills. Their correlators give remarkably compact amplitude representations, known as the CHY formulas: characteristic worldsheet integrals that are fully localized on a set of polynomial constraints known as the scattering equations. Moreover, the ambitwistor string models provide a natural way of extending these formulas to loop level, where the constraints can be used to simplify the formulas (originally on higher genus curves) to 'forward limit-like' constructions on nodal spheres. After reviewing these developments, I will discuss one of the peculiar features of this approach: the worldsheet formulas on nodal spheres result in a non-standard integrand representation that makes it difficult to e.g. apply established integration techniques. While several approaches for addressing this look feasible or have been put forward in the literature, they only work for the simplest toy models. Taking inspiration from these attempts, I want to discuss a novel strategy to overcome this difficulty, and formulate compact worldsheet formulas with standard Feynman propagators.

Let ?={??}?∈ℤ be zero-mean stationary Gaussian sequence of random variables with covariance function ρ satisfying ρ(0)=1. Let φ:R→R be a function such that ?[?(?_0)2]<∞ and assume that φ has Hermite rank d≥1. The celebrated Breuer–Major theorem asserts that, if ∑|?(?)|^?<∞ then
the finite dimensional distributions of the normalized sum of ?(??) converge to those of ?? where W is
a standard Brownian motion and σ is some (explicit) constant. Surprisingly, and despite the fact this theorem has become over the years a prominent tool in a bunch of different areas, a necessary and sufficient condition implying the weak convergence in the
space ?([0,1]) of càdlàg functions endowed with the Skorohod topology is still missing. Our main goal in this paper is to fill this gap. More precisely, by using suitable boundedness properties satisfied by the generator of the Ornstein–Uhlenbeck semigroup,
we show that tightness holds under the sufficient (and almost necessary) natural condition that E[|φ(X0)|p]<∞ for some p>2.

Joint work with D Nualart
 

Just as differential equations often boundary conditions of various types, so too do quantum field theories often admit boundary theories. I will explain these notions and then discuss a theorem proved with Constantin Teleman, essentially characterizing certain 3-dimensional topological field theories which admit nonzero boundary theories. One application is to gapped systems in condensed matter physics.

I will describe the results of two projects on the construction of Calabi-Yau threefolds and certain real Lagrangian submanifolds. The first concerns the construction of a novel dataset of Calabi-Yau threefolds via an application of the Gross-Siebert algorithm to a reducible union of toric varieties obtained by degenerating anti-canonical hypersurfaces in a class of (around 1.5 million) Gorenstein toric Fano fourfolds. Many of these constructions correspond to smoothing such a hypersurface; in contrast to the famous construction of Batyrev-Borisov which exploits crepant resolutions of such hypersurfaces. A central ingredient here is the construction of a certain 'integral affine structure with singularities' on the boundary of a class of polytopes from which one can form a topological model, due to Gross, of the corresponding Calabi-Yau threefold X. In general, such topological models carry a canonical (anti-symplectic) involution i and in the second project, which is joint work with H. Argüz, we describe the fixed point locus of this involution. In particular, we prove that the map i*-1 on graded pieces of a Leray filtration of H^3(X,Z2) can be identified with the map D -> D^2, where D is an element of H^2(X',Z2) and X' is mirror-dual to X. We use this to compute the Z2 cohomology group of the fixed locus, answering a question of Castaño-Bernard--Matessi.

Over the last few years, it has become clear that working in sectors of large global charge leads to significant simplifications when studying strongly coupled CFTs. It allows us in particular to calculate the CFT data as an expansion in inverse powers of the large charge.
In this talk, I will introduce the large-charge expansion via the simple example of the O(2) model and will then apply it to a number of other systems which display a richer structure, such as non-Abelian global symmetry groups.
 

The last fifty years of dynamical systems theory have established that dynamical systems can exhibit extremely complex behavior with respect to both the system variables (chaos theory) and parameters (bifurcation theory). Such complex behavior found in theoretical work must be reconciled with the capabilities of the current technologies available for applications. For example, in the case of modelling biological phenomena, measurements may be of limited precision, parameters are rarely known exactly and nonlinearities often cannot be derived from first principles. 

The contrast between the richness of dynamical systems and the imprecise nature of available modeling tools suggests that we should not take models too seriously. Stating this a bit more formally, it suggests that extracting features which are robust over a range of parameter values is more important than an understanding of the fine structure at some particular parameter.

The goal of this talk is to present a high-level introduction/overview of computational Conley-Morse theory, a rigorous computational approach for understanding the global dynamics of complex systems.  This introduction will wander through dynamical systems theory, algebraic topology, combinatorics and end in game theory.

In 1997 Pimsner described how to construct two universal C*-algebras associated with an injective C*-correspondence, now known as the Toeplitz--Pimsner and Cuntz--Pimsner algebras. In this talk I will recall their construction, focusing for simplicity on the case of a finitely generated projective correspondence. I will describe the associated six-term exact sequence in K(K)-theory and explain how these can be used in practice for computational purposes. Finally, I will describe how, in the case of a self-Morita equivalence, these exact sequences can be interpreted as an operator algebraic version of the classical Gysin sequence for circle bundles.

Abstract: Gradient descent is known to converge quickly for convex objective functions, but it can be trapped at local minimums. On the other hand, Langevin dynamic can explore the state space and find global minimums, but in order to give accurate estimates, it needs to run with small discretization step size and weak stochastic force, which in general slows down its convergence. This work shows that these two algorithms can “collaborate” through a simple exchange mechanism, in which they swap their current positions if Langevin dynamic yields a lower objective function. This idea can be seen as the singular limit of the replica-exchange technique from the sampling literature. We show that this new algorithm converges to the global minimum linearly with high probability, assuming the objective function is strongly convex in a neighbourhood of the unique global minimum. By replacing gradients with stochastic gradients, and adding a proper threshold to the exchange mechanism, our algorithm can also be used in online settings. This is joint work with Xin Tong at National University of Singapore.

Abstract: In this talk we start by introducing a simple model for interbank default contagion in the vein of the  seminal clearing frameworks of Eisenberg & Noe (2001) and Rogers & Veraart (2013). The key feature, and main novelty, consists in combining stochastic dynamics of the external assets with a simple but realistic balance sheet methodology for determining early defaults. After first developing the model for a finite number of banks, we present a natural way of passing to the mean field limit such that the original network structure (of the interbank obligations) is maintained in a meaningful way. Thus, we provide a clear connection between the more classical network-based literature on systemic risk and the recent approaches rooted in stochastic particle systems and mean field theory.

In this talk, I will present different PDE models involving surface tension where it may be efficient to consider augmented versions.

https://arxiv.org/abs/2003.02860

The mapping class group of a surface with boundary acts freely and properly discontinuously on the fatgraph complex, which is a contractible cell complex arising from a cell decomposition of Teichmuller space. We will use this action to get a presentation of the mapping class group in terms of fat graphs, and convert this into one in terms of chord diagrams. This chord slide presentation has potential applications to computing bordered Heegaard Floer invariants for open books with disconnected binding.

In the last thirty years there was a lot of progress in understanding the asymmetric simple exclusion process (ASEP). Much less is currently known about the multi-species extension of ASEP. In the talk I will discuss the connection of such an extension to random walks on Hecke algebras and its probabilistic applications. 

This is joint with Gabe Conant. We give a structure theorem for finite subsets A of arbitrary groups G such that A has "small tripling" and "bounded VC dimension". Roughly, A will be a union of a bounded number of translates of a coset nilprogession of bounded rank and step (up to a small error).

This is joint with Gabe Conant. We give a structure theorem for finite subsets A of arbitrary groups G such that A has "small tripling" and "bounded VC dimension". Roughly, A will be a union of a bounded number of translates of a coset nilprogession of bounded rank and step (up to a small error).

I will describe some recent work with D. Kazhdan where we obtain results in algebraic geometry, inspired by questions in additive combinatorics, via analysis over finite fields. Specifically we are interested in quantitative properties of polynomial rings that are independent of the number of variables. A sample application is the following theorem : Let $V$ be a complex vector space, $P$ a high rank polynomial of degree $d$, and $X$ the null set of $P$, $X=\{v \mid P(v)=0\}$. Any function $f:X\to C$ which is polynomial of degree $d$ on lines in $X$ is the restriction of a degree $d$ polynomial on $V$.

A motivation in the development of string theory was the 'duality' flip, exchanging the s- and t-channels, which relates all the cubic Feynman graphs at each order in perturbation theory, with fixed planar structure. In string theory, we can understand this as coming from the moduli spaces of marked surfaces, with the cubic diagrams corresponding to complete triangulations. I will describe how geometric-type cluster algebras give a surprising 'linear' way to talk about the same combinatorial problem, using results from work with N Arkani-Hamed and H Thomas and G Salvatori. This gives new ways to compute cubic scalar amplitudes, and new families of integrals generalizing the Veneziano amplitude.

Many classical fractal functions, such as the Weierstrass and Takagi-van der Waerden functions, admit a finite p-th variation along a natural sequence of partitions. They can thus serve as integrators in pathwise Itô calculus. Motivated by this observation, we
introduce a new class of stochastic processes, which we call Weierstrass bridges. They have continuous sample paths and arbitrarily low regularity and so provide a new example class of “rough” stochastic processes. We study some of their sample path properties
including p-th variation and moduli of continuity. This talk includes joint work with Xiyue Han and Zhenyuan Zhang.

For a given vector field $h$ on a manifold $M$ and an initial point $x \in M$, let $t \mapsto \exp th(x)$ denote the solution to the Cauchy problem $y' = h(y)$, $y(0) = x$. Given two vector fields $f$, $g$, the flows $\exp(tf)$, $\exp(tg)$ in general are not commutative. That is, it may happen that, for some initial point $x$,

$$\exp(-tg) \circ \exp(-tf) \circ \exp(tg) \circ \exp(tf) (x) ≠ x,$$

for small times $t ≠ 0$.

         As is well-known, the Lie bracket $[f,g] := Dg \cdot f - Df \cdot g$ measures the local non-commutativity of the flows. Indeed, one has (on any coordinate chart)

$$\exp(-tg) \circ \exp(-tf) \circ \exp(tg) \circ \exp(tf) (x) - x = t^2 [f,g](x) + o(t^2)$$

         The non-commutativity of vector fields lies at the basis of many nonlinear issues, like propagation of maxima for solutions of degenerate elliptic PDEs, controllability sufficient conditions in Nonlinear Control Theory, and higher order necessary conditions for optimal controls. The fundamental results concerning commutativity (e.g. Rashevski-Chow's Theorem, also known as Hörmander's full rank condition, or Frobenius Theorem) assume that the vector fields are smooth enough for the involved iterated Lie brackets to be well defined and continuous: for instance, if the bracket $[f,[g,h]]$ is to be used, one posits $g,h \in C^2$ and $f \in C^{1..}$.

         We propose a notion of (set-valued) Lie bracket (see [1]-[3]), through which we are able to extend some of the mentioned fundamental results to families of vector fields whose iterated brackets are just measurable and defined almost everywhere.

References.

[1]  Rampazzo, F. and Sussmann, H., Set-valued differentials and a nonsmooth version of Chow’s Theorem (2001), Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, Florida, 2001 (IEEE Publications, New York), pp. 2613-2618.

[2] Rampazzo F.  and Sussmann, H.J., Commutators of flow maps of nonsmooth vector fields (2007), Journal of Differential Equations, 232, pp. 134-175.

[3] Feleqi, E. and Rampazzo, F., Iterated Lie brackets for nonsmooth vector fields (2017), Nonlinear Differential Equations and Applications NoDEA, 24-6.

Tight contact structures on knot complements arise both from Legendrian realizations of the knot in the standard tight contact structure and from the non-loose Legendrian realizations in the overtwisted structures on the sphere. In this talk, we will deal with negative torus knots. We wish to concentrate on the relations between these various Legendrian realizations of a knot and the contact structures on the surgeries along the knot. In particular, we will build every contact structure by a single Legendrian surgery, and relate the knot properties to the properties of surgeries; namely, tightness, fillability and non-vanishing Heegaard Floer invariant.

An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some geometric problem, by means of a virtual class $[{\mathcal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ of the moduli spaces ${\mathcal M}_\alpha^{\rm st}(\tau)\subseteq{\mathcal M}_\alpha^{\rm ss}(\tau)$ of $\tau$-(semi)stable objects in some homology theory. Examples include Mochizuki's invariants counting coherent sheaves on surfaces, Donaldson-Thomas type invariants counting coherent sheaves on Calabi-Yau 3- and 4-folds and Fano 3-folds, and Donaldson invariants of 4-manifolds.

We make conjectures on new universal structures common to many enumerative invariant theories. Any such theory has two moduli spaces ${\mathcal M},{\mathcal M}^{\rm pl}$, where my big vertex algebras project http://people.maths.ox.ac.uk/~joyce/hall.pdf gives $H_*({\mathcal M})$ the structure of a graded vertex algebra, and $H_*({\mathcal M}^{\rm pl})$ a graded Lie algebra, closely related to $H_*({\mathcal M})$. The virtual classes $[{\mathcal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ take values in $H_*({\mathcal M}^{\rm pl})$. In most such theories, defining $[{\mathcal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ when ${\mathcal M}_\alpha^{\rm st}(\tau)\ne{\mathcal M}_\alpha^{\rm ss}(\tau)$ (in gauge theory, when the moduli space contains reducibles) is a difficult problem. We conjecture that there is a natural way to define $[{\mathcal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ in homology over $\mathbb Q$, and that the resulting classes satisfy a universal wall-crossing formula under change of stability condition $\tau$, written using the Lie bracket on $H_*({\mathcal M}^{\rm pl})$. We prove our conjectures for moduli spaces of representations of quivers without oriented cycles.

This is joint work with Jacob Gross and Yuuji Tanaka.

Vafa-Witten theory is a topologically twisted version of 4d N=4 super Yang-Mills theory. In my talk I will tell how to derive a holomorphic anomaly equation for its partition function on a Kaehler 4-manifold with b_2^+=1 and b_1=0 from the path integral of the effective theory on the Coulomb branch. I will also briefly mention an alternative and somewhat similar computation of the same holomorphic anomaly in the effective 2d theory obtained by compactification of the corresponding 6d (2,0) theory on the 4-manifold.
 

We present a recipe for constructing filter functions on graphs with parameters that can optimised by gradient descent. This recipe, based on graph Laplacians and spectral wavelet signatures, do not require additional data to be defined on vertices. This allows any graph to be assigned a customised filter function for persistent homology computations and data science applications, such as graph classification. We show experimental evidence that this recipe has desirable properties for optimisation and machine learning pipelines that factors through persistent homology. 

In this talk I will briefly sketch the philosophy and methods in which derived enhancements of classical moduli problems are produced. I will then discuss the character variety and distinguish two of its enhancements; one of these will represent a derived moduli stack for local systems. Lastly, I will mention how variations of this moduli space have been represented in number theoretic and rigid analytic contexts.

I will present a conjectural picture of what a classification theory for NIP could look like, in the spirit of Shelah's classification theory for stable structures. Though most of it is speculative, there are some encouraging initial results about the lower levels of the classification, in particular concerning structures which, in some strong sense, do not contain trees.