Past

Contagion models on networks can be used to describe the spread of information, rumours, opinions, and (more topically) diseases through a population. In the simplest contagion models, each node represents an individual that can be in one of a number of states (e.g. Susceptible, Infected, or Recovered), and the states of the nodes evolve according to specified rules. Even with simple Markovian models of transmission and recovery, it can be difficult to compute the dynamics of contagion on large networks: running simulations can be slow, and the system of master equations is typically too large to be tractable.

 One approach to approximating contagion dynamics is to assume that each node state is independent of the neighbouring node states; this leads to a system of ODEs for the node state probabilities (the “first-order approximation”) that always overestimates the speed of infection spread. This approach can be made more sophisticated by introducing pair approximations or higher-order moment closures, but this dramatically increases the size of the system and slows computations. In this talk, I will present some alternative node-based approximations for contagion dynamics. The first of these is exact on trees but will always underestimate the speed of infection spread on a network with loops. I will show how this can be combined with the classic first-order node-based approximation to obtain a node-based approximation that has similar accuracy to the pair approximation, but which is considerably faster to solve.

Two classical results of Magidor are: 

(1) from large cardinals it is consistent to have reflection at $\aleph_{\omega+1}$, and 

(2) from large cardinals it is consistent to have the failure of SCH at $\aleph_\omega$.

These principles are at odds with each other. The former is a compactness type principle. (Compactness is the phenomenon where if a certain property holds for every smaller substructure of an object, then it holds for the entire object.) In contrast, failure of SCH is an instance of incompactness. The natural question is whether we can have both of these simultaneously. We show the answer is yes.

We describe a Prikry style iteration, and use it to force stationary reflection in the presence of not SCH.  Then we obtain this situation at $\aleph_\omega$. This is joint work with Alejandro Poveda and Assaf Rinot.

One of the main characterisations of word-hyperbolic groups is that they are the groups with a linear isoperimetric function. That is, for a compact 2-complex X, the hyperbolicity of its fundamental group is equivalent to the existence of a linear isoperimetric function for disc diagrams D -->X.
It is likewise known that hyperbolic groups have a linear annular isoperimetric function and a linear homological isoperimetric function. I will talk about these isoperimetric functions, and about a (previously unexplored)  generalisation to all homotopy types of surface diagrams. This is joint work with Dani Wise.

We generalize the fact that all graphs omitting a fixed finite bipartite graph can be uniformly approximated by rectangles (Alon-Fischer-Newman, Lovász-Szegedy), showing that hypergraphs omitting a fixed finite $(k+1)$-partite $(k+1)$-uniform hypergraph can be approximated by $k$-ary cylinder sets. In particular, in the decomposition given by hypergraph regularity one only needs the first $k$ levels: such hypergraphs can be approximated using sets of vertices, sets of pairs, and so on up to sets of $k$-tuples, and on most of the resulting $k$-ary cylinder sets, the density is either close to 0 or close to 1. Moreover, existence of such approximations uniformly under all measures on the vertices is a characterization. Our proof uses a combination of analytic, combinatorial and model-theoretic methods, and involves a certain higher arity generalization of the epsilon-net theorem from VC-theory.  Joint work with Henry Towsner.

Random band matrices (RBM) are natural intermediate models to study eigenvalue statistics and quantum propagation in disordered systems, since they interpolate between mean-field type Wigner matrices and random Schrodinger operators. In particular, RBM can be used to model the Anderson metal-insulator phase transition (crossover) even in 1d. In this talk we will discuss some recent progress in application of the supersymmetric method (SUSY) and transfer matrix approach to the analysis of local spectral characteristics of some specific types of 1d RBM.

The Schmidt subspace theorem is a far-reaching generalization of the Thue-Siegel-Roth theorem in diophantine approximation. In this talk I will give an interpretation of Schmidt's subspace theorem in terms of the dynamics of diagonal flows on homogeneous spaces and describe how the exceptional subspaces arise from certain rational Schubert varieties associated to the family of linear forms through the notion of Harder-Narasimhan filtration and an associated slope formalism. This geometric understanding opens the way to a natural generalization of Schmidt's theorem to the setting of diophantine approximation on submanifolds of $GL_d$, which is our main result. In turn this allows us to recover and generalize the main results of Kleinbock and Margulis regarding diophantine exponents of submanifolds. I will also mention an application to diophantine approximation on Lie groups. Joint work with Nicolas de Saxcé.

Networks are an imperfect representation of a dataset, yet often there is little consideration for how these imperfections may affect network evolution and structure.

In this talk, I want to discuss a simple set of generative network models in which the mechanism of network growth is decomposed into two layers. The first layer represents the “observed” network, corresponding to our conventional understanding of a network. Here I want to consider the scenario in which the network you observe is not self-contained, but is driven by a second hidden network, comprised of the same nodes but different edge structure. I will show how a range of different network growth models can be constructed such that the observed and hidden networks can be causally decoupled, coupled only in one direction, or coupled in both directions.

