University of Oxford

The analysis and characterization of human mobility using population-level mobility models is important for numerous applications, ranging from the estimation of commuter flows to modeling trade flows. However, almost all of these applications have focused on large spatial scales, typically from intra-city level to inter-country level. In this paper, we investigate population-level human mobility models on a much smaller spatial scale by using them to estimate customer mobility flow between supermarket zones. We use anonymized mobility data of customers in supermarkets to calibrate our models and apply variants of the gravity and intervening-opportunities models to fit this mobility flow and estimate the flow on unseen data. We find that a doubly-constrained gravity model can successfully estimate 65-70% of the flow inside supermarkets. We then investigate how to reduce congestion in supermarkets by combining mobility models with queueing networks. We use a simulated-annealing algorithm to find store layouts with lower congestion than the original layout. Our research gives insight both into how customers move in supermarkets and into how retailers can arrange stores to reduce congestion. It also provides a case study of human mobility on small spatial scales.

George Soules [1] introduced a set of vectors $r_1,...,r_N$ with the remarkable property that for any set of ordered numbers $\lambda_1\geq\dots\geq\lambda_N$, the matrix $\sum_n \lambda_nr_nr_n^T$ has nonnegative off-diagonal entries. Later, it was found [2] that there exists a whole class of such vectors - Soules vectors - which are intimately connected to binary rooted trees. In this talk I will describe the construction of Soules vectors starting from a binary rooted tree, and introduce some basic properties. I will also cover a number of applications: the inverse eigenvalue problem, equitable partitions in Laplacian matrices and the eigendecomposition of the Clauset-Moore-Newman hierarchical random graph model.

[1] Soules (1983), Constructing Symmetric Nonnegative Matrices
[2] Elsner, Nabben and Neumann (1998), Orthogonal bases that lead to symmetric nonnegative matrices

Mechanical percolation is a phenomenon in materials processing wherein ‘filler’ rod-like particles are incorporated into polymeric materials to enhance the composite’s mechanical properties. Experiments have well-characterized a nonlinear phase transition from floppy to rigid behavior at a threshold filler concentration, but the underlying mechanism is not well understood. We develop and utilize an iterative graph compression algorithm to demonstrate that this experimental phenomenon coincides with the formation of a spatially extending set of mutually rigid rods (‘rigidity percolation’). First, we verify the efficacy of this method in two-dimensional fiber systems (intersecting line segments), then moving to the more interesting and mechanically representative problem of three-dimensional fiber systems (cylinders). We show that, when the fibers are uniformly distributed both spatially and orientationally, the onset of rigidity percolation appears to co-occur with a mean field prediction that is applicable across a wide range of aspect ratios.

Conical symplectic resolutions are one of the main objects in the contemporary mix of algebraic geometry and representation theory, 

known as geometric representation theory. They cover many interesting families of objects such as quiver varieties and hypertoric

varieties, and some simpler such as Springer resolutions. The last findings [Braverman, Finkelberg, Nakajima] say that they arise

as Higgs/Coulomb moduli spaces, coming from physics. Most of the gadgets attached to conical symplectic resolutions are rather

algebraic, such as their quatizations and $\mathcal{O}$-categories. We are rather interested in the symplectic topology of them, in particular 

finding smooth exact Lagrangians that appear in the central fiber of the (defining) resolution, as they are objects of the Fukaya category.

We will study the l1-homology of the 2-class in one relator groups. We will see that there are many qualitative and quantitive similarities between the l1-norm of the top dimensional class and the stable commutator length of the defining relation. As an application we construct manifolds with small simplicial volume.

This work in progress is joint with Clara Loeh.

One of the main themes in geometric group theory is Gromov's program to classify finitely generated groups up to quasi-isometry. We show that under certain situations, a quasi-isometry preserves commensurator subgroups. We will focus on the case where a finitely generated group G contains a coarse PD_n subgroup H such that G=Comm(H). Such groups can be thought of as coarse fibrations whose fibres are cosets of H; quasi-isometries of G coarsely preserve these fibres. This  generalises work of Whyte and Mosher--Sageev--Whyte.

Joint work with Zsolt Vizi (Bolyai Institute, University of Szeged, Hungary), Istvan Kiss (Department
of Mathematics, University of Sussex, United Kingdom)

Pairwise models have been proven to be a flexible framework for analytical approximations
of stochastic epidemic processes on networks that are in many situations much more accurate
than mean field compartmental models. The non-Markovian aspects of disease transmission
are undoubtedly important, but very challenging to incorporate them into both numerical
stochastic simulations and analytical investigations. Here we present a generalization of
pairwise models to non-Markovian epidemics on networks. For the case of infectious periods
of fixed length, the resulting pairwise model is a system of delay differential equations, which
shows excellent agreement with results based on the explicit stochastic simulations. For more
general distribution classes (uniform, gamma, lognormal etc.) the resulting models are PDEs
that can be transformed into systems of integro-differential equations. We derive pairwise
reproduction numbers and relations for the final epidemic size, and initiate a systematic
study of the impact of the shape of the particular distributions of recovery times on how
the time evolution of the disease dynamics play out.

Johann Sebastian Bach was the most mathematical of composers. Oxford Mathematician and Cambridge organ scholar James Sparks will explain just how mathematical and City of London Sinfonia will elaborate with a special performance of the Goldberg Variations. 

---

James Sparks - Bach and the Cosmos (30 minutes)

City of London Sinfonia - J S Bach arr. Sitkovetsky, Goldberg Variations (70 minutes)

Alexandra Wood - Director/Violin

--

Please email @email to register

Watch live:
https://www.facebook.com/OxfordMathematics
https://www.livestream.com/oxuni/Bach-Cosmos

The Oxford Mathematics Public Lectures are generously supported by XTX Markets

Thompson's group F is a group of homeomorphisms of the unit interval which exhibits a strange mix of properties; on the one hand it has some self-similarity type properties one might expect of a really big group, but on the other hand it is finitely presented. I will give a proof of finite generation by expressing elements as pairs of binary trees.