Past

I will explain what it means for a manifold to have an affine structure and give an introduction to Benzecri's theorem stating that a closed surface admits an affine structure if and only if its Euler characteristic vanishes. I will also talk about an algebraic-topological generalization, due to Milnor and Wood, that bounds the Euler class of a flat circle bundle. No prior familiarity with the concepts is necessary.

A hereditary graph property is a class of finite graphs closed under isomorphism and induced subgraphs. Given a hereditary graph property $H$, the speed of $H$ is the function which sends an integer n to the number of distinct elements in $H$ with underlying set $\{1,...,n\}$. Not just any function can occur as the speed of hereditary graph property. Specifically, there are discrete "jumps" in the possible speeds. Study of these jumps began with work of Scheinerman and Zito in the 90's, and culminated in a series of papers from the 2000's by Balogh, Bollobás, and Weinreich, in which essentially all possible speeds of a hereditary graph property were characterized. In contrast to this, many aspects of this problem in the hypergraph setting remained unknown. In this talk we present new hypergraph analogues of many of the jumps from the graph setting, specifically those involving the polynomial, exponential, and factorial speeds. The jumps in the factorial range turned out to have surprising connections to the model theoretic notion of mutual algebricity, which we also discuss. This is joint work with Chris Laskowski.

Classical random matrix theory begins with a random matrix model and analyzes the distribution of the resulting eigenvalues.  In this work, we treat the reverse question: if the eigenvalues are specified but the matrix is "otherwise random", what do the entries typically look like?  I will describe a natural model of random matrices with prescribed eigenvalues and discuss a central limit theorem for projections, which in particular shows that relatively large subcollections of entries are jointly Gaussian, no matter what the eigenvalue distribution looks like.  I will discuss various applications and interpretations of this result, in particular to a probabilistic version of the Schur--Horn theorem and to models of quantum systems in random states.  This work is joint with Mark Meckes.

In the classical setting of real semisimple Lie groups, the Dirac inequality (due to Parthasarathy) gives a necessary condition that the infinitesimal character of an irreducible unitary representation needs to satisfy in terms of the restriction of the representation to the maximal compact subgroup. A similar tool was introduced in the setting of representations of p-adic groups in joint work with Barbasch and Trapa, where the necessary unitarity condition is phrased in terms of the semisimple parameter in the Kazhdan-Lusztig parameterization and the hyperspecial parahoric restriction. I will present several consequences of this inequality to the problem of understanding the unitary dual of the p-adic group, in particular, how it can be used in order to exhibit several isolated "extremal" unitary representations and to compute precise "spectral gaps" for them.

We develop a theory to measure the variance and covariance of probability distributions defined on the nodes of a graph, which takes into account the distance between nodes. Our approach generalizes the usual (co)variance to the setting of weighted graphs and retains many of its intuitive and desired properties. As a particular application, we define the maximum-variance problem on graphs with respect to the effective resistance distance, and characterize the solutions to this problem both numerically and theoretically. We show how the maximum-variance distribution can be interpreted as a core-periphery measure, illustrated by the fact that these distributions are supported on the leaf nodes of tree graphs, low-degree nodes in a configuration-like graph and boundary nodes in random geometric graphs. Our theoretical results are supported by a number of experiments on a network of mathematical concepts, where we use the variance and covariance as analytical tools to study the (co-)occurrence of concepts in scientific papers with respect to the (network) relations between these concepts. Finally, I will draw connections to related notion of assortativity on networks, a network analogue of correlation used to describe how the presence and absence of edges covaries with the properties of nodes.

https://arxiv.org/abs/2008.09155

Let $G_n$ be a sequence of finite, simple, connected, regular graphs with degrees tending to infinity and let $T_n$ be a uniformly drawn spanning tree of $G_n$. In joint work with Yuval Peres we show that the local limit of $T_n$ is the $\text{Poisson}(1)$ branching process conditioned to survive forever (that is, the asymptotic frequency of the appearance of any small subtree is given by the branching process). The proof is based on electric network theory and I hope to show most of it.

