Past Events

One of the most important techniques provided by modern logic is the use of models to show the consistency of theories. The technique burst onto the scene in the late 19th century, and had its most important early instance in demonstrating the...

Hyperbolic Lattices are tessellations of the hyperbolic plane using, for instance, heptagons or octagons. They are relevant for quantum error correcting codes and experimental simulations of quantum physics in curved space. Underneath their...

Abstract: The development of quantum electrodynamics is one of the major achievements of theoretical physics and mathematics of the 20th century, called the "Jewel of physics" by Richard Feynman. This talk is not about that. Instead, I explain two of...

In the classical pointwise ergodic theorem for a probability measure preserving (pmp) transformation \(T\), one takes averages of a given integrable function over the intervals \(\{x, T(x), T^2(x), \ldots, T^n(x)\}\) in the forward orbit of the point...

The asymmetric exclusion process (ASEP) is a model of particles hopping on a one-dimensional lattice. While it was initially introduced by Macdonald-Gibbs-Pipkin to provide a model for translation in protein synthesis, the stationary distribution of...

The $s$-colour size-Ramsey number of a hypergraph $H$ is the minimum number of edges in a hypergraph $G$ whose every $s$-edge-colouring contains a monochromatic copy of $H$. We show that the $s$-colour size-Ramsey number of the $t$-power of the $r$...

Recently we proved a theorem for strongly regular graphs that provides numerical restrictions on the number of fixed vertices and the number of vertices mapped to adjacent vertices under an automorphism. We then used this result to develop some new...

Decision-makers attempting to restrict the spread of forest pests through infested firewood imported as a result of decisions of the population of park users must contend with population behaviour that both causes pest outbreaks, and responds to them...

It has been just over one year and 100 million cases since we first heard of a novel coronavirus with pandemic potential. We are now all far too familiar with epidemic curves and would very much like to see the tail of this one. In this talk, I will...

Given a collection of points S in a metric space and a probability p in (0,1), one can make a random graph by independently joining any pair of points in S that are less than 1 apart by an edge with probability p; and no edge with probability 1-p...