Past

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

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).

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.  

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.
 

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.