The Dirichlet class number formula gives an expression for the residue at s=1 of the Dedekind zeta function of a number field K in terms of certain quantities associated to K. Among those is the regulator of K, a certain determinant involving logarithms of units in K. In the 1980s, Don Zagier gave a conjectural expression for the values at integers s $\geq$ 2 in terms of "higher regulators", with polylogarithms in place of logarithms. The goal of this talk is to give an algebraic-geometric interpretation of these polylogarithms. Time permitting, we will also discuss a similar picture for Hasse--Weil L-functions of elliptic curves.
 

In the talk, we will discuss the connection between quantitative hypoelliptic PDE methods and the long-time dynamics of stochastic differential equations (SDEs). In a recent joint work with Alex Blumenthal and Sam Punshon-Smith, we put forward a new method for obtaining quantitative lower bounds on the top Lyapunov exponent of stochastic differential equations (SDEs). Our method combines (i) an (apparently new) identity connecting the top Lyapunov exponent to a degenerate Fisher information-like functional of the stationary density of the Markov process tracking tangent directions with (ii) a  quantitative version of Hörmander's hypoelliptic regularity theory in an L1 framework which estimates this (degenerate) Fisher information from below by a W^{s,1} Sobolev norm using the associated Kolmogorov equation for the stationary density. As an initial application, we prove the positivity of the top Lyapunov exponent for a class of weakly-dissipative, weakly forced SDE and we prove that this class includes the classical Lorenz 96 model in any dimension greater than 6, provided the additive stochastic driving is applied to any consecutive pair of modes. This is the first mathematically rigorous proof of chaos (in the sense of positive Lyapunov exponents) for Lorenz 96 and, more recently, for finite dimensional truncations of the shell models GOY and SABRA (stochastically driven or otherwise), despite the overwhelming numerical evidence. If time permits, I will also discuss joint work with Kyle Liss, in which we obtain sharp, quantitative estimates on the spectral gap of the Markov semigroups. In both of these works, obtaining various kinds of quantitative hypoelliptic regularity estimates that are uniform in certain parameters plays a pivotal role.  

We revisit the variational characterization of conservative diffusion as entropic gradient flow and provide for it a probabilistic interpretation based on stochastic calculus. It was shown by Jordan, Kinderlehrer, and Otto that, for diffusions of Langevin–Smoluchowski type, the Fokker–Planck probability density flow maximizes the rate of relative entropy dissipation, as measured by the distance traveled in the ambient space of probability measures with finite second moments, in terms of the quadratic Wasserstein metric. We obtain novel, stochastic-process versions of these features, valid along almost every trajectory of the diffusive motion in the backward direction of time, using a very direct perturbation analysis. By averaging our trajectorial results with respect to the underlying measure on path space, we establish the maximal rate of entropy dissipation along the Fokker–Planck flow and measure exactly the deviation from this maximum that corresponds to any given perturbation. As a bonus of our trajectorial approach we derive the HWI inequality relating relative entropy (H), Wasserstein distance (W) and relative Fisher information (I).

I will discuss connections between ambient geometry of Moduli spaces and Teichmuller dynamics. This includes the recent resolution of the Siu's conjecture about convexity of Teichmuller spaces, and the (conjectural) topological description of the Caratheodory metric on Moduli spaces of Riemann surfaces.

This is a report on joint work with Martijn Kool. 

Recently, Marian-Oprea-Pandharipande established a generalization of Lehn’s conjecture for Segre numbers associated to Hilbert schemes of points on surfaces. Extending work of Johnson, they provided a conjectural correspondence between Segre and Verlinde numbers. For surfaces with holomorphic 2-form, we propose conjectural generalizations of their results to moduli spaces of stable sheaves of higher rank. 

Using Mochizuki’s formula, we derive a universal function which expresses virtual Segre and Verlinde numbers of surfaces with holomorphic 2-form in terms of Seiberg- Witten invariants and intersection numbers on products of Hilbert schemes of points. We use this to  verify our conjectures in examples. 