One consequence of such models is the emergence of abrupt transitions in observed network topology – one example results in scale-free degree distributions which are robust up to an arbitrarily long threshold time, but which naturally break down as the network grows larger. I will argue that such examples illustrate why we should be wary of an overreliance on static networks (measured at only one point in time), and will discuss other possible implications for prediction on networks.

I take the “collapse of the wave-function” to be an objective physical process—OR (the Objective Reduction of the quantum state)—which I argue to be intimately related to a basic conflict between the principles of equivalence and quantum linear superposition, which leads us to a fairly specific formula (in agreement with one found earlier by Diósi) for the timescale for OR to take place. Moreover, we find that for consistency with relativity, OR needs to be “instantaneous” but with curious retro-active features. By extending an argument due to Donadi, for EPR situations, we find a fundamental conflict with “gradualist” models such as CSL, in which OR is taken to be the result of a (stochastic) evolution of quantum amplitudes.

Mean field games (MFG) and mean field control problems (MFC) are frameworks to study Nash equilibria or social optima in games with a continuum of agents. These problems can be used to approximate competitive or cooperative situations with a large finite number of agents. They have found a broad range of applications, from economics to crowd motion, energy production and risk management. Scalable numerical methods are a key step towards concrete applications. In this talk, we propose several numerical methods for MFG and MFC. These methods are based on machine learning tools such as function approximation via neural networks and stochastic optimization. We provide numerical results and we investigate the numerical analysis of these methods by proving bounds on the approximation scheme. If time permits, we will also discuss model-free methods based on extensions of the traditional reinforcement learning setting to the mean-field regime.  

I will discuss joint work with S. Galatius and A. Kupers in which we investigate the homology of general linear groups over a ring $A$ by considering the collection of all their classifying spaces as a graded $E_\infty$-algebra. I will first explain diverse results that we obtained in this investigation, which can be understood without reference to $E_\infty$-algebras but which seem unrelated to each other: I will then explain how the point of view of cellular $E_\infty$-algebras unites them.

Geometric complexity theory is an approach towards solving computational complexity lower bounds questions using algebraic geometry and representation theory. This talk contains an introduction to geometric complexity theory and a presentation of some recent results. Along the way connections to the study of secant varieties and to classical combinatorial and representation theoretic conjectures will be pointed out.

 We generalize the recent holographic correspondence between an ensemble average of free bosons in two dimensions, and a Chern-Simons-like theory of gravity in three dimensions, by Afkhami-Jeddi et al and Maloney and Witten. We find that the correspondence also works for toroidal orbifolds, but we run into difficulties generalizing to K3 and Calabi-Yau sigma models. For the case of toroidal orbifolds, we extend the holographic correspondence to averages of correlation functions of twist operators by using properties of rational tangles in three-dimensional balls and their covering spaces. Based on work to appear with C. Keller, H. Ooguri, and I. Zadeh. 

Giancarlo Rota once wrote of matroids that "It is as if one were to
condense all trends of present day mathematics onto a single
structure, a feat that anyone would a priori deem impossible, were it
not for the fact that matroids do exist" (Indiscrete Thoughts, 1997).
This makes matroid theory a natural hub through which ideas flow from
one field of mathematics to the next. At the end of our three-day
workshop, participants will understand the most common objects and
constructions in matroid theory to the depth suitable for exploring
many of these interesting connections. We will also pick up some
highly practical matroid tools for working through problems in
persistent homology, (optimal) cycle representatives, and other
objects of interest in TDA.

Day 3, Lecture 1

Circuits in persistent homology

Day 3, Lecture 2

Exercise: write your own persistent homology algorithm!
 

Giancarlo Rota once wrote of matroids that "It is as if one were to
condense all trends of present day mathematics onto a single
structure, a feat that anyone would a priori deem impossible, were it
not for the fact that matroids do exist" (Indiscrete Thoughts, 1997).
This makes matroid theory a natural hub through which ideas flow from
one field of mathematics to the next. At the end of our three-day
workshop, participants will understand the most common objects and
constructions in matroid theory to the depth suitable for exploring
many of these interesting connections. We will also pick up some
highly practical matroid tools for working through problems in
persistent homology, (optimal) cycle representatives, and other
objects of interest in TDA.

Day 2, Lecture 1, 10-10.45am

Matroid representations, continued

Day 2, Lecture 2, 11-11.45am

Matroids in homological algebra

Giancarlo Rota once wrote of matroids that "It is as if one were to
condense all trends of present day mathematics onto a single
structure, a feat that anyone would a priori deem impossible, were it
not for the fact that matroids do exist" (Indiscrete Thoughts, 1997).
This makes matroid theory a natural hub through which ideas flow from
one field of mathematics to the next. At the end of our three-day
workshop, participants will understand the most common objects and
constructions in matroid theory to the depth suitable for exploring
many of these interesting connections. We will also pick up some
highly practical matroid tools for working through problems in
persistent homology, (optimal) cycle representatives, and other
objects of interest in TDA.

