Past

Recent years have seen a great deal of progress in understanding the behavior of bootstrap percolation models, a particular class of monotone cellular automata. In the two dimensional lattice there is now a quite complete understanding of their evolution starting from a random initial condition, with a universality picture for their critical behavior. Here we will consider their non-monotone stochastic counterpart, namely kinetically constrained models (KCM). In KCM each vertex is resampled (independently) at rate one by tossing a $p$-coin iff it can be infected in the next step by the bootstrap model. In particular infection can also heal, hence the non-monotonicity. Besides the connection with bootstrap percolation, KCM have an interest in their own : when $p$ shrinks to 0 they display some of the most striking features of the liquid/glass transition, a major and still largely open problem in condensed matter physics.

We prove that for Bernoulli bond percolation on $\mathbb{Z}^d$, $d\geq2$, the percolation density $\theta(p)$ (defined as the probability of the origin lying in an infinite cluster) is an analytic function of the parameter in the supercritical interval $(p_c,1]$. This answers a question of Kesten from 1981.

The proof involves a little bit of elementary complex analysis (Weierstrass M-test), a few well-known results from percolation theory (Aizenman-Barsky/Menshikov theorem), but above all combinatorial ideas. We used a new notion of contours, bounds on the number of partitions of an integer, and the inclusion-exclusion principle, to obtain a refinement of a classical argument of Peierls that settled the 2-dimensional case in 2018. More recently, we coupled these techniques with a renormalisation argument to handle all dimensions.

Joint work with Christoforos Panagiotis.

This talk will give an easy introduction to non-commutative L_p spaces associated with a tracial von Neumann algebra. Then I will focus on non-commutative L_p spaces associated to locally compact groups and talk about some interesting completely bounded multipliers on them.

This talk will introduce some of the basic notions and results in the theory of C_0-semigroups, including generation theorems, growth and spectral bounds. If time permits, I will also try to discuss one or two classical results in the asymptotic theory of C_0-semigroups.

Color each vertex of an infinite graph blue with probability $p$ and red with probability $1-p$, independently among vertices. For which values of $p$ is there an infinite connected component of blue vertices? The talk will focus on this classical percolation problem for the class of planar graphs. Recently, Itai Benjamini made several conjectures in this context, relating the percolation problem to the behavior of simple random walk on the graph. We will explain how partial answers to Benjamini's conjectures may be obtained using the theory of circle packings. Among the results is the fact that the critical percolation probability admits a universal lower bound for the class of recurrent plane triangulations. No previous knowledge on percolation or circle packings will be assumed.

I'll discuss our recent proof of a conjecture of Talagrand, a fractional version of the "expectation-threshold" conjecture of Kahn and Kalai. As a consequence of this result, we resolve various (heretofore) difficult problems in probabilistic combinatorics and statistical physics.

I will describe how certain recursive distributional equations can be solved by using tools from numerical analysis on the convergence of approximation schemes for PDEs. This project is joint work with Luc Devroye, Hannah Cairns, Celine Kerriou, and Rivka Maclaine Mitchell.

A covering system of the integers is a finite collection of arithmetic progressions whose union is the set of integers $\mathbb{Z}$. The study of these objects was initiated in 1950 by Erdős, and over the following decades he asked a number of beautiful questions about them. Most famously, his so-called 'minimum modulus problem' was resolved in 2015 by Hough, who proved that in every covering system with distinct moduli, the minimum modulus is at most $10^{16}$.

In this talk I will describe a simple and general method of attacking covering problems that was inspired by Hough's proof. We expect that this technique, which we call the 'distortion method', will have further applications in combinatorics.

This talk is based on joint work with Paul Balister, Béla Bollobás, Julian Sahasrabudhe and Marius Tiba.

Many real networks feature the property of nestedness, i.e. the neighbours of nodes with a few connections are hierarchically nested within the neighbours of nodes with more connections. Despite the abstract simplicity of this notion, different mathematical definitions of nestedness have been proposed, sometimes giving contrasting results. Moreover, there is an ongoing debate on the statistical significance of nestedness, since even random networks where the number of connections (degree) of each node is fixed to its empirical value are typically as nested as real-world ones. In this talk we show unexpected effects due to the recent finding that random networks where the degrees are enforced as hard constraints (microcanonical ensembles) are thermodynamically different from random networks where the degrees are enforced as soft constraints (canonical ensembles). We show that if the real network is perfectly nested, then the two ensembles are trivially equivalent and the observed nestedness, independently of its definition, is indeed an unavoidable consequence of the empirical degrees. On the other hand, if the real network is not perfectly nested, then the two ensembles are not equivalent and alternative definitions of nestedness can be even positively correlated in the canonical ensemble and negatively correlated in the microcanonical one. This result disentangles distinct notions of nestedness captured by different metrics and highlights the importance of making a principled choice between hard and soft constraints in null models of ecological networks.