I will discuss an analogue of the CHY formalism in AdS. Considering the biadjoint scalar theory on AdS, I will explain how to rewrite all the tree-level amplitudes as an integral over the moduli space of punctured Riemann spheres. Contrary to the flat space, the scattering equations are operator-valued. The resulting formula is motivated via a bosonic ambitwistor string on AdS and can be proven to be equivalent to the corresponding Witten diagram computation by applying a series of contour deformations.

Persistence theory provides useful tools to extract information from real-world data sets, and profits of techniques from different mathematical disciplines, such as Morse theory and quiver representation. In this seminar, I am going to present a new approach for studying persistence theory using model categories. I will briefly introduce model categories and then describe how to define a model structure on the category of the tame parametrised chain complexes, which are chain complexes that evolve in time. Using this model structure, we can define new invariants for tame parametrised chain complexes, which are in perfect accordance with the standard barcode when restricting to persistence modules. I will illustrate with some examples why such an approach can be useful in topological data analysis and what new insight on standard persistence can give us. 

Cuntz introduced pure infiniteness for simple C*-algebras as a C*-algebraic analogue of type III von Neumann factors. Notable examples include the Calkin algebra B(H)/K(H), the Cuntz algebras O_n, simple Cuntz-Krieger algebras, and other C*-algebras you would encounter in the wild. The separable, nuclear ones were classified in celebrated work by Kirchberg and Phillips in the mid 90s. I will talk about these topics including the non-simple case if time permits.

Unitary solutions of the Yang-Baxter equation ("R-matrices") play a prominent role in several fields, such as quantum field theory and topological quantum computing, but are difficult to find directly and remain somewhat mysterious. In this talk I want to explain how one can use subfactor techniques to learn something about unitary R-matrices, and a research programme aiming at the classification of unitary R-matrices up to a natural equivalence relation. This talk is based on joint work with Roberto Conti, Ulrich Pennig, and Simon Wood.

Liouville quantum gravity (LQG) is a theory of random fractal surfaces with origin in the physics literature in the 1980s. Most literature is about LQG with matter central charge $c\in (-\infty,1]$. We study a discretization of LQG which makes sense for all $c\in (-\infty,25)$. Based on a joint work with Gwynne, Pfeffer, and Remy.

Systems with lattice geometry can be renormalized exploiting their embedding in metric space, which naturally defines the coarse-grained nodes. By contrast, complex networks defy the usual techniques because of their small-world character and lack of explicit metric embedding. Current network renormalization approaches require strong assumptions (e.g. community structure, hyperbolicity, scale-free topology), thus remaining incompatible with generic graphs and ordinary lattices. Here we introduce a graph renormalization scheme valid for any hierarchy of coarse-grainings, thereby allowing for the definition of block-nodes across multiple scales. This approach reveals a necessary and specific dependence of network topology on an additive hidden variable attached to nodes, plus optional dyadic factors. Renormalizable networks turn out to be consistent with a unique specification of the fitness model, while they are incompatible with preferential attachment, the configuration model or the stochastic blockmodel. These results highlight a deep conceptual distinction between scale-free and scale-invariant networks, and provide a geometry-free route to renormalization. If the hidden variables are annealed, the model spontaneously leads to realistic scale-free networks with cut-off. If they are quenched, the model can be used to renormalize real-world networks with node attributes and distance-dependence or communities. As an example we derive an accurate multiscale model of the International Trade Network applicable across arbitrary geographic resolutions.

https://arxiv.org/abs/2009.11024 (23 sept.)

There is a growing body of results in extremal combinatorics and Ramsey theory which give better bounds or stronger conclusions under the additional assumption of bounded VC-dimension. Schur and Erdős conjectured that there exists a suitable constant $c$ with the property that every graph with at least $2^{cm}$ vertices, whose edges are colored by $m$ colors, contains a monochromatic triangle. We prove this conjecture for edge-colored graphs such that the set system induced by the neighborhoods of the vertices with respect to each color class has bounded VC-dimension. This result is best possible up to the value of $c$.
    Joint work with Jacob Fox and Andrew Suk.