Condensed outline

Day 1, Lecture 1, 10-10.45am

Definitions There are many definitions of matroids. Here's how to organize them.
Examples We work with matroids every day. Here are a few you have seen.
Important properties What's so great about a matroid?

Day 1, Lecture 2, 11-11.45am

The essential operations: deletion, contraction, and dualization
Working with matroids: matrix representations

The Drinfeld half-plane is a rigid analytic variety over a p-adic field. In this talk, I will give an overview of the geometric aspects of this space and describe its connection with representation theory.

We develop a framework for showing that neural networks can overcome the curse of dimensionality in different high-dimensional approximation problems. Our approach is based on the notion of a catalog network, which is a generalization of a standard neural network in which the nonlinear activation functions can vary from layer to layer as long as they are chosen from a predefined catalog of functions. As such, catalog networks constitute a rich family of continuous functions. We show that under appropriate conditions on the catalog, catalog networks can efficiently be approximated with ReLU-type networks and provide precise estimates on the number of parameters needed for a given approximation accuracy. As special cases of the general results, we obtain different classes of functions that can be approximated with ReLU networks without the curse of dimensionality. 

A preprint is here: https://arxiv.org/abs/1912.04310

Let G be a reductive group, E an elliptic curve, and Bun_G the moduli stack of principal G-bundles on E. In this talk, I will attempt to explain why Bun_G is a very interesting object from the perspectives of both singularity theory on the one hand, and shifted symplectic geometry and representation theory on the other. In the first part of the talk, I will explain how to construct slices of Bun_G through points corresponding to unstable bundles, and how these are linked to certain singular algebraic surfaces and their deformations in the case of a "subregular" bundle. In the second (probably much shorter) part, I will discuss the shifted symplectic geometry of Bun_G and its slices. If time permits, I will sketch how (conjectural) quantisations of these structures should be related to some well known algebras of an "elliptic" flavour, such as Sklyanin and Feigin-Odesskii algebras, and elliptic quantum groups.

In this talk, we will review the notion of non-invertible symmetries and we will study adjoint QCD in two dimensions. It turns out that this theory has a plethora of such symmetries which require deconfinement in the massless case. When a mass or certain quartic interactions are tunrned on, these symmetries are broken and the theory confines. In addition, we will use these symmetries to calculate the string tension for small mass and make some comments about naturalness along the RG flow.

Research on robot manipulation has focused, in recent years, on grasping everyday objects, with target objects almost exclusively rigid items. Non–rigid objects, as textile ones, pose many additional challenges with respect to rigid object manipulation. In this seminar we will present how we can employ topology to study the ``state'' of a rectangular textile using the configuration space of $n$ points on the plane. Using a CW-decomposition of such space, we can define for any mesh associated with a rectangular textile a vector in an euclidean space with as many dimensions as the number of regions we have defined. This allows us to study the distribution of such points on the cloth and define meaningful states for detection and manipulation planning of textiles. We will explain how such regions can be defined and computationally how we can assign to any mesh the corresponding region. If time permits, we will also explain how the CW-structure allows us to define more than just euclidean distance between such mesh-distributions.

One of the key objects in studying the Hilbert Scheme of points in the plane is a torus action of $(\mathbb{C}^*)^2$. The fixed points of this action correspond to monomial ideals in $\mathbb{C}[x,y]$, and this gives a connection between the geometry of Hilbert schemes and partition combinatorics. Using this connection, one can extract identities in partition combinatorics from algebro-geometric information and vice versa. I will give some examples of combinatorial identities where as yet the only proofs we have rely on the geometry of Hilbert schemes. If there is time, I will also sketch out a hope that such identities can also be seen by representations of appropriately chosen algebras.

Convection is the main heat transport process in the liquid cores of planets and the primary energy source for planetary magnetic fields. These convective motions are thought to be turbulent and strongly constrained by rotation. In this talk, I will discuss the large-scale flows (zonal jets and vortices) that form in this rapidly-rotating turbulent regime, which we explore with numerical models.

Genotype-phenotype associations can be results of direct effects, genetic nurturing effects and population stratification confounding (The nature of nurture: Effects of parental genotypes, Science, 2018, Deconstructing the sources of genotype-phenotype associations in humans, Science, 2019). Genotypes from parents and siblings of the proband can be used to statistically disentangle these effects. To maximize power, a comprehensive framework for utilizing various combinations of parents’ and siblings’ genotypes is introduced. Central to the approach is mendelian imputation, a method that utilizes identity by descent (IBD) information to non-linearly impute genotypes into untyped relatives using genotypes of typed individuals. Applying the method to UK Biobank probands with at least one parent or sibling genotyped, for an educational attainment (EA) polygenic score that has a R² of 5.7% with EA, its predictive power based on direct genetic effect alone is demonstrated to be only about 1.4%. For women, the EA polygenic score has a bigger estimated direct effect on age-at-first-birth than EA itself.