C4

Many real-world networks contain small recurring connectivity patterns also known as network motifs. Although network motifs are widely considered to be important structural features of networks that are closely connected to their function methods for characterizing and modelling the local connectivity structure of complex networks remain underdeveloped. In this talk, we will present a non-parametric approach that is based on generative models in which networks are generated by adding not only single edges but also but also copies of larger subgraphs such as triangles to the graph. We show that such models can be formulated in terms of latent states that correspond to subgraph decompositions of the network and derive analytic expressions for the likelihood of such models. Following a Bayesian approach, we present a nonparametric prior for model parameters. Solving the resulting inference problem results in a principled approach for identifying atomic connectivity patterns of networks that do not only identify statistically significant connectivity patterns but also produces a decomposition of the network into such atomic substructures. We tested the presented approach on simulated data for which the algorithm recovers the latent state to a high degree of accuracy. In the case of empirical networks, the method identifies concise sets atomic subgraphs from within thousands of candidates that are plausible and include known atomic substructures.

Following recent papers by Nima Arkani-Hamed.

I will give an overview of the Nielsen-Thurston theory of the mapping class group and its connection to hyperbolic geometry and dynamics. Time permitting, I will discuss the surface entropy conjecture and a theorem of Hamenstadt on entropies of `generic' elements of the mapping class group. No prior knowledge of the concepts involved is required.

Since differentiation generally lowers exponents, it is straightforward that the space of Laurent polynomials $\mathbb{C}[x, x^{-1}]$ is a finitely generated module over the ring of differential operators $\mathbb{C}[x, \mathrm{d}/\mathrm{d}x]$. This innocent looking fact has been vastly generalized to a statement about holonomic D-modules, using the beautiful theory of b-functions (or Bernstein—Sato polynomials). I will give an overview of the classical theory before discussing some recent developments concerning a $p$-adic analytic analogue, which is joint work with Thomas Bitoun.

The Strominger-Yau-Zaslow (SYZ) conjecture postulates that mirror dual Calabi-Yau manifolds carry dual special Lagrangian fibrations. Within the study of Mirror Symmetry the SYZ conjecture has provided a particularly fruitful point of convergence of ideas from Riemannian, Symplectic, Tropical, and Algebraic geometry over the last twenty years. I will attempt to provide a brief overview of this aspect of Mirror Symmetry.

After considering motivations in symplectic geometry, I’ll give a summary of $C^\infty$-Algebraic Geometry and how to extend these concepts to manifolds with corners. 

I will describe a family of 2d TQFTs, due to Moore-Tachikawa, which take values in a category whose objects are Lie groups and whose morphisms are holomorphic symplectic varieties. They link many interesting aspects of geometry, such as moduli spaces of solutions to Nahm equations, hyperkähler reduction, and geometric invariant theory.

It is shown by Kashiwara and Schapira (1980s) that for every constructible sheaf on a smooth manifold, one can construct a closed conic Lagrangian subset of its cotangent bundle, called the microsupport of the sheaf. This eventually led to the equivalence of the category of constructible sheaves on a manifold and the Fukaya category of its cotangent bundle by the work of Nadler and Zaslow (2006), and Ganatra, Pardon, and Shende (2018) for partially wrapped Fukaya categories. One can try to generalise this and conjecture that Fukaya category of a Weinstein manifold can be given by constructible (microlocal) sheaves associated to its skeleton. In this talk, I will explain these concepts and confirm the conjecture for a family of Weinstein manifolds which are certain quotients of A_n-Milnor fibres. I will outline the computation of their wrapped Fukaya categories and microlocal sheaves on their skeleta, called pinwheels.

There have been two main attempts so far to forecast the level of development of artificial intelligence (or ‘computerisation’) over time, Frey and Osborne (2013, 2017) and Manyika et al (2017). Unfortunately, their methodology seems to be flawed. Their results depend upon expert predictions of which occupations will be automatable in 2050, but these predictions are notoriously unreliable. Therefore, we develop an alternative which does not depend upon these expert predictions. We build a dataset of all the start-ups, firms, and university research laboratories working on automating different types of tasks, and use this to build a dynamic network model of them and how they interact. How automatable each type of task is ‘emerges’ from the model. We validate it, predicting the level of development of supervised learning in 2017 using data from the year 2000, and use it to forecast of the automatability of each of these task types from 2018 to 2050. Finally, we discuss extensions for our model; how it could be used to test the impact of public policy decisions or forecast developments in other high-technology industries.

Graphs are a central object of study in various scientific fields, such as discrete mathematics, theoretical computer science and network science. These graphs are typically studied using combinatorial, algebraic or probabilistic methods, each of which highlights the properties of graphs in a unique way. I will discuss a novel approach to study graphs: the simplex geometry (a simplex is a generalized triangle). This perspective, proposed by Miroslav Fiedler, introduces techniques from (simplex) geometry into the field of graph theory and conversely, via an exact correspondence. We introduce the graph-simplex correspondence, identify a number of basic connections between graph characteristics and simplex properties, and suggest some applications as example.

Reference: https://arxiv.org/abs/1807.06475