This talk is a personal how-to (and how-not-to) manual for doing Maths with industry, or indeed with government. The Maths element is essential but lots of other skills and activities are equally necessary. Examples: problem elicitation; understanding the environmental constraints; power analysis; understanding world-views and aligning personal motivations; and finally, understanding the wider systems in which the Maths element will sit. These issues have been discussed for some time in the management science community, where their generic umbrella name is Problem Structuring Methods (PSMs).

Driven by the need for principled extraction of features from time series, we introduce the iterated-sums signature over any commutative semiring. The case of the tropical semiring is a central, and our motivating, example, as it leads to features of (real-valued) time series that are not easily available using existing signature-type objects.

This is joint work with Kurusch Ebrahimi-Fard (NTNU Trondheim) and Nikolas Tapia (WIAS Berlin).

Distinguishing classes of surfaces in $\mathbb{R}^n$ is a task which arises in many situations. There are many characteristics we can use to solve this classification problem. The Persistent Homology Transform allows us to look at shapes in $\mathbb{R}^n$ from $S^{n-1}$ directions simultaneously, and is a useful tool for surface classification. Using the Julia package DiscretePersistentHomologyTransform, we will look at some example curves in $\mathbb{R}^2$ and examine distinguishing features. 

The Gelfand correspondence between compact Hausdorff spaces and unital C*-algebras justifies the slogan that C*-algebras are to be thought of as "non-commutative topological spaces", and Rieffel's theory of compact quantum metric spaces provides, in the same vein, a non-commutative counterpart to the theory of compact metric spaces. The aim of my talk is to introduce the basics of the theory and explain how the classical Gromov-Hausdorff distance between compact metric spaces can be generalized to the quantum setting. If time permits, I will touch upon some recent results obtained in joint work with Jens Kaad and Thomas Gotfredsen.

C*-algebras associated to etale groupoids appear as a versatile construction in many contexts. For instance, groupoid C*-algebras allow for implementation of natural one-parameter groups of automorphisms obtained from continuous cocycles. This provides a path to quantum statistical mechanical systems, where one studies equilibrium states and ground states. The early characterisations of ground states and equilibrium states for groupoid C*-algebras due to Renault have seen remarkable refinements. It is possible to characterise in great generality all ground states of etale groupoid C*-algebras in terms of a boundary groupoid of the cocycle (joint work with Laca and Neshveyev). The steps in the proof employ important constructions for groupoid C*-algebras due to Renault.

We study the minimum Wasserstein distance from the empirical measure to a space of probability measures satisfying linear constraints. This statistic can naturally be used in a wide range of applications, for example, optimally choosing uncertainty sizes in distributionally robust optimization, optimal regularization, testing fairness, martingality, among many other statistical properties. We will discuss duality results which recover the celebrated Kantorovich-Rubinstein duality when the manifold is sufficiently rich and associated test statistics as the sample size increases. We illustrate how this relaxation can beat the statistical curse of dimensionality often associated to empirical Wasserstein distances.

The talk builds on joint work with S. Ghosh, Y. Kang, K. Murthy, M. Squillante, and N. Si.

High dimensionality of biological data is a crucial element that is in need of different methods to unravel their complexity. The current and rich biomedical material that hospitals generate every other day related to cancer detection can benefit from these new techniques. This is the case of diseases such as Acute Lymphoblastic Leukaemia (ALL), one of the most common cancers in childhood. Its diagnosis is based on high-dimensional flow cytometry tumour data that includes immunophenotypic expressions. Not only the intensity of these markers is meaningful for clinicians, but also the shape of the points clouds generated, being then fundamental to find leukaemic clones. Thus, the mathematics of shape recognition in high dimensions can turn itself as a critical tool for this kind of data. This is why we resort to the use of tools from Topological Data Analysis such as Persistence Homology.