[1] Bruno, M., Saracco, F., Garlaschelli, D., Tessone, C. J., & Caldarelli, G. (2020). Nested mess: thermodynamics disentangles conflicting notions of nestedness in ecological networks. arXiv preprint arXiv:2001.11805.
 

For the problem of prediction with expert advice in the adversarial setting with geometric stopping, we compute the exact leading order expansion for the long time behavior of the value function using techniques from stochastic analysis and PDEs. Then, we use this expansion to prove that as conjectured in Gravin, Peres and Sivan the comb strategies are indeed asymptotically optimal for the adversary in the case of 4 experts.
 

We provide a detailed, probabilistic interpretation, based on stochastic calculus, for the variational characterization of conservative diffusion as entropic gradient flux. Jordan, Kinderlehrer, and Otto showed in 1998 that, for diffusions of Langevin-Smoluchowski type, the Fokker-Planck probability density flow minimizes the rate of relative entropy dissipation, as measured by the distance traveled in terms of the quadratic Wasserstein metric in the ambient space of configurations. Using a very direct perturbation analysis we obtain novel, stochastic-process versions of such features. These are valid along almost every trajectory of the diffusive motion in both the forward and, most transparently, the backward, directions of time. The original results follow then simply by taking expectations. As a bonus, we obtain the HWI inequality of Otto and Villani relating relative entropy, Fisher information and Wasserstein distance; and from it the celebrated log-Sobolev, Talagrand and Poincare inequalities of functional analysis. (Joint work with W. Schachermayer and B. Tschiderer, from the University of Vienna.)

 

Speaker: Thomas Oliver

Title: Hyperbolic circles and non-trivial zeros

Abstract: L-functions can often be considered as generating series of arithmetic information. Their non-trivial zeros are the subject of many famous conjectures, which offer countless applications to number theory. Using simple geometric observations in the hyperbolic plane, we will study the relationship between the zeros of L-functions and their characterisation amongst more general Dirichlet series.
 

Speaker: Ebrahim Patel

Title: From trains to brains: Adventures in Tropical Mathematics.

Abstract: Tropical mathematics uses the max and plus operator to linearise discrete nonlinear systems; I will present its popular application to solve scheduling problems such as railway timetabling. Adding the min operator generalises the system to allow the modelling of processes on networks. Thus, I propose applications such as disease and rumour spreading as well as neuron firing behaviour.

Fancy a fun afternoon on the final Friday afternoon of term? Then come along, either by yourself or pre-organised teams of up to four, to this week’s Fridays@2 for the first ever Big Mathematical Quiz of the Year!

World wide, unconstrained lava flows kill people almost each year and cause extensive damage, costing millions of pounds. Defending against lava flows is possible by using topographic variations sensibly, placing buildings considerately, constructing defending walls of appropriate size and the like. Hinton, Hogg and Huppert have recently published three rather mathematical papers outlining how viscous flows down slopes interact with a variety of geometrical shapes; evaluating, in particular, the conditions under which “dry zones” form – safe places for people and belongings – and the size of a protective wall required to defend a given size building.

Following a desktop experimental demonstration, we will discuss these analyses and their consequences.

This talk has been cancelled.

In joint work with James Wheeler, we show that if a subset $A$ of $GL_n(\mathbb{F}_q)$ is a $K$-approximate group and the group $G$ it generates is soluble, then there are subgroups $U$ and $S$ of $G$ and a constant $k$ depending only on $n$ such that:

$A$ quickly generates $U$: $U\subseteq A^k$,
$S$ contains a large proportion of $A$: $|A^k\cap S| \gg K^{-k}|A|, and
$S/U$ is nilpotent.

Briefly: approximate soluble linear groups over any finite field are (almost) finite by nilpotent.

The proof uses a sum-product theorem and exponential sum estimates, as well as some representation theory, but the presentation will be mostly self-contained.