Given that ALL relapse incidence is of almost 20% of its patients, we provide a methodology to shed some light on the shape of flow cytometry data, for both relapsed and non-relapsed patients. This is done so by combining the strength of topological data analysis with the versatility of machine learning techniques. The results obtained show us topological differences between both patient sets, such as the amount of connected components and 1-dimensional loops. By means of the so-called persistence images, and for specially selected immunophenotypic markers, a classification of both cohorts is obtained, highlighting the need of new methods to provide better prognosis. 

In the structure theory of operator algebras, it has been a reliable theme that a classification of interesting classes of objects is usually followed by a classification of group actions on said objects. A good example for this is the complete classification of amenable group actions on injective factors, which complemented the famous work of Connes-Haagerup. On the C*-algebra side, progress in the Elliott classification program has likewise given impulse to the classification of C*-dynamics. Although C*-dynamical systems are not yet understood at a comparable level, there are some sophisticated tools in the literature that yield satisfactory partial results. In this introductory talk I will outline the (known) classification of finite group actions with the Rokhlin property, and in the process highlight some themes that are still relevant in today's state-of-the-art.

Quantum groups, which has been a major overarching theme across various branches of mathematics since late 20th century, appear in many ways. Deformation of compact Lie groups is a particularly fruitful paradigm that sits in the intersection between operator algebraic approach to quantized spaces on the one hand, and more algebraic one arising from study of quantum integrable systems on the other.
On the side of operator algebra, Woronowicz defined the C*-bialgebra representing quantized SU(2) based on his theory of pseudospaces. This gives a (noncommutative) C*-algebra of "continuous functions" on the quantized group SUq(2).
Its algebraic counterpart is the quantized universal enveloping algebra Uq(??2), due to Kulish–Reshetikhin and Sklyanin, coming from a search of algebraic structures on solutions of the Yang-Baxter equation. This is (an essentially unique) deformation of the universal enveloping algebra U(??2) as a Hopf algebra.
These structures are in certain duality, and have far-reaching generalization to compact simple Lie groups like SU(n). The interaction of ideas from both fields led to interesting results beyond original settings of these theories.
In this introductory talk, I will explain the basic quantization scheme underlying this "q-deformation", and basic properties of the associated C*-algebras. As part of more recent and advanced topics, I also want to explain an interesting relation to complex simple Lie groups through the idea of quantum double.

The Riemann hypothesis (RH) is one of the great open problems in mathematics. It arose from the study of prime numbers in an analytic context, and—as often occurs in mathematics—developed analogies in an algebraic setting, leading to the influential Weil conjectures. RH for curves over finite fields was proven in the 1940’s by Weil using algebraic-geometric methods. In this talk, we discuss an alternate proof of this result by Stepanov (and Bombieri), using only elementary properties of polynomials. Over the decades, the proof has been whittled down to a 5 page gem! Time permitting, we also indicate connections to exponential sums and the original RH.
 

This talk is motivated by the following question: "how can one reconstruct the geometry of a state space given a collection of observed time series?" A well-studied technique for metric fusion is Similarity Network Fusion (SNF), which works by mixing random walks. However, SNF behaves poorly in the presence of correlated noise, and always reconstructs an intrinsic metric. We propose a new methodology based on delay embeddings, together with a simple orthogonalization scheme that uses the tangency data contained in delay vectors. This method shows promising results for some synthetic and real-world data. The authors suspect that there is a theorem or two hiding in the background -- wild speculation by audience members is encouraged. 

Topological features as computed via persistent homology offer a non-parametric approach to robustly capture multi-scale connectivity information of complex datasets. This has started to gain attention in various machine learning applications. Conventionally, in topological data analysis, this method has been employed as an immutable feature descriptor in order to characterize topological properties of datasets. In this talk, however, I will explore how topological features can be directly integrated into deep learning architectures. This allows us to impose differentiable topological constraints for preserving the global structure of the data space when learning low-dimensional representations.

The TMD algorithm (Kanari et al. 2018) computes the barcode of a neuron (tree) with respect to the radial or path distance from the soma (root). We are interested in the inverse problem: how to understand the space of trees that are represented by the same barcode. Our tool to study this spaces is the stochastic TNS algorithm (Kanari et al. 2020) which generates trees from a given barcode in a biologically meaningful way. 

I will present some theoretical results on the space of trees that have the same barcode, as well as the effect of adding noise to the barcode. In addition, I will provide a more combinatorial perspective on the space of barcodes, expressed in terms of the symmetric group. I will illustrate these results with experiments based on the TNS.

This is joint work with L. Kanari and K. Hess. 

A bundle of C*-algebras is a collection of algebras continuously parametrised by a topological space. There are (at least) two different definitions in operator algebras that make this intuition precise: Continuous C(X)-algebras provide a flexible analytic point of view, while locally trivial C*-algebra bundles allow a classification via homotopy theory. The section algebra of a bundle in the topological sense is a C(X)-algebra, but the converse is not true. In this talk I will compare these two notions using the classical work of Dixmier and Douady on bundles with fibres isomorphic to the compacts  as a guideline. I will then explain joint work with Marius Dadarlat, in which we showed that the theorems of Dixmier and Douady can be generalized to bundles with fibers isomorphic to stabilized strongly self-absorbing C*-algebras. An important feature of the theory is the appearance of higher analogues of the Dixmier-Douady class.

The signature of a path in Euclidean space resides in the tensor algebra of that space; it is obtained by systematic iterated integration of the components of the given path against one another. This straightforward definition conceals a host of deep theoretical properties and impressive practical consequences. In this talk I will describe the homotopical origins of path signatures, their subsequent application to stochastic analysis, and how they facilitate efficient machine learning in topological data analysis. This last bit is joint work with Ilya Chevyrev and Harald Oberhauser.

Quantum limits are objects describing the limit of quadratic quantities (Af_n,f_n) where (f_n) is a sequence of unit vectors in a Hilbert space and A ranges over an algebra of bounded operators. We will discuss the motivation underlying this notion with some important examples from quantum mechanics and from analysis.

The random initialisation of Artificial Neural Networks (ANN) allows one to describe, in the functional space, the limit of the evolution of ANN when their width tends towards infinity. Within this limit, an ANN is initially a Gaussian process and follows, during learning, a gradient descent convoluted by a kernel called the Neural Tangent Kernel.

Connecting neural networks to the well-established theory of kernel methods allows us to understand the dynamics of neural networks, their generalization capability. In practice, it helps to select appropriate architectural features of the network to be trained. In addition, it provides new tools to address the finite size setting.

Since the seminal work of Penrose, it has been understood that conformal compactifications (or "asymptotic simplicity") is the geometrical framework underlying Bondi-Sachs' description of asymptotically flat space-times as an asymptotic expansion. From this point of view the asymptotic boundary, a.k.a "null-infinity", naturally is a conformal null (i.e degenerate) manifold. In particular, "Weyl rescaling" of null-infinity should be understood as gauge transformations. As far as gravitational waves are concerned, it has been well advertised by Ashtekar that if one works with a fixed representative for the conformal metric, gravitational radiations can be neatly parametrized as a choice of "equivalence class of metric-compatible connections". This nice intrinsic description however amounts to working in a fixed gauge and, what is more, the presence of equivalence class tend to make this point of view tedious to work with.

I will review these well-known facts and show how modern methods in conformal geometry (namely tractor calculus) can be adapted to the degenerate conformal geometry of null-infinity to encode the presence of gravitational waves in a completely geometrical (gauge invariant) way: Ashtekar's (equivalence class of) connections are proved to be in 1-1 correspondence with choices of (genuine) tractor connection, gravitational radiation is invariantly described by the tractor curvature and the degeneracy of gravity vacua correspond to the degeneracy of flat tractor connections. The whole construction is fully geometrical and manifestly conformally invariant.

The concept of path signatures has been widely used in several areas of pure mathematics including in applications to data science. However, we remain unable to answer even the most basic questions about it. For instance, how to fully characterise the set of (untruncated) signatures of bounded variation paths? Can certain norms on signatures be related to the length of a path, like in Fourier isometry? In this talk, we will review some known results, explain the open problems and discuss their difficulties.

Abstract: John Roe was a much admired figure in topology and noncommutative geometry, and the creator of the C*-algebraic approach to coarse geometry. John died in 2018 at the age of 58. My aim in the first part of the lecture will be to explain in very general terms the major themes in John’s work, and illustrate them by presenting one of his best-known results, the partitioned manifold index theorem. After the break I shall describe a later result, about relative eta invariants, that has inspired an area of research that is still very active.

Assumed Knowledge: First part: basic familiarity with C*-algebras, plus a little topology. Second part: basic familiarity with K-theory for C*-algebras.

In the first part of the talk, I will review the basic ideas behind Stein’s method for normal approximation and present a general result which we obtained in arXiv:1706.10251 (joint work with Michel Ledoux and Christian Webb). This result states that for a Gibbs measure, an eigenfunction of the corresponding infinitesimal generator is approximately Gaussian in a sense which will be made precise. In the second part, I will report on several applications in random matrix theory. This includes a proof of Johansson’s central limit theorem for linear statistics of beta-ensembles on \R, as well as an application to circular beta-ensembles in the high temperature regime (based on arXiv:1909.01142, joint work with Adrien Hardy).

It is a well-known fact that conformal structures on Riemann surfaces are in 1:1 correspondence with complex structures, but have you ever wondered whether this is just a fluke in 2 dimensions? In this talk, I will explain the concept of Penrose's "non-linear graviton", a fancy name for the twistor space of a hyperkahler manifold and one of the major historical achievements of Oxford maths. The twistor correspondence associates points of the hyperkahler manifold with certain holomorphic rational curves embedded in twistor space. We will see how information of the hyperkahler metric can be encoded purely in the complex structure on twistor space, giving a partial but welcome generalization of the 2-dimensional "fluke". Then I will outline a recently found Dolbeault-framework for the metric's reconstruction from local representatives of this complex structure. This provides an explicit integral formula for Kahler forms and consequently for the hyperkahler metric in terms of holomorphic data on twistor space. Finally, time permitting, I will discuss some interesting applications to (some or all of) PDEs, hyperkahler quotients, and the physics of "quantum gravity".
 

We present a method for obtaining approximate solutions to the problem of optimal execution, based on a signature method. The framework is general, only requiring that the price process is a geometric rough path and the price impact function is a continuous function of the trading speed. Following an approximation of the optimisation problem, we are able to calculate an optimal solution for the trading speed in the space of linear functions on a truncation of the signature of the price process. We provide strong numerical evidence illustrating the accuracy and flexibility of the approach. Our numerical investigation both examines cases where exact solutions are known, demonstrating that the method accurately approximates these solutions, and models where exact solutions are not known. In the latter case, we obtain favourable comparisons with standard execution strategies.

In this talk I will present some recent explorations of cluster-algebraic patterns in the building blocks of scattering amplitudes in N = 4 super Yang-Mills theory. In particular, I will first briefly introduce the main characters on stage, i.e. Leading Singularities, Landau singularities, the amplituhedron and cluster algebras. I will then present my main conjecture, "LL-adjacency", which makes all the above characters play together: given a maximal cut of a loop amplitude, Landau singularities and poles of each Yangian invariant appearing in any representation of the corresponding Leading Singularities can be found together in a cluster.  I will explain how the conjecture has been tested for all one-loop amplitudes up to 9 points using cluster algebraic and amplituhedron-based methods.  Finally, I will discuss implications for computing loop amplitudes and their singularity structure, and open research directions.

This is based on the joint work with Ömer Gürdoğan (arXiv: 2005.